?
True
Let l be (-6)/2*13/13. Let r be 2/l*(-3)/4. Let v = -10 + 9.8. Are v and r unequal?
True
Let f = 11.6 + -70.6. Let k = -61 - f. Is k >= 0.13?
False
Let k = 2456 - 2455. Which is bigger: k or 0.05?
k
Suppose -6*z + 5*z + 2 = 0. Suppose z*r = 4*r - 14. Suppose -3*q = -5*f + 18, -3*q - 3*f = -q - r. Does -6/7 = q?
False
Let f = -27 + 56. Let m be -7 + 4 + f + 2. Suppose w = -3*w - m. Which is greater: w or 0?
0
Let k be (-4 + (-52)/(-16))/((-2)/96). Let j = k + -36. Let y be (-1)/(-1)*2/28. Is j greater than y?
False
Let c be (-1)/(-21)*18 - -3. Which is smaller: 0 or c?
0
Let c be (3/(-5)*6/(-531))/(-1). Which is greater: c or -1?
c
Let p(t) = -t - 15. Let c be p(-7). Let f be (0 - (-2 - -3))*-12. Let q = f + c. Do 4 and q have the same value?
True
Suppose -3*t + 2 - 128 = 0. Let c be t/(-15) - 1/(-5). Is c > 1?
True
Let p be 42/28 - 6/(-4). Suppose 5*g = -3*k - 44, -k + p*g - 20 = 3*k. Is k at least -1?
False
Let o be (6/21)/((-120)/210). Is o at most as big as 4.1?
True
Let q = -5 - -22. Let i = q - 35. Let a = -15 - i. Which is smaller: 2 or a?
2
Let q(o) = -o**2 - 8*o - 8. Let t = 1 + -8. Let l be q(t). Which is smaller: l or -2/5?
l
Let z be (-5)/6 + (-238)/204. Let w = 226 - 446. Let r be (-128)/w - 2/5. Is z less than or equal to r?
True
Let w = 1.441 - 0.771. Is -2/5 smaller than w?
True
Let t be 40/(-320)*(-2)/(-73). Do t and 0 have the same value?
False
Let y(u) = 2*u**2 - 10*u - 11. Let o(t) = 5*t**2 - 30*t - 33. Let z(m) = 3*o(m) - 8*y(m). Let w be z(-9). Is w at least as big as -10/3?
True
Let u(h) = -2*h**3 - 2*h**2 - 5*h - 2. Let i be u(-1). Let z be 0/(i - -1 - 3). Which is bigger: -3/8 or z?
z
Let m(d) = d**2 - 16*d + 19. Let k be m(15). Let q be (-118)/122 - 2*k/(-8). Is 0 != q?
True
Let a(i) = -i**2 + 6*i - 3. Suppose 3*h - 15 = -3*x, -x + 6 + 2 = -2*h. Let z be a(x). Let l be (2 - 1)/(-4 - z). Is 0 greater than l?
True
Let v(b) = -b**2 - 9*b + 25. Let p be v(-11). Suppose 0 = -2*t + p*t + 6. Is t at least -5?
False
Suppose v + 4*f + 21 = 0, 3*v - 2*v + 21 = -2*f. Let d = -102/5 - v. Let r = 0 - -1. Does d = r?
False
Let y = -0.1 - 0.9. Let i = 2 - y. Let p = -5 + i. Which is greater: p or 0?
0
Let f(z) = 4*z + 8. Let k be 5/(-25)*-5 + 7. Let j be f(k). Which is smaller: 38 or j?
38
Let p = 71 + -66. Let j be (-3)/(-24)*-38 + p. Is j < -0.2?
False
Let c be (-3)/2*32/1872. Is 0 at most c?
False
Suppose 3*s + s - 36 = 0. Suppose 0 = -28*m + 19*m + s. Which is greater: 1/100 or m?
m
Let x be (3/90)/(4/10). Let g = 1.6 - 1.72. Let p = g + -0.88. Which is greater: x or p?
x
Let d = -322 + 323. Is 3/83 bigger than d?
False
Let f be 16 + -10 + 4 - 10. Which is bigger: 3/503 or f?
3/503
Let v(x) = -x**3 + 3*x**2 + 3*x + 35. Let a be v(5). Are a and -11/39 equal?
False
Let t(g) = -2*g**2 - 11*g - 148. Let o be t(-13). Is o at most -342?
True
Let p be 8/132 + (-16360)/(-132). Is 126 <= p?
False
Let s be 1/8 - (3 - 23/8). Suppose 4*l - l = s. Is 2/17 > l?
True
Let h be 6/10*4965*(-18)/432. Which is smaller: h or -123?
h
Let g be -1*4 + 182/(-3). Let x = g - -64. Let o = 49/176 - 3/16. Is o > x?
True
Let a = 100 + -175. Let o be -2 + a/(-6) - 2. Which is bigger: 8 or o?
o
Let o = 0.316 + -0.296. Are o and 0.09 non-equal?
True
Let j(n) = 13*n**2 + 12*n + 2. Let b be j(-2). Let w be 6/9 + (-32)/b. Is w >= -1?
True
Let h = 2.3 + -2. Let s = 0.3 - h. Let c = 1561 - 6243/4. Is s < c?
True
Let s(n) = n**3 - 14*n**2 - 31*n + 6. Let c be s(16). Suppose 8*y = c + 26. Do y and 34/5 have the same value?
False
Let a = -4.2 + 4. Let i be (3 + -2)*(-24)/(-64). Is a at most i?
True
Suppose -10 = -4*f - 2*k, 5*k = 3*f + k - 2. Suppose 42 + 9 = 4*r - 3*n, 42 = 2*r + 4*n. Let c be 11/8 - (-1 + r/6). Which is bigger: f or c?
f
Suppose 3*x = -o + 221, 0 = 5*x - 7*x - 4*o + 154. Is 72 >= x?
False
Let s(b) = -168*b - 5. Let y be s(-2). Suppose -3*l - 12 = 0, -5*l - 33 = 3*d - y. Let z be d/14 - 4/7. Is z <= 8?
True
Let i(k) = k**3 - 3*k**2 + 1. Let s be i(3). Let h be 4/s + (-14)/(-3). Which is greater: h or 10?
10
Suppose -3*r = 5*x + 7, -6*x = -x + 10. Is r at least -13/27?
True
Let v(o) = 2*o + 36. Let p be v(-17). Suppose p*x = -4*r + 10, -3*x - 2*x - 3*r + 11 = 0. Is x less than -2/73?
False
Let p = 72 - 49. Let n = p + -62. Let s be (189/n - -2) + 3. Is s != 0.2?
True
Let y = 1.1 - 0.1. Let o = -55.6 + -4.4. Let q = 61 + o. Are q and y nonequal?
False
Let i = -2.99 - -0.29. Let u = i + 2.64. Let t = -0.01 + u. Is t >= 2/7?
False
Let y(d) = -d**3 - 6*d**2 - 3*d - 4. Let p be y(-4). Do -23 and p have different values?
True
Let q = 102 + -101. Let p(s) = 2*s - 15. Let m be p(7). Is q greater than m?
True
Let c = -760 + 767. Which is smaller: 15 or c?
c
Let u be 24/4 - (13 + (-7 - -8)). Which is smaller: -85/11 or u?
u
Let s = 742 + -3711/5. Which is greater: s or -2/37?
-2/37
Let d = 8 - 17. Let c be 3/13*2/d. Let i be 4/8*0/(-3). Which is bigger: c or i?
i
Let x be (12/(120/(-2150)))/(-12). Which is bigger: 19 or x?
19
Let v(n) = -n**3 + 4*n**2 - 2*n + 3. Let y be v(3). Let u be 1*y/(-9)*-3. Let h(o) = o**2 - 4*o + 3. Let b be h(u). Which is bigger: b or 1/24?
1/24
Suppose v - m + 10 = 3*m, -5*v - 2 = -4*m. Suppose v*k - q = 5, -3*q - 25 = 2*q. Which is greater: 10/9 or k?
10/9
Let o be -4 - -1 - 20/(-4). Suppose -5*v + 2*h = 2, 3*v - 4*h = -o - 2. Suppose v = -4*y - 4 - 4. Is -3/2 bigger than y?
True
Let z = -18.1 + 19.1. Which is bigger: 80 or z?
80
Let i = -34 - -38. Suppose i*h + f = -5, 5*f + 20 = -2*h + f. Which is smaller: 3/38 or h?
h
Let h = -990.7 + 237.7. Is h greater than 2?
False
Suppose 0 = -5*x + 4*l + 764, -2*x - 2*l - l + 301 = 0. Is x greater than or equal to 153?
False
Let d(j) = j**3 - 7*j**2 + j + 12. Suppose -4*l - 6 = -c, -3*c - 2*l = -12 - 6. Let h be d(c). Let v = h - -9. Which is bigger: v or -8?
-8
Let f be 1 - (5 - 3) - -5. Let l be (6/f)/(30/(-12)). Which is smaller: -2 or l?
-2
Let r = 45.19 + -45. Let v = -0.23 - -12.23. Let b = -13 + v. Is b less than r?
True
Let u be 2 - 4 - -1*8. Let f be u/((-2)/(0 + -1)). Let l(g) = g**3 - 6*g**2 - 7*g + 2. Let b be l(7). Which is smaller: b or f?
b
Let i = 31 + -22. Suppose i*r + 55 = -80. Are -14 and r nonequal?
True
Let j be -3 - -39 - (0 + 2). Let r = 8 - j. Let w(t) = -4*t**3 + t**2 + t - 1. Let x be w(2). Which is smaller: r or x?
x
Let s(j) = -2*j**3 - j**2 + 1. Let q be s(-2). Let b be (-4)/1 + q/1. Let p(r) = -2*r - 7. Let v be p(-7). Does b = v?
False
Let w be 38/66 - (-6)/(-9). Let d = 61 - 65. Let z be d*(-1)/6 + (-13)/(-39). Which is greater: w or z?
z
Let y be (-45)/228*(-8)/3. Let i be (-2)/(-4 + -2)*6. Is i less than or equal to y?
False
Let k = -34 - -33.7. Let g = 27 - 25.7. Let i = g + k. Which is bigger: i or 4?
4
Let p be 1 - 0 - (6 - 5). Do p and -40 have the same value?
False
Let p = -6 - -6.1. Suppose -20*w - 74 = -214. Which is bigger: w or p?
w
Let c = 7.556 - 68.026. Let s = 60 + c. Let w = s - 1.43. Which is smaller: w or 1/2?
w
Let m = -2025 - -1346. Let u = m + 2054/3. Is u equal to 6?
False
Let v be 6*(0 + 4/16)*2. Do 44/23 and v have the same value?
False
Let d = 13088 - 3285092/251. Is d <= -1?
False
Let l = -410 - -2049/5. Is l equal to 0?
False
Suppose 10*r - 6*r = 80. Suppose c + 0*j - 3 = -3*j, -4*c - r = -4*j. Let m be (-10)/3 + (-4)/6. Is m bigger than c?
False
Let o = 0.0019 + 0.0881. Which is smaller: o or -0.014?
-0.014
Let c be (1/(-2))/(3/(-6)). Let z be 4/(-12) + (-66)/(-171). Let w = 59/38 - z. Which is bigger: w or c?
w
Let t be (-546)/28 - -13 - (-5)/(-2). Is t less than -13/2?
True
Suppose -4*p + 12*k - 8*k = 1948, 4*p + 4*k = -1948. Which is bigger: -486 or p?
-486
Let k = -2.0354 + 0.0354. Is k at least 7?
False
Suppose -2*i = -3*y - 199, -11*i = -y - 7*i - 83. Are -61 and y equal?
False
Suppose -2*d - 3*l = 33, d + 11 = l + 3*l. Let c = 18 + -32. Which is greater: d or c?
c
Let m(j) = -2*j + 14. Let c be m(7). Suppose c*o = -5*o. Suppose 3*d + 5*u - 15 = -o*u, -2*u + 6 = -4*d. Which is smaller: 3/7 or d?
d
Let k(h) = h + 3. Let t be k(4). Let p = 6 - t. Which is smaller: -2/49 or p?
p
Let n = 470 + -474. Are -122 and n equal?
False
Let z = 33 - 32.8. Which is smaller: z or 5/6?
z
Suppose -2*m - 5*y = -4*y - 3, 12*m - 8 = -4*y. Is 1/125 at least m?
True
Let k(f) = -f**2 + 6*f - 6. Let j be k(6). Let c be 655/2415 + j/21. Is c