q?
-35
Let h be -3 - (-11 + (4 - 2)). Let c(y) = -y - 6. Let x be c(-8). Let n be 0*(h/(-4) + x). Do n and 1/4 have the same value?
False
Let i(q) = q**2 + q + 10. Let y(h) = -h**2 - 12*h - 29. Let n be y(-7). Let f be i(n). Which is greater: 51 or f?
f
Let f be -1*0/((-1)/1). Let g be (-85620)/(-41600) - (0 - -3). Let b = -3/160 - g. Which is greater: f or b?
b
Let k = 305 - 318. Is k at most as big as -5?
True
Let j(u) = u + 6. Let a be j(-6). Let f = -56 + 59. Suppose -4*z - 18 = 4*w - 2*w, -12 = f*z. Which is smaller: w or a?
w
Let g = -1005 - -1466. Which is smaller: 462 or g?
g
Suppose 0 = 4*m + 244 - 64. Let t be ((-18)/m)/(6/75). Which is bigger: 2 or t?
t
Suppose -4*v + 2*x = -3*x - 43, 4*v = 4*x + 44. Which is bigger: 32/3 or v?
v
Let y be 4/14 + (-18)/210. Let c = y + 8/35. Are 0 and c nonequal?
True
Let z be (-3)/(-4) - 6/(-24). Let n = -215 - -6668/31. Which is smaller: z or n?
n
Suppose 0 = -20*k + 14*k + 378. Let i be (798/k)/((-2)/(-3)). Is i at least 20?
False
Let r = 80 - 80. Suppose r = 3*j - 9*j. Is -8/13 <= j?
True
Suppose -2*g - 10 = 2*m, 4*m + 0*g - 3*g = -20. Let s be (m - -4)*-4 + 62. Let r = s + -332/5. Which is smaller: -1 or r?
-1
Let b(j) = j**3 + 2*j**2 + 2*j + 4. Let m be b(-2). Let h = -3014/13 - -232. Is m less than h?
True
Let a = 14 + -14. Suppose -2*u + a - 3 = -3*h, 3*u = 0. Are h and -3/11 non-equal?
True
Let u be (-1)/(-1) + (-1 - -2). Let j(d) = -d**2 + 14*d + 24. Let y be j(15). Suppose -10*s + y*s + 2 = 0. Is s at least u?
True
Suppose -2*d + 2*q + 33 = -97, 5*d - q - 337 = 0. Is 67 at most as big as d?
True
Let r(h) = h**2 - 15*h + 25. Let z be r(13). Let i(c) = -9*c - 7. Let n be i(z). Which is bigger: n or -7?
n
Let p(r) = -r - 10. Let a be p(-13). Suppose 2*s - 3*v + a + 3 = 0, 4 = 2*v. Suppose 11 = y - s*y. Which is bigger: 10 or y?
y
Suppose 3*t + 6 = 15. Let o(b) = b**2 + 4. Let r be o(t). Let v = 10 - r. Is -3 < v?
False
Suppose 12 = -6*o + 90. Suppose 22 - o = -3*g. Are -21/10 and g nonequal?
True
Let i be 57/11 - 8/44. Suppose 14*s - 35 = 9*s. Are i and s non-equal?
True
Let f be 0 - (1*2 - (-7 - -7)). Let m = 40 + -41. Which is bigger: m or f?
m
Suppose 471 = 4*b - 521. Suppose 3*a - 46 = -3*s + b, 0 = 3*a + s - 296. Let r = -1189/12 + a. Which is smaller: r or 1?
r
Suppose 17*g + 374 = 28*g. Is 33 <= g?
True
Let u = -350 - -220. Let a be u/(-80) + 1/(2 + -3). Which is smaller: 1 or a?
a
Suppose -5*c + 3 = -12. Suppose -4*y + 4 = -5*y - c*z, 5*z = y - 20. Is y < -0.3?
False
Let s be (33/(-44))/(1/(-4)). Let q be 2/s + 22/(-33). Is 0 at least q?
True
Let q(o) = -3*o**3 + 1. Let w be q(-1). Let g(x) = -2*x**2 + 2 - w*x**2 + 3*x**2 + 7*x + 2*x**2. Let m be g(7). Do 1 and m have the same value?
False
Let u = 4.72 + -4.62. Which is bigger: u or -129?
u
Let i = -356 + 357. Which is smaller: -81 or i?
-81
Let z = 1819 + -1819. Suppose 0 = w + 4*v + v - 1, 0 = 5*w - 4*v - 5. Let g be (-87)/9 + w/(-3). Which is smaller: g or z?
g
Let i = 136 - 1494/11. Let l be 12/(-8)*8/(-6). Suppose -l*p = -p. Which is greater: p or i?
i
Suppose 0 = 5*d + 3*c - 7, 0 = 3*c - 5*c + 8. Let h = -2183/12 - -182. Which is bigger: d or h?
h
Let l = -3/173 + -381/7958. Suppose -30*k + 44*k = 0. Which is smaller: l or k?
l
Let f = 8 + -8.13. Let h = f - -0.53. Let y = -0.42 + h. Which is smaller: y or 1?
y
Let a = -0.099 + -2.901. Which is smaller: 4/5 or a?
a
Let k(i) = -5*i**2 - 2*i + 4. Let f(c) = -c**2 + c. Let y(j) = 4*f(j) - k(j). Let d be y(-6). Suppose 0*g = -g. Is d equal to g?
False
Suppose 2*f - 20 + 8 = 0. Suppose -2*w - 4*g = -20, -13 = -w + f*g - 9*g. Is w at most as big as 1?
False
Let v = 108.58 - 98.8. Let p = -0.22 - v. Let h = -9 - p. Which is greater: -8 or h?
h
Let f = 23 - 27. Let k = 1 - f. Is k greater than 5?
False
Let u = -5.43 - -7.43. Let x = -0.06 - -5.06. Is x at most u?
False
Let x be 153600/(-17056) - (-9)/1. Is 1 at least x?
True
Let c = -23 + 27. Suppose -a = -0*a - c. Let z be 3 - (-13 + (a - 0)). Do z and 12 have different values?
False
Let c be 3 - (6 - 3) - -15. Suppose c - 10 = -5*k. Which is greater: -2/43 or k?
-2/43
Let j(f) be the third derivative of -f**5/15 + 7*f**4/12 + 5*f**3/6 - 3*f**2 + 2*f. Let h be j(4). Is h at most -3?
True
Let l = 279 + -279. Let p = -263 - -501. Let b = -1662/7 + p. Are l and b non-equal?
True
Let n = 12 - 8. Let f be 1167/198 + n/(-8). Let r = f + -30/11. Which is greater: r or 2?
r
Let j(x) = x**2 + x - 9. Suppose 0*f = -2*f - 2*n - 14, -5*n = -3*f - 13. Let l be j(f). Is l >= 21?
True
Suppose -3*s + 4*s = -5*v - 34, 0 = 5*v - s + 36. Let q = -4 - v. Suppose -q*f = -6*f. Is 0 smaller than f?
False
Let r = 162.5 - 166.5. Is 23/5 >= r?
True
Let x = 47734982/22551651 - 248/27603. Let z = 68/43 - x. Let g = 108/133 + z. Is g bigger than -16?
True
Let x(s) = -s**2 - 12*s - 56. Let m be x(-6). Do m and -37 have the same value?
False
Let q = 28 - 44. Let s be (-9 + 2)*((-2)/1 - -4). Which is smaller: s or q?
q
Let q = 23/4 + -173/28. Let u = -8640 + 8634. Does q = u?
False
Let g(o) = 2*o - 29. Let f be g(16). Let v be f + 545/(-175) + (-4)/14. Let z = 0.3 + -0.5. Which is greater: v or z?
z
Let b be ((-15)/(-60))/((-2)/(-8)). Is b at least as big as -18?
True
Let a(o) = -8*o**3 - 26*o**2 - 20. Let p(j) = 3*j**3 + 9*j**2 + 7. Let q(k) = -4*a(k) - 11*p(k). Let w be q(6). Let d = 133/4 + w. Which is smaller: -0.01 or d?
-0.01
Let f(o) = o**2 + 9*o - 4. Let q be f(-10). Let u(d) = -17*d + 18. Let g be u(q). Let p be (-10)/65 + g/(-208). Which is smaller: -2/9 or p?
-2/9
Let r = -34/57 - -5/19. Let q = 1/34567 - -3076214/8607183. Let y = 2/83 - q. Is y <= r?
True
Let l be (9/(-7))/(16/(-56)). Let i = 0.034 - 36.034. Let o = i + 35.8. Which is smaller: o or l?
o
Let i = 130205/8216 + -206/13. Which is bigger: -1 or i?
i
Let y = 0.48 + -5.68. Which is bigger: y or 16?
16
Let s = -220 - -778. Is s at most as big as 559?
True
Let y = 81 - -1. Let b = 5005 - 20343/4. Let k = b + y. Is 2 at most k?
False
Let i = 0.31 + 0.42. Let q = -1.84 + i. Let k = q - -0.11. Which is smaller: -0.1 or k?
k
Suppose -j + 595 = -3*f, 5*f + 991 = -0*j + j. Let g be (-1)/5 - f/15. Let c(d) = -d**3 + 13*d**2 + d - 16. Let a be c(g). Which is smaller: -9/4 or a?
a
Let f = 16 - 42. Let v = -39 - f. Let s = v - -12.9. Is 1/6 not equal to s?
True
Let r(a) = -a. Let b be r(-2). Let g be (-12)/(-30) - (-12)/70. Let l = g + 2/21. Is b equal to l?
False
Let q be (-2)/88*14*-7542. Let v = q - 2409. Is -10 greater than or equal to v?
False
Let x = -47 + 7. Let w be 10/x + (-13)/(-20). Is w greater than or equal to 0.26?
True
Let n = -0.0214 - -0.0214. Which is greater: n or 597?
597
Let h = -2.0346 + 0.0346. Which is bigger: h or 53?
53
Suppose 40 = -260*b + 250*b. Is -5 at least as big as b?
False
Let x be ((-8)/(-3) + 1)*3. Let n = -90.138 + 0.138. Let m = n + 91. Is x >= m?
True
Let t = 10.26 - 8.26. Is t greater than 150?
False
Let s = -99 + 104. Is s at most as big as 16?
True
Suppose -18*h = -0*h + 33 - 51. Let k be 1/3 - 46/192. Which is smaller: h or k?
k
Let i(x) = x**2 - x - 1. Let q be (-9)/(-12) - (-1)/4. Let b be -4 + q - (1 - 3). Let j be i(b). Which is smaller: j or 4?
j
Let h = -65/8 + 85/11. Let n = -1/44 - h. Let d = 0 + 0. Is n <= d?
False
Let g(z) = -2*z**2 - 3*z + 1. Let h be g(-3). Let j = 9 + h. Let n be 3 + ((-1)/3)/(6/27). Is n greater than j?
True
Let v(s) = 5*s - 1. Let w(z) = 10*z - 2. Let f(p) = 9*v(p) - 4*w(p). Let y be f(2). Let m(u) = -u**2 + 7*u + 13. Let o be m(y). Is o < -3?
True
Let c = -6 + -7. Let o = -17 - c. Let v be o/24*-2*15. Which is greater: 14/3 or v?
v
Suppose 4*s = -2*w - 224, 2*s - w = 4*w - 88. Let k = 5155 + -5208. Do k and s have the same value?
False
Let j(i) = i - 6. Let h be j(12). Let k be h/(-15) + (-23)/5. Let u be k/(-5)*(3 + 14). Are u and 18 equal?
False
Let x(u) = -u**3 + 4*u**2 + 7*u - 3. Let c be x(5). Let l(p) = -p + 1. Let i be l(c). Let k be i/(-9)*(-3)/(-8). Which is bigger: k or 23?
23
Suppose 5*g - 320 = -0*g + 4*x, 0 = -2*g + 3*x + 135. Which is greater: g or 3/2?
g
Let c = -40 - -43. Suppose -c*g + 4*h = 115, g = -g + 4*h - 82. Is g at most -33?
True
Let o = 842489/229 + -3679. Let w = 9790157 - 4483893971/458. Let k = o - w. Is 6 smaller than k?
False
Suppose 0 = 3*g - 2*g + 2*b + 3, 4*b = 4*g. Let a be 12/(-3) + (-388)/1