Let r = -33.8 - -36.8. Which is smaller: r or -4.2?
-4.2
Let d = 226 - 321. Suppose 0 = 3*j - 0*j - 3*m + 267, 5*m = 4*j + 351. Which is greater: j or d?
j
Let m = 11 + -6. Let p be -5 - -4 - (-7)/m. Let x = -278 + 3060/11. Which is smaller: p or x?
x
Let i = -378/13 - -30. Which is smaller: i or 0?
0
Let u = 0.009 + -0.127. Let n = u - -0.018. Do n and 35 have the same value?
False
Let v = 14 - 45. Let a = v - -34. Suppose 3*g + d + a*d = 37, 1 = -g + 2*d. Is g != 6?
True
Let g = 9878/57 - 524/3. Do g and -1 have the same value?
False
Let u be -19*(-1)/(-2)*10. Let t = 58 + u. Is t greater than -36?
False
Let u = 0 - 0.4. Let m = -0.31 - -0.5. Let a = m + -0.29. Is a at least u?
True
Let i = 1/1361602 - 4764585801/3404005. Let q = 1398 + i. Let g = q - -6/5. Does -0.1 = g?
False
Let r be (-5 + 2)/(3/(-50)). Suppose -4*d + 2*d = -r. Is d smaller than 26?
True
Let c be 380/14 - (-3)/(-21). Suppose 0*u - c = -3*u. Suppose -3*v + u = -0*v. Are 3 and v unequal?
False
Let k = 15 + 15. Let h be 9/3*((-1722)/(-56))/((-3)/(-1)). Is h greater than k?
True
Suppose -266*v = -265*v - 67. Let x(i) = 17*i - 1. Let b be x(4). Is b < v?
False
Let f = 3 - 3.03. Let n = 4988381/266 + -18753. Let r = -1/38 + n. Is f at least as big as r?
False
Let w = 418 + -407. Which is smaller: 14 or w?
w
Let y be 8 + ((-2070)/(-51))/(-5). Let s(t) = t**2 - 12*t + 14. Let q be s(11). Suppose -2*u = -2*c + 4, -q*c - 5*u - 10 = -c. Which is smaller: c or y?
y
Let z = 42 - 42.075. Let a = 0.025 - z. Is 2/13 at most a?
False
Let d be (-11)/(2805/(-72))*(-165)/6. Are d and -8 non-equal?
True
Let z = -15 - -13. Let h be -1 + 4/10 - 32/80. Is z >= h?
False
Let n be 1836/288 - 1*6. Is n at least -7?
True
Let r(t) = 146*t**2 + t - 2. Let w be r(1). Is 145 at most w?
True
Let a be 2760/4320*((-3)/8)/1. Which is smaller: 0 or a?
a
Let r = 0.04 - 0.44. Let v = 4.48 - 5.5. Let t = v - -0.02. Which is smaller: r or t?
t
Suppose -6*c + 262 = -3*l - 47, -5*l - 74 = -c. Suppose 2*n - 5*n = -117. Let o = n - c. Is o < -11?
False
Let c(t) = -5*t**2 + 3*t - 12. Let m be c(6). Let w = m - -5744/33. Which is smaller: 1 or w?
w
Let b be (((-378)/(-12))/(-3))/(39/(-4)). Which is bigger: b or -1?
b
Let i = 2 + -3. Let j(f) = 7*f + 253. Let r be j(-36). Which is smaller: r or i?
i
Let j = 35210/29 + -1214. Suppose -3*d - 2*v = -1, 21 = -5*d + 4*v + 8. Which is bigger: j or d?
j
Let z = -1182 - -1183. Which is smaller: 1/1161 or z?
1/1161
Suppose 0 = -4*n - n + 25. Suppose -n*v + 3*d - 9 = 0, v + v + 3 = d. Let u = v + 4. Which is bigger: u or 3?
u
Let a(b) = -b**3 - b**2 + 3*b + 56. Let x be a(0). Let j be 1152/x - 3/(-7). Which is greater: j or 20?
j
Suppose 0 = -3*p + 2 + 4. Let g be (14/36)/((-3)/(-9)). Which is greater: p or g?
p
Suppose 22*l + 6 = 20*l. Let i be 308/(-21) - 2/l. Which is bigger: i or -1?
-1
Suppose 42*v + 37 + 47 = 0. Is 409 != v?
True
Let z = -44 - -44. Suppose -j = r + 1, 4*r + j = -0 - 4. Let k be (r/(-26))/((-1)/(-8)). Is z at least k?
False
Let p(a) = 9*a - 54. Let l be -2*1/(-4) - 220/(-40). Let k be p(l). Is k >= -29?
True
Let l(m) = 13 + 8*m + 3 + 7 - m**2 - 14. Let q be l(8). Is q equal to 9?
True
Let i = 32.9 + -33.9. Is i equal to 2/7?
False
Let z be (-8 - -1)*(-1 + 0). Let j = z + -8. Let o = -263 + 6572/25. Which is smaller: j or o?
j
Suppose 0 = -4*q + 8*q. Let k be -1 - (0 - q) - -3. Let y be (40/70)/(k/5). Which is greater: y or 2?
2
Let k = -65/168 - -11/24. Which is smaller: k or 1?
k
Let z(r) = 4*r + 146. Let f be z(-35). Suppose 5*d - 24 = 11. Is f >= d?
False
Let r be 0 + 0 - (-6)/135. Suppose -3*p = -5*s + 2*s + 66, 5*p + 41 = 2*s. Suppose -4*v + t - 11 = 4*t, 2*v + 5*t + s = 0. Is r bigger than v?
False
Let m = 986.84 + -948. Let t = -39 + m. Is 0 greater than or equal to t?
True
Let i = 1113 + -1271. Is -157 > i?
True
Let l = 1.36 - -59.64. Let t = l + -88. Let d = -26.9 - t. Which is smaller: d or 6/11?
d
Let f be 1715/(-185) + 4 - -5. Let i = 12/3095 + -99497/916120. Let t = f + i. Does -1 = t?
False
Let b(t) = -4*t + 5*t**2 - 5*t**2 - 8*t - 17 + t**2. Let k be b(13). Suppose -19 = 4*o - d, 22 = -4*o + 4*d - 6*d. Is o <= k?
True
Let u = -45 - -29. Let w(j) = -j + 3. Let g be w(u). Do 37/2 and g have the same value?
False
Let w = -12.2913 + 0.0713. Let u = 12 + w. Are u and -1 equal?
False
Let n(i) = 53*i - 1. Let u = -23 - -25. Let m be n(u). Suppose 3*l + 2*l = -m. Which is bigger: -22 or l?
l
Suppose 5*g - 2*g - 6 = 0. Suppose n - g*n = -3, -u - n = -12. Which is bigger: u or 3?
u
Suppose 424 = 171*w - 167*w. Is w != 104?
True
Let c = 11.9 - 21. Let q = -9 - c. Let d be (-10)/(-9) - (2 + -1). Which is bigger: d or q?
d
Let b = -0.033 - -0.133. Is 21 < b?
False
Let a(g) = 3*g + 11. Let y be a(-5). Let z = 19 + y. Suppose 4*p - z = 5. Is p bigger than -1?
True
Suppose -w + 5*p = 7, 9*w - 6*w + 3*p - 33 = 0. Which is smaller: 5 or w?
5
Let j be (2 + (-3)/6)*10. Let q(p) = -4*p + 64. Let m be q(12). Are j and m equal?
False
Suppose -6 = 2*v, -4*p + 1089 = -3*v - 1208. Suppose z + z = -p. Let u = z + 4294/15. Which is greater: u or 1?
1
Let i = -384/89 + -2306/1157. Is i at least as big as -5?
False
Let o be (3*10/(-8))/((-99)/(-1320)). Let w = o + 83. Is w at most as big as 33?
True
Suppose 0 = 9*b - b + 200. Which is bigger: -24 or b?
-24
Let g be 229*(6 - ((5 - -1) + 1)). Is g smaller than -229?
False
Let h(t) = -12*t**3 + 3*t**2 + 5*t - 3. Let a be h(3). Let m be a/1640 - 1/(-8). Is m at least as big as 0?
False
Let d = -42 + 26. Let p = d + 20. Let m = 5 - p. Which is smaller: 3 or m?
m
Let i(g) = -g - 4. Let v(a) = a + 4. Let q(z) = 4*i(z) + 5*v(z). Let s be q(-12). Does -8 = s?
True
Let d be (-2)/(-7) + (-12)/(-7). Suppose -99*s = -98*s - 2. Let z be 9/(-3) - d/s. Which is smaller: -5/2 or z?
z
Let z be -1 + 4/((-48)/(-34)). Let q = -99 + 100. Is z < q?
False
Let f(t) = -t**2 + 2*t + 6. Suppose -6*p + p + 15 = 0. Let a be f(p). Let x be a/(-2 - 1) + 1. Are x and -1/15 nonequal?
True
Let l = 92.7 + -98. Are l and -2/3 non-equal?
True
Let f = -9/32 - -397/160. Let r = 20 + -10. Let x = r - 9. Which is greater: x or f?
f
Let u be (0 - (-28)/3)*123/41. Which is greater: 30 or u?
30
Let b be 1/2 + (-255)/(-10). Does b = 26?
True
Suppose 6*j = -874 - 476. Are j and -225 non-equal?
False
Let b = 9.78 + -6.79. Let r = -3 - -3.01. Let s = b + r. Are 0.2 and s equal?
False
Let l(f) = -2*f**2 + 3*f + 8. Let z be l(4). Let n = 12 + z. Let b = 4 - 7. Do n and b have different values?
True
Let b = 1.09 - 0.09. Let n = 0.07 - 0. Let j = n - -0.23. Do j and b have the same value?
False
Let x(m) = -m**3 + 6*m**2 - 5*m - 4. Let h be x(5). Let s be -3 - 718*h/1248. Let f = 2/39 - s. Which is smaller: 2 or f?
f
Suppose -249 = 4*y - 3*j, y = 4*y + 5*j + 165. Let b = y + 60. Which is greater: b or 6?
6
Let x = 1.8 - -1.7. Let q = x - -0.5. Suppose 3*m = -y + 3*y + 14, 0 = 3*m - 6. Which is smaller: y or q?
y
Let d = -0.03 + 0. Let h = 1.97 - d. Let w = -270 + 269.5. Is h at most w?
False
Let y = 167/4 + -42. Is -21 != y?
True
Let d = -58 - -51. Let a = -13 - d. Is 2/3 at least as big as a?
True
Let d = -3764 + 56486/15. Which is smaller: d or 2?
d
Suppose -3*o + 8*o + 30 = 0. Let d = o - -4. Let t = 0 - d. Which is bigger: t or 4/5?
t
Let z be (-1)/6 + ((-6)/(-36) - 0). Is -4.4 > z?
False
Let z(b) = 5*b**3 - 8*b + 4. Let d be z(3). Suppose -4*g = g + d. Is g > -24?
True
Suppose 4*p = 5*g + 464 + 751, -3*g = 4*p - 1223. Which is smaller: 304 or p?
304
Let j = 626/5 + -8068/65. Which is smaller: j or 0?
0
Let d = -6 + 6. Let z = -13013389/26 - -500607. Let j = -92 + z. Is j smaller than d?
False
Suppose -15*k - 2 + 2 = 0. Suppose r = -n - 2*n - 2, 3*n + 4*r - 1 = k. Which is greater: n or 2?
2
Let a = 463 - 13418/29. Is a at most 0?
False
Let y be 3/(-7)*4/(-6). Suppose 40*f = f. Which is smaller: y or f?
f
Suppose -248 = -0*z + 2*z - 2*k, 2*z + 2*k + 228 = 0. Which is smaller: -121 or z?
-121
Let b(s) = 253*s**3 - 4*s**2 + 6*s - 3. Let w be b(1). Is w <= 250?
False
Suppose 0 = -20*y + 14*y + 12. Let w = -610609/9 + 68056. Let s = w - 209. Is s less than y?
True
Suppose -7*w - 708 = -4*w. Is w at most as big as -236?
True
Let a be 90/(-196) - 1/(-2). Suppose -m - m - 5*p + 3 = 0, 3*m - 3*p = 15. Suppose -16 = m*w - 4*l, 12 = -0*w + 3*w + 3*l. Which is bigger: a or w?
a