 a bigger than -777/13?
False
Suppose 0 = 3*m - k - 99, 2*k + 0 = 6. Suppose -3*h = t + 7, -5*t - 15 = -4*h + 1. Let g be (-1)/(t/(-3))*(-79 + 31). Which is smaller: g or m?
m
Suppose 3*d + 5*b = -590, -4*b - 8 = 2*d + 386. Let n(p) = -p**3 - 14*p**2 + 5*p + 55. Let g be n(-5). Are d and g unequal?
False
Suppose -166 = -4*j - 502. Let u = j + 161. Suppose 3*m - 2*k = u, m + m - 44 = 5*k. Which is greater: m or 26?
m
Suppose 2*j = -2*j + 524. Suppose -4*a + 382 = s - 4*s, 0 = 2*s + a + 273. Let w = j + s. Which is smaller: w or -14?
-14
Let o(q) = -177*q - 709. Let n be o(-4). Is n bigger than -17/15?
True
Let t(s) = -45*s**2 + 3*s + 2. Let j be t(-1). Suppose 4*d + 147 = d. Let z = d - j. Is z >= -6?
True
Let m be (-231)/(-90) - 41/(-410). Do m and 2/7 have different values?
True
Let o be -418*(-20)/((-40)/(-3)). Is o smaller than 626?
False
Let j be ((-35)/140)/((-2)/8). Let s = 27 + -26. Suppose -4*b = 3*u - s, -7 + 24 = -b + 5*u. Which is smaller: j or b?
b
Let h = 487 - 216. Let d = -185 + h. Is d less than or equal to -1/4?
False
Let h(z) = -7*z**3 - z**2 + 2*z + 12. Let n(c) = 12*c + 58. Let k be n(-5). Let l be h(k). Are l and 61 equal?
False
Let o(t) = -t**2 + 19*t + 17. Let h be o(22). Let r be (3 - (-133)/h) + (-122)/525. Which is greater: 0 or r?
r
Suppose 88 - 34 = -4*u + 5*s, 0 = 4*u - 4*s + 56. Let w(t) = -3*t**2 + 17*t - 12. Let m be w(6). Which is smaller: u or m?
m
Let i be (-397)/(-3) - (-2 - -2 - 21/(-63)). Suppose -3*a + 408 = -5*g, -4*a + g - 3*g + 518 = 0. Which is greater: i or a?
i
Let t(r) = -r**2 - r - 3. Suppose 4*o - 64 = 5*p - 24, 24 = -p + 4*o. Let f be t(p). Suppose 341 + 50 = -23*a. Do f and a have different values?
True
Let q = 1329/33008368 - -1/14452. Let k = 897613/9136 - q. Which is bigger: 97 or k?
k
Let k = -25.27 - -105.99. Let h = k - 79. Let s = -1.7 + h. Which is bigger: 0.1 or s?
0.1
Let k(o) = -o**2 + 7*o - 5. Let y be k(5). Let z = -72 - -116. Let h = -40 + z. Which is smaller: y or h?
h
Let y = 774 + -227. Let t = y - 547.0091. Is t greater than 1/4?
False
Let r = -161001 + 1772962/11. Let w = -177 + r. Suppose -3*l + 3 = -b - 2*b, 5*b + 5 = -l. Which is smaller: b or w?
b
Let b = 1.554 + 816.446. Which is smaller: b or 1/2?
1/2
Suppose -2*w - 2*n = 84, -w = -2*n - 9 + 36. Let a be (-146)/4 + (-7)/14. Is w >= a?
True
Suppose -4*x = -15 - 9. Suppose -12 + 48 = x*l. Let c(g) = g**3 - 7*g**2 + 6*g - 5. Let a be c(l). Which is smaller: -19/5 or a?
a
Let u be 68/44 - 378/693. Suppose -2*o + 2 = 4*g, -3*g - 2*o + 0 - 1 = 0. Is u smaller than g?
True
Let q be 2/(-1) + (-8)/(-6). Let b = -10.84 - -2.44. Let u = b + 41.4. Are u and q unequal?
True
Suppose -31*q - 1982 + 890 = -937. Which is greater: 17 or q?
17
Let i be 204073/(-58)*(2 - 9/((-27)/(-12))). Is 7037 at least as big as i?
True
Let u(v) = -12*v**2 - 2*v + 8. Let b = -4 + 7. Let d = b + -1. Let p be u(d). Are p and -43 equal?
False
Let d = 14 + -12. Let o(t) = -t**3 + 12*t**2 + t - 14. Let i be (-4520)/(-380) + 4/38. Let v be o(i). Which is greater: d or v?
d
Let g = 0.0215 - 12.0215. Let w = 48 + -34. Let r = w + g. Do -9 and r have the same value?
False
Let g = 1736/13427 - -4/463. Suppose -805*k = -262*k - 267*k - 263*k. Which is smaller: g or k?
k
Suppose 5*l - 32 = -2*h, h = 7*l - 2*l - 29. Let u be (-102)/(-189) + 0 - l/14. Suppose 0 = 4*m + m - 3*i - 8, 2*m = 2*i + 4. Which is smaller: u or m?
u
Let g(z) = 16*z - 39. Let a be g(-14). Let p = 263 + a. Let c be (6/57)/((-1)/(-4)). Which is greater: p or c?
c
Let a be 2 - 6 - -6 - 19 - 1. Suppose 0 = 3*v + 2*v - 80. Let n = v + a. Is 3 at least n?
True
Suppose 4*v + 4*l = 12, 6 + 12 = 2*v - 2*l. Let p = 22679 + -22676. Is v greater than p?
True
Let r be 2/2 - 3/1. Let v be 3/r*(1512/(-119))/(-12). Is v >= -1?
False
Suppose 0 = -3*f - 4*k - 1960, -4*k = -3*f - 0*k - 1952. Which is bigger: -654 or f?
f
Let s(v) = 34*v + 33. Let i be s(-7). Let j be 11/(198/(-12)) - i/105. Which is greater: j or 2?
2
Let u = -8621 - -8859. Is 4 not equal to u?
True
Let j(b) = 12*b - 239. Let v be j(20). Let o = -1135/17 + 67. Is o not equal to v?
True
Suppose 5*k + 4*j = 9*j + 2295, -2*j + 906 = 2*k. Let a be (-22)/20*(k/(-36) - -14). Which is greater: -1 or a?
-1
Suppose 0*m + k = -3*m - 12, 0 = -5*m - 2*k - 21. Let x be m/(4/((-8)/(-14))). Suppose 8*n = -12 - 4. Which is smaller: n or x?
n
Let w = 591 - 1789/3. Suppose -5*c = -6*p + 3*p + 20, 0 = c - 3*p + 4. Let f be ((-12)/24)/(c/(-32)). Which is smaller: f or w?
w
Let b be (-1 - 717*-4) + 0/(-8). Is b less than or equal to 2867?
True
Let q be (-6 - 33/(-11)) + 246/15. Which is bigger: q or -2/3?
q
Let v be (-9)/(-6)*-4*-7. Suppose 3*x + 15*z = 11*z + 96, 3*z - 61 = -2*x. Is v >= x?
False
Let u be 3706/16 + 6*11/176. Are u and 229 nonequal?
True
Let t be 7 + (-175)/42 + (-3)/(-18). Let c be (-290)/(-8) + 2/(-8). Let l be (c/54)/(5/t - 1). Which is smaller: -1/37 or l?
-1/37
Let d = 282 - 448. Let c = d - -165.9. Is c smaller than 65?
True
Let n = -687 + 1169. Which is greater: n or 483?
483
Let i = 457/1206 + -21/134. Which is smaller: i or 31?
i
Let u = 2471 + -12303/5. Let a = -1.2 + 60.2. Let z = 58 - a. Which is smaller: u or z?
z
Suppose 0 = 4*r + 3*c + 3, -3*r = c + 2*c + 3. Let i be (-3)/(1 - (r - -2)). Suppose 4*a - i*p + 8*p = 0, 0 = 4*p. Is a smaller than -0.4?
False
Let t = -4.9 + 44.9. Let m = 2749 - 2757. Do m and t have the same value?
False
Let a(p) = -p**3 + 5*p**2 - 4*p. Let z be a(3). Suppose 52 = q - 14*q. Which is smaller: q or z?
q
Let i = -5394 + 5396.01. Is -0.3 not equal to i?
True
Let c = -47 + 67. Let h = 12901/4 + -3205. Which is bigger: h or c?
h
Suppose -6*i + 260 = -19 - 153. Is 51 <= i?
True
Suppose 5*g + 4*l - 16 = 0, 9*l - 10*l - 13 = -3*g. Let s = -8 - -9. Let w be s/5 - (-58)/10. Is g less than or equal to w?
True
Let l = -28255 + 537031/19. Is 10 at least l?
True
Let h = 71 - 51. Let q be (534/445 - (-12)/15)/10. Is h not equal to q?
True
Let o = 0.0242 - 5.4242. Do -0.2 and o have different values?
True
Let w = -476 + 523. Let a = 79.2 - 79. Which is greater: a or w?
w
Let h be (-2)/4 + (-3150)/(-12) + 1. Suppose 9*r - 5*r + 315 = 5*s, 4*s - r - h = 0. Let l = 68 - s. Is l at least 2/17?
True
Let v = 25519 - 893143/35. Is 8 at least v?
True
Let h be 13 + ((-458)/(-10) - 37/(-185)). Which is smaller: h or -56?
-56
Let m = -20 + 20. Suppose -3*z - 5 = -2*q, -2*z = -m*z - q + 2. Let i be 12/(-9) - (-47)/33. Which is bigger: i or z?
z
Let s(h) be the second derivative of -63*h**5/20 - 2*h**4/3 + 7*h**3/6 + h**2/2 + 13*h. Let n be s(1). Is -63 < n?
False
Let z = 1.1 + -4.2. Let i = 0.128 - 3.128. Let h = z - i. Which is smaller: -2.5 or h?
-2.5
Let v = -109 + 109.021. Let z = v - 0.333. Is 2/3 >= z?
True
Let l = -1170 - -1173. Let h(k) be the first derivative of -k**3 + 4*k**2 + k - 1. Let g be h(l). Are g and -2 unequal?
False
Let o be (15 + 13904/(-924))/((-1)/(-2)). Let q = 0 + 0.2. Which is bigger: q or o?
q
Suppose 3*n - 16*n + 104 = 0. Let u(f) = 6*f**2 - 6*f + 9. Let z be u(6). Let d be ((z/6)/(-7))/(6/n). Which is smaller: d or -3?
d
Let o(d) = 4*d**3 + 26*d**2 + d - 113. Let q be o(-7). Is -437/2 != q?
True
Let g = -3247 - -3246. Is g bigger than 2/159?
False
Let h be 2/5 + -26*(-10)/100. Suppose -2*u + 425 = -5*m, 176 - 827 = -3*u + h*m. Is 220 greater than u?
False
Let z be (65/(-26) - -2)*0. Is z smaller than 1/534?
True
Let g = 84.9 + -94. Let f = 9.2 + g. Let j = 0.24 + -0.11. Which is smaller: j or f?
f
Let i be ((-91)/70 + 1)*(-412)/18. Is 8 at least i?
True
Let o = -801 + 797. Suppose 5*w = 2*w + 6. Which is bigger: o or w?
w
Let v = -23088 + 115441/5. Which is smaller: v or 8378?
v
Let n = -1233.08 - -1249. Do -2 and n have the same value?
False
Suppose -2*u + 1036 = r, 4*r = 12*u - 8*u + 4108. Is r at least 1029?
True
Let f be (-84)/56 - (-11)/2. Suppose 5 + 3 = f*p. Suppose 0 = p*o + 2*n + 79 - 219, -2*n + 356 = 5*o. Is o <= 73?
True
Let z(c) = -c**3 - 27*c**2 - 65*c - 192. Let g be z(-25). Is g smaller than 206?
True
Let m = 540/8029 + 16/259. Let z(o) = -o**3 + 7*o**2 - 7*o + 5. Let y be z(6). Is m greater than y?
True
Suppose 0 = -4*z - 13 + 5. Let w(m) = m**2 + 5*m - 5. Let n be w(-5). Let j be n + 5 - (-11)/(-4). Is z <= j?
False
Let b = -21 + 16. Let i(l) = -7*l + 4. Let x be i(b). Suppose -3 = 