re l and -204/7 equal?
False
Let v(q) = -q**2 + 13*q + 6. Let c be v(13). Suppose -2*y - c = -10. Which is smaller: 8/3 or y?
y
Let d(v) = 47*v - 424. Let i be d(7). Are -97 and i equal?
False
Let s(c) = c**2 + 14*c + 39. Let i be s(-4). Is 13/27 >= i?
True
Let g = -298 - -297. Let v = 4558/31 + -147. Which is smaller: v or g?
g
Let p = 259 + -200. Which is bigger: 62 or p?
62
Let w = -1/26 + -5/26. Let v be (-1)/6 - (1 + 325/30). Let t be (1/v)/(2/(-6))*0. Is t equal to w?
False
Suppose 0 = -11*r + 14*r - 6. Suppose -3*n + 1 = -d, 0*n + 6 = 2*n. Suppose 2*t + d + r = 0. Is t <= -11/3?
True
Let b = 526/7 + -75. Let n = b - -4/21. Is n not equal to -1/3?
True
Let t be 3 + 822/15 + 2. Do 60 and t have different values?
True
Let c be 3/((-6 - -11) + (-70)/15). Is c equal to 15?
False
Let t(n) = n**3 + 15*n**2 - 15*n - 5. Let u be t(-16). Which is smaller: u or -39/2?
u
Suppose 7*g = -2*o + 3*g, 0 = -5*o + 5*g + 45. Suppose -2*h + o = -2*z - 6, 12 = 3*z. Which is smaller: h or 11?
h
Let n = -34/33 - -12/11. Are 0 and n unequal?
True
Let p = -815 - -880. Is p > 69?
False
Let y(j) be the first derivative of -j**2/2 + 10*j - 7. Let b be y(5). Suppose b*i = -5, -4*i = 2*s - 0*s + 6. Is 8 less than s?
False
Let n = -109 + 60. Let b = n - -63. Is b < 1?
False
Let h be 0*((-3)/6)/(-1). Suppose -5*i - 38 = -3. Let d be 24/(-15) - (i - -4). Which is bigger: d or h?
d
Let w(z) be the second derivative of z**5/20 + 7*z**4/12 + 5*z**3/3 - z**2/2 - 15*z. Let h be w(-5). Which is smaller: -16/13 or h?
-16/13
Let g = -11 - -5. Let w = -5 - g. Let i be (384/320)/(4/5). Which is greater: w or i?
i
Let g(h) = -h**2 + 7*h - 11. Let b be g(7). Let m be b + 6 + 8/(-2). Are m and -1 non-equal?
True
Let p be (-1)/(-3)*(4 + 1855/(-10)). Is p greater than -61?
True
Let k = -1 + 0. Let g = -1283 + 8983/7. Is g bigger than k?
True
Let i(m) = m - 1. Let b be i(5). Suppose 9*o + 15 = b*o. Suppose 3*k + 9 = -3. Is k smaller than o?
True
Let c = 0.81 - 0.81. Let f = -0.01 - 0.39. Let u = -0.3 - f. Is u at least as big as c?
True
Let c(d) = -d**3 - d**2 + d + 9. Let p be c(0). Are p and 11 equal?
False
Let t = 143.4 + -144. Is -4 at most t?
True
Let x = 96895/2091 + -4/697. Which is smaller: x or 47?
x
Let f be 0 + 10 + (-7416)/744. Is f less than 0.1?
True
Let c = -2829 + 2540. Do -1729/6 and c have different values?
True
Let x = -2016 - -2016.1. Which is greater: x or -839?
x
Suppose 5*o - 85 = 4*a, 5*o + 3*a = 8 + 42. Let n be 4/(-10) + (-2120)/(-50). Suppose 2*l - 3*s = -4*s + 26, 4*l - 3*s - n = 0. Is o equal to l?
False
Let a(g) = -g - 10. Suppose 0 = -q - 0*q + 4. Suppose q*i = -12, f - 5*i = -2*f - 12. Let r be a(f). Do 2/5 and r have different values?
True
Let b = -78 + 78. Suppose -4*m = 3*m - b*m. Is -2/19 > m?
False
Let y = 55/24 - 29/8. Let a = -0.197 + 13.097. Let h = a - 13. Is y less than or equal to h?
True
Let k = -1409/12935 + -12/199. Is k at least as big as 0?
False
Let c be (-1)/(((-2)/10)/1). Suppose c*g = g - 4. Let j be 345/55 - (-3 - -5 - -4). Is g != j?
True
Let a(h) = -6*h**3 + h**2 - 2*h + 2. Let y be a(1). Let c(s) = -7*s + 0*s**2 - 3*s + 0*s**2 + 12 + s**2. Let r be c(8). Is y at most as big as r?
True
Let o be 5 + -3 - 5 - -103. Let u be (o/15)/(2/(-3)). Which is greater: u or -5?
-5
Let t = 58 - 130. Let c be -1 - (2 - (-218)/t). Are c and 0 nonequal?
True
Let m = -48 + 53. Let c(o) = o**3 - 7*o**2 + 8*o + 8. Let y be c(m). Let p = -5 + 1. Which is greater: y or p?
y
Let r(i) = i**2 + 5*i. Let j be r(-5). Suppose 9*t - 4*t - 2*n - 11 = j, -t + 2*n = 1. Let v be (15/12)/(t/(-12)). Which is smaller: v or 0?
v
Let a = 691 + -7595/11. Which is smaller: a or 0.3?
0.3
Suppose -5*n + 76 = 3*j, -4*j + 15 = -3*n - 96. Let w be (4/(-12))/((-2)/24). Suppose w*d - d = j. Is d at least 9?
True
Let d be (((-4)/9)/2)/(6/861). Which is greater: -33 or d?
d
Let z = 52 + -43. Suppose 5*r + z + 71 = 0. Which is smaller: r or -17?
-17
Let o(p) = -p**2 - 14*p - 28. Let j be o(-10). Suppose 0 = w + 3*b + j, -9 + 1 = -2*w + 2*b. Which is greater: -1/77 or w?
w
Let w = -16 - -20. Let q(d) = d**2 - 3*d - 3*d + 2*d - 4 + d. Let l be q(w). Which is smaller: l or 1.4?
l
Let r(k) = 67*k**2 - 6*k - 6. Let n be r(-1). Is 65 bigger than n?
False
Suppose 0 = -2*v - 4*y + 220, 5*v - 610 = -0*y + 5*y. Let s = v - 824/7. Is 1 less than s?
False
Let q(i) = -2*i + 6. Let a be q(-4). Suppose 5*h + a + 6 = 0. Let u(w) = w**2 + w - 2. Let p be u(h). Is p less than 11?
True
Let i be 9 + 1 - ((-1)/1 + 4). Suppose -3*d - i = -10*d. Let g(o) = o**2 + 1. Let n be g(1). Are n and d equal?
False
Let i(a) = -2*a**2 + 37*a + 39. Let x be i(9). Is 210 greater than x?
False
Let c = 2 + -1.98. Let r = -3.144 - -0.124. Let f = r + c. Are 1 and f non-equal?
True
Let u(x) = -x**2 + 14*x - 38. Let v be u(10). Let t be 4/v + 69/(-21). Let b = 2 + -4. Which is smaller: b or t?
b
Let l(t) = 3*t**2 - 3*t - 3. Let o be l(2). Let m be 3/6*(3 - o). Let d be (0 - 1)*2/19. Which is smaller: m or d?
d
Suppose -k + 1001 = 3*n, -6 = 2*k - 16. Which is smaller: n or 333?
n
Let l = -2.7 + 1.2. Let p = l + -0.5. Is p not equal to 2/11?
True
Let d(g) = -6*g - 20. Let h be d(-4). Suppose 4*u - 278 = 11*v - 16*v, -h*u + 264 = -2*v. Is u != 66?
True
Let c = 153113/151 - 1014. Let o = c - 895/1661. Let j be (-70)/50 - 1/(-10)*4. Are j and o unequal?
True
Suppose -4*p = 12, -p + 2*p + 88 = 5*b. Let t = b - 0. Is t > 18?
False
Let a = 0.1 + -0.1. Let o = 42 - 20. Let x = o + -22. Do x and a have the same value?
True
Let j(k) = -2*k - 15. Suppose 0 = o - 3*o. Let n be j(o). Let h be (-3)/n - (-42)/90. Which is bigger: -0.25 or h?
h
Suppose -7*u + 14 + 14 = 0. Is 4 equal to u?
True
Let b = -2.36 - -2.5. Which is bigger: b or -0.5?
b
Suppose 2*w + 25 - 81 = 0. Let h = w + -17. Let s = h - 7. Which is smaller: s or 6?
s
Suppose 3*n + 0 = 12. Let y be n/(-5) - (-7)/(-35). Is -1/3 at least y?
True
Let q = 66977/5 + -13289. Is 107 greater than or equal to q?
True
Suppose -226 = 2*s - 2*g, 0 = -5*s - 51*g + 47*g - 520. Which is smaller: -3/2 or s?
s
Let s = 1.57 - 1.7. Let y = -2 - 0. Let z = y + 1. Which is smaller: z or s?
z
Let m be 2 + 52/(-18) + 1. Let n = 0.038 + 0.162. Is n smaller than m?
False
Let l = 4 - 6. Let z = -3 + 2. Let a = z + l. Is -7/4 at most a?
False
Let z be 1*((-6)/(-4) + 9/(-6)). Suppose 2*n - 4*x = 42 + 566, 0 = -4*n - 3*x + 1172. Let a = n + -4442/15. Which is bigger: z or a?
z
Let r = 9 + -18. Let i = r - 18. Let s = i + 26. Which is greater: 0 or s?
0
Suppose 162 = 36*o - 30*o. Let h be (-7)/(21/o) - 2. Let l(r) = 4*r + 3. Let w be l(-3). Do h and w have the same value?
False
Suppose 3*c = 4*j + c + 8, 12 = j + 3*c. Is 1/70 less than or equal to j?
False
Let k = 0.0111 + 0.1789. Let d = 1302 + -1295.19. Let l = d + k. Which is bigger: l or 1/2?
l
Suppose -d - 5*o + 1 = -0*d, 3*d = -5*o + 13. Suppose 0 = -8*m + d*m. Suppose -3*v - 45 = 4*i, 0 = 5*v - m*i + 5*i + 70. Is v less than -11?
False
Let j = 1343/9 + -149. Let f = 119 + -118.6. Which is greater: f or j?
f
Let h = -999 - -1025. Is h smaller than 23?
False
Let l be (-4)/(40/(-45))*2. Let b be 42/(-180) - (-3)/l. Do b and 1 have the same value?
False
Let q = 1 - 0. Suppose 2*f - 8 = 0, v + 6 = 2*f - 0. Is q less than v?
True
Let h(p) = p**3 + 8*p**2 + 6*p - 8. Let n be h(-7). Let k be 11 - 3031/203 - (-2 - 2). Do k and n have the same value?
False
Suppose 3*o - 123 = 21. Suppose 0 = 2*p + 5*n - 9 - 2, -4*n = -4*p - o. Let q(a) = 15*a + 445. Let y be q(-30). Do y and p have the same value?
False
Let a = 381 + -375. Which is smaller: -10 or a?
-10
Let i be ((-52)/26)/((-1)/(957/6)). Do i and 320 have the same value?
False
Let y = 1 + 1. Let h(a) = a**3 - 2*a**2 + a - 34. Let z be h(4). Suppose 12 = z*i - 5*w, -4*w = -y*i + 6 + 4. Do 1 and i have different values?
False
Let z(g) = g**3 + 6*g**2 - 8*g - 6. Let b(u) = u**3 - 11*u**2 - 7. Let n = 31 + -20. Let y be b(n). Let r be z(y). Which is smaller: r or 3/19?
3/19
Let k = 1/3305 - -33017/109065. Let y be -1 + (6/(-1))/(-3). Is y <= k?
False
Let i be 3/(-4) - 6/(-8). Suppose 3*y + 1 - 4 = i. Which is smaller: -1/26 or y?
-1/26
Let v be (-20)/(-21) + (-4)/6. Which is bigger: 0.5 or v?
0.5
Let u = -0.184 + 41.184. Which is greater: -1/4 or u?
u
Let o = 314296928 - 1821350688478/5795. Let t = o + -2