 n = t - -162. Suppose 2*o + 0*o = 36. Is o > n?
False
Let n be 26/8 - 2/8. Suppose 2*x + 3*c = -3*x - 17, 15 = -n*x - 3*c. Is -1/5 not equal to x?
True
Suppose 218*l - 219*l = -4. Is 16/3 less than or equal to l?
False
Suppose -4*f - 2*l + 23 - 601 = 0, 4*l = 5*f + 755. Which is bigger: -145 or f?
-145
Let q(p) = p**2 - 10*p - 9. Let j be q(9). Let y be 8/(-36) - (-14)/j. Let t = 19 - 19. Is y greater than or equal to t?
False
Let a = -27020 + 513526/19. Which is greater: a or 8?
8
Let z be 59/12*(-84)/56. Which is smaller: z or -6?
z
Let v = 80 + -78. Which is smaller: 29/10 or v?
v
Let i = 22171/12240 + -147/80. Which is smaller: i or 0?
i
Let q = -0.084 - -0.043. Let b = q + 0.141. Which is smaller: 94 or b?
b
Let w be (2710/540 + -5)/((-4)/(-6)). Which is greater: w or 1?
1
Let h = 5/251 - -77/21335. Let c = 326/595 + h. Let o be (-5)/20*1*0. Is o greater than or equal to c?
False
Let f(z) = -6*z**2 - 13*z + 10. Let p(l) = -l**2 - l + 1. Let x(m) = f(m) - 5*p(m). Let j be x(-9). Let d be ((6/j)/1)/(-6). Are -1/6 and d non-equal?
True
Let s = -30 + 13. Let i = 14 + s. Let j be 3/(12 + i)*-2. Is 5 smaller than j?
False
Suppose j = -f - 4, -9*j + f + 4 = -13*j. Is j greater than -136?
True
Let k(a) = 2*a + 9. Let p be k(-9). Let c be (p/7)/3 + (-198)/(-77). Which is greater: 3 or c?
3
Let y be (-20)/(-130) + 92/78. Suppose 0 = -4*q + 20, -2*q + 2 = -5*v - 3. Do v and y have the same value?
False
Let t = 79.39 - 81. Let f = 0.49 - t. Let v = f - 2.3. Which is smaller: v or -3?
-3
Let d = 2/137 - 284/685. Is d at most as big as 1?
True
Suppose 0 = -2*f - 3*j + 5, -5*j + 53 = 48. Is f smaller than -409?
False
Suppose 2*a - 85 = -5*b - a, -4*b = 3*a - 65. Suppose -23*r = -b*r + 6. Let f = -3 - -2.5. Is r > f?
False
Let g = 139 - 144.3. Which is greater: -0.1 or g?
-0.1
Let n(z) = 24*z - 12. Let s be n(-7). Let j = s + 1258/7. Suppose 0 = 2*d - 4*d. Which is bigger: d or j?
d
Let n be 6/(-3) + (-60)/((-42)/7). Is n bigger than 18?
False
Let c(q) = -9*q**3 - 13*q**2 - 8*q - 4. Let w(y) = -5*y**3 - 7*y**2 - 4*y - 2. Let j(m) = -4*c(m) + 7*w(m). Let t be j(-2). Do 15 and t have different values?
True
Suppose 674 - 79 = 17*u. Which is greater: 34 or u?
u
Let u be (-3)/6 - 2952/(-16). Which is greater: u or 182?
u
Suppose j = 14 + 22. Suppose -5*m - 4*v - j = -m, 5*m - v = -33. Let r(a) = a**2 + 8*a + 4. Let c be r(m). Which is smaller: -3/2 or c?
c
Let l be ((-16)/(-6))/((-10)/(-15)). Suppose -3*w + 15 = -3*j, -22 = 5*j - 4*w + l. Which is greater: j or -5?
-5
Suppose -5*u = -2 - 8. Suppose 4*g - x = 20, -8 = -2*x + 4*x. Suppose -2*m + g = -0*m. Is u at least m?
True
Let y(r) = -7*r**3 + 25*r**2 - 36*r + 37. Let h(s) = 4*s**3 - 13*s**2 + 18*s - 19. Let u(k) = 5*h(k) + 3*y(k). Let q be u(8). Which is bigger: q or -3/7?
q
Let l be (-7)/(10/(30/(-21))). Which is smaller: l or 1/698?
1/698
Suppose 6*a = -0*a - 42. Let k be 1*a/((-35)/(-10)). Which is bigger: k or 24?
24
Let t(v) = v**2 + 7*v + 18. Let p(b) = b**2 + 8*b + 18. Let h(w) = 4*p(w) - 3*t(w). Let k be h(-9). Is k < -10/9?
False
Suppose 13*z - 6*z = 0. Let j = -29751/67 - -444. Let f = 222/469 + j. Is f at least z?
True
Let m(r) = r - 13. Let x be m(17). Suppose -3*k = -0*k - 12. Suppose 4 = k*j + 4*v, 2*j + 3*v + 0 = -2. Is j <= x?
False
Let h = -0.0752 - 1.9248. Is 87.2 greater than h?
True
Suppose -7*d = 5*y - 3*d + 380, 2*y = 4*d - 124. Is -73 greater than y?
False
Let c = 58 + -59. Which is greater: -0.4 or c?
-0.4
Suppose -3*a = -5*a. Suppose s + 4*s - 5*v - 30 = 0, 4*s - 2*v - 16 = a. Let p be ((-2)/6)/(s/12). Are -1 and p unequal?
True
Let n(z) = 10*z + 1. Let s(p) = 21*p + 3. Let t(r) = 13*n(r) - 6*s(r). Let v be t(2). Which is smaller: v or 1?
1
Let a(c) = c**3 - 10*c**2 - 24*c + 1. Suppose -2*z + 7*z - 2*f = 52, 5*f - 32 = -z. Let r be a(z). Which is smaller: r or 2/61?
2/61
Let d be (7 - (-1 + 6))/((-12)/22). Let n = 3 + 1. Suppose b = -b - n*x + 14, 3*x - 9 = -2*b. Which is bigger: d or b?
b
Let d(s) = s**2 + 8*s - 9. Let c be d(-9). Suppose -f + 5*f + 84 = c. Let j = f + 20. Which is bigger: j or -2?
j
Suppose -4*y = 2*i + 4, 3*y - 4*i + 5 = -5*i. Is y at most -17?
False
Let a = -2433/19711 + -6/857. Is a >= -0.06?
False
Let l be (-4)/(-4648)*(-12)/(-3). Let n = l - -4027/11620. Let v = -1/20 - n. Which is smaller: v or 1?
v
Let m be 8 + -4 + 15/(-1) + 2. Let j = 18 - m. Is 28 bigger than j?
True
Suppose 4*g - 2 = 10. Suppose 0 = g*k - 4 + 1. Suppose 3*l - 2*b = k + 3, -4*l = -3*b - 4. Is l bigger than 5?
False
Suppose -2*c + 7*c = 3*k + 160, 4*k + 85 = 3*c. Suppose 5*h + c = -4*b, 0 = -0*b - 5*b - 5*h - 40. Which is bigger: b or -4?
-4
Let s = 21 + -25. Let z = -5 - -14. Let f = s + z. Are -1 and f nonequal?
True
Let a be 66/14 - (-2)/7. Let t = -29 - -26. Let i be t + (7 - -4) + -2. Which is greater: a or i?
i
Let w = -7 - -14. Suppose 0 = -5*x + 10, -5*q + x + 1092 = -3*x. Let n be q/121 - (-2)/11. Which is smaller: w or n?
n
Let z(s) = s**2 + 9*s - 14. Let w be z(-8). Which is greater: w or 4?
4
Suppose u = -5*u + 48. Suppose c - u - 26 = 5*h, -48 = -2*c + 5*h. Is c at most as big as 14?
True
Suppose -3214 = -269*f + 1897. Let t(u) = u**3 - 7*u**2 - 7*u + 10. Let h be t(8). Which is smaller: h or f?
h
Let r = 89.804 + 0.196. Let s = r - 97. Which is smaller: 0.3 or s?
s
Suppose -34595 = 84*s + s. Which is greater: -409 or s?
s
Let f = -22 - -19. Let o be (-8)/(-6)*(f - (-2 - -2)). Which is bigger: o or -17/6?
-17/6
Suppose d - 54 = 3*u, 4*d + 0*u - 174 = -2*u. Let t = 40 - d. Are -8 and t equal?
False
Let l be (-3)/2*10/1. Let z be (-3)/l - (-28)/(-20). Suppose -2*s - 2 = -0. Which is smaller: z or s?
z
Let b = -127 + 1011/8. Let c = 5/56 - b. Let v = -58/91 + c. Is v greater than 0?
True
Let p(y) = 4 - 11 - 3*y + 7. Let t be p(-1). Let f(w) = -w**3 + 4*w**2 - 2*w + 1. Let u be f(3). Is u >= t?
True
Let d(s) = -23*s - 207. Let u be d(-10). Is 19 at least as big as u?
False
Let r be 18/(4 + -2) - 0. Let m = r - 4. Suppose 9*n = m*n. Is -1 <= n?
True
Let h be (-59 + 39)*(0 + -5). Which is smaller: 12 or h?
12
Suppose 4*m - 113 = 2*o - 377, 4*m = -4*o + 552. Which is smaller: 134 or o?
134
Suppose -108*t = -106*t - 2, 5*t = -w + 8. Let d(y) = -2*y - 2. Let n be d(-3). Suppose -n*p - 10 = -6*p. Is w bigger than p?
False
Let r = 15.457 - 1.457. Which is greater: -0.14 or r?
r
Let q be -1 + -1 - (-4)/3. Let c = 61 - 67.9. Let l = c - -7. Which is bigger: l or q?
l
Let x(u) = -107*u - 104. Let b be x(-1). Is 65/31 bigger than b?
False
Let q = 120809 - 2051644/17. Let w = 124 - q. Which is smaller: 1/2 or w?
w
Let j(u) = u**3 - 6*u - 3. Let v be j(-2). Are v and 1/221 equal?
False
Let m = 3011/176 - 248/11. Which is bigger: m or -5?
-5
Let u be (-2)/1 - (-8 - (-36)/(-6)). Suppose -m - 2*m = 27. Let k = m + u. Which is bigger: k or 4?
4
Let f(t) be the third derivative of t**4/8 - t**3/6 + 89*t**2. Let s be -1*((-2)/(-1) - -1). Let y be f(s). Which is smaller: y or -9?
y
Let m = -4 + -10. Let z = m - -21. Which is bigger: 1/2 or z?
z
Let i(z) = 21*z + 57. Let l(p) = 5*p + 14. Let k(t) = -2*i(t) + 9*l(t). Let r be k(-4). Is r <= 0?
True
Let b(o) = 391*o + 62. Let d be b(1). Which is smaller: d or 454?
d
Let l = -30 + 38. Let p be (-4)/(-6) - l/3. Which is smaller: 10 or p?
p
Let p be 92/8 + 1/(-2). Let f = -11 + p. Let l = -36 - -182/5. Which is smaller: l or f?
f
Suppose -p - 2*p = -5*u + 124, 5*p = 3*u - 196. Let t be p/14 - 8/28. Let i be 0*(t + (-7)/(-2)). Do i and 1 have different values?
True
Let w be -1*1 - (-81)/75. Which is smaller: -1 or w?
-1
Suppose -2*f = 3*f - 4*c + 26, -20 = 4*f - 3*c. Suppose 0 = 4*o + n - 21, 5*n = -2*o - 5 + 2. Let z be o*-3*(-2)/(-9). Which is bigger: f or z?
f
Let n = -3 + 4. Let o = -1.08 + n. Let d = -6 + 5. Which is smaller: o or d?
d
Let l = -7243 + 50698/7. Suppose -7*j + 3*j - 4 = 0. Do j and l have the same value?
False
Let u = 0 + -0.05. Let z = 0.763 + -0.753. Is u at least z?
False
Suppose 0 = -4*z + 45*z. Which is greater: z or 917?
917
Let p be ((-25857)/2412)/13 - 6/(-8). Which is smaller: p or -1?
-1
Let c = 17987 - 8458. Let h = 5002727/525 - c. Which is bigger: h or 1?
1
Suppose 0 = -127*w + 138*w - 253. Let t be 22 + (-3 - 10/(-4)). Is t less than or equal to w?
True
Let m = -1649/2472 - -1/2472. Let n = 10 + -29. Is m smaller th