-36)*6183 + 2/(-8). Do r and 515 have different values?
False
Suppose -2*h - 5*c - 1 = 0, -h + 25 + 7 = -4*c. Let v = 11 - h. Which is bigger: -3 or v?
v
Let a = -1.71 + 1.67. Let s = -44 + 131/3. Which is smaller: a or s?
s
Let v be (0 - 6/(-15))*(-1239)/(-14). Is 36 != v?
True
Let n be (14/(-10))/(-4 + 26/5). Suppose 4*w = -2*r + 8, -11 = -4*r + 2*w - 5*w. Suppose 2*d + r = -2. Which is greater: n or d?
n
Let r = -0.4 - -0.37. Let q = -0.43 - r. Which is smaller: q or 0.2?
q
Let r(h) = 6*h + 16. Let t(p) be the third derivative of -p**4/12 - 5*p**3/6 + p**2. Let c(u) = 6*r(u) + 17*t(u). Let d be c(-6). Is d < 5/7?
True
Let o = -16/23 - -98/207. Let w = 8/23 + -150/299. Which is smaller: o or w?
o
Let y(d) = -d**3 + 18*d**2 + 9*d + 49. Let t be y(18). Is 212 not equal to t?
True
Let o = -1.107 + 1.18. Let g = o + -7.173. Let p = g - -7. Which is bigger: 3 or p?
3
Let x = -0.01 - -1.91. Let w = 0.9 - x. Let v = 102 - 102. Which is smaller: v or w?
w
Suppose -6*m + 47 = -25. Let f(q) = q**3 - 11*q**2 - 10*q - 12. Let j be f(12). Is j less than m?
False
Let j = 197 + -196. Is j > 1650?
False
Let n be 24/(605/(-530) + 1). Let w = n - -169. Is w less than or equal to -1?
False
Let o be ((-2)/8)/(4/(-6)). Let u = -13.947 - -14. Let i = u + 0.047. Which is smaller: i or o?
i
Suppose -7 = a + 2*t, -t - 8 = t. Let d be (a - 1)/(8 + -9). Which is greater: d or 5/6?
5/6
Let v(a) = a**3 - 17*a**2 + a - 13. Let n be v(17). Suppose 4*f - 39 - 1 = -5*p, 2*f + n*p = 26. Suppose -f*g + 9 = -26. Is 0.2 > g?
False
Suppose 5*f = -2*o + 3*o + 161, 2*f - 5*o = 69. Are 24 and f nonequal?
True
Let j = 0.23 - 0.14. Let w = -13 - -13.9. Let d = -0.1 - w. Which is greater: j or d?
j
Let w(o) = 4*o - 15. Let i be w(6). Let n be (-3)/(-9) - 21/i. Let a be 1*(n + (-26)/(-12)). Which is smaller: 1 or a?
a
Let g = 124.18 + -0.18. Let a = g + -75. Which is smaller: a or 0.2?
0.2
Suppose -6*h = 4 + 2. Let y = 985 + -42357/43. Is y bigger than h?
True
Let n = -115 - -117. Let k = -0.5 - 0.8. Let o = k - -0.3. Which is smaller: o or n?
o
Let v = 87.2 + 163.8. Is 1 greater than or equal to v?
False
Let o(q) be the third derivative of -q**6/120 + q**5/10 + q**4/8 - 5*q**3/6 - 2*q**2. Let d be o(6). Suppose -9*p + d*p - 8 = 0. Which is bigger: 7/3 or p?
7/3
Suppose 9*p + 39 = 4*p + 2*d, -p + 2*d = 11. Which is smaller: p or 21?
p
Let t = 2.8 - 2.3. Let d = t - 0.6. Is -4 smaller than d?
True
Let u(w) = w**2 - 3. Suppose 5*x + 6 = 3*x. Let q be u(x). Suppose 4*v = -2 + q. Which is bigger: 1/2 or v?
v
Suppose -3*v = -2*v - 1. Let p be 72/(-6) + 1/v. Is p at most -11?
True
Let u be 27/6 - 8/16. Suppose -2 = -2*n - 4*b + u, 5*b - 4 = n. Let g(o) = -o**3 - 7*o**2 + 1. Let f be g(-7). Are n and f nonequal?
False
Let f(r) = r**3 + 4*r**2 + 3*r - 3. Let p = 5 - 8. Let l be f(p). Let w = l - -6. Does 4 = w?
False
Let s be 2 + -1 + (-16)/18. Let j be (-1 - 2)/(45/(-60)). Suppose -1 = j*g - 5. Which is bigger: s or g?
g
Suppose -6*q = -2*q. Suppose s = -4*u + 3, 0 = -3*s - 3*u - q - 9. Is s > -4?
False
Let d = 66 - 104. Let y = 32 + d. Are -4 and y equal?
False
Let q be (10/45)/(1/(-3)). Let s = 12 - 25. Let v = s - -8. Which is smaller: v or q?
v
Let v(s) = -s**2 - 2*s + 5. Let y be v(-3). Suppose 4*j = 4*w - 92, -y*w + w = 2*j + 37. Let p = 21 + j. Which is smaller: p or -6/19?
-6/19
Suppose 6*b - 116 - 28 = 0. Suppose -x - x + b = 0. Are x and 11 non-equal?
True
Let i(o) = -10*o**2 - 84*o + 14. Let k be i(-10). Is k > -146?
False
Let g be ((-124)/(-20))/((-204)/(-10)). Let t = 1/34 + g. Let y = -31 - -16. Which is greater: t or y?
t
Suppose 24 + 12 = -12*g. Is -9/4 < g?
False
Let n be (-39 - (-3 - -7)) + 4. Let l be n + -2 + 5 + -6. Which is bigger: -41 or l?
-41
Let l = 36 + -31. Suppose 0 = p - t - 10, -13 = -2*p + l*t + 10. Which is smaller: 5 or p?
5
Let c = -6 + 5. Suppose -16 = 5*u - 11. Are u and c nonequal?
False
Let v be (-27)/(-12)*(-8)/(-3). Let d = 6 - 6. Suppose d = -v*p + 2*p. Which is smaller: p or -2/25?
-2/25
Let c = 34 + -30. Let g be 1*(-34)/(-42) + c/(-6). Let f(a) = -a**2 + a + 2. Let k be f(2). Do k and g have the same value?
False
Let o be (10/(-75))/(1/5). Let b(r) = -2*r**2 + 14*r - 15. Let t be b(6). Is o less than t?
False
Suppose -42 + 57 = -f - 4*k, 5*f - k + 159 = 0. Let a(n) = 3*n - 9. Let z be a(-7). Which is smaller: f or z?
f
Suppose 0 = 5*l - t + 7 - 0, 0 = -4*t + 8. Let z = 11569/21 - 551. Let x = z + 29/84. Is x smaller than l?
False
Let f be -3 - -3 - 2/(-1). Suppose -f*p + 5*p + 4*o = -58, -20 = p + o. Is p equal to -22?
True
Let q = 2438 + -2435. Which is greater: 89 or q?
89
Suppose 0 = -4*d + 4*t + 32, -d - 2*t + 20 = 3*d. Suppose d = -5*v + 1. Which is greater: v or -0.02?
-0.02
Let q = 99504/1463 - 182/209. Which is smaller: q or 68?
q
Let i = -44 - -42. Let t = -2.1 - i. Which is smaller: t or -22?
-22
Let u = -126 - -632/5. Let q = 125 + -128. Which is bigger: q or u?
u
Let z = -610 - -612. Which is bigger: z or 42/11?
42/11
Suppose -3*j - 3*y - 15 = 0, 0 = 6*j - 2*j - 4*y - 12. Is 2/853 < j?
False
Let n = -1.36 + 1.6. Let p = 0.14 - n. Let q = -5 - -11. Which is smaller: q or p?
p
Suppose -3*v + 11 = 5. Let o(h) = -h - 7. Let a be o(-5). Let m be -1*(a/4 + 0). Does v = m?
False
Let x = -2546 + 2545.8. Let d = 0.11 - 0.1. Is x less than d?
True
Suppose 0 = 3*m + 2*m + n - 453, 12 = 4*n. Which is smaller: m or 89?
89
Let p = -3.8 + 0.8. Let y(q) = -q**3 + q**2 - 2*q + 4. Let s be y(0). Suppose -c - 3*j + 16 = -0*j, c - s*j = -12. Is c >= p?
True
Let k = -96 - -3651/38. Which is greater: k or -1?
k
Let h(x) be the first derivative of -x**4/4 - 7*x**3/3 - x**2/2 - 4*x + 2. Let p be h(-6). Let f be (-10)/(-25) - p/40. Is 0 bigger than f?
False
Let i = -2 + 3. Let j(w) = -w**2 + 14*w - 44. Let k be j(6). Suppose i = k*b - 11. Which is smaller: b or 2?
2
Let b = -3 - -6. Suppose -b*w + 4*w = -16. Let n be ((-20)/w + -1)/1. Which is bigger: n or 2/3?
2/3
Let h be 1/(-7)*-18 - 2. Let i(a) = 271 - a**3 + 0*a**2 - 269 - a**2. Let b be i(0). Which is smaller: b or h?
h
Let w = 57.7 - 57.8. Which is smaller: -8.5 or w?
-8.5
Suppose -2*z = -428 + 344. Which is smaller: 41 or z?
41
Let m(f) = -32 - 6*f + f**2 + 37 + 0*f. Let r be m(3). Which is greater: -24/7 or r?
-24/7
Let u(o) = o**2 - 5*o - 6. Let b be u(5). Suppose -9*d + 4*d + 2*m - 25 = 0, 4*m + 41 = -3*d. Which is greater: d or b?
b
Let y = 31 - -22. Let c = y - 64.8. Let s = c + 12. Which is greater: s or 4/3?
4/3
Let h = 421.3 - 467. Let y = 46 + h. Are y and -4/5 equal?
False
Let l be (-87)/15 - 3*(-6 + 7). Which is smaller: -8 or l?
l
Let q(j) = j + 4. Let s be q(-3). Let i = -2671.82 - -2672. Which is bigger: s or i?
s
Let j be 3/1 + 0 - (3 + -17). Suppose 23*c - j*c = -306. Which is bigger: c or -50?
-50
Suppose 5*j = -3*i - 17, 0 = -j - i - 4*i - 21. Let w(u) = -u**3 - 2*u**2 + 1. Let n be w(j). Is -1/64 at most as big as n?
True
Let y(f) = 2*f**3 + 32*f**2 + 33*f + 44. Let w be y(-15). Is w smaller than 2/79?
True
Suppose 2*v + 2 = 40. Suppose 0 = 2*s + j + v, 2*s - s - 18 = 5*j. Are s and -7 equal?
True
Suppose -p + 8 = -4*z, 3*z - 5*p + 9 = 3. Suppose -2*i - 6 = 5*m, 1 - 7 = -4*i - m. Let u be (-2)/(0 - i)*-3. Is u at least as big as z?
False
Let s = 124 - 88. Suppose 8*p = -4 + s. Let q be ((-3)/9)/(2/p). Is -2 at most q?
True
Let o be (-18)/(-27)*((-5)/2 - -1). Which is smaller: o or -4/865?
o
Let l be 3 - (2 + 4 + -2). Which is bigger: -2/2377 or l?
-2/2377
Let s be (-9)/15 - 7/5. Let a be -3 - 2*s/4. Let i = 4 - a. Is 6 equal to i?
True
Suppose 0 = -22*r + 19*r + 9. Let f be (-1)/(30/16)*r/4. Which is greater: -6 or f?
f
Suppose 7 + 7 = o. Suppose -5*a = -6 - o, -4*l - 2*a = 0. Let x be 2*(-3)/3*1. Are l and x equal?
True
Suppose 6 = 20*p - 17*p. Is -2 < p?
True
Let i be 1 - ((-10)/25 + 1). Let t = 3 + 3. Let a = 5 - t. Are a and i unequal?
True
Let f be (-705)/65 + (-4)/26. Let m = -28 + 22. Which is smaller: m or f?
f
Let w be (-54)/45*(27/(-6) + 2). Let i(x) = x**3 + 4*x**2 - 5*x - 2. Let c be i(-4). Let h be (w/8)/(c/(-12)). Which is bigger: -1 or h?
h
Let w be (-30)/120 - 1/((-8)/42). Suppose -50 = 4*a - w*a. Is 50 <= a?
True
Let y be (-5 + 145)/7*(-128)/(-20). Is y greater than 2/5?
True
Let c(p) = 13*p**2 - 104*p - 9. Let o be c(8). Which is greater: -7 or o?
-7
Let y = 50 