ferent values?
True
Let s be (4/5)/((-4)/16). Which is bigger: -2 or s?
-2
Let u = 4 - 5. Let j = 155/9 - 17. Which is bigger: j or u?
j
Suppose -2*n = 2*n + 12. Let v = 3 + n. Which is smaller: v or 1?
v
Let g = -8 - -9. Let t(c) = c**3 + 9*c**2 + 12*c + 12. Let y be t(-8). Let x be ((-4)/y)/(-1*1). Do g and x have different values?
True
Let z be (-27)/(-21) - 4/14. Let q(y) = y**3 + 0*y**3 + 21*y**2 - 30*y**2. Let r be q(9). Which is greater: r or z?
z
Let a(b) = -b**2 - 3*b + 3. Let x be a(-4). Let u be x + 3/(30/16). Is u != -2?
True
Let q(a) = -5*a**3 + a**2 - 2*a + 1. Let s be q(1). Let c = s + 5. Which is smaller: 3/4 or c?
c
Let z = 16 + -16. Let t = 0.2 - 0.15. Which is smaller: z or t?
z
Let m(v) = 12*v**3 + v**2 - 2*v - 2. Let g be m(-1). Is g < -2?
True
Let w = -104 + 316/3. Which is smaller: 1 or w?
1
Suppose 4*h = 0, -h + 1 = 4*f - 3. Suppose -24 = 5*t - 3*l + 2, -4*t = -5*l + 26. Let r(o) = o**3 + 3*o**2 - 3*o + 4. Let i be r(t). Which is bigger: f or i?
f
Let b = 0.04 - 0.44. Let q = -2.5 + 3. Let j = q + b. Which is bigger: j or -2/7?
j
Let a(w) = -w**2 + 8*w - 18. Let y be a(5). Let l(i) = i**2 - 5*i - 2. Let p be l(5). Is y at most p?
True
Suppose -k + 16 = 13. Let f be 10/15 + (2 - 0). Which is bigger: f or k?
k
Let r be 10/(-30) + (8/6)/(-2). Is r greater than or equal to -9/7?
True
Let u be (-11 - -12)*2/(-4). Which is smaller: u or 12?
u
Let n(y) be the third derivative of y**5/60 - y**4/3 + 7*y**3/6 + y**2. Let j be n(7). Do 1 and j have the same value?
False
Let x be ((-3)/12)/(-38*1). Let l = x + -309/760. Which is bigger: l or 3?
3
Suppose 3*i = -4*w - w - 8, 4*i + w + 22 = 0. Let f be (-4)/6 + 2/i. Let r be (-4)/18 + (141/27 - 5). Does f = r?
False
Let i = 3 - 9. Let d = i - -7. Which is bigger: d or 4/7?
d
Let w = -0.4 + -0.6. Which is smaller: w or -30?
-30
Let n(a) = -a**2 - 7*a - 2. Let k be n(-6). Let r = -6 - -10. Suppose 0 = r*y + y + 3*l - 5, 2*y + 2*l + 2 = 0. Are y and k non-equal?
False
Let c = 26 - 26.08. Is c bigger than -3?
True
Let o(d) = -d**3 - 4*d**2 + 3*d - 7. Let u be o(-5). Suppose u*j = -0*j + 27. Let r = -8 + j. Is r <= 3/4?
False
Suppose -8*j = -3*j - 45. Does j = -1?
False
Let o be (558/(-27))/((-2)/(-3)). Let x = o - -20. Is x greater than -12?
True
Let k be ((-8)/(-5))/(6/(-3)). Let r = 62 - 62. Which is bigger: r or k?
r
Let r be (6 + -4)/(42 + 2)*12. Is 0 equal to r?
False
Let c = -94 + 98.1. Let w = c - 4. Let r be (-5)/(-15)*3*1. Which is smaller: r or w?
w
Suppose 0 = -4*y + 19 - 3. Suppose y*q - 21 = s, 7*s + 8 = 4*s + q. Is s less than -2?
False
Let p = 5 - 5. Let t = -3.9 - -3. Let h = -0.6 - t. Which is smaller: h or p?
p
Let j be 4/50 + (-254)/50. Let c be (-3)/((-6)/(-4)) + 3. Which is greater: c or j?
c
Suppose -4*z + 2*z = 10, 4*z = -4*t - 16. Let d be (-4)/2 + 5/2. Do d and t have different values?
True
Suppose 2*q + 44 = -c, -6*c = -9*c - 3*q - 120. Let x be (10/36)/(12/c). Let f = -2 + 2. Is x less than f?
True
Let h = -6 + 6. Suppose 0 = -6*m + m + 3*b - 1028, h = -2*m + b - 411. Let c be m/(-65) + (-4)/26. Is c <= 3?
True
Suppose -4*g - 3*w = -0*g + 15, 5*g - 15 = 3*w. Suppose 3*u + 3 - 15 = g. Is 4 bigger than u?
False
Let u = 157 - 159. Which is smaller: -3/4 or u?
u
Let b(z) = -3*z + 7. Let w be b(2). Let i be (6/8)/((-13)/4). Which is greater: w or i?
w
Let j = -6 - -7. Let s = -0.07 + -5.93. Let m = s + 8. Which is bigger: j or m?
m
Let z be 5 + 1 + -1*2. Suppose 2*c = n - 0*n - 2, z*n - 8 = 5*c. Is c less than or equal to -4/3?
False
Let k = -0.1 + 0.2. Let z(i) be the third derivative of -i**5/60 - 3*i**4/8 + i**3/3 + i**2. Let l be z(-9). Which is smaller: l or k?
k
Let u be (1*-2)/(4/(-8)). Let p = u - 4. Let z be p + (-1 - (-2 - 0)). Is z less than 2/21?
False
Suppose 5*x = -t + 11, -10 = -5*x + 4*t - 4. Let g(l) = 5 - 5*l**x + 6*l + 4*l**2 + 3 + 0. Let b be g(6). Is 7 at most as big as b?
True
Suppose 9*u - 30 = 6*u. Suppose -3*g - 97 = -0*p - 2*p, u = 2*g. Let y be (-4)/(-10) + p/35. Which is greater: -2/7 or y?
y
Let r(y) = -y**3 - 1. Let f be r(-1). Suppose -3*x + 13 - 10 = f. Which is smaller: x or 0.1?
0.1
Let o(r) = -r. Let a be o(-5). Which is bigger: a or 9/2?
a
Let n = 0.278 + -0.178. Which is smaller: 0.6 or n?
n
Suppose 4*b = -2*d - 0*d + 2, 0 = -5*b. Which is bigger: d or 1/4?
d
Let y = -8 + -10. Let u be (8/(-6))/((-30)/y). Is 0 != u?
True
Let f be (3/(-2))/((-3)/4). Suppose -t - 4*g + 9*g = 6, 0 = f*t + 3*g - 1. Let k be 1*2*(-1 - 0). Is k at least t?
False
Let q = 1 - 18. Let d be 6/(-2) + 1 + -15. Does q = d?
True
Let h = 2 + -3. Let p = h - -4. Is 0 smaller than p?
True
Let x = -10 + -4. Let d = x + 13.7. Let q = 1 + -2. Which is smaller: d or q?
q
Let b = -8561/1535 + -7/307. Let p = 107/20 + b. Suppose -c = 3*c. Is p at most as big as c?
True
Let w = -22.4 + 22. Which is greater: w or 3/4?
3/4
Suppose -4 = 2*v + 4*j + j, v - 2*j - 7 = 0. Let u = 4 - v. Let d be u/(3/(-2) + 2). Do d and 1/2 have the same value?
False
Let d(v) = v**2 + 7*v + 7. Let f be ((-15)/6)/(2/4). Let x be 2/2*30/f. Let n be d(x). Do n and 2/3 have the same value?
False
Let k be ((-16)/(-6) + -1)*3. Suppose k*t - 4 = 6. Suppose a - t*a - 3*h - 2 = 0, h + 1 = 0. Which is greater: a or 4?
4
Suppose -5*f + 2 = -13. Let q = 4 - 0. Suppose 0 = -w + q*w - 9. Is w at most as big as f?
True
Let h = 77 - 60. Which is smaller: h or 18?
h
Let r = -186 - -3160/17. Let k be 3/3*0/(-2). Is k < r?
False
Let w be 2/(-4)*0 - 0. Let o be (3/(-2))/(-3 + w). Let f(d) = d. Let m be f(1). Which is greater: o or m?
m
Let u be (-2)/(-91)*28/12. Let w be 3/((-12)/8) + 2. Is w smaller than u?
True
Let b be (-729)/(-15) + 6/15. Suppose 5*l = -11 - b. Let n be 6/(3 + (-27)/l). Which is greater: 0 or n?
n
Suppose 3*m - 2*q + 43 = 0, -m - 4*q = -3*m - 42. Is m != -10?
True
Let p(f) = f - 3. Let t be p(6). Let d = 5 - t. Is d != 2?
False
Let o = -2 - -20. Let n = 17.9 - o. Which is smaller: n or -0.08?
n
Suppose -5*u = -u. Suppose -z - z + 8 = u. Suppose -21 = 3*d - 6*o + o, -z = -4*d - 4*o. Is d at least 1?
False
Suppose -3*d - p = -4*d - 5, 0 = -5*d - 2*p + 10. Let b be (3/(-1))/((-3)/6). Suppose -b*q = -2*q + 2*m + 2, 5*q - 2*m = 20. Are d and q nonequal?
True
Suppose -2*j + 18 = 5*l, -4*j - 3*l + l + 4 = 0. Is j greater than -0.43?
False
Let a be 0 + -4 + 4 + 1. Suppose -4*f = 4*k + 72, -44 = 4*f - 4*k + k. Let i be 34/f - -2 - 0. Are i and a non-equal?
True
Let g = -9/20 + 1/4. Suppose 0 = 2*k + 5*l + 14, 0 = -5*k + l + 4*l. Are k and g equal?
False
Let t(x) = x**2 + 6*x - 3. Let w be t(-6). Let f(r) = -r**2 + 2*r + 5. Let l be f(4). Let d = w - l. Which is bigger: 2/9 or d?
2/9
Let m(b) = 1 + b + 0*b**2 - b**2 + 0*b**2. Let n be 3*(-2)/(-3) + -1. Let h be m(n). Is h equal to 1?
True
Suppose -5*j + 9 = 2*w, -2*w = -0*w + 6. Are j and 2 unequal?
True
Let j = 0.4 + 0.1. Let y = -0.01 + 0.41. Let f = y - j. Are f and 0.1 nonequal?
True
Let g = -28 - -27.9. Is -0.1 <= g?
True
Let r(v) = 4*v**3 - v**2 - 2. Let i be r(2). Is i >= 1/3?
True
Let n be (-14)/63 - 7/9. Is n > 1?
False
Let q(g) = -g**2 + 2*g + 3. Let d be q(-2). Let o be (d/(-3))/((-6)/18). Suppose -5*a + 7 - 32 = 0. Is o greater than a?
False
Suppose 3*r - 5*z - 15 = 0, 2*r - 2*z - z - 9 = 0. Let l be (-561)/1155 + 2/10. Which is bigger: l or r?
r
Let o be -9*(-3)/(18/(-8)). Let n = o + 17. Let f be 3 - (-5)/(30/18). Which is greater: n or f?
f
Let y = 25 - 49/2. Let t(w) be the second derivative of -w**5/20 - 7*w**4/12 - 7*w**3/6 - 3*w**2 - w. Let p be t(-6). Which is smaller: y or p?
p
Let l be (-1)/15 - (-12)/(-36). Which is smaller: l or 1?
l
Suppose -11 = 4*x + 5*s, -3*s + 0*s - 13 = -4*x. Let g = -2/109 - -224/327. Is g at least x?
False
Let n(b) = b**3 + 9*b**2 + 2*b - 2. Let q be n(-9). Let z = q - -19. Let s(y) = -2*y**2. Let h be s(-1). Which is bigger: h or z?
z
Let v = -8 - -3. Are -4 and v equal?
False
Let g = -14 + 15. Is -3/8 smaller than g?
True
Suppose 5*d + 6*d = 253. Do 22 and d have the same value?
False
Let f = 0.82 + 0.18. Which is greater: -4 or f?
f
Let o = -1.1 + -0.1. Let n = 0 - o. Let h = n - 0.2. Is 4 at least as big as h?
True
Let h = -2/377 - 373/754. Let u be (-1 - (1 + -1))*0. Which is smaller: u or h?
h
Let i be ((-1)/(-52))/(1/(-6)). Let m = -43/78 + i. Let q = -0.83 + 0.73. Is q at least as big as m?
