e i(-3). Suppose -2*p + b*p = 0. Which is smaller: 1/5 or p?
p
Suppose -4*m - 3*s = -19, 7 = s + 2. Is m at most as big as -1?
False
Suppose z + 12 = 3*z. Is z at least 7?
False
Let x(o) be the second derivative of -o**5/20 - o**4/6 + 2*o**3/3 + o**2 - 2*o. Let a be x(-3). Does a = 1/6?
False
Let r(q) = -q**2 - 2*q + 1. Let k be r(-2). Let g(i) = i**3 + 2*i - 1. Let y be g(k). Is y not equal to 0.2?
True
Let g be 0 + ((-1245)/18 - -2). Let d = g - -67. Suppose -3*j = -0 - 3. Which is smaller: d or j?
d
Let b = -14 - -14. Let m = -0.1 + b. Let s be 0 - (2 + (-12)/10). Is s <= m?
True
Suppose 2 = n - 2. Suppose -8*w + 3*w = o - 15, o - 13 = -n*w. Suppose 4*j - 4*u - 4 = 0, 0*j + 4*j = -o*u - 14. Which is bigger: 0 or j?
0
Let s = -9 + 13. Suppose 3*p + s*q = 7*q - 12, -2*q = -10. Which is smaller: p or -1/5?
-1/5
Let r = -2765/11 + 251. Is 1 <= r?
False
Suppose 5*o - 3 = 2. Suppose 6*k = 10*k. Let r be 1 - 0 - (-1 - k). Which is bigger: o or r?
r
Let s(d) = -d**2 - 7*d - 6. Let y be s(-5). Suppose j - 2*v = -6*v - 12, 8 = -y*v. Is j bigger than -6?
True
Let i = 27.8 + -33. Let c = i - -5. Let z = -5 + 4. Which is greater: c or z?
c
Let u = -232/143 - -17/11. Which is smaller: u or -2?
-2
Let o = 28 - 68. Which is smaller: -39 or o?
o
Let j = -20 + 24. Suppose 4*u = 4*f + 60, j*u - 42 = 2*f + 20. Are u and 16 nonequal?
False
Let o = 0.27 - 11.27. Let g = 14 + o. Which is bigger: g or -2?
g
Let l be (1/3)/(7/21). Are l and 1 equal?
True
Let j(p) = 2*p**2. Let y be 2/3*9/6. Let b be j(y). Let q(s) = -s**2 - 7*s - 4. Let a be q(-6). Are b and a unequal?
False
Let j = -0.05 - -2.05. Let w = -0.5 + 0.6. Let b = -0.2 + w. Is b less than j?
True
Let k = 3 - 2. Is -2/473 less than k?
True
Suppose 2*d = 7*d + 15. Let h be 8 - (1 + 9/d). Suppose 4*z + 5*q - 1 = -h, 3 = -3*q. Is 1/5 bigger than z?
True
Let v = 11 + -4. Suppose 0 = 5*j + 1 - 31. Is j > v?
False
Let a be (-8)/14*(-5)/(-80). Is a at most 0?
True
Let y be (9/45)/(8/(-10)). Which is greater: y or -5?
y
Let f = -1.859 - -1.8. Let b = 3.159 + f. Let d = b - 0.1. Which is bigger: d or 0.1?
d
Let z = -621/8 - -78. Which is bigger: 0 or z?
z
Let i be (-1 - -1)/(5 - 7). Let s be (1 - 0) + 1/1. Let u be -1*2/s*-1. Which is bigger: u or i?
u
Let n(b) = -b + 10. Let y be n(12). Which is smaller: 21 or y?
y
Let g(a) = -a**3 + 2*a**2 - 1. Let i be g(1). Let h = 35 - 69. Let j be 0 + 1 + 38/h. Which is smaller: j or i?
j
Let m be 1/((-152)/(-52) + -3). Is -12 equal to m?
False
Let p = -8 + 4. Suppose -9*b + 4 = -5*b. Are b and p nonequal?
True
Let r = -19 - -4. Let t be r/9 - (-2)/(-6). Which is bigger: t or 0?
0
Let q = -5 - -5. Let b = -7 + 5. Let t be (-13)/15 - b/3. Which is smaller: t or q?
t
Suppose -2 = 5*i + 3. Let r = -5 - i. Let c = r + 6. Which is smaller: c or 10/9?
10/9
Let o(n) = -n**3 + 2*n**2 + 5*n + 6. Let s be o(5). Let c = s + 175/4. Let x = -2 + 4. Which is bigger: c or x?
x
Suppose d - h = 6*d + 1, 2*h = 8. Let v be (-1)/2 - (-186)/324. Which is bigger: v or d?
v
Let l = 0.8 - 3.8. Which is greater: 0.3 or l?
0.3
Let o = 0.2 + 0. Let v = -14.7 - -14. Let y = v + 0.6. Is o > y?
True
Suppose -2*d = 2*d, 3*r + d = 42. Let u = r + -13. Which is greater: 3 or u?
3
Suppose 3*d - 4*n = 37, -d - 3*n - 2*n + 6 = 0. Is d <= 4?
False
Let x = 4.3 - 4. Let h = x + -0.4. Let u = h + 1.1. Which is smaller: 2/3 or u?
2/3
Let b(y) = y**2 + 11*y - 7. Let t be b(-12). Suppose 3*j = -f - f + 9, 5*j - 15 = -t*f. Let q = 3 - 2. Is j < q?
False
Let t = 190 + -575/3. Let q = 6 + -4. Suppose q + 13 = -5*z, 2*b = 5*z + 11. Is b equal to t?
False
Let k(j) = j - 4. Let n be k(4). Let w = 35 - 34. Which is greater: n or w?
w
Let v(o) = -o**2 - o. Let m be v(-1). Is 0 != m?
False
Let d = -49 + 57. Which is smaller: d or 26/3?
d
Let j = 117 - 77. Suppose 0 = 5*l - 3*k - j, -3*k = 3*l - 5*k - 24. Is 8 at most as big as l?
True
Let v(b) = b + 4. Let o be v(-4). Let y be 64/(-24) - (-2 - 1). Which is smaller: o or y?
o
Let f be 5 + -2 + 14/5*-1. Is 2 less than f?
False
Let p = -12.13 + 0.13. Let b = p + 12. Let g(v) = v - 14. Let f be g(9). Is f at most b?
True
Suppose -2 = 2*v - 0. Which is smaller: 0 or v?
v
Let s = 35 - 29. Which is greater: s or 8?
8
Let o be -2 + (-42)/4 + 2. Let h = o + 277/26. Which is smaller: 1 or h?
h
Let b be (-1 + -14)*5/15. Suppose 0 = -3*x + 2*x - 3. Is x at most b?
False
Let a(d) = -13*d**2 + 16*d + 1. Let r(b) = -9*b**2 + 11*b + 1. Let z(p) = 5*a(p) - 7*r(p). Let w be z(2). Let f be (-2 - -3)/(10/w). Is f less than 0.1?
True
Suppose 3*f + 3*q = 42, 5*q - 3 = -2*f + 25. Is 0 at most f?
True
Let r(w) = w**2 - 4*w. Suppose -3*d = -4*h + 31, -4*d + d - 7 = 2*h. Let x be r(h). Which is greater: x or -4/7?
x
Let a(d) = -2*d**3 + 3*d**2 - 3*d. Let w be a(2). Let f be (2/5)/(6/w). Let z = -11 + 12. Is z smaller than f?
False
Let i be (2/(-4))/((-2)/(-8)). Let g be 6/15*(-7 - i). Is g bigger than -2?
False
Suppose 7 = d + 3. Suppose 4*f + 20 = -d*c, 3*c - f + 6*f + 25 = 0. Is -1/4 > c?
False
Let q = -7 - -4. Let b = q + 3. Let v = 2 + -2. Is v at most as big as b?
True
Let s = 41.9 + -42. Is 1 >= s?
True
Let z = -7/39 - 2/13. Let g be -1 + (-2)/(-3) - (-22)/39. Which is bigger: z or g?
g
Let a(i) = i**2 - i + 1. Let g be a(0). Is -0.046 smaller than g?
True
Let b be 28/6*(-21)/14. Which is smaller: b or -13?
-13
Suppose -2*q = 212 - 62. Which is smaller: -74 or q?
q
Let n = -0.8 + -0.2. Let y = 21.3 - 4.3. Let u = y + -17.3. Which is greater: n or u?
u
Let g(c) = 2*c**3 + 2*c**2 - 17*c - 4. Let s be g(-4). Which is greater: -31 or s?
-31
Let i(d) = -d**2 - 3*d - 1. Let j be i(-3). Let b = -17/33 + 2/11. Is b < j?
False
Suppose 3*z + 2 + 1 = 0. Which is smaller: z or -4?
-4
Let t(d) = -d**2 - d + 27. Let m be t(-6). Suppose 4*w - 2*o = -0*o + 18, 0 = -w - 2*o - 8. Are w and m equal?
False
Let r = 1/10 - 43/130. Which is smaller: r or 5?
r
Let m = 1006/5355 + 2/765. Is m >= -1?
True
Let v = -53 + 75. Suppose 4*i + v = 2*i. Let k = 7 + i. Is -3 at least as big as k?
True
Let s = -8 + 4. Let t = 3 + 14. Let o = t + -18. Which is bigger: s or o?
o
Let g = -0.8 - -1. Let f = -21.4 - -21. Let r = g + f. Which is greater: r or 0.2?
0.2
Let v be (-52)/72 - 2/(-9). Let h = 0.2 - 0.33. Is v not equal to h?
True
Let t = 16 + -10. Let v be 2/t - (-1)/(-3). Which is smaller: v or -0.1?
-0.1
Let w = -33 + 32.8. Which is bigger: w or -22?
w
Let r = 5 + -9. Let l = 22 - 14. Suppose 5*p + 5*b = 0, 0*b + l = -3*p + 5*b. Which is bigger: r or p?
p
Let g(i) = i**2 - 5*i + 4. Let t be g(3). Let m be -4*46 + (1 - 0). Let f = m - -1645/9. Is f smaller than t?
False
Suppose 4*m + 10 = 4*v - 14, 5*m = -4*v + 15. Which is greater: 6 or v?
6
Let m = -8.4 + 8. Let r = m + 1.4. Are 3 and r unequal?
True
Let o be 2/(-6) - 2/(-6). Let w be (30/8)/((-4)/(-28)). Let c = w + -727/28. Which is greater: o or c?
c
Suppose -2*o + 2 = -o. Suppose o = k - 3. Are 5 and k equal?
True
Suppose 4*b - 5 = 3*b. Suppose 2 - b = -3*a - 4*w, -5*a = -5*w - 40. Is a less than or equal to 3?
False
Let n(v) = v**3 - 5*v**2 - v + 1. Let u be n(5). Let x be (3 - (-5)/(-2))*-8. Do u and x have the same value?
True
Let i be (-74)/187*2/5. Let k = i - 2/85. Suppose 5*v = -2*l + 1, v + 3*v - l + 7 = 0. Which is greater: k or v?
k
Let c = 667/19 + -35. Let f(y) = -y**3 - 27*y**2 - 27*y - 26. Let k be f(-26). Do k and c have the same value?
False
Let h = -89.139 + 0.139. Let u = h + 85.96. Let m = 0.04 + u. Which is smaller: 0 or m?
m
Let o = 206 + -191. Is o bigger than 15?
False
Let f be 42/9*3/2. Is 5 less than f?
True
Let y = 93 + -75. Which is smaller: 20 or y?
y
Suppose 0 = 4*k + 8*o - 3*o - 4, -5 = -5*k - o. Let x(a) = a**2 - 2. Suppose -3*t - 3 = 3*l, 0*t - 5*l = -2*t + 19. Let g be x(t). Which is bigger: g or k?
g
Let d = -1299 - -5165/4. Is d < -7?
True
Let p = -1070/9 - -119. Which is smaller: 1 or p?
p
Let w = 0 + -2. Let h be 2/(-20)*-24 + -1 + -1. Which is greater: h or w?
h
Suppose 7*j = 4*j + 12. Does 2/5 = j?
False
Let q be (-2)/(-6)*(-6)/4. Let u be (-4 + 0 + -4)*-3. Let k = u + -26. Is k < q?
True
Let w be (-2)/(1 - (5 + -2)). Let q = -24 - -73/3. Which is bigger: w or q?
w
Let f(r) = r**2 - 3*r - 2. Let j be f(-2). Let c be 6/j + (-4)/(-16). Suppose -2*l + l + c = 0. Is l at least as big as -0.1?
True
Let s = -1 + -0.4. Let u = -0.4 