. Let x = 82/165 - b. Suppose -281*d + 228*d = 0. Is x not equal to d?
True
Suppose 16 = 2*i + 2*i. Let j(c) = 3*c**3 + 13*c**2 + 28*c + 42. Let a(f) = 2*f**3 + 9*f**2 + 19*f + 28. Let o(t) = 8*a(t) - 5*j(t). Let b be o(-5). Is i > b?
False
Let s(o) = -o**2 - 16*o + 18. Let j be s(-9). Let k be j/90 + (-1)/2. Is 1 at least k?
True
Let a be (-5)/130*-4 - (-59972)/(-1287). Are -46 and a nonequal?
True
Let l be (2/4)/((-2)/4). Let w = 546 - 550. Let r be 6/8 + l/w. Which is greater: r or 2/27?
r
Suppose -y - 5*n = 35, -160 + 3 = 4*y + 3*n. Let h = y + 4. Let b be h/(-54)*(2 + 1). Is b greater than 2/3?
True
Suppose 0 = -10*w - 16 - 34. Let l(g) = -3*g + 18. Let k be l(w). Which is greater: 34 or k?
34
Let v = -10 + 15. Suppose -3*w + 37 = -v. Let b be 0 - -2 - w/5. Which is bigger: b or -1?
b
Let y = -1294.908 - -1297. Let f = 0.108 + y. Which is smaller: 1 or f?
1
Let v(n) = n**2 - 30*n + 200. Let c be v(10). Let d = -18 + 11. Which is greater: c or d?
c
Let h = -49 + -193. Let g = h - -375. Is 1/2 <= g?
True
Let g = 554 - 402. Is g less than 0?
False
Suppose -56*x = -57*x + 1. Which is smaller: 1/87 or x?
1/87
Let l = -212 - -161. Is -52 > l?
False
Let r(s) = -s**3 + 5*s**2 - s + 4. Let i be r(4). Suppose -2*o = 2*n - 16, 0 = -n - 4*o - 5 + 19. Let v be n/(-8)*i/(-28). Which is bigger: v or -1?
v
Suppose 2*f + 2*f = 12. Let c = 46151/8 - 5767. Which is smaller: c or f?
c
Suppose -35*w - 105 = -70. Let f = 2/19 + -79/570. Which is smaller: w or f?
w
Let d = 0.539 - -465.461. Which is smaller: d or 0?
0
Let r(m) = 2*m**2 - 7*m - 11. Let j be r(5). Let q = -43 - j. Which is smaller: -49 or q?
-49
Let i(h) = h**2 - 19*h - 7. Let u be i(8). Let l = u + 94. Which is greater: l or 1/47?
1/47
Let r(w) = 2*w - 56. Let x be r(32). Which is bigger: 56 or x?
56
Let p be ((-2512)/14)/(-4) + 7 + -6. Which is bigger: 46 or p?
46
Let v = 0.81 + -46.81. Let t = 45.9 + v. Which is greater: 7 or t?
7
Suppose 2*t + 7 = -3*j - 6, -2*j + 3*t - 13 = 0. Suppose -17 = 3*b + 5*v, -2*v = -4*b - 17 + 3. Which is smaller: j or b?
j
Let p(d) be the first derivative of d**2/2 + 3*d + 36. Let z be p(-8). Is z smaller than -19/4?
True
Let w = 8.8 - 6.8. Let h(a) = -6*a**2 - 6*a - 10. Let r be h(-2). Which is smaller: r or w?
r
Let n = 5.53 - 5.1. Let a = -3.57 - n. Do 2/3 and a have the same value?
False
Let n = -1.144 - 11.856. Is -91/2 smaller than n?
True
Let i be ((-1)/(-1))/(((-2)/(-223))/2). Which is smaller: 1 or i?
1
Let x = 44 + -20. Let d be x/15 - 1/(-1). Is d bigger than 3?
False
Suppose -14*y + 18*y = 6*y. Is y >= -13/69?
True
Let c = -42 + 41. Let v be 54/(-12) - (-3 + c). Which is smaller: v or 18?
v
Let p = 47 + -88. Let f = p - -39. Is f greater than -1.1?
False
Let s = 77 - 50. Let f be (2/4)/(2*s/24). Is 3 <= f?
False
Let q = -733 - -1457/2. Let i = -1.2 - -0.2. Which is smaller: q or i?
q
Suppose -4*x - v = 4*v + 21, 4*v = -20. Is x at most as big as -11?
False
Suppose j = 3*n + 71, 4 = -3*n - 2*j - 70. Let a = 18/5 - 17/20. Let o = 9/4 - a. Do n and o have the same value?
False
Let k = 71 - 70.63. Let v = -0.4 + k. Which is smaller: v or -2?
-2
Let n = 804 - 353. Which is bigger: 450 or n?
n
Suppose -58 + 72 = -2*i. Is i less than -6?
True
Let n be (4 - -1 - 7)*(2 + 0). Let a be (2/(-3) + -1 - n)/(-1). Which is smaller: -1/4 or a?
a
Suppose 11*x + 102 = 9*x. Let t be (-28)/x + (-16)/24. Which is greater: t or -4/3?
t
Let c = -47 + 46. Let o = 0.04 - -0.71. Let h = -0.7 + o. Is h at least as big as c?
True
Suppose m + m = 0. Let b(o) be the first derivative of o**4/4 + 2*o**3/3 + o**2/2 + 2*o - 4. Let u be b(-3). Which is smaller: u or m?
u
Let j = 118.94 + -119. Let v = j + -85.94. Is v at most 0.1?
True
Suppose -5*p - o = 3*o + 23, -2*p = 4*o + 2. Let b(d) = d**2 - 5*d + 6 + 2 + 0*d**2 - 11. Let q be b(4). Is p < q?
False
Suppose 6*k - 2*k - 8 = 0. Let s be 4/(8/k) - -1. Suppose a + 5*q = -20, 4*a - s*a + 12 = -3*q. Is 2/13 greater than or equal to a?
True
Let l = 0.8 - 6.8. Let s = -3588/7 + 512. Is l < s?
True
Let a = -82 - -56. Let l = -30 - a. Which is bigger: l or 1?
1
Let t = 17/4 - -1565/12. Which is smaller: 134 or t?
134
Let f = 9 + -12. Let s(p) be the second derivative of p**4/12 + p**3/2 - p**2/2 + 2*p. Let v be s(f). Is 2/3 < v?
False
Let n(x) = x**3 + 4*x**2 + 4. Let m be n(-4). Suppose 2*i + m = i. Let j be (-30)/i*2/40. Does j = -1?
False
Let v be (350/15)/((-37)/(-9) - 4). Is v > 210?
False
Suppose 0 = 2*o + 4*q - 4, -3*o + 5*q - 2*q - 3 = 0. Let s = -117 + 201. Let n = s + -754/9. Are o and n equal?
False
Let t = -51 + 54. Suppose -4*m = -t*m, -5*m = 5*a. Is a < 2?
True
Let l be -12*(14/3 + -5). Suppose 3 - 23 = -5*j. Suppose 2*i + 1 = -m + 16, 0 = i + j*m - 25. Is l greater than i?
False
Let d(w) = w + 9. Let a be d(-8). Let v = -103/261 - -5/29. Which is smaller: v or a?
v
Let x(s) = s**2 + 7*s - 4. Let v(o) = 4*o**2 + 21*o - 13. Let k(l) = -2*v(l) + 7*x(l). Let i be k(3). Which is bigger: i or 8?
i
Let w be ((-4)/2)/((-12)/18). Is w <= -0.9?
False
Let t be (2 - (-10)/(-3))*(-432)/96. Are t and 63 equal?
False
Suppose -4*x - 3*u = -34 - 28, 25 = x - 4*u. Is 23 bigger than x?
True
Suppose x + 0 - 7 = 0. Let l be ((2/(-3))/(-2))/(4/78). Does x = l?
False
Let w be 1/2*(-7564)/(-62). Which is smaller: w or 63?
w
Suppose -3*h + 2 = -3*i - 1, -h - 4 = 4*i. Let z = -0.9 - 0.1. Let c = z - -1. Is h not equal to c?
False
Let w = -4654 - -23126/5. Which is bigger: -28 or w?
-28
Let k(t) = -t**2 - 5*t - 3. Let f be k(-4). Suppose -3*i - 4*b + 5 = 2, 4*i + b = -9. Let w be 2/i - (-25)/15. Is f at most as big as w?
True
Let q be (-1)/((8/(-6))/(-2)). Let f = -9 + 8.966. Let o = -0.066 + f. Which is bigger: q or o?
o
Let m = -837203/10 - -83828. Let r = -107 + m. Is r < 0?
False
Let j be (1495/(-78))/(-1)*4/(-10). Suppose 4*g - 2*n + 36 = 0, 5*g - 4*n + 15 = -9*n. Is g bigger than j?
True
Let r be (96/(-80))/(2/(-15)). Let c = r + -6. Suppose -28 = 7*d - c*d. Which is bigger: -6 or d?
-6
Suppose 2*g + 250 + 206 = 4*r, -342 = -3*r + 5*g. Is r equal to 110?
False
Let y(c) = 448*c**2 + 2*c. Let j be y(2). Let p = j + -9183/5. Let n = -41 - p. Is 2 less than n?
False
Suppose -5*w - 2*c - 1 = -3*c, -4*w - 3*c + 3 = 0. Let n be -6*(1/3)/(-1). Suppose 0 = t + n*t. Is w greater than or equal to t?
True
Let s = 50 - 34. Let x = -16.06 + s. Let t = -2.06 - x. Is t <= -2?
True
Let h(s) = 2*s**3 + 6*s**2 - 2*s - 4. Let j be h(-3). Let r be (-16)/(-18)*6*j/(-16). Let c = 8 - 2. Is c greater than r?
True
Let j = -46.52 - -53. Let w = 0.52 + j. Is w greater than 0?
True
Let y = -1.3 + -8.7. Let i = y + 10.2. Do i and 1 have the same value?
False
Let u be 34/119 + 1255*1/(-7). Which is smaller: u or -178?
u
Let g = -15 + 15. Let v = 1 + -9. Let t = v - -10. Which is smaller: t or g?
g
Let p = 291/5 - 57613/990. Is 1 less than or equal to p?
False
Let z = -8285/7482 - -32/29. Are z and 1 equal?
False
Let w = 80 + 11. Which is smaller: w or -3?
-3
Suppose -3*z = 2*m - 33, -58 = 2*m - 5*m + 4*z. Let d = -25 + m. Let t = d - -12. Is t < 6?
True
Suppose s = 3*s. Let h be 10 + -4 + 4 + 0. Suppose s = 5*j + v - 10, j = -4*j + 5*v + h. Is j at least 7/4?
True
Let r = -417 + 290. Suppose -w + 4*v - 75 = 51, -3*w - 378 = 5*v. Which is smaller: r or w?
r
Suppose 0 = -3*l - 3*j + 18, 7 - 2 = -j. Let n = l - 18. Let r = -6 - 2. Which is greater: r or n?
n
Let p = -122 + 65. Let b = -91 - p. Are b and -34 nonequal?
False
Let f = -616 + 622.8. Is f >= -0.1?
True
Let z = 418 + -479. Which is smaller: z or 2?
z
Let j(y) = 1. Let v(f) = -f**2 + 5*f - 6. Let z(g) = 4*j(g) + v(g). Let t = 65 - 59. Let b be z(t). Is b at most as big as -8?
True
Let j be ((-2)/4)/((-6)/576). Is j < 51?
True
Let u(f) = -5*f - 3. Let d be u(3). Let q = d + 12. Let i be (-4 + 2 + 4)*(-2)/1. Is i smaller than q?
False
Let k be ((-6)/(-4))/((-6)/(-16)). Suppose 5*u - b - 40 = 0, u + k*b + 16 = 5*u. Let v be (-2)/u + 77/63. Do v and 1/6 have different values?
True
Suppose 0 = 2*k - 4, 43*k - 46*k = -2*b - 488. Do b and -242 have different values?
True
Suppose -2*m + 27 = -3*k, -m = -5*m + 2*k + 34. Is m < 32/7?
False
Suppose a + a = -2, -x + a + 5 = 0. Let n be (-8)/54*2/x. Suppose 2*g - l = 4*l + 5, -5*g - 3*l = 3. Are n and g non-equal?
True
Let a be (1/3)/(-1) + (-623)/21. Let h be (-72)/a + 2/(-5). W