6*s**2 - 5*s. Let c be j(-1). Let k(a) = 9*a + 6 - 13*a**2 + 14*a**2 + 2*a. Let f be k(-9). Do f and c have different values?
False
Let x = 7606 - 7893. Is x not equal to -282?
True
Let o = 222 - 957. Let v = o - -736. Which is smaller: v or 87?
v
Let f be (-3 + 9)*-1*(-6)/(-4). Is -32/33 smaller than f?
False
Let n = -814565209/552716 + 1/138179. Which is smaller: n or -0.2?
n
Let i = 4364 + -4192. Is 0 greater than or equal to i?
False
Suppose 36*l = 33*l - 36. Let j be l/(-8 - 28)*6/8. Which is smaller: 34 or j?
j
Let u be ((-1)/3 - 0)/((-413)/369222). Which is smaller: 33 or u?
33
Let i = -102.6 + 576.9. Let x = i + -467. Which is greater: x or -2/7?
x
Let h = 3511 + -3245. Which is smaller: 264 or h?
264
Suppose 5*z - 68 = -4*g, -g - 17 = -2*z - 47. Suppose 6 - g = -8*x. Suppose q + 16 = 3*m, -3*q + 9 = x*m + 79. Is q at least as big as -21?
False
Let n = 58.807 + 0.193. Let t = -0.066 + -58.834. Let j = t + n. Which is smaller: -6 or j?
-6
Let d = -3 - 2.9. Let r = -3.8 + d. Let s = r + 10. Which is smaller: s or 6?
s
Suppose 6*b - 1054 = -2*b + 1442. Which is smaller: 14 or b?
14
Let g be 384/(-2496) - 99179/(-13). Is 7629 at most as big as g?
True
Let g(j) = j**3 - 8*j**2 + 12*j - 10. Let h be g(10). Let c = h - 308. Let o = -3614/7 + 518. Which is bigger: o or c?
c
Let x = 17653/45 - 987/5. Let m = x + -194. Which is greater: 0 or m?
m
Suppose -2*d = -4*d + 116. Let u(v) = 3*v**2 + 86*v - 2087. Let z be u(16). Is z smaller than d?
True
Let z(t) be the third derivative of t**5/60 - t**4/2 + 35*t**3/6 - 13*t**2. Let i be z(8). Let q be (3/i)/(0 + -1). Which is smaller: 0 or q?
q
Let t = -7 - -14. Suppose 0 = x + 3 + 15. Let m be (-3)/x*50 - 18/54. Which is smaller: m or t?
t
Let o(v) = -5*v**3 + 18*v**2 - v - 5. Let h be o(4). Is h at most -39?
True
Suppose -38*j - 60 = -53*j. Suppose -f + 4 = h, 33 - 41 = 3*f - 2*h. Is j at most f?
False
Suppose 4*c + 14084 = 4*q, -2*c - 412*q - 7052 = -409*q. Is c at least as big as -3526?
True
Let y(d) be the first derivative of -d**5/60 - 13*d**2/2 - 19. Let j(c) be the second derivative of y(c). Let t be j(-1). Do -2/29 and t have different values?
True
Let t(v) = -382*v**2 - 15*v + 14. Let r be t(-3). Is r > -3379?
False
Suppose 0 = k - 2*k + 11. Let m be (0 + 2)/((-11)/(-66)). Do m and k have different values?
True
Let y be 69/(17/170*(-3)/(-2)). Suppose 7*n + y - 516 = 0. Are 9 and n non-equal?
True
Let a(v) be the second derivative of 4*v**3/3 + 24*v**2 - 20*v + 3. Let t be a(-1). Is t at least as big as 44?
False
Let l be ((-32)/50 + 1)/(-5 + 26/5). Let w = -6 - 2. Let a = -5 - w. Which is smaller: l or a?
l
Let k be -7*(-22)/77*52/8. Let d(v) = 15*v - 1. Let o be d(1). Does o = k?
False
Suppose 3*b = 5*t + 7*b - 13, 3*b = -2*t + 8. Let h be 1*-2 - ((-2596)/1665 - 4/9). Which is smaller: t or h?
h
Suppose -3*s + 84 = -0*s. Suppose 5*n - 771 = -f + 344, 3*f = n - 239. Suppose 6*u = -2*u + n. Is s less than or equal to u?
True
Let j be 9/36 - 14/(-8). Suppose j*p + 3*h = -4 - 2, -5*h - 12 = 4*p. Which is smaller: -0.021 or p?
p
Let c(z) = 946*z + 5497. Let m be c(-6). Which is bigger: m or -1607/9?
-1607/9
Suppose 0*w - 2 = 2*w. Let u = 24.65 + -26. Let s = u + 0.35. Is w bigger than s?
False
Suppose -2*z - 3*p + 371 = 0, 2*z - 3*p - 290 = 99. Let i be 40/(-60) + z/(-3). Let t = i - -71. Which is bigger: t or 1?
t
Let p = -3979.7 + 3986.7. Which is greater: p or 1/58?
p
Let a be (0 - (-4)/(-170))*(7 + -2). Suppose 10 = w + 4*g + 2, 10 = 5*g. Suppose -5*s - 25 = -5*t, 5*s + w + 21 = t. Which is greater: t or a?
t
Let b = 159 - 143.2. Let t = b - -1.2. Let r = t - 17.07. Is -1 not equal to r?
True
Let o be (-35)/126*-8 + 2/(-9). Suppose 1 = 3*m - 2*p, -p - o = 3*m - 6*p. Is m > -2/25?
True
Suppose -o = -3*l - 91, l - 5*o + 35 + 0 = 0. Let y be (50/l)/(0 - 5). Which is bigger: y or 4.5?
4.5
Let p = 1750 - 1037. Which is bigger: p or 714?
714
Suppose 2*f - 68 = z, 53*z + f = 49*z - 326. Which is smaller: -43 or z?
z
Let r = -4081.105 - -4081. Is r > 1.9?
False
Let d = -0.33 + -0.07. Let c = d - -76.4. Let x = c - 76.5. Is x bigger than 1?
False
Let p be (-860)/(-30)*54/(-12). Which is bigger: p or -651/5?
p
Let y(n) = 5*n - 17. Let c be y(3). Let q = c - 24. Let k be 12/(((-13)/q)/((-2)/(-3))). Which is smaller: 18 or k?
k
Let p = -326 - -12064/37. Suppose 5*f - 4*j + 4 + 0 = 0, 0 = -5*f - 2*j + 2. Suppose f = 4*u - w - 5, 5*u - w - 5 = 4*u. Which is smaller: p or u?
u
Let f = 30 - 29.45. Let u = -0.57 - f. Do -2/5 and u have the same value?
False
Let u = 207 + -172. Let x = 34 - u. Is -1/193 less than or equal to x?
False
Suppose -2*a + 6*a + 12 = 0. Let m(s) = 2*s**2 + 56*s + s**2 - 114*s + 61*s. Let i be m(a). Is i at most as big as 20?
True
Suppose 2*i - i = -39. Let q = 472 - 474. Let d be (-2)/q + (-78)/8*4. Which is smaller: i or d?
i
Suppose -4*u = -5*y + 89, 0 = 3*u - u + 5*y + 7. Let h be u/64 - (-610)/8. Is 1/4 >= h?
False
Let p = 140 - 43. Let k = 94 - p. Is k greater than -2.5?
False
Let j = -149418/5 + 30120. Let m = 236 - j. Which is smaller: -18 or m?
-18
Let b be 120/(-210) + 1466/1512. Let a = 1/540 + b. Is -11 != a?
True
Let y = -38.25 - -38.27. Which is smaller: y or 4/39?
y
Let u = -15.1 - -14.862. Let f = u - -0.149. Let i = f + 0.049. Which is smaller: -4 or i?
-4
Let z = 352 + -339. Suppose 8*k - z*k = -60. Suppose -2*h - 13 = -37. Is h equal to k?
True
Let u = -25.75 + 25.1. Let z = u + 11.65. Which is smaller: -2 or z?
-2
Let w be ((5 - (-1 + 2)) + -3)/(-1). Let z be w/((36/6)/18). Which is greater: z or 2.9?
2.9
Let f = 47 + -48. Let h(b) = -3*b**2 + b + 2. Let n be h(f). Let m be (0 + n/(-4))*(16 - 12). Is 4/5 equal to m?
False
Let t be 0 + (26434/(-10))/(24/(-30)). Let d = -3372 + t. Which is bigger: d or -68?
d
Let s(k) = -k + 6. Let r be s(2). Suppose 15*f - 13*f = -z + 9, 0 = -4*f + 2*z - 2. Is r less than f?
False
Suppose a = 4*a - 57. Let i(r) = -20*r - 2. Let z = 12 + -13. Let l be i(z). Which is greater: l or a?
a
Let c be 8/2 - 120840/(6 - -4). Let l be 4/22 - c/(-65230). Is 1 < l?
False
Let p = 41.71 - 41. Let u = -0.7 + p. Let r = u + -0.11. Which is bigger: 78 or r?
78
Let l = 12 + -12.2. Is 6/23 < l?
False
Let y = 51 - 31. Let q = y - 16.6. Let w = q + 6.6. Which is smaller: -2 or w?
-2
Let o(v) = -13*v + 3 - 18*v - 11*v**3 - 222*v**2 + 213*v**2. Let h(g) = -5*g**3 - 5*g**2 - 15*g + 2. Let c(n) = 9*h(n) - 4*o(n). Let w be c(-5). Is w >= 0?
False
Let r = -8.77 - 0.53. Let w = 13509.2 - 13519. Let h = r - w. Which is bigger: h or -6/7?
h
Let a = 83.2 + -83.152. Is 1 <= a?
False
Let l = 0.63 + 12.37. Let d = -13.3 + l. Let q be 3/27 - (-51)/(-216). Is q < d?
False
Let q = 7/747 + 105997/8217. Suppose -3*c = 4*p - 55, -c - 2 = -3. Which is bigger: p or q?
p
Let c = -106 + 207. Let s = 55 - c. Let m = 37 + s. Is -6 > m?
True
Let x = -988 + 1061. Is 63 greater than or equal to x?
False
Suppose 4*a = -5*j - 47 + 84, -4*j + 2*a + 66 = 0. Which is greater: j or 16.7?
16.7
Let i = 290 + -258. Suppose -i = s - 2*h + 7, -78 = 2*s + 5*h. Which is smaller: -37 or s?
s
Let p be (48800/160)/((-1)/3). Is -912 greater than or equal to p?
True
Suppose -107 = 2*k - j, -j = -2*k + 4*j - 119. Let q = k + 37. Let u be ((-3)/(-30))/((-6)/q). Which is bigger: u or 19?
19
Let n = -45 - 16. Let m = n + 668/11. Is 1 not equal to m?
True
Let m(l) be the second derivative of 9*l + 0 + 1/2*l**3 + 3/2*l**2 + 1/12*l**4. Let w be m(-2). Which is smaller: w or 3/31?
3/31
Suppose 4*z - 42 - 30 = 0. Suppose 0 = 4*h - 4*i + 12 - 0, -2*i = h + z. Let w be (-9)/(-72) + 47/h. Which is smaller: w or -5?
w
Suppose 0 = -6*i + i + 4*j - 12, 0 = 4*i + 2*j - 6. Let d(t) be the third derivative of -3*t**4/8 + 3*t**3 - 36*t**2. Let s be d(2). Does s = i?
True
Let v(f) = -f**3 - 26*f**2 + 55*f - 22. Let i be v(-28). Suppose -i*l + 216 = -9*l. Is l > 0?
False
Let y = 21 - 22. Let k be (y - (-2 + -2)) + (-55)/19. Let c = 0.18 - -0.02. Is k at most c?
True
Let y = 2/913 - 34708/6391. Let p = -228 + 182. Let j = p + 40. Is y equal to j?
False
Let a be 6794/(-6405) + 204/153. Let q = a - -4/305. Is q <= -155?
False
Let x = 4857 + -4687. Is x != 172?
True
Suppose 28 = 5*x - 4*p, -2*x + 2*p + 22 = 4*p. Let y be 6*(-2)/3 - x. Which is greater: y or -6?
-6
Let u = 0 + 2. Let h be (0/(-2) + (-10)/u)*-1. Suppose 1