 = -55*f**3 - f**2 - 2*f + 1. Let k(v) = v**3 + 4*v**2 - 7*v - 9. Let l be k(-5). Let t be g(l). Is t smaller than -57?
False
Suppose 4*k = 2*a - 1112, 5*a - 5*k = -3*k + 2812. Let n = -17487/31 + a. Let y = 55560 - 55560.1. Which is bigger: y or n?
n
Let j = -22087 - -23208. Is j > 17?
True
Let t = 48 - 40. Suppose t*i - 4*i = -624. Let o be (2/4)/((-2)/i). Do o and 38 have different values?
True
Let x(h) = 2239*h - 18175. Let o be x(6). Does -4743 = o?
False
Suppose 2*x - 14 = 12. Let u = -51 + 63. Let o be u + -3 + 4*1. Is x >= o?
True
Let p = -29989 + 29944. Do p and -3/7 have the same value?
False
Let z = -435 - -145. Let l be z/26 + (3 - 111/39). Let s = 6 - 6. Which is smaller: l or s?
l
Let x = -0.0982 + 0.1292. Which is smaller: x or -26?
-26
Let t be ((-3)/(-35)*20)/118. Is 1 at least t?
True
Let o(u) = u + 10. Let s(w) = 5*w + 11. Let p be s(-4). Let f be o(p). Is -2/443 greater than or equal to f?
False
Let z = -447 - -650. Let n = 200 - z. Suppose 17 = 2*l + d, 4*l = -5*d - 0*d + 49. Which is bigger: n or l?
l
Let l = -3.8 + -11.2. Let q = 148 + -203. Let i = 56 + q. Which is greater: i or l?
i
Suppose 76*w = 18*w + 102 + 2334. Which is smaller: 689/17 or w?
689/17
Let l(w) = 215*w**2 + 67*w - 231. Let r be l(5). Is r less than 5479?
False
Let h = 12875 + -89960/7. Suppose -6*z - 4*l = -5*z - 8, -32 = -z + 2*l. Is h != z?
True
Let m = -4749 - -4746. Is -58/13 <= m?
True
Let h(z) = 5*z**3 + 15*z**2 - 7*z - 14. Let c(u) = 6*u**3 + 16*u**2 - 6*u - 12. Let i(x) = -3*c(x) + 4*h(x). Let d be i(-6). Is d > 35?
True
Suppose 175*t + 1404 = 136*t. Let g = -741/5 - -3957/35. Does g = t?
False
Suppose 5*w = 63*w + 28*w + 1652060. Is w <= -19209?
True
Let f = -75 + 73. Let w = 2/8851 - 168219/221275. Which is smaller: w or f?
f
Suppose -7*p - 28 = -42. Suppose p*x + 402 = 8*x. Which is bigger: x or 68?
68
Let p(r) = r**3 + r**2 - 6*r - 11. Let y be p(-5). Let h = y - -84. Let a = 17/5 - h. Which is greater: 6 or a?
6
Let w = 23393 + -24195. Which is smaller: w or -5604/7?
w
Let i be (-8 + 12)*(-5 + 7). Let g be (25/(-5))/(1/i). Which is smaller: -122/3 or g?
-122/3
Let b be (6/76)/((-243)/(-12069)). Which is greater: b or 5?
5
Suppose 22280 + 10699 = -128*u - 32557. Which is greater: -509 or u?
-509
Let y(b) be the first derivative of -b**3/3 + 9*b + 33. Let n be y(-3). Let v = 23/21 + -3/7. Is n <= v?
True
Suppose 0 = s + 4*s - 10. Let d = 109935 + -109946.0543. Let i = 0.0543 + d. Do s and i have different values?
True
Let i = 47 - 31. Let q = -580.5 - -580.2. Which is smaller: i or q?
q
Let g be 4/(-4) + (-3)/((-4)/4). Suppose -3*t + 5 = -5*p - t, -2*p - g = 5*t. Is p greater than 2/225?
False
Let l be 194/(-72) + (-189)/108. Suppose -k = -2*c - 0*k - 8, -2*k = -2*c - 8. Which is greater: c or l?
c
Suppose -3*r - 2*c = -59, -5*c - 29 = -r + 2. Suppose -53 - r = -37*l. Which is bigger: l or 6/5?
l
Suppose -4184 = x + 3*x. Let z be -27 - 1799196/1785 - (13 - 2). Let a = x - z. Which is bigger: a or 0?
0
Suppose 0 = 4*z - 4*w + 14136, 609*w - 612*w = -15. Do z and -3527 have the same value?
False
Suppose v = 22 + 15. Let g be (-1547)/714 - 1338/(-36). Which is bigger: g or v?
v
Let u = -34635.93 + 34635. Is u at least as big as -29/2?
True
Let z be (15533/(-21))/((-129)/(-2)). Let a = z + 103/9. Let n = -1056 + 1056. Are a and n unequal?
True
Let f be 180/(-24)*186/(-9). Let z = -128 + f. Is z equal to 111/4?
False
Suppose -202 = 7*z + 120. Let n = -46 - z. Is n greater than -22/35?
True
Suppose -10 = -3*x - k - 4*k, 5*x = -4*k + 8. Let w = -634 + 780. Suppose x = -3*s + w - 44. Which is greater: 35 or s?
35
Suppose -12*v = -7*v - 20. Let x be v*((-3)/6 + 1)*76. Let c be (-4)/(x/3)*8/(-42). Which is greater: 1 or c?
1
Suppose c - 31 = -11. Let k = -23 + c. Let n be ((-5)/(-255))/(k/(-36)). Are n and -1 unequal?
True
Let p = -123 + 128. Suppose -2*d + w + p = 0, 5*d + 3*w + 14 = -1. Which is smaller: d or -1/117?
-1/117
Let n be (36/(-2415))/((-103)/(-6489)). Which is smaller: 0 or n?
n
Let x = 251 - 249. Suppose 0 = -4*f + x*f + 6, -2*f = u - 5. Which is smaller: u or 3/20?
u
Let p = 2.8 + -0.1. Let w = p + -22.7. Let q = 18 + w. Is q at least as big as -3.3?
True
Let y = 2520 - 2526. Which is smaller: 31/8 or y?
y
Let o be 20/(-60) + 1216/(-6). Let d be -5*(-6 + o/(-35)). Is -1/210 equal to d?
False
Suppose -5*w + 15 = 0, -4*j - 15 + 4 = -5*w. Is j greater than -9/103?
True
Let y be (-41)/((-287)/1302) + 9. Which is greater: y or 194?
y
Let q be ((-1)/(-4))/((-492)/(-328)). Which is bigger: 5/58 or q?
q
Let q be (784/35)/(1*(-1)/5). Let y be (308/q)/(3/(-2)). Is 2 at most y?
False
Let l(v) = 2*v - 6. Let y be l(6). Suppose -14*q = 5790 - 428. Let u = q - -389. Does y = u?
True
Let z(y) = 4*y**2 - 18*y - 35. Let x be z(6). Is 7/81 less than x?
True
Let d be (2/590)/((-1070)/(-150) - 7). Let y be (1 - 11427/3894) + 5 + -3. Let f = y + d. Is f <= 0?
False
Let m = -12702 - -12702. Let a = 799964/9807 + -571/7. Which is greater: m or a?
m
Let x = -464 + 278. Let f = -187 - x. Let g(t) = 3*t**2. Let l be g(-1). Which is smaller: f or l?
f
Let d = 3.632 - -0.428. Let y = d + -0.06. Let t = 1.347 + -1.297. Which is greater: y or t?
y
Let l = 2.87 + -0.6. Let x = -2.243 + l. Is x less than 0?
False
Suppose 492 + 670 = 83*w. Which is smaller: w or -28?
-28
Let n = 10487 - 545427/52. Is n >= -1?
False
Let b = 0.172 - -0.028. Suppose 5*j + 245 = -5*w, -11*w + 281 = -5*j - 7*w. Is j less than or equal to b?
True
Let l be -1 - -3 - (4 - 23). Suppose -16*z + 480 - 112 = 0. Which is greater: l or z?
z
Let j = -23579/67 - -352. Which is smaller: 0.2 or j?
j
Let n be 4/(-10) - (448/35)/(-2). Suppose 3*y + 5*t = 350, 5*y + 120 = n*y + t. Do 125 and y have different values?
False
Let l be -176 + (20/16 - 51/12). Let c = -1243/7 - l. Is 0 smaller than c?
True
Suppose -105*w + 97*w + 720 = 0. Suppose -3*z + 5*i - 351 = 2*i, -4*i = z + 112. Let r = z + w. Does -27 = r?
False
Suppose 4*m - 8 = 2*c, -8 = -12*m + 8*m - 3*c. Suppose -13 = f + m. Suppose -12 - 20 = 2*o. Is f smaller than o?
False
Suppose 5*o - h - 2289 = 3*h, 3*o = -3*h + 1341. Which is bigger: 451 or o?
o
Let m be ((-5)/(-2))/(-5)*10. Let a = m + 3. Let r(p) = 21*p + 127. Let s be r(-6). Which is bigger: s or a?
s
Let x = -39171/5218 - -18/2609. Let q = -53/20 + 9/4. Is x greater than or equal to q?
False
Let j be (-106)/(-13) + 6/(-39) + -3. Let i be (3 + (-3)/j)*(-190)/3. Is i less than -152?
False
Let v = -94.814 + -0.186. Let m = -2535 + 2436. Let j = m - v. Which is smaller: j or 3/4?
j
Let g = 1920 + -1918. Is g >= -228?
True
Let x = 81 + -105. Let k be (-1 - (1 + -1))*(x + 39). Do -3 and k have different values?
True
Let l = -15242 - -14996. Which is greater: l or -16?
-16
Let p(w) = 9*w + 538. Let g be p(-60). Which is bigger: g or 21?
21
Let l = 206 + -101. Suppose -3*i = 2*i - l. Let b be (-10)/(360/(-189))*4. Is i at most as big as b?
True
Let h be 2/(-8) - 55/(-376). Let j = -1/47 + h. Let w be (-18 - (1 - 3)*11)/8. Which is smaller: j or w?
j
Suppose -31*p = -44*p + 481. Which is bigger: 38 or p?
38
Suppose 4*r = 4, r = -0*t - t + 22. Let d(p) = p**2 - 22*p + 19. Let m be d(t). Which is smaller: m or 1?
m
Suppose 9 + 1 = 4*u + 3*v, 0 = 2*v + 4. Suppose 0 = -28*o + 33*o + 10, -160 = -4*x + u*o. Which is bigger: 36 or x?
x
Let v = -7790 - -8259. Is 460 at least v?
False
Let k be 2/24 + (-14384)/(-192). Let g be -5 + -2 + k/11. Which is bigger: 1/18 or g?
1/18
Let g = -0.09 + 0.04. Let r be ((-4)/(-12))/(5/(-390)*-2). Which is bigger: g or r?
r
Let j = -6/16595 + -315203/282115. Let i be 1 + 0 - (0 - -3). Which is smaller: i or j?
i
Let l be 33/9 + (-4)/6. Suppose l*o + 9 - 3 = 0, 5*o = -4*w - 46. Let u be -7 - 585/(-81) - (-5)/w. Which is bigger: -1 or u?
u
Let w = 626.58 + -626. Let r = 461.42 - 468. Let j = w + r. Which is greater: -3/2 or j?
-3/2
Suppose -64*h - 4951 = -65*h + r, 3*h - 14823 = -2*r. Which is bigger: 24729/5 or h?
24729/5
Let q = 122 + -128. Let l(u) = 7*u + 32. Let c be l(q). Which is smaller: -8 or c?
c
Let b(o) = -530*o - 12635. Let u be b(0). Is -12633 at least u?
True
Let i = -2017 - -2027. Let b = 0.1 - 0.1. Is b less than i?
True
Let z be (16/32)/(-1 + 2806/2808). Let y = 700 + z. Is -9/7 smaller than y?
False
Suppose 2*f - 4*q = -q - 2, 0 = 5*q - 10. Suppose f