895 + r**2 + 897 + 3*r. Let n be j(p). Is -2 equal to n?
True
Let k = 8413047/859 + -9794. Are 1 and k nonequal?
True
Let j = -2 + 3. Let t = 2.659 - 0.059. Let z = t + 7.4. Which is smaller: j or z?
j
Let w be (3 - -4)*-183*1. Let x be 4/(-6) - 833/w. Let l = x + -93/1769. Which is smaller: 0 or l?
l
Let z = -22 + 32. Suppose 3*t = o - 8 - 5, 2*t = -z. Let g be 5/o*16/2. Is g <= -20?
True
Let h = -19255/23 - -837. Suppose 0*f = -4*f. Which is greater: f or h?
f
Let c(f) = f**2 - f - 1. Let h(r) = 3*r**2 - 12*r - 1. Let j(i) = -4*c(i) + h(i). Let p be j(-7). Let t = p + -10. Is -2/23 at least t?
False
Let w be -2 - -17 - 4 - 3. Suppose -2*a - u = -w, 2*u + u = 0. Which is smaller: 6 or a?
a
Let s be ((-6772)/(-3) + (-8)/(-12))/14. Let g = s - 161. Let q = 12 - 95/8. Which is greater: q or g?
g
Let r = 371/183 + 129493/366. Let x = r + -357. Let m(t) = -t**2 - t. Let y be m(-2). Which is smaller: y or x?
y
Let u(s) = -s**2 + 4*s + 1. Let p be u(4). Let m = p - 2. Let q = -361/20 - -89/5. Is q > m?
True
Let t(f) = f**3 + 4*f**2 + 4*f + 1. Let j be t(-3). Which is smaller: -26 or j?
-26
Let m be (-50)/14*(-10)/25. Let y = -35 + 37. Is y less than or equal to m?
False
Suppose 0 = 4*m + 180 + 156. Let a = 82 + m. Is a < -4/5?
True
Let h = 73 - 733/10. Is 1 bigger than h?
True
Let h be (-3 + 4)*(1 + 26). Let m be h/42*(-80)/12. Is m <= -3?
True
Let t be 7*((-6)/9)/((-98)/21). Is 2/1221 >= t?
False
Let o(i) = i**2 - 10*i - 6. Let u be o(11). Let y = u + -6. Suppose 4*t + 3 = 4*m - 5, 5*m = 3*t + 10. Is t at most y?
False
Let f be -1 + ((-14)/63)/(2/(-3)). Let k = f - -7/9. Which is bigger: k or 1/3?
1/3
Suppose 41 = -i + u - 3*u, -4 = 4*u. Which is greater: -40 or i?
i
Suppose -j = 5*y - 1, -1 = -2*j + j. Let d(c) = c**2 - 4*c - 6. Let h(s) = s**2 + s + 5. Let f be h(0). Let b be d(f). Which is bigger: b or y?
y
Let q = -0.997 - 0.003. Which is smaller: 2/1609 or q?
q
Suppose 5*j - j = -12, -4*d + j = -7. Which is greater: d or 1/205?
d
Let d = -28.1 + 27.1. Are d and 120 unequal?
True
Let r(w) = -17*w + 286. Let u be r(17). Suppose -2*o + 4 = -3*q + 7, 4*o = -5*q - 17. Is u > o?
False
Let a = 368.23 + -371. Let x = 0.57 + a. Do x and -2 have the same value?
False
Let c be 31 - 5 - 3/(-3). Let k = c + -40. Is -1 > k?
True
Let l be (-8 + 9)*3/(-3). Let s be l - 0 - (-45)/47. Which is greater: -1 or s?
s
Let q = -115/90948 + -3/583. Is -1 greater than q?
False
Let y = -634 - -636.59. Let v = 2.7 - y. Let u = 1 - 2. Is u != v?
True
Let t = 0 + -2. Let z = -27 - -24. Let f(x) = x**2 + x - 7. Let u be f(z). Which is greater: u or t?
u
Let d = -723/7 + 103. Let s = 51 + -50. Which is greater: d or s?
s
Let b be (-1 + -3 - 0 - 0) + 39. Which is smaller: b or -3?
-3
Let q be 12/9*(-3)/(-2). Suppose -6 = -4*t + 2*s, -5*s - 17 = 3*t - q. Let f = t + 6. Are 8 and f unequal?
True
Let d = 423 + -4227/10. Let f(u) = -u**3 + 2*u**2 + 4*u. Let j be f(3). Let r = j + -4. Is d not equal to r?
True
Let n be (-3432)/(24/3)*8/24. Are n and -148 equal?
False
Let a be 2/(-10) + 364826/1155. Which is smaller: a or 317?
a
Let f = -20147/25 + 806. Are 1 and f nonequal?
True
Let n = 0.397 + -0.347. Which is bigger: n or -1.2?
n
Let v = -203 + 202. Are v and -6/23 non-equal?
True
Let m = 43.7 + -44.9. Which is greater: 4 or m?
4
Let a be 39 - 32 - 67/(-7). Are a and 16 equal?
False
Suppose -45 = 4*m + z, 3*m + 3*z = 8*z - 28. Which is smaller: -14 or m?
-14
Let l = -286 + 399. Which is smaller: l or 114?
l
Let f = -1385 + 1381. Let o = 1 - -1. Which is smaller: f or o?
f
Let r = 0.047 + 0.593. Let x = r + -0.44. Is -31 greater than or equal to x?
False
Suppose 3*r + 4*s + 295 = -2*r, 5*r + s = -310. Is r at least -65?
True
Suppose 5*k + 10 = 2*k + r, -3*r = k. Let l be (k/10)/1*2. Let h = 20 + -21. Is l greater than h?
True
Let i = 503/6 - 153/2. Is 6 > i?
False
Let c(g) = g**3 - 4*g**2 + 4*g - 3. Let w be c(3). Let b be -36 - (0/3 - 0/1). Let n be (17/9 + -2)/(9/b). Which is smaller: w or n?
w
Let g = -67075/47 + 1427. Let f = 79/987 + g. Which is greater: f or 1?
1
Let u(n) = -5*n - 39. Let s be u(-10). Suppose s*l = -392 - 26. Are l and -38 unequal?
False
Let i = 0.976 + -0.666. Is i greater than or equal to -7?
True
Let f = -22.2 - -2.2. Let l = -28 - f. Let p = -5 - l. Which is smaller: p or -1?
-1
Suppose 13*l + 27 = 14*l. Suppose -5*h = 3 + l. Suppose 0 = 5*s + a + 20 + 14, -4*a = -4. Is s at most as big as h?
True
Let k = -673 - -107683/160. Is k smaller than 0?
False
Suppose -3*n = 5*b - 660, 0 = 5*n - b - 125 - 1003. Suppose 5*w + n = -5*x, 2*x + 232 = -5*w + 4*x. Which is greater: -45 or w?
-45
Let s = -46506496805501/18459 + 2519448332. Let g = s + -1/2051. Which is smaller: g or -3?
-3
Let i(k) = 2*k + 2. Let f be i(0). Suppose 0 = -3*a + 3*u + 18, -4*a + f = 4*u - 6. Suppose 2*h - a*h = 16. Which is greater: h or -13/2?
-13/2
Let f = -18 + 45. Let s be -3 + 0 - f/20*-2. Let b = -1 - -2. Which is smaller: b or s?
s
Let h = 210.8 - 203.8. Which is greater: -64 or h?
h
Let y be -55 + 56 + (-17)/4. Is y != 2?
True
Let l be (-2 - -3)*(-1)/2954. Let b = 333799/8862 - l. Let m = b - 39. Is m smaller than 0?
True
Let i(w) = 5*w. Let r be i(2). Let p be -8*((12 - -3) + -16). Is r not equal to p?
True
Let j = -2826 + 200652/71. Which is smaller: j or 1?
j
Let b = -62 - -42. Let c be (b/35)/(2/(-7)). Is c <= 14/11?
False
Let f = -21.047 + 42.1. Let h = f + -0.053. Let c = h + -20.7. Which is smaller: c or 1?
c
Let a be -2 + 4 + (0 - -3). Which is smaller: a or 88/17?
a
Let l(i) = -4*i + 17. Let v be 3*((-2)/(-6) + 1). Let s be l(v). Which is greater: s or 1/37?
s
Let w be 9/(-6) - (-6)/(-4). Do -50/13 and w have the same value?
False
Let m(p) = -p + 2. Let c be m(5). Suppose -13*g + 69 = -9. Let d be (3 - g)/c + 1. Which is greater: d or -0.1?
d
Let g = -16 + 19. Let c = -1.04 - 0.26. Which is greater: g or c?
g
Let h(q) = -6*q + 8. Let g be h(4). Let b = g + 29. Is b less than or equal to 12?
False
Let d(l) be the first derivative of -3*l**4/4 - l**2/2 - 5. Let z be d(-1). Suppose -z*m + 6 = -6. Are m and 7/3 nonequal?
True
Let n = 65 + -64. Are -3/958 and n unequal?
True
Let z = -196 + 3728/19. Is -0.06 greater than z?
False
Let l = 132.9 - 147. Do 0.3 and l have different values?
True
Let k(z) be the third derivative of -11*z**5/60 - z**4/8 - z**3/2 - 3*z**2. Let y be k(-1). Is y < -12?
False
Let c(i) = i**2 - 5*i - 10. Let q be c(5). Let s be (q/40)/(2/8). Which is smaller: -5/12 or s?
s
Let h(q) = -q**3 + q + 1. Let w(o) = -4*o**3 - 3*o**2 + o - 4. Let l(g) = 3*h(g) - w(g). Let i be l(-3). Are 2/69 and i unequal?
True
Let b(c) = c**2 - 5*c - 17. Let i be b(7). Let p be (-20 + 1)/(i/(3 + 0)). Is 17 smaller than p?
True
Let s(o) = -9*o - 27. Let c be s(-3). Suppose k + j = 10, 3*j + 42 = 5*k + 6*j. Let b be (-2)/(-12)*6/k. Which is smaller: c or b?
c
Let x be (-3 - -4)/((-1)/(-3)). Let i be (6*x/(-6))/(-3). Let v = 729/8 + -91. Which is greater: v or i?
i
Suppose c = a + a + 72, 16 = 4*c. Is a >= -34?
True
Let x = 33 + -33. Suppose 0 = -2*j + 2*w, x = 5*j + 4*w + 12 + 33. Is j > -5?
False
Let f(s) = -13*s + 11. Let d(o) = -7*o + 6. Let r(l) = 11*d(l) - 6*f(l). Let y be r(-5). Suppose -1 = 4*t + 3*g, 0 = -4*t + 3*g - 0*g - 31. Is t less than y?
False
Let k = -484625/28 + 17322. Let l = k + -57/4. Which is bigger: 0 or l?
0
Let n = -61649/17 + 3629. Which is bigger: n or 4?
4
Let n be 80/(-2)*6/165. Are n and 0.04 equal?
False
Let i be 2 - (-4 - ((-27075)/834)/5). Let o = i + -1/139. Which is smaller: o or -9/2?
-9/2
Let b = 264 + -264. Is -5/31 smaller than b?
True
Let c be 21/396*269 - 6/33. Which is bigger: c or 15?
15
Suppose -3*q + 8 = -q. Suppose 3*m = -4*s - 7, 2*m + 2*s = q*m - 14. Let n be (-11)/((-77)/(-24)) + m. Is n != 1?
True
Suppose 4*i = 0, -n - 45 = -4*n - 5*i. Suppose -n = 3*u, 3*t - 4*u - 15 = -u. Suppose 4*v + t + 12 = 0. Which is greater: v or -2?
-2
Let d = 1882 + -1961. Which is greater: -80 or d?
d
Suppose -2*j = -c - 28, c - 3*j + 119 = -4*c. Let k = -3106/7775 - 4/7775. Which is smaller: c or k?
c
Let q(u) = -2*u + 87. Let c be q(28). Let r be 65/2 - 4/2. Which is smaller: r or c?
r
Suppose 5*d - 7*z - 16 = -4*z, -2*d + z = -7. Let t = 4 - d. Let i be (t/(-3))/((-1)/3). Is i < -2?
False
Let s(j) = j**2 - 2*j + 13. Let a be s(0). Let i(f) = -2*f