t s = z + -2. Which is greater: b or s?
s
Let j be (-3)/((-2)/(4/3)). Suppose -u - 2*a = -7*a + 12, a = 3. Suppose u*r - 9 = j*r. Do 9 and r have different values?
False
Let q(d) = -d**3 - 15*d**2 + 16*d - 2. Let i be q(-16). Which is bigger: -1/2 or i?
-1/2
Suppose -g + 4 = -3*g. Let x = 11 + -11. Which is smaller: g or x?
g
Suppose 4*n + 3*u + 7 = -n, -3*u = 2*n + 1. Let v(o) = -3*o + 3*o**3 - 4*o**3 + 2*o**2 + 2*o**2 - o. Let p be v(3). Which is bigger: p or n?
n
Suppose 3*f = -3*d - 75, 10 = -2*d - 3*f - 43. Is -22 smaller than d?
False
Let p = 984/7 + -141. Suppose -y - 20 = 3*o, -2*o - 23 = -y - 3. Let c = -8 - o. Is c bigger than p?
True
Let k be -1 + -2 + (-24)/(-4). Let a = 4 - 3.3. Let t = -0.3 - a. Is k at most t?
False
Let s be (-5 + 6)*-2*74. Let x be (s/50 - -3)*2. Do x and -1 have the same value?
False
Let j(w) = w**2 + 4*w + 4. Let c be j(-5). Let x = c - 4. Suppose x*n - 2*n = -3. Which is bigger: -2 or n?
n
Let v(d) = d**2 + 2*d - 8. Let r be v(7). Suppose f + 4*f = -r. Let s = 15 + f. Which is smaller: s or 3?
3
Let t = -13103/794 - -1/397. Which is greater: t or -17?
t
Let b be ((-1)/2)/(21/(-132)). Is b at least 2?
True
Let v = 79/105 + -7/15. Suppose 2 = -4*k - 2*x - 4, 3*k - 23 = 4*x. Are k and v equal?
False
Let y = -6 - -10. Suppose -y*l = -5*b + 27, l + 4*b + 4 = 13. Let a = -85 + 83. Is l at most a?
True
Let s = -2117/15 - -141. Which is bigger: 1 or s?
1
Let d = 80 + -83. Which is smaller: 0.3 or d?
d
Suppose 0 = -5*n + 2*v - 0*v - 5, 0 = -3*n - 5*v - 3. Is -1/28 less than n?
False
Let z = 889/11 + -81. Let h = 1.3 - 0.3. Let u = h + -2. Which is smaller: z or u?
u
Suppose 18 = -g + 23. Is g greater than 3?
True
Let b(h) = h**2 - 7*h - 13. Let l be 79/9 + (-6)/(-27). Let u be b(l). Do 6 and u have the same value?
False
Let k be (-2)/(-5) - 17556/(-10). Let y be (9/15)/((-6)/k). Let h = -177 - y. Does h = 0?
False
Let v = 0.171 - 0.071. Which is smaller: v or 2?
v
Suppose -5*g = -0*r + 2*r - 1, 3*r - 2*g = 11. Suppose -c = -r + 7. Let p be ((-1)/(-2))/((-15)/150). Which is smaller: c or p?
p
Let d = -93/2 - -1763/38. Let s be 1 + 2 + (-2 - 0). Are d and s unequal?
True
Let p = 1 - 1.1. Suppose -3*d = -k + 17, 5*d - 1 + 36 = 5*k. Is p > d?
True
Suppose -18 = -2*h + 138. Let n = 548/7 - h. Which is greater: -1 or n?
n
Let d = -8 - 10. Let c = 20 + d. Is 3/2 less than or equal to c?
True
Let l(i) = i + 4. Let c be l(-4). Suppose -5 = -2*f + j, c*j = f - 3*j. Suppose 20 = 5*w - f*w - 5*s, 20 = -5*s. Is w <= 0?
True
Suppose 3*f - 3*q + 45 - 12 = 0, -3*q = 4*f + 72. Let p be (-36)/f + 2/(-5). Suppose -4*v + 5 = 1. Is v less than or equal to p?
True
Let z = -7.98 - -8. Is z greater than -2/5?
True
Suppose -5*y + 23 = 4*d, -4*y = -2*d - 2*d - 4. Suppose 0*b = 2*b - 6. Suppose -2*v + b = -1. Which is smaller: v or y?
v
Let h be (2 - -1 - 3) + -4. Let v be (-2)/h*2/5. Are 2 and v non-equal?
True
Let p = -8 - -7.9. Which is smaller: -1.5 or p?
-1.5
Let b = -39 + 157/4. Which is greater: 1 or b?
1
Let i = -1277/15 - -85. Which is smaller: -2 or i?
-2
Let m = 1.01 - -0.29. Let u = m - 0.3. Let i = 0.7 + 0.3. Is i greater than or equal to u?
True
Let j = 18 + -18.1. Is j greater than or equal to -3?
True
Suppose -9 = -n + 4*n. Let a be ((-12)/(-5))/(n/(-10)). Suppose 6*k - 4*g = a*k + 16, 0 = -4*k - 5*g - 17. Which is bigger: k or 3?
3
Let q = 112.8 + -112. Which is smaller: q or -1/5?
-1/5
Let a = -1 + 0. Let q be (-86)/(-40) - (-12)/(-30). Let f = q - 9/4. Is a at least as big as f?
False
Suppose -2*m - 21 = 15. Let v be 4/m + 235/45. Let i(g) = -2*g + 7. Let a be i(v). Which is bigger: -2 or a?
-2
Suppose 8 - 32 = 4*g. Let w be ((-1)/(-2))/(-5 - g). Let s = 5/6 - w. Is s less than -1?
False
Let v = -1/19 + -31/133. Let c = 6 - 7. Is c < v?
True
Let w = -0.01 - -0.09. Let x = -5.08 + w. Let n = 7 + x. Which is greater: n or 1?
n
Let c = 0 + 2. Suppose -c*b - 1 = -b. Let g be (1/(-5))/(4/(-10)). Is g less than b?
False
Let h = -33.959 - 0.041. Are h and -1/3 equal?
False
Let f = 0.253 - 0.053. Which is bigger: 0.12 or f?
f
Let t = 1470.93 - 1437. Let x = t - 35. Let g = x + 0.07. Which is bigger: g or -1/2?
-1/2
Suppose -j - 4*j + 8 = -4*d, -j + 7 = d. Suppose j = -4*g - 20. Let q(a) = a**2 + 7*a + 7. Let k be q(g). Is 2 < k?
False
Suppose -6 = k - g, -4*g + 1 + 5 = 2*k. Suppose 2*i + 2 + 2 = 0. Which is smaller: i or k?
k
Let c be (-3)/(-2)*12/(-63). Is c != -0.05?
True
Let h = -878/5 - -1414/15. Let u = 82 + h. Which is smaller: 1 or u?
u
Let s = 9 + -8.93. Let r = 0.07 - s. Do -0.01 and r have different values?
True
Suppose -8 = -3*z - 2. Let t be 0 + (-8)/z + 2. Is t smaller than -4/7?
True
Let u = -2 - -2. Let c = 2/3063 + -729004/15315. Let z = c + 47. Which is bigger: u or z?
u
Let u be (-6)/(-4) + 17/(-2). Let h be u - -3 - 0 - 0. Is h at least -4?
True
Let m = 10 + -10.01. Let k = m - -6.01. Are k and -1/2 nonequal?
True
Suppose 5*z + 16 = 3*z. Let a(u) be the third derivative of -u**6/120 - 3*u**5/20 - 7*u**4/24 + 5*u**3/6 + 5*u**2. Let g be a(z). Is -4 at least as big as g?
False
Suppose 3*u = -4*r + 7, -u = 2*r - 3*u. Let a = 4 + 17. Let m be (-1 - 0)*(-3)/a. Which is greater: r or m?
r
Let y = -92 - -113. Do -4 and y have the same value?
False
Suppose 4 = -15*i + 13*i. Let l = 6 - -3. Which is bigger: l or i?
l
Suppose 5*h = 3*s - 11 - 12, -h - 7 = -3*s. Suppose g + 3*g = -112. Let k = g - -144/5. Which is smaller: k or s?
k
Let r = 26 + -26.1. Let d = -383/1000 - -1/125. Which is smaller: d or r?
d
Let h(l) = l**2 + 2*l + 1. Let w be h(-1). Let j be (1 - (1 + w)) + 3. Suppose -8 = -j*o - 5. Does o = 2/5?
False
Let a = -0.06 - 2.94. Let q = a - -4. Let f = q + 2. Does -0.1 = f?
False
Let w(b) = b + 12. Suppose 0 = 5*x + 1 + 49. Let u be w(x). Which is bigger: u or 1?
u
Let k = 3 - 3. Suppose 2*m = -k*m - 2. Let a = m + 1. Which is smaller: a or 1/2?
a
Let o(g) = g**2. Let h be o(1). Let c be h + -2*(-3)/(-6). Is 4 at most c?
False
Let d = 79 - 131. Let w = -258/5 - d. Which is bigger: w or -1?
w
Let k(b) be the third derivative of b**5/60 + b**4/24 - b**2. Let v be k(-1). Suppose 0 = -3*t + 2*t + c, -5*t - 5*c = -10. Is v bigger than t?
False
Let j(n) = n**3 + 4*n**2 - 3*n + 7. Suppose 0*y - 3*y - 17 = k, -4*y + k - 18 = 0. Let u be j(y). Let l be u/(-4) + 4/(-4). Are l and -2 non-equal?
True
Suppose -4*m + 2 = 4*o - 3*o, -2*m - 3*o + 6 = 0. Suppose -2*u - 2*u = m. Is -1/3 at least as big as u?
False
Let t = -18 + 19. Which is smaller: t or -1?
-1
Let j = -48 + 21. Let y be 1*15*9/j. Are 0 and y equal?
False
Let y(a) = 3*a + 5. Let v be y(-7). Let j be (-12)/16*v/27. Is j at most 0?
False
Let n = 56 + -40. Suppose -3*o - 7*o = -170. Which is bigger: n or o?
o
Suppose -2*d = 3*b - 12, -2*d = -3*b + 8*b - 16. Suppose 0 = 2*s - 2*u, 9 = -d*s + 8*s + 4*u. Let j be 1/5 + s/(-5). Which is greater: j or -1?
j
Suppose -5*c = 6 - 51. Let z be c/(-3) - 120/(-35). Is 1 not equal to z?
True
Let g = -9 - -11. Is 6/7 != g?
True
Let l = -1/14 + -5/28. Let w = 5 + -5. Is l > w?
False
Let y(v) = -v**3 - 13*v**2 + 13*v - 13. Let a be y(-14). Let r be 8/2*a/(-26). Which is bigger: r or 1?
1
Let d = -55 - -126. Is 71 less than d?
False
Let t be (-4 + 2)*(-2 + 3). Let h be (8/6)/1 + t. Let i = 1 - 1. Which is greater: i or h?
i
Let f = 0.05 - 3.05. Let b = -64 + 61.1. Let o = b - f. Which is greater: 1/4 or o?
1/4
Let j = -7 - -10. Let c = 0 + j. Suppose -c*l + 2*l = -4. Do 2 and l have the same value?
False
Suppose 3*i + 2*i = -3*w, 0 = 4*i - w - 17. Suppose -5*d = -l - 2, 4*l - 7 = d + 4. Let a be ((-3)/21)/d*i. Are a and 0.3 equal?
False
Let c = -4 + 6. Suppose -6*f - c = -n - 2*f, 0 = f. Which is smaller: n or 1?
1
Let u be 3 + (1362/(-9))/(1 - -49). Is 1 > u?
True
Let j be (-4)/(-10)*8*(-7)/(-42). Which is greater: 1 or j?
1
Let t be ((-2)/(-6))/(40/(-12)). Let r = -6 + 5. Which is smaller: t or r?
r
Let b be (-1)/2 - (-7)/(-2). Let a be 2/b + 12/8. Suppose 2 - 1 = u. Are u and a non-equal?
False
Let d = -4 - -3.98. Let x = 0.08 + d. Let j = -13 + 12. Which is smaller: j or x?
j
Let y = 1 - -8. Suppose g = r + 1 - 4, -2*r + 3*g + y = 0. Let j(l) = l**3 - 5*l**2 - 7*l + 7. Let o be j(6). Is o bigger than r?
True
Suppose -d = 5*q - 196, 4 - 12 = 2*d. Let k be ((-10)/(-8))/(10/q). Is 0.1 bigger than k?
False
Let l = -49/153 + -2/1