 p or -15?
p
Let d be 2/4 - 2/(-28). Which is greater: 2 or d?
2
Let k = -4.1 + 3. Let v = k + 0.6. Let x(r) = -r**3 - 5*r**2 - 5*r - 5. Let d be x(-4). Are v and d unequal?
True
Let m = -6.6 + 6.5. Let b = -3 - 1. Which is greater: m or b?
m
Let i = 13 - 12. Let q(f) = f**2 - 6*f + 6. Let j be q(5). Suppose -v + 17 = 5*z + j, 0 = -4*z - 5*v + 17. Which is bigger: i or z?
z
Let q = 19 - 21.2. Let d = -2 - q. Do 1/2 and d have the same value?
False
Let b = -6895/897 + 6/299. Which is greater: -7 or b?
-7
Let c = 21 - 20. Are c and 19 equal?
False
Let y be (-2)/(-2 - (1 - 1)). Which is smaller: -0.7 or y?
-0.7
Let w(y) = y**3 - 6*y**2 - 7*y + 2. Let a be w(7). Suppose -5*s + 60 = -5*h, a*s - s + 2*h - 24 = 0. Let l be 8/s*(-1 - -3). Are l and 1 non-equal?
False
Suppose 8 = -7*y + 3*y. Suppose -4*m = -9 + 1. Suppose -m = -h - 4. Is h at least y?
True
Let z = 5 + -5. Which is smaller: -1/21 or z?
-1/21
Let n be (1 + 2)*-1*1. Suppose 3*w + 17 = 4*k, 4 + 6 = 2*k. Suppose o = -5 + w. Which is bigger: o or n?
n
Let r = -27 - -28. Is 2 equal to r?
False
Suppose 0 = -3*k - i + 2 - 9, 0 = 5*i + 20. Is k equal to -3?
False
Suppose -5*a + 64 = -31. Suppose -5*s = -0*s - 4*u - a, -2*s = -2*u - 8. Suppose -y = -4*y - s. Which is greater: 1 or y?
1
Let w = 5 - 5.4. Let q = w + 0.4. Suppose 2*x - 4 = -2*s, -5*s - 2*x + 3 = -1. Is s less than q?
False
Suppose -2*t = -7*t. Suppose t*i + 2*i - 4 = 0. Let o(q) = -q**2 - q + 1. Let l be o(0). Is i at least as big as l?
True
Suppose 3*x = x - 6. Let p(o) = o - 10. Let y be p(7). Is y less than or equal to x?
True
Suppose -5*b - 17 = 13. Let h be ((-2)/b)/(5/3). Are h and 0 unequal?
True
Let o = 256/3 + -86. Let h = 0.96 + -1. Let j = h - -3.04. Which is smaller: o or j?
o
Let d = -3.2 + 2.9. Are d and 0.04 unequal?
True
Let p be (-1 - (-68)/16) + -3. Which is greater: p or 0?
p
Let z = 0.11 - 0.21. Which is smaller: z or 3/5?
z
Let c(r) = r**2 - 8*r + 6. Let o be 0 + (4 - 3) - -6. Let v be c(o). Which is smaller: -1/19 or v?
v
Suppose -79 + 9 = 5*r + 4*y, 0 = r - y + 14. Is r >= -16?
True
Let r = -9.4 + -1.6. Which is smaller: 0 or r?
r
Let z(d) = d**2 + 3*d. Let x be z(-3). Let k be (-3)/(-1 + 2 + -2). Let p = k - 3. Is x at most p?
True
Let j = -113/3 - -38. Let u(c) = -c + 4. Let m be u(4). Are j and m nonequal?
True
Suppose s + 7*p - 3*p + 18 = 0, -4*s = -5*p - 12. Let b = -6 - -6. Which is smaller: b or s?
s
Suppose -2*v = -p + 2 + 1, v + 3 = 0. Let k be ((-1)/p)/((-6)/36). Is k less than or equal to -7?
False
Let r(j) = j**2 + 2*j. Let c be r(-3). Suppose -2*z + 16 = 2*o, z = 2*o + 1 - 2. Suppose o*q = 14 - 2. Do c and q have the same value?
False
Let a = 0.33 + -5.13. Let n = a + 0.8. Do n and 1 have different values?
True
Let s = -1 - 0. Is -1 at most as big as s?
True
Let q = 14.967 + 0.033. Do q and 1 have the same value?
False
Let s = 565/56 + -68/7. Let z be (-6)/(-12) - 2/(-4). Do s and z have the same value?
False
Let j = 6 + -6.02. Let u = 0.27 + j. Let w = 0.05 + u. Do w and 1 have different values?
True
Let c = -5 + 4. Are c and -1 nonequal?
False
Suppose -5*y + 15 = -0. Let d = 10 - 0. Suppose 5*t - y*l + d = 0, t = -t + 4*l - 18. Which is smaller: -1 or t?
-1
Suppose 2*x = 2*h - 12, -2 + 23 = 3*h - 4*x. Suppose -2*l = -5*l + h. Suppose 0 = 3*k - 3 - 3. Which is smaller: l or k?
l
Let x = 3.95 - 4. Let n = x - 0.25. Let f = n + -0.7. Which is bigger: -2/7 or f?
-2/7
Let p = -2 - -3.8. Is p less than or equal to 1?
False
Let z be (30/32)/(-5)*(-4)/6. Which is greater: z or -10?
z
Let h = 113 - 113. Which is greater: h or 16/5?
16/5
Let c be (3 - -7) + -2 - 3. Which is greater: c or 4?
c
Let m be 1*1/(-3)*1. Let h(b) = -b**3 + 3*b**2 - b + 3. Let t be h(3). Which is smaller: t or m?
m
Let i = -2 - 1. Let w = i - 0. Let v = -2.9 - w. Is v less than -0.1?
False
Let j be 4/(-18) + (-906)/54. Are j and -15 equal?
False
Suppose y - 2*s = -2*y + 6, y - 2*s + 2 = 0. Suppose -2*z + 5 - 21 = -5*a, -3*a + 8 = -2*z. Is y >= a?
True
Let k(q) = q**2 + 6*q + 11. Let y be k(-5). Is y at most as big as 2?
False
Let c = 368/9 + -41. Suppose 4 = n + 3. Is c equal to n?
False
Let w = -1 - -1. Let r = 280/3 + -511/6. Let g = -8 + r. Is w greater than g?
False
Suppose 6 = -4*w - 2*g, -3*g + 7 = -3*w + w. Let l be 2 + w - 4/4. Which is greater: l or 2/5?
2/5
Let h = -22.1 - -148.1. Which is smaller: -1/3 or h?
-1/3
Let f(x) = 7 - 12*x + 9*x + 5*x. Let l be f(-6). Is -6 equal to l?
False
Let c = 61.8 - 62. Which is smaller: c or 1?
c
Suppose 2*x - 10 = -3*x. Let q(c) = -2*c**2 + 3*c - 1. Let o be q(x). Is -9/5 < o?
False
Let i(v) be the second derivative of 3/2*v**2 - 1/6*v**3 + v + 0. Let m be i(4). Is m greater than -1?
False
Let u(r) = r**2 - 7*r - 4. Let n be u(7). Let m be (-1 - -2)/((-2)/n). Let j = -139/2 + 71. Which is smaller: j or m?
j
Let k be -2 + 1 + 1 + -1. Let v be (4/(-18))/(20/(-3)). Let n = v + -13/30. Do k and n have the same value?
False
Let m(l) = l**3 + 6*l**2 + 3*l - 5. Let a be m(-5). Suppose -5*o = -4*o - 2. Suppose -3*j + 18 = -3*k, -o*j - 3*k - 2 = -9. Is a >= j?
True
Let y be (-10)/12 + 1/2. Let g = 20 + 0.5. Let t = g + -20. Which is bigger: y or t?
t
Suppose 91 = 5*m - 3*a - 86, 0 = 3*m - 5*a - 119. Are m and 33 nonequal?
False
Suppose -4*a - a + 15 = 0. Let i(w) = 2*w**3 - 2*w**a + 2 - 1 - 2*w**3. Let j be i(1). Which is greater: -1/2 or j?
-1/2
Let p = -0.199 - 0.001. Which is smaller: p or 1.9?
p
Let x be 4/(-59)*31/62. Is x < 0.1?
True
Let o(b) = b**2 + 3*b - 1. Suppose -3*f - 3 = 9. Let g be o(f). Suppose 5*n - 7*k + 3*k = g, 2*k + 1 = 3*n. Is -2/3 smaller than n?
False
Let m be -4 - (-2 - (-3 - -3)). Which is bigger: -5/3 or m?
-5/3
Let k = -1.2 + 1. Let s = 1.2 + k. Let x = -149 + 147. Which is smaller: x or s?
x
Let c(g) = 11*g + 1. Let d be c(-2). Let f be -1 + 5 + d/6. Which is greater: f or -8/5?
f
Suppose w - 1 + 4 = 5*u, 4*u + 52 = 4*w. Is w >= 18?
False
Let i = 7.97 - 8. Let t = i - -1.03. Is 0.4 smaller than t?
True
Suppose -5*z = -38 - 32. Suppose -15 = n - 3*i, z = 5*n + 3*i - 1. Let t(k) = -k + 6. Let h be t(5). Which is greater: h or n?
h
Let c(d) = -d**2 + 13*d - 23. Let j be c(9). Is 11 != j?
True
Let n = -6 - -11. Suppose 0 = -y - 3*m - 1, 3*m - 7*m + 28 = n*y. Let q be ((-2)/(-8))/((-6)/y). Is q > 1?
False
Let l = -16 + 13. Let t be (-3)/(6/20) - l. Do -6 and t have the same value?
False
Let b = 6.15 - 0.15. Is b at most as big as 0?
False
Let n(v) = v**3 - 6*v**2 - 5*v - 7. Let y be n(7). Is 7 > y?
False
Let f(h) = h + 3. Let d be f(-3). Suppose v + 1 - 5 = d. Is v less than 4?
False
Let v = -0.1 + -0.3. Let g = 0.3 + v. Let k = -3/13 - -22/39. Which is greater: g or k?
k
Let i(d) = d**3 - 8*d**2 - 8*d - 4. Let w be i(9). Suppose 0 = -3*f - w*y + 28, 2*f - y = -3. Which is smaller: 5 or f?
f
Suppose 2*j - 1 = 15. Is j greater than 8?
False
Suppose 4*m + 4*k = 4, -5*m = -k - 1 - 16. Suppose 4 = m*r - 2. Is 0 smaller than r?
True
Suppose 1 = -2*r - 5. Let f = r + 6. Suppose f*m = -0*m. Does -1/3 = m?
False
Let k(y) = y**2 + y - 43. Let r be k(0). Is -1 greater than or equal to r?
True
Let m be -2*(0 - 3/6). Which is bigger: m or -1/12?
m
Let o be (2/(4*-2))/(-1). Which is bigger: 11 or o?
11
Let a(s) be the third derivative of 0*s - 1/2*s**3 - 1/60*s**5 + 1/6*s**4 + 0 + s**2. Let q be a(3). Which is greater: q or -1?
q
Let n = -0.3 + 0.5. Let l = -5 - -5.1. Which is smaller: n or l?
l
Let k(a) = 4*a + a + 2*a - 6*a - 1. Let p be (-1)/(-3) + (-10)/(-6). Let v be k(p). Which is greater: -0.2 or v?
v
Let x = 12.19 + -0.19. Is x >= -0.1?
True
Let p(g) = -6*g + 5. Let h(m) = -7*m + 6. Let o(t) = -5*h(t) + 6*p(t). Let s be o(5). Which is greater: -4 or s?
-4
Let d be ((-3)/(-6))/(1/(-2)). Is 2/107 > d?
True
Suppose 0*d = -6*d + 6. Let n = 217 + -3469/16. Which is smaller: d or n?
n
Let z be (20 - 0)*(-7)/14. Let w = z + 5. Is w bigger than -4?
False
Let j = 970/33 - 92/3. Are -2 and j equal?
False
Let t = -3 - 1. Let g be (-2)/(-24) + (-1)/t. Which is greater: g or -1?
g
Let r = 10 + -6. Suppose -n + 5 = n - 3*b, 5*n + b - r = 0. Which is smaller: n or 0?
0
Let z = -0.31 + 15.31. Let n = z + -25. Which is smaller: 0.1 or n?
n
Let x = 11 - 7. Let u(f) = -2*f + 6. Let z be u(x). Let b be (2 + -1)*1/(-1). Which is bigger: b or z?
b
Let f = -1601/21 - -233/3. Let w = -3 - -4. 