 2*s - 2. Let l be q(-5). Suppose -3*o + l = -2. Are n and o unequal?
True
Let o = 1/197 - -983/394. Suppose -3*y + 6*y - 5*n - 40 = 0, 4*n = 2*y - 30. Suppose -a + y*u = 23, 3*a + 6 = 4*u - 8. Does a = o?
False
Let o = 5.1 - 5. Suppose 3*i - 86 = i. Let t = -343/8 + i. Which is greater: o or t?
t
Let p be 9/(-15) + (-63)/45 + 1. Which is bigger: p or 3/359?
3/359
Let i(p) be the third derivative of p**5/60 - 11*p**4/24 - 5*p**3/2 + p**2. Let w(s) = -14*s - 72. Let b be w(-6). Let r be i(b). Is -4 at least r?
False
Let x be (9/4)/((-2340)/(-192)). Which is smaller: x or 0?
0
Let u = 1852 - 272242/147. Let a = -4/49 - u. Is a greater than 0?
False
Let r = -1390 + 1389. Which is smaller: r or -1/188?
r
Let m be (276/48)/((-1)/4). Let u = 54 + m. Let b = 16 - -16. Which is smaller: u or b?
u
Let t = 13 + -11. Suppose 4*s - 10 = t*s. Suppose -2 = 2*a - i - s, 4*a + i - 3 = 0. Which is smaller: 6/7 or a?
6/7
Suppose 3*j = -355 + 121. Let m be (-2)/((-16)/j) + 69/92. Which is bigger: m or -52/5?
m
Let y = 0.016 + -0.061. Is y less than or equal to 6/5?
True
Let p = -81 + 70. Let t be 10/55 + 915/p. Is -83 at most as big as t?
True
Suppose 4*i - 3*y = -0*i + 616, -2*y - 310 = -2*i. Which is smaller: 153 or i?
i
Let d be ((-1)/(-3))/((-4)/(-3)). Let f = 267.76 + -267.8. Which is smaller: d or f?
f
Let x be (-1)/(-1*7/(-168)). Which is smaller: x or -27?
-27
Let o be (((-748)/(-14))/11)/(4/14). Let x = 7 + -5. Which is bigger: o or x?
o
Let s = -7 - -10. Let k(a) = a**3 - 3*a**2 + 2*a + 4. Let w be k(s). Is w at most as big as 13?
True
Suppose 73*m + 23145 = 88*m. Which is smaller: 1 or m?
1
Suppose -3*o - 3*g + g = -219, 5*g = -15. Let f = o - 73. Which is smaller: 0 or f?
0
Let q = 16.7 + -4.7. Is -2/7 at least as big as q?
False
Let b be (-6)/(-2)*(-27006)/119. Let l = b - -681. Let y = l + -1/102. Is y > -1?
True
Let u = 70.9 - 74.6. Is 1 <= u?
False
Let f = 0.1 + 0.1. Let d be (-1)/(0 - 4/(6 + 2)). Suppose d*x - 3*x = 0. Which is bigger: x or f?
f
Let x = 4.287 + 0.013. Let f = -4.4 + x. Is -9/4 at least f?
False
Let k = -179 - -144. Does k = -36?
False
Let c = 71 + -82. Let h = -10.9 - c. Is h bigger than -5?
True
Let p = 5754/23 + -250. Which is bigger: p or 0?
p
Let p = 29600/17 + -1742. Which is smaller: p or -6/7?
-6/7
Suppose -6296 = -4*j + 3*l + 3393, 0 = -j - 3*l + 2426. Which is smaller: j or 2424?
j
Let a be 3*4/(-12)*3/1. Let t(b) = 3*b**2 + 7*b - 1. Let u be t(a). Is 0.2 > u?
False
Let b(j) = j**2 + 10*j + 23. Let g be b(-9). Suppose 7*d = -0 - g. Do d and -12 have the same value?
False
Suppose -3*f + 4 = 2*o - 6*f, 4*o - 4*f - 8 = 0. Is o greater than 28?
False
Let r = -1109.406 - -0.406. Is r not equal to 0?
True
Suppose -7*i + 2*i = -25. Suppose i*g - 50 = -0*g - 5*r, 5*g = 4*r + 32. Let k be -4*3/(-24)*2. Is k <= g?
True
Suppose -5*y = -f - 14, -3*y - 5*f = -6*f - 10. Is 8/15 at least as big as y?
False
Let h(f) = -2*f**2 - 85*f - 41. Let c be h(-44). Is -174 > c?
False
Suppose 0 = -5*x + 13 + 2. Let t be 4*x/(-6) - -12. Suppose -14 = 5*b + 3*q - 4, 4*q + t = -5*b. Is -2 greater than b?
False
Let m = 12 + -5. Let w = m + -6.9. Which is smaller: -7 or w?
-7
Let q = 3 + 13. Let i = -5 + q. Let k(f) = -13*f - 2. Let g be k(-1). Is i at most as big as g?
True
Let w = 1203 - 1202. Let s = 0.1 + -0.35. Is w < s?
False
Suppose -d = 4, -2*m - d - 10 = 2*d. Let y = 3 - m. Suppose 2*g = 4*i + 2 + 10, y*i = -4*g + 14. Which is smaller: -7/5 or i?
-7/5
Let q(d) = -d - 11. Let j be q(-7). Let m = -13 + 19. Let t(b) = b**3 - 7*b**2 + 5*b + 3. Let f be t(m). Do j and f have the same value?
False
Let m be 6/4 - 1/(-2). Suppose -165*k + 169*k - 16 = 0. Is m at least as big as k?
False
Let t = 17 + -58. Let o = 38 + t. Which is smaller: -9 or o?
-9
Suppose 0 = -4*t - 2*f - 16, 3*f = -4*t - 5 - 13. Let z be (t - (-8 - -2))/3. Let l = -839/5 + 169. Which is bigger: z or l?
l
Suppose -2*s - 2*j + 45 = -61, 4*j + 310 = 5*s. Which is greater: 648/11 or s?
648/11
Let t(n) = 18*n**2 + n + 3. Let z(c) = c**2 + c + 1. Let f(a) = -t(a) + 2*z(a). Let s be f(1). Which is smaller: s or 0?
s
Let i(b) = -25*b**2 + 139*b + 5. Let r be i(5). Which is greater: r or 85?
85
Let l(w) = 2*w - 9. Let o(d) = 3*d + 21. Let v(p) = p + 10. Let n(q) = -2*o(q) + 5*v(q). Let f(i) = -2*l(i) - 3*n(i). Let m be f(-6). Is m bigger than -1/8?
True
Let d be (-7)/(-4) + 12/(-16) + -3. Let j(p) = -p**3 - 9*p**2 - 7*p - 12. Let k be j(-9). Let c = k + -155/3. Which is greater: c or d?
c
Let y be 10/(-25) - (-22)/5. Suppose 5*t - 2*j - 4 = 0, 3*t - 8 = y*j - 0*j. Let b = -1491/8261 + -1/751. Which is smaller: b or t?
b
Let d = 1.106 + -1.295. Which is smaller: 1 or d?
d
Let f = -29/1133 + -6373649/23793. Let o = 268 + f. Is o smaller than -1?
False
Let x(t) = -t**2 - t + 5. Let s be x(0). Suppose -a - s = 0, -u = -4*u + a + 2. Let v be 0 - (-53)/(-55) - u. Which is smaller: v or 0?
0
Let j = 14 + 9. Is 21 greater than j?
False
Let l be (-8)/12 - (-435)/(-9). Let c be (-14)/l + (-36)/(-70). Is -0.3 less than or equal to c?
True
Let g = 1/43 - -40/129. Let p = 0.35 - 0.05. Let s = 0.7 - p. Is s greater than g?
True
Let b be (10/(-8))/(((-5)/(-20))/(-1)). Suppose -3*x + w - 7 = -3, -b*x = -4*w + 9. Which is smaller: x or -1/29?
x
Suppose b + 9*b = 50. Which is bigger: 9 or b?
9
Let u(y) = -59 - 4*y - y - y**2 + 64. Let p be u(-6). Is -1/2 <= p?
False
Let x = -653 - -595. Are x and -0.2 equal?
False
Suppose -5*o = -4*b - 24, 0 = -2*o + 3*b - b + 8. Suppose 9 = 2*t - 5*q - o, -3*q = -2*t + 11. Is t smaller than 6/5?
True
Let p = -1248 - -1295. Is p at least as big as 39?
True
Let j = 0.089 - -51.911. Let q = -52.2 + j. Do -1/3 and q have different values?
True
Let d = 16 + -16. Suppose 2*z = 6, -3*z + d*z = 3*s - 9. Does 14 = s?
False
Suppose 7*r = 3*r + 28. Suppose 5*c - r = -22. Suppose -4*l + l = -w + 1, -2*l - 4*w = 10. Is c not equal to l?
True
Suppose 5*l + h - 305 = 0, 3*l + 2*h = 8*l - 290. Let d = l + -61. Which is smaller: d or 3/7?
d
Let f = 28.04 + -28. Let j = -1.04 + f. Is j greater than or equal to -6?
True
Let m = -28 + 28. Is m smaller than -3/35?
False
Let k = -327 + 328. Is -2/101 != k?
True
Suppose 27 = -10*z + 117. Suppose -5*x - 9 - 1 = 0. Let s be (-6)/z*(-1)/x. Is -1/2 less than s?
True
Let b(z) be the third derivative of z**5/60 + 11*z**4/24 + z**3 + 5*z**2. Let q be b(-11). Suppose -q*j + j = 0. Are j and -5/4 unequal?
True
Let h(z) = 569*z + 15. Let q be h(1). Which is bigger: q or 585?
585
Let a = 1979/6 + -331. Let g = 6 - 8. Are a and g equal?
False
Let g be 80/(-25)*(-10)/(-18). Suppose 4*u - 2*b = -6, 2*u - 3*u + 4*b + 9 = 0. Is u equal to g?
False
Let b be 1/5*23 + 785/(-157). Which is bigger: 0.191 or b?
0.191
Let j = 68 - 69. Let t be -9*j/3 - 4. Are t and -5/17 non-equal?
True
Let u = -1186 + 1197. Which is bigger: u or 12?
12
Let q(a) = -7*a**3 - 4*a**2 - 3*a - 4. Let g(o) = o**3 + 1. Let h(f) = 6*g(f) + q(f). Let m be h(-3). Let y = -12 - -63/5. Which is bigger: m or y?
m
Suppose 3*h = -17 - 40. Are h and -3 non-equal?
True
Let d = -2.2 - -12.2. Suppose 4*q - 4 - 4 = 0. Let w be 13/(-26) + (3/q - 2). Which is smaller: d or w?
w
Suppose -45 = -7*z - 969. Which is smaller: z or -131?
z
Let z = 7.5 - -6.5. Let p = 13 - z. Which is smaller: p or 1/30?
p
Let v = -14 + 23. Suppose 40 = v*r - 5*r. Do r and 10 have the same value?
True
Suppose v = -4*p + 55, 5*v - 27 = -p + 1. Suppose 27 - 73 = -2*y - 4*w, -4*w - 32 = -4*y. Is p equal to y?
True
Suppose -2*k - 5 = -3. Let a = k - -1. Suppose a = 4*w - 7*w + 36. Does 13 = w?
False
Let y be 28/(-2)*(-11)/22. Let a be (y + -12)/95*(-1 + 3). Does 0.2 = a?
False
Let t = 269 + -257. Which is smaller: t or 17?
t
Suppose 6*g = 2*g. Let m = -7/225 + 752/2475. Which is greater: g or m?
m
Let p be (-1)/(-4) + 133/28. Let y(u) = u. Let t be y(p). Let r(c) = 4*c**2 - c + 1. Let l be r(1). Are l and t nonequal?
True
Suppose 2*a - 26 = -0*a. Is a less than or equal to 1/3?
False
Let j = 35.084 + -0.084. Let b = 60 - j. Which is smaller: 1 or b?
1
Suppose 253 = -0*i - 4*i - 3*n, 2*i - 5*n + 159 = 0. Let x = i + 68. Which is smaller: -13 or x?
-13
Let n(d) = -10 + 28 - 2*d - 2. Let m be n(0). Which is greater: 15 or m?
m
Suppose -10*p = -8*p - 4. Suppose -2*w - 2*v = -6, p*w - 6 = v - 0*v. Suppose -5*c = -w*q + 40, 5*q - 10 =