Let c(m) = 2*m**2 + 43*m + 223. Let d be c(-22). Do d and g have the same value?
True
Let k be -68*-3*4/24. Let a be (-1 - 49/(-28)) + k/(-56). Which is greater: a or -3?
a
Let w = -0.43 - -18.43. Let x = w + -35. Let h = -220160 + 220160.1. Which is smaller: x or h?
x
Let t = -2590 - -4226. Which is bigger: t or 1637?
1637
Let j = 80 - 79. Let v be (-2 - -6)*j - (-4 - -1). Is v < 7?
False
Let b = 6875 - 6894. Are 16 and b unequal?
True
Let c(x) = x**3 + 155*x**2 - 3894*x + 4. Let w be c(-177). Let f = -14914 - -8396584/563. Let r = f + 13498/3941. Which is smaller: r or w?
r
Suppose -27*q = -264 - 411. Suppose 5*z + q = 0, 4*w = 4*z - z - 2081. Which is bigger: w or -525?
w
Let g = 2478 + -2864. Are g and -388 unequal?
True
Let f be (-1 - -4)*6/(-63). Let c = -36.53 + -1.47. Let p = -29 - c. Is f at least p?
False
Let m(d) = d**3 - 76*d**2 + 148*d + 1. Let b be m(74). Which is smaller: 33/433 or b?
33/433
Let a = -0.26675 + 0.27675. Suppose -2*f - f - 51 = 0. Are a and f unequal?
True
Let n be (-5)/((-1)/(0 + 3)). Let y(c) = -89*c**2 - 20*c - 22. Let o(q) = -15*q**2 - q - 1. Let j(g) = 6*o(g) - y(g). Let u be j(n). Is u bigger than 4/3?
False
Let f be (19/(-2))/((-2)/(-56)). Suppose -142198 = 628*p + 25478. Is f greater than p?
True
Let z be 32/14 - 12/42. Suppose 3*h = 48 - 3. Suppose -5*b + h = -2*p, -p + 5*b - 15 = -z*p. Is 7/11 at least as big as p?
True
Let c = 4803.07 - 4803. Which is greater: c or -0.442?
c
Let o(s) = -2*s**2 - 2*s - 1. Let m be o(-1). Let u be 10/(-2)*757/(-155185). Which is smaller: m or u?
m
Let s = -0.14 - -0.04. Let d = 3.64 - 3.46. Let w = -1.52 - d. Is s greater than w?
True
Let w = 260.516 + -0.516. Let a = -256 + w. Which is greater: a or -1?
a
Suppose -n + 1 = -4. Suppose 0 = n*l - 25, 3*x + 12 = 2*l + 2. Let h be (-4)/(-14) - (-1720)/(-140). Is x bigger than h?
True
Let l be ((-70)/(-105))/((-16)/12 - 1). Let m = 160 - -16. Which is smaller: l or m?
l
Suppose 5*g = 2*v - 6949, -2*g - 2004 - 775 = -v. Is -1391 equal to g?
True
Let y(n) = n**3 - n**2 + 7*n - 4. Let h(k) = -2*k**3 + 3*k**2 - 15*k + 7. Let j(z) = -2*h(z) - 5*y(z). Let b be j(3). Is b at most as big as -43?
True
Let m = -627 - -1121. Let g = -249 + m. Let o be 14/g*7 - 14/10. Which is smaller: 2/127 or o?
o
Let k = 71 - 70.53. Let a = k + -0.78. Let w = a + 0.61. Which is smaller: w or -17?
-17
Let t = 895 - 1027. Is t <= -3?
True
Suppose -5*a - 3*v = -6, -3*a + 5*v = 3*v + 4. Let m be 4/(-2056)*2110223 - (-18)/(-12). Let s = 4107 + m. Are s and a non-equal?
True
Let m = -35 - -37. Suppose -1 = -m*d + 15. Suppose 33 = 2*o - 5*q, 3*q - 1 = -2*o - d. Is o at least as big as 4?
True
Let y(s) = 4*s - 3. Let o be y(2). Let g = 1.684 + -9.594. Let w = 4.91 + g. Are o and w nonequal?
True
Let q(j) = -3*j**2 - 3*j + 5. Let h be q(-3). Let v be -4 - (0/(-3) - 1471). Let s = -5915/4 + v. Which is bigger: h or s?
s
Let x(w) = w**3 + 8*w**2 + 4*w - 11. Let g be x(-8). Let d = 46 + g. Which is greater: d or 15?
15
Suppose 3*h = -3*j + 540, 0 = 4*j - h - 240 - 490. Which is smaller: 0.8 or j?
0.8
Let g be 8/1 - (-5 - (-72 - -24)). Which is greater: -249/7 or g?
g
Let s = 0.3 - 28.7. Let v = 28.6 + s. Which is smaller: 3/173 or v?
3/173
Let i(b) = -62*b - 3321. Let w be i(-26). Which is smaller: -1708 or w?
w
Let b = -17350/39 - 688/195. Which is greater: -448 or b?
-448
Suppose -5*p - 771 - 154 = 0. Let a be (-2)/5 - 89/p. Let h(j) = -1454*j - 52343. Let i be h(-36). Which is smaller: i or a?
a
Let c = 10/33 - -673/66. Let u be (-5)/((-45)/6) + (-80)/(-15). Suppose u*y + 104 = 170. Which is smaller: y or c?
c
Let x = 1.8 - 1.6. Let r be (-10)/(-102)*46*1/(-4). Let m = r - 7/34. Which is greater: x or m?
x
Suppose 5*w + 32 = t, -3*w + 2*t = -8*w - 26. Is w at most as big as -6?
True
Suppose -s - 2*y = -9, -4*y - 8 - 19 = -3*s. Let k(p) = 2*p**2 - 13*p - 13. Let j be k(8). Let v = j + -7. Which is bigger: s or v?
s
Let u = -4.68 + 4.4. Let n = u - 0.25. Let k = -7.47 + n. Which is smaller: 2 or k?
k
Let y = -7741.3 + 7743. Do -4/9 and y have different values?
True
Let x be 5/(-20) + (-2772)/(-16). Suppose -13820 = -112*d + 5332. Is x less than d?
False
Suppose -573*c + 507*c = 66. Let y = -411 - -16441/40. Which is smaller: y or c?
c
Suppose 4*z + 112 = -44. Let n = 90 + -159. Let d = n - z. Which is smaller: d or -1?
d
Let q = 8384.9032 - -0.0968. Is q at most as big as 1/4?
False
Suppose 0 = 3*p + 6 + 6, -29 = -3*m - 4*p. Let u be (-35)/14*2*(-9)/m. Suppose 4*i + 5*t = 5*i - 27, 5*i - 51 = 4*t. Is i at most as big as u?
False
Let b = -73 - -76. Let z = b - 3.31. Are z and 2 equal?
False
Suppose -153*t + 680 = 4*u - 154*t, -u + 3*t = -159. Which is smaller: 157 or u?
157
Let n = 0.215 - -85.785. Let o = 79 - n. Is o at most as big as 2/25?
True
Suppose u + 6*w + 1408 = 8*w, 0 = 2*w + 14. Is u at least as big as -1422?
True
Suppose -33*g = -16*g - 5491. Is g at least as big as 330?
False
Suppose 102*l = -99*l - 6*l + 5175. Let s(p) = 21*p + 1. Let f = 2 - 1. Let m be s(f). Which is greater: l or m?
l
Let f = 66.816 - 67. Let x = 0.016 - f. Let c = 1.96 - 2.28. Is x at least c?
True
Let g = -0.5004 - -0.502. Let s = g - -0.3384. Is 3/2 less than s?
False
Let k = 8526 - 8470. Is k greater than -3?
True
Let l = 32693 - 32703. Which is bigger: l or -784/81?
-784/81
Suppose 418*b = 401*b + 2737. Suppose -38 = -d + 123. Does d = b?
True
Let l(k) = k**3 - 17*k**2 + 69*k + 12. Let q be l(10). Are q and 85/108 non-equal?
True
Suppose 6 + 3 = -3*u, 2*i = -5*u - 7. Let g(x) = 2*x**3 - 29*x**2 - 16*x + 16. Let f be g(15). Let r be 0/(i/(-3 - f)). Does 0 = r?
True
Suppose 882*t - 883*t = -3*d + 4, 3*t = 3*d - 6. Which is bigger: d or 1/35?
d
Let a be (-125)/(-95) + 1*-1. Suppose 0 = 203*p - 48 - 155. Which is bigger: a or p?
p
Suppose 39296 = -4*j + 4*w, 0 = -4*j + 139*w - 141*w - 39242. Which is bigger: -9817 or j?
j
Let y be (-92276)/(-34)*(-4)/(-18). Let h = y - 604. Is -1 at least h?
False
Let w = 1208157 + -1208158. Suppose -2*m - 3*s + 932 = 0, 4*m - 2*s = -3*s + 1874. Let v = 13599/29 - m. Which is greater: v or w?
v
Let s = -11.6 + 2.4. Let t = s - -8.2. Let h = t - -1.1. Which is smaller: h or -15/4?
-15/4
Suppose -1 - 39 = -4*l. Let r be 5/l*16/26. Let d(z) = 5*z**2 + 220*z - 226. Let u be d(-45). Which is smaller: u or r?
u
Suppose -2259 + 2265 = 6*m. Is m at most -2/40309?
False
Let k(n) = -16*n**2 + 183*n - 22. Let h be k(15). Which is smaller: -884 or h?
-884
Let c be -465*(-46)/(7/7). Let w be 1032/c + (-2)/23. Does 0 = w?
False
Let o = -83.316 + 3.316. Is o < 0.2?
True
Let g be 245/(-196)*(-4)/399. Is -1 bigger than g?
False
Let j be (1 + -2 + 0)*-22. Let g be (32 + -24)/((-3)/12). Let m = g + j. Which is bigger: m or -11?
m
Let l = -5671 - -4280. Which is smaller: l or -1393?
-1393
Let y be 6289/(-1767) + 4*6/8. Which is smaller: y or 0?
y
Let m = 269.05 - 0.05. Let z = -303 + m. Is 0 less than or equal to z?
False
Suppose -3*t - 25 = -7, 0 = 3*p + t + 513. Is p less than -174?
False
Let o be (-9184)/5607 + 4/108*6. Is 0 at least o?
True
Let l be 4*(-5)/(-110) - (-204)/(-33). Let i be (-3605)/11760 - (0 - (-2)/l). Which is smaller: -1 or i?
-1
Suppose -3*i + 1917 = 5*g - 3770, -3*i = -5*g + 5723. Which is greater: 1128 or g?
g
Suppose -41*p - 60*p + 5*p + 50880 = 0. Which is bigger: p or 525?
p
Let i be (-4)/10 - 4/(-10). Suppose -7*g = -i*g + 42. Let s be (-4)/g + (-8)/7. Which is bigger: 1 or s?
1
Let a = 17230 - 17213.89. Which is bigger: a or -4/3?
a
Suppose 4*w + 32 = 4*x, -7*x - 4*w = -12*x + 35. Suppose -z = -x*z - j - 129, -j = -3*z - 191. Are -64 and z nonequal?
False
Let k be 133/28 + -4 + (-104654)/137560. Let y = k + 1/190. Which is smaller: y or 0?
y
Suppose 692*h = 688*h - 4*n + 19324, 2*h - 5*n - 9641 = 0. Is 4827 not equal to h?
True
Let g = -56 - -56.3. Let m = -38.3 + g. Suppose -4*c - 4 = -4*s - 2*c, -5*s + 4*c = -8. Does s = m?
False
Let h = -8232.19 - -8262. Which is smaller: 0 or h?
0
Let d be 177541/(-210) + (-2)/5. Let j = d - -11243/12. Let x = 92 - j. Is x not equal to 1?
True
Let y = 22 - -4. Let w = -25 + y. Let b be 8/6*((-5844)/488 + 12). Which is greater: b or w?
w
Let l(m) = 208*m**2 - 99*m + 101. Let x be l(1). Is x at most as big as 1888/9?
False
Let z be 336/(-392)*(-10)/(-30). Let f = 5535/19 + -291. Which is smaller: