True
Suppose 0 = -0*y - 5*y - 10. Let d be 3/2 - 3/y. Do 3 and d have the same value?
True
Let b = 1935 + -110299/57. Which is greater: b or 1?
1
Let k(w) = -w + 1. Let j be k(2). Suppose 2*i + i = 9, -4*i - 18 = -5*f. Suppose 2*c - 4*c = -4*d - f, -c = 4*d - 3. Is d equal to j?
False
Let z = -16 - -15.9. Is -7/2 greater than z?
False
Suppose t + 26 = 5*s - 5, -28 = 3*t - 2*s. Suppose 2*p = -p - 12. Which is bigger: t or p?
p
Suppose -6*j = -2*j - 20. Suppose 4*d - 3 = j. Is d less than or equal to -2?
False
Let s = -0.11 - 0.04. Let n = -2.3 - -2.5. Which is bigger: s or n?
n
Let s(p) = 2*p**2 + 2*p - 5*p**2 + 4*p**2 + 3 + 3*p. Let h be s(-4). Let r(c) = -c**3 + 5*c**2 - 6*c + 3. Let a be r(4). Which is smaller: a or h?
a
Suppose 2*w = -3*w + 20. Let b = 12 + -8. Suppose -2*i = 2, -b*i = -k + i + 8. Which is smaller: k or w?
k
Let w = 0.22 + -0.33. Is w bigger than -0.3?
True
Let h be 1 + -1 - 2/32. Suppose 5 = f - 6*f. Is f bigger than h?
False
Suppose 6*i - i = 5*n - 5, -i + 3*n - 3 = 0. Suppose 2*a - 2 + i = 0. Is 2 != a?
True
Let l be (-28)/6 - 8/(-12). Let p = 0.4 + -0.4. Is l greater than p?
False
Let t be (4/(-12)*0)/(0 + 1). Is 1/28 at most as big as t?
False
Suppose -a + 3*g - 7 + 0 = 0, -3*g + 9 = 0. Let b(k) = -k**2 + 6*k - 7. Let x be b(5). Let d = x + 3. Is a bigger than d?
True
Let i = -5.04 - -0.04. Which is smaller: 5 or i?
i
Let q = -71089/41790 - -366/199. Let f = q + -4/35. Let z = 89/210 - f. Which is greater: z or 1?
1
Let k = -9 + 14. Let t = -5 + k. Which is smaller: t or -0.2?
-0.2
Suppose 17 = -0*s + s + 2*d, 0 = -5*d + 25. Suppose 32 = -3*q + s*q. Which is smaller: 7 or q?
7
Let c = 12 + -27. Let i = c - -15. Is 0 at most i?
True
Suppose -4*i = 2*l - 5*l - 17, 4*l = -4*i + 52. Are 7 and i non-equal?
True
Suppose 0 = 4*t - 12, 0 = -4*c - 2*t + 14 + 16. Which is smaller: c or -5?
-5
Let u(v) be the first derivative of -v**2/2 - v + 1. Let q be u(5). Let x = 129 + -136. Which is bigger: x or q?
q
Let c = 77 + -463/6. Suppose 4*m - 5*w + 0*w = 10, -m + w + 2 = 0. Do c and m have the same value?
False
Suppose -3*j - 7 = -13. Which is smaller: j or -10?
-10
Let w = 1 + -1. Let l = w - -3. Which is smaller: l or 1?
1
Suppose 0 = -p + 3*l - 5, 4*p - 4*l - 15 = l. Is p > 9?
True
Suppose -3*w + 6 = -2*w. Let p = w - 2. Which is bigger: 5 or p?
5
Suppose 0 = 4*t - 3*t + 4*y + 2, 3 = t - y. Suppose 5*n - 2 = r + t*n, 0 = -2*r + 3*n + 8. Suppose -2*p - r = -0*p. Which is greater: p or -6?
p
Let c be 0/(-1*(-2 + 4)). Let z be (-4)/(-22) - (-2)/(-11). Let j be (-1 - z/(-2))*-1. Do j and c have the same value?
False
Let n(m) = 2*m - 9. Let f be n(6). Let z = -3 + f. Let l(y) = -y**2 - 7*y + 1. Let u be l(-7). Which is smaller: z or u?
z
Let m = -10 - -11. Let n = 14 - 10. Which is smaller: n or m?
m
Let u = -57.2 + 66. Let g = -9.78 + u. Let j = g + -0.02. Which is bigger: -1/3 or j?
-1/3
Let n(f) = -f**2 - 9*f + 1. Let r be n(-9). Let c be 8/(-21)*(-3)/(-2). Which is smaller: r or c?
c
Let o(n) = 2*n - 4. Let k be o(4). Suppose -2*t - k = 2*t. Is 3 at least t?
True
Let b be (-6*3/6)/(-3). Which is smaller: 0.62 or b?
0.62
Let q = 4 - 5. Suppose 0 = -3*n + 1 - 10. Let z be n + (-2)/q - -1. Which is smaller: z or 1/8?
z
Suppose 5*y + 12 = -p, -5*p + 0*y = -2*y - 21. Suppose p*c + 15 = j, -2*j + 6*j - 5*c = 25. Let a be 1/(-7) + 2 + -2. Which is smaller: j or a?
a
Suppose -3*r - 25 = 5*n, 3*n + 0 = -2*r - 15. Let p be 6/(-9) + n/(-3). Do p and 4/3 have the same value?
False
Let i = 60/451 - -2/41. Is -1 less than i?
True
Suppose -1 = -5*v + 4. Suppose 0 + 3 = 3*f. Let s be v*(f - 1)/1. Which is greater: s or 1?
1
Suppose 12 = -6*g + 2*g. Let r be g + (-2 - -2 - -3). Which is bigger: r or 1/5?
1/5
Let w = -0.09 - 0.01. Let t = 0.1 - 0.5. Is t >= w?
False
Suppose 0 = 2*m - 5 + 1. Suppose -13 = -m*v + 5*r, 2*v - 2*r - 4 = -0*v. Which is smaller: -2 or v?
-2
Let y = 0.22 - 0.15. Let h = -0.17 + y. Which is smaller: 1/4 or h?
h
Let n be (-9)/2*4/(-24). Let r = 0.04 - -0.16. Is r > n?
False
Suppose -10 = -5*z, -2*z - 2 = -3*n - 0. Let l(j) = -14*j. Let t be l(-1). Suppose 0 = c - 4*q + t, -5*c + 4*q - 6 = -0*q. Is n <= c?
True
Let h(b) be the third derivative of b**6/40 - b**4/24 + 5*b**2. Let r be h(1). Are 2 and r equal?
True
Suppose 0 = -4*g + 5*u, 2*u - 6 = -3*g + 17. Suppose -g*v + 0*v = 0. Which is smaller: 0.3 or v?
v
Let c be 17*(-3 + -1 + 3). Let m = -46 - -29. Is c bigger than m?
False
Let q = 5 - 8. Let a be 2/q*(-9)/2. Is 5 < a?
False
Let b = 0.5 - -0.3. Let w = -0.9 + b. Is 0 < w?
False
Let u = 0.169 - -0.031. Let i = 0.1 - -0.9. Is u >= i?
False
Let z = -167/36 + 19/4. Let i = -106 - -105.9. Is z smaller than i?
False
Let k = -3/20 - -17/180. Suppose 0 = 2*t - 5*t. Which is bigger: k or t?
t
Let y(z) = -z**3 + 5*z**2 - 2*z + 1. Let b be y(4). Which is smaller: b or -0.1?
-0.1
Let g be -1 - 1 - (-1 + 1). Is g smaller than -6?
False
Let h(p) = 0 - 1 + 2 + p**2 + p + p**3. Let s be -3 + 0 - (-5 + 3). Let c be h(s). Is 1 greater than or equal to c?
True
Let k be 3 - 0/(2 - -2). Let s(l) = -l**2 + 5*l. Let j be s(4). Suppose 0*y + 2*y = k*z + j, y + 5*z = -24. Which is greater: -3 or y?
-3
Let m = -3 - -1. Let i = -9 - -11. Let u = m + i. Which is bigger: -0.2 or u?
u
Let u = -577/7 + 7211/84. Let z = 11/4 - u. Let p = 2 - 3. Is z less than or equal to p?
False
Suppose 0 = -8*w - 100 - 20. Which is smaller: w or -17?
-17
Let d be 72/(-6)*3/3. Let y be ((-6)/d)/(2/36). Is 8 less than y?
True
Suppose -h = 10*h + 11. Which is smaller: 1 or h?
h
Let s be (10*2)/((-1)/(-11)). Suppose 3*j = -2*t - 112, -s = 5*t - t + 5*j. Let d be (-4)/10 + (-45)/t. Which is bigger: 1 or d?
1
Suppose 12 = -0*k - 2*k. Suppose -5*c = -2*w + 95, 3*c - 4*c + 224 = 5*w. Let x be 1 - 1 - k/w. Is 0 at least as big as x?
False
Let w be 0 - (-10)/4*(-20)/50. Which is greater: w or 1?
1
Let f(m) = m**2 + 7*m + 7. Let r be f(-5). Let o be r/(-9)*12/(-88). Is o > 1?
False
Suppose 0 = -5*v - 10, -q = v + 3 - 1. Let m(z) = 2*z - 5. Let l be m(4). Suppose 0 = -3*j - 0*j + l. Which is bigger: q or j?
j
Let h be 10*(-16)/20*1. Let i be (h/36)/((-1)/(-4)). Does 0 = i?
False
Let p be (-2 + -4)*(2 + -4). Suppose 28 = 4*d + x - p, 5*x - 20 = 0. Let q = d + -14. Which is bigger: -4 or q?
-4
Suppose -5*z = -3*l - 32 + 4, 0 = -3*l - 3*z - 60. Is l greater than -16?
False
Suppose 0*d = -5*d + r - 6, 2*d + 4*r + 20 = 0. Is d greater than or equal to -3?
True
Let u = -28 + 29. Is -3/8 less than or equal to u?
True
Let l = -17 + 18. Which is bigger: l or -2/13?
l
Suppose -2*m - 3*m = 0. Which is smaller: 1 or m?
m
Let r be (0 - 0) + 5/7. Let d be (45/(-140))/((-6)/4). Let l = d - r. Is l at most -0.2?
True
Let m = -567 + 29485/52. Let k = m - 10/13. Which is greater: -2 or k?
k
Suppose -2*t + 4 = 5*o + 44, 5*o + 30 = -4*t. Are o and -9 equal?
False
Let o be (-28)/112 - 10/(-104). Is o at least 1?
False
Suppose b + 3*b + 36 = -f, 4*f + 16 = 0. Let k = b - -22. Suppose -4*x - k = 2. Which is smaller: -5/2 or x?
x
Let i = 5 - 3. Let o = -0.9 - -1.9. Let z = o - i. Which is greater: 2 or z?
2
Let b = -66 + 65. Which is smaller: b or 4?
b
Suppose -3*p - 180 = -4*p. Let v be 24/p + 4/(-30). Let c = -782/5 - -157. Which is bigger: v or c?
c
Let j = 0.4 + -0.3. Which is bigger: j or -2/13?
j
Let x = -28 + 27. Suppose -2*o + 6 = -5*o. Which is bigger: o or x?
x
Let g = -0.03 - -1.03. Which is greater: -0.17 or g?
g
Let p = 12 - 9.8. Let b = 2 - p. Which is bigger: b or 1/3?
1/3
Let l be 2/6 + 10/6. Let m = 5 - 4. Let w = m - 0. Is l at most as big as w?
False
Let s(j) = j**2 - 5*j. Let i be (4/(-6))/((-1)/3). Let c be (15/(-6))/(i/(-4)). Let x be s(c). Which is bigger: x or 2/7?
2/7
Let m = 3 - 4. Let k = -0.1 - m. Let n = 0.9 - k. Which is bigger: -5 or n?
n
Let s = -3 + 3.3. Let i = -8 + 3. Let c = i + 4.8. Is s greater than or equal to c?
True
Let k(o) = -14 - 3*o + 0*o + 2*o + 4. Let m be k(-10). Are m and -1 unequal?
True
Let c = 44.29 + -0.29. Let l = c - 40.2. Let v = l + -4. Which is smaller: 0 or v?
v
Let c = -64 - -76.8. Which is greater: 1 or c?
c
Let f be 1*((-24)/(-20))/3. Are 5 and f unequal?
True
Let c = 19 + -10. Are 9 and c non-equal?
False
Let z = 0.22 + -1.22. Does z = 1?
False
Suppose -5*b + 6 = -4. Suppose -b*s + 0 = 2. Which is smaller: s or -4?
-4
Suppose 0 = -5*