re 7 and f unequal?
True
Let c = -9522 - -5088. Which is greater: c or -1/3?
-1/3
Let m = 0.14 - 2.14. Let b = 2 + m. Suppose w - 21 + 64 = 0. Is w < b?
True
Let d = -2 - -52. Let j = d - 50.23. Let a = j - 2.87. Which is smaller: -1 or a?
a
Let x be ((-4)/(-14))/(43/(-602)). Let i be (70/1 - 0)/(x/4). Is i at least as big as -64?
False
Let h = 0.33 - 0.3. Let y be 116440/5330 + 6/(-14) + (-159)/(-273). Which is bigger: y or h?
y
Let b(n) = -3*n**2 - 115*n - 822. Let q be b(-8). Which is smaller: -54 or q?
q
Let o = -7.9 + 8.188. Let t = 0.288 - o. Let s = 2.31 - 2.5. Is t > s?
True
Let x(u) = 3 + 2 - u - 3 + 6*u + u**3 - 9*u**2. Let p be x(4). Suppose 31*a - 8*a = -1311. Are a and p nonequal?
True
Let x = 57 - 111. Let q be ((-9)/(x/12))/(-2). Is q at least as big as 28?
False
Let u be -1 - (-28)/26 - 266/(-1274). Which is bigger: u or -33/85?
u
Let k = -1.46 - 166.54. Let u = k - -167.96. Do u and 22 have the same value?
False
Let v = -134536/25315847 + 6/8303. Is v not equal to 1?
True
Let v = -152.5 - -143. Let c = v + 9.76. Is c at most 2/5?
True
Suppose 0 = -6*p + 530 + 1036. Suppose 5*k - p + 61 = 5*y, 3*y - 12 = 0. Suppose 0 = 2*w + 40 + k. Which is smaller: 2 or w?
w
Suppose 0 = 10*k - 136 + 106. Let b be 52/14 - 2/(-7). Suppose -b*g = 5*x - 3*g + 6, -k*x + g - 2 = 0. Which is bigger: 2/13 or x?
2/13
Let u(m) = -6*m - 4868. Let a be u(-67). Is -4466 greater than a?
False
Let i(u) = 9*u + 14*u - 45 - 17*u. Let m be i(7). Let p be ((-21)/14)/(((-9)/(-8))/m). Which is greater: 0.08 or p?
p
Let b be (-2)/8 - 579/(-12). Let f = 24 - b. Let r be ((-9)/174)/(9/f). Is 1 at most r?
False
Let k = -17 - -18. Let l be (1 - (1 + 2)) + k. Let r = -29521/72 - -410. Do r and l have the same value?
False
Let b = 2 - 1.9. Suppose 2*k + 141 + 154 = r, 755 = -5*k - r. Let f = k + 116. Do b and f have the same value?
False
Let s = 8311 - 8312. Which is smaller: 2/4199 or s?
s
Let a be ((5 + -4)*-20*1)/(-2). Suppose 0 = h - 2*z - a, -4*h - h + 4*z + 26 = 0. Which is bigger: h or 1?
h
Let n(p) = 11*p + 5*p - 1 + 2 - 4. Let u be n(2). Let l = u - 37. Is l < -4?
True
Suppose 0 = -1502*s + 1503*s + 6. Let a(x) = x**3 + 8*x**2 + 10*x - 13. Let g be a(s). Let n = 14323/33 - 434. Is n equal to g?
False
Let q(i) = -7*i + 2. Let r be q(2). Let n be ((-6)/(-243))/((-28)/r). Is 1 greater than n?
True
Let v = 7292.91 + -7324. Let o = v - -31. Which is bigger: o or -7?
o
Let j(v) = -v**3 + 58*v**2 + 13*v - 490. Let s be j(58). Which is smaller: s or -1?
-1
Let n be (23 - 0)/((-29)/(-8236)). Suppose 0 = -2*j + 5*j - 5*d - n, 4*j - 8748 = -3*d. Let r be (-960)/j + 2*1/13. Which is smaller: 45 or r?
r
Let h(n) = n**3 - 8*n**2 - n + 6. Let m be h(8). Let d be 5/(-1) + -2 - (m + -3). Which is greater: -0.07 or d?
-0.07
Let c = 3714 + -33424/9. Is c at most as big as -1529?
False
Let x = 6286 - 6286. Is x <= 0.22?
True
Suppose 21*u + 3895 = 13744. Let r be (10 - u/49)/((-2)/34). Is -6 at most as big as r?
False
Let t(s) = s**3 - 11*s**2 + 11*s + 1. Let x be (-2 - (1 + -1)) + (95 - 12). Suppose 8*r - x = -1. Let k be t(r). Which is bigger: k or 12?
12
Let s = 13 + -11.9. Let j = s - 0.1. Let g = 36025 - 36035. Is j smaller than g?
False
Let r = 365 - 219. Let k = r - 154. Let j be 1/(-14) + (-6)/(-36). Is j smaller than k?
False
Suppose -76*w + 2449 + 5201 = -31*w. Which is smaller: 187 or w?
w
Let d be 12/(-2) - 4/2. Let m(f) = f**3 - 7*f**2 - 2*f + 3. Let i be m(7). Let b = i - d. Which is greater: -25/6 or b?
b
Let x(w) = -w**3 - 10*w + 10. Let m be x(8). Let a = 568 + m. Which is smaller: a or -10?
a
Suppose 0 = -177*l + 195*l + 18. Are l and -2/20493 nonequal?
True
Let q be ((-3)/30)/((-14)/12). Is 2/47 less than or equal to q?
True
Let j be -3*(0 - 2)/6. Let r be (-52800)/(-85) + (2 - j)/1. Let z = r - 622. Which is bigger: 0 or z?
z
Let t(v) = v**3 - 10*v**2 + v + 25. Let c(d) = d**2 + 9*d + 18. Let u be c(-8). Let m be t(u). Suppose -32*r + 48 = -m*r. Does 0 = r?
False
Suppose 7 = 6*g - 11. Let a be g/15 + (1122/15 - -2). Let w = a + -73. Which is smaller: 34/7 or w?
w
Let p be 312/48 + (-4218)/60. Is p at most -64?
False
Suppose 3*j = 5*q + 48, -19*j = q - 18*j + 16. Let p be (-24)/((-2)/q + 77/(-336)). Which is smaller: p or 385?
p
Let c = -3854 - -7707/2. Is 0.543 less than c?
False
Let r(d) = 20*d + 329. Suppose 982*b - 92 = 986*b. Let s be r(b). Does s = -389/3?
False
Let i(h) = h**3 - 6*h**2 + 10*h - 3. Let v be i(8). Let g = v + -145. Suppose -g = n - 7*n. Is 12 greater than or equal to n?
True
Suppose 0 = -5*r - 4*y + 1509, r + 36*y - 305 = 32*y. Which is greater: r or 305?
305
Let g = -5 - -4.95. Let d = 105.7 - -17.3. Let h = -122 + d. Which is greater: g or h?
h
Let u = 9 - 9. Suppose u = -6*r - 29 - 1. Which is bigger: r or 2?
2
Let u = 1117.8 - 1140.8. Which is smaller: u or 144?
u
Let v = 1309.9817 - 1310. Does -1 = v?
False
Let z = -3.95001 - 0.04999. Is 24 bigger than z?
True
Let c be (6/(-40))/(6/(-5)). Let i = -14953 + 14943. Which is smaller: i or c?
i
Let v = 204.04 - 207. Let m = 3.96 + v. Is -17 <= m?
True
Let b = -1569890/9 + 174434. Let v(k) = 1 + 0*k - k + 0*k**2 + k**2. Let z be v(0). Is z < b?
True
Let u = 121 - 123. Let f = u + 1.98. Which is bigger: f or 0.3?
0.3
Let c = -1799 + 1803. Is 49/16 at least as big as c?
False
Let i(p) = p**2 + 28*p + 73. Suppose 12*r - 7*r + 120 = 0. Let d be i(r). Are d and 1/3 equal?
False
Let v = 32.33 - 27.04. Are v and -2 equal?
False
Let h = -5765 - -4589. Which is smaller: h or -1177?
-1177
Let l(h) = -2*h**2 + 2*h + 1. Let d(i) = 4*i**2 - 32*i + 28. Let g(m) = -d(m) - l(m). Let q be g(14). Is q at least as big as 2/175?
False
Suppose -27*p + 17*p = -570. Let n be (p/95)/(3/135). Is n less than or equal to 113/4?
True
Let t be 5/1*(-357)/(-15). Let i be 119/1 - 0/1. Is i at most t?
True
Let h be (-3 + (-22)/(-10))*105/(-6). Let r(b) = -b**2 + 10*b + 2. Let g be r(h). Let i be (-1 + g/(-58))/1. Which is greater: i or 0?
0
Let t = -41 + 45. Suppose t*i - 72 = 3*i. Do i and 71 have the same value?
False
Let s = -0.497 + 0.281. Let y = s - -5.216. Is y at least as big as 37?
False
Let v = 49 + -45. Suppose -4*a + v*k - 48 = 0, -k - k = 4*a + 42. Let j = 937/3 + -322. Is j > a?
True
Let i = 1895438/22333 + -1952/23. Which is smaller: 0 or i?
0
Suppose 3191 + 15917 = -26*v - 12144. Which is bigger: v or -1201?
-1201
Let z be 9*6/12312*18/10. Which is bigger: 0 or z?
z
Let k = -3471 + 3623. Which is bigger: k or 149?
k
Suppose 4*l = -2*q + 4, 7*q = 4*q - 12. Let m be (241/l)/(9/(-27)). Is m != -240?
True
Let v = -8009 + 8137. Which is greater: v or -5/4?
v
Let l = 0.54364 - 0.04364. Do l and -2.19 have the same value?
False
Suppose 0 = 28*v + 5*v - 29221 - 18101. Is 1436 at most as big as v?
False
Let r be (4 - (-356)/(-88)) + (-544753)/(-242). Which is greater: 2249 or r?
r
Let b(h) = -139*h**3 - 5*h**2 + 12 + 38*h + 138*h**3 - 4. Let l be b(-9). Is -4 >= l?
True
Let u(m) = -m**2 - 5*m - 15. Let a be u(-8). Let v(t) = -t**2 - 6*t - 3. Let s be v(-4). Suppose 3*p - f - 24 = -143, 185 = -s*p - f. Which is bigger: a or p?
p
Let l(k) = 12*k**3 + 42*k**2 - 109*k - 58. Let r(v) = 17*v**3 + 64*v**2 - 164*v - 87. Let p(c) = -7*l(c) + 5*r(c). Let z be p(-28). Is z at most 30?
True
Let y be ((-10)/6)/(27/1782). Let r be 0 + y/465 - 1/(-3). Is -2 bigger than r?
False
Let r = -4.8997 + -103.1003. Let k = 5 + -3. Are r and k non-equal?
True
Let g be 8 + (-70)/284*6156/189. Let t be (-2)/(-5) - 4/10. Which is bigger: t or g?
t
Let y(j) = j**2 + 3*j - 7. Let h be y(-4). Let c = 15 + h. Let g be (-70)/(-60) - 2/c. Which is greater: -2/7 or g?
g
Let l = 3817 - 3283. Which is greater: 532 or l?
l
Let o = -173 - -178. Suppose 12*g + o*g = -0*g. Are 4/73 and g equal?
False
Let q(m) = 0*m**2 + m + 7*m**2 - 84 + 97 - m**3. Let s be q(7). Let y be (-8)/(-6)*(-4)/s. Is y at least as big as -1?
True
Suppose -5*w + 10*w + 4*u - 40 = 0, -73 = -4*w + 5*u. Suppose w*h - 9*h = 108. Let o = -14 + h. Is o bigger than 21?
True
Let z be 215709/(-172484) - (-95)/76. Does 1 = z?
False
Suppose -3*b = -5*s - 863 + 2709, -4*s = 4*b + 2472. Let n = -4666797938/93 - -50180006. Let y = n - b. Is y at least as big as -1?
True
Let w be -20*3/(-168) - -3 - 2. Let s = w - 293/154. Which is smaller: -55 or s?
-55
Let y = 46 - 45.969. Let w = 0.629 + y