 Let y be j(-18). Suppose 3*s + 0*h - 42 = 4*h, h + 23 = 2*s. Is s at most as big as y?
False
Let t be 3 - (-220)/(-76) - 3507/(-76). Which is smaller: 47 or t?
t
Let r(d) = -d**3 + 25*d**2 + 27*d - 21. Let q be r(26). Let w(z) = -2*z - 6. Let f be w(-4). Suppose -f*y = 2*l, -l = -y - y - 9. Is l not equal to q?
True
Let y be 63/28*(14 + -10). Is y less than or equal to 42/5?
False
Let z = -4813 - -28951/6. Suppose -54 = 4*u + 2*s, 3*s = 8*s + 15. Let y = z + u. Which is smaller: 3 or y?
y
Let q = 43374 + -6115657/141. Is 2 at most q?
False
Suppose -9*d = 359 - 134. Let g be (-85)/(-2)*40/d. Are g and -69 equal?
False
Let z = -2903 + 2925. Is z greater than 106/5?
True
Let t(p) = -p**2 + 3*p + 5. Let o be t(0). Suppose 4*f - 192 - 335 = -y, -5*y = -o*f + 665. Let w = 137 - f. Is 32/7 less than or equal to w?
True
Suppose n - 1874 + 15832 = 0. Let x = -152063/11 - n. Let k = x + -134. Is 0 at least k?
False
Let y(o) be the second derivative of o**5/20 + o**4 + 8*o**3/3 - 39*o**2/2 + 17*o. Let g be y(-10). Which is bigger: g or -4/9?
g
Suppose 0 = 73*k + 9365 + 10564. Which is greater: k or -269?
-269
Let w(t) = -t**3 + 10*t**2 + 21*t + 65. Let r be w(12). Is -4 > r?
False
Suppose -24*f + 34443 = 5*f + 60*f. Which is greater: f or 2704/7?
f
Let u = 6341/7406 + 1/1058. Which is bigger: u or -9/19?
u
Let d = 439.53 - 21.53. Is -1/4 at most d?
True
Let p be (-2)/(-6) + ((-140)/(-60))/(-7). Is p bigger than 655.3?
False
Let t be 2334/63 + 4/14. Let y = 38 - t. Let c = 0.13153 - 0.03153. Is c smaller than y?
True
Let w = -1192.3 + 1192.57. Let z = -4 - 0. Let b = z + 4. Is w less than b?
False
Suppose a - 1 = -d, -10*d = -5*d + 2*a - 5. Which is smaller: d or -2/637?
-2/637
Suppose 84*g = 2*l + 86*g - 1226, 4*l + 3*g = 2450. Which is greater: l or 612?
612
Suppose 20*r = -51 - 9. Let y be (r/2)/((-106)/4 + -12). Let x(v) = -v**2 - 7*v. Let p be x(-7). Is p greater than or equal to y?
False
Let z = -5.88 - 7.329. Is 0 at most as big as z?
False
Let r = -142 + 145. Let h be (-6 - -6) + (-3 - -6 - r). Is 3/131 smaller than h?
False
Let l be 5/(-5) - (-1494)/1503. Let h = l - 325/1503. Which is greater: h or 1?
1
Let k(s) = -21*s + 415. Let p be k(14). Is 604/5 at least as big as p?
False
Let l = 409 + -401. Let t be 18/l + -2 - (-15)/20. Is -6/71 less than or equal to t?
True
Suppose 0 = -216*x + 219*x - 3*s - 1035, -3*x + 5*s + 1039 = 0. Which is greater: x or 350?
350
Let f be 3960/252 - (-1)/((-14)/(-4)). Suppose 23 = u - 2*q - f, 0 = q + 3. Is u greater than 36?
False
Let x = -31/326 + 6399/84434. Which is greater: x or -1?
x
Let m be (-6 - (7 + -11)) + -2 + 1. Is m less than -197/51?
False
Let z(u) = -u**3 + 4*u**2 + 4*u - 10. Let b be z(4). Let p be (-2)/(-2 + b/4). Suppose 6*y = p*y - 30. Does -17 = y?
False
Let y = 3.028 - 2.528. Let k = -36 + 38. Does y = k?
False
Let k(h) = -2*h**2 + 283*h - 1183. Let m be k(121). Which is bigger: 3781 or m?
3781
Suppose c + 3*r - 283 = 0, 0 = 38*c - 37*c + 2*r - 279. Suppose 600 = -5*y + 1945. Is y less than or equal to c?
True
Suppose 5*a - 4*h - 1422 = 0, 0 = 2*a - 3*h - 443 - 130. Let t be (1 + 77/4)/(a/14429). Let x = 1038 - t. Is x bigger than 3?
False
Suppose 0*k - 2*k = -446. Suppose v - 237 = 2*y, 5*v - 808 = 2*y + 313. Which is smaller: k or v?
v
Let i(p) = -p**2 + 121*p - 465. Let h be i(19). Which is bigger: 1472 or h?
h
Let z(s) = -s**2 - 52*s - 361. Let w be z(-8). Suppose -q - 3*k + 43 = -5*q, -4*q = 2*k + 18. Is q at least as big as w?
True
Let z(c) = -6*c**3 + 87*c + 287. Let h be z(-9). Which is smaller: h or 3879?
h
Let v be 2/((-28)/10 + (-8)/(-10)). Let i be 482*v*((-198)/(-96))/(-11). Let u = i - 90. Is u at least 2?
False
Suppose 5*n - 6 = 2*v + 11, 20 = 5*v. Suppose -2*u + 3*p = -21 - 6, 4*u - n*p - 49 = 0. Let b be ((-19)/(-2))/(3/u). Which is bigger: b or 18?
b
Suppose 13 = h + 4*v - 7, h = 3*v - 8. Suppose k + h*m = 3*k + 46, -5*m = 10. Suppose -18*c - 234 = -9*c. Is k smaller than c?
True
Let i = 0.1786 - 0.3886. Is -430 smaller than i?
True
Let h(l) = l**3 + 35*l**2 - 60*l - 849. Let k be h(-36). Suppose -3*c + 8*c - 115 = 0. Is c < k?
False
Let a(n) = -186*n + 1809. Let z be a(13). Which is bigger: z or -612?
z
Let f = 0.127 + 25.773. Let n = 14 + 12. Let z = n - f. Is z at least as big as 10?
False
Let j = 727 - 332. Let h = j - 394.9. Which is smaller: 2/15 or h?
h
Let s = 696666421/171 - 4074059. Let f = s + -504/19. Is -13 at least as big as f?
False
Let s = -855990642/3077 - -278190. Which is greater: 0 or s?
0
Let f be 2/(-3) - (-97)/(-3). Let i = 23650 - 23685. Is i <= f?
True
Suppose 2*i + 5*d = 79 + 51, i - 4*d - 52 = 0. Suppose -2*k + 7*k = 0, -3*k + i = 3*l. Suppose p + 0*p + l = 5*f, 4*f + 8 = -4*p. Are f and 2/5 equal?
False
Let i be (-7)/(84/18) + (-4)/(-48)*-10. Which is smaller: i or -40?
-40
Let m = 19.36 + -17.3176. Let b = m - 0.0424. Which is smaller: b or -13/17?
-13/17
Let w(s) = 5*s**2 - 20. Let y be w(3). Suppose 784 = 11*u - y*u. Which is greater: u or -58?
u
Let y be -1 - (17 + 330/(-20))/(1/(-10)). Suppose -b + 15 = 2*b. Suppose b*f - 12 = f. Which is bigger: f or y?
y
Let u = 309.827 - 0.627. Let b = u + -309. Let f = 1.07 + 0.03. Which is smaller: b or f?
b
Let b be (-20)/(-1075)*(-1)/(-4). Let u = 2662 + -2661. Is u at least b?
True
Let z(y) = 2*y**2 - 7*y + 4. Let s be z(6). Let h be (-1 + -164)*(-8)/(-60)*-5. Suppose -h = 39*w - s*w. Which is smaller: w or 3?
w
Let u = -98 + 512. Is 0.2 < u?
True
Suppose -4*h = -3*c + 6, -2*h + c + 131 = 133. Which is greater: -40/123 or h?
h
Let z(g) = g**3 - 12*g**2 + 15*g - 1. Let a be z(11). Suppose 4*p - 5*p + 3*c = a, -4*p = -3*c + 136. Is p less than -35?
False
Suppose -4*t - 5*n = -28, -n + 15 + 41 = 5*t. Let b be t/4 - (-3 - -2). Let a be (-5)/(3*-190)*b. Does a = 1?
False
Let b be (-18)/(-15)*(-30)/(-9) - 6. Let c = -31002977644/1725 + 17972739. Let d = c + -2/575. Which is bigger: d or b?
d
Let x = -4.552 + -1066.448. Which is smaller: -2/3 or x?
x
Let z(s) = 1318*s - 4458. Let a be z(5). Which is smaller: a or 2137?
a
Let n = 206.9917 + 0.0083. Let c = n - 198. Which is greater: c or 22?
22
Let m = 1.1826 + -1.4826. Is 0.0009 smaller than m?
False
Let t be 10/(-8)*((-84882)/(-49) + (-6)/21). Which is bigger: -2163 or t?
-2163
Suppose 0*d = -22*d - 220. Let b(k) = k**2 + 9*k - 8. Let p be b(d). Is p at least 1?
True
Let m be (-100)/20*231/35. Are m and -55 nonequal?
True
Let n = 122 + -39. Let b = 16 - -67. Is b less than or equal to n?
True
Let v be 8 - 100/15 - (5 + (-11)/3). Let u = -331 - -170. Is v less than u?
False
Let f be -212*(-1)/16 + -12. Is f bigger than -15/4?
True
Let y be -6*(2/12)/(11/99). Let i(j) = j**3 + 10*j**2 + 11*j + 21. Let f be i(y). Suppose -f*c - s + 3 = c, 3 = -2*c - 5*s. Is -1/31 bigger than c?
False
Let r = -10096 + 8446. Which is smaller: -1652 or r?
-1652
Let o = 0.4 + 1. Let s = o + -1.6. Let j = -1017 - -1026. Is s != j?
True
Suppose 65*q + 2584 = 21*q + 3772. Which is greater: q or 370/13?
370/13
Let l(p) be the second derivative of -p**3/3 - 8*p**2 + 2*p + 38. Let m = 10 - 18. Let d be l(m). Which is greater: d or 3/17?
3/17
Let h = 275 + -262.068. Let i = -0.068 - h. Is -0.2 > i?
True
Let d be (-42)/(0 + -3) + -7. Let m be 388/(-28) - 3*(-3)/(-63). Is m at least as big as d?
False
Let a(o) = 68*o - 32. Let k be a(1). Suppose -208 = -2*j + k. Is 121 at least as big as j?
False
Let n = 7505/8 - 938. Does n = -89?
False
Let q = 697/2190 - 4/219. Let v(x) = -2*x + 7. Let m be v(5). Let j be m/(-9) + (-2)/6. Which is smaller: q or j?
j
Let c = -30952 - -30949. Let n = 0.05 - -0.25. Which is greater: n or c?
n
Let o(s) = 3*s**3 - s**2. Let n be o(1). Suppose -q + 23 = 2*q + 4*v, -5*v + 27 = n*q. Which is bigger: q or 218?
218
Let q = 1994.5 - 1886.5. Let a(z) = z**3 - 7*z**2 + 5*z + 5. Let r be a(6). Is r at least q?
False
Let l = 8132 - 8128. Is l at least as big as 0.269?
True
Let o = -1634 - -1342. Which is greater: o or -288?
-288
Suppose 0 = -99*q - 64 + 163. Is q smaller than -6/965?
False
Let a be (-7416 - 3)/(8 - (-182)/(-28)). Is -24734/5 < a?
True
Let l be 5 + (-4 - 1) + 4*2/10940. Is 1 equal to l?
False
Let c = 39 + -37. Suppose 12 - c = -p. Which is bigger: p or -7?
-7
Suppose -36247 = -364*t + 398*t + 36139. Which is smaller: t or -12775/6?
-12775/6
Let i 