 0) + 2. Suppose k + 3 - 5 = z. Which is bigger: k or 1?
k
Let r = 53/8 - 13/2. Which is bigger: r or -1?
r
Let w be (-8)/6*(-177804)/456. Let i = w + -520. Is 1 not equal to i?
True
Let z = 154 - 466/3. Is 0 bigger than z?
True
Let b = 0.5 - -6.5. Is -0.1 > b?
False
Let i = 104 - 103.9. Which is smaller: -0.51 or i?
-0.51
Let p be (0 + 12)*(-17)/(-17). Which is smaller: 11 or p?
11
Let p = -3.68 - -0.68. Which is bigger: 2 or p?
2
Let d be 4/3*2/4. Are d and 1/3 nonequal?
True
Let y = 39 + -40. Which is smaller: y or 4.1?
y
Suppose 0 = 4*h, -2*k - 74 = 2*h - 0*h. Is k bigger than -1?
False
Let a(z) = -30*z**2 + z. Let j(i) = -30*i**2 + i. Let b(n) = -3*a(n) + 4*j(n). Let f be b(1). Let y = f - -88/3. Is 1 less than y?
False
Let s = -16 - -21. Is 0.19 <= s?
True
Let g = 363/5 - 73. Suppose 9 = -3*i - 0. Let z = -17/5 - i. Is z at most g?
True
Suppose -3*h = -9*h + 6. Which is smaller: h or -10/23?
-10/23
Let x(r) = r - 6. Let j be x(7). Let h = -0.1 + 0.1. Let w = -2 - h. Is j bigger than w?
True
Let q = 25 + -20. Let c(a) = 4*a - 10. Let n(t) = t. Let v(r) = c(r) - 6*n(r). Let i be v(-7). Do i and q have different values?
True
Suppose g - 4*v = 2, -g = 4*g + 3*v + 36. Let f = 7 + g. Which is smaller: f or -1/4?
-1/4
Let w = -43097/47 - -917. Suppose 0 = z + 4*q - 7, 3*q - 2*q = 3*z + 5. Is z at least as big as w?
False
Suppose 0*n = n + 5*g, -2*n - 4*g = 0. Is 7/9 greater than n?
True
Let d(o) be the third derivative of 0 + 1/120*o**6 + 3*o**2 + 0*o + 1/24*o**4 - 1/60*o**5 + 0*o**3. Let x be d(1). Is 1 at least x?
True
Suppose 4*x = 3*x. Suppose 0 = 4*w - 2*h + 88, x = w + w + 3*h + 36. Let v be 2/4*(-12)/w. Does -1/6 = v?
False
Let i = -0.4 - -0.3. Let q = i - -0.2. Let y = q - -0.1. Which is smaller: y or -1/4?
-1/4
Let t = 0 - -1. Let o be -1 + 2 + (-15)/13. Which is greater: t or o?
t
Suppose 2*t - 6*t - 4 = 0. Which is bigger: -1/3 or t?
-1/3
Let l be 16/(-6)*(-9)/4. Suppose -5*i + l = 1. Let q be 104/13*(-2)/(-2). Which is greater: i or q?
q
Let a be (-696)/(-48)*(1 + -7). Which is smaller: -86 or a?
a
Let l(p) = p**3 - 2 + 5*p**2 + 2*p**2 - 2*p - 5*p**2. Let s be l(-2). Is s bigger than 3?
False
Let s = 15 - 11. Let f be s/(-3)*(-3)/(-26). Suppose -2*r - 3*w + 2 = -3*r, 0 = 4*r + w - 5. Which is smaller: f or r?
f
Suppose -5*w - 10 = -5*y, -5*w = 6 - 1. Which is bigger: y or -1?
y
Let b = 30 - 28. Which is greater: 7 or b?
7
Suppose -10*r + 11*r = 0. Which is greater: 1/26 or r?
1/26
Let v = 1 + -2. Let r be (-70)/60*(0 + (-9)/42). Is v > r?
False
Suppose -c + 0*c + 5 = 0. Suppose 0 = c*x + 12 - 22. Which is greater: 3 or x?
3
Suppose -28 = -11*d + 4*d. Let f be ((-6)/d)/((-21)/(-14)). Let w = 98/295 + 4/59. Is f greater than w?
False
Let g = -5 + 6. Do 0.04 and g have the same value?
False
Let a be ((-3)/(-14))/(33/(-44)). Let c = 7.7 + -8. Which is smaller: c or a?
c
Suppose 25 = -5*m, 0 = -5*v - 3*m - 2 - 3. Suppose v*z = 9 - 7. Is z greater than or equal to -1/4?
True
Let f be (-3 + 5 - 3) + 4. Which is greater: 1 or f?
f
Let f = 88663/69 - 1285. Is f at most as big as 1?
True
Let z = 4 - -2. Suppose -4*s = 5*q + 20, 2*s - z*s = -2*q - 8. Is -2/21 at least as big as s?
False
Let f = 105/4 - 26. Suppose -3*k - p + 6 = 2*p, -5 = -k - 4*p. Which is greater: k or f?
k
Let p = 14 + -11. Suppose 20 = 2*f - 0*f. Suppose 8*z - p*z + f = 0. Which is bigger: 0.1 or z?
0.1
Let y be 1/((1*-2)/(-8)). Suppose 2*p + y = -2*p. Let f be p/1 + 2 - 3. Is -6/5 less than or equal to f?
False
Let a = -0.6 - 0.4. Let n = 0.1 + -0.1. Let j = a - n. Which is smaller: -3 or j?
-3
Suppose -3*m - 4 = -2*f - 2, -m + f = 0. Let z(s) = -2*s + 2. Let n be z(m). Suppose -2 = q + i, i + n = -q - 2*i. Is q at most 1?
True
Let p be 12/8 + (-129)/(-2). Is 66 bigger than p?
False
Let p = -50/7 - -1664/231. Let h be -2 - (7/(21/9) + -5). Which is smaller: p or h?
h
Let q be (-60)/24*4/45. Suppose 4 = 2*y - 2*d, 0*y - 2*y - 4*d = 8. Which is smaller: y or q?
q
Let o = 7.5 + 1.5. Do -2 and o have different values?
True
Let l(k) = k**2 + 2. Let a be l(2). Suppose 0 = o - a*o + 10. Which is smaller: o or 3?
o
Let h = 1009 + -83745/83. Which is greater: h or 0?
h
Let u = -38 - -43. Is -2/7 greater than u?
False
Let f = -9 + 14. Suppose -9*p = -f*p. Suppose -4*h = m + 4, 5*h - m + 7 - 2 = 0. Which is smaller: h or p?
h
Suppose 4 = -q - 5. Is -9 at most q?
True
Let z be (-2)/(-3)*3/2. Let f be (z/2)/(4/(-24)). Let x(y) = y + 3. Let j be x(f). Which is bigger: j or 1/4?
1/4
Suppose -2*z + 8 + 2 = -3*s, 5*z = -2*s - 32. Which is bigger: s or -5?
-5
Let h(u) = u**3 + 13*u**2 + u + 15. Let z be h(-13). Suppose 3*b = -z*b + 20. Suppose -b*r - r + 35 = -i, 3*i = -2*r + 31. Is r > 7?
True
Suppose -2 = -h - 0*h. Let l be (1/(-2))/((-1)/h). Let j(b) = -b**3 - 12*b**2 + 12*b - 11. Let d be j(-13). Which is smaller: l or d?
l
Let l = 95 - 79. Which is bigger: l or 1?
l
Suppose -4 - 16 = -5*h. Suppose -l - h*n = -4, 2*l + 9 + 7 = 4*n. Suppose -12 = 4*y + 2*d - 0*d, -5*d = 0. Is l greater than y?
False
Let a = -16 + 22. Let n(x) = -x**3 - 2*x**2 - 3*x - 1. Suppose 7 = -5*k - s, -k + s = 6*s - 13. Let p be n(k). Is a at most p?
False
Let u = 169 - 271. Which is smaller: -1/3 or u?
u
Suppose 0 = 35*d - 36*d - 13. Is d smaller than -12?
True
Suppose -3*v + 2 = -4*v - 4*j, j = v + 2. Let z be -1 + (v + 1)*-6. Suppose z + 15 = 5*d. Is d less than 5?
True
Let o = 0.3 + -0.2. Let v = -4.1 + o. Let w = 3.9 + v. Is w less than 1/3?
True
Let p = -3 + 13. Let v be ((-12)/p)/(3/10). Is -5 less than or equal to v?
True
Let u = 5.6 + -0.6. Let y = u - 1. Let n = -3 + y. Is n equal to 1?
True
Suppose -4*v - 3*r = -9, 4*v - 4*r - 14 = 30. Is v bigger than -3?
True
Let o = 1/5 + -8/15. Is o <= -1?
False
Suppose -a + 8 = -5*a. Let q be 2*(-1)/4 - 0. Does a = q?
False
Suppose -3*d + 1 = 2*r + 3*r, 3*d - r + 11 = 0. Let y be (4/(-8))/((-1)/(-6)). Is d smaller than y?
False
Let r(b) = -4*b**3 - 39*b**2 - 35*b + 15. Let k(x) = x**3 + 10*x**2 + 9*x - 4. Let m(w) = 9*k(w) + 2*r(w). Let h be m(-11). Is -5 < h?
False
Let x = 72 - 66. Suppose 0 = -2*q + 4 + 6. Is q at most as big as x?
True
Let r = 2.05 - 0.05. Let i = r - 4. Is 3/2 at most i?
False
Let m = 1/3 - 5/6. Which is bigger: m or -0.1?
-0.1
Let k = 2 - 1. Let c = 0.3 - 0.5. Let n = 0.3 + c. Which is greater: k or n?
k
Let j = -130 + 6108/47. Which is smaller: -1 or j?
-1
Let m be (-2)/9 - 260/45. Let j be ((-21)/m - 3)*-2. Is 8 equal to j?
False
Let u be 2/(-4) - (-2)/(-4). Suppose -5 = -2*y - 17. Let s be (0 + (-3)/(-30))*y. Which is greater: s or u?
s
Suppose -2*l = 3*x - 10 - 0, 5*l + x = 12. Suppose 17 = -5*u + l. Suppose g + w = -g + 5, -10 = 2*g - 4*w. Is g not equal to u?
True
Let j = -13 - -13.1. Is -7/4 >= j?
False
Suppose 105 = 14*x - 9*x. Let h be 3 + (x/(-15) - 4). Which is smaller: -2 or h?
h
Suppose b - 30 = -4*b + 5*g, 3*g + 4 = b. Which is bigger: b or 36/5?
36/5
Let k be (-2)/35*(-6)/(-2 + -28). Which is smaller: k or -0.1?
-0.1
Let p(x) = x + 4. Let s be p(-5). Suppose 5*v = 4*f + 16 - 93, -5*f = -3*v - 41. Let j be v/(-5) + 1 + -4. Is s > j?
False
Suppose 0 = 4*n + 4*f + 16, -n - f = -5*n + 4. Do -7 and n have different values?
True
Let g(b) = 34*b**2 - 2*b + 1. Let n be g(1). Let s be (-9)/(-6)*(-4)/(-3). Let r be (s - 144/n) + 2. Which is bigger: -1 or r?
r
Let j be (2/3 + 21/(-18))*0. Which is smaller: j or -5/6?
-5/6
Suppose -4 = -5*h + 3*h. Suppose n + 1 + 2 = h*x, -2*n - 2 = 0. Let j be x/10*(-1)/1. Which is smaller: j or 0?
j
Let g = 30 + -30. Which is smaller: -1/3 or g?
-1/3
Let s be -2 - 14*(-3)/30. Which is bigger: s or 0?
0
Let w = 1467/7 - 210. Let n = 53 - 53. Is w equal to n?
False
Let c = 1 + -5. Suppose 7 = -3*y + 1. Which is smaller: y or c?
c
Let k = 11 + -7. Suppose -2*g - 4*u + 6 = 0, k*g - 3*u = 8*g + 3. Let t be 3/15*(0 + g). Which is bigger: t or 0?
0
Let d be 2/(-7) + (-24)/14. Suppose 4 = -3*k + 5*k. Suppose 10 = -4*s - k. Which is smaller: d or s?
s
Let q be (-2*1)/(-7 - 0). Is 3 less than or equal to q?
False
Let s be (-1)/3 + 2/(-3). Let u be (5 - s)*4/(-8). Is u greater than -2?
False
Suppose 5*q + 2 = j + 13, 2*q - 6 = 0. Let k = 29 + -9. Suppose -j*r - k = r. Is r > -2?
False
Let n = 32 - 32.3. Suppose q - a + 2 = 0, -2*a + 3 - 6 = 5*q. Which is bigger: q or n?
n
Let v = 4.4 - 4. Let b = 0.2 - 0.13. L