al to -2?
True
Let r be (0 + -1 - -2) + -1. Let g = 52 + -54.7. Let h = 4.3 - g. Does h = r?
False
Let t = 6 - 4. Let o = t - 0. Let f = -0.1236 - -6.1236. Are f and o unequal?
True
Suppose 40*q - 52*q = 480. Is q < 0?
True
Suppose 0 = 10*n - 10 - 0. Which is smaller: 1/392 or n?
1/392
Let t = -19 - -20. Let n be t - ((-12)/(-3) + 46). Which is smaller: n or -50?
-50
Let b be (-2)/6 + (-7292)/(-420) + -17. Which is greater: b or 2?
2
Let p = 16 + -17. Let c be (1 - p) + 336/(-171). Which is smaller: 1 or c?
c
Let k = 1/571 + 38254/1713. Let d = k + -45/2. Let w be 0*(2/2)/1. Is d smaller than w?
True
Let r be 2/(-3) - 24/(-9). Let l be 0/(r*(3 - 4)). Let p = -55/6 - -19/2. Is l at least p?
False
Let z(x) = 6*x**2 - x - 2. Let h be z(-2). Suppose -2*w = w - h. Let f(t) = -t**2 + 6*t + 12. Let l be f(w). Which is smaller: -5 or l?
-5
Let o = 105 - 88. Let t = -167 - -183.8. Let l = o - t. Which is greater: l or 2/5?
2/5
Let j = 6 + -11. Let h(x) = 4*x**2 - 29*x + 5. Let o = -140 - -147. Let i be h(o). Is j equal to i?
False
Let a = 72.7 - 74. Which is bigger: a or 3.1?
3.1
Suppose -4*c + 13 - 21 = 0, -n + 2*c + 124 = 0. Is n equal to 119?
False
Let h = 159 + -160. Let b be -12 + 3/((-1)/(-1)) + h. Which is smaller: b or -11?
-11
Let r = 2 + -5. Let n be 1 + -5 - (2 + -8 + 0). Which is smaller: r or n?
r
Let y = 63 - 150. Which is smaller: -90 or y?
-90
Let w be (6/(-6) - -3) + -3. Which is smaller: -2/19 or w?
w
Let z = 544.5 - 545. Which is smaller: -0.2 or z?
z
Let b be (520 - 519)/(0 - 2/(-178)). Is b greater than or equal to 90?
False
Let w be (-12)/9*15/(-70). Let u = 28 + -20. Which is bigger: u or w?
u
Let b(w) = w**3 - 34*w**2 + 63*w + 33. Let t be b(32). Which is smaller: -3/28 or t?
-3/28
Let a = 4 + -4. Suppose 2 = -4*k + s, 1 = 3*k - 13*s + 11*s. Is k less than or equal to a?
True
Suppose -y = 3*h - 2, 2*h + 5*y - 3 + 6 = 0. Let g be (h/5)/(1 - 0 - 2). Which is smaller: g or -9?
-9
Let y be 2/(-1) + 2 - (3 - -2). Let q(k) = -k - 12. Let l be q(y). Is -7 < l?
False
Let s = 1.22 + -65.22. Let a = s + 64. Which is greater: 0.03 or a?
0.03
Let q = -209 + 208. Let n = 39 + -23. Which is bigger: q or n?
n
Suppose -9*b - 12*b - 441 = 0. Which is greater: b or -25?
b
Suppose 0 = 3*j - 10 - 5. Suppose 2*y + 5 = -j*n, 2*n + 15 = -5*y - 8. Is 1/5 greater than n?
False
Suppose 8 = 2*q - z, 0*q - 19 = -5*q + 2*z. Let a be (2/(-4))/(q/18). Which is smaller: -5 or a?
-5
Let q be (-8)/20 - (-76)/140. Let i(y) = y**2 - 8*y + 6. Let w(z) = -7*z. Let k be w(-1). Let t be i(k). Is q > t?
True
Suppose l = 6*l + 105. Suppose -z = z + 4*a + 60, -2*z - 45 = a. Which is greater: l or z?
z
Let h = 14.2 - -2.8. Let l = -17.043 - -0.043. Let s = h + l. Which is smaller: s or 2?
s
Let p(q) = q**3 + 5*q**2 + 2*q - 2. Let k be p(-3). Suppose 0 = -2*c + 4*c - k. Suppose c*w = w + 4. Which is smaller: 2 or w?
w
Let z = 6 + -4. Let p be (-48)/12 - -4*z. Is 7/2 greater than p?
False
Let d be 3/5 + 65/(-25). Suppose 0 = -w - 34 + 33. Which is greater: d or w?
w
Suppose 0 = 2*z - y + 80 + 3, -2*z - 93 = y. Let q = z + 26. Let h be (-2)/9 - 4/q. Do h and -5 have different values?
True
Let k be ((-12)/30)/((-4)/5). Let u be ((-3)/3 + -1)/(-2). Let q(s) = -2*s + 2. Let d be q(u). Which is smaller: d or k?
d
Let g be 18/(-4)*(-48)/108. Let y = -5 - g. Is -7 != y?
False
Let c = 4.125 + -0.025. Let w = c + -4.2. Which is smaller: 11 or w?
w
Let b(t) = -10*t**2 + 14*t**2 - 9*t**2 + t**3 - 5*t - 8. Let r be b(6). Suppose 9 = -g - 3*o, 0 = 2*g + 2*g + 4*o + 12. Which is smaller: r or g?
r
Suppose 3*t + 14 = -4. Let m(v) = 11*v + 11. Let q be m(t). Let l be 16/q + 1/5. Are l and 1 nonequal?
True
Let w = 1 - 0.6. Let s = -0.3 + w. Let q = s - -2.9. Is -2 greater than q?
False
Suppose -14 - 83 = -x - 2*t, 0 = 5*t - 25. Which is bigger: x or 92?
92
Let a = 0.02 - 0.08. Let x = -0.24 + a. Let k = x - -11.3. Is k at least 0.1?
True
Let l be (-1)/(-8) + (-28)/(-32). Are l and 324 equal?
False
Let l = -97 - -70. Let m = -26 - l. Let o = 0.3 - 0.25. Is o greater than or equal to m?
False
Let y(k) = k**3 + 5*k**2 - k + 1. Let a be y(-5). Suppose 10 = -l + a*l. Let t be 27/(-21) - l/(-7). Which is bigger: t or 0?
0
Let o be 2/(-6) - (-30)/(-18). Let g be 2 + 8*8/(-10). Let a = g - -107/30. Which is smaller: a or o?
o
Let p = 88.0196 - 0.0196. Let a = -0.03 - -0.13. Is p > a?
True
Let m = 154.15 + -154. Is 0.1 != m?
True
Let o = -358 - -358.11. Is o smaller than 0.54?
True
Let g = 49.5 - 20.5. Let t = g - 26. Let i be 4/(-18) + 7/18. Which is bigger: t or i?
t
Let n = -5 - -7. Let h be (6 + 72/16 - 8)/((-10)/(-24)). Which is bigger: n or h?
h
Suppose 2*u - 4*n = 8, -3*n = u - 4*n - 2. Suppose c - 2 - 1 = u. Which is greater: -5 or c?
c
Let b be 192/(-14) + 8/(-28)*1. Let l be (-1)/(-1) + -2 + b/(-16). Do l and -3 have different values?
True
Let d = 13 + -11. Let n(m) = -3 + 3 - 5 + d + m. Let b be n(-13). Which is greater: -15 or b?
-15
Suppose f - 24 = 4*f. Let m = 3 + f. Let z(o) = o**2 + 7*o + 5. Let v be z(-4). Is m smaller than v?
False
Let i be (-15)/((-5)/1) - (-2)/1. Suppose -4*u + 4*q - 3*q = -2, 0 = -5*u + i*q - 5. Is -1.8 less than u?
True
Let z = 102 - 102. Let w = -8.6 - -9. Is w < z?
False
Let c be -7 + 7 + 1 - 10/14. Is -6 less than or equal to c?
True
Let q = -0.12 + 0.02. Let n = -0.038 - -0.038. Is n < q?
False
Let n(r) = -r**3 + 3*r**2 - r - 3. Let u be n(3). Let t = u - -28. Suppose 5 = 3*h - t. Which is greater: h or 8?
h
Suppose -2*n = -7*n + 145. Suppose 3*m = 2*m + n. Let q be m/105 + 3/(-9). Which is smaller: 0 or q?
q
Suppose -23 = 4*d + 3*u - 2*u, 2*d - 3*u + 15 = 0. Let q be d/(-8) + 1801/4. Let h be q/(-385) - (-6)/10. Is 1 at least as big as h?
True
Let i = 70 + -70. Let q be i/((-2)/(-3)*(-3)/(-2)). Is q > 1/112?
False
Let o(x) = -x**3 + 8*x**2 - 21*x - 19. Let c be o(16). Let u = -1713 - c. Let f be (-4)/u*(-5)/(-1). Is f < 1?
True
Let w = -0.62 - -0.23. Let m = 0.4 + w. Let d be (-2)/11 + (-39)/(-33) - 2. Which is greater: m or d?
m
Let w be ((-25)/4)/(1/(-2)) - 4. Let t = w - 47/6. Does -2 = t?
False
Let o(t) = t + 2. Let p be o(-2). Suppose 0 = 4*z - 5*m + 11, 2*m = 2*z + 4*m + 10. Let v be ((-105)/18 - z) + 2. Which is bigger: p or v?
v
Let p(y) = y**3 + 3*y**2 + 3*y + 27. Let a be p(-4). Let f = -80 + 73.93. Let j = f + 0.07. Which is bigger: j or a?
a
Suppose -6815 = 56*m - 9*m. Are 1 and m nonequal?
True
Let j = -2646 - -2646. Let h = 830 + -9116/11. Is j greater than or equal to h?
False
Let y = 70 - -106. Let i = -165 + y. Which is smaller: -3 or i?
-3
Let y be 86 + -91 - 33/(-7). Is 748 > y?
True
Let l = 10/11 - 211/99. Is l greater than or equal to 0?
False
Let c = -701 - -701. Is c > -345?
True
Let u = 80 - 74. Which is smaller: 2 or u?
2
Let s(f) = -f**2 - 10*f - 8. Let i be s(5). Is i != -83?
False
Let m(j) = -j**2 - 14*j + 12. Suppose -5*l - 11 - 59 = 0. Let k be m(l). Let v be (-80)/(-6) - (-3)/(-9). Do k and v have different values?
True
Let m be (42/35)/((-66)/15). Which is smaller: m or -6?
-6
Suppose -2*i + 299 = 5*a, 6*a - 302 = a - i. Is a <= 62?
True
Let f be (-4)/(-18) + 60/(-27). Suppose 4 + 32 = 3*o - 3*z, 4*o = z + 36. Let u be f - -1 - (-5)/o. Do u and -1 have different values?
True
Let a be (-4)/((-7)/(14/4)). Let m be (-25)/(-12) + 9/(-27). Which is greater: a or m?
a
Let s = 15.9 + -15.63. Let n = 5 + -3. Is s >= n?
False
Let g(q) = -q + 3. Let n be g(3). Let o(k) = -k - 30. Let h be o(-11). Let j be -1 - 1 - h/10. Which is greater: n or j?
n
Let c(n) = -4*n + 23. Let b be c(8). Let j(u) = u**2 + 6*u - 26. Let a be j(b). Is -2/13 greater than or equal to a?
False
Let u = -11 - 105. Is u bigger than -118?
True
Let j = 1549 + -1548.89. Which is smaller: j or -14/13?
-14/13
Suppose -5*h + 5 = 0, -10 = -2*m - 3*h + h. Suppose -q = 0, -2*q = -5*s - 0*q + 55. Suppose -s = -m*p + 1. Is p smaller than 2?
False
Let v = 237733/11 + -21560. Let b = 52 - v. Is b > 0?
False
Let m(p) = -p + 33. Let g be m(9). Suppose 7*w = 13*w - g. Which is smaller: 10 or w?
w
Let n(h) = 3*h**3 + 3*h**2 + 7*h + 44. Let t(i) = -2*i**3 - 2*i**2 - 4*i - 22. Let q(c) = -3*n(c) - 5*t(c). Let j be q(0). Which is bigger: j or -0.1?
-0.1
Let r = -25 + 25.32. Let j = r + -5.32. Is 5 at most as big as j?
False
Let c(s) = 2*s**2 - 9. Let m(d) = d**2 - d + 1. Let k