3 or b?
b
Let d be 130/16 - (-4)/(-32). Let q be 2/2*2/d. Let a(z) = -z**3 + 5*z**2 - 5*z + 3. Let k be a(4). Does q = k?
False
Let n = -7340 + 7360. Which is greater: 3.02 or n?
n
Let r(n) = -435*n + 2195. Let q be r(5). Let u be (-129)/(-6) - 1/(-2). Is q bigger than u?
False
Let u = 249 - 167. Let l = u + -81. Which is bigger: l or 1/11?
l
Suppose 257*k - 586*k + 14147 = 0. Are 556/13 and k nonequal?
True
Let f = -0.6135 - -0.6535. Which is smaller: f or -21?
-21
Let l be 1 + 18 + -6 + 400. Which is greater: l or 411?
l
Suppose 34 = -t + 5*b, -3*b - 43 + 81 = -5*t. Let i be 648/(-231) + (-4)/14. Which is smaller: i or t?
t
Let d = 0.3 - 1.3. Let w = -0.089 - 102.911. Let u = 103.1 + w. Is d < u?
True
Suppose -2*z + 3 = 9, 0 = 2*u + 3*z + 1389. Let y = u + 352. Which is smaller: y or -339?
-339
Let p be (-8)/(-4) + 2*-4 - -6. Suppose 11*t - 190 + 58 = p. Are t and 11 nonequal?
True
Let m(h) = -h**3 - 7*h**2 - 6*h + 5. Let o be m(-6). Suppose 2*s = l - 37, l - 6*l = -o*s - 100. Let f = s - -291/17. Which is greater: f or -1?
f
Let b be ((-281)/(-4215))/((-2)/(-78)). Which is smaller: -0.96 or b?
-0.96
Suppose 0 = -7*j + 2*j. Let a = 8889 + -408903/46. Is j less than a?
False
Let g be (-2)/6 - (-8 + (-1981)/(-258)). Let n = g + 95/774. Which is bigger: -1 or n?
n
Let u(r) = 8*r**2 - 28*r - 121. Let x be u(-4). Is 125 < x?
False
Let p = -5.11 + 11.69. Let v = p + -6.76. Which is smaller: v or 2/11?
v
Let q(w) = 276*w - 3310. Let n be q(12). Which is greater: 98/141 or n?
n
Let x be (-28)/3*30/(-35). Let c be (85/68)/(-2 - (-14)/x). Is -9 greater than or equal to c?
False
Suppose 0 = -k + 3*a + 188, 6*k + 368 = 8*k + 2*a. Let c = k - 133. Which is bigger: 0 or c?
c
Let o = -802 - -798. Let n be 2/o + 2389/(-958) - -3. Which is smaller: n or -1?
-1
Suppose -44 = -2*q - 4*y, 71 - 8 = 3*q + 5*y. Let p be (56/q)/(1/(-10)). Which is greater: -34 or p?
-34
Let o be (45286 + -2)/(-2) - (18 + (-11 - 12)). Which is smaller: o or -22636?
o
Suppose 19*r - 15*r - 202188 = 0. Let u = 354933/7 - r. Let z = -158 + u. Are -0.3 and z equal?
False
Let i = 203 - 185. Let x be (-7 - -6) + 1 - i*1. Suppose f + 23 = -w - 3*f, w = 5*f - 14. Which is bigger: x or w?
x
Let i = -2/727 - 1444/3635. Let g = -8.0893 - -0.0493. Let r = 0.04 + g. Which is bigger: r or i?
i
Let t = -2582 - -1842. Is -740 >= t?
True
Suppose -2*q = 3*i - 336, 336 = -0*i + 3*i + 4*q. Do 6 and i have different values?
True
Let p be ((-670)/268 - 1*-5)*(-4)/1222. Are 0 and p unequal?
True
Suppose -42*c = 50*c + 71108 - 183440. Do -0.2 and c have the same value?
False
Suppose 16*f + 40009 + 1004 = -47*f. Is -647 equal to f?
False
Let o = 34 + -22. Let x be (59/o - 5) + 9/(-12). Is 1.5 bigger than x?
True
Let o be 4188/(-120) - 1/10. Suppose 0 = 3*v - 15, 5*v + 122 - 322 = 5*t. Are t and o unequal?
False
Let l = -4421 - -30999/7. Suppose -k = -5*i + 28, -i + 4 = -k - 0. Let z(a) = a**3 - 5*a**2 - a - 24. Let g be z(i). Which is smaller: g or l?
g
Let z = -47794263/26 - -1838653. Let v = 412 - z. Let x = -19393 - -19394. Which is greater: x or v?
x
Let p = 1340.6 + -1340.47. Is -7/2 less than or equal to p?
True
Let t(d) = -436*d**3 - 16 - 6*d**2 + 435*d**3 - 8*d + 1. Let h be t(-5). Let s = -3631/33 + 110. Which is greater: s or h?
h
Let q be (-1)/(2/(6 + -10)) + 1. Suppose -q*a = -5*h - 2095, 11*h - 9*h + 697 = a. Is 705 greater than or equal to a?
True
Suppose l + 4 = 0, k + 5*l = -k - 28. Let q(c) = -3*c**2 - 5*c - 1. Let d be q(k). Let s = 29 + d. Which is greater: s or -10/11?
s
Suppose -4*b - 4 = 0, 0*t - 2*t - 3*b = -1227. Suppose -4*v + 209 = -t. Is 0 smaller than v?
True
Let u be (7 - 14845/2115)*3/52. Let n = 39726498381607/93483 + -424959601. Let g = n + u. Which is smaller: 1 or g?
g
Let q = -2016876/5 + 402080. Which is smaller: -1295 or q?
q
Let d be (-5)/(30/12) + 6. Let j be (6/35)/(1/(10/d)). Which is greater: j or 0?
j
Let b(o) = 8*o**2 + o**2 + o**3 + 3*o - 5*o + 3*o + 9. Let v be b(-9). Suppose -10 = -5*i + 2*d - v, 0 = 4*i + 2*d + 10. Which is smaller: i or 1/18?
i
Let i = 417 + -212. Let a = i - 96. Is a at most as big as 110?
True
Let p be (-170 - -172)/(3/(5142/(-4))). Are -857 and p nonequal?
False
Let n be -2 - -3 - (25 + 32736/(-99)). Is n < 1?
False
Let p be -2 + -313 - (9/3 + 1). Let w = p + 218. Let j = w - -101. Is j bigger than -0.065?
True
Let g = 67130850/12605957 - 4/151879. Which is bigger: 6 or g?
6
Let u(o) = -18*o**2 - 187*o + 8. Let p(c) = -10*c**2 - 94*c + 3. Let j(z) = -5*p(z) + 2*u(z). Let a be j(-5). Which is smaller: -128 or a?
a
Suppose 4*t - 2506 = -2*j, -j + 2491 = 4*t + 4*j. Let a = -613 + t. Is a greater than or equal to 15?
True
Let t(a) = -2*a**3 - 32*a**2 + a + 8. Let d be t(-16). Let c be (-6)/((4/8)/(d/(-76))). Which is greater: c or -1?
-1
Suppose 33*j - 119 = 46. Suppose -j*a + 4*h = 7 + 9, 0 = -3*a + 4*h - 16. Let k be ((-1)/58)/(5/2). Which is smaller: k or a?
k
Let s be -4*13/(260/(-15)). Suppose 0 = -h - s*c - 0*c + 2, -9 = 5*h - 4*c. Let i(n) = -n**2 - 2*n - 1. Let g be i(-2). Do h and g have different values?
False
Let i = 7 - 11. Let k be ((-22)/(-4) - 4)*i. Let z = 10.79 + -10.78. Is k at most z?
True
Let m(i) = -i**3 - 17*i**2 + 95*i - 7. Let v be m(5). Let o = -102 + 20. Do v and o have the same value?
True
Let w be 616/66*((-60)/(-21) + -2). Suppose 0 = 7*b - w*b - 350. Which is smaller: -349 or b?
b
Let g(l) = -4*l**3 - l**2 - 7*l - 91. Let i be g(0). Suppose 0 = 4*f - 2*u + 4*u + 384, f = 2*u - 86. Is i less than or equal to f?
False
Let b = -300 + 301. Let a = 17 - 12. Let u be 11 + 4*a/(-10). Which is smaller: u or b?
b
Suppose 22*t + 924 = 29*t. Let i be (-2 - 1)/(9 + (-1184)/t). Which is bigger: -98 or i?
-98
Let o be ((-48)/2)/((-28)/8 + 5). Let a = -121 - -109. Which is bigger: o or a?
a
Suppose 2*r - 4*r = -2*i - 32, i + 4*r + 36 = 0. Let m = i + 20. Let x = -775/6 + 130. Is x greater than m?
True
Let n be ((-160)/(-1680))/((-124)/(-18)). Is 1 bigger than n?
True
Let y(t) = -43*t + 3114. Let l be y(58). Do 3 and l have the same value?
False
Suppose 3*w = 8*w. Let r = 21.8 + -21.34. Is w >= r?
False
Let v(b) = -b**2 - 3*b + 6. Let w be v(0). Suppose 0 = -w*t + 3*t + 138. Let f = t - 50. Is -4 smaller than f?
False
Suppose -g + 3*a + 35 = 0, 0 = 2*g - 7*g - 2*a + 90. Let t = -16 + g. Let k = -63/4 - -21. Which is smaller: t or k?
t
Suppose 2*g = 123 - 7. Let v = 46 + -46. Suppose v*i = -7*i + 413. Is i > g?
True
Suppose -251 + 1417 = -2*b. Let c = 2211 + b. Let r be c/(-55) - (-2)/(-5). Which is bigger: -32 or r?
r
Suppose 0 = -33*q - 9 - 552. Let h be 20/22*(q - -28). Which is greater: h or 14?
14
Let d = 444 - 478.7. Let u = -34.696 - d. Is u greater than 0?
True
Let q be ((-1)/(-3))/(13/351). Suppose -q*p + 825 = 2*p. Suppose -10*y = -15*y + p. Is 12 at most as big as y?
True
Let l = 3846 - 3845.9. Which is bigger: -2766 or l?
l
Let n = 35.4 - 35.2. Let m = -0.1 - -1.7. Let f = 1.46 - m. Which is smaller: f or n?
f
Let r = -9 - -6. Let v = 11 + r. Suppose 3*o + 44 = t + 85, -5*t = -o + 79. Is v greater than o?
False
Let m = -64 - -89. Let n be m/30*3/(-10). Let r = n + 1/2. Is r >= 4/7?
False
Let h be (-14)/3*(-14)/(1232/(-72)). Let r = -47 + 42. Is r at most h?
True
Let c = -367 - -375. Let o be (-9)/(36/32) + c. Is o > -2/1837?
True
Suppose 5*i - 19 = -17*x + 13*x, 3*i = -3. Let o be 3002/418 - (-4)/(-22). Is o at most as big as x?
False
Suppose -b + 9 = 2*b. Let u be (b/(-7))/(9/186). Let h be (4 + (-7)/2)/(((-42)/(-40))/(-21)). Which is greater: h or u?
u
Let i be 2 + -1 + (10 - 1). Suppose -144*m - 1859 + 563 = 0. Let p = i + m. Is 3/25 equal to p?
False
Let p be (-4)/52 - (-18255)/(-975). Let m be 7 - 6/3 - 63/12. Which is bigger: m or p?
m
Suppose -2*s - 21720 = -3*z, -5*z - 28319 - 4204 = 3*s. Which is bigger: s or 0?
0
Let u be 147/10*(908/300 - 3). Is 1 greater than u?
True
Let d be 12/(-9) + (35336/42 - -4). Which is smaller: d or 848?
d
Let o = -5 - -5. Let g be ((-68)/(-24))/(189/(-54)). Is g smaller than o?
True
Let p be 1 + 9871/6 + 862/(-1293). Is 1646 smaller than p?
False
Let s = -6018041183/44185 - -136201. Which is greater: s or -1?
s
Let r = 137 + -127. Let u(c) = -26*c + 61. Let y be u(r). Which is bigger: y or -0.1?
-0.1
Let l(k) = -k**3 + 9 - 33*k**2 + 7*k + 13*k + 27*k**2. Let u be l(-9). Let g