*x - 16965. Let y be l(0). Is -16967 bigger than y?
False
Let n = -2.33 + 210.33. Let m = -0.0842 + -1.9158. Which is bigger: n or m?
n
Let m(q) = 2*q**2 - 44*q - 1409. Let l be m(38). Let b be (2 - 1)/(1/(-193)). Is b at most as big as l?
True
Let r(d) = -73*d - 127. Let u be r(10). Let h = u - -845. Is -59/5 smaller than h?
False
Suppose 0 = 4*b - 16, -5*s = 2*b + 787. Let d(p) = p**3 + 129*p**2 - 290*p - 3828. Let i be d(-131). Is i at least s?
False
Suppose -2*j - 1266*v + 1270*v - 1282 = 0, j - 3*v = -644. Is -649 > j?
False
Let h = 7.9 + -8. Let q(i) = i**2 - i + 10. Suppose 2*g - p = 18, 7*g - 4*g - 22 = 4*p. Let m be q(g). Is m at least h?
True
Let v be 1311/(-4) + 8/(-32). Let g = 328 + v. Is g bigger than -8/15?
True
Let u be 199 - 188 - (3 - 12/(-2)). Let x = 52/35 + -3707/210. Let c = 757/42 + x. Which is greater: u or c?
u
Let z be 24/(-465)*(0 + -10). Suppose 9*j = 5*j + 2*p + 6, -4*p + 1 = 5*j. Do z and j have the same value?
False
Let r = 0.5846 + -33.7946. Let s = r - -0.21. Let g = 33 + s. Which is smaller: -20 or g?
-20
Let t be -1 + 25792/(-60) + (-20)/150. Is t > -431?
False
Let m be 42/(-2)*(-3 + 2). Let y(z) = -38*z + 24. Let q be y(6). Let r = q - -224. Which is smaller: r or m?
r
Suppose 0 = 2*j - 2*x - 24, j = 5*j - 5*x - 52. Let y be 4/(j/90) + (16 - 19). Let h = y + -43. Is h greater than or equal to 2/17?
False
Let x(a) = 110*a**2 - 51*a**2 + 17*a**3 - 56*a**2 - 2*a - 2. Let n be x(2). Is 141 less than n?
True
Let c = -3824 - -3823. Which is bigger: 4/2521 or c?
4/2521
Let s = 2/543 - -1028/15747. Suppose 3*q + 583 = -179. Let i = -255 - q. Are i and s equal?
False
Let k = 0.38775 + 186.91225. Is k less than or equal to -0.03?
False
Let o = -3820 - -3884. Which is smaller: 62 or o?
62
Let f be (11 - (-23)/(-2))*(-4)/(-7). Is -878 less than or equal to f?
True
Suppose 2*y = -2*y - 4. Let j be y + (1 + 1)/(1/(-5)). Let w = -11 - j. Which is greater: w or -25?
w
Let j = 1541 + -1549. Is -165/19 < j?
True
Let b(o) = -2*o**3 - 7*o**2 - 5*o - 5. Let m be b(-3). Suppose -5*t = l + 4, 2 - 14 = -4*t + 3*l. Let q be t/11 + ((-19)/(-4) - 3). Which is smaller: q or m?
m
Suppose 5*u = 4*j - 1267, 37*j - u - 641 = 35*j. Is 325 at least j?
True
Suppose -96*n - 435 - 2253 = 0. Let c(u) = -13*u - 6. Let d be c(-4). Let f = n + d. Does 18 = f?
True
Let w = 8 - 5. Suppose 3*n + 905 = -2*h, -4*n + 1332 = 13*h - 16*h. Let s = 1351/3 + h. Is s less than w?
True
Let s = -174 + 174. Suppose -3*j - 5 + 2 = s. Do -1/32 and j have different values?
True
Let b = -185.63 - -184. Let u = b + -60.37. Which is smaller: 0 or u?
u
Let w be 7954/4 + 3/(96/(-80)). Is -1 > w?
False
Suppose 0 = -9*x + 5*x + 16, -14 = v - 3*x. Let c be (-93)/(-18972)*(-8)/v. Let u be ((-2)/2)/(2 + -1). Is c at most as big as u?
False
Let r = -221650 + 3318765452/14973. Are 1 and r equal?
False
Let k = 2459/151107 - 5/627. Which is greater: 0.4 or k?
0.4
Let w = 27/2395 - 1134428/141305. Which is bigger: w or -7?
-7
Let x = 1/136 - 1907/408. Let v be 0 + (11/33)/(1/115). Let p = -116/3 + v. Do p and x have the same value?
False
Let r be (4 - (-120)/(-34))*128. Which is smaller: 59 or r?
59
Let b(y) = -y**3 + 8*y**2 + 33*y - 241. Let o be b(5). Which is bigger: o or -110/403?
-110/403
Suppose -18 = -4*j - 2. Let a be (726/(-126) + 13)*(-3)/(-4). Is a equal to j?
False
Suppose -7*h + 23 = 9. Suppose 7 - h = -5*n, n = -i + 56. Is 58 <= i?
False
Suppose 0*s - 30 = 3*s. Let k = -4339042/289 + 15014. Let x = -5499/578 + k. Which is greater: x or s?
x
Let a(u) = -2*u**2 + 44*u - 138. Let d be a(18). Let y = -3 + 9. Is y bigger than d?
False
Let h = 15309 - 14844. Which is smaller: h or 13?
13
Let c(k) = 4*k**2 - 7*k. Let f be c(0). Is f < 1/1500?
True
Let x = 1068 - 1097.11. Let f = 29 + x. Let h(s) = 7*s - 15. Let b be h(2). Which is smaller: f or b?
b
Suppose -5*o - 2*r = -1668, -2*o - r + 671 = -4*r. Let c = 191 - o. Which is smaller: c or -144?
-144
Let a = 0.29 + -209.29. Let o = 205 + a. Is o smaller than 2?
True
Suppose -34*y = -51*y - 10*y - 27. Which is smaller: 4/37 or y?
y
Let w = 0 - 13. Suppose 0 = 2*r + 2*b - 94, -4*r = 5*b + 113 - 302. Suppose r = -6*t - 50. Is t greater than or equal to w?
False
Let s be (2/(-3))/(1/7*42/(-21042)). Which is smaller: 2337 or s?
2337
Let n = 86.558 + -0.558. Let s = -35 - -35.2. Which is smaller: s or n?
s
Let t be (6/(-21))/((-9)/(-21)). Suppose -94*l + 726 = -83*l. Which is greater: l or t?
l
Let n be 1917/6561*(0 - 6) + 0/5. Is -2 bigger than n?
False
Let o be -410*14/(-11) + 40/220. Suppose -14*i + 136 + o = 0. Suppose 2*r - 84 = 10. Is i equal to r?
True
Let d be -534*(14/(-6) - (-1185)/135). Is d less than -3440?
True
Suppose 5*v - 463 = 3*r, 2*v - 74 = -5*r - 825. Which is bigger: r or -156?
r
Let f be ((-1428)/(-680))/(27/(-15)). Are -30/13 and f unequal?
True
Let j be (12/(-2) - -4) + -217. Let a be (-12)/j*2/4. Let k = 1.9 + -1.8. Which is greater: k or a?
k
Let b(g) be the first derivative of -3*g**2/2 + 20*g - 28. Let x be b(5). Suppose -2*f + 4*v - 2*v - 104 = 0, 0 = -4*f + x*v - 208. Is f < -51?
True
Suppose -25*b = 5*b - 1620. Which is smaller: 58 or b?
b
Suppose 11*i + 32 = 12*i. Let v be ((-6)/(-56))/(-2 + (-20)/i). Is v >= 3/5?
False
Suppose -22*b = 63*b + 8245. Which is smaller: b or -120?
-120
Let i = 23842 - 23843. Is 3/12427 < i?
False
Let g(c) = -c**2 - 3*c + 2. Let x be (-23)/7 - (6 + 132/(-21)). Let m be g(x). Suppose -m = d + 32. Is d at least as big as -0.2?
False
Let w be 6/10 + 633711/(-30030). Let z = 1/385 + w. Do z and -22 have different values?
True
Let u be 798/(4/(5 - 7)). Which is greater: u or -402?
u
Let j be 82/(-33) + (-4)/22. Let o(b) = -16*b - 47. Let m be o(3). Let y = m + 91. Is y at least as big as j?
False
Let j = -1079 - -1094. Which is smaller: -136 or j?
-136
Let m be (8 - 0)*7/((-196)/(-119)). Let o be m/(-10) + 6/(-10). Let x(c) = c**2 - 7*c - 4. Let p be x(7). Is p > o?
False
Let j be 534/(10/15*-3). Is j greater than or equal to -279?
True
Let g = 68920/63 + -1094. Let z be (2952/567)/4 - 1. Let p = z - g. Which is greater: -2/35 or p?
p
Let h(s) = s**2 - 13*s - 827. Let j be h(-23). Is j != 14/1669?
True
Let f(b) = -2*b + 1 - 6*b + 6*b + 5*b. Let r be f(4). Which is smaller: 14 or r?
r
Suppose 2*p + 5 = 5*f - 9, 0 = 5*p - 15. Suppose 5*q + g - 216 = 0, 0 = -2*q - 17*g + 14*g + 76. Suppose q = -f*y + 12. Are y and -8 equal?
True
Suppose -p + 162120 = 6*p. Let c be p/(-434) + 20/(-35). Let l = -54 - c. Which is bigger: 0 or l?
0
Let p be (-1 + (-10 - 10))*2/(-7). Let b be (-4)/p + (-425)/51. Which is smaller: b or -1?
b
Suppose 5*f + 87 - 107 = 0. Let k be (84/(-1491))/((-2)/f) - 0. Which is smaller: -1 or k?
-1
Let j(m) = -19*m - 551. Let x be j(-29). Does x = 2/3141?
False
Let t(z) = z**2 - 19*z + 5. Let f be t(19). Suppose f*k = u + 63, 2*k - 5 = k + 4*u. Let h = -19 + 17. Is k at most h?
False
Let t = 48212674239/59891 + -805007. Does t = 1?
False
Let b(d) = -3*d - 16. Let u be b(-7). Suppose x = -u*x + 5*x. Suppose -7*q + 66 + 4 = x. Is q < 13?
True
Let m = 4527 - 6764. Is m less than -2238?
False
Let n = -12706 + 12716.59. Is 0 != n?
True
Let x(i) = -i**2 - 19*i + 24. Let f be x(-20). Suppose 0 = -f*n + 276 + 208. Is n smaller than 121?
False
Suppose 5*i - 140 = -5*r, 0*r - 59 = -3*r + 2*i. Suppose y + r = -3*s, 0*y - 3*y + s = 49. Suppose 2*h = 5*b - 27, 3*h = h + 4*b - 22. Is h smaller than y?
False
Let v be -2*210/6*(-1)/2. Let k = v - 538/15. Which is greater: -2 or k?
k
Let o(x) = x**2 + 18*x + 14. Let z be o(-10). Let p(v) = -55*v - 1. Let a be p(3). Let q = a - -99. Do z and q have different values?
True
Let h = -19/26 - -489/598. Are 0.019 and h unequal?
True
Let v(q) = -2*q**3 + 2*q**2 + 2. Let s be (7 + -2 - 5)/(-3). Let x be v(s). Let i = -215/1482 + -1/114. Is x at least as big as i?
True
Suppose 4*w - 52105 + 14561 = -2*i, 0 = -5*w - 3*i + 46928. Is w equal to 0?
False
Let s be 902/(-2328) + ((-3)/(-9))/(2 + -1). Do -1 and s have the same value?
False
Let k(f) = -f**2 + 4*f + 31. Let x = -214 - -227. Let n be k(x). Which is smaller: -84 or n?
n
Suppose 108*r - 111*r = 9. Let k be 1030/(-390) - 1/r. Is k less than -1?
True
Suppose f + 208 - 190 = 0. Let z be (-12)/15*205/f*1. Does 8 = z?
False
Let a(h) = -h**2 - 38*h - 164. Let p be a(-5). Is 2/5815 greater