he same value?
False
Suppose 84 = -5*m + 24. Let j = 81 - 66. Let k = m + j. Which is smaller: k or 18/5?
k
Let f = 0.28 + -32.28. Let m = f + 34.6. Let y = 2 - m. Does -2/5 = y?
False
Suppose 591 + 434 = 5*o. Let i = 2133/5 - 221. Let f = i - o. Which is smaller: f or -0.1?
-0.1
Suppose 3*m = -3*d - 486, 0 = -3*d + d + 4*m - 312. Which is smaller: d or -158?
d
Let v(u) = -u**3 - 6*u**2 - 3*u + 1. Let s be v(-5). Let m = s - -10. Let f be (18/(-15) + 1)*m. Which is bigger: f or 1?
1
Let j = -24563.2 + 24563. Let w be (1 - 1) + 1 + 2. Is w <= j?
False
Let c = -22 + 26. Let o(r) = -r**3 + 3*r**2 + 6*r - 9. Let b be o(c). Is b greater than or equal to 2/13?
False
Let v(j) = 7*j - 21. Let t be v(7). Let p = 13 - 7. Let h be p/(-9)*t/(-21). Which is bigger: 1 or h?
1
Let n = -55 - -59. Suppose -2*x - x = c + 5, 0 = -2*c - n*x - 8. Which is smaller: -8/7 or c?
c
Let m be 6/3 + 1 + 1. Suppose -5 = -3*f - 4*s, 7 = 3*f + m*s + s. Let v = f + 5. Which is greater: 5 or v?
5
Let y be -14 - (2 + 1)/((-27)/18). Which is greater: y or 1?
1
Let r be (-4)/(-24) + 2/(-3). Suppose 10*c - 73 = 5*d + 7*c, 0 = 3*d + c + 55. Is d at most as big as r?
True
Let m be (-15)/(-436)*(-33)/(-99). Is 0 < m?
True
Let x = 35 + 7. Let j be (2 - 1) + (x - 3). Let d be ((-3)/6)/(4/j). Is d <= -6?
False
Let s be (-4)/(-42) - (-13)/(6552/(-1952)). Are s and -4 equal?
False
Let z = 2.22 - 3.22. Is 47 less than z?
False
Let f = 2.15 + -0.15. Let d = f + -3. Let y = 273/2 + -3019/22. Are y and d non-equal?
True
Suppose -c = -5, 2*c - 7*c = -3*q + 275. Suppose -10*s + q = -15*s. Which is greater: -23 or s?
s
Suppose -4*y + 2*r = -2*r + 4, 25 = 3*y + 4*r. Suppose -8*m - 5 = -y*m. Let t be (-9)/(-6)*(-4)/(-27). Which is smaller: m or t?
m
Let d = 644 + -753. Is d != -108?
True
Let z = 20 + -11. Let y be (3/4)/(z/(-16)). Does y = 2/3?
False
Suppose l + 5*l = 12. Let c be 18/15*5/l. Let z be (-2 + c)*1/1. Is z at most as big as 0?
False
Let d = -8/103 + -166/515. Let h = 2.2 - 4. Which is greater: h or d?
d
Let a = 31.4 - 30.6. Does 0.02 = a?
False
Let h = -5440 + 5439. Let a = -39/20 - -85/44. Which is greater: a or h?
a
Let x = -3 + 6. Let k be ((-3)/(-6))/(x/(-24)). Which is bigger: k or -5?
k
Let s be 4/(-12)*-6 + -78. Let o = 530/7 + s. Which is greater: 0.5 or o?
0.5
Let u(s) = s**2 + 6*s - 7. Let i be 21*((-10)/3 - -3). Let m be u(i). Suppose 5*z + 18 = -2*r - m*r, 12 = -4*r + 2*z. Which is smaller: 3 or r?
r
Let k = -350 + 350. Let g be 4/40*(-5)/(-2). Which is smaller: k or g?
k
Suppose 5*g - 30 = 40. Let v be 25/7 + 42/g. Which is greater: v or 7?
7
Let y = -12 + 0. Let s be y/(-18) + (-2)/12. Which is smaller: 6 or s?
s
Suppose -66*z = -70*z - 224. Which is bigger: -59 or z?
z
Suppose -4*q - 11 = -3*y, -3*q = -4*y + 1 + 9. Let w = 606341/239 + -2537. Let l = -201/4541 + w. Is l > y?
False
Let w = 1 - 0. Let u = -297/455 - -7/13. Which is smaller: u or w?
u
Let l be 6592/42 + (0 - 2/(-6)). Let c = 157 - l. Is c < 0?
True
Let g = 0.23 + -41.23. Let a = g - -40.9. Is a bigger than 27?
False
Let v be (-1)/14*(-397 + -4). Let d = v - 59/2. Which is smaller: -2 or d?
-2
Let c be 142*5*15/50. Suppose -6*q + c = -105. Which is smaller: -1/3 or q?
-1/3
Let g be (((-1)/6)/1)/(130/(-234)). Let k be 4 + (-12)/4 - 1. Which is smaller: g or k?
k
Let n be 82/(-615) - (-58)/(-15). Let p be 2 - 1 - 0 - 6. Is n equal to p?
False
Let p be (-8)/10 + 2428/3010. Is 1 at most as big as p?
False
Let c = -1/25 - -727/50. Let q = 431/30 - c. Let w(l) = l**3 - 2*l**2 + 2*l - 3. Let r be w(2). Is r <= q?
False
Let b = -0.991 + 0.691. Are b and -16.6 nonequal?
True
Suppose 12 = 22*j - 21*j. Let a = 29 - 139. Let x be 75/a*j/15. Is -2 greater than or equal to x?
False
Let x be (-4)/10 + 4/10. Let c be (-1 - (1 - -2))*48/5856. Is x >= c?
True
Let h = -39.475 - -2.539. Let y = 0.064 - h. Let i = -20 + y. Which is smaller: i or 2/3?
2/3
Let q(x) = -x**3 + 4*x**2 - x. Let l be q(4). Let i be 0 + -13 - (-2 - -4). Let u be 66/i + 4/10. Does l = u?
True
Let l = 0.46 + -0.5. Let h = -0.1 + l. Let b = h - -0.04. Which is smaller: b or -2?
-2
Let t = -24 + 25. Is 2/11 at most t?
True
Let d be (-5)/2 + (-12)/(-24). Let y be ((-6)/56)/(d/16*2). Let h = -0.06 - -0.46. Which is bigger: y or h?
y
Let t = -92 + 96. Suppose 2*k = 3*c + 2, c + t = 3*k + k. Which is greater: c or 1/54?
1/54
Suppose s + 5*q - 23 = 13, -4*s - 4*q = -144. Let k = s - 30. Let c be 1/3 + (-11)/15. Which is bigger: k or c?
k
Let j be 6/(-4)*(-8)/114. Let p(c) = c**2 - 33*c + 181. Let s be p(7). Is j less than or equal to s?
False
Let q = 3797/4 - 942. Let t = -7 + q. Let y = -17 + 18. Is t >= y?
False
Let j = -0.345 + 13.395. Let q = 13 - j. Let t = 0.05 + q. Is 0 != t?
False
Suppose 4*j = 2*x + 72, 30 = 2*j + x + x. Suppose -2*h + v + j = 0, -2*h + 3*v + 0*v = -11. Suppose -6 = -3*f, 0 = -2*k - f - h - 8. Is -7 at least k?
True
Let j = -0.242 - -0.342. Which is greater: 185 or j?
185
Let q = -35/247 + 17049/116831. Let l = 960/3311 - q. Is l at least -11?
True
Suppose -1022 = 5*t - 2*p, 45*t - 50*t = -5*p + 1025. Is t less than -206?
False
Let u = 215 - 214. Which is smaller: 11 or u?
u
Let d(p) = -3*p + 10. Let h(l) = -2*l - 2. Let k be h(-4). Let i be d(k). Let m = i - -13. Are m and 4 nonequal?
True
Let g be (-3)/((-351)/(-60)) - (-12)/(-78). Let t = -10 + 6. Let x = -3.96 - t. Which is bigger: g or x?
x
Suppose -3*m - d - 1 = -36, 2*d = 4. Is 13 bigger than m?
True
Suppose 0 = -2*m + 16. Let a(i) = -2*i + 15. Let z be a(m). Which is bigger: z or -9/10?
-9/10
Let k be 2*-213*10/(-15). Let v = k + -2560/9. Which is greater: v or 1?
1
Let r = -349 + 836. Is 487 less than r?
False
Let h(k) = -k**3 - 5*k**2 - k - 1. Let q be h(-5). Suppose -48*g = -64*g + 16. Which is smaller: q or g?
g
Let m(h) = h + 24. Let s be m(-13). Suppose 0 = 4*i - 4*u - 8, 5*i = 4*u + 1 + s. Suppose 5*w + 27 - 7 = -4*y, i*w - y = -16. Is -5 smaller than w?
True
Let l = 81/4 + -429/20. Is l at most as big as 15?
True
Let o be (107090/(-9730) + 11)*(-7)/4. Which is smaller: 1 or o?
o
Suppose 2*c = 4*c + 5*t - 87, -t + 1 = 0. Let n = c - 42. Is 1 < n?
False
Let j = -21 + -7. Let s = j - -40. Suppose 3*f + f = -s. Is -3 > f?
False
Let k = 0.231 - -0.769. Is 345 >= k?
True
Suppose b + 0*m - 2*m = -3, 0 = -m + 1. Suppose -4*t = -2*l + l + 3, t = 3*l - 9. Let v be (-8)/3*l/(-26). Is v at least b?
True
Let b(s) = -10*s + 29. Let l be b(3). Let j = -1.4 - 23.6. Which is bigger: l or j?
l
Suppose -98*d + 101*d - 93 = 0. Which is smaller: d or 32?
d
Let l = 22 - 41. Is l >= -4?
False
Suppose 37*g - 1206 = 28*g. Is 138 bigger than g?
True
Let j(f) = 4*f**2 + 2*f - 2. Let n be j(-2). Let b = 16 - 14. Suppose 3*v = -y + 33, -2*v - b*y + 4*y = -22. Are n and v nonequal?
True
Let i be 30/9*12/10. Let u = -17 + 13. Let j = u + i. Do -3/4 and j have the same value?
False
Suppose 0*o + 17 = -17*o. Is -2/49 > o?
True
Let q(r) = -r**3 - r**2. Let m be q(-1). Let h be 0 + 98/4 + -2. Let g = h - 179/8. Which is greater: m or g?
g
Let t = 9606.2 - 9606. Let w = -54 - -29. Which is smaller: w or t?
w
Let a(l) = l**3 - 10*l**2 + 6*l + 15. Suppose 2*j + 7 = 3*j. Let d be a(j). Let b = -357/4 - d. Is -1 greater than b?
False
Let d = 0.3 - 0.3. Let a = 3.039 - 3.339. Is a > d?
False
Let m = 229.1 - 229. Is m at least as big as 46?
False
Let p = -670 - -980. Suppose 5*f + 5*h + p = 0, h - 134 = 2*f - 22. Is f at most -58?
True
Suppose -k + 3119 = 3*u, -22*k = -4*u - 17*k + 4146. Is 1038 bigger than u?
False
Suppose 30 = n - 5*o, -4*o = -0*n - 5*n + 66. Let c be 0 + (-56)/n - 2/5. Let p(t) = 2*t + 1. Let b be p(-3). Which is bigger: b or c?
b
Let k = 4 + -2. Let n be 62/130 - k/5. Which is bigger: 0 or n?
n
Suppose -174*s + 170*s = 4. Which is smaller: -2/3323 or s?
s
Let a = -20.5 + 16. Let q = -3.1 - a. Which is greater: q or 0.2?
q
Let p = -5.2 - -2.2. Let v = p - -3.13. Let a = v + -0.16. Which is bigger: 0 or a?
0
Let w(j) = -j**2 - 3*j - 3. Let v be w(-2). Let g = 2 + v. Let a(b) = b**2 + 7*b + 13. Let n be a(-5). Is n less than g?
False
Let w = 89 + -73. Let t = 16.8 - w. Which is bigger: -2 or t?
t
Let v be 24/(-21)*22/(-8). Let a = 1843 - 1841. Is v at least as big as a?
True
Let h = -3/13 - -95/299. Is h at most as big as 0?
False
Suppose -2*s + z + 12 = 0, z - 8 - 12 = -2*s. Suppose 8 = 