83 + 405.1. Is c smaller than p?
True
Let n be (-27368)/(-561) - (-6)/(-51). Which is greater: n or 50?
50
Suppose 3*f + 85 = -2*f. Suppose -a = 2*y + 13, -2*y - 1 = -5. Is f < a?
False
Suppose -3 = 4*w - 19. Let i be w/6 - (-280385)/(-714). Let f = i + 392. Which is greater: f or 1?
1
Let q = -94.76 + 91. Let o = q + 0.06. Let z = o + 3.756. Is z bigger than 0.1?
False
Let o = 217.01 - 219.01. Is o >= 335?
False
Let i = -6189/5 - -3800021/3070. Are i and 1 equal?
False
Let p = 1 + -0.8. Suppose -13*j = -13 + 689. Let y be j/312*(-1 + 0). Which is bigger: p or y?
p
Let y = 372 - 200. Let c = y - 261. Let k = 1/14 - -3/7. Which is bigger: k or c?
k
Suppose -7*b + 88 = -3*b. Let w(a) = 3*a - 43149 - a**2 + 43137 + 19*a. Let y be w(b). Are y and -11 equal?
False
Suppose 26*v - 2*v = 3*v + 21. Which is smaller: 9/6242 or v?
9/6242
Suppose f - 3 = -0. Let a be (f + -1)/(10/(-235)). Let w = -124 - a. Are -77 and w unequal?
False
Suppose 0 = 102*g - 99*g + 1320. Let c = -440 - g. Which is smaller: c or 4/233?
c
Let g be 10/4*(6 + 78/(-15)). Suppose -2 = 2*s + 3*x, -s - g*s + x - 14 = 0. Is s > 7?
False
Let b = -9698 + 455802/47. Let r = 2 - 3. Is b != r?
True
Let h be 2/13 + (-1400)/(-364). Suppose 4 = -8*u - h. Is 4/59 smaller than u?
False
Let m be 5 - (24/(-15))/((-116)/435). Is m != -32/433?
True
Let y be (1 + 78/(-74))/((-8)/16). Let f be -1 + 4 + -3 + 20. Let h(s) = -s**3 + 20*s**2. Let j be h(f). Which is smaller: y or j?
j
Let m be (-69)/(-6) + (-1)/(-2). Let y = 26 - m. Suppose -y = 2*h - 3*k, -2*h + 4*k + k = 18. Are -5 and h non-equal?
True
Let p = -1/24904 - 16386829/74712. Which is bigger: p or 1?
1
Let b be (6/156)/(-2*2/48). Are 46/5 and b non-equal?
True
Suppose 4*x = -5*m + 208, 7*m - 4*m = 3*x - 183. Which is smaller: 71 or x?
x
Let i = 12.92 - 12. Let z = -28.92 + i. Let b = 0.1 - 0.2. Is b greater than z?
True
Let w = -0.3 - -0.1. Let l be 2/(3*(-6)/(-891)). Let f = 295/3 - l. Are w and f nonequal?
True
Suppose -239*g + 240 = -241*g. Let a = 107 + g. Is -13 < a?
False
Let v = -26.11 + 27.1791. Are -2/7 and v nonequal?
True
Let a = -8834 + 9012. Is 7/5 at most a?
True
Let s = 4054 + -120. Does 3935 = s?
False
Let p be (-2533)/119 - (-25 - -4). Are 10137 and p nonequal?
True
Let o be (-29 - -31) + 0*(-3)/9. Let r be (30/(-18))/((-2)/6). Suppose r*k + 22 = -33. Does o = k?
False
Let i be (-27298)/(-3212) + (-339)/226 + -7. Is i at least 1?
False
Suppose 4*y - 118 - 309 = o, -11*o - 4605 = 2*y. Which is smaller: o or -418?
o
Suppose 10*q = 8*q. Suppose 9 = -x - 4*t, 0 = 4*x + 5*t + 3 - q. Suppose 0 = -r - 2*h + 45 - 16, 121 = 4*r + x*h. Is r < 32?
True
Let d(s) = -s + 12. Let p be d(9). Let w be -2 - -1 - (-24)/p. Suppose -w*a + 32 = -52. Which is bigger: a or 15?
15
Suppose h = f - 4*h - 2, 2*h + 4 = 2*f. Suppose -3*y + 8 = y. Suppose -2*n - y*n - 4 = 0. Are n and f equal?
False
Let m = 655/3 - 594091/2721. Is m not equal to 0?
True
Let i = -0.068 - -0.024. Let k = i - -2.044. Suppose -38 - 2 = -4*g - 4*z, -g - 5*z = -10. Which is smaller: k or g?
k
Suppose 230*c = 252*c - 9130. Is 0.3 bigger than c?
False
Let y = 41 + -23. Suppose -23*k + y*k = 1685. Which is smaller: k or -336?
k
Let w(m) = -15*m**2 - 299*m - 8. Let n be w(-21). Do n and -347 have the same value?
False
Suppose -4*h + 10*h = 0. Suppose 8*g + 45 + 35 = h. Let w = 0 + -10. Is g smaller than w?
False
Let p(i) = -15*i**3 - i**2 + 3*i - 3. Let c be p(1). Let m(z) = 2*z - 5. Let r be m(5). Suppose 15 = -2*o + r*s, -o - 4*s = -0*o + 27. Which is smaller: c or o?
c
Let c(b) = 10*b**2 - 11*b + 5*b**3 - 4*b**3 - b**2 - 12. Let k be c(-8). Suppose 22*y - k = 26*y. Which is bigger: y or -34?
-34
Let d(b) = 5*b**2 - 6*b - 26. Let m(a) = a**2 + a. Let o(i) = -d(i) + 6*m(i). Let f be o(-8). Let p = 0.99 + 0.01. Do p and f have the same value?
False
Let k = -712 - -202. Let m be k/(-1872) + (-9)/24. Is m at most -2/3?
False
Let r = 104.8 + -61. Let g = 43.81 - r. Which is bigger: g or -2.2?
g
Suppose 79 = -0*h + 5*h - 4*i, 4*h = -3*i + 88. Suppose 0 = h*z - 8*z - z. Which is smaller: -1/185 or z?
-1/185
Let i(z) = -z**3 - 26*z**2 - 29*z + 45. Let r be i(-24). Let v = r + 396. Which is smaller: v or -18?
-18
Let u(c) = c**2 + 20*c + 31. Let f be 27*((-10)/6 - -1). Let b be u(f). Which is greater: -6 or b?
b
Suppose -2*x = -15*x + 78. Suppose 2*o = 10, -x*o = -h - 4*o - 24. Is h smaller than -15?
False
Let q = 17143444/441 + -38874. Let h = q - 268/7497. Which is bigger: h or 0?
0
Let d = 443.62 - 439. Let f = -5 + d. Let n = -7.38 - f. Which is smaller: -0.1 or n?
n
Let h(q) = q**3 - 8*q**2 - 4*q - 8. Let s be h(9). Let a be 280/2 + (-93)/(-31). Suppose -4*i + a = w, -2*i + 5*w - 4*w = -73. Which is smaller: i or s?
i
Suppose 3*q - 422 = -5*a, 10*q + 4*a - 278 = 8*q. Let i = 139 - q. Is i smaller than -32/3?
False
Let i = 52.7 - 46. Let y = -689.3 + 696. Let k = i - y. Which is smaller: k or 0.38?
k
Let u = -789 - -800. Suppose 4*s + 5*m = 4*m + 39, 4*m = -4*s + 36. Suppose s*d - 5 = u*d. Which is smaller: d or -2?
d
Let v(u) = u**3 + 182*u**2 + 185*u + 726. Let b be v(-181). Is 25 greater than or equal to b?
True
Suppose 0 = -33*c - 22*c + 920 + 15. Is c bigger than 14?
True
Suppose 0 = -2*d - 3*d + 3*d + 8. Is d less than 139/26?
True
Suppose -46*t + 3089 = -120 + 173. Which is bigger: 62 or t?
t
Let x = -1 + 1. Suppose 24*z - 2*z - 66 = 0. Let p be (-6*1)/z + (-216)/(-66). Which is smaller: p or x?
x
Let f be 0 + 4 + (-6)/(1104/542). Let b = 62/23 + f. Is -10 bigger than b?
False
Let s be 6/(-9) - (-73)/(-3). Let h(l) = 5*l - 51. Let g be 6 + -3*6/18. Let b be h(g). Are s and b non-equal?
True
Let i = -6.3 - -6. Let c = 0.6 + i. Let n = -48118 + 48117.83. Are n and c non-equal?
True
Let j = -101499/679 - 60/679. Is -150 greater than j?
False
Let o = 3109.1 - 1932.1. Which is greater: o or 0?
o
Let w = 4367 - 4378. Let p = -2489 + 12393/5. Is p bigger than w?
True
Suppose 2*d = 0, 0 = -0*k + 2*k + 3*d. Let j = -1 + -8. Let p be j/6*4/186. Which is greater: k or p?
k
Let f(b) be the first derivative of b**3/3 + b**2/2 - 4*b - 140. Let c be f(3). Is c greater than -9?
True
Let u = 97 + -233. Let v = 207 + u. Let n = v + -70. Which is bigger: n or -2?
n
Let p be 2*(15/6)/5. Let l = 4156528 + -120553321/29. Let x = -483 - l. Is x not equal to p?
True
Let n be 2/(-2)*18/(-1554). Let r be 20/(-50) + (-7666)/(-2590). Let p = r + n. Is p greater than or equal to 4?
False
Let x(u) = 2*u**2 - 27*u + 10. Let n be x(13). Let k(h) = -h**3 - 4*h**2 - 2*h + 4. Let p be k(n). Let b = 45/17 + -6649/2499. Which is bigger: p or b?
p
Let l be (-28)/(-3)*2646/(-684). Is -37 < l?
True
Let b be (-4 - -2 - 0)/((-2)/4). Suppose 318 = 5*h + 1158. Let w be 27/h*b*(-3)/18. Which is greater: w or 0?
w
Suppose 222*z = 293*z + 13490. Which is smaller: z or -1336/7?
-1336/7
Suppose -4*v = -s - 601, 0 = -v - 2*s + 63 + 103. Let c = 27913/188 + 154/47. Is v < c?
False
Let c = -61 - -63. Suppose -5*i - 16 = -i, 0 = -c*y + 4*i - 50. Which is smaller: y or -166/5?
-166/5
Let y = 16 + -25. Suppose 4*r + 433 = -p, 2*p = 3*r - p + 321. Let h = r - -98. Is y at least h?
True
Let g = -63 - -88. Let f = g - 235/9. Suppose i - 2 = 2*i. Which is bigger: i or f?
f
Let o = 3888 - 3229. Which is smaller: o or 654?
654
Suppose 5*j = 3*k + 10, j - 2 = 2*k - 0. Let a = 73 + -41. Let t be 1 - 4/(a/(-12)). Is t smaller than j?
False
Let u = 274 + -319. Let m be (-6)/4 - (-84)/(-2424)*u. Which is smaller: m or -1?
-1
Let d(m) = -m**3 + 4*m**2 + 6*m - 5. Let n be d(4). Let i(h) = -h**3 - 13*h**2 - 47*h - 36. Let t be i(-8). Is n at least as big as t?
False
Let m = -127 - -72. Let n = m + 54.044. Let d = n + -0.044. Does 2/159 = d?
False
Let p be -2 + (-2 - -2 - -23). Let y(m) = -m + 23. Let s be y(p). Suppose -3*t = s*t - 10. Which is greater: t or 7/6?
t
Suppose 0 = 2*q - 2*o - 16, 22*q - 14 = 18*q - 5*o. Suppose 2*m + 0*m + 2*a + 14 = 0, -2*m + 3*a = -11. Which is smaller: m or q?
m
Let r = 41343 + -41342. Does r = -415?
False
Let b = -0.25386 - 0.06454. Is 2 <= b?
False
Suppose -3*r - 30 = -8*r. Let d be (7/21)/(49/987) + (1 - 2). Which is smaller: r or d?
d
Let v(j) = -j**2 - 6*j + 8. Let k be v(2). Let p be 9*(-24)/(-108) + k/5. Which is smaller: -24.6 or p?
-24.6
Let y be 256/(-12) + (14/(-3) - -5). Let f be 546/147 - 6/y. 