2*a = -9, x*z - 5*a - j = 3*z. Is z smaller than 20?
True
Let y = 69981/12666445 - 15/4301. Is 0 <= y?
True
Suppose -3*d = 13*d - 144. Suppose 9*t = 6*t - d. Is 1.6 greater than t?
True
Let w(b) = -2*b**2 + 30*b + 23. Let x be w(16). Let j(d) = -3*d - 37. Let l be j(x). Is -11 equal to l?
False
Let n be 2 + (7 - 276/27) + 4/18. Which is greater: 5/237 or n?
5/237
Let y be (4269 - -20) + (1 - -3 - 0). Suppose 26*s + y = -101. Is -171 equal to s?
False
Let s(h) = 11*h**2 + 5*h - 8. Let o be s(-6). Let y = 6082/17 - o. Suppose -27*a + 30 + 44 = 47*a. Is a at most as big as y?
False
Let i = 3.89 + 1.11. Let m = -2845 - -941697/331. Let k = m - 740/12909. Which is greater: i or k?
i
Let l(t) = t**2 - 3*t - 4. Let x = -13 + 17. Let s be l(x). Which is bigger: -10/17 or s?
s
Let h = -2 - 1. Let i be 3/(((-15)/10)/((-394)/4)). Let n = i - 209. Is n greater than h?
False
Let w(p) = p**2 + 20*p - 58. Let j be w(4). Let v = 14 - j. Is v at most as big as -23?
True
Let b(d) = 2*d**2 - 7*d - 10. Let i be b(5). Let a(k) = -k**2 + 3*k + 18. Let p be a(i). Suppose m = -5*m. Which is smaller: m or p?
m
Let c = -427 + 34157/80. Let s = 43/80 + c. Let l be ((2/(-4))/1)/(15/1290). Which is smaller: s or l?
l
Let h = 2.2 - 1.9. Let y = -29 - -29.29. Are y and h equal?
False
Suppose -3*h = 5 + 7, 5*g + 2*h - 17 = 0. Suppose 5*s + 115 = -5*k - 0*s, 4*s = -g*k - 115. Does -23 = k?
True
Let v = -52 - 14. Let j = -57 - v. Suppose -15*a + j*a - 36 = 0. Is 0.2 != a?
True
Let d = 22.89 - -0.11. Let a = -20.4 + d. Let r = -31159 + 31159.1. Are r and a unequal?
True
Suppose 64*o = 5839 - 463. Is 100 equal to o?
False
Let y = -3 + 2. Suppose -6*h - 3*m = -8*h + 489, 5*h - 1191 = -3*m. Let s = -722/3 + h. Which is greater: y or s?
s
Suppose -425*m - 341*m + 11110 = -821*m. Is m > -1819/9?
True
Suppose -10*v + 714 = -24*v. Let j = v - -51. Is j != -15/32?
True
Let m be (-1)/(82/(-81) - -1). Suppose 2*l + 4 = 4*l. Suppose -k + m = l*k. Which is greater: -1 or k?
k
Let v = 251.099 + -11.099. Is v <= -18?
False
Let u be (0 - 622/249) + 22/(-605)*-55. Are u and 0 equal?
False
Let d = -6.95 + 3.37. Let g = -2.5 - d. Let q = g + -1.09. Which is bigger: q or 0.2?
0.2
Let r(g) be the first derivative of -g**3/3 - 7*g**2/2 - 9*g + 53. Let b be r(-2). Which is smaller: 1/72 or b?
1/72
Let u = -333/2717 - -1/741. Let t be ((-3)/(-44))/((-63)/280). Let v = u - t. Is -9 >= v?
False
Let c = -2005 - -2025. Let z be (9/15)/(6/c). Let y = 2/45 + -32/45. Which is greater: y or z?
z
Let j = -569 - -508. Let x = -219 - -157. Which is bigger: x or j?
j
Let y = 85 - -32. Let i be 10/(-20) - (1/(-10))/1. Which is smaller: y or i?
i
Let m(t) be the first derivative of 1/2*t**2 - 1/3*t**3 + 15 + 13*t. Let u be m(-6). Are u and -30 equal?
False
Let k be ((-59)/(-2537))/(1/14)*-1. Is k equal to -3/2?
False
Let y(p) = p**2 + 20*p - 94. Let w = -404 - -416. Let u be y(w). Is 290 at most as big as u?
True
Let p be ((-44)/66)/((-772)/(-387) + -2). Suppose 0 = p*j - 128*j + 30. Which is smaller: j or -2?
j
Suppose 54*t - 64*t = 5460. Let j = -575 - t. Which is bigger: -272/9 or j?
j
Let s be (-4)/(-1) + -4 - (-58)/2. Let c = 58 - 29. Is s greater than c?
False
Let j = -1412 + 1391. Let b = -138.01 + 137. Let g = b - -0.01. Is g bigger than j?
True
Let p = -3103689061/112749 + -2363/8673. Let m = p + 27566. Which is bigger: m or 38?
m
Let p be ((-847495)/(-19))/(-5) + 9. Are p and -8912 non-equal?
False
Suppose 1061*v - 1060*v - 2*u = 8, -3*v = -2*u - 8. Are 14/2571 and v equal?
False
Let f(p) = 11*p**3 - 5*p**2 + 9*p - 28. Let q be f(5). Is q less than or equal to 1267?
True
Let w = 1214/55 - 2183766/98945. Which is smaller: 0 or w?
0
Let o = -0.2 + -0.8. Let p = -66.9 + 38.2. Let b = -50.7 - p. Is o at least b?
True
Let i(d) be the first derivative of d**4/4 - 11*d**3/3 - 15*d**2/2 + 36*d - 44. Let o be i(12). Let c be ((-4)/20)/((-21)/15). Is o greater than c?
False
Let z be 113/(-226) - (-267)/(-98). Is z at least as big as -4?
True
Let w = 35.64 + -35.3. Does 2/3 = w?
False
Let m = 308.27 + -376.5. Let u = -69 - m. Which is greater: u or 0?
0
Suppose 4*b + p = 87, -4*p = 4013*b - 4011*b - 12. Let n = -8018 - -48251/6. Is n bigger than b?
False
Suppose -15*p + 2*w = -180663, 0 = -5*p + 3*w + 93049 - 32842. Is 12045 < p?
False
Let j(z) = -15*z - 94. Let c be j(18). Is c at most 1?
True
Let d = -29557/2364 + -1141915679/512988. Let t = -33022/31 - d. Let k = t - 1177. Is k <= -4?
False
Let a = 1/606 - -11783/202. Let f(l) = -l**3 - 51*l**2 + 80*l + 1514. Let g be f(-52). Which is smaller: g or a?
g
Let z(p) = 8*p - 9. Suppose 6*m = -8*m + 112. Let d be z(m). Which is greater: 53 or d?
d
Let v = -2311.082 - -2311. Let m = 14 + -14.182. Let w = v - m. Which is smaller: w or 69?
w
Let l be (36/(-10) - (-14)/(-35)) + 7. Suppose -l*i + 6 = -2*i. Let j be (-100)/36*-6 + 2/i. Is 63/4 bigger than j?
False
Let n be 31/(-60) - 6/(-9). Suppose 141*b = -730 + 871. Which is greater: n or b?
b
Suppose 67*a - 63*a = 5*u - 175, -4*a - 2*u - 126 = 0. Suppose 4*x + 134 + 10 = 0. Is x >= a?
False
Let a(y) = -48*y**3 - 35 + 14*y**2 - 5*y**2 + 22*y**3 + 4*y + 27*y**3. Let s be a(-8). Let z be 2/9 - (-33)/(-27). Is z greater than s?
True
Let h be (232/174)/(46/(-3)). Let j = 5 + 3. Let r = -1 + j. Does r = h?
False
Let c = 14738/5 + -2999. Which is greater: -51 or c?
-51
Let m = -79.2 - -72. Let f = m - -7.6. Which is bigger: 0 or f?
f
Let l = 23 + -23.2. Let b = -595/11 - -4352/77. Which is bigger: b or l?
b
Let p(f) = -117*f + 268*f - 117*f - 8*f**2 + 21. Let j be p(5). Which is smaller: -10 or j?
-10
Let b be (-15984)/(-1260)*(-50)/(-3). Which is smaller: 212 or b?
b
Let o = -1 - -1. Suppose o = -2*m + x - 22, m + 10 = -m - 5*x. Suppose 122*p + 1586 = 610. Which is smaller: m or p?
m
Let z be (-5)/((-124010)/(-7750) - 16). Is 0.1 > z?
True
Suppose 142*q - 144*q + 3858 = 2*d, -5*q + 9645 = -d. Is q greater than 1929?
False
Let a = -1595 - -1590. Which is smaller: a or -281/62?
a
Let x = 10/3841 - 760648/49933. Suppose -5101*o + 5078*o - 368 = 0. Is o >= x?
False
Let g = -227.9 - -206.9. Do g and -37 have different values?
True
Suppose -205 = -5*h - 80. Let s = -58 + h. Let f be 2*(14/44 + (-6)/s). Which is bigger: -1/28 or f?
f
Let x = -2/16551 + 1324102/182061. Which is greater: 1 or x?
x
Suppose -h + 23 = 2*a, 4*h - 5*a = 6*h - 42. Suppose 32*l - h*l = 1. Which is bigger: 12/7 or l?
12/7
Let p(m) = 2*m**2 - 29*m + 15. Let a be p(14). Let r be (16 + -27)/(a/(-3)). Is -1 at most as big as r?
True
Let r = 1.1 - 6.1. Suppose 10*q = 6*q - 20, 4*s = -4*q - 12. Suppose w - 5 = -5*g - 12, -5*w - s*g = -34. Is w greater than or equal to r?
True
Let j = -4512333979/390 - -11570080. Let k be ((-2)/((-8)/(-142)))/(-6 + 1). Let q = j + k. Is -1 greater than or equal to q?
False
Let b(o) = -o**3 - 2*o**2 + 4*o + 12. Let k be b(5). Let s = k + 217. Suppose 2*d + s - 22 = 0. Is d < -24?
True
Let g be -5 - 76/12*126/(-30). Which is smaller: -1/3 or g?
-1/3
Let v be ((-17)/(-1 - 0))/(-1). Let y(r) = 3*r**3 - 152*r**2 + 100*r - 19. Let q be y(50). Is v less than or equal to q?
False
Suppose -418 + 58 = -20*m. Suppose -2*q - 4*q - m = 0. Which is bigger: -7/2 or q?
q
Let n = 58602 + -7911221/135. Let o = n + 1/27. Is o less than 3/2?
True
Let r = -55.37 + 55.07. Which is smaller: -21/5 or r?
-21/5
Let n be -2 + (-7220)/(-24) - (-3)/18. Let w = n + -300. Which is smaller: -4/13 or w?
w
Let m = -9611 + 9608. Are m and -55/24 equal?
False
Let i be 400/(-12) + 2/(-3). Let n be (i - 23)*(-2 + (-4)/3). Is 190 greater than n?
False
Let x be 6*(1 - 2)/(-6) + -21 + 14. Does -466/71 = x?
False
Let a be ((-1118)/(-42))/(14/4 + -3). Let j = -25/7 + a. Let c = 45 - j. Do c and -6 have the same value?
False
Let u(y) = -13*y - 701. Let w be u(-54). Which is smaller: w or 11?
w
Let k = 0 + -2. Let i(r) = 2*r**2 + 9*r - 17. Let z be i(-6). Let o be (-88)/12 + z - k/(-3). Which is smaller: o or -9?
-9
Let s = 0.000207 + 282.229793. Let i = s + -282. Which is bigger: 1 or i?
1
Let u = -0.259 - 0.041. Let v = -0.1 - u. Let c = -1.2 + v. Which is bigger: -7 or c?
c
Let h be (24/3)/((-14)/(-35)). Let v(b) = -b**2 + 26*b + 25. Let a be v(h). Which is greater: 146 or a?
146
Let y be -7 + -3*2/2. Suppose 2*g = 3 + 5. Suppose -3*m - 2*m - 56 = 4*p, -g*p - 2*m = 44.