be z(d). Is p at least 0?
False
Let l = 0.12 - 0.18. Let o = 136.9 - 143. Let a = o + 6. Which is smaller: l or a?
a
Let d(t) = 2*t**2 + 4*t - 6. Let h be d(-5). Suppose 2*n = v + n, -v - 5*n + h = 0. Suppose -2*o + 10 = 2*c, 0 = v*c - 0*o - o - 20. Is c at least as big as 3?
True
Let d = -4 + 16. Let m be 26/(-6) + d/6. Is -2 bigger than m?
True
Let t = 1 + 0. Let z(l) = 8*l**2 - l + 2. Let p be z(t). Let o = 4 - 5. Is o != p?
True
Let h = -6.25 + 6.55. Which is smaller: h or -104?
-104
Suppose -10 - 13 = 3*z - 4*g, 0 = 4*z + g - 1. Let t = -21 - -23. Suppose 12 = -2*u + t*r, 2*u - 2*r + 5*r = 8. Which is smaller: u or z?
u
Let q be 4/1 + 2/((-16)/24). Which is greater: q or 2/5?
q
Let s = -175 + 209. Let j be 1268/36 - 4/18. Which is smaller: j or s?
s
Let z be (6*16/60)/(4/20). Suppose -42 - 246 = z*i. Which is smaller: -37 or i?
-37
Let w = -2 + 0. Let r be 2*(w + 0) + 3. Which is bigger: 2/51 or r?
2/51
Let x = 0.28 - 4.16. Let g = x + 4. Let i = -2.88 - g. Does i = -0.4?
False
Let u = 13468 - 2208767/164. Which is greater: 1 or u?
1
Let l = 0.3884 - -19.5736. Let i = l + 0.038. Let c = 19.9 - i. Is c less than or equal to -8/7?
False
Let u(w) = w**3 + 2*w - 19. Let n be u(0). Let r = -13 - n. Let p be 1/(-1)*(-2)/(-6). Which is greater: r or p?
r
Let m = -583 + 587. Which is smaller: -2/3 or m?
-2/3
Let r(z) = -5*z - 22. Let t be r(-5). Let d be 218*t/336 + -2. Which is greater: d or -1?
d
Let c = 11703/5 - 2327. Let s be (3 - 8)*-3 - 2. Which is bigger: c or s?
c
Let f(p) be the first derivative of p**3/3 - 4*p**2 - 4*p - 3. Let g be f(7). Let d = -7 - g. Which is smaller: d or -0.2?
-0.2
Let d = 67/2 - 34. Is 658 > d?
True
Let o = -1.5 - -1.28. Let b = 5.22 + o. Let z = -1.11 - -0.11. Is b != z?
True
Let a be 2 + ((-920)/458 - 0). Let n = -1210922931/1603 + 755410. Let v = a - n. Which is bigger: v or -0.2?
v
Let f(g) = g**3 + 8*g**2 + 10*g + 21. Let h be f(-7). Which is smaller: h or 6/5?
h
Let d be (-1 - -2)/((-2)/(-4)). Suppose d*j + 3*j = 2*s - 10, 0 = 4*s - 20. Which is bigger: -2/29 or j?
j
Let r = 5 - 6. Let o be 123/11 - 8/44. Let k be (o/(-363))/((-15)/(-18)). Is k equal to r?
False
Suppose -20 = 4*i - 3*s, -90*i + s = -92*i. Let f = 11974 + -46959/4. Let z = f + -236. Is i > z?
False
Let y be 9/(-1)*9*(-2)/27. Which is smaller: -88 or y?
-88
Suppose -4*n + 9*n = 4*b - 1159, -5*n - 1445 = -5*b. Are 287 and b nonequal?
True
Let g be 6/(-2)*1/4. Let z = -0.57 + -7.93. Let a = z - -6.5. Which is bigger: a or g?
g
Let o = -1517 + 2343. Which is smaller: o or 827?
o
Let j be 2*(-1 + (-10)/(-4)). Let d(p) = p**3 + 14*p**2 - p - 10. Let l = 51 + -65. Let t be d(l). Is j <= t?
True
Let j(b) be the third derivative of 1/2*b**3 + 1/60*b**5 + 1/8*b**4 + 0*b + 0 - 5*b**2. Let x be j(-4). Is 1/2 less than or equal to x?
True
Let w be ((-2)/2)/2*0. Suppose -2*h - 390 = 3*j, -h + 637 = -0*j - 5*j. Let y be (-1)/(-2)*j/(-30) - 2. Is w > y?
False
Suppose 217*b = 219*b - 2. Do 2/199 and b have different values?
True
Suppose -q = p + 4*q - 20, q - 4 = 3*p. Suppose -11 = n - 21. Let l be ((-5)/n)/((-5)/10). Which is smaller: l or p?
p
Let i = 33 - 47. Let j(o) = o**2 + 14*o - 2. Let m be j(i). Do m and 0 have different values?
True
Let v = -972.3 + 978. Suppose -4*b = 2*u + 3*u + 9, 3*u = -3*b - 6. Which is bigger: u or v?
v
Let q = 27 - 24. Suppose 3*d - 81 = q*w, 2*d + 25 = -5*w - 110. Let n = 27 + w. Which is smaller: 1/19 or n?
n
Let f(z) = -238*z + 1194. Let d be f(5). Which is greater: d or 126/43?
d
Let r = 52 - 28. Suppose 347 = 17*f - 44. Which is bigger: f or r?
r
Let i = 1.1 + 5.9. Let j = i + -20. Let f = j - -12.7. Does f = -2?
False
Let f be 1 + 1 + (-4)/2. Suppose -r + 3*n - 7 = f, -3*n = -7*n - 4. Let k = 338 + -339. Which is greater: r or k?
k
Let a be 12/(-376)*(-8)/6. Suppose -146*s + 124 = -102 + 80. Which is smaller: a or s?
a
Let m = -486 + 495. Is m equal to -0.02?
False
Let w = -71/7 + 69/7. Which is smaller: w or -1/2?
-1/2
Suppose 691*a - 692*a + 1 = 0. Which is bigger: a or 3/248?
a
Suppose 0 = k - 3*k - 4, -4*k - 44 = -3*h. Let f(z) = z - 9 + 12 - h. Let p be f(11). Which is greater: p or 1?
p
Let w be (-10)/(-40) - (-3)/(-12). Which is smaller: 10 or w?
w
Let c = 3507 + -3506.99. Let s = -0.3 - -0.3. Let y = -1 - s. Are y and c nonequal?
True
Suppose -12*j + 13*j = -56. Which is greater: 1/2 or j?
1/2
Let m = 21 + -45. Let v = -8 - m. Let j = 5.9 + -6.9. Which is smaller: j or v?
j
Let v be (-3 - -1)*(2 + 5). Suppose 0 = 9*m - 20*m - 143. Do m and v have the same value?
False
Suppose i + 5 = -l, 3*i - 1 = -4*l - 12. Let k(w) = w**2 + 12*w + 7. Let g be k(i). Let m be 14/(-49) - g/21. Which is smaller: m or 8?
m
Let o be 24/(-32) - ((-3)/(-4))/(-1). Is o at least as big as -6/11?
True
Let z = 5/2 - 843/338. Is -1 greater than z?
False
Let u = 681 + -677.95. Which is greater: 1/2 or u?
u
Let p = -98865/946 - -209/2. Which is bigger: 1 or p?
1
Suppose 0 = 2*t + 2*r + 2*r - 24, -3*t + 32 = 5*r. Suppose 3*j - 4*j + t*c + 14 = 0, 4*c = -2*j - 8. Let n = 0 - j. Is -1 < n?
False
Suppose 17*k = 19*k + 40. Let l be k/(-4) + -9 + -2. Let m be ((-5)/(-2))/((-2)/4). Which is bigger: l or m?
m
Suppose -2*t - 3 = 1. Let o(q) = q + 6. Let p be o(t). Let h be ((2/2)/p)/1. Is h at least -2?
True
Let a = 13 - 25. Is a not equal to -3?
True
Let i = -68.7 + 81.74. Let f = -1.14 + i. Let r = f + 3.1. Which is bigger: r or 2?
r
Let k = 0.058 - -0.022. Let d = k + 0.32. Are 0 and d equal?
False
Let s = 0.0752 + 0.0248. Which is bigger: -2/1269 or s?
s
Let m(d) = 20*d + 109. Let g be m(-5). Which is smaller: g or 13?
g
Let l(d) = -d**2 + 9*d - 13. Let p be l(6). Let y be (-3 + p)*1/3. Let k be 3/((-6)/16*-4). Which is smaller: k or y?
y
Let r be (2*1/(-4))/(791/14). Are r and 0 non-equal?
True
Let v = 51 + -52. Let x(h) = -h + 1. Let s be x(8). Let q be (2/7)/((-3)/s). Which is greater: q or v?
q
Let x be (-21)/(1323/(-14)) - (-11)/(-9). Are x and -13/24 unequal?
True
Let b = 7 + -5. Let q be ((-3)/(-9))/(84/(-30) - -3). Which is greater: q or b?
b
Let m(w) = w**2 + 2*w - 4. Let f be m(0). Let d be (18/(-675))/(f/(-5)). Which is bigger: -1 or d?
d
Let j(v) = 11*v - 123. Let m be j(11). Which is bigger: -18/7 or m?
m
Let v = -324 + 323.7. Is v smaller than 45?
True
Let n = -0.877 + -0.123. Let s = 117 - 191. Is s at least n?
False
Let y = -34935/49 + 713. Suppose -2*r - 2 + 1 = 5*j, 3*r = 6. Is y at most j?
False
Suppose 3*n = -2*l + 141, -2*n + 3*l + 87 = 2*l. Suppose f - n = -4*f. Let y be -3 - 3/(f/(-6)). Which is smaller: 3 or y?
y
Let s = 2.211 + -2.53. Let p = s - -7.329. Let r = -7 + p. Do r and -1 have the same value?
False
Let a = -434/3 + 143. Let f be 44/(-88)*4/2. Is f bigger than a?
True
Let q(c) = -c**2 - 13*c + 1. Let o = 14 + -27. Let g be q(o). Suppose 0 = z - 2*z + g, 6 = -5*n + z. Which is smaller: 9 or n?
n
Let y be (-44)/(-10)*(-780)/96. Is -37 != y?
True
Let j(h) = h**2 + 23*h - 119. Let t be j(-28). Which is bigger: t or -1?
t
Let l = 3.81 + -3.61. Is -59 not equal to l?
True
Let v = -0.31 + 8.01. Let h = v + -8. Which is bigger: 3/10 or h?
3/10
Suppose -2*p = -3*p + 6. Suppose -k - p = -1. Let i be 4 + ((-20)/(-12))/k. Do i and 4 have different values?
True
Let a be 0/(3*(-5)/15). Suppose -2*o + t - 2*t + 59 = a, 3*o = -4*t + 91. Let n = -24 + o. Are 3 and n nonequal?
True
Let g = 8.2 - 9. Let h = g + 10.4. Let j = h - -0.4. Which is bigger: 0 or j?
j
Suppose -2*q - 1 + 9 = 0. Suppose 4 = 4*s + 64. Let g(k) = -k - 11. Let c be g(s). Are q and c unequal?
False
Let v be 154/30 + (-4)/30. Suppose v*t - 35 = -w, 5*w = -5*t - 0*w + 35. Suppose -36 = -4*i + t*i. Which is greater: -13 or i?
i
Let j(n) = 79*n + 26. Let k be j(9). Suppose -18*i - 19 - k = 0. Which is smaller: i or -39?
i
Let c be (-10)/(-25) + 324/15. Is c greater than 11?
True
Suppose -9*v = -223 + 43. Suppose -v*w + 18*w = 0. Which is smaller: 3/14 or w?
w
Let a(d) = d**2 + 14*d - 5. Let c be a(-15). Let g(k) = 1 - 3 + 2*k - c - 6. Let p be g(8). Which is smaller: -3 or p?
-3
Let h be -3 - 3 - 7/14*-12. Let t = -1765047/356 + 4958. Let f = -1433/3204 + t. Is h at least as big as f?
True
Let x = 1971 + -2390. Is -416 >= x?
True
Let k = 149 - 153. Which is bigger: 32 or k?
32
Suppose 0 = -6*b + 4*b + 26. Let p = -120 + 135. Suppose c - 2*c + 3*m - p = 0, 3*