 r unequal?
True
Let q(b) = -3*b + 5. Let y be q(4). Let v(s) = -2*s**3 + 3*s**2 - s + 2. Let c be v(2). Let z be c/(12/33) - (12 - 17). Is z < y?
False
Suppose -29*c + 3445 = -6792. Is c at most as big as 349?
False
Let z = -360583 + 865759771/2401. Is 0 at least z?
True
Let j = -0.3 + 0.277. Let h = -39.977 + j. Let s = -86 - h. Which is smaller: s or -0.1?
s
Let i = -492 - -497.98. Let y = i - 5.98. Which is smaller: y or 2.64?
y
Let g be 11*-59*((-9)/(-2) + (-273)/78). Is -656 less than or equal to g?
True
Suppose -36 = -2*z + 2*s, -z - s - 40 = -3*z. Let u = z + -15. Let g = 469/64 + 1/192. Which is smaller: u or g?
u
Let h = -37396 - -37444. Is h greater than 19?
True
Let g = 4433/14 - 631/2. Is g equal to -3/218?
False
Suppose -699 - 933 = -3*t. Let j be (-1330)/8 + (-17)/(t/24). Is -167 < j?
False
Let h = -0.06323 + -1895.93677. Is h smaller than 0?
True
Let p(o) = 230*o**2 + 2*o + 2. Let q be p(-1). Let s be (-15)/70*q/6. Let f = -1139/154 - s. Is f equal to 1?
False
Let m be ((-2)/4 - 0)*96. Which is smaller: m or -52?
-52
Let v be 16552/31 + (-184)/(-2852). Let p = 536 - v. Which is smaller: p or -27?
-27
Suppose 17 = 8*a + 1. Let k be 9 - 11 - -2*1 - a. Let o be (k/(-3))/(130/39). Which is smaller: o or -1?
-1
Let y = 6575.9 - 7164. Let x = -588 - y. Is x greater than or equal to 15?
False
Let x = -29 - -61. Let r be -2*6*(-62)/8. Suppose r = -6*u + 9*u. Is x >= u?
True
Suppose -239 + 65 = 6*q. Let k be 15/(-13)*(-17 - q). Which is greater: -15 or k?
k
Let y be (47/(-141))/((-5)/135). Is 8 at least y?
False
Suppose 53*b - 5924 - 22180 = -6003. Is b != 418?
True
Let d = 1.66 + -1.6. Let g = -2.6 + 2.4. Is d at least g?
True
Let c = 3759 + 755. Is c not equal to 4513?
True
Suppose -40*i - y - 1 = -39*i, -i - 1 = -3*y. Which is greater: i or -17/25?
-17/25
Let h = -56 + 56. Suppose -4*n + 3 = -n, h = -4*m - 4*n. Let k be (-1)/((m - -3)/(-2)). Which is bigger: k or 2/11?
k
Let i(z) be the third derivative of z**6/120 + z**5/5 + 13*z**4/24 - 19*z**3/6 + 6*z**2. Let a be i(-10). Let s = a - 50. Which is bigger: s or 1/106?
s
Let d(s) = -s - 1. Let m(t) = 3*t**2 - 5*t - 10. Let u(g) = -3*d(g) - m(g). Let z be u(4). Is 1 equal to z?
False
Let w(r) = -2*r + 22. Let k be w(9). Suppose -n - 6*c + 13 = -c, 3*n - k*c = 20. Let l(x) = -3*x + 26. Let d be l(n). Is d < -6?
False
Let l = -2881 - -3551. Which is smaller: l or 0.5?
0.5
Let q be 72/36 - (-218872)/102. Let t = q - 2148. Which is bigger: -1 or t?
t
Let u = 12.9 + -13. Let n = -1 + u. Let h be 920/(-400) + (-5)/(-2). Are h and n nonequal?
True
Let y = -418/783 + 212726/328077. Is 1 greater than or equal to y?
True
Suppose -6*q + 336 = -2*q. Suppose -9*t - 2816 = -1997. Let x = q + t. Is x >= -6?
False
Let r = 137 - 129. Suppose 4*b + 384 = -a, b - r*a = -5*a - 109. Which is greater: -98 or b?
b
Let b be (25/25)/(3/3). Is 1/2559 not equal to b?
True
Suppose o + 2*m = 14, -59*o + 5*m - 35 = -62*o. Which is greater: o or 5643?
5643
Let g(i) = -40*i**2 + 2241*i - 54. Let p be g(56). Let u = 175/99 + -40/33. Which is greater: p or u?
p
Let j be 6/15*(5 - 0). Suppose -j*u = -8*u - 3*u. Is 4/67 >= u?
True
Suppose 3 = 623*w - 626*w + q, -3*q = -18. Which is smaller: -1/2941 or w?
-1/2941
Let t = -49.83 - 4.17. Is 2/31 at most t?
False
Let b be -14 + 20 - 1/((-2)/(-86)). Suppose 2*x - 194 = 5*g + x, 4*x = -g - 22. Is b != g?
True
Let b be (-1392)/112 + (-8)/14. Let z be (14/4)/(b/(-26)). Is z >= -5?
True
Let l be (-13)/(4446/252)*-35. Is 27 < l?
False
Suppose 154 = -d - 4*f, -5*d + f = 3*f + 770. Let t = d - -3544/23. Let n = 3 + -2. Which is smaller: n or t?
t
Let f = -3 + -40. Let h = -44.1 - -1.2. Let n = f - h. Is -30 <= n?
True
Let q = 300 + -302. Suppose -4*n - 24 = y - 3*y, -4*n - 2*y = 32. Let k(r) = r**2 + 5*r - 10. Let m be k(n). Which is greater: q or m?
m
Let z be (2 + -3)*4 - (1264/(-4) + 12). Is z >= 0?
True
Let a be (1 - (-3 + 6))*(-4 + 0). Suppose i = -4*f + 4, -4*i - 3*f = -a*f + 5. Are -33 and i nonequal?
True
Let o = 0.22 + 0.09. Let x = o - 0.29. Let p = -1.03 + 0.03. Is p at least x?
False
Let q(t) = 6*t**2 - 60*t**3 + 115*t**3 + 1 - 53*t**3. Let f be q(-3). Which is bigger: f or -2/665?
f
Suppose -52 = -2*x - 5*j - 49, j - 1 = 0. Is x less than or equal to -8/991?
True
Let q = -0.215 - -0.146. Let v = -0.079 - q. Let o be -1*((-3)/6)/(-1). Is o greater than or equal to v?
False
Let w be (-16)/12*(-9)/6. Suppose 235 - 231 = w*z. Is -1 less than z?
True
Suppose 4*o + 49 - 28 = h, -2*h + 30 = -5*o. Let a(w) = 7*w**2 + 27*w + 10. Let s be a(o). Which is smaller: s or 17?
s
Let y = 0.11 + 0.2. Let k = 10.69 + y. Let s = -36 + 37. Do s and k have the same value?
False
Let s = 4682 - 4628. Which is greater: 59 or s?
59
Let v = -0.0787 + -0.6213. Is -1166 > v?
False
Let j = 21 - 11. Let w be 0 - (30/(-105) + 359/(-42)). Which is smaller: w or j?
w
Let y(x) = -13*x**3 - 2*x**2 + 2*x - 13. Let s be y(-3). Let l = s + -1573/5. Which is bigger: -47 or l?
l
Suppose 0 = -2*s - 3*j + 4, 0 = -23*j + 27*j - 8. Is s >= 35/283?
False
Let t be 106/22 - (-12)/66. Suppose 2*f + 435 = -5*c + 7*f, 0 = t*c + 4*f + 426. Suppose 0 = 2*y - 64 + 234. Which is greater: y or c?
y
Let s(k) = 5*k + 51. Suppose 0 = -a + 4, 5*v + 5 = -3*a - 33. Let z be s(v). Which is smaller: z or 35?
z
Suppose -u + 0*u = -4*t + 8, -3*u - 4*t = -8. Let c be -2 - u - 58 - (-3)/1. Let n be (0 - 3)*(3 - c/(-12)). Is n less than 6?
True
Let x(c) = -3*c**2 + 163*c + 832. Let k be x(59). Is 723 greater than or equal to k?
True
Let s be 7 + -4 + (144 + -3)*1. Let w be 2/4*s/(-12). Is w equal to -2?
False
Let r = 4.279 + -4.279. Does -2/231 = r?
False
Let v(k) = k**3 - k**2 - 2*k - 3. Let p be v(-2). Let s be 0/((-4)/1) + (-2 - -9). Let o(x) = x**2 - 25*x + 127. Let j be o(s). Which is bigger: j or p?
j
Let x be 13/(13/(-3))*1/(-1). Suppose 5540 = 17*v + x*v. Do 277 and v have the same value?
True
Let t = -22 - -29. Let j be (-2)/t - 5450/280. Let a = 20 + j. Is a not equal to 0.13?
True
Suppose 2*m = v + 60, 0*m = -m - 3. Let s = v + 95. Suppose 26*k = s*k + 3. Which is smaller: -1/4 or k?
k
Suppose 3*z + 23371 = -4*o, -1 = -431*z + 432*z. Which is smaller: o or -5841?
o
Let a = 445 + -442. Suppose x - 14 = -4*n, 5*n = -a*x + 3*n + 2. Is 1 at least x?
True
Suppose -2*g - 1121385844 = -7*c + 3*c, 3*g + 3*c = -1682078721. Let p = g - -65453608466390/116737. Let t = p + -4/1091. Which is bigger: t or -1?
t
Let a = -2367239/43128 - 1/4792. Which is smaller: -0.1 or a?
a
Suppose 5*c + 20 = -l, 264*c + 16 = 260*c. Which is smaller: 367 or l?
l
Suppose -8*p = -2*p - 15348. Let b = 12869/5 - p. Is -0.1 bigger than b?
False
Let x = 9375 - 9378. Is x >= -388?
True
Let f = 2 - 2. Suppose f = 2*t + t - 225. Let q(c) = 9*c**3 + c**2 - 236*c + 471. Let k be q(2). Is k less than t?
False
Let w = 176.22 - 1.22. Let f = w - 138. Let v = 19 - f. Which is smaller: 1/2 or v?
v
Let p = 787 - 364. Let t = p - 2970/7. Let j = -4 + 3. Which is bigger: j or t?
j
Let q be (1*6)/(267/(-178)). Let r be 24/(-36) - (2 + 16/18). Are r and q non-equal?
True
Let t = 0.212 + -166.212. Let n = t + 59. Does n = 0?
False
Suppose 1148 = -3*v + 6*v - t, 3*v + t - 1156 = 0. Suppose 10*g = -14*g - v. Is g at most -9?
True
Suppose -p + 5*y + 9 = -3, -2*p + 3*y = -17. Suppose -5*u + 6*u = p. Suppose c - 4*s = -3*c - 4, -3*c - 7 = s. Is u at most as big as c?
False
Let y be (-2036)/16 + -4 + 4/16. Let o = 64 + y. Which is bigger: o or -65?
-65
Let g be 6/(-27) - 238/(-1152). Is g > 1?
False
Let s = 2801 - 2800.877. Is s not equal to 2/9?
True
Let r = -1.84 + 1.4. Let v = r - -0.68. Suppose 5*p = -3*p + 8. Which is bigger: v or p?
p
Let k = 187.966 - 188. Let j = -0.016 + k. Which is greater: j or -11?
j
Let z = -29509/34 - -868. Let k be (1/2)/(25/(-10) + 3). Which is greater: z or k?
k
Let f be (-2 + (-6475)/(-3340))/((-7)/84). Is 1 >= f?
True
Suppose 3*z - 163 = 2*y - 0*y, -220 = -4*z + 2*y. Let g = -53 + z. Suppose -4*w = g*u + 17 - 89, 0 = -3*w + 5*u + 94. Which is bigger: 22 or w?
w
Let u = -20495/3843 - 1/3843. Which is greater: u or 119?
119
Suppose 10 = 5*v, -368 = 3*g - 0*g + 2*v. Which is smaller: -100 or g?
g
Let z be (-6)/1 - (55/(-10) + 3)*48. Which is smaller: z or 89?
89
Let z = -4 - -3. Suppose -10*s + 13*s = -4*h - 438, 2*s + 3*h + 291 = 0. Let y be 3/s