?
True
Suppose -2*c = 4*x - 46, -c - x + 12 = -6. Let p(v) = -8*v + 11. Let d be p(-6). Suppose -d + 48 = -b. Is c != b?
True
Let z be (-3657)/424 + (-4)/((-32)/(-3)). Let c be -4 + (7 + z - 4/(-1)). Suppose -5*l - 25 = -j - 3*j, 0 = 4*j. Is l bigger than c?
False
Let n = -2.8 - -2.51. Let o = -4/4061 + -8078/44671. Is o smaller than n?
False
Let m be (12/72*164)/(2/(-3)). Which is bigger: -999/25 or m?
-999/25
Suppose 0 = 5*k + y + 272 - 864, 2*y = -2*k + 240. Let l = 99 - k. Which is greater: l or -20?
l
Let z = 0.099 + 0.035. Let j = z + -64.134. Let k = j + 64. Is k != 30?
True
Suppose -15*q - 67497 = 39423. Let o be 0 + 3 - q/(-2211). Which is bigger: o or -1?
o
Let t = 716.7 - 691. Let p = t - 24.7. Which is greater: -0.42 or p?
p
Let t be (-16)/104 + 212/26. Let o be -62 - t/12*-6. Let q be o*(-5)/(-40) - -3. Is q less than -4?
True
Let q(f) = -183*f + 16514. Let m be q(90). Suppose -38 = -4*a + 5*v + 134, 2*a - 5*v = 86. Which is greater: m or a?
m
Suppose 2*m + 25 = 2*h - 5*h, 4*m = -2*h - 62. Let q = -1 - m. Let n be q/20*(-10)/4. Which is smaller: -9/4 or n?
-9/4
Suppose -2*m - j - 27 = -35, 4*m + 4*j - 20 = 0. Suppose -5*k + 0*k + 13 = m*i, 3*k = -3. Is 8 < i?
False
Let j = -454 + 395. Let z = -149 - j. Which is smaller: z or -89?
z
Let f be (-11)/((-99)/6345) - -9. Is 715 < f?
False
Let m(q) = 7*q**2 - 13*q**2 + q + 2*q**3 + 3*q**3 - 2. Let n be m(3). Suppose 80 + n = -6*p. Does -27 = p?
True
Let y = -1622759/7 - -232263. Let v = -440 + y. Which is bigger: -116 or v?
v
Let p = -2537 - -3418. Which is greater: 4411/5 or p?
4411/5
Suppose -13 = 5*b - c - 41, -4*b + c + 23 = 0. Suppose -2 = -2*v + 5*j, -3 = b*v + 2*j - 8. Are 1/73 and v non-equal?
True
Let q be (-6596)/16 + (-3)/4. Let c = q + 414. Which is greater: c or 3/7?
c
Suppose 9*b - 671 = 20*b. Let o be (-5)/(-10) - b/2. Which is smaller: 35 or o?
o
Let b = 1800 + -1848. Let r = -3469.83 + 3422. Let q = b - r. Is q < -1?
False
Let q = 1598.4 + -1629.4. Which is smaller: q or -80?
-80
Let o = -4082 + 2293. Is -1 != o?
True
Let a = -1921439/527 - -3646. Which is bigger: a or -7?
a
Let d(m) = -m**2 + 136*m - 4645. Let x be d(46). Is x less than -2/35?
True
Let m = 9 + -5. Let p be 9/(108/(-16))*(-9)/6. Let l be (-20)/(-8)*(p/14 - 1). Which is bigger: l or m?
m
Let w = 2.65 - -1.67. Let b = 59.72 - w. Let c = b - 56. Which is bigger: -1/4 or c?
-1/4
Let u be (-126)/(-20) + (-1)/(-2). Let y = -14225 + 14232. Which is greater: u or y?
y
Let z = -0.0478 - 0.9522. Is z less than 172/13?
True
Let t = 208927/160 - 9427/32. Are t and 1011 equal?
False
Let z = -1187 - -767. Let k = z - -438. Let y be -3*(34/(-3))/2. Is k > y?
True
Let x = 55948/106925 - 160/329. Which is greater: -1 or x?
x
Let k = -115/4959 - -1/4959. Which is smaller: 29 or k?
k
Let p = -493 + 489. Let b be (1 + p - -5)*(8 + -7). Let c be ((-2)/6)/(2/(-6)). Do b and c have the same value?
False
Let c(w) = 68*w + 273. Let y be c(-4). Which is greater: -10/933 or y?
y
Let g = 5558 - 6693. Is g greater than -1140?
True
Let z(y) = -y**2 - 27*y - 60. Let g be z(-21). Suppose 19*b + g = 9. Is b at most -5?
False
Let i = 88 - 88. Suppose i = 2*o + 4*o + 12. Let d be (o - 1)*((-19)/(-21) + -1). Which is smaller: d or -51?
-51
Let c = 3586 - -375. Is 3960 at least as big as c?
False
Let b = 4069 + -4070. Is b at least as big as 3/6946?
False
Let c = -57.236 - -57. Let q = -0.136 - c. Is -0.17 < q?
True
Let t be (-23)/((-14)/(-4) + -1). Which is smaller: t or 52?
t
Let s = -255 - -157. Let r = s + 103. Suppose -r = -h + 2*h, -4*t - 48 = 4*h. Which is bigger: t or -48/7?
-48/7
Suppose 10*a + 12*a = 25*a + 12153. Is -4051 at most a?
True
Let l = 25 + -18. Let q be (5/15)/(4/120). Suppose 5*c - q*c + 20 = 0. Is c > l?
False
Let h = 2963 - 2962. Which is bigger: -0.0104 or h?
h
Let s = 541 + -432. Suppose 2*t - 4*n + 48 = 0, 17*t - s = 22*t + n. Suppose 3*m + 59 = 2*p, 0 = 2*p + 2*p + 20. Which is greater: m or t?
t
Let m(c) = c**2 + c + 8. Let t = 157 + -157. Let i be m(t). Which is bigger: -1 or i?
i
Let q(h) = -89*h**2 + 794*h - 2393. Let n be q(3). Does -1/5 = n?
False
Let s = 424 - 215. Let t = s + -212. Let n be (-1)/(-2) + (-5)/(-30). Which is bigger: n or t?
n
Suppose 0*t + 39 = 3*t. Suppose -7*n = -t*n - 30. Let h be (-1)/(-4)*(-1 + n/(-15)). Is h equal to -0.1?
False
Let b(p) = p**2 - 9*p + 26. Let s be b(6). Suppose -22*l - 3066 = -s*l. Is -218 greater than or equal to l?
True
Let c = 58 + -56. Suppose -c*p - 8 = -6*p. Suppose -p*j + 15 = -7*j. Which is greater: j or 0.06?
0.06
Let r = -116.9941 + -0.0059. Let q = 118.6 + r. Which is smaller: -0.03 or q?
-0.03
Suppose -111*r - 12*r = 0. Which is smaller: r or 16.15?
r
Let y be 75*((-1692)/(-340) - 5) + 2. Let f be -1 + 3 + 2/(-1). Which is smaller: y or f?
f
Let m(p) = p + 5. Let c be m(-5). Let a be -7 - (-11)/1155*679. Which is smaller: a or c?
a
Let p = 179 - 176. Let d be (-4 - p)/((-5)/(-10)). Is d greater than -19?
True
Suppose -10*v - 36*v - 28 = -18*v. Is -22/15 less than v?
True
Let y = 221335401/5995 - 36920. Which is smaller: y or 0?
0
Let g(f) = -f**3 + f**2 - 4. Let t be g(0). Let k = -1299 - -2333. Let n = -1033 + k. Which is smaller: n or t?
t
Let q be 4/(-33)*(26 - 20). Let w = -0.18 - -36.18. Let t = 37 - w. Which is bigger: t or q?
t
Let u(r) = 19*r + 31. Let q be u(-15). Let p be (20/30)/((-1)/3*q). Let y = -249/635 - p. Which is smaller: -3/17 or y?
y
Let a be (-58)/(-1) - (0 + 4). Let s be 2 + 189/a*(-12)/14. Are -2/3 and s nonequal?
True
Let r = 28 - 28.1. Let b = -0.5 + -9.5. Let u = b - -20. Are u and r nonequal?
True
Suppose 0 = -5*w + 25, -10*o + 8*o + 3*w = -333. Suppose -243*g + 246*g - o = 0. Which is smaller: g or 57?
57
Let n(c) = 2*c**3 + 5*c + 66. Let s be n(-8). Let j = -807 - s. Is 193 at most j?
False
Let i be -2 + 8 + -8 + 5. Which is smaller: i or 87?
i
Let n = -0.7505 - -0.7505. Which is bigger: 45.8 or n?
45.8
Let g be 392/(-3)*(36/8)/3. Let w = -195 - g. Let a = 599 - 58101/97. Is a less than w?
True
Suppose -504*t - 70 = -514*t. Suppose c - t*c + 1554 = 0. Which is smaller: c or 260?
c
Let m = 318 + -1921/6. Let l = -16 - -16.1. Which is bigger: l or m?
l
Suppose 0 = -4*r + 3*r + 3. Let m(b) = 34*b + 703. Let h be m(-21). Which is bigger: r or h?
r
Suppose -4*a = 3*w + 7 + 1, 3*w - 2*a = 22. Suppose -w*o - 3*r = -o - 777, -2*r - 1323 = -5*o. Is 263 smaller than o?
False
Let m be (-6)/(-24) + (-1910)/(-8). Let b = 4081 - 3842. Is m bigger than b?
False
Let r = -2 + 3. Let j = 1602/13 + -5202/65. Let c = -11006/255 + j. Is c less than or equal to r?
True
Let f = -200 - -205. Suppose 9*v + v = f*v. Is v less than 8?
True
Let g be (1 - -92) + 36/(-60)*10. Is 343/4 > g?
False
Let g be 27 + 526 - 11/1. Which is smaller: 541 or g?
541
Let n be (11/(-9) - -1) + 11968/72. Suppose 5*m - 5*y = 290, 0*y = -3*m + y + n. Let p be (53/2)/((-11)/(-22)). Which is greater: p or m?
m
Let z(v) = 2*v**2 + 2*v - 2. Let c be z(-2). Suppose -4*q - 83 = r - 24, -q = -c*r + 8. Which is smaller: q or 2?
q
Let a be (-1 - -2)*(-6 - -11). Suppose a*i + 998 + 12 = 3*m, -5*i - 1000 = -m. Is i >= -199?
True
Let c be 6/5*-5 + 5088/4. Is c <= 1266?
True
Let c(s) = -s**3 + s**2 + 6*s + 3. Let y be c(-2). Let b = -118 + 110.9. Which is smaller: y or b?
b
Let v = -33.3 + -127.7. Let i = v + 162. Is i not equal to -4.9?
True
Suppose 0 = -5*g + 5, 2*m - 2*g = -9 + 5. Which is bigger: m or 18/85?
18/85
Suppose 5 + 11 = 4*g + v, 3*v + 3 = 5*g. Suppose 2 = 5*q + z - 1, 0 = -5*q + g*z + 11. Let t = -8 + -7. Which is smaller: q or t?
t
Let z = -7064 - -664017/94. Which is smaller: z or -1?
-1
Let i(k) be the first derivative of k**4/4 + 5*k**3 - 8*k**2 + 16. Let h = 54 + -70. Let v be i(h). Is 3/4 at least v?
True
Let s(f) = 4*f**3 - f - 4*f**2 - 5*f**3 + 5 + 5*f**2. Let t be s(0). Suppose 0 = -t*x + 17 + 3. Is 4 not equal to x?
False
Let t be 6958/(-4186) - (3110/(-130) - -24). Suppose -5*k = -1 + 11. Are t and k nonequal?
True
Let o = 16 + -14. Let l = 5 - o. Let c(n) = n**2 + 9*n - 18. Let h be c(-11). Is l equal to h?
False
Suppose -186*q - 428 = 228*q - 14. Is -2/25363 bigger than q?
True
Let t = 1194 - 1195. Is -112 <= t?
True
Let f = 8371 + -8368. Which is smaller: -327 or f?
-327
Let l = -222 - -200. Let y = l + 23. Let b be (-10)/4*(2 - (-1 + -1)). Is y equal 