 = -27.17 + 0.17. Is y bigger than x?
False
Suppose 11510 = 38*s - 346. Is -2 at least s?
False
Let j(y) = -38*y**3 + 2*y**2 - 13*y - 14. Let n be j(-1). Do 38 and n have the same value?
False
Let d(o) = o**3 + 41*o**2 + 79*o + 74. Let m be d(-39). Is m less than 33?
False
Let f be (-4)/12*-21 + -6 - 4. Let d be (-4)/(-10) - (-7)/(-5). Let h = d + 0. Is f <= h?
True
Let c = 618962/1375 + 63/1375. Let d = -272361/605 + c. Which is greater: 0 or d?
d
Let m = 70 - 62. Let y = 7.8 - m. Is 1/27 not equal to y?
True
Let f = -1026 + 1027. Does f = 0.014?
False
Let t be ((-18)/2)/(-3)*(-8)/(-12). Let y = 50491/536 - 72/67. Let r = y - 93. Is t != r?
True
Let i = -1 - -0.8. Suppose 2*l = 8, 21 = -5*u + 2*l - 17. Is u < i?
True
Let m = -49.015 - -0.015. Let v = m - -48. Is v less than or equal to 0.8?
True
Let z be (-14)/98 - ((-3)/21 + 2). Suppose -2*w - 2*w - 8 = 0. Let d be (w/(-1))/(12/(-5)). Which is smaller: d or z?
z
Let r = -0.112 + 20.112. Let q = -20.2958 + -0.0042. Let z = q + r. Is z smaller than -0.2?
True
Let j be (1/(-3))/(2*4/(-48)). Suppose -9 = j*w + 9. Is -10 greater than or equal to w?
False
Let t = -1025 + 572. Which is greater: -0.1 or t?
-0.1
Let t = 77 + -76.9. Let b = t + -0.16. Which is smaller: 0 or b?
b
Let j = 2/55 - 518/2145. Which is bigger: 1 or j?
1
Let d be ((-10)/(-25))/(2/10). Suppose v = -2*v - d*v. Let j = -443/12 + 37. Which is bigger: v or j?
j
Let a be -3 - (1 - (-8)/(-4)). Let l be 0 + (2 - (a - -3)). Let z(s) = -4*s**3. Let o be z(l). Is o > -1?
False
Let l be 19 - (1 + 0 + 8). Which is smaller: l or -22?
-22
Let h = 7 - 7.12. Let m = 0.12 + h. Let x = m - 0.2. Do -0.1 and x have different values?
True
Let b = 54 - 49. Suppose -w = 4*c + 62, -w = -b*c - 5*w - 83. Which is greater: -7 or c?
-7
Let d = 0.16 + -0.26. Let z = -0.13 - 0.57. Let l = z - 0.3. Are l and d non-equal?
True
Let f be ((-2)/(-3))/((-15)/9). Let w be (-3)/(2 - 19/2). Which is smaller: w or f?
f
Let q(x) = -10*x**2 + 7*x - 2 + 9*x**2 + 0. Let c be q(6). Suppose 2*v - 8 = -2*m, -v - c*m + 16 = -2*v. Is 2 equal to v?
False
Suppose -2*k - k - 30 = 0. Let j = 515 - 512. Let s be 0 + k + (j - 1). Which is smaller: -7 or s?
s
Let t = -5 + 4. Let d = 145/1547 + -2/119. Which is smaller: d or t?
t
Let o = 6565772/99 - 66322. Let f = 8/9 + o. Suppose -83*m = -131*m. Which is smaller: m or f?
f
Let b = -32610 - -554376/17. Let q(l) = -l + 3. Let f be q(4). Is f at most as big as b?
True
Suppose -1 = 3*i + 5. Let s be (-40)/(-6) + 11/33. Let w = s + i. Which is smaller: w or 7?
w
Let h = 2.8 + -3. Suppose -18*b + 18 + 18 = 0. Suppose j + 12 = 5*c, 2*j + b*c + 2*c - 18 = 0. Which is smaller: h or j?
h
Let v(a) = -5*a - 10. Let r be v(-10). Let z = -36 + r. Which is greater: 13/3 or z?
13/3
Suppose 4*v - 15 - 3 = -2*u, u + 5*v = 21. Suppose 5*m - 5 = -5*g, 2*m + 2*g = 7*g - 33. Let z be (0 - 1)/(2/m). Which is greater: u or z?
z
Let a(m) = -5*m + 106. Let r be a(21). Is r at most -1/21?
False
Let i = -142 - -335. Do 193 and i have the same value?
True
Let n = 34119 + -170023/5. Is 115 less than or equal to n?
False
Let u = 0.9 + -3.9. Let t = 6 - -6. Let y = t + -14. Is y at least as big as u?
True
Let y be -12 + 10 - (-8)/4. Let u be (-1)/(-3) - 1/2. Which is bigger: y or u?
y
Let d(v) = -v**3 - 29*v**2 - 99*v + 35. Let c be d(-25). Which is greater: c or 66/7?
c
Let a = -401601/28 - -14343. Let u = 0.4 - 0.3. Is u less than or equal to a?
True
Let g(y) = y**3 - 13*y**2 - 2*y - 2. Let h be g(0). Is 5.91 less than or equal to h?
False
Let s(a) = -2*a - 13. Let o be s(-7). Let x be (-56 + -1)/(-3)*o. Suppose -3*f - 2*r + x = 0, -3*f + 2*f - 2*r + 13 = 0. Which is greater: f or 2?
f
Let y = 149 - 249. Is -98 smaller than y?
False
Suppose -8*z - 3*t = -3*z - 12, 2*z - 3 = -3*t. Suppose -z*j = -4*j + 7. Does j = 5?
False
Let b(f) = f**3 - 11*f**2 - 12. Let q be b(11). Let j be (9/q)/(2/8). Let a = j - -17/4. Which is smaller: 1 or a?
1
Suppose h + 203 = 5*h + 5*f, h + 3*f = 49. Does h = 0?
False
Suppose -3*h = -0*h - 3*n - 3, 2*h + 8 = -3*n. Let p be -1 - (2 - 0)/h. Suppose 4*w = 3*k + p, 2*w = -4*k + k + 5. Which is smaller: 12/7 or k?
k
Suppose 5*k + 10 = 5*t, -7 = -t - 3*k + 3. Is 15 at least as big as t?
True
Let f = 0.012 - 2.012. Let o = 2 + 2.8. Let j = 5 - o. Which is bigger: f or j?
j
Suppose -35*y = -40*y. Suppose 5*x - 32 + 2 = y. Let o be (-1)/(-3)*18/x. Which is smaller: o or -3/17?
-3/17
Let x be (-2 - -2)*(-1)/2. Let r(k) = k**2 + k + 9. Let s be r(x). Let f be 0 - 132/(-55)*(-20)/(-6). Which is greater: f or s?
s
Let g = -29.1 + 6.9. Let n = -18.34 - g. Let d = n - -0.14. Which is bigger: -0.3 or d?
d
Let j be 15/(-20) - 66/8. Let u = -10 - j. Is 0 < u?
False
Suppose 9 = 5*p - 6. Let f be p + 0 + 2 + 490. Let c be ((-30)/f)/(1/(-3)). Which is greater: c or -1?
c
Let z = -49 - -100. Let h be -2 + z*8/(-12). Let i be 16/(-26)*3/h. Is i greater than or equal to 0?
True
Let v = -113 - -83. Let u = 28 + v. Is u smaller than -1/4?
True
Let l = -94 + -174. Let w = -1879/7 - l. Let v(x) = x**3 - 3*x**2 + 2*x + 1. Let g be v(2). Which is smaller: w or g?
w
Let p be (-6)/(0 + 2/4). Let w(h) = -7*h - 2. Let n(x) = -x + 1. Let f(s) = 6*n(s) - w(s). Let m be f(p). Are -3 and m non-equal?
True
Let u = -5.1 - -4.9. Is -2.9 > u?
False
Let p = 59 + -64. Let c be ((75/(-12))/(-5))/(p/20). Are c and -7 nonequal?
True
Suppose -3 = -3*c - 3*f + 2*f, c - 12 = -4*f. Suppose -r = 3*x + 1, r + r - 4*x - 8 = c. Is 2 less than r?
False
Let y be ((-2)/(-30))/(1/(-2)). Suppose 60 = 4*s + s. Suppose s - 14 = -2*w. Which is bigger: w or y?
w
Let m = 2.5 - -0.5. Let h = 2.9 - m. Is 2 at least h?
True
Let t = -124 + 122. Let d be 13*(2 - 10)/t. Which is smaller: 53 or d?
d
Let p = 21 + -47. Let s = p - -25.5. Are -3 and s unequal?
True
Suppose 0*k = -2*k. Suppose -6 = -4*m + 2. Which is bigger: m or k?
m
Suppose 5*x - 23 = 4*a + 6*x, a + 10 = 4*x. Let g be 8/6 - 4024/a. Let j = 89374/133 - g. Which is bigger: j or 1?
1
Suppose -i + 45 = -2*i + m, 49 = -i - 3*m. Which is smaller: -48 or i?
-48
Suppose 0 = -96*c + 16 - 107 - 101. Let t = -173 + 3635/21. Which is smaller: t or c?
c
Suppose -36*b - 10302 = 1470. Do b and -326 have the same value?
False
Let g = 98 - 103. Suppose 4*h + h - a + 25 = 0, -3*h + 2*a = 15. Is h at least as big as g?
True
Let g = -319 + 319. Which is smaller: -19/28 or g?
-19/28
Let q be 738/552 - (-96)/(-1104). Suppose 3*w + 5*m - 4 = 3*m, 2*w - 2 = -m. Is q >= w?
True
Let k = 105 + -107. Which is greater: -19/10 or k?
-19/10
Let w be 86/152*2/(-7). Let q = -9601/14 - -686. Let z = q + w. Which is greater: z or 0?
z
Let z = -2.477 - -8.477. Is z > 0.042?
True
Let p(q) = q**3 + 17*q**2 + 2*q + 38. Let t be p(-17). Which is bigger: 41 or t?
41
Let h be 1 - (-3722)/(-7) - 56/196. Let z be h/(-6)*(-2)/(-3). Which is smaller: 58 or z?
58
Let k(q) = -q**3 + 9*q**2 - 14*q + 8. Let p be k(5). Let x be ((-78)/(-8))/(3/12). Is x smaller than p?
False
Let w = -1/3055 - 161912/9165. Let q = w + 13. Is q greater than or equal to -5?
True
Let q(y) be the third derivative of y**5/30 + y**4/6 + y**3/3 + 2*y**2. Let n be q(-5). Let s be (-4)/(-1)*8/n. Are s and 2 unequal?
True
Let x(q) = 2*q**3 + 2*q**2 - 3*q + 5. Let b be x(2). Let w = -25 + b. Is w greater than or equal to -2?
True
Let j be (-2)/(4/(-40)*-5). Let v be (-47)/9*(18 + -1). Let a = -89 - v. Which is greater: a or j?
a
Let m(r) = r**3 + 6*r**2 - 7*r. Let v be m(-7). Suppose y = g - 1, 8*y - 4*y - g - 8 = v. Is 1 at most y?
True
Let i be 4 + 162/(-165) - 2. Let n be 2/(-2) - (-3)/(-15). Let h = i + n. Is h not equal to 1?
True
Let i = -91 - -97. Which is smaller: i or 8?
i
Let j(u) = u**2 - 183*u - 736. Let n be j(-4). Which is smaller: n or -8?
-8
Suppose 39 = -3*f - 156. Let n be (-2)/(-13) - 30/f. Is n less than 2?
True
Let s be (1 - -2 - 3) + 5. Suppose l + 3 - s = 0. Suppose 0 = -n + 4*n + l*b - 32, -n + 3*b = 4. Is 8 smaller than n?
False
Let u be (16/5740)/((-6)/45*-3). Let s = u - -839/3157. Let x be 0 - 0 - (-1 - -2). Are s and x equal?
False
Suppose o + 7 = -164. Is o < 0?
True
Let w be 4/(-1887)*(-6)/20. Let u = -6412/191845 + w. Is -1 less than u?
True
Suppose -14*f = 31 + 11. Let l be 204/56 + f + 2/(-4). Suppose 0 = q + 2*q + 3. Is q greater than or equal to l?
False
Let v be -1 + 2 + -2*