-251/4. Which is smaller: c or 0?
0
Suppose 5*c = -0*w - 5*w - 10, 2*c = -3*w. Is c not equal to 2?
True
Suppose 3*s - 32 - 14 = -5*o, -5*s + 42 = 4*o. Suppose -v + o = 3*v. Is 3 greater than v?
True
Let g = -27.974 - 0.026. Let a = -25 - g. Is 5 equal to a?
False
Suppose 0 = -0*v + 4*v - 20. Let j be ((-2)/v)/((-5)/(-25)). Let k be j*(6/5)/3. Which is bigger: -2 or k?
k
Suppose 3 = -2*k - 5. Is k less than -2?
True
Suppose -4 = 4*n - 2*n. Let z = -3 - n. Let d = 347 + -1738/5. Which is smaller: d or z?
z
Let m = -17 - -19.8. Let s = m + -1.8. Is -5 not equal to s?
True
Let u(f) = -f + 1. Let p be u(-8). Let l = p - 1. Suppose 4*v = 8*v + l. Are -3 and v nonequal?
True
Let m = -2 + 5. Suppose r - 16 = -m*r. Suppose -r = 5*c + 1. Which is bigger: c or -1/4?
-1/4
Let t(p) = p**3 + 13*p**2 + 2*p + 31. Let f be t(-13). Which is smaller: f or 6?
f
Let x = -7179/11 + 654. Let w = 208/5775 - 1/175. Let p = x - w. Which is smaller: p or 0?
0
Let l(g) = g - 8. Let j be l(9). Is -1/6 not equal to j?
True
Let k be (-2 - (-18)/8)/((-135)/(-48)). Which is bigger: k or -1?
k
Let r be 27/(-6 + 3) + 3. Let z be r/12*184/2. Let p be z/(-126) + 8/(-36). Is p != 0?
True
Let t = 33 - 46. Let y = -55/4 - t. Is 0 bigger than y?
True
Suppose z + 9 = 4*z. Suppose -z*b - 2*d + 8 = 0, -2*b + 3*b = -2*d + 8. Is b less than or equal to -1/2?
False
Let z = 0 - -0.05. Let l = 0.05 - z. Is 8 >= l?
True
Let q be 1 - (1 - 1 - -1). Let r be -2 - (-1 - q/(-1)). Let d be r/(-2) - 1/2. Which is greater: d or 1?
1
Let k be 2/7 - (-24)/14. Let r(f) = -f**3 - 7*f**2 - 8*f + 5. Let q be r(-6). Let u = q - 15. Is k >= u?
True
Suppose 0 = 8*s - 12*s + 16. Suppose 0 = -3*u + a + 15, -s*u + 0*u + a = -19. Is 1 at least u?
False
Let n be (-63)/8 - 2/16. Which is greater: -1 or n?
-1
Let p be 1/2 + 14/4. Suppose d + 3*d + 8 = 2*j, -2*d = -3*j + 12. Suppose -4 = -d*a - p*a. Is a at least as big as 1?
True
Suppose 4*t - 3*k + 0*k = 307, 0 = -3*t - k + 227. Let d = t + -526/7. Let w(a) = -a**2 - 6*a + 2. Let u be w(-6). Which is greater: u or d?
u
Let y = 1 - 1.1. Let z(x) = x**2 + 10*x + 6. Let n = 5 - 14. Let f be z(n). Does f = y?
False
Suppose 2*w = -0*w - 2. Is w at least 2/11?
False
Suppose a = -9 - 0. Let r be ((-3)/(-9) + -1)*a. Let f = -23 - -29. Is r less than f?
False
Suppose 3*r + 3 = 4*r. Suppose 22*j = 18 + 26. Are r and j equal?
False
Let u = 153 - 173. Which is bigger: -21 or u?
u
Suppose -20 = -v - 8. Let k = v - 49/4. Which is bigger: k or 0?
0
Let d = -14 + 14.1. Let a = -7.854 - -0.054. Let o = a + 0.8. Is o != d?
True
Suppose 49 = 5*d + 3*z, d + z - 11 = -0*d. Let a = d + -7. Which is smaller: a or -2?
-2
Let x = -36 - -128/3. Which is smaller: x or 8?
x
Let y = 3 - 1. Let s be (-76)/95*(-10)/4. Is s less than y?
False
Let z be (-652)/10 - 2/(-10). Which is smaller: z or 1?
z
Let r be (-8)/70 - (-4)/(-14). Let c = -16293857/63 + 258644. Let p = c - 81/7. Do r and p have different values?
True
Let l = 8 + -29. Is -41/2 <= l?
False
Let x = -4483/1631 + 8/233. Is x not equal to -3?
True
Let n = -6198 + 1456528/235. Which is bigger: 1 or n?
1
Let g be 3 + -2 - 6/2. Let k(n) = n**2 + n + 1. Let r be k(g). Suppose r*w = -0*w. Is 1/3 != w?
True
Let a(u) = 2*u + 11. Let f be a(-5). Which is smaller: -1/3 or f?
-1/3
Let d(a) = 3*a + 4. Let h(q) = -2*q - 3. Let p(n) = 3*d(n) + 4*h(n). Let t be p(-2). Which is bigger: -4/3 or t?
-4/3
Let r = 6 - 4. Let b = -0.25 - 0.15. Which is smaller: b or r?
b
Let u = -447/4 + 111. Is u smaller than -2?
False
Let m be (-60)/275 - (-3 - 70/(-22)). Let x = -10 + 16. Let t = x - 11. Is m smaller than t?
False
Let z(b) = b**2 - 4*b - 3. Let h be ((-30)/5)/((-6)/20). Suppose 5*k = -0*k + h. Let o be z(k). Is -8/3 < o?
False
Let w be (-3 - -2) + 75/85. Is w greater than 0?
False
Let h(c) = -c**2 + 6*c - 6. Let i be h(4). Let m = -0.03 - 0.37. Let r = -0.5 - m. Is i not equal to r?
True
Let z = -26 - -16. Which is greater: 2/5 or z?
2/5
Let i(x) = x**3 - x. Let q be i(1). Suppose -4*k = -3*k - 4*z + 15, -14 = 2*k - 4*z. Are q and k non-equal?
True
Let m = -9.5 + 10. Is m != -7?
True
Suppose -f + 6 - 26 = 0. Let w = f - -75/4. Which is bigger: 0 or w?
0
Let n(v) = v. Suppose 7*r = r + 30. Let s be n(r). Which is bigger: s or 4?
s
Let l = 8091803/196 - 41285. Let c = -2/49 - l. Let v = 11 - 12. Which is greater: c or v?
c
Let i(b) be the second derivative of b**4/12 - 5*b**3/6 + 2*b**2 + b. Let t be (-92)/(-28) - 2/7. Let a be i(t). Which is smaller: a or -3/5?
a
Let w = -7.3 - -7. Is 0 < w?
False
Suppose 5*v = -5*t + 5, 2*t - 2*v + 5 = t. Let m = 10 + -7. Suppose -m*b - 15 = 2*u, -u + 2*b = -2*b - 20. Is t <= u?
True
Let i = -1 - -2. Suppose i - 6 = -s. Let x = s + -5. Is x > 3/5?
False
Suppose -60 = -2*w - w. Suppose -g = -5*g + w. Suppose 4 = g*k - k + 2*q, -2*k = 2*q - 2. Which is smaller: k or -1/4?
-1/4
Let c = -0.6 - -0.55. Let n = c + 0.15. Which is greater: n or 2/7?
2/7
Let o = -0.4 - -0.1. Let f = 3 - 2.7. Let y = f + o. Is 1 at most y?
False
Let v be 10 + -5 - (-2)/2. Which is smaller: v or 8?
v
Suppose -4*s + 2 - 6 = 0. Suppose -28 = -2*c - 8. Let u be c/(-8) + 2/8. Is u at least as big as s?
True
Let k = -28 + 11. Let j = 16 + k. Let g = -19 - -11. Which is smaller: j or g?
g
Let y be (-13)/(-4) + 1/(-4). Which is smaller: 12/5 or y?
12/5
Suppose -5*c - 27 - 3 = 0. Suppose -w - 4 = 3. Is c > w?
True
Let z = -54 + 31. Let q = z - -19. Suppose -3*y - 7*u + 3*u = 27, 2*y - u = -7. Which is bigger: y or q?
q
Let u be -2 - 16/(-10) - (-86)/165. Is u != 1?
True
Let c be (-11)/(-4)*(1 - -3). Let g = 8 - c. Let n = g - -4. Are -1/6 and n unequal?
True
Let q be (-2 + 2)/5 + (-1)/(-5). Which is smaller: -1 or q?
-1
Let m(t) = -t**3 - 3*t**2 - 3. Let p be m(-3). Let d(u) = u**3 + 4*u**2 + u - 4. Let r be d(p). Is r not equal to 2/3?
True
Let z = 119233/21 + -5681. Let i = 18/7 + z. Do -1 and i have the same value?
False
Let f = -25 + 26. Let l(p) = -p**3 - 5*p**2 - 4*p + 2. Let k be l(-4). Which is bigger: f or k?
k
Suppose -8 = -l + 2*l. Let p = l - -10. Suppose 0 = -4*w - 5*t + 21, -13 = -w + 4*w - p*t. Which is smaller: w or 3/10?
w
Let f be (-6)/4*14/15. Suppose 0 = 5*a + 2*m - 8, 0 = -5*a - 4*m + 5*m - 4. Which is smaller: a or f?
f
Let l be -4 + (2 - 6 - -3). Is l < -2/7?
True
Let q(v) = -v - 8. Let p be q(-6). Let m be (0/p + 0)*1. Which is smaller: -3/14 or m?
-3/14
Suppose 5*q - 2*m - 13 = 0, -2*q = 3*q + 4*m - 19. Suppose -3*y + q = -2*y. Let v = -3 + 5. Which is smaller: y or v?
v
Suppose f = 3*f - 2. Let r be (-3)/((-4)/(48/(-9))). Let u be 2*1/(-8)*r. Is u at most f?
True
Suppose 2 = -i + 4. Suppose 4 = -i*l + 8. Is l less than 2?
False
Let j(s) = -3 - 4*s - 4*s + 5*s + s**2. Let u be j(4). Does 2/9 = u?
False
Let d = 0.02 - 0.22. Let q = d + 0.1. Is -2/7 > q?
False
Let x = 29 - 27. Which is bigger: -7 or x?
x
Suppose 9*t = 3*t - 6. Which is bigger: t or 4/23?
4/23
Let p = -1.1 - -0.1. Let q(d) = d + 10. Let l be q(-9). Let m be 8/5 + l + -3. Which is bigger: p or m?
m
Let n = 0.9 + -1. Let c = -66 + 66.97. Let b = 0.03 + c. Is n != b?
True
Suppose -5*p = -42 + 17. Suppose p + 15 = 4*t. Which is smaller: t or 3?
3
Let s = 45/2 - 22. Suppose 5*n + 7 - 47 = 0. Let f = -6 + n. Which is bigger: f or s?
f
Let l = 13 + -16. Let c be (9 + 6)*2/l. Which is smaller: -1 or c?
c
Suppose -6*u - 313 = -10*u - i, -5*u + 2*i + 401 = 0. Which is bigger: 78 or u?
u
Suppose 5*m = u - 25 + 1, 16 = -u - 5*m. Suppose 0 = 3*r + r + u. Let y = 123 - 863/7. Is r bigger than y?
False
Let o be (-24)/9*(-5)/(-60). Suppose 0 = -4*f + 2*y - 6, 2*y = -4*f + 3*y - 3. Which is bigger: f or o?
f
Let x = 6 - 7. Let u be ((-2)/4)/(1/2). Are u and x equal?
True
Let l = -63.8 - -64. Which is smaller: l or 2/21?
2/21
Let c be (-10)/(-4) - (-1 + 3). Let t = -0.22 - 1.68. Let d = t - 0.1. Are d and c unequal?
True
Let h = -0.3 - -0.1. Is h less than or equal to 0.2?
True
Let h = -10 - -16. Let r = -4 + h. Is 1 at most r?
True
Let d be -10*(13/(-5) + 3). Is -5 greater than or equal to d?
False
Let i = 65 - 66. Is i > -8/9?
False
Suppose 0*j + 4*j - 35 = 5*x, 4*x + 27 = 3*j. Suppose 2*u - j = u, -3*u = y - 11. Is y smaller than -4?
False
Let n = 953/18 - 53. Which is bigger: n or 0?
0
Let p = -27/16 - 103/48. Is p at least -3?
False
Let q be (-13)/(-30) - (7/(-6))/7. Suppose