817/6 + p. Which is bigger: s or 0?
0
Let d = 7 + -11. Let o = d - -6. Let z = 1 + -1.1. Which is greater: z or o?
o
Let m = 10 + -8. Suppose 3*l = -10 - m. Which is smaller: -3 or l?
l
Suppose 0*a + 5*w = a + 25, 4*w - 20 = a. Suppose 4*o + 19 = -3*h + 7, a = -4*o + 3*h + 12. Are o and 1/4 unequal?
True
Let n = 1/17 - 19/34. Let y = 31.2 + -31. Which is greater: n or y?
y
Let g be 4 + (2 - 3)*1. Let y be ((-6)/(-14))/(g/2). Is y greater than or equal to 0?
True
Let b be (-5)/(-5) + 1 + -1. Let r = 2 - 0. Which is smaller: b or r?
b
Let d(u) = -2*u**2 + 2*u + 5. Let n be d(4). Suppose -75 = 5*c + 3*j, -4*c + 0*j = -j + 77. Which is smaller: c or n?
n
Let r(j) = 2*j + 4. Let d be r(-5). Suppose -o - 2*v = -10 - 0, -4*o - 4*v = -28. Suppose -o = q + q. Does q = d?
False
Let y(u) = -u**2 - 3*u - 9. Let n be y(4). Is -37 > n?
False
Let c(r) = 7*r**3 - 3*r**2 + 2*r. Let a be c(1). Let g = 12 - a. Is 5 bigger than g?
False
Let m be (9 - 28/24) + (-1)/(-6). Suppose -8*d + 3*d = -35. Is m smaller than d?
False
Suppose -5*r = -0*r - 125. Suppose 2*s - 10 = 0, h = -0*h - 5*s + r. Is 7 smaller than h?
False
Let j = 20 - 21. Let t = -6/23 - -76/115. Is j at least as big as t?
False
Let n = 3 + -3.1. Do -1/3 and n have the same value?
False
Suppose -4*x + 18 = t, 5*x = -0*t - 3*t + 19. Suppose -5*v = -5 - x. Suppose v*s + 4*j = -10, j = -0*j - 3. Which is greater: s or -2?
s
Let m = 0 + 0.1. Let r = 60 - -3. Let o be (6/r)/((-2)/(-6)). Which is smaller: m or o?
m
Let k = 46 + -45. Does k = -1?
False
Let s be (-2 - 0 - -3)/1. Let n = -3 + s. Is n > -2?
False
Let g be 3*(-3)/45*2. Is -4 >= g?
False
Let m be (0/(-3))/(1 + 1). Suppose 0 = -4*v + 2*h - 38, m*h = -v + 3*h - 17. Let y be (v/(-30))/(2/(-3)). Which is greater: y or 0?
0
Let c(j) = 5 + 6*j**2 + 1 + 0 + j**3 - 3. Let i be c(-6). Let y = -3 + i. Which is bigger: y or 0.4?
0.4
Let b = 35/3 - 107/9. Is 2 >= b?
True
Let p = 335/28 + -49/4. Let v(r) = -r. Let x be v(0). Which is greater: x or p?
x
Suppose 4*d + 0*d - 12 = 0. Suppose -2*z - d*z + 10 = 0. Let s be (z - (-13)/(-6))/1. Which is bigger: 0 or s?
0
Let f be (-1)/(-1 + (-4 - -2) + 4). Is f greater than -9/4?
True
Let i(f) = f**3 + 7*f**2 - 9*f - 7. Let w be (-6)/(1 - 3/12). Let t be i(w). Let n be t*-2 - 36/(-15). Do n and 0 have the same value?
False
Let q(j) = j**3 + 8*j**2 + 3*j - 3. Let t be q(-8). Which is greater: -28 or t?
t
Let x(g) = g**2 + 7*g + 6. Let p be x(-4). Is 3 at most as big as p?
False
Let r = 120 - 117. Let n be 1 + (-1)/(178/174). Let v = -93/178 + n. Is r < v?
False
Suppose 0 = -3*q - 2*u - 43, 4*u = -q - 14 + 3. Which is smaller: -2 or q?
q
Let k = -2/1199 - -17993/4796. Is k equal to 3?
False
Suppose 3*m = -5*b - 12, 4*b - 3*m - 18 = -6. Let y be 3/(-6)*(b + -2). Is 1/8 smaller than y?
True
Let i = 0 - 0. Let q = -3290 + 13243/4. Let f = q - 21. Is i < f?
False
Let o be 10*(1/2 + -1). Let m(z) = -z**3 + z**2 - 1. Let j(q) = 6*q**3 - q + 3. Let t(y) = j(y) + 5*m(y). Let a be t(o). Do 2 and a have the same value?
False
Let n = 1/1534 - -3021/72098. Is n != 1?
True
Let q = -39 + 41. Suppose n = 7*s - 2*s + 6, 2*s = 5*n - 7. Let z be -6*((-4)/3 - s). Is z != q?
False
Suppose 3*c = 2*a - 0*a + 2, 5 = a. Let s be c/(-10) + (-20)/25. Is s equal to -1?
False
Let s = -3 - -6. Suppose -2*x = 5*y + 24, 5*x + 6 = -s*y + 4*y. Let u = 3 + y. Which is greater: u or -3?
u
Let x = 0.2 - 0. Let l = -0.36 + -0.04. Let m = l + x. Which is bigger: -0.1 or m?
-0.1
Let i = -6.258 - -0.208. Let c = 4.1 - -1.9. Let k = c + i. Which is smaller: -2/5 or k?
-2/5
Let g be (-8)/6 + 2/6. Let v = 224 - 120. Let r = 833/8 - v. Which is smaller: g or r?
g
Let v = 25 - 20. Let j be v/(-1)*(-6)/(-6). Is j at least 2?
False
Suppose 4 - 12 = -4*b. Suppose -17 = b*k + 17. Which is greater: k or -18?
k
Suppose x - 57 = -4*v, 5*v - 22 - 18 = 5*x. Let h(l) = -l**3 + 5*l**2 + 7*l + 7. Let b be h(6). Is v not equal to b?
False
Suppose 3*v + n - 14 + 3 = 0, -3*n + 9 = -3*v. Let w be 1 - (-6 + 0 + v). Suppose 12 = -4*o - 4*z, 4 = -w*o + 3*z - 11. Is -3 != o?
False
Let j = 13 + -13. Which is smaller: -29 or j?
-29
Let f(u) = -u**2 - 9*u - 4. Let h be f(-8). Let k = 5 - h. Are k and 1 unequal?
False
Suppose -9 = 3*f - 12. Let o(b) = -b**3 - 3*b**2 + 4*b + 2. Let d be o(-4). Which is smaller: d or f?
f
Suppose 0 = 4*v - 2*v + 8. Are v and -18/5 equal?
False
Let c = 646/235 + -7/47. Which is bigger: 4 or c?
4
Let l(r) be the third derivative of -r**4/24 - 7*r**3/6 + 5*r**2. Let p be l(-7). Which is smaller: p or 1/17?
p
Let o(m) = m**2 - 15*m - 22. Let r be o(17). Is 10 less than r?
True
Suppose 0 = -0*f + 3*f - 60. Suppose 4*m + 12 = 4*u - f, -u + 5 = 0. Let n be (m/10)/(2/5). Is n greater than -1?
True
Let z = -0.258 + 0.048. Let n = z + 0.01. Which is smaller: n or 4?
n
Suppose 3*h + 109 = 5*y, 4*h - 46 = -2*y + 6*h. Suppose 4*v + 4*q - y = 0, 2*v = v - 5*q + 5. Suppose 3*f - 2*j - 3*j + 23 = 0, v*f - 11 = -4*j. Is -1 >= f?
True
Let h be (-8)/114*(-18)/12. Let k = 36 - 36. Are h and k unequal?
True
Suppose -m = -4*k + 5*k + 10, 6 = -3*m. Which is smaller: k or -10?
-10
Let g = -2.07 - -0.07. Which is smaller: g or -6?
-6
Let x = 1 - 1. Let n = x - -1. Let q be (-24)/40 - (-22)/70. Which is greater: n or q?
n
Let w(m) = 2*m - 1 + 4 - 2*m**3 - 2. Let u be w(-1). Which is greater: u or 0?
u
Let q = -16 + 15. Which is smaller: q or -3/5?
q
Let u = 7/48 + -45/16. Do u and -2 have the same value?
False
Let f = -0.02 + -3.98. Let l = -7 - f. Let s = l - -2.9. Which is smaller: s or 2?
s
Let r(c) = -c - 3. Suppose 0 = -5*y + 6 + 14. Let i = y + -8. Let d be r(i). Which is smaller: -2/5 or d?
-2/5
Let m = -6 + 6. Is 0.4 equal to m?
False
Let h = -57 + 55. Which is greater: h or -0.26?
-0.26
Let r = -6421/146 - -44. Let w = -271/1022 - r. Which is smaller: w or 0?
w
Let g = -4 + 6. Which is greater: g or 0.2?
g
Let p = -0.58 - 0.12. Suppose 2*h = 8*h + 6. Is h > p?
False
Let m = 28.11 - 28. Let c = 0.09 + m. Which is greater: 0 or c?
c
Let k = 6/191 + 225/11078. Are k and 1 equal?
False
Let p be (-1)/4 + (-2)/6. Let u = -109 - -1307/12. Let z = u - p. Which is smaller: 0.2 or z?
0.2
Suppose -45 = 5*g + 2*p, -g = 4*g + 5*p + 60. Is g != -7?
False
Suppose -4*c + c + 24 = 0. Is 9 <= c?
False
Let f = -0.48 + 0.6. Let c = f + -0.02. Is c at least as big as 2/9?
False
Let g(x) be the second derivative of -x**5/60 + x**4/3 - x**3 + x**2/2 + 2*x. Let j(z) be the first derivative of g(z). Let d be j(7). Is d <= 0?
False
Let b = 54.71 + -54. Let r = 0.09 + b. Let a = r + 2.2. Which is greater: -1 or a?
a
Let t be (1 - 1)/(-4)*1. Which is greater: t or -1?
t
Let s be (-6)/(-3)*(-6)/(-36). Let v(n) = -n - 8. Let h be v(-6). Let i(l) = l + 2. Let b be i(h). Which is greater: b or s?
s
Let v = -3 - -5. Let m be 51/(-2)*6/(-9). Suppose -5*w + m = -4*f - 10, 3*w + 3 = -4*f. Which is smaller: v or w?
v
Let d be 720/32 + 6/(-4). Which is smaller: d or 19?
19
Suppose 3*u - u = -4*b + 4, 0 = 5*b + u - 2. Do b and 9/19 have the same value?
False
Let h = 3.82 + -0.9. Let a = h - -0.08. Let m = a + -4. Which is bigger: 0 or m?
0
Suppose 5*i - 2*t + 33 = 2*i, -t = -5*i - 55. Is i at most -10?
True
Let r be 10*4/12*3. Let i = r + -11. Which is smaller: -2 or i?
-2
Let a be (3 - 0)*10/(-6). Is -3 >= a?
True
Let q = 149 - 1343/9. Which is smaller: q or -1?
-1
Suppose 4*o - 9*o - 10 = 0. Which is smaller: -16/5 or o?
-16/5
Let y = -3 - -7. Let b(j) = 1 + 3*j**2 - 5*j + 2 + 0*j**2 - y*j**2. Let s be b(-6). Is s <= -4?
False
Let c be (8/10)/((-2)/10). Let u be (6/c)/(18/(-60)). Which is greater: u or 4?
u
Let w = 6 - 6. Suppose h + 2 - 1 = w. Do h and -2/7 have the same value?
False
Suppose -5*i + 2*i = 0. Suppose i = -7*m + 3*m + 4. Which is greater: 2/9 or m?
m
Let o(u) be the first derivative of u**2/2 - 5*u + 5. Let t be o(4). Which is greater: -2 or t?
t
Suppose -5*o + 3*x + 20 = 0, -o - 3*o = 5*x + 21. Which is bigger: -2/31 or o?
o
Let p = -32/63 - -11/9. Is 0 < p?
True
Suppose -130 = x - 5*n, x + 6*n = n - 100. Is x greater than or equal to -114?
False
Let x = -4.1 - -0.1. Let f = 0.2 - 0.2. Let p = x - f. Which is smaller: p or 0?
p
Let m = -131 + 131.1. Is -0.06 at most m?
True
Let g(s) = 2*s**2 - 3*s - 32. Let x be g(-5). Is x smaller than 34?
True
Suppose -3 = l - 2. Let f be 132/(-280) + (