4
Let w = -26 + 25. Let c be (1/(-10))/((-2)/(-8)). Which is greater: w or c?
c
Let r = 2/453 - -96/1057. Let j(f) = f**3 + 2*f**2 + f + 1. Suppose d + 0 + 2 = 0. Let x be j(d). Is r <= x?
False
Suppose -3*t + 4 = -4*u - 6*t, 4*u - 5*t = -4. Suppose -7*j + 2*j - 175 = 0. Let p be (2 - 5) + j/(-11). Is p not equal to u?
True
Let p(h) = -h**3 - 4*h**2 - h - 5. Let j(z) = -5*z**2 - 3*z - 2. Let w be j(-1). Let r be p(w). Which is smaller: 1/11 or r?
r
Let u = -187 + 174.9. Let v = u + 12. Is 2/31 less than v?
False
Let u be 2/3*15/105. Let i be (21/(-15) - -2)*5. Let x be 1/2*(i - 3). Is x less than u?
True
Let z be (3 + -3 - 2)*1. Let k be 1*(7 - 2)*1. Suppose -2*m = -4*m + t - 10, -4*t + 1 = k*m. Which is greater: m or z?
z
Let x be (-3)/(3/(-2)) + -6. Let k be -1 - (10/x - -1). Let y be (-2 + (-5)/(-1))/1. Is k < y?
True
Let p = 538 - 36048/67. Which is bigger: -1 or p?
p
Let c(o) = -7*o + 42. Let l be c(9). Are -21 and l equal?
True
Suppose -2*c + c + 1 = w, 5*c = -3*w - 1. Let q be -2 + (-6)/(-1) + c. Let u(p) = p**3 + 3*p**2 - 5*p - 2. Let n be u(-4). Is q at most as big as n?
True
Let o = 643 + -43723/68. Which is greater: -1 or o?
o
Let r(f) = -f + 4. Let x be r(-3). Let m = x - 8. Which is greater: -2/27 or m?
-2/27
Let o be 1/5 + (-1)/5. Suppose -3*q = g - 5*g - 35, o = -5*q + g + 47. Suppose q = -5*f - 1, -13 = 5*b + 4*f. Is 1/3 > b?
True
Let s be (-1 - -3)*(-42)/12. Is s >= -8?
True
Let k be (-15)/10 - 6/4. Let r be k + (-1)/(1/3). Is r >= -5?
False
Let w be ((-2)/(-3))/((-15)/(-90)). Which is smaller: 0 or w?
0
Let m be (-32)/14 + (-6)/(-21). Are 12 and m equal?
False
Let y be (-3*1)/((-6)/(-4)). Suppose -f = -6 + 7. Is y >= f?
False
Suppose 0 = -0*i - 3*i + 12. Are 4 and i nonequal?
False
Let b be 5/2 - 8/(-16). Let p be -2 - b/9*0. Does -1 = p?
False
Let g be 2/5 - (-14187)/(-105). Let m = g + 135. Which is bigger: m or -1?
m
Let z = 30 + -48. Is z <= -0.1?
True
Suppose 2 = 4*s + l - 1, 5*l + 6 = s. Is s <= -1/156?
False
Let j(w) = w**2 - 4*w + 1. Let k be j(4). Suppose -10 = -3*s + 8*s. Are s and k nonequal?
True
Let i(w) = -2*w**3 + 3*w**2 - 3*w + 1. Let q be i(2). Let m be (-2)/6 + (-3)/q. Suppose 3*r + 2*b + 13 = 0, -4*r + b = r + 26. Do m and r have different values?
True
Let u = 2.1 - 2. Let d = u - 0.11. Is -1/4 greater than d?
False
Let z = -1462/5 + 294. Which is bigger: z or -0.2?
z
Let w be (2/(-15))/(338/(-78)). Which is bigger: 1 or w?
1
Let x = 8 - 9. Let f be -4 - (-3 - 0/x). Let d be (-11)/(-14) + (-1)/2. Which is bigger: d or f?
d
Let u be (1/(-11))/(1/2). Suppose 2*s = -2*w - 14, s + 0*s - 5*w - 5 = 0. Let x(j) = -j**3 - 5*j**2 - j - 5. Let r be x(s). Is u at least r?
False
Let j = -209 + 221. Which is greater: j or 53/5?
j
Let q(o) = -o**3 - 11*o**2 - 11*o - 10. Let w be q(-10). Does w = -2/37?
False
Let b(q) be the first derivative of -q**3/3 - 5*q**2/2 - q + 2. Let p be b(-5). Is p smaller than -1?
False
Suppose -t - 15 = 2*t - 3*w, 20 = 5*w. Suppose v + 4 = 0, -2*l - 2 = l + 2*v. Is l <= t?
False
Suppose -3*f + 57 = -0*f. Let j be f/(-15) - (-6)/9. Which is smaller: j or -2?
-2
Let n = 48 + -47.6. Suppose 0 = -6*l + 2*l. Is l greater than or equal to n?
False
Let s be ((-18)/68)/3*4/(-6). Are -1 and s equal?
False
Let f = 0.12 - -6.88. Let r = f - 8. Is r at most -0.1?
True
Suppose -4*a + 16 = 0, 2*s - 31 = -3*s - 4*a. Let r be 2/(-3) + s/9. Which is smaller: -1 or r?
-1
Suppose 31 = 5*o - 0*z - 2*z, 2*z + 11 = o. Suppose -2*c + 20 = 3*c. Which is smaller: o or c?
c
Let x be (-2 - -2) + 3 - 435/147. Let h(t) = -t - 6. Let p be h(-6). Which is smaller: x or p?
p
Let l = 17 - 154/9. Is l bigger than -1?
True
Let x = -0.05 + 0.05. Which is smaller: x or 2/5?
x
Suppose -4*m - m + 3*k = -41, -m - 3*k = -1. Let p = m + -5. Which is greater: p or 1?
p
Suppose 8 - 35 = -3*v. Is v != 12?
True
Suppose 0 = -m - 4 + 1. Is m at most as big as -3?
True
Suppose -k + u + 17 = 2*k, -18 = -2*k + 2*u. Suppose -f + 11 = 3*w, -f - 5 = k*f + 3*w. Suppose 4*r = -2*a + 4, -a + 2*r - 4 = r. Which is bigger: a or f?
a
Let u = -19 - -7. Is -13 greater than or equal to u?
False
Let r = -30 + 31. Is 1/3 < r?
True
Let u = -5 + -3. Let c = u - -8. Let z = -1 + c. Are z and -1/8 nonequal?
True
Let m be 2/((-66)/(-27)) - (-8)/44. Suppose -5*i + 3*i = -z - 2, -3*z = -5*i + 8. Let j be 4/z - 2/(-3). Is m > j?
True
Suppose -7*w + 2*w - 15 = 0. Let p(r) = -r**2 - 6*r + 5. Let b be p(-7). Is w less than or equal to b?
True
Let n = 12 + -6. Suppose 2*h + 3*h = 30. Let m = h - n. Are m and 1/4 non-equal?
True
Suppose -4*f = 9 - 1. Let y(l) = -2*l - 56. Let k be y(-27). Is k less than f?
False
Let n be 5 + 1396/(-352) + -1. Is n at most 0?
False
Let j(k) = 7*k**2 + 1. Let t be j(-1). Suppose -2*a - t = -0*a. Let n be 2 - 2 - a/4. Are n and 0 nonequal?
True
Suppose 4*y + 18 = 2*t + t, 0 = -2*y. Suppose 0 = -4*c + 99 + 41. Suppose i = -4*i + c. Which is smaller: i or t?
t
Suppose 0 = -4*p - 11 + 3. Let z be (0 - p)*1*-1. Which is smaller: z or -8/7?
z
Let l be (-218)/(-5) - 18/30. Which is smaller: l or 42?
42
Let x(v) = -v**3 + 5*v**2 + 2*v - 6. Let i be x(5). Suppose -5*s - 5*w = -15, -i*s - 4*w - w = -15. Do 1 and s have the same value?
False
Suppose -3*r = -4*r + 24. Let p = r + -42. Let d be (-24)/(-32)*16/p. Which is smaller: d or -2?
-2
Let s = -1 + 4. Let t(i) = -i**2 + 16*i - 36. Let l be t(13). Is s <= l?
True
Let s = 0.8 + -3.8. Let i = -4 - s. Is i < 1?
True
Let h = 12 - 11.7. Let x = 2 + -2. Which is smaller: h or x?
x
Let y be 1 + -1 - -2 - 1. Suppose 2*m - y - 1 = 0. Is m less than 1?
False
Let h = -6 + 6. Let r be (1/2 - h)*3. Which is greater: 3 or r?
3
Let p(w) = w - 7. Let k be p(5). Let f be 37/(-8)*(-2)/1. Let q = -10 + f. Is k at most q?
True
Let b be 2 - (1 - -4) - 1182/(-390). Is b < -1?
False
Suppose -4*x - 5*r + 20 = -8, -5*r = 3*x - 26. Suppose f - 27 = -x*f. Suppose -i - f = 2*i. Does i = -5/3?
False
Let v be (6/(-3))/14*3. Suppose 0*t = -2*t + 10, 0 = -5*j - t - 20. Let d = j + 5. Is d less than v?
False
Let u(i) = 2*i**2 + 4*i - 8. Let w be u(-3). Let b = -17 + 3. Let r be 5/b + 2/(-4). Which is greater: w or r?
r
Suppose -8*r = -0*r + 8. Which is greater: -4/29 or r?
-4/29
Let h be 37/(-4) - ((-11)/(-4) - 3). Which is greater: h or -2?
-2
Let q(s) = -2*s**2 - 3*s + 2. Let f be q(2). Let h = 11 + f. Is -1/3 less than h?
False
Let y be 7*(-1 - (-4)/6). Let z = -1559/834 - -5/139. Let h = z - y. Do -1 and h have different values?
True
Let r(m) be the second derivative of m**4/12 + 2*m**3/3 - 2*m**2 + 2*m. Let k be (2 + -3 + 2)*-5. Let i be r(k). Which is smaller: i or -1/3?
-1/3
Let m = 82.2 + -82. Which is greater: m or -7/8?
m
Let w be 11/11 - 34/38. Is 0 >= w?
False
Let y = -106 + 138. Which is smaller: y or 31?
31
Let m be -1 - 3 - 25/5. Let u be m*(-4 + (-11)/(-3)). Let r = 0 - 0.1. Is u greater than r?
True
Let t = 397 + -14687/37. Is t greater than or equal to 0?
True
Let p = 4 - 37. Is -33 at most as big as p?
True
Let j(m) = m**2 + 4*m + 2. Let r = 6 - 9. Let b be j(r). Is b at least 1?
False
Suppose -3*r = -4*j - 4*r + 11, -5*r + 10 = 5*j. Suppose -j*d + 5*k + 1 = 2, 4 = -4*k. Suppose -3 = 2*v + 3. Which is smaller: d or v?
v
Let i(a) = -a**2 + a - 1. Let v be i(0). Let u be 0/(-3 + 1 + 3). Which is bigger: v or u?
u
Let x(m) = 0*m + 2*m - m - 12 + 4. Let a be x(6). Is a bigger than -2?
False
Let v = -0.32 + 0.22. Is 0 equal to v?
False
Suppose 2*p + 4*s - 1 = s, -10 = -3*p + 4*s. Let d be 2 - p - 2 - -2. Let n be 1/(-1 + -1)*2. Which is bigger: n or d?
d
Let p = 51/76 - 8/19. Let o = 18 + -12. Let a = 6.2 - o. Which is greater: p or a?
p
Let f be 1/3 + (-192)/9. Are f and -20 non-equal?
True
Let k = -0.03 + 0.23. Let m = -0.5 + 0.3. Let n = m + k. Is n greater than or equal to -0.2?
True
Let g(p) = -p**2 - 5*p. Let n be g(-5). Suppose 51 = b + 2*b. Let u = b + -17. Are n and u unequal?
False
Let p = -1.1 + 0.1. Suppose -g - 5*u - 15 = 0, -2*g = -5*g + 3*u - 9. Is g less than p?
True
Let j be 1 + 0 - (4 - -2). Let u = 4 - j. Let z be ((-6)/u)/((-21)/9). Is 1 at least z?
True
Suppose 3*f - 256 = -2*i, -i + 2*i = 4*f - 334. Let z be -1 - 1*(-93)/f. Let x = z - 5/14. Are 0 and x nonequal?
True
Let a be 1 - ((0 - 2) + 2). Let o(t) = -4*t + 1. Let z be o(a). Let j = z - 0. Do j and -2 have different values?
True
Su