= -5*k - 265, 0 = -2*k + 2*d - 138 + 36. Is -52 < k?
False
Let b = -15/8 + 3/8. Which is bigger: 2 or b?
2
Let y = -5 - -9/2. Let w = 5762/15 + -384. Is y bigger than w?
False
Let u = -4 - -5. Let b = u + 1. Suppose -2*d - 4 = -3*d. Which is bigger: b or d?
d
Suppose 2*k = -5*d, -7*d + 2*d + 5*k + 35 = 0. Is 2 bigger than d?
False
Suppose 0*x - 4*x + 41 = -3*l, 0 = -4*x + 20. Let b = l - -10. Suppose -b*m = 12, -3*q + 3*m = 3 - 33. Is q at least 6?
True
Let i = 14 + -4. Suppose -3*t = 2*u + i, 2*t - 1 + 5 = 0. Let p be (-2 + 0)/(4 + u). Do p and -1 have the same value?
True
Let t(r) = -2*r**2 - 16*r - 14. Let q be t(-7). Which is bigger: -2 or q?
q
Let u = -5 - -9/2. Suppose -4*c + 8 = -4*y - 0, -4*y = -c + 8. Which is greater: u or c?
c
Let d = 13/3 + -113/24. Which is greater: 0 or d?
0
Let t = 3.5 + -4. Let p = t - 5.5. Let j = 4 + p. Which is bigger: 0.2 or j?
0.2
Suppose -5*s + 6*s - 2 = 0. Let k be (2/6 - 0)/s. Are k and 1/5 unequal?
True
Let w(x) = -x**3 + 6*x**2 - 5*x - 3. Let r be w(5). Are -3 and r non-equal?
False
Let o be 28/(12/(-9)*9/(-6)). Which is smaller: -1 or o?
-1
Let y = -14.2 + 8.1. Let a = -6 - y. Which is bigger: a or 2?
2
Let k be ((-3)/2)/((-3)/56). Suppose 3*i - 12 = -5*o - 33, -4*i - 2*o = k. Let c(t) = t**2 + 8*t + 5. Let y be c(i). Are y and -1/2 equal?
False
Let h(r) = r**3 - 23*r**2 + 25*r - 44. Let c be h(22). Which is smaller: c or 19?
19
Let m = -190 + 571/3. Is m > 49?
False
Let f(j) = -j**3 + 6*j**2 + 3. Let a be f(6). Let y be a/2 - 261/126. Which is bigger: y or -2?
y
Suppose 9*f - 138 - 186 = 0. Do f and 38 have different values?
True
Let v = 0.06 + -0.06. Let k = -42 + -62. Let a = k - -726/7. Do v and a have the same value?
False
Let z be (10/(-15))/((-92)/12). Is z != -4?
True
Suppose -3*x - b = -28 - 32, 3*x - b = 66. Which is smaller: x or 20?
20
Let a(o) = o**2 + 33*o + 26. Let f be a(-30). Is f <= -63?
True
Suppose 0 = -3*o - 5*b + 12, -3*o + 4*b + 0*b = -12. Suppose o*c + 0 - 4 = 0. Is c < 3/11?
False
Let c be (-201)/285 + 6/10. Which is bigger: -2/5 or c?
c
Let t = 18 + -89/5. Let x be 2/5*(-1 - -6). Let y = -1 + x. Does t = y?
False
Suppose -15 = -3*y, 2*v + 3*y + y - 40 = 0. Let r be 4/((-12)/(-9)) - v. Suppose -5*h + 20 - 3 = -4*i, -3*i + 4*h - 12 = 0. Which is greater: r or i?
r
Let z = -19 - 19. Let a = z - -79/2. Let q(h) = h**2 + 8*h - 9. Let w be q(-9). Which is bigger: a or w?
a
Let s be (4 - 11)*(-54)/231. Which is bigger: s or 1?
s
Suppose -4*n + 27 = -n. Let p = n - 7. Let i be 2*(p + (-2)/2). Which is greater: i or -1/3?
i
Let z = -1152/7 - -164. Are 0.1 and z equal?
False
Let z = -49 + 45. Let h(c) = c**2 + 6*c + 2. Let r be h(-5). Which is smaller: z or r?
z
Let c = 467/770 + -1/154. Let z = 1.3 + 3.7. Which is smaller: c or z?
c
Let o(q) = q**3 + 4*q**2 + 4*q - 4. Let g be o(-3). Which is bigger: g or 2?
2
Let g(v) = v**3 + 2*v**2 + 5*v + 2. Let z be g(-3). Let w be ((-4)/(-16))/(z/(-48)). Let l = -43/99 + w. Does l = -1?
False
Let d = -3 + 1. Let q(a) = 2*a**2 + 2. Let i be q(0). Which is bigger: i or d?
i
Let t(d) = -d**3 - 3*d**2 - 2*d + 2. Let p be t(-2). Let h be p*(1 + (-22)/20). Is 0 > h?
True
Let m = -6 - -6. Let f = 0 + m. Is 3 equal to f?
False
Suppose -3*t + 27 = -2*k, 3*k - 8*k = -t + 35. Let v be 2/4 - k/4. Suppose v*z - 2 = -4. Is -2 less than z?
True
Suppose 2*w - 7 = -5*y, -5 = -y + 6*y + 5*w. Suppose 3*h - x - 6 = -4, -28 = y*h + 5*x. Is 1 equal to h?
False
Let v = 1028/3 - 339. Does 4 = v?
False
Let f = -936 + 2777/3. Is -10 at most f?
False
Let u be ((-1 + 1)/1)/1. Let h be 1 - u - 20/4. Suppose -4*k = -r - 2, 2*k + 2*k = 3*r + 6. Is h bigger than r?
False
Suppose 21 = -5*c + 6. Which is smaller: c or -5/3?
c
Let v = 1817/3156 - -2/263. Is 0 smaller than v?
True
Let v(l) = 5*l**3 + 2*l**2 + l. Let c be v(-1). Let o be c + 3 + (-1)/(-3). Which is bigger: o or -2?
o
Let s be 10/(-4)*(-48)/20. Suppose -5*k = -5, 0*w - k = w - s. Is 6 bigger than w?
True
Let t(v) = v + 5. Let q be t(0). Let d = 4 + 0. Suppose -3*c = -2*c - d. Which is smaller: q or c?
c
Let b = -17.13 + 0.13. Let j = b - -13. Is 2 bigger than j?
True
Let a = 69/5 - 19. Let z = 89/20 + a. Is -1 less than or equal to z?
True
Let b = 0.4 + 0.1. Let g = -4.5 + b. Let l = -4 - g. Is l greater than or equal to 0.1?
False
Let a(f) = -f + 8. Let j be a(8). Let b = j + 3. Suppose 2*w - w + 4*r = -20, 0 = b*w + r + 5. Are w and -1 equal?
False
Let l be 16/56 - ((-6)/7)/(-3). Which is bigger: l or 2/27?
2/27
Let u = 0.22 - 4.32. Let i = u + 0.1. Is -2/7 >= i?
True
Suppose -4*b - 273 = 4499. Let h = 354319/297 + b. Let k = h - 31/297. Is k >= -1?
True
Let h = 27 + -19. Is 1 at most as big as h?
True
Suppose 5*i - 2*i = 9. Suppose -5*b + 6 = 5*j - 9, i*b = 5*j - 23. Let v(p) = p**3 - 4*p**2 + 3*p - 3. Let t be v(3). Which is smaller: t or b?
t
Suppose -3*l = 12 + 3. Let x be (-1)/3 + (-20)/(-6). Let s = l + x. Is s less than or equal to -3?
False
Let y be 61/21 - 12/4. Let s = y + -17/42. Which is greater: s or -4?
s
Suppose n + 0 = -5. Let d(j) = -j**2 - 4. Let f be d(0). Let s = n - f. Which is greater: -4/3 or s?
s
Let q = 25 - 58/3. Which is bigger: q or 5?
q
Suppose 5*q = -6*m + 2*m + 33, 0 = -2*m + 2*q - 6. Let k be m/(-1) - (-8)/4. Is 2/3 less than k?
False
Let t = -16 - -65/4. Let v = -3 + 2. Which is bigger: t or v?
t
Let t(y) = y**3 + 5*y**2 - y - 5. Let k be t(-5). Suppose -1 = -h - k*h. Which is bigger: 2/11 or h?
h
Let i = -23 - -13. Let l = 10 + i. Which is smaller: -3/7 or l?
-3/7
Let p be 0 + 1 + (-48)/44. Are p and 1 unequal?
True
Suppose 2*q - 2 = 4*q. Let c = -118 + 467/4. Which is bigger: q or c?
q
Let m(p) = 5*p**3 - 2*p**2 - p + 2. Let b be m(1). Suppose 0 = b*v - 4 - 4. Suppose -3*o = o - 8. Are o and v nonequal?
False
Suppose 5*q - 7 = 3. Suppose -q*i + 8 = 2*i. Let b be (i/(-3))/(20/(-6)). Which is greater: b or -1?
b
Suppose 2*p = 3*p - 2. Let w be (-46)/(-12) - 2 - 1. Is p smaller than w?
False
Let g = -8/11 + 6/11. Is g != 8?
True
Let c be (0 - -2)/((-88)/6). Which is smaller: c or 1?
c
Let o = -27 + 25. Suppose 0 = -3*q - 2 - 1. Which is greater: q or o?
q
Let w = -17 - -17.4. Let f = -0.5 + w. Let d = 22/3 - 7. Which is smaller: f or d?
f
Let s be 3/12 + 2/(-16). Let v = 5/24 + s. Which is smaller: v or 0?
0
Let j = 0.3 + -0.2. Let c be -1*((-12)/3 + 3). Is c < j?
False
Let j(t) = -t**3 - 8*t**2 - 5. Let a be j(-8). Is a less than or equal to -5?
True
Let q = 0 - -1. Is -1/3 != q?
True
Let m(x) = -x**3 - 5*x**2 - x - 5. Let w be m(-5). Let d be (-1664)/(-126) - 6/(-27). Let a = -13 + d. Which is bigger: a or w?
a
Suppose -15*y = -13*y. Let v = 143 + -711/5. Which is smaller: y or v?
y
Let b = -1876 - -3923/2. Let s = b + -87. Suppose -l + 2 - 5 = 0. Which is bigger: s or l?
s
Let u = 10 + -14. Let g = u + 3.8. Which is smaller: g or 1?
g
Let k = -1.7 - -0.88. Let c = -0.02 - k. Which is greater: c or -0.1?
c
Let t = -0.7 - -0.4. Let i = t + 1.3. Suppose -6*f = -18*f + 24. Which is smaller: i or f?
i
Let a = 0.3 - 0.2. Is -8 not equal to a?
True
Suppose 0 = -3*o - 4*j - 43, -3*o + 0*o + 3*j - 36 = 0. Let u = 8 + o. Is -4 > u?
True
Let m = 8 - -4. Let q = m - 70. Let x be -2 - (2 - q/(-15)). Is x != 0?
True
Suppose 13 - 9 = 2*p. Which is smaller: 10/7 or p?
10/7
Suppose -2*i - 3*w = 3, 21 = 2*i - 2*w - 3*w. Let q(x) = -2*x + 7. Let h be q(i). Which is smaller: -4 or h?
-4
Let b = 89 + -86. Which is smaller: b or 1/3?
1/3
Let h be (-2)/6*6/(-4). Suppose -k + 5*k = -28. Let a = k - -9. Is h != a?
True
Let u = 5 + -2. Are u and 4 unequal?
True
Let w = -885/13 - -68. Let o(n) be the second derivative of n**3/3 - 17*n**2/2 + 8*n. Let v be o(8). Is w greater than or equal to v?
True
Suppose 8*n = 5*n. Suppose n = -z - z. Is -1/7 at most z?
True
Let h = -52 - -48. Is h at most 2/15?
True
Let a = 0.7 - 1.7. Let s = -6.11 + 0.11. Which is bigger: s or a?
a
Suppose 0 = -0*m - 3*m + 24. Which is greater: 7 or m?
m
Let s = -1493/6 - -254. Let p = -9/2 + s. Do p and 0 have different values?
True
Let y(r) = -r + 4. Let b be y(-3). Is 5 > b?
False
Let u be (-1)/(-2) - 3/6. Let h be (0 + -3)*(-688)/(-24). Let z = 254/3 + h. Which is greater: z or u?
u
Let q = -529031 + 48142509/91. Let a = 54/7 - q. Is -1 < a?
True
Let k = -1/11 + -9/22. Suppose -2 = -5*o - 2*c - 30, 16 = -4*c. Which is greater