nt values?
True
Let r = -38.94 - -39. Let q = -57.94 + 59. Let d = q - r. Which is greater: -2 or d?
d
Let z = -1.21 - -0.11. Let d = z + 1. Which is bigger: 1/4 or d?
1/4
Let b = -2.48 - 2.26. Let d = b - 0.26. Is 2 bigger than d?
True
Let k = 3106 - 21802/7. Is k at least -10?
True
Suppose -2*a + 7*a = 2*o + 125, 0 = -2*a + 3*o + 50. Let s = 13 - a. Let x = 11 + s. Which is smaller: x or -1/15?
x
Let l = 70 - 70.2. Is 1/11 < l?
False
Suppose -11 = -2*c - 6*d + 3*d, -4*d + 28 = -4*c. Let s be c - (3*-3 - 0). Is 6 at most s?
True
Let b = -16 - -4. Is -12 > b?
False
Let m = 2 - 0. Let i be (-3 - 44/8) + 4. Let o = i - -5. Which is bigger: m or o?
m
Let y = 11 + -11. Are -0.12 and y equal?
False
Let c(r) = -r**2 - r + 3. Let i be (-12)/(-15)*30/12. Let s be c(i). Is -4 at most as big as s?
True
Let z = 2.2 - 0.2. Let b = -7.6 + 7. Let g = b - -0.5. Is g less than z?
True
Suppose 0 = 187*q - 191*q + 4. Which is smaller: 2/25 or q?
2/25
Let i = -12137/41 + 296. Which is smaller: i or 0?
i
Let m(d) = d**3 + 7*d**2 - d - 7. Let s be m(-7). Do -1/28 and s have the same value?
False
Suppose -n + 2*d = 1 + 6, 3*d = 5*n. Let o be 0 - (0 - 6/n). Suppose b = -b - o. Which is smaller: 1 or b?
b
Let l = -36 + 36. Is -23 at least as big as l?
False
Let k = 101 + -102. Let p = 0 + 1. Let b = -0.9 + p. Is k greater than or equal to b?
False
Let p = 19.73 + 0.27. Is p bigger than 1?
True
Let w = 0 + 0.1. Let z(y) = -3*y - 3. Let g be z(0). Is w at most as big as g?
False
Let z = 7675234/663 - 213579/17. Let d = z + 987. Is 1 not equal to d?
True
Let a = -2.28 + 2.2. Is 0.2 at most as big as a?
False
Let n be (-2*1)/(-4)*0. Suppose n = -4*l - 16 - 4, 0 = 5*x - l + 630. Let r = x + 633/5. Is r less than 1?
True
Let w = -36 + 46. Is w not equal to 11?
True
Let z be 1/12*(-16)/(-6). Is 1 != z?
True
Let x = 14/83 + 233/1079. Let b = x + 3/26. Let z be (0*(0 + -1))/(-2). Is b < z?
False
Let i = -5 + 8. Let p be 16/6 - 6/i. Which is bigger: 1 or p?
1
Let h be 2/((-9)/((-783)/(-6))). Which is smaller: -0.1 or h?
h
Let n = -2 - -1. Let y(h) = 3*h - 12. Let b be y(4). Which is smaller: b or n?
n
Let w(d) = -2*d - 19. Let h be w(-10). Is -1/2 > h?
False
Let d(m) = -11*m**2 + m. Let q be d(-1). Let f be 88/114 + 8/q. Is -1/3 smaller than f?
True
Let t = -486 + 479.06. Let n = t + 7. Let k = -0.16 + n. Which is bigger: k or 0?
0
Let n = -22 - -111/5. Is 4 greater than n?
True
Suppose 3*l - 2*a + 5 = 0, 3*a + 2 - 5 = 0. Let z be -2 + (0 - l - -2). Which is greater: z or 0?
z
Let i = -8 + 5. Let v = -2 - i. Are -2 and v nonequal?
True
Let q(t) = -2*t**3 - 11*t**2 + 8*t + 12. Let i be q(-6). Are i and -2/143 equal?
False
Suppose -6*z + 6 = -3*z. Suppose z*w = 5*k + 36, -k - 7*w + 2*w = -9. Is -5 not equal to k?
True
Suppose -3*w - 3*g = w + 3, -3*w - 2*g = 2. Let p be 2 + (-14)/8 + 0. Is w equal to p?
False
Suppose 0 = -5*a + 307 + 448. Let l be -1 + 5*242/8. Let g = a - l. Which is bigger: g or 2?
2
Suppose 4*w = 2*f + 22, -2*w + f + 23 = -4*f. Suppose -a = -2*a + w. Do a and 0 have the same value?
False
Let c = 844/3 + -81886/291. Let p = 116/1261 - c. Are -1 and p unequal?
True
Suppose 3*h - 5*j = -4, -2*h + 3*h - 10 = -4*j. Let k(i) = -2*i**3 - 2*i**2 - i. Let z be k(-1). Is z greater than h?
False
Let t = 3214 + -13091/4. Let h = 59 + t. Which is greater: h or 3?
3
Suppose 0 = 6*a - 3*a - 30. Let p be a/(-14) + (-8)/28. Which is greater: -2 or p?
p
Let z = 3/34 - -41/17. Suppose -4*i + f + 31 = 0, -4*i - f + 0 = -25. Suppose -12 = -i*m + 3*m. Which is smaller: m or z?
z
Let x(r) = r + 64. Let a be x(0). Let d be a/34 + -1 + -1. Are d and 1 nonequal?
True
Suppose -2 + 6 = 2*k. Let i be 1 - (-1)/k*-11. Which is smaller: i or -6?
-6
Let c = 0 + 1. Let t(i) = -2*i + 1. Let n be t(c). Let u = 297/10 + -30. Is u bigger than n?
True
Let x = 4 + -4.03. Let i = x - -0.73. Which is bigger: i or -2/5?
i
Let s = 12.2 - 15. Let k = 3 - 6. Let p = k - s. Which is smaller: 3 or p?
p
Suppose 0 = -0*y + 2*y + 12. Suppose 6*a + 163 - 139 = 0. Do a and y have different values?
True
Let y = -440/17 + 47744/221. Let j = y + -190. Is 0 equal to j?
False
Let p be (-1)/(3 + 7/(-2)). Which is greater: 7/3 or p?
7/3
Let a = 394 + -401.96. Let p = a - 0.04. Let h = -8 - p. Is 0 less than h?
False
Let w = 0.09 + 0.01. Which is bigger: -12 or w?
w
Suppose 1 = -l - 3*m - 0, -5 = -2*l + m. Let n be (4/(-6))/(7/3339). Let z = -1903/6 - n. Is l greater than z?
True
Let x(n) = n - 163. Let q be x(0). Let k = q + 1139/7. Let p = -201 - -201.1. Is p greater than k?
True
Let m = -1 - -2. Let j = 2654 - 7892/3. Let k = j - 23. Is k at least as big as m?
False
Let v(a) = 18*a + a**2 + 13*a - 26*a - 7. Let i(t) = -t**2 + 4*t + 6. Let f be i(6). Let u be v(f). Which is smaller: u or -3/11?
u
Let f(b) = b**3 + 2*b**2 + 3. Let u be f(-2). Suppose 4*q - 7*o + u*o + 8 = 0, 3 = -3*o. Is -6 <= q?
True
Let u be (0 - 3/(-6))*1*-2. Which is smaller: u or -4/5?
u
Suppose 5*o = 6*o + 11. Is o smaller than -10?
True
Let w be 4910/(-84) + (-4)/(-14). Let x = w + 58. Is x >= 1?
False
Suppose -2*j - 5 = 19. Let a = j + 13. Which is greater: a or -4/23?
a
Let d = -6 + 7. Let b be -3 - (-3)/(-78)*-79. Which is greater: b or d?
d
Let l be -1*(-1)/(2/(-6)). Which is smaller: l or 2?
l
Let w = -2/511 + 551/10220. Which is smaller: w or -1?
-1
Let g(z) = 3*z**3 - 2*z + 1. Let n be g(1). Suppose -n*j = 2*j. Which is bigger: j or -2/15?
j
Let j = -1.2 - -11.2. Let x = j + -8. Let y = 7.7 - 8. Which is smaller: y or x?
y
Let f(c) = -c + 7. Let n be f(5). Let o be ((-2)/(-1) - n)/(-1). Which is smaller: 3 or o?
o
Let b be 6/(-4)*(-4)/(-6). Does b = -5/4?
False
Suppose 0 = 8*r - 3*r - 205. Let p = r - 125/3. Let q be 40/(-42) - 2/(-7). Is q at most p?
True
Suppose -5*q + 2 = k - 9, -4*q + 3 = -5*k. Is k < -1/31?
False
Suppose 0 = -2*f + f. Let w = -6 - f. Is w not equal to -6?
False
Let v = -4905/5486 - -23/26. Are 1 and v equal?
False
Let t be (-3 + 1)*(-2)/2. Suppose t*c = -3 + 7. Are 3 and c nonequal?
True
Suppose -4*w - 18 = 5*b, 2*b = 5*w - 3 + 42. Is 5 equal to w?
False
Let t be (-2 - 3/(-1))*7. Let q be ((-110)/t)/(-5) + -3. Is q less than 1?
True
Let t = 3 - 0. Let y = 1.1 - -0.9. Let r = y - t. Which is smaller: -1/5 or r?
r
Let k = 3.6 + 0.4. Let y = 4 - k. Which is greater: y or 1/14?
1/14
Suppose -2*i - 8 = -3*o, 2*o + 2 = 3*i + 9. Suppose 10*f + 72 = 7*f. Let b be 9/2*16/f. Which is greater: i or b?
i
Let o = 11332/23 + -493. Let m = -22/299 - o. Is m greater than or equal to -1?
True
Let b be (24/(-9) + 2)*3. Is 0 less than b?
False
Let m be 20/4*(-4)/5. Suppose 3*o + 3 + 3 = 0. Let a be -1 - (-1 - (1 + o)). Is a smaller than m?
False
Let s = 76/7 + -256/21. Suppose 2 = -z + 7. Let r(k) = -k**3 + 4*k**2 + 5*k. Let t be r(z). Which is smaller: s or t?
s
Let q be (-1)/(-1 + (-30)/(-4)). Let s(m) = -m**3 - 5*m**2 - 2. Let i be s(-5). Let z be i*(4/(-2))/4. Is q at least as big as z?
False
Suppose -2*i = 3*i. Suppose r + 0*r + 4 = i. Let s(x) = x**2 + 24*x + 19. Let d be s(-23). Is r greater than d?
False
Suppose 1 = -5*w + 16. Let d be ((-2)/4)/(w/24). Is d less than -4?
False
Suppose -2*k = 5*w - 14, -3*w + 3*k = -2*w + 4. Let q be (w/5)/(14/10). Let t = 0 - 0.3. Is q >= t?
True
Let t = 56 + -57. Which is smaller: -24/13 or t?
-24/13
Let l(b) = -4*b + 2. Let c be l(2). Let n be (c/14)/((-3)/2). Let w = -3 + 3. Is n at least w?
True
Let h be (5 + -6)/((-1)/10). Is 11 equal to h?
False
Let s be (1/6)/((-2)/5). Which is smaller: 0 or s?
s
Let q = 5/8 - -1/24. Let i = 0.82 + -0.7. Is i greater than q?
False
Let n(d) = d + 4. Let t be n(0). Suppose -z = -t, -z + 2 - 4 = -3*y. Let a be (-6)/4 - (-2 - 0). Is y smaller than a?
False
Suppose -5*d - 2 = -12. Let r be d/6 - 1/3. Suppose -4*v = 3*u + 4, -1 = v - 3*u - r*u. Is -2/21 smaller than v?
False
Suppose -2*r + 3 = r. Let f = -20 + 28. Let p = -8.2 + f. Is r <= p?
False
Suppose 0 = -3*d + 4*d. Suppose 85 = 4*m - 47. Let h be (2 + m/(-12))/3. Which is smaller: h or d?
h
Let m = -0.05 + 0.25. Do -8 and m have different values?
True
Let z = -8 + 1. Do z and -2 have the same value?
False
Let g = -78 - -77.9. Let b = 0.2 + -0.12. Which is smaller: b or g?
g
Let g = 18 - 17.52. Let s = g + -0.08. Which is greater: s or 0.1?
s
Suppose -2*t - 5*f = t - 4, -5*t + 60 = -5*f. Is t less 