?
z
Let c = 17572/19 + -925. Is c at most -2/7?
False
Suppose -15 = 3*g - 8*g. Let l = -16 - -17. Suppose -l = -v + g. Does v = -0.2?
False
Suppose 3*b - w - 7 = -6*w, 5*b = -w - 3. Is b < -1/529?
True
Let a be (10/12)/5 + (-149)/(-6). Is a less than 25?
False
Let j be (-75 + 74)/(1 + (-26)/24). Let n be ((-4)/(-12))/((-2)/(-6)). Suppose -5*g - 7 = c, -5*c + n = 4*g + 15. Which is greater: j or g?
j
Let q(b) = 3*b**2 - 8*b + 19. Let i be q(6). Let v = 51 - i. Which is greater: v or -27?
-27
Let x = 24.17 - 21.17. Which is bigger: -20 or x?
x
Let z be -30*((-12)/20 - -1). Is 6 not equal to z?
True
Let s be (-4)/16*(-2643 + 11). Which is greater: 0.2 or s?
s
Let g = -20 - -16. Let j be g/10*295/15. Let f = 41/5 + j. Is f less than -0.1?
False
Let l be 1 - 3 - (48132/(-6021) - -6). Which is smaller: l or 1?
l
Let s = -2271 - -2380. Which is bigger: s or 6?
s
Let l(a) = -10*a**3 - a**2 + 2*a + 2. Let v(b) = -b**3 + b + 1. Let q(r) = l(r) - 2*v(r). Suppose m + 4*m = -5. Let j be q(m). Is 6 <= j?
True
Let t(l) = -l**2 + 8*l - 8. Let y be t(1). Which is smaller: 1/901 or y?
y
Let g = -197/147 + 1/147. Let o = -37 - -38. Is g at most as big as o?
True
Let a = 742 + -34876/47. Suppose 5*o - o - 12 = -2*l, 2*o = 3*l - 2. Suppose -2*h = -2*f + o, 3*f = h - 5*h - 4. Are h and a equal?
False
Let b(q) = q**3 + 13*q**2 + 44*q + 12. Let l be b(-6). Which is greater: l or 9/404?
9/404
Let x(c) = -25*c**3 + 2*c**2 - 1. Suppose 2*b + 2*b = 4. Let d be x(b). Suppose 21*a - 5*a = -368. Is d < a?
True
Let o(g) = -g**3 - 7*g**2 - 3*g - 1. Let d be o(-7). Suppose -d = 9*m - 2. Which is greater: m or 3?
3
Suppose -7*i + 84 = 5*i. Let n be (-1)/i - 614/14. Is n bigger than -44?
False
Let g be -7 - 133/(-49) - 0. Which is bigger: -3 or g?
-3
Let d be (-2 + 7)/((-10)/(-4)). Suppose 2*m - 6*m + 42 = -y, d*m = -2*y - 64. Which is greater: -35 or y?
y
Suppose 4*o = 24 + 20. Let t be 18/(-99) + 46/o. Is t >= 7?
False
Let u = 17.64 + 0.36. Let r = u - 16. Which is smaller: r or 12?
r
Suppose 9*s + 39*s = -4704. Suppose 0 = -c + 9 - 23. Let j be (12/c)/((-14)/s). Is -11/2 bigger than j?
True
Suppose 5*j - 6*a - 616 = -5*a, -2*j + 241 = 5*a. Is 126 at most as big as j?
False
Let z be 1/21*234/(-143). Let t = z - -107/385. Is -19 equal to t?
False
Suppose -16*v = 15 - 15. Suppose -13 = -5*j - 3*f + 9, -5*j = -2*f - 27. Suppose -x + j*x = v. Is -1/4 < x?
True
Let u = -440 + 879/2. Which is smaller: u or 209?
u
Suppose -3*o - 5*o = 0. Let u be (9/24 - o)/(6/(-34)). Is -3 less than u?
True
Let x(i) = -4*i**3 + 17*i**2 + 11*i - 3. Let h be x(5). Is h smaller than 9?
True
Let l(k) = -k**3 + 5*k**2 - 3*k - 1. Let i be l(4). Let r(v) = -v**3 - 9*v**2 - v - 5. Let j be r(-9). Suppose i = p - j*p. Which is bigger: p or 2?
2
Let v be ((3 - 3) + 1)*3. Suppose -c = -5*q + 7, -v*c - 8 = c. Is 1 bigger than q?
False
Let v = -0.21 - -1.31. Let u = v + 2.9. Let w = -3 + u. Is w at most as big as 1/4?
False
Let i = -12.8 + 11. Let l = i + 0.8. Is -1/52 less than l?
False
Let q be 10/(-2) + (-3 + 25 - 0). Is 87/5 at least as big as q?
True
Suppose -18*k + 160 = -3368. Which is greater: 197 or k?
197
Let z = -31 + 42. Let h be z - (6/3 + -1). Which is bigger: h or 11?
11
Suppose 0 = -4*b + 4*n - 8, -2*n + 8 = -0*n. Let f be -1*b*(-15)/6. Suppose p - 4*p + 9 = 3*i, -25 = -5*i + f*p. Is 5 less than or equal to i?
False
Let i be (10/8)/(2/(-40) - 0). Let m be (-80)/i*(-2)/(-8). Is 2 not equal to m?
True
Let b = -24 - 31. Let s = 56 + b. Do s and 3/43 have the same value?
False
Suppose 8 = -3*l + 7*l. Let h be (1 - l)*3/3. Let t be h + 3 + 0 + -2. Which is bigger: 1/6 or t?
1/6
Let k(t) = 41*t - 81. Let x be k(2). Is 755 > x?
True
Let u(p) = -60*p**3 + p**2 + 3*p + 2. Let n be u(-1). Is n greater than or equal to 181/3?
False
Let w be 2*4/(-2) + 2. Let o(t) = -6*t**2 - 2*t - 3. Let n be o(w). Which is bigger: n or -24?
n
Let v = 10.78 + -0.98. Let a = 10 - v. Is a at most as big as -1.1?
False
Let j(a) = -a**3 + 10*a**2 - a + 10. Let s be j(10). Suppose -p - 5 = c, -c - 5 + s = 3*p. Let z be (3 - (1 + p)) + 2. Is z != -2/3?
True
Let x = -16 - -15.52. Let u = -1 + 0.72. Let l = u - x. Is l greater than -0.06?
True
Let h = -412 - -404. Which is bigger: 0.9 or h?
0.9
Let f = -18.7 - -18. Let k = -4.7 - f. Is k less than or equal to 0?
True
Let q(o) = -o - 1. Let t be q(6). Suppose -2*n + 5*j = 36, 2*j = -n - 0*j. Which is smaller: t or n?
n
Let x = 19/34 + -1/17. Let g be (-5)/2*(-182)/(-35). Let k = -11 - g. Which is smaller: k or x?
x
Let i(h) = -h + 6. Let q be i(6). Suppose -4*c - 5*m = -0*m - 31, q = -c - 5*m + 19. Suppose 0*a + 4*a - c = 0. Which is bigger: a or -1?
a
Let s = 1 - 0. Let v = -4049/25 + 162. Which is greater: s or v?
s
Let s = 1.43 + 0.07. Let v be ((-10)/(-35))/(((-324)/63)/4). Is v smaller than s?
True
Suppose -6*p - 201 = 891. Which is greater: -181 or p?
-181
Suppose -5*t = 5*a + 10, 6*t - 10*t - 6 = 3*a. Which is smaller: t or 2/3811?
t
Let r be -3 + (47/10 - 2). Let x(k) = 5*k + 25. Let t be x(-5). Do t and r have the same value?
False
Let l(i) = -i**3 - 11*i**2 + 12*i + 12. Let u be l(-12). Let h = u + -28. Suppose 6*v = -75 - 21. Does h = v?
True
Let y = 2.9 + 0.3. Let q = y - -0.2. Let z = q - 2.4. Which is smaller: z or 1.8?
z
Let z(n) = -24*n - 96. Let i be z(-4). Is -3/580 greater than i?
False
Let m = -1828/9 - -19645/63. Let l = -109 + m. Let v be (-1)/(-1) - (-17 - -19). Is l < v?
False
Let k = -2048 - -1987. Is k >= 8?
False
Suppose -4*f + i = f + 40, 3*i - 36 = 3*f. Let z(n) = -2*n**2 - n**2 + 7*n - 8 + 4*n**2. Let u be z(-7). Is f <= u?
False
Let n be 2/(9/((-54)/(-12))). Which is greater: n or 5/119?
n
Let r = -106 + 115. Let o be (2 - 3) + -1 - -11. Let d = o - r. Which is bigger: d or 3/7?
3/7
Let g = 1572 - 1574. Does g = -29/34?
False
Let u = 0.233 - 11.333. Let s = u + 9.1. Which is smaller: s or -0.052?
s
Let w = -14.013 - -2.003. Let t = -12 - w. Is t <= 1?
True
Let p = -1 + 0. Let a be 166946/(-468)*3/5. Let x = 214 + a. Is p smaller than x?
True
Let w(g) = -2*g + 32. Let h be w(15). Suppose r + 0*r - 199 = -4*m, -h*m = 5*r - 77. Let u be 242/34 + (-6)/m. Is 1 != u?
True
Suppose z - b - 20 = 0, -4*b - 62 = -3*z - 1. Let x = 21 - z. Is 4 less than or equal to x?
False
Suppose -3 - 7 = 5*a. Suppose 0 = -3*p - 0*p + j + 63, 0 = 2*j + 6. Let g be 2*-1*2/p. Which is smaller: a or g?
a
Let i be (-1)/6*18/12*1. Let f = -68.86 - 1.14. Let j = f - -48. Is i < j?
False
Let o = 187 - 139. Which is greater: o or 49?
49
Let i = -8/223 - 5454/9589. Which is smaller: i or 0?
i
Let f = -0.2 - -0.1. Let x be 66/(-8) - 3/(-12). Let b be x/(-60) - (-304)/(-30). Are f and b unequal?
True
Suppose -4*x = -4*n, 11*x - 7*x - 1 = 3*n. Let s be (12/(-34))/((-6)/4). Which is bigger: s or x?
x
Suppose 4*k - 3*g = -2809, -12*g - 2839 = 4*k - 9*g. Is k at most -706?
True
Let r be (-1)/3 + 2/4. Suppose 0 = 4*c + 6*q - q - 11, 3*c + 12 = 3*q. Is r > c?
True
Let g be 112/150 + 10/(-15). Do -1 and g have the same value?
False
Suppose 6 = x + 3, 2*v - x = 5. Suppose 9*r - 165 = v*r. Is r at most as big as 33?
True
Let q(z) = 2*z + 20. Let h be q(-8). Let p be h/(-5) + 3/(-15). Are -1 and p nonequal?
False
Suppose 2*h = 7*h. Let i be (-102202)/(-1304754) - (10/(-11) - -1). Is h at most i?
False
Let n = 384 + -392. Is -71/10 <= n?
False
Let t be -2 - (-30)/20 - 2/(-3). Which is smaller: -0.3 or t?
-0.3
Let q be ((-852)/16)/((-135)/(-720)). Is -283 >= q?
True
Let m be (-12)/(-36) - (-96)/27. Which is greater: -2 or m?
m
Let l = 776/655 - -2/131. Let p = 7 - 2. Suppose p*f - 4 = 1. Are f and l unequal?
True
Suppose 4*h = 5*d + 49 - 18, 4*h - 4 = -4*d. Suppose 0 = -2*m + 3*t, h*m + 2 = 2*t - 6. Let s be (-1 + 7 - 12) + 4. Which is greater: s or m?
s
Let c = -6 + 9. Let u = c + -1. Suppose -t + 13 = 12. Which is bigger: t or u?
u
Let m be (-3)/(-12) - (-228)/(-784). Suppose n + 32 = 4*u - 3*n, 3*u - 21 = 2*n. Suppose -i - 4*i = u. Is i < m?
True
Let y(x) = 2*x**2 - 48*x - 33. Let r(u) = 28*u - 3. Let h be r(1). Let k be y(h). Are 15 and k equal?
False
Suppose 0 = -15*q + 12*q - 6, 5*t + 2 = 4*q. Let x = -6 - -2. Which is greater: t or x?
t
Let m = 108.02 + -108. Is m bigger than -0.1?
True
Suppose j + j = -2*a - 473852, 3*a - 5*j = -710810. Let w be 6/(-4) - a/300. Let x = -788 + w. Is x equa