be (0 - -1)/(4 + -1). Let x = 4760/9 + -1586/3. Which is greater: x or h?
h
Let j = 454 + -342. Suppose -u + 66 = 2*w - 5*u, 0 = 4*w - 4*u - j. Which is bigger: w or 25?
25
Let u = 397 + -663. Let f = u + 259.52. Are -1 and f equal?
False
Let b = 5 + -7. Let w(q) = 4*q**2 - 4*q + 5. Let m be w(6). Let z be (495/m - 2) + b. Is z less than 1?
True
Let u(x) = 8*x + 3*x - 1 - 21*x - 38*x - 2*x**2 - 12*x. Let m be u(-30). Let j = 0.88 + 0.02. Are m and j equal?
False
Let x(o) be the second derivative of -o**3/6 + 25*o**2/2 + 26*o. Let v be x(18). Suppose 0 = -2*a - s - 4, 3*a + 9 = -3*s. Are v and a equal?
False
Suppose f = -2*k - 60, -f - 12 - 57 = 5*k. Is f at least 11?
False
Let s be -1 + (-8)/(152/37601). Is s at most -1982?
False
Let j = -5603 + 9324. Which is smaller: 3722 or j?
j
Let g(d) = d**3 + 2*d + 4. Let v be g(0). Suppose 23 = 5*k - v*x, -3*x + 2 - 8 = 0. Suppose 58 + 50 = -k*o + p, 2*o + p = -67. Is 2 equal to o?
False
Let i = -4.1 - -4.2. Are i and 30/19 unequal?
True
Let u be 10 - 8/(-10208)*-12633. Let d be 2/4*1/(-58). Let k = d + u. Which is smaller: 5 or k?
k
Let v be (-10 + 10)/(-2 + -6). Which is smaller: v or 40/113?
v
Let d(q) = -q + 5. Let h be d(3). Let a(y) = -2*y + 3. Let j be a(h). Let v be 20/60 - 38/110. Is v smaller than j?
False
Suppose -5*b + 156 = 2*f, -f - f - 68 = -2*b. Suppose -2*c - 4 = 0, 9*c = 2*p + 5*c - 12. Suppose 5*u - p*a - b = a, 0 = u + 2*a + 4. Which is smaller: 6 or u?
u
Suppose -5*f - 33 = -y, -3*f = 4*y - 559 + 427. Which is greater: 488/15 or y?
y
Let c = -71 + 61. Let k(o) = o**3 + 10*o**2 + 1. Let r be k(c). Let y be ((-2)/12)/(r/(-6)). Which is greater: 6/29 or y?
y
Let c(t) = 7*t**2 - 10*t + 10*t**2 - 77*t**3 - 10*t**2 + 76*t**3. Let d be c(5). Is d not equal to -2?
True
Let g(z) = 3*z**3 + 2*z - 1. Let o be g(1). Let c = 1359 + -1355. Suppose c*l - o + 8 = 0. Which is greater: l or 3/11?
3/11
Let f = -6919 + 6890. Which is greater: -12 or f?
-12
Let n = 1188 + -1190. Let v be 10 - -2 - (3 - 1). Let w = 6 - v. Is n != w?
True
Suppose 2*g - 3368 = -7*p + 3*p, -4*g - 16 = 0. Which is smaller: p or 841?
841
Let h(x) = 60*x**2 - 21*x - 110. Let j be h(-5). Suppose 11*f = 1255 + j. Which is smaller: f or 249?
249
Let r(v) = -3*v + 1. Let g be r(-7). Let q be -8 - -5 - g - -2. Let n(m) = -m**3 + 2*m - 2. Let l be n(3). Is l at least q?
True
Let c = 6.393 + -9.393. Which is smaller: -632 or c?
-632
Let s be 6 - 4*(-2735)/(-1800). Are 1 and s equal?
False
Let l = -3927 + 3928. Is -4/3297 equal to l?
False
Let l be 12/7 - (-4)/14. Let h be (-14)/36 + l/9. Suppose -151 + 233 = -82*d. Is h less than or equal to d?
False
Let z = 6580/9 - 726. Let r be (-6)/8 - 11/(-132). Which is smaller: r or z?
r
Suppose 20 = 5*q - 5*n, 4*n + 30 = 14. Which is bigger: -24/25 or q?
q
Let t = -1.51 + -17.19. Let c = -71.3 + t. Is c greater than or equal to -2/5?
False
Let z be -75 + (-6 - (-130)/(-10)). Let r = -122 - -29. Which is bigger: z or r?
r
Let w be 9/(-36)*156/15. Let o = w + 3. Is -22/5 at least o?
False
Let g be 10/66*-11*(-63)/5. Which is greater: 37 or g?
37
Let d = 39 - 34. Suppose d*q = -3*m - 181, 2*q + 4*m + 79 = 5*m. Let g = -53 - q. Is -14 at most as big as g?
False
Let c = -5381181 + 3707632720/689. Let s = 34/53 - c. Let v = -971/455 + s. Does 1 = v?
False
Let h be 2*(-9)/((-27)/(-6)). Let x be (117 - h - -2) + 4. Suppose -x = 12*w - 379. Which is smaller: w or 19?
19
Let i(p) = p**2 + 6*p - 568. Let o be i(-27). Which is smaller: -331 or o?
-331
Suppose -411*d + 9264 = -399*d. Is 771 at most as big as d?
True
Let b = 5225 + -5291. Which is bigger: -0.35 or b?
-0.35
Let p(w) = w**2 - 4*w - 5. Let f be p(-1). Suppose f = 10*r - 60 - 0. Let i be -5 + (-5 + r)*-4. Which is smaller: -10 or i?
-10
Let t be 168/105*2/8. Let f be -2 - 51/(-21)*1. Which is smaller: f or t?
t
Let h(x) = -83*x + 19. Let u be h(-2). Let t = 165 - u. Are t and -20 equal?
True
Let j = -12 - -30. Suppose 14*g + 5 = j*g + z, 0 = 4*z - 4. Let h = 1072/325 + -46/13. Do h and g have different values?
True
Let s be (12/(-4) + 5)*10. Suppose 17*w - 7*w + 30 = 0. Let u(b) = 2*b**2 + 2*b + 5. Let y be u(w). Which is bigger: y or s?
s
Suppose 4*y = -1506 + 1566. Let a = -365 + 383. Do a and y have different values?
True
Let m = 2056433/871 - 2361. Let c = -37 - -38. Is m bigger than c?
False
Suppose 600*l = 609*l - 16065. Suppose 5*a = -l + 975. Does a = -162?
True
Let d be (-1130)/284 + 6 + -2. Let y = -589/994 + d. Suppose 10*g - 15*g = 5. Are y and g nonequal?
True
Let u = -28 - -55/2. Suppose -3*x = v - 8, -88 = -5*v + v + 2*x. Let c be (v/(-16) - -1)*4. Is u greater than c?
True
Suppose -3*x - 10*x - 5538 = 0. Let j = 395 + x. Which is smaller: -14 or j?
j
Let h(r) = r**3 - 6*r**2 + 26*r - 7. Let l(a) = a**3 - 7*a**2 + 25*a - 7. Let y(x) = 5*h(x) - 6*l(x). Let j be y(10). Is -5 greater than j?
False
Let v(u) = -11*u**2 - 50*u - 151. Let x(p) = -9*p**2 - 50*p - 152. Let h(t) = -4*v(t) + 5*x(t). Let j be h(-48). Which is bigger: -117/2 or j?
-117/2
Let a = 300 + -1539/5. Let o = -201/20 - a. Which is greater: o or -1?
-1
Let f(j) = 9*j**3 - 11*j**2 - 23*j - 61. Let v be f(-4). Which is smaller: -719 or v?
v
Let q be 40/4850*45/(-18). Is -2/3 > q?
False
Let x = -30505 - -1982901/65. Which is greater: x or 2?
2
Suppose 3*k = -k + 1568. Let f = k + -2357/6. Suppose t - 9*c = -10*c - 1, c - 9 = 4*t. Is f < t?
False
Let f(p) = -2*p**2 - 25*p + 33. Let r be f(-14). Let y be (-3 + 468/152)*60/r. Which is greater: 0 or y?
0
Suppose -4*x + 87 = -3*w, 3*w = -2*x - w + 60. Let h = 2028 - 2017. Which is greater: h or x?
x
Let d be (24/(-30))/(30/(-69450)). Is d at least as big as 1853?
False
Let w = -346.6 + 289. Let r = w - -56. Let v = -1.53 - r. Which is bigger: 2/5 or v?
2/5
Let a be 295/(-3) - ((-481)/39 + 14). Suppose -2*t - 192 = 4*o, -4*o - o - 490 = 5*t. Does t = a?
True
Let i = -513.347 - -0.347. Which is bigger: -3 or i?
-3
Suppose 0 = -4*y - 4 - 76. Let o(u) = 146 + 13*u - 86 - u**2 - 114. Let p be o(9). Is p less than or equal to y?
False
Let l(y) = y**2 + 5*y - 51. Let b be l(5). Suppose 3*s = 5*j + 26, 3*j - 2*s + 14 = -2. Let r be (-1)/(-4) + 6/j. Which is bigger: b or r?
b
Let x = 39 - 36. Suppose x*f - 6 = 0, -3*w + 3*f + 66 = -0*f. Suppose 49 = -b - w. Is b > -72?
False
Let z(h) = -23*h + 6. Let w be z(0). Let i(q) = q**2 - 12*q + 55. Let x be i(w). Do x and 19 have the same value?
True
Suppose -5*c = -4*a + 49 - 24, -4*a + 28 = -4*c. Suppose -t + 2*u = -16, u + a - 17 = -t. Which is smaller: 14 or t?
t
Let d be (-3)/(-15) + 4218/(-740). Let t = 6 + -5.7. Let z = 0.7 + t. Which is smaller: z or d?
d
Suppose -1975 + 10027 = 33*i. Which is smaller: i or 248?
i
Suppose 33 = 4*f - 3*q, 4*q + 0*q = -5*f + 80. Let d be (-9)/6*32/f. Let i be (d/10)/(44/(-275)). Is 3 less than i?
False
Suppose -3*s + 9*u = 10*u + 89, -2*s + 5*u - 31 = 0. Let c(l) = -6*l - 306. Let z be c(s). Is -139 <= z?
True
Let d = -0.32292 + -0.06308. Is -2/3 at most d?
True
Suppose -9*m + 5*m = -3*x - 84, -4*m = 3*x + 108. Let l be 70/(-22) - x/176 - -3. Does 3/50 = l?
False
Suppose 2*s = -3*g - 128, -4*s - 75 = 2*g + 21. Suppose 2*z = -10 - 74. Which is smaller: g or z?
z
Let t be -5 - (5 - 12 - -6 - (8 + -4)). Let u be (-4)/(-18) - 296/(-846)*-1. Is t bigger than u?
True
Suppose -64*x + 63*x + 3*m + 4046 = 0, -3*m - 12 = 0. Is 4034 > x?
False
Let g = -6.69 + -1.31. Is g less than 12/19?
True
Suppose -7*x - 926 = -1192. Suppose 8*z - x = -3*i + 9*z, 4*z - 56 = -4*i. Is i >= -12?
True
Let j = 0.2 + -0.1. Let z = 35.4 - 52. Let h = 24.6 + z. Which is smaller: j or h?
j
Suppose -4*w - 1004 = -4*j, -3*j = j + 2*w - 1010. Let b be (4/(-6))/((-56)/j). Is 20 bigger than b?
True
Let b be (-2)/8 - 16577/44. Let t = -299393751/50 - -5988252. Let d = b + t. Is d less than 1?
True
Let b = 452 + 30. Let u = b - 436. Which is bigger: u or 48?
48
Suppose -1243 = i - 12*i. Suppose 116 = 4*b + 2*y, -3*b - y = -6*y - i. Is 32 greater than or equal to b?
True
Let x be ((-8)/10 + (-1360)/425)/346. Is x at least as big as 0.15?
False
Suppose -3*y + 0 = -5*w + 1, 5*w = -5*y - 15. Let a be -44 + 24/(-6)*w*1. Are a and -40 non-equal?
False
Let c = 199 - 389. Let x = c + 273. Is x smaller than 1/3?
False
Let o(b) = 2*b**3 + 51*b**2 - 27*b + 12. Let m be o(-26). Which is greater: -12