 o - 0, -12 = -3*s - 4*o. Which is bigger: z or s?
s
Let k = 0 + -0.4. Let f = 0.4 - k. Let o = -1199/7 - -171. Is f >= o?
True
Let k(v) = v + 4. Let n be k(3). Let g = 32 + 3. Let b be (-64)/(-10) - (-21)/g. Is b less than n?
False
Let s = 26 - 27. Let w be 2/s*55/(-22). Is 3 greater than or equal to w?
False
Let j(k) = 2*k - 25. Let y be j(12). Let a be 15 + 3*(0 - y). Let m = 16 - -3. Is a < m?
True
Suppose -5*w + 10*w = 5*v, -3*v = 5*w + 32. Let k(t) = t**3 + 4*t**2 + t + 4. Let m be k(v). Which is smaller: m or 2/127?
m
Suppose 3*i + x - 253 = 0, 11*i - 16*i = x - 421. Let h = 76 - i. Is -13 bigger than h?
False
Let h = -2/533 - -84/533. Let p(u) = -74*u - 813. Let d be p(-11). Is h equal to d?
False
Let a(f) = 3*f**2 - 59*f - 311. Let q be a(24). Let g be 2/7 - 6/(-77). Which is greater: q or g?
q
Let n(h) = -h**2 + 24*h + 59. Let m be n(32). Is m > -789/4?
True
Let k be (-7128)/(-105) - 4/14. Let x = 67 - k. Let t = -555 - -554. Is x less than or equal to t?
False
Let n(g) = g**3 - 11*g**2 + 13*g + 7. Let d = -21 + 31. Let f be n(d). Let w = f + -28. Is 8 bigger than w?
False
Let j(g) = -21*g + 3 + 18*g + 10. Let v be j(7). Is -6 at most as big as v?
False
Suppose -w - 30*i + 25*i - 19 = 0, 4*i + 4 = 0. Is w not equal to -31?
True
Let m = -3.2 - 12.8. Let k = m + 17. Let s = -0.7 + k. Which is bigger: -1 or s?
s
Let x = 9 - -4. Let v = x + -13. Let t = -137 + 961/7. Is v <= t?
True
Let c = -10 - -12. Suppose c*l = 7*l + 10. Let o = l + 0. Is -5 smaller than o?
True
Let q be -1 + 395/(-215)*(-60)/11. Let n = 100/11 - q. Which is greater: n or 1?
1
Let k = 1494 - 1457. Is 5 less than k?
True
Let m be (-2)/3 + (-24)/(-9) + 0. Suppose -4*x + 6*x = -m*x. Which is greater: -0.7 or x?
x
Let a(v) = 50*v - 130. Let n be a(2). Which is smaller: -28 or n?
n
Suppose -32 + 28 = -2*j. Suppose 10*r + j = 2. Which is greater: r or -1/35?
r
Suppose -2*d + 262 = 274. Let i be (-10)/(-20)*(1 + -1). Which is smaller: i or d?
d
Let a = -3 - -3. Let k = -18 - -14. Let o be ((-17)/k - (-33)/44)/1. Is a at least o?
False
Let n = 5522 - 27617/5. Suppose 0 = p - 2*m - 8, -5*p + 2*m + 15 = -3*m. Is n at least p?
True
Suppose -k + d + 289 = k, -12 = 4*d. Let h = -3288/23 + k. Let j = 3 - 3. Which is smaller: h or j?
j
Let c(s) = 5*s**2 - s + 2. Suppose 3*m + 2*m - 5 = 0. Let z be c(m). Is z >= 1?
True
Let x = 120 - 117. Which is bigger: x or 0.16?
x
Let p be 5/5 + (-1 - 6). Let t be (-6)/p - (-15 - -2). Is 13 at most as big as t?
True
Let m = 106732/34153 - 130/41. Let t = 8/49 + m. Is 1 greater than t?
True
Suppose 0 = 3*x + 2*x - 15. Let k be (324/(-8))/x*(-2)/1. Which is greater: 28 or k?
28
Let q = 3 + 0. Suppose q*s + 10 = s, -2*w + 18 = -2*s. Let k = w - 2. Is -1 > k?
False
Suppose 4*a - 4 = -0*a, -2*h - 188 = -4*a. Is h greater than or equal to -93?
True
Let u = -32 - -31.94. Let l = 0.07 + u. Is 1 at most as big as l?
False
Let v(z) = z**3 - 5*z**2 - 7*z + 12. Let u be v(6). Suppose 4*x - 1 = 3*g, 3*g = u*g + 9. Is x greater than or equal to -2?
True
Let i be (-56)/(-26) - 28/14. Is -2.8 >= i?
False
Suppose 8*b - 23 = 33. Suppose 19*k + b = 20*k. Are k and 8 nonequal?
True
Let u = 57 + -57.094. Let n = u + -0.006. Which is bigger: 22 or n?
22
Let r be ((-4695)/186)/(-5) + 45/(-9). Which is greater: 1 or r?
1
Let n(l) = -l**3 - 4*l**2 + 6*l + 10. Let o be n(-5). Suppose o*j = -0*j - 5. Is -3/8 > j?
True
Let q be 2 + 3 + 14/462*-255. Is q bigger than -2?
False
Let t be 36/32 + (-26)/208. Is t greater than or equal to 6/467?
True
Suppose -v - v = -10. Suppose 60 = v*j + 180. Let x be j/(-14)*1 + -2. Which is smaller: -3/8 or x?
-3/8
Let c = 673 - 4709/7. Let a = -0.04 - 1.26. Is c at most a?
False
Suppose 3*b - 83 + 11 = 0. Let c = 18 - b. Let a be (-12)/423*(-9)/c. Which is greater: -1 or a?
a
Let n(s) = 25*s - 6. Let o be n(5). Suppose 4 = 2*v, -i - 2*i - v = -o. Suppose -2*c - 2 = 0, 4*j + c - i = 4*c. Which is smaller: 8 or j?
8
Let j(r) = 2 - 3 - 2 + 0 + 3*r. Let d be j(3). Suppose b + d = -b. Which is greater: b or -4?
b
Let v be 4*85 + 7/(49/(-21)). Which is smaller: 1013/3 or v?
v
Let g be (-11)/(-2)*32/352. Which is smaller: g or -25?
-25
Let b(s) = -s - 2. Let g be b(-2). Let z be (-9)/3*(g + -1). Let p = -741 + 743. Is p greater than or equal to z?
False
Let p = -0.17 + 0.097. Let n = -10.927 + p. Are n and -2/7 nonequal?
True
Let x be ((-25 - -3)/(-2) + 0)*1. Suppose 0 = g - x + 10. Which is greater: g or -49?
g
Let w(q) = -q**3 + 2*q + 14. Let d be w(0). Suppose 4*r - 18 = d. Is r >= 7?
True
Suppose 0 = m - 3*k + 5, -2*m + 1 + 9 = 4*k. Let i be (-109)/(-218)*(-1)/100*-2. Which is smaller: i or m?
i
Suppose -4*g = 14 - 2. Let y be 6/10*(-3 + -2). Let d be (y + 1)*2 + -1. Which is bigger: g or d?
g
Let r = -187 - -187.1. Let f = 12 - 34/3. Which is greater: r or f?
f
Suppose -2*m - 2*m - 1 = w, -4*m = 12. Let c(u) be the first derivative of -u**3/3 - 10*u**2 - 26*u + 23. Let j be c(-18). Which is greater: j or w?
w
Let x be 570/(-50)*(13 - -2). Which is bigger: -170 or x?
-170
Let v = 594 - 568. Which is greater: v or 27?
27
Suppose 0 = 5495*q - 5494*q + 5*n + 13, 2*q + 2*n = 6. Suppose -5*j = -2*j. Which is smaller: q or j?
j
Let l = -202 + 203. Is l at most 9/19?
False
Suppose 0 = 89*k - 88*k. Is 3/7 >= k?
True
Suppose 0 = -4*h + 2 + 6. Suppose -h = w, w = b + b - 72. Do 35 and b have the same value?
True
Let f = -968 + 960.79. Let q = f - -0.21. Let o = q + 7.2. Which is smaller: o or 0.4?
o
Suppose 2*k + 15 = j + 49, -4*j + 5*k = 139. Do -40 and j have different values?
True
Let w be (-3 - -6)*1434/9. Let x = 4298/9 - w. Are x and 0 equal?
False
Let b be (-8 + -21)/(-1*1/2). Let f = -57 + b. Which is smaller: f or 6/7?
6/7
Let t = -1021/2680 + 2/335. Let f = 55.6 - 55.5. Is t < f?
True
Let m = 1377 + -1937. Let r be 10/25 - (-244)/m. Which is smaller: 0 or r?
r
Suppose -3*n + 124 = 4*s - 0*s, 3*s - 93 = 2*n. Suppose -2*z = -z + s. Is z greater than or equal to -94/3?
True
Let w = -0.1 + 1.1. Suppose 0*p + 7 = 7*p. Let l be (5/50)/(p/(-4)). Are w and l equal?
False
Let h(i) = -28*i**2 - i - 1. Let u(n) = -3*n - 22. Let c be u(-7). Let w be h(c). Is w >= -29?
True
Let w = 1574 - 1610. Is -48 bigger than w?
False
Let o be (32/(-40))/(132/(-30)). Which is bigger: 8 or o?
8
Let a(i) = 2*i + 85. Let j be a(-22). Is j > 201/5?
True
Let o = -290 + 289.7. Do 0.005 and o have the same value?
False
Let a be 37 + -30 + 52/(-8). Let r = 237820/31 - 601719227/78430. Let y = 3/230 - r. Do a and y have the same value?
False
Suppose -3*m - 27 + 123 = 2*j, j - 31 = -m. Let h = -14 + m. Which is greater: 21 or h?
21
Let q(b) = -b + 10. Let a be 14 + 7/((-7)/2). Let w be q(a). Let l be w*3/2*2. Do l and -7 have the same value?
False
Suppose 2*k = 5*k - 5*x - 7, 5*k = -x - 7. Let f = 14749393/126 + -117058. Let t = f + -7/18. Do t and k have the same value?
False
Let g = -0.088 + 7.148. Let r = g - 7. Let z = 1.446 - 1.346. Is z equal to r?
False
Let y = -0.13 + -12.87. Let a = y - -7. Let o = -1.14 + 1.04. Are a and o equal?
False
Let o be 5/600*10 - 6/(-8). Suppose 3*c + 5*s - 7 = 2*c, -3*c + 1 = -5*s. Suppose -w - 1 + c = 0. Is w not equal to o?
True
Let t(u) = -3*u + 19. Let d be t(6). Let c = 42 - 42. Which is greater: d or c?
d
Let k = -1096 - -1095. Is k at least as big as 3/589?
False
Let m(i) = -6*i - 261. Let d be m(-43). Is d smaller than -44?
False
Suppose 3*t - 5*r = 11, r = -0*r + 2. Let w be 2*-92*t/(-14). Is 92 < w?
False
Suppose k + 4*j - 3 = 0, 0*j + 4*j - 9 = -3*k. Suppose -z + k*z = 14. Which is greater: -0.2 or z?
z
Let o = -5 + 10. Let c(m) = 2*m - m**2 - m**3 - 9*m**2 - 2 + 15*m**2 + 5. Let b be c(o). Which is smaller: b or 14?
b
Let v be -12*(-13)/(-208) + (-230)/(-56). Is v equal to 2?
False
Suppose -254*s + 259*s = -240. Which is smaller: -50 or s?
-50
Suppose 12*a + 879 = 267. Let o(k) = -k**2 - 50. Let c be o(0). Is c less than a?
False
Let h(y) = y - 3. Let c be h(-1). Let p be (-1)/c*(20 - 20). Let v(u) = u**3 - 2*u**2 - u - 3. Let b be v(3). Which is smaller: b or p?
p
Let m = 34736/869 + -70051343/1496418. Let y = 2/287 + m. Let a = -7 - y. Which is bigger: -0.01 or a?
-0.01
Suppose 6*p = 10*p + 16. Let c = -2 - p. Suppose 2 + 0 = c*q. Is q at least as big as 2/43?
True
Let i be (280/(-15) - 5 - -4)*3. Is i < -59?
False
Let n be