s or 0?
s
Let q(m) = -3 - 89 - 4*m + 0*m + 44. Let g be q(-12). Is g smaller than -159?
False
Let g be (6/(-9))/(2/6). Let m = 69 - 64. Suppose 0 = -s - m*s + 18. Is s at most as big as g?
False
Let w(j) = 4*j + 58. Let i be w(-13). Let b be 3 - 19/i - 994/(-5460). Which is bigger: b or -1?
b
Suppose -m + 2307 = -12*t + 11*t, -5*t + 4*m = 11535. Is -2306 bigger than t?
True
Let t be (10467/(-513) + 21)*3/56. Is 0 bigger than t?
False
Let n = 1315 + -2683. Let m = -1360 - n. Let f be ((-8)/10 - -1)*34. Do m and f have different values?
True
Let i = 19712 - 19717. Is i not equal to 16.3?
True
Let r = -94 + 88. Let v = -0.075 - -33.075. Let s = -32 + v. Is s less than r?
False
Let l = 536.91 + -540. Let p = 44.45 - 44.36. Let g = p + l. Is g at least -6?
True
Let j(w) = -2*w**2 + 3*w + 9. Let m be j(-9). Let f be (m/88 + 2)*(-12)/18. Is f not equal to 1?
True
Let q = 764713/258 + -2964. Which is greater: 2/3 or q?
2/3
Let v be (-5)/40*-58*4. Let z = 29 - v. Suppose -5*g + 2*g - 12 = z. Is g at most 6?
True
Suppose -4*t + 2898 = 5*t. Suppose -4*b = 3*b + t. Which is bigger: -48 or b?
b
Let k be 9 - (2 - 0/1). Let j(u) = u - 10. Let g be j(k). Suppose 3*v = 5*m - 0 + 10, 3*v = 2*m + 4. Is g at least as big as m?
False
Let b = -87 + 92. Suppose 2 = 3*z + b. Let r(d) = -2*d**2 - d - 7. Let x be r(5). Which is smaller: x or z?
x
Suppose 0 = -4*u + 11*t - 6*t - 112, 4*t + 76 = -4*u. Let l = -183 - u. Is -476/3 at least l?
True
Let c be 4 - ((-759)/(-6) - (-3)/6). Let x = c + 167. Is 44 at most as big as x?
True
Let a(j) = 5*j**2 - 23*j + 595. Let r be a(17). Which is bigger: 8248/5 or r?
8248/5
Suppose 2*n + 2*l + 3994 = 0, -27*n - l + 5967 = -30*n. Is n greater than or equal to -1992?
True
Let p be (-353964)/(-10200)*(13197833398/(-201) - 0). Let a = 2278586431 + p. Let z = a + -2/3417. Is z less than -1?
False
Let b = -15390 + 15026. Is b greater than or equal to -364?
True
Let s(a) = a**2 + 4*a + 2. Let c be s(-6). Let y = -1070 - -1075. Let u = c - y. Is 9 not equal to u?
False
Let k be 0 + (5/(-2) - 2872/16). Is k bigger than -192?
True
Let y = -13098 - -14225. Is -2/3 <= y?
True
Let m = 21415 - 21429. Which is smaller: m or -8/3?
m
Suppose -4*u - 8 = 2*b, -b = u + 3 - 5. Let p = -6 + 9. Suppose -p*l + 21 = -2*s, l - 8 = -4*s + 13. Which is greater: b or l?
l
Suppose 559 = 6*d - 1253. Let z = -540 + 843. Which is bigger: z or d?
z
Let l(v) = -4*v**2 + 205*v - 51. Let p be l(51). Which is smaller: p or -1/333?
-1/333
Let a = -14521 - -16360. Which is bigger: a or 1838?
a
Suppose v + u = -u + 6, 4*v - 15 = u. Let b be (-18)/5*70/(-28). Let d be 14/5 - b/(-9). Which is bigger: d or v?
v
Suppose 38*s - 34*s + 12 = 0. Let m be -1*4 + 6/210*65. Is s at least as big as m?
False
Let y = 10 - 5. Let s = y - -13. Suppose -8*c = -3*u - 3*c + s, 4*u - 3*c - 13 = 0. Does u = -1/13?
False
Suppose -d + 4*d - 15 = 0. Suppose 66 = d*t - 99. Let y be ((-71)/(-852) - 65/(-12)*1)*6. Are y and t equal?
True
Let z = -4 - -4. Suppose -3*g - 2229 = 4*p - z*g, -4*g = 3*p + 1677. Let r = p - -41624/75. Is r greater than 0?
False
Let z = -0.00642 + -9.99358. Which is smaller: z or 84?
z
Let x be (-1960)/15 - (0 + 4). Let y = x + 138. Suppose 0 = -11*g - 2*g. Which is smaller: y or g?
g
Let k(z) = 210*z**3 - 4 + 19 - 45*z + 2 - 209*z**3 - 20*z**2. Let g be k(22). Which is bigger: -70/11 or g?
g
Let c(p) = -p**3 - 9*p**2 - 7*p. Let a be c(-3). Let g(m) = -7*m**2 - m - 1. Let j be g(-2). Let o = j - 7. Is a at most o?
False
Let h = 89/1221 - -2/111. Let j = 29.9 - 30. Are j and h unequal?
True
Let n = -0.21 - -5.21. Let s = -0.67 + -21.33. Let y = n + s. Which is bigger: 0 or y?
0
Let c = 1507/7 + -58763/273. Let a = -12/91 + c. Let u be (-3)/(-15) + 1/5. Does u = a?
False
Let p be ((-12)/40)/(18/(-375)). Suppose 5*r - 4*n = 18, 18 = 2*r + 3*n - n. Which is bigger: p or r?
p
Let k = -11 + 15. Suppose k = g - 2. Let a = -45 + g. Is -39 at most as big as a?
True
Let j be (24/(-36))/(2/3). Let v be 6452/2010 + -6 + (-3)/j. Let a = -2/201 + v. Is -30 > a?
False
Suppose 42*w + 20875 = -18815. Which is smaller: w or -1887/2?
w
Let z = -1005 + 961.8. Is 0.2 smaller than z?
False
Let r(y) = 61*y + 97. Let o be r(-14). Let n = 802 + o. Which is bigger: 1 or n?
n
Let g = -9.1972 + -0.8028. Which is smaller: -31.2 or g?
-31.2
Suppose -w + 134 + 438 = 4*v, 2*v + 4*w - 272 = 0. Is v smaller than 16?
False
Let j = -2009.6 + 1989. Does j = 6?
False
Let j = 5448 + -5448. Which is bigger: 17/287 or j?
17/287
Suppose 8 = t + 28. Let h(v) = 5*v**3 + 2*v**2 - 5*v - 5. Let s be h(3). Suppose 38 - s = 5*b. Are b and t equal?
False
Let b = 559 + -547. Suppose -5*h + 4*a + 49 = 0, -3*h - 42 = -5*h - 4*a. Suppose p + 0*p - h = 0. Which is smaller: b or p?
b
Suppose 97*c = -80*c - 58*c - 235. Which is smaller: -136/83 or c?
-136/83
Let f = 2.4381 - 1.6381. Which is smaller: f or 120?
f
Let l = 23 + -13. Let u = l + -9. Let c be (-3)/((-126)/124) - 3. Which is smaller: u or c?
c
Let g = 847 + -557. Let p = g - 290.1. Is p greater than or equal to -47?
True
Suppose -5*n - 5 = -25, -4*c + 5*n = 5396. Is -1342 bigger than c?
True
Suppose -v + 185 = 5*a, 4*v + 4*a = -219 + 1039. Suppose 21*z - v = 1134. Suppose z*q = 69*q - 10. Is q equal to 16/9?
False
Let q = 60.893 + 0.107. Let i = q - 24. Let o = 0.1 - 0. Is i >= o?
True
Let q = 10 - 9.9. Let p = q + 0.6. Let i = p - 0.6. Is 45 bigger than i?
True
Let p be 2 - (-20)/(-16)*4. Let m be (3/4)/p*(14 - 18). Which is smaller: 23 or m?
m
Let f = -951/8 - -119. Let c be (-1736)/(-21)*9/6. Let z = c - 127. Is z at least as big as f?
False
Let f = -998 + 2057. Which is greater: -1/2 or f?
f
Let g = 4.2818 - 4.2418. Let h = 1 + -2. Is g > h?
True
Let n = -3 + 0. Let y = -1642 + 1641. Is y smaller than n?
False
Suppose -50 = 5*f + l - 10, -2*f - l = 16. Let u be (f/6)/((-4)/978). Let w be u/(-35) + 14/(-49). Which is smaller: -9 or w?
w
Suppose 205*i - 11 = 216*i. Let t = -21467/1016 - -169/8. Which is smaller: i or t?
i
Suppose -43*y = -150*y + 240044 - 57823. Is 1705 less than y?
False
Let m = -22359 + 30109. Is m smaller than 7751?
True
Let v(a) = -26*a - 2173. Let h be v(29). Which is greater: h or -2924?
-2924
Let p = 87.45 + -90. Let h = p - -2.5. Let j = -0.418 + 0.018. Is h at least as big as j?
True
Let g(i) = 35*i**2 - 493*i + 43. Let u be g(14). Do u and 55/34 have the same value?
False
Let b = -366.4 + -5.6. Let m = -371 - b. Let w = 60 - 20. Is m less than w?
True
Let w(u) be the third derivative of 33*u**4/8 + u**3 - 8*u**2 + 5*u. Let n be w(1). Is 106 bigger than n?
True
Let m = 41.4 - 60.37. Let f = 19 + m. Let g be 5/(-10)*(-4)/(-6). Which is greater: f or g?
f
Let a = -199 - -201. Suppose a*r + 56 = 30. Is r at least as big as -13?
True
Let t = -1.5 - 9.1. Let j be 2/(-32) + (-275)/1232. Is j at most t?
False
Let x be (-15)/(525/(-230216))*(-20)/14. Let z = 9363 + x. Which is smaller: -34 or z?
-34
Let u = -55.4 + 0.4. Let r = 198 + u. Let f = r + -217. Are 2/5 and f non-equal?
True
Let g = -3 - -2. Let x be (-217426)/109725*-7 + -14 - 2/(-15). Which is greater: x or g?
x
Let i(j) = 115*j**2 - 152*j - 871. Let s be i(-6). Is s not equal to 4179?
True
Let c = 0.8 + 9.46. Are -0.2 and c unequal?
True
Let d = -282 - -357.4. Let l = d + -85. Let b = -7.6 - l. Which is greater: -1 or b?
b
Let x be ((-20)/(-15))/(1/3). Suppose -x*i - 15 = -i. Let l = -261379 + 1829614/7. Which is smaller: l or i?
l
Let r = 412.7 + -404. Let q = 27.255 - 18.492. Let j = q - r. Are j and 0.1 equal?
False
Let p = -0.6355 - -0.6185. Which is smaller: -0.073 or p?
-0.073
Let l = -0.02633 + 224.02633. Do 3/4 and l have different values?
True
Suppose -v + 8 = 4*p, v + 3*p - 4*p + 2 = 0. Which is smaller: v or 2/2365?
v
Let j be (-8)/6*1*12. Let h = 32833 + -32850. Which is smaller: h or j?
h
Suppose -5*m = 3*w - 0*m - 3106, 3*m = -w + 1042. Let d = 85242/83 - w. Is d greater than 0?
True
Let l be 2*((-56)/3)/(90/216). Are l and -91 unequal?
True
Let y(l) = -25*l - 117. Let b be y(-8). Suppose 160 = -b*g + 87*g. Is g not equal to -7?
True
Let g = 3600 - 2586. Which is greater: g or 1015?
1015
Let d(s) = 24*s + 2. Let a be d(-2). Suppose 2*x + 34 = -z, -309*z + 3*x - 59 = -308*z. Which is smaller: a or z?
a
Let b = -34 - -41. Let u(j) = 11 + 3*j + 9*j + b*j - 21*j. Let h be