2 + 17*b + 38. Let i be a(3). Are -127 and i non-equal?
True
Let d = -354403/26 - -13631. Which is smaller: d or 2/283?
2/283
Let t = 20/437 + 63662/3059. Which is greater: t or 1/4?
t
Suppose y - 520 = -3*y - 4*x, 670 = 5*y + x. Let w = 77 + y. Let k be (2/w)/((-27)/12 + 2). Which is greater: k or 0.2?
0.2
Let b = 5244 - 5246. Is 1/195 equal to b?
False
Suppose 7 = 4*o + 15. Let j be o/5 + 27/5. Suppose -160 = -36*b + 20. Is b at least as big as j?
True
Let d(q) = 2*q**2 + 12*q + 8. Let k be d(-5). Let l be (k + (-3)/2)*2268/2793. Is -4 greater than l?
False
Let a(c) = -c - 1. Let q = -41 + 36. Let t be a(q). Suppose t*h = -h + 2*b, 0 = -2*h - 2*b. Which is greater: 2/65 or h?
2/65
Let t = 62.37 + -62.28. Which is smaller: -13 or t?
-13
Let h be (25/36)/((-6)/(-174)). Let y = 121/6 - h. Suppose 3*o + 4*p - 16 = 0, 0 = -11*o + 8*o + 5*p - 20. Do y and o have different values?
True
Let g be (-2)/6 + 19/54. Let t(x) = 2*x**3 + 6*x**2 - 9*x - 2. Let j be t(-4). Suppose -j*i + 5*i - 4*u + 11 = 0, 4*i = -4*u + 4. Which is smaller: g or i?
i
Let f = 4508149255/1738 + -2593870. Let u = 41/22 - f. Let g be 5/(-7) - (-4)/(-14). Are u and g equal?
False
Let f = -24108 - -24057.54. Do 4/3 and f have the same value?
False
Let z = 356/23 + 3785/69. Let v = z - 349/5. Is v <= 0?
False
Suppose -106*h = -102*h + 3*i - 10, 4*h + 5*i - 14 = 0. Are h and 1/542 unequal?
True
Suppose 3*p - 380 - 433 = -2*z, 0 = -p + 6*z + 311. Is 278 <= p?
False
Let g = 14042 + -14488. Is g at most -430?
True
Let g be 810/(-180)*(-4)/(-9) + -9. Which is smaller: 14 or g?
g
Let r(o) = 5*o**2 + 11*o - 34. Let b(a) = 2*a**2 + 6*a - 16. Let s(n) = 7*b(n) - 3*r(n). Let i be s(6). Which is smaller: 75/8 or i?
i
Let c be (20/(-4))/(1 + -2). Suppose 3 = 3*f + 4*q, 0*f - 4*q = 5*f - c. Is f > -0.02?
True
Let s be ((-6)/(-4))/((-6)/241560*9). Let p be s/120428 - 1/(-17). Is p at least as big as -1?
True
Let c = -708035/18513 + 1961/51. Let u = -2/121 - c. Are u and -2/9 nonequal?
False
Suppose u + 287 = -3*u - 5*g, 2*g = -2*u - 144. Let w = u + 75. Suppose v + w*m = -3*v + 38, 0 = -4*v + 5*m + 31. Is v at least as big as 8?
True
Suppose 598032 = 2*x - 116918. Let c = 121898787/341 - x. Let f = c - -3/31. Which is bigger: -1 or f?
f
Suppose 2716 = 5*d - 4*n, 2*d + 2*n - 677 = 395. Suppose -25*i + 5*i = -d. Is i greater than or equal to 4?
True
Let w = 376232/1611 - 554/179. Is w > 229?
True
Let u = -72.561 + -0.439. Let f = u + 73.2. Which is smaller: f or -7/15?
-7/15
Let u(m) = 63*m + 1701. Let o be u(-27). Which is bigger: o or -3/3403?
o
Let r = 237 + -12. Let d = -216 + r. Is d not equal to 0.17?
True
Suppose -2*v + 4*p = 6, -4*v - v - 3*p + 37 = 0. Let i be (40/v - 7)*-11. Is -10 >= i?
True
Let j = 39 + -39. Suppose j = -6*u + 12 + 18. Suppose -u*q = -3*q. Do 2/11 and q have the same value?
False
Let v = -24/427 - -7253/136640. Suppose 6 = 2*w - 2*t, 2*w - 4*t - 12 = -3*w. Is v >= w?
False
Suppose 0 = -39*x + 60*x + 27 + 36. Do x and -1/1793 have the same value?
False
Let q(g) be the first derivative of 4*g**3/3 - 2*g**2 - g + 29. Let h be q(-3). Let w = h - 44. Which is smaller: 22/7 or w?
w
Suppose 26*i - 44 = 60. Let z be ((-144)/(-768))/((-435)/i). Which is smaller: 1 or z?
z
Let m = -1824.931 - -1702. Let i = m - 0.069. Let c = 70 + i. Are c and -2/3 equal?
False
Let x = -13.69 + 2.69. Let u be -2 - -4 - (1 - 1). Suppose 3*n = u - 8. Is n greater than x?
True
Let p(n) = -n**2 + 29*n - 70. Let i be p(24). Suppose 56*m = i*m + 876. Which is bigger: 144 or m?
m
Suppose 0 = 5*n - n + 12. Let d = n - -5. Let j be d*(20/(-8) - -2). Which is greater: j or -16?
j
Let z = -18263.949 - -18263. Which is greater: z or 0.2?
0.2
Let c be (-102)/(-110) + 15*9/495. Let a = -2 + 1.96. Is a at least c?
False
Let c be 5/(-25) - (1188/(-30) - (-6)/15). Which is bigger: 41 or c?
41
Suppose 3636 = 4*q + l, 5*l + 687 + 1131 = 2*q. Is 911 less than or equal to q?
False
Let q(o) be the first derivative of -5*o**2 + 40*o - 29. Let g be q(4). Which is smaller: -4/45 or g?
-4/45
Let v = 247 - 491. Let x = -243 - v. Is x < -0.17?
False
Suppose -5*s = 2*j - 4*j - 635, 0 = -5*s + 3*j + 630. Let o = s + -137. Which is greater: -80/9 or o?
o
Let u be 0/20 - (-20)/2. Suppose 0 = -4*a + 2*a - 5*c - u, -3*c = 4*a - 8. Suppose -2*v - 2*y + 2 = 0, -v - a*y + 11 = -2*v. Which is greater: -2/7 or v?
-2/7
Let h(a) = -a**3 - 19*a**2 - 40*a - 23. Let w be h(-17). Let g = w - 81. Is g greater than 32/5?
False
Suppose 5*q + 8 = 4*k, k = -5*q + 25 + 2. Suppose -4*j - 4*b = -8*b + 8, 0 = -2*j + 5*b - k. Is -7/48 at least j?
True
Let z = 127 + -887/7. Let u be (-50)/175 + (-602)/(-49). Which is smaller: u or z?
z
Let w = -226 + 201. Let a = 29 + w. Which is bigger: a or -4?
a
Let i = 2933 - 2935. Which is smaller: -305 or i?
-305
Let n = 7657 + -7657. Which is bigger: 4/251 or n?
4/251
Let f = 1.06 - 50.06. Let d = 59.6 + -11.5. Let t = d + f. Is t bigger than 1/3?
False
Let s be -4 - (10092/54 + 3/9). Let i = s + 189. Is 0 greater than or equal to i?
True
Let l = 250 - 252.18. Let t = l + 2.28. Let d be 0 - -3*(-4)/114. Which is smaller: t or d?
d
Suppose -4*r + 812 = -18*r. Let y = r - -293/5. Is y bigger than -6?
True
Let i(v) = -70*v**3 + 6*v**2 + 15*v - 34. Let p be i(2). Which is smaller: -533 or p?
p
Let g(h) be the third derivative of -h**6/120 - 7*h**5/60 - h**4/8 + 3*h**3 - 71*h**2. Let f be g(-6). Which is greater: f or -2/211?
f
Let d be 5923/116 + (18 - 1491/84). Which is smaller: d or 52?
d
Let y = -48 + 85. Suppose -d - 3*w = -40, -32 = -14*d + 13*d - w. Is d <= y?
True
Suppose 4*x - 4*g + 4 = 0, 5*x + 11*g - 1 = 14*g. Suppose 2*u + 5 = 2*j + j, x*j + u = 1. Is -7/51 at most j?
True
Let s = -3.17 - -5.28. Let t = s + -2.41. Which is smaller: t or -0.2?
t
Let k = 136 - 292. Let n = k + 154. Is -1 != n?
True
Suppose -66 = 10*d + 23*d. Which is bigger: d or 332?
332
Suppose 16*w - 15*w - 7*n + 281 = 0, -2*n - 642 = 2*w. Is -318 at least w?
False
Suppose 312 = -3*f + d, 17*d - 19*d + 309 = -3*f. Suppose 3*l - 224 = -2*g - 56, g = l + 84. Let t be 1/(-5) + g/f. Which is bigger: t or 4/15?
4/15
Let y = -600 + 624. Suppose -4*o = -v - 800, 21*v = -2*o + y*v + 400. Which is smaller: o or 202?
o
Suppose z - 552 = -z. Let g be z/(-14) + (-2)/7. Suppose 184*h + 2014 = -2034. Is g at least as big as h?
True
Let t be 3/(7/(637/28)). Let y = t + -717/44. Are -7 and y non-equal?
True
Suppose 0 = a - 88 + 494. Let o = -405 - a. Which is smaller: -11/70 or o?
-11/70
Let g = 853.72 + 19.28. Which is smaller: g or -2?
-2
Let f = 1093 + -1101. Which is smaller: f or 5/9?
f
Let f = -0.8 + 3.8. Let t = -4 + f. Let q = 151188 + -151187.89. Are q and t non-equal?
True
Let u = 48.5 - -188.5. Let n = 241 - u. Which is bigger: n or -32?
n
Let i be 2 + (-4 - (-17 - 5)). Let n = -16 + i. Suppose 0 = -n*t + 20 - 28. Which is bigger: t or -6?
t
Let m = -28174569 + 760958381/27. Let h = m + -9076. Which is greater: h or 0?
0
Let f = 701.35 - 699. Let j = -18 - -18. Which is smaller: j or f?
j
Let p be (-15)/(-35) + (0 - 1). Let y = 17 + -20.9. Let g = 4.9 + y. Is p != g?
True
Let v = -338 - -50. Let y = v + 270. Is y less than or equal to 13?
True
Let y = 582 + -399. Let f = 182.6 - y. Which is smaller: f or -25?
-25
Let a(l) = -2*l**3 + 273*l**2 - 140*l + 656. Let s be a(136). Is s bigger than 130?
False
Let k be 5*2 - (-4 - -3). Suppose -3*g = 4*w + k, 2*g + w = -3 - 1. Let o be 9/(-123)*17/(153/(-6)). Is o not equal to g?
True
Let i = -6 + 28. Let n = 65 - 58. Is n less than i?
True
Let z = 67 - 57. Let b be -4 + 1*162/3. Suppose -z*j = -5*j + b. Is -11 != j?
True
Suppose 3849 + 15 = 8*x. Let u = 479 - x. Which is smaller: u or 33?
u
Let n = -4.5 - -4.456. Let y = 0.025 + n. Let u = 0.081 - y. Which is greater: 2/27 or u?
u
Let q = -227 - -245. Suppose -10*j = 8*j + q. Is 8/29 != j?
True
Let h = -14.1 + 14. Let l = -25 - -18. Let g = 26 + l. Which is bigger: h or g?
g
Let f be (-230)/(-575) - (-9788)/(-24370). Is 0 bigger than f?
True
Let c = -0.758 + 585.758. Let h = 589 - c. Which is smaller: 0.75 or h?
0.75
Let b be -1249 + 4/(-8)*-8. Is b equal to -1244?
False
Let f(k) = -k**2 + 23*k + 5. Let n be (-94)/(-4) - 2/4. Let z be f(n). Suppose z*q - 48 = -63. Is -2 != q?
True
Let d be 4/3*(-4347)/(-84) - (-6)/2. Which is smaller: d or 227