. Do -5/79 and d have different values?
True
Let x be (-4)/9*21/13510. Which is greater: x or -1?
x
Let p be (-1236)/(6 + -12)*1. Which is smaller: 204 or p?
204
Let l = -80 - -112. Suppose -l = -3*x + 1. Is x <= 10?
False
Let l(h) be the second derivative of -10*h**3/3 + 13*h**2/2 + 15*h. Let f be l(1). Which is bigger: -6 or f?
-6
Let l = -74.3 + 80. Let k = 5.52 - l. Is -3 at least as big as k?
False
Let k be (-2)/(-27)*3/(-11). Let s = 10611 - 10611. Which is smaller: s or k?
k
Suppose 7*o = 3*o + 48. Let y(l) = 4*l - 7. Let m(a) = -a + 1. Let b(v) = -6*m(v) - y(v). Let x be b(6). Which is smaller: o or x?
o
Let o(i) = -3*i - 5. Let r be o(-5). Suppose -8*u = r + 94. Is u at least -3?
False
Suppose -4*k + 218 + 6 = 3*t, 3*t = 2*k + 248. Which is smaller: 77 or t?
77
Let c = 36353171/352417 - 2/352417. Let k = -103 + c. Let o be (0 - -5) + -8 - -2. Which is greater: k or o?
k
Let m = 257/214964 + 17/881. Does 0 = m?
False
Let k(y) = 3*y + 9. Let s be k(-3). Let q be -8*(s + -4)/8. Let c be (-71)/(-4) + 1/q. Which is smaller: c or 19?
c
Suppose v + 5*c + 7 = 0, 5*c - c = -4. Let t = -471 - -75. Let r be t/143 + 1 + 1. Which is smaller: r or v?
v
Let l = 15 + -12. Suppose -l*q + 5*q = 10. Suppose 10*m - q*m + 25 = 0. Is -5 equal to m?
True
Let l(f) = f**2 + 5*f - 10. Let i be l(-9). Suppose -3*g = -4*q - i, 0*q = 5*g - q - 15. Suppose -h + g*h + 2 = 0. Which is greater: -3 or h?
h
Let f = 80 + -81.58. Let v = -0.42 + f. Is 0.12 != v?
True
Let o = 20 - 18. Let f = -0.6 - -1. Let n = f + -0.2. Which is smaller: o or n?
n
Let q = 195 + -108. Suppose -36 = t - 5*b - 0*b, b - q = 4*t. Is -21 at most t?
True
Let v = 31 + -44. Is -16 equal to v?
False
Suppose k + 35 = -26. Let m = k - -174. Suppose -3*c - m = 5*y + c, -32 = 2*y - 5*c. Is y not equal to -1?
True
Let t = -0.02 + -0.014. Let s = -0.966 + t. Is s smaller than 1/12?
True
Let s be 4/6*3 - 26/18. Which is smaller: s or 0?
0
Let s = -79 + 86.6. Let c = s + -7.9. Which is smaller: c or -0.2?
c
Let h = -15 - -6. Let b = h - -15. Suppose -3 = -3*i - b. Which is smaller: -4 or i?
-4
Let s(w) = -4*w - 377. Let t be s(-72). Is t less than or equal to -80?
True
Let j = -206 - -199. Is -33/5 bigger than j?
True
Let z = -24 - -33. Let h be 5/z*(-20)/50. Is h less than or equal to -0.01?
True
Let i(q) = -q**3 - 14*q**2 - 14*q - 8. Suppose 0 = 2*u + 4*t + 46, 0*u - 5*t - 38 = u. Let k be i(u). Suppose k*w = 16 + 4. Which is bigger: w or 5?
5
Let a(b) = b**3 - 2*b**2 + 2*b + 1. Let f be a(2). Let m be 3/f*(-14)/21. Is -4 <= m?
True
Let z be (-1 - 1*-8) + 0. Suppose m = 2*m - 4. Let p be 9 + (m - 8 - -2). Is z >= p?
True
Suppose n - 615 = 4*l, -3*n + 457 = -3*l + 2*n. Let k be l/108 + (-3)/(-2). Is k != 0?
True
Suppose 3*n = n + 4. Let h be (-20)/30*(-9)/n. Suppose -s = h - 0. Which is greater: -4 or s?
s
Let l = 2 - 5/2. Let z = -12 + 7. Let k = z - -5.2. Is k > l?
True
Let h = 0.01 - 0.31. Let j = 54 + -54.2. Let q = h - j. Which is greater: q or 1.1?
1.1
Let t(a) = -a + 3. Let n be t(7). Let x = 2128 + -2134. Which is bigger: x or n?
n
Let d = 418 + -2066/5. Let x = 0 + 1. Does d = x?
False
Let x be 4*4/8 - 0. Suppose -4*v + 8 = -x*v, -5*v + 60 = -2*l. Let w = l - -22. Which is greater: w or 7?
7
Let y = 33 - 364/11. Let b be 0/(-2) - -3*1. Suppose 4*j = 4*p + 24, -5*p + b = 4*j - 12. Does p = y?
False
Let o = -159 + 159. Which is bigger: -1/2 or o?
o
Suppose -6*d + 166 = -224. Suppose 15*q + d = 10*q. Is -11 not equal to q?
True
Let o(n) = 3*n + 4. Let c be o(5). Let z(k) = -k**3 + 13*k**2 - 15*k + 18. Let m be z(12). Let j = c + m. Is j greater than or equal to 2/9?
True
Suppose 2*w = 18 - 14. Suppose -4*o + 4 = -5*i, 2*i + w*i = 0. Which is smaller: o or 5/7?
5/7
Let h = -134 - -81. Let t = h + 94. Let w = t - 28. Do w and 0.1 have the same value?
False
Let j = -1.43 - -1.5. Let i = j - -0.13. Let o = i + -0.2. Is o <= -0.1?
False
Let b(t) = t**3 - 3*t**2 - 6*t + 16. Let x be b(2). Are -2/23 and x non-equal?
True
Let c be (2/(-6))/((-9)/216). Suppose -4*h + c = -0*h + b, 3*h - 6 = -b. Suppose i = 5*t + 6, 3*t + h*i = t. Which is smaller: t or 0?
t
Suppose 25 = 3*j - 26. Suppose -l + j = 4*a + 2*l, 3*a + 3 = 3*l. Let g(m) = -m + 6. Let f be g(4). Is f greater than a?
False
Let a(y) = y - 4. Let p be a(4). Suppose p = 3*h - 2*h. Suppose h*i - 2*l = 5*i + 2, 2*l = -i + 6. Which is smaller: i or -8/3?
-8/3
Let u = 275819251/30160 - 45726/5. Let q = u + -3/208. Which is bigger: -1 or q?
q
Let d be (0 - -6)/(27/18). Let i = -7 + -39. Let t be d/(-14) + i/(-14). Are t and 4 unequal?
True
Let t(w) = -w**2 - 8*w - 6. Let m be t(-6). Let k(p) = -5*p - 8. Suppose 2*n - 3*y + 11 = 2*y, -3*n - 12 = -3*y. Let o be k(n). Which is greater: m or o?
o
Suppose -3*p = -3*x + 384, -3*x - 67 = -4*p - 449. Let r be ((-10)/3)/(x/(-15)). Is r less than or equal to 1?
True
Suppose -5*z - 33 = -4*b, 5*z + 38 = 13. Suppose -4*h + b*j + 76 = 0, 6*j = 4*h + 3*j - 80. Are h and 17 nonequal?
False
Let c be (-7458)/452*4/(-6)*-11. Which is smaller: c or -125?
-125
Suppose 9*c + 280 = 14*c. Do 53 and c have different values?
True
Let n = -1/49401 - 4758959/197604. Let z = n + 70/3. Which is bigger: -9 or z?
z
Suppose 5*l - 5*a = -0*a + 15, -4*l = 5*a - 12. Suppose -2*d - 4*n - 24 = 0, -d - 2*n - 27 = l*n. Let b be 8/6 + d/(-3). Is b <= -2?
False
Let n(i) = -10*i + 151. Let x be n(15). Is x less than 1/108?
False
Let d = -73.07 - -34.1. Let l = 0.97 + d. Which is bigger: 1 or l?
1
Suppose -3*m + n = 5, -20 = -n - 3*n. Let s be (-4*1/7)/((-76)/266). Let p be (-2 - -1) + (16/10 - s). Which is greater: m or p?
m
Suppose 1 = 4*o + 21. Let s(l) be the third derivative of l**4/24 + l**3/2 + 179*l**2. Let k be s(o). Do k and -1 have the same value?
False
Suppose -y - 134 = 3*u + 60, 4*u - 5*y = -246. Are u and -317/5 nonequal?
True
Let j be (-1)/(-2) - 146/4. Let h = j - -53. Suppose p - h = -0*p. Is 18 smaller than p?
False
Let l = 0.94 + 0.06. Let m = -485 - -481. Which is smaller: l or m?
m
Let u = 157 + 169. Let k = u + -327.79. Let a = k + -0.21. Which is bigger: a or 6?
6
Let u = -22 + 6. Let j = u - -4. Let a(r) = r**2 + 11*r - 17. Let h be a(j). Which is greater: -6 or h?
h
Let y = -444113/85 + 5225. Which is smaller: 1 or y?
y
Suppose -9*m + 12 = -6*m. Let o be ((-1893)/(-2826) + 2/(-3))*m. Which is smaller: o or 2/3?
o
Let a be (-187)/209 + 5/((-475)/10). Is a != 9/401?
True
Let r = -8 - 22. Let w be 0 + r/3 + -4. Is w equal to -12?
False
Suppose -4*n + 0*n + 4*k = -40, -4*k + 32 = 4*n. Let b be (-302)/480 + 1*6/n. Which is smaller: 1 or b?
b
Let r(h) = -h**3 + 9*h**2 - 6*h + 17. Let x be 12/(-5)*20/(-6). Let o be r(x). Is o not equal to 32?
True
Let a(z) = -2*z**2 - 23*z. Let k be a(-10). Let v = k - 22. Suppose 2 - 6 = -2*r. Which is smaller: v or r?
r
Let a be ((-12)/(-24))/((-5)/(-6)). Which is bigger: a or 30?
30
Suppose -3*u - 3*b + 4*b + 68 = 0, 0 = -u + 5*b + 32. Suppose 3*i - 4*i + u = m, -61 = -3*i - 2*m. Let d be 2*2*(-8 - -12). Is d >= i?
False
Let t be -2*((-3)/(-2) + -1). Let g = -1086 + 1088. Is g < t?
False
Suppose -3*t + 70 = 5*g, 0*g = -3*t - g + 86. Let x be 19/(-45) + 6/t. Which is bigger: x or -29?
x
Suppose -6*h = -h + 80. Let u be h/(-4)*(-1)/(-42). Suppose -2*z = -3*z. Which is smaller: u or z?
z
Suppose 5*v - 196 + 661 = 0. Let o = -95 - v. Which is bigger: -12/5 or o?
o
Suppose 2*q - 3*b = -623, 2*q - 4*b + 343 = -281. Which is greater: -309 or q?
-309
Let a(r) = 2*r**3 + 12*r**2 - 9*r - 5. Let k be a(-6). Suppose 4*i - 13 = -k. Let h be (30/i)/((-3)/3). Is h >= 3?
True
Let p be ((-10)/(-3))/(1/(-3)). Let m(q) = q**3 - 13*q**2 - 67*q - 4. Let u be m(-4). Which is bigger: u or p?
u
Let i be (-1200)/1773 - (-4)/6. Which is smaller: 0 or i?
i
Suppose 34 = 5*r - 3*o, -3*r - 3*o = -o - 9. Which is greater: 6 or r?
6
Let h be 773/57*63/(-735). Let q = h - -21/19. Is 0 less than q?
False
Let u be 4 - (4 + -4 + -2235). Suppose -4 = -o, 5*p - u + 484 = -5*o. Let f = p - 2435/7. Is f greater than or equal to 0?
False
Let k(f) = f - f**3 + 4*f - 4 + 4*f**2 + 0*f**2. Let s be k(5). Is s less than -6?
False
Let a = 11 - 11. Suppose 0 = -4*i - 5*d, a = 3*i - 2*d - 15 - 8. Suppose 3*z - q + 4 = z, -4*z + i*q = 20. Which is smaller: -2 or z?
-2
Let d(u) = u + 203. Let q be d(0). Is q bigger than 204?
False
Let p =