 b(c). Which is smaller: p or -2?
-2
Let t be (-498)/(-127) - (-2 + 6). Is t equal to -1?
False
Let s = 572 - 450. Is 122 equal to s?
True
Let d(p) = 5*p**3 - 9*p**2 + 4*p - 1. Let c(n) = 6*n**3 - 8*n**2 + 5*n - 1. Let r(s) = -4*c(s) + 5*d(s). Let o be r(13). Which is smaller: -1/39 or o?
o
Let r be -2 - ((-254)/46 - -3). Let x = -962 - -962. Which is bigger: x or r?
r
Let p = 57 + -3022/53. Let q = p + 59/318. Is -2/9 at least q?
False
Suppose -25*w = 13*w - 38. Is w >= -16/7?
True
Let c(u) = -u**3 - 21*u**2 - 51*u + 42. Let j be c(-18). Which is smaller: -0.47 or j?
j
Let l = -3/1157 - 225609/2314. Let f = l - -102. Which is smaller: 4 or f?
4
Let v be (2 + -7 - -2)/(14/126). Let w = -25 - v. Let g = 1 + -1. Which is bigger: w or g?
w
Let p = -3 - -2. Suppose -8 = 5*h - 3*i + 12, -2*h = -4*i + 8. Let u be 1/4 - (-5)/h. Is u at most p?
True
Let a(w) be the first derivative of -29*w**4/4 - 2*w**3/3 + w + 1. Let k be a(1). Which is smaller: k or -29?
k
Let g = -4674 + 33875/7. Let k = 165 - g. Let a = -21 + 22. Are k and a unequal?
True
Let a(y) = -y + 1. Let w be a(-3). Suppose u - 16 = j - 4*u, 9 = 3*j + w*u. Let c = 2/453 + 421/7248. Which is smaller: c or j?
j
Let k(f) = 6*f - 2. Let z be k(4). Let q be -1*1*6/z. Suppose -3*b + 4*a + 9 = 0, 4*b - 3 + 4 = a. Which is smaller: b or q?
b
Let s(b) = -2*b - 17. Let v be s(-12). Suppose 0 = -2*i - 13 - v. Let o be (-26)/i - 4/(-10). Do 4 and o have different values?
True
Let s(l) = -l + 5. Let v be s(4). Let k(o) = -o**3 + 1. Let y be k(0). Let i be 400/336 + y/(-3). Is v greater than i?
True
Suppose -4*y - 47 = 9. Let a = y - -25. Which is smaller: a or 9?
9
Suppose -12 = -31*c + 30*c. Let x(i) = 3*i - 8. Let k be x(c). Is k at most as big as 29?
True
Suppose 2*w - 3*v = -8*v - 210, 452 = -4*w - 2*v. Is 5 less than w?
False
Let b = 5/31 + 73/124. Suppose -3*w + 9 = -3*u, -6*u = -7*u + 4*w - 15. Is b != u?
True
Let b be 454/10 + 33/(-165). Do 44 and b have different values?
True
Let r(u) = -u**2 + 8*u - 3. Let t be r(6). Suppose p = -5*z + 10, 2*p + 13 - 6 = -z. Which is bigger: t or z?
t
Suppose 16 = -4*w, -r + 6*w + 12 = 3*w. Let o(c) = c**2 - 5*c - 5. Let g be o(6). Let q be 22/(-10) - -3*g. Is q less than r?
False
Let n(c) = 7*c + 113. Let b be n(-11). Is 36 bigger than b?
False
Let m = -136 + 143. Is m equal to -5/3?
False
Let z = 7557/14 + -540. Suppose 4*w - 4 = -5*j, -4*j - 4 = 2*w - 6*w. Which is smaller: z or w?
z
Let n(i) = 3*i**2 - 9*i - 7. Let m be ((-5)/(-4))/(2/(-8)). Let a(q) = -q**2 + 5*q + 3. Let x(b) = m*a(b) - 2*n(b). Let l be x(-7). Is l at least 1/5?
False
Let l = -85 + 84.63. Let u = l - -0.47. Which is smaller: u or -38?
-38
Let a = -1826.9913 - -1827. Which is greater: a or -2?
a
Let t = 0.5 - 0.5. Let o = 1865 + -1896. Which is greater: t or o?
t
Suppose t = -8*t + 54. Let g(c) = c**3 + 5*c**2 - c + 1. Let n be g(-5). Is t equal to n?
True
Suppose -2*x - 2*x = 4*u - 44, 0 = -5*u - 4*x + 51. Suppose -2*b - 5*c = -u*b - 5, 4*b = 2*c. Let q be (0 + 2)*b/19. Which is bigger: 1 or q?
1
Suppose -n + 2500 = 2506. Which is bigger: n or 91?
91
Let d be (-70)/246 - (-5)/15. Suppose 12*a - 22*a - 10 = 0. Which is smaller: a or d?
a
Let f be -5*(0 + 7 - 3). Let g(q) = -q**2 + 2*q + 3. Let x be g(0). Let r be (-10)/f - x/10. Is 0 > r?
False
Let z = 101 + -91. Let k be 2/z + 573/(-15). Are k and -37 unequal?
True
Let k be ((2 + (-1 - 1))/2)/2. Suppose 0 = 3*m - 4 - 23. Let a = m + -10. Is a < k?
True
Suppose 2*z - 1 + 5 = 0. Let r be z/(-9) + (-102)/(-27). Suppose -2*n - 2*w - 6 = 0, -2*n + 5*n + r*w + 14 = 0. Which is bigger: 0.01 or n?
n
Let a = 2 + 4. Let i be a/52*36/27. Are 1 and i equal?
False
Let o = 3765/8 + -470. Let i = -7/24 + o. Which is bigger: 4/7 or i?
4/7
Suppose -9*g - 2 = -11*g. Let l = 4 + -3. Let d be (15/6)/(l/2). Does d = g?
False
Let l = -2 + 4. Let o = -2.19 - 1.81. Let j = l + o. Which is smaller: j or -2/9?
j
Let z = -126/409 + 82150/261351. Is -1 bigger than z?
False
Let z be -1 - -3 - -1 - 3. Suppose 18*i = 23*i - 15. Let c be -1 + 2 + (-6)/i. Which is greater: z or c?
z
Suppose o - 43 = 45. Let m be 16/14 - 22/o. Let h = m - 9/14. Which is greater: -2 or h?
h
Let c = 9 + -5. Suppose c*g - 3*g = 2*o - 21, 0 = -o + 5*g + 33. Suppose -3*r - 13 - o = 0. Which is bigger: r or -6?
-6
Let r be 18/198*(-4)/22*3. Which is bigger: r or 1?
1
Suppose 6*t = 2*t + 8. Let u = t + -4. Which is smaller: u or -3?
-3
Let y(c) = -3*c**2 + 3*c. Let m(g) = g**3 - 11*g**2 + g - 9. Let w be m(11). Let q be y(w). Let a be q/(-63)*28/6. Which is smaller: 0 or a?
0
Let b = 88.066 + -0.066. Let m = 102 - b. Which is greater: m or -1?
m
Let y be (-3)/(-15)*-1 - 297/15. Let f = y + 24. Is 13/5 at most f?
True
Let z = 7347729/26 - 282229. Let f = 376 - z. Is f at most as big as 0?
False
Let i = -98 - -210. Let z be (-2)/10 - i/(-210). Is 1 < z?
False
Suppose 0 = -4*q + 3*q. Suppose 0 = 4*l + l + 3*p - 17, q = 4*l + 4*p - 12. Is l bigger than 17/6?
True
Let t = 13 - 13.51. Is -13 equal to t?
False
Let z = 101 + -99. Let a be 0 + (1 - 0)*0. Suppose 5*u = a, 0 = -z*k - 4*u - 0*u. Which is smaller: 4/9 or k?
k
Suppose 2*o - 6 + 0 = 4*u, 0 = 3*o - 3*u. Let f be (-3)/5*(-2 + o). Suppose -k = 2*z - f*z + 2, -2*k - 3*z - 24 = 0. Which is bigger: k or -5?
-5
Let v be 1/2 - 561/(-22). Let z be 33/(-22)*(-50)/(-3). Let c = z + v. Which is smaller: c or 2?
c
Suppose 4*b = 8*b - 16. Suppose b*f = -3*f + 112. Which is smaller: 17 or f?
f
Suppose -6*b + 7*b + 6 = 0. Let i = -6 + 9. Suppose -g + i = 2. Which is greater: b or g?
g
Let w be (-1)/(-8)*(-3 + 223/(-207)). Let s = 2/207 + w. Which is bigger: s or 6/5?
6/5
Suppose 2*h + s = 2*s - 9, -5*s - 39 = 2*h. Let i = 72 - 70. Suppose i*y = -0*y - 18. Which is greater: h or y?
h
Let t be ((-2)/(-4))/(4/8). Suppose -8*d + 9*d = -t, 2*w - 4*d = -36. Is -20 at least as big as w?
True
Let a be 27677/96330 + 1/(-6). Let m = a - 1/65. Let s be 2/3 - (-2)/6. Are m and s non-equal?
True
Suppose -14 + 14 = 5*p. Which is smaller: p or 1/449?
p
Suppose -b - 74 = 59. Let c = -1329/10 - b. Which is smaller: 0 or c?
0
Suppose -2*z - z + 63 = 0. Let a = 21 - z. Is -1/12 at most as big as a?
True
Suppose -9*j + 16*j = 182. Suppose -29*o + j*o = 60. Which is smaller: -22 or o?
-22
Let q = -491 - -497. Is q < -110?
False
Let k be 4/32 - (-233)/(-8). Let o = k - -51. Is 22 bigger than o?
False
Let t = -4 + 16. Suppose 2*q = -q - t. Let u be (-27)/6 + 2/q. Is -5 < u?
False
Suppose -4*k = f + 4*f - 3, -5*f = -3*k + 11. Let y(o) = 5*o**2 + 204*o - 39. Let l be y(-41). Is l >= f?
True
Suppose 4*o + 28 = p, 57*o = 4*p + 53*o - 64. Is p at least 31?
False
Let a = 0 - 2. Suppose 2*x = 12*x + 10. Which is bigger: x or a?
x
Suppose -8*k = -10 + 34. Let r be 5 - (1 + -4)/k. Do 6 and r have different values?
True
Let k = 13.5 + -11.6. Which is greater: 2 or k?
2
Let c = -2788 - -2788. Are 13/55 and c equal?
False
Let p = -9.871 - -9.771. Let r be 89/189 + (-2)/7. Is p bigger than r?
False
Let m = 1147 - 1147.5. Which is smaller: m or 0.26?
m
Let j(g) = g - 7. Let h be j(5). Let b = h - -1. Let y be 4/84 - (-3)/(-9). Are y and b non-equal?
True
Let j = -17.6 + 16.23. Which is greater: -1/4 or j?
-1/4
Suppose 5*h - 3 = -f, 2*f + 2 = 7*h - 9*h. Which is smaller: -0.032 or h?
-0.032
Let k(o) = o + 1. Let i(y) = -6*y + 14. Let w(g) = i(g) + 4*k(g). Let p be w(12). Let a be -5 + -1 + 0/3. Is a at least p?
True
Suppose 3 = -9*b - 114. Let o be (-1 - 0)*62/b. Let l = o - 5. Which is smaller: l or 0?
l
Let k(j) = j**3 + 7*j**2 + 8*j + 4. Let a be k(-6). Suppose x + 1 = 3*x + 5*m, -m - 43 = -5*x. Let d = x + a. Is 2/3 at most d?
False
Let r be 36/4 + (-1312)/(-4). Is r smaller than 335?
False
Suppose 0*g = -5*g - z + 24, 2*g = -2*z + 8. Which is bigger: 13 or g?
13
Let o(f) = -f - 12. Let j be o(-6). Let p = 416 - 428. Let k be (6/p)/((-16)/j). Which is smaller: k or 1?
k
Let i = 965 + -965. Which is smaller: i or -0.1?
-0.1
Let o(s) = s**3 - 6*s**2 - 4*s. Let x be o(6). Suppose -4*a = 6*j - 0*a + 134, 4*j - 3*a = -95. Let p = x - j. Which is smaller: -1/3 or p?
p
Let j be 3/7 - (-27)/(-63). Let c be 1*(3/(-3) + j). Let r be 33/(-12) - (-2)/(-8). Do r and c have the same value?
False
Let g(n) be the first derivative of -n**2 - 64*n - 47. Let j be g(-34). Let t = 667/266 + -1/133. Is j at