s 0 >= w?
False
Suppose -5*p + 0 - 5 = 0. Is p less than or equal to -2/69?
True
Let q = 1.7 - 2. Is -0.1 > q?
True
Suppose -4*m + 5*k - 9 = 0, -8*m = -3*m + 2*k + 3. Is 1.1 at least m?
True
Let x = 217 + -481/2. Which is smaller: -25 or x?
-25
Suppose h - 105 = -4*h. Which is smaller: h or 22?
h
Suppose h - 2*b + 8 = -7, -4*b + 21 = -h. Is -10 at least h?
False
Suppose 4 = b - 2. Suppose 4*x + 4*v + 2 = b*v, -2 = 2*x - 2*v. Let f(t) = t - 7. Let r be f(x). Is -7 >= r?
True
Let w = -7.91 + -0.09. Which is smaller: w or 2/3?
w
Suppose -2*g - 1 = -5. Suppose 13 = 5*v - g*b, -4*b = 2*v - 0*b + 14. Is 3/7 > v?
False
Suppose 0 = 2*k + 3*k. Let x = -301/10 + 30. Is k equal to x?
False
Let n = 3 - 1. Let o be (1 - n - -6)/1. Let p(c) = c - 5. Let w be p(o). Do w and -1/4 have different values?
True
Let a = -21 - -43. Suppose -a + 4 = -2*v. Let i = -4 + v. Is i >= 4?
True
Let c = 11/3 + -29/6. Is c at most 0.3?
True
Suppose 3*f - 2 = -5. Let m = 2.93 - 5.91. Let x = -0.02 + m. Which is greater: x or f?
f
Let a = 287 + -156. Let r = a + -257/2. Is r at most as big as 3?
True
Suppose -5*v + 4*v = -5*s, 0 = v - 2*s. Let n(j) = j - 2. Let f be n(v). Let z = 18/11 + -105/44. Which is greater: f or z?
z
Suppose 2*d = -3*a + 8, -2*d + 8 = -4*a - 0*d. Suppose -1 - 11 = 4*v. Do a and v have different values?
True
Let z(n) = 0*n**2 - n + 7 - 3 - n**3 + 3*n**2. Let k be z(3). Which is greater: -1/7 or k?
k
Let s = -11 - -16. Let x(i) = -2*i + 7. Let h be x(s). Let k(j) = j**3 - 3*j**2 - 6*j + 5. Let w be k(4). Is h greater than or equal to w?
True
Suppose 3*t + 2 = p - 0, -4*t - 10 = -2*p. Let v(r) = -r**2 + 12*r - 11. Let d be v(p). Which is smaller: d or 0.1?
d
Let z = 3 - 3. Let t = 0.5 + z. Let j = -0.3 + t. Do 1 and j have the same value?
False
Let y be (-217)/73 + (-2 - -5). Which is smaller: y or 0?
0
Let n(h) = h + 12. Let i(w) = w**2 + w - 1. Let l be i(2). Suppose l*q + 54 - 4 = 0. Let z be n(q). Is 3/5 at least z?
False
Let i be (-6)/((-144)/(-56)) + 2/1. Let b = 32 + -97/3. Is i > b?
False
Let g be 1/(6/(-8))*-3. Suppose 5*h - 19 = g*r - 7*r, -r + h = -17. Do r and 13 have the same value?
True
Suppose 4*z - 17 = -1. Suppose 0 = -z*b + 4*d - 0*d - 16, -12 = -3*d. Let h = -61/2 - -31. Which is bigger: h or b?
h
Let k be -2*4317/66 - -3. Let c = 128 + k. Which is greater: c or -1?
c
Suppose 0*l = 6*l. Let m = -169/10 + 17. Which is smaller: m or l?
l
Suppose 2*r + 90 = -3*r + 3*i, 4*r + 55 = -i. Is -14 not equal to r?
True
Let i = 11 + 7. Suppose 2*o - i = -o. Let w = o - 1. Is 5 less than or equal to w?
True
Let r = 11 - 19. Let g be (-215)/(-30)*r/2. Let v = 29 + g. Which is greater: -1 or v?
v
Let p = -20 - 11. Is p at least as big as 1?
False
Let m(g) = -g**3 - 3*g**2 - g - 3. Let y be m(-3). Let i = -5 - -5. Is y smaller than i?
False
Let j = 15 - 9. Is 9/2 > j?
False
Let j be 1/3 - (-7)/(-3). Let s be 10/8 - 1/j. Let v be (-8)/(-40) - 28/(-10). Which is bigger: s or v?
v
Suppose 5*z - f - 6 = -3*f, -f + 3 = z. Let s(m) = -m**2 + 4*m - 1. Let x be s(3). Suppose 2*u + 3*d - x = -2*u, -3*u = 2*d - 2. Which is smaller: z or u?
z
Let z(a) = -a**3 - a. Let d be z(0). Which is smaller: -1/3 or d?
-1/3
Let w be 1 + -3 + (-28)/(-7). Let v be 3/7*8/((-128)/(-28)). Which is greater: v or w?
w
Suppose -2*o = o - 93. Suppose -3*v = -4*z + 2*v + o, 0 = z + 2*v + 2. Let p be (z/24)/(1/4). Which is smaller: p or 2?
p
Let q(s) = s - 4. Let h be q(4). Suppose h = -5*v - 2*o + 3*o, -5*o = 3*v. Suppose v = -u - 4*u - 50. Do u and -10 have different values?
False
Let g = 1/211 + -851/1477. Is -2 greater than g?
False
Suppose -5*c + 4*c + 2 = -g, g = 5*c - 2. Let s be 2/((-2)/((-24)/(-44))). Let a = s - -23/22. Is a greater than c?
True
Let a = -4.07 - -0.07. Let k = 4.1 + a. Are k and 1 nonequal?
True
Suppose 2*c = -3*c - 20. Let l be c + 7 - 31/11. Which is bigger: 2 or l?
2
Let c = 4 + -2. Let n(d) = -20*d + 1. Let y be n(-1). Let m be 16/(-10) + y/35. Are c and m equal?
False
Suppose 88 = -6*s + 2*s. Suppose -2*l + 4 = -2*w, -l + 2*w - 7*w = -14. Let a be s/8 - l/16. Are a and -2 equal?
False
Let y = 10 + -1. Let z = y - 9. Which is smaller: 2/9 or z?
z
Let b = -79 - -79. Which is bigger: b or 4/79?
4/79
Let z(p) = 3*p**3 + 8*p**2 - p + 2. Let j(f) = f**3 + f**2. Let b(o) = 4*j(o) - z(o). Suppose 8*r - 8 = 16. Let g be b(r). Which is greater: -7 or g?
-7
Let u = 3.06 + -0.06. Let o = u - 2.8. Let a = o + -0.4. Is a greater than -2?
True
Suppose -t - 5 = -5*h, -h + 14 = -4*t - 6. Let g be (-104)/90 - 3/(-5). Let v = 73/99 + g. Is v at least as big as h?
True
Let m be ((-2)/(-5))/((-17)/85). Do -1/2 and m have different values?
True
Let h be 258/(-15) - 4/(-20). Is h bigger than -17?
False
Let c(y) = -y - 13. Let q be c(-14). Suppose 0*r = r - q. Which is greater: -1.1 or r?
r
Let d(t) = t**3 - 7*t**2 + t + 6. Let y be d(7). Suppose 4*i + y = -3. Which is smaller: i or -5?
-5
Let t(x) = -x. Let z(u) = 3*u + 6. Let v(w) = 2*t(w) + z(w). Let p be v(-7). Let n = -0.4 + 0.3. Is p smaller than n?
True
Suppose -2*p + 0*p - 38 = 0. Is p greater than or equal to -21?
True
Suppose -s - 2*v = 12, 4*s - s - 14 = 4*v. Is s bigger than 0?
False
Let g(i) be the first derivative of -i**3/3 + 2*i**2 + 3*i + 4. Let s be g(5). Is -3 at least s?
False
Let q(o) = o**3 - 5*o**2 - 4*o - 3. Let k be q(6). Let s be (3/k*2)/(-4). Are 1 and s unequal?
True
Let p = -7.9 - -14.8. Let l = -7 + p. Which is smaller: 4 or l?
l
Suppose p - d - d = 3, 5*p + 13 = 3*d. Let l = -3 - p. Is l > 3?
False
Let f be (0 + 1 - 1) + -15. Let a be (-2)/f - (-1)/(-3). Is a smaller than 1?
True
Suppose 2*g = -5*x + 7*g - 125, -x = 4*g + 40. Let z be (-8)/x + (-18)/14. Suppose -4*y + 2 = -2*p, -3 = 4*y + 4*p + 25. Which is bigger: z or y?
z
Let p(y) = -y**3 + 6*y**2 - 3*y - 11. Let d be p(5). Which is smaller: d or 1/30?
d
Let r(u) = -u**3 - 9*u**2 - 2*u - 11. Let w be r(-9). Which is greater: w or 6?
w
Let k = 147 - 6907/47. Is k equal to 1?
False
Suppose i + 0*i + 5 = -4*v, 8 = -4*v - 4*i. Which is smaller: 1 or v?
v
Let r = -1 + 4. Let f be 2/6 - 7/3. Let l(o) = o**3 + 4*o**2 + 2*o - 2. Let a be l(f). Is r equal to a?
False
Suppose 7 = u - 3. Let a = -8 + u. Is 2 >= a?
True
Let c = 64 + -62. Is c at most 0.13?
False
Let h be (1/5)/(1/5). Is -1/6 at least h?
False
Let p be 1*(-5)/(-5) - (4 + 1). Which is bigger: p or -21/5?
p
Let y(t) = t**3 + 5*t**2 + 4. Let x be y(-5). Suppose 0 = 3*l + x + 5. Is l greater than 0?
False
Let w be (-3)/(-1) - -112 - -1. Which is bigger: w or 117?
117
Let h = 0.29 - -2.71. Which is smaller: h or 0.5?
0.5
Suppose -4*t + 2*g = -2*g - 8, -5*g = 5*t + 20. Let r be 1245/(-42)*t*2. Let w = 59 - r. Is w not equal to 0?
True
Suppose 0 = -i - 4*i. Let o be (3 - 4)/1*i. Which is bigger: 1/5 or o?
1/5
Let i(v) = v + 3*v - 5*v - 2*v. Let k be i(4). Which is smaller: -11 or k?
k
Let z(u) = -u + 2. Suppose 2*a = l - 17 - 11, -a - 3 = 0. Suppose -5*i = -3*w - 2, 5*w - 4*w - l = -4*i. Let r be z(w). Is r < -5?
False
Let i be (-15)/20*(-1)/((-9)/(-8)). Which is greater: i or 1?
1
Let p be 1*((-3)/3 - 1). Let v be (-1)/p + (-6)/12. Which is smaller: 4/5 or v?
v
Suppose 3*g = -3*g - 6. Are g and -2/55 equal?
False
Let j be (-5)/(-1) - (-10)/(-5). Is 5 >= j?
True
Let q = 0.9 + -1. Let j = 0.5 + -1.5. Is q < j?
False
Let y = -1 + 2. Let p be (-5)/(-2)*(-12)/(-10). Suppose -2*b - p = y. Which is smaller: -2/3 or b?
b
Let k be 1 - 4 - (-3 + 0). Is 6/19 greater than or equal to k?
True
Suppose -5*p = -3*p + 4. Let s(m) = -m**2 + 14*m - 15. Let n be s(13). Let x = p - n. Is 1/2 != x?
True
Let f be (3 - 0)/(9/(-6))*-10. Which is smaller: f or 19?
19
Let q = -4 - -9. Let o = 7 + -5. Let w = o - 2.1. Which is smaller: w or q?
w
Suppose q + 2*q = 2*b - 12, q + 4 = -5*b. Let x be -9*((-32)/6)/q. Is -12 greater than or equal to x?
True
Let n be ((-1)/(-129))/(((-56)/(-21))/(-4)). Which is greater: 1 or n?
1
Let a = -899 + 17087/19. Which is greater: a or 1?
1
Let u = -1240 - -1218. Let j = 24 - 47. Is j != u?
True
Let b(m) = m**2 + 4*m - 7. Let o be b(-5). Let l(t) = -t - 6. Let d be l(-6). Which is bigger: d or o?
d
Let q = 2/106435 - -164016317/957915. Let w = 171 - q. Which is smaller: w or 1?
w
Let d be ((-2)/4)/((-1)/(-12)). Let v be (-3)/d*(1 - 3). Which is smaller: v or -3?
-3
Let l(o) = o + 2. Let b