w?
c
Let d be (-5)/(-15) - 473/(-3). Let o = d - 2843/18. Which is greater: 1 or o?
1
Let z = 1 - 2. Let g = 4 - 7. Let y be (-3 + 9 - 2) + g. Is y equal to z?
False
Let l be 5*(-6)/30*-1. Which is greater: l or 1/37?
l
Suppose 4*n - 8 = -6*w + 2*w, -3*w + 4 = 5*n. Suppose -o - 2*v = -6*o - 4, w*o = -4*v + 8. Do o and -1/5 have the same value?
False
Let f = 76 + -81. Which is bigger: f or 2?
2
Let t = -351/56 + 57/8. Which is bigger: t or 0?
t
Let n be 9174/24 - 1*-1. Let g = -387 + n. Let r = -83/20 - g. Is r at least -1?
True
Let b be -1 - 1 - 7/(35/190). Is b greater than or equal to -40?
True
Let p = 5.21 + -0.21. Which is bigger: -0.3 or p?
p
Suppose 0*t - 4*t + 28 = 0. Let f be (-338)/(-91) + 2/t. Which is smaller: 6 or f?
f
Suppose 414 = -17*a + 8*a. Is -1/3 greater than or equal to a?
True
Suppose 5*y - 5*w = -35, 3*y + 5*w + 4 = -25. Which is smaller: -2/7 or y?
y
Let s = -0.25 - -0.2. Let a = s + -1.95. Which is bigger: -1 or a?
-1
Let n be (-8)/(-6)*(-27)/6. Let c be (n/8)/(168/64). Is 0 at most as big as c?
False
Let a be 45/6*1/3. Which is greater: a or 3?
3
Let j(p) = p**2 - 6*p. Let x be j(6). Suppose x = -4*q + 8. Which is greater: q or -2?
q
Suppose 4*b = b + 18. Suppose 4*v + 5 + 3 = 0. Let f = v + b. Is 4 > f?
False
Suppose 2*d = 0, z - 30 - 5 = 4*d. Which is smaller: -0.1 or z?
-0.1
Let p(x) = -x**2 + 10*x - 1. Let y be p(10). Is y >= 0?
False
Let u(l) = l**2 - 1. Let q be u(-1). Let v = -282998 + 208569492/737. Let r = -3/67 + v. Is r at most q?
True
Let m be 12/21*14/4. Let n be 4/(4/(-3))*-1. Are m and n equal?
False
Let s = -41 - -40.83. Is s equal to 0.1?
False
Let m be (4/(-10))/((-44)/120). Does 2 = m?
False
Suppose 2 + 3 = -5*i. Is -1 greater than i?
False
Let j be ((-1)/(-1))/((-2)/6). Suppose 2*g - 2*c + 16 = 0, 30 + 5 = -4*g + c. Let z = g + 7. Are j and z unequal?
True
Let t = -1.7 - 0.3. Let m = -1.05 + 0.05. Which is smaller: m or t?
t
Let h = 1.2 + -3.2. Which is greater: h or 0?
0
Let b = -17 + 17.3. Which is smaller: b or 0.5?
b
Let i = -0.91 - 8.89. Which is smaller: i or 0?
i
Suppose -8*c - 6 = -10*c. Let s = 4 - 3. Which is smaller: c or s?
s
Suppose z = 6 - 7. Which is bigger: z or 5?
5
Let p = -3 + 6. Suppose 0*a = 2*a - 4. Is p at most as big as a?
False
Suppose -8*g = -5*g - 69. Which is smaller: 21 or g?
21
Let k = 1 - -1. Let s = 49/78 - -1/26. Which is smaller: s or k?
s
Let i = -10.5 - -15. Let n = -2.6 + i. Let b = n + -2. Is b greater than or equal to 1/3?
False
Let o = -115/903 + -2/129. Let a = -13 + 15. Which is smaller: o or a?
o
Suppose i = w - 5, 0*w = -3*w + 4*i + 17. Suppose -4*q + 234 = -0*j - 2*j, -w*q + 183 = j. Let h be (-39)/q + (-2)/(-5). Which is greater: 0 or h?
0
Let x = 0.4 - 0.3. Let y be (-26)/(-1*1/1). Suppose -4*v = 2*q - y, -15 - 3 = -2*v - 2*q. Which is greater: x or v?
v
Suppose -3*z - 5*i - 11 + 0 = 0, -1 = z + i. Suppose 5*s - 1 + 6 = 4*f, -25 = 4*s + f. Let y be 5/s + 1*4. Are y and z nonequal?
False
Let l = 2/9 - -1/9. Let v be (-2)/(-4) - (-1)/2. Which is smaller: v or l?
l
Let p be ((-10)/(-75))/(2/(-10)). Which is smaller: p or 0.29?
p
Let h be -5 - -2 - (-2)/1. Is h less than -1?
False
Let f be 3/(-9) - (-10)/3. Let o be (((-5163)/(-9))/(-1))/f. Let q = o + 191. Which is smaller: -0.1 or q?
q
Let y = 0.01 - 7.01. Let q = -7.5 - y. Which is smaller: 1 or q?
q
Suppose -6*b = -3*b - 30. Suppose 20 = 3*h - b. Let n be (-8)/(-20)*h/(-22). Are 1 and n equal?
False
Let l be (-4)/(-12)*-1*3. Is -1/64 greater than l?
True
Let s be (-3)/(-6) + (-1)/(-2). Suppose 2*n = -3*r + r + 14, -3*r - 5*n + 31 = 0. Is r at least as big as s?
True
Let k be 7/((-21)/18) + 3 - -2. Let f = -79 - -706/9. Which is greater: k or f?
f
Let g(x) = 10*x**3 - 31*x**2 + 9*x - 4. Let b(f) = 2*f**3 - 6*f**2 + 2*f - 1. Let o(m) = -11*b(m) + 2*g(m). Let s be o(2). Are s and -5 equal?
True
Let c(v) = v**3 - 5*v**2 + 6*v - 5. Let l = 8 + -13. Let t = l - -9. Let p be c(t). Which is greater: p or 3/2?
p
Let o be (-4)/8*(-7 + 1). Let i be -2 + 4 + -1 + o. Suppose -20 = b - 5*m, -5*b - i = 4*m - 20. Are b and -2/11 equal?
False
Let x = -1 + 2.2. Let i = x - 0.2. Let d = -10 + 9.8. Is i > d?
True
Let t be (-1)/2 - (-10)/16. Let r = 11 - 9. Let p be (-38)/(-95) - r/5. Is p smaller than t?
True
Suppose 0 = 5*y - 2*y - 42. Suppose 0 = -2*u + 6, -2*u - 5 = 3*k - y. Let j be 0*(-1 + 4/2). Which is smaller: j or k?
j
Let x be (-3)/1 - (-3 + 0). Which is bigger: x or 6/5?
6/5
Suppose -4*s + s - 6 = 0. Let n be s + (1 - -2) - 2. Let c be (2/11)/(2/(-3)). Is c at most as big as n?
False
Let m = 22644744/55 - 411708. Let s = m - 74/5. Which is bigger: -1 or s?
s
Suppose 0 = 5*d - 37 + 7. Let h(a) = -d - a + 2 - 2. Let z be h(-5). Do z and -1 have different values?
False
Let w be 10/(-25)*(1 - -29). Let n = w + 14. Suppose 7*k - 2*k - 15 = -5*o, 5*o - 11 = -4*k. Which is smaller: n or k?
n
Let n = 1 + 0. Let z = 2 - n. Let q be 0/3 + (-8)/28. Which is smaller: z or q?
q
Let x be (9/(-24))/(3/6 - -1). Which is bigger: 2/141 or x?
2/141
Suppose -11 = -t + 1. Suppose -t = -2*s + 4*p, 3*s + p = -4*p - 26. Let n be 3/(-9) - 2/6. Which is smaller: s or n?
s
Let b = -2/1323 + -559/5292. Let x = b - 69/140. Is x less than 0?
True
Let c(b) = -8*b - 1. Let z be c(-1). Suppose -5*p + 3 = 5*f - z, 0 = -3*p. Let w = -0.2 - -0.1. Is f greater than w?
True
Suppose 3*c + 14 = 5. Let v be ((-16)/24)/(1/c). Let g = 150 - 746/5. Which is smaller: v or g?
g
Let h = -88 - -182. Is h > 95?
False
Let b be 1 - 0 - (-2)/(-2). Suppose -u - 2 = -b. Let x(s) = 2*s - 26. Let y be x(12). Is y > u?
False
Let y = 0 - 58. Is y bigger than 0?
False
Let h(n) = 8*n - 3. Let u(s) = 7*s - 2. Let a(r) = 6*h(r) - 7*u(r). Let i be a(-6). Is 2 at most as big as i?
True
Suppose 2 = 2*o + 20. Which is bigger: -11 or o?
o
Let q be (-14)/6*6/21. Which is greater: q or 4/7?
4/7
Let p = 28 + -33. Do -2 and p have the same value?
False
Let k = 0.1 + 0.2. Which is smaller: 1/2 or k?
k
Suppose -5*r = -2*p + 3, 4*p + 4 - 2 = 2*r. Are r and 2/11 equal?
False
Let v = 6.03 + -0.03. Let f = v + -5. Let h = 4 - 4. Is h not equal to f?
True
Let w = -2 + 1. Let g = 0 - w. Suppose 2 = 3*i - g. Are 1/7 and i unequal?
True
Let x = 12 + -4. Let a(j) = 3*j - 4. Let h be a(x). Suppose 20 = 3*r + 5*t, 4*t - h = -2*r - t. Which is smaller: r or -1/4?
-1/4
Let w = 23 - 22. Let q be (3/(-9))/(w/(-15)). Which is greater: 7 or q?
7
Let i be -66 + (-14 + 18 - 3/1). Which is bigger: -66 or i?
i
Let z = 13 - 23. Let i = -10 - z. Suppose -4*n + 4*t = 16, 3*t = 2*n + 5*t + 16. Is n < i?
True
Let i = -17 + 16. Which is smaller: i or -2/5?
i
Let t be 9/(-36)*4 - 6/(-8). Let f = 1 - 2. Let s be (f - -2) + (1 - 3). Which is smaller: t or s?
s
Let m(j) be the first derivative of -j**4/4 + 4*j**3/3 + j**2 + j - 1. Let a be m(4). Suppose -4*u = -a*u + 10. Is u <= 0?
False
Let b be 1/3 + (-68)/3. Are -21 and b nonequal?
True
Let x = 2 - 2. Let i = -6031/22 - -557/2. Let m = -347/77 + i. Which is smaller: m or x?
m
Let h = 6.58 + 0.52. Is -1 greater than h?
False
Let v(h) = -2*h**2 - 2*h - 1. Let w be v(-2). Let g = w + -1. Which is smaller: -4 or g?
g
Suppose 2 = 2*m - 4*m. Which is smaller: m or -2?
-2
Suppose -2*z - 4*b - 17 = -7*z, 3*b = -z - 8. Which is smaller: z or 0?
0
Let g be 72/32*-1*4. Let t be (-4)/(-3)*g/2. Suppose -k = 2*k + 15. Which is bigger: t or k?
k
Let r(i) = -i**3 - 5*i**2 + 7*i + 8. Let u be r(-6). Which is smaller: 10 or u?
u
Suppose -24 = l + 52. Let i be 2/10 - l/120. Is 0 equal to i?
False
Let j(m) = m**2. Let b be j(1). Suppose -5*c - 4 - 31 = 0. Let v(o) = -o - 4. Let p be v(c). Is b less than or equal to p?
True
Let b be 2/(-9) + 3057*1/27. Is b greater than 112?
True
Let y be ((-220)/(-28))/(-5) - -2. Is 1 less than or equal to y?
False
Let d = -67/4 + 33/2. Is d bigger than 1?
False
Let u = -1.2 - -9.2. Let t = u + -10. Which is smaller: -1 or t?
t
Let v = 8 - 6. Let o = v + -2. Let r be (-5)/(-6)*60/200. Which is bigger: o or r?
r
Let t = 28 + -20. Suppose t - 23 = 5*j. Is -3 equal to j?
True
Suppose -2*a - 4 = -68. Which is bigger: a or 31?
a
Let l(d) = d - 1. Let p be l(-2). Let z be (-2 - -2)*p/(-6). Which is smaller: 1 or z?
z
Let z = -2.753 - -2.8. Which is smaller: z or 0.1?
z
Let l(u) = -u**3 + u**2 + u + 1. Let c be l(2). Which is greater: c or -2/85?
-2