 -6.8. Let n = y + 27. Which is bigger: 1 or n?
1
Let b(p) = -2*p**3 - 12*p**2 + 1. Let w = -64 - -58. Let u be b(w). Is u <= 9?
True
Let u = -88 - -59. Let p be (0 - u)/(-4 - -3). Is -0.1 <= p?
False
Suppose 4*r - p = 22, -3*r + p = 3*p - 11. Suppose -3*x - u - 25 = -2*x, -3*u = -r*x - 133. Is x at most -28?
False
Let y = 0.156 - 28.156. Which is bigger: 1 or y?
1
Let s be 104/18 - (-2 + (-64)/(-36)). Suppose -s*y = -y - 65. Do 14 and y have the same value?
False
Let w = 0.34 + 2.36. Let i = 2.8 - w. Which is bigger: 1.1 or i?
1.1
Let n = 13 - 11. Suppose -n*q + 2*a - 16 = 4, 20 = 5*a. Is q smaller than -13/2?
False
Suppose 0 = -38*v + 24*v + 18634. Is v greater than 1331?
False
Let p be ((-96)/11)/4 + 16/88. Let a be (0 - 1)*2/p. Which is greater: -1/100 or a?
a
Suppose -4*s - 1946 = -162. Are -446 and s equal?
True
Let i be -3 - (-30)/(-24)*-4. Does -8 = i?
False
Suppose -3*q = -5*q - 2*k + 6, -8 = 4*k. Suppose 0 = -5*b - 4 - 46. Let u be (-1)/(-2) + (-45)/b. Is u <= q?
True
Let b = 217 + -217.1. Is b less than or equal to 164?
True
Let s = -950/7 + 136. Let x = -67 + 66.87. Let f = 2.13 + x. Is f != s?
True
Let j be 22 - (1 + 3 - 1). Let o be (-2 - -1)/((-2)/(-34)). Let m = o + j. Is m != 5?
True
Let r be (-4 + (-45)/(-10))/((-80)/132). Let q = 8/23 + -251/920. Let l = q + r. Which is smaller: l or -2?
-2
Suppose -5*r - 287 = -3*l, 4*r = -2*l + 4*l - 192. Suppose -8 - 7 = -u + 3*n, l = 5*u + 4*n. Do u and 2 have different values?
True
Let k(y) = y**3 - 3*y**2 + 4*y - 2. Let u be k(2). Let c = -70 + 72. Suppose v + c*v = 0. Which is smaller: u or v?
v
Let y be 10/(-4) + (-1360)/(-255). Is y > 2?
True
Let b = -24/7 + 89/28. Suppose w + 3*w + 116 = 4*i, -3*w - 3*i = 111. Let k = w + 33. Is k at most b?
False
Let g be 2/(-6) - (-15)/(-9). Let d be (-2)/14 + 1/7 - 4. Which is greater: g or d?
g
Let c(o) = -o**2 + 5*o + 18. Let w be c(0). Suppose 3 = 3*f - w. Suppose -2*h + 7 + 7 = 0. Is f less than or equal to h?
True
Suppose 2 + 3 = 5*i. Suppose 0 = -g - 0 - 4. Let p(t) = -t**3 - 4*t**2 + t + 5. Let d be p(g). Is d at least i?
True
Let q be 3/(-6)*(-5)/370. Let y = q - -289/1036. Is 2/97 not equal to y?
True
Let j be ((-6)/(-2))/(3/(-8)). Let w(q) = q**2 + 3*q - 6. Let n be w(-5). Let i be j/(((-16)/(-4))/n). Do -6 and i have different values?
True
Let z = 5892/25 + -314977/1400. Let v be -2*((-195)/(-48) + 1). Let r = z + v. Which is smaller: 1 or r?
r
Suppose 5*v - 45*o + 9 = -43*o, 4*v = o - 6. Suppose 0*z = -2*z - 4. Let y be (z/(-25))/(-2 + 0). Is v at most y?
True
Let h(l) = 4*l**2 - l**3 - 6*l + 34 + 3*l**2 - 38. Let f be h(5). Which is bigger: f or 15?
f
Suppose 3*n - g + 431 = 0, -98*g + 102*g = 2*n + 274. Do n and -145 have different values?
False
Let s = -4576/23 - -199. Let p be (-3)/69 - (-2)/(-5). Let a = p + s. Is 0.1 bigger than a?
True
Let d(q) = -4*q**2 - 25*q + 8. Suppose -65 + 95 = -5*f. Let g be d(f). Let i = 28 + -13. Which is bigger: g or i?
i
Let l(f) = 9*f - 100. Let k be l(11). Is k at least 2?
False
Let i be (-2 - -1)*40/64*-4. Which is smaller: 15 or i?
i
Let m(a) = -10*a**2 + 2*a. Let i be m(-1). Let d be (-38)/72 + (-9)/i. Let r = -1 - -1. Which is greater: d or r?
d
Suppose -j + 3*h = 211, j + 3*h = 4*j + 615. Let x = -51322 - -562322/11. Let z = x - j. Which is smaller: z or 1?
z
Let u = 251.6 + -254. Is -2 at least as big as u?
True
Let c = 28.6 + -25. Let p = c - 3.5. Which is smaller: p or -65?
-65
Let a(o) = 4*o - 37. Let i be a(14). Suppose 65*y = 66*y + i. Are y and -94/5 equal?
False
Let u = 22 + -20. Suppose -u - 3 = 5*a. Suppose 4*y + 17 = -t, y + t + 2*t = -7. Is a > y?
True
Let x = 0 + -1. Let j be (-2)/(-7)*(-332)/416. Let z = 2/91 - j. Which is greater: x or z?
z
Suppose -5*f = 291 + 664. Let v = -1335/7 - f. Which is smaller: -1 or v?
-1
Suppose 5*v - 4*m - 4 = 0, -v + 2*m + 2 = -0. Is 2/375 not equal to v?
True
Let i(t) = -t**2 + 9*t - 2. Let a be i(8). Suppose -28 = -4*u + 4*r, -3*r - 4 = -u - 1. Let x = a - u. Is x > -3?
False
Let z(c) = 2*c**2 - 3*c. Let m(r) = -r**3 + 4*r**2 - 6*r + 1. Let d(f) = 2*m(f) - 5*z(f). Let p be d(-2). Suppose -p = -2*x - 24. Does x = -1?
False
Suppose -28 = -3*x - x. Suppose -q - 4*q + 1 = i, 0 = -3*i - 5*q - x. Let m = i - -2. Is m at least -3/2?
False
Suppose -3*i + 36 = 4*m - 0*i, 2*m = i + 28. Let p be (-1)/((-1)/m*2). Suppose -l + 6*r = r - 4, 0 = l - 3*r - 4. Are l and p nonequal?
True
Let r = 0.19 - 0.47. Let d = r + 0.28. Is -2/29 smaller than d?
True
Suppose -3*a + 7*a + 18 = -2*c, 0 = 2*c - 3*a - 10. Let z(w) = w**2 - w - 5. Let k be z(-4). Suppose 8*v + k = 3*v. Is c at least as big as v?
True
Let o be (-14)/4 - 3/(-6). Let c be o/(2/(8/(-102))). Let m = -198/5 - -589/15. Which is smaller: c or m?
m
Let i be 11*((-510)/(-84) - 6) + -6. Is -4 at least i?
True
Let r = -607102/325 + 1868. Let m = r - 596/8775. Which is smaller: m or 1?
m
Let h be 1 + 0 + (-75)/(-21). Let u be (3822/483 - 8) + 2/23. Which is greater: u or h?
h
Suppose -248*h = -213*h + 26530. Is -757 at least as big as h?
True
Let x be ((-8)/(-10))/(13/65). Let r be 2/(4/64*x). Let u be (4 - r) + 1 - -11. Which is smaller: 6 or u?
6
Let h = -827 + 1159. Which is greater: 0.1 or h?
h
Suppose g = 4*b + 940, -3*g = 44 - 32. Do -236 and b have the same value?
True
Suppose -121*r + 120*r = 11. Is r < -86/9?
True
Suppose -8*w + 248 = -144. Does w = 48?
False
Suppose -7*f + 101 - 73 = 0. Which is smaller: f or 29/7?
f
Suppose -b - 1 + 3 = 0. Let v be (9/(-2))/(b/(-16)). Suppose r - 4*r - v = 0. Are -11 and r non-equal?
True
Suppose a - 4 = 2*y, 0*a - 3*a + 2*y = -12. Suppose a*r - 3 = r. Let x = 0 + r. Is -6/13 equal to x?
False
Let b(p) = -p**3 + p**2 + 2*p + 1. Let l be b(0). Let v(w) = -w**3 + 9*w**2 + w + 6. Let r be v(9). Let s be (-4)/(-10) + (-156)/r. Is s at most as big as l?
True
Let q = -16 + 15.12. Let j = 0.07 + -0.19. Let g = j + q. Which is bigger: 1 or g?
1
Suppose 7*n - 5*n - 22 = 4*g, -2*g = 10. Which is bigger: n or 36.9?
36.9
Suppose 11*y + 128 - 40 = 0. Is y at most as big as -9?
False
Let j = 0.16 + -0.2. Let m = -0.05 + j. Let y = 0.09 + m. Which is bigger: y or -0.04?
y
Let u be -3*7 - 6/(-9). Let o = -21 - u. Which is smaller: o or -3/2?
-3/2
Let g(d) = d**2 - 3*d - 46. Let h be g(-6). Suppose -6*j + h*j = 138. Are j and 68 equal?
False
Suppose 12 = 4*q + 2*s + 2, 10 = -2*q - 4*s. Let t(o) = 5*o**2 - 5*o + 9. Let l be t(q). Is 110 < l?
False
Suppose i = 2*g - 0*g - 8, 5*i + 3*g + 53 = 0. Let v be ((-6)/i*(-10)/15)/2. Are v and -1 unequal?
True
Let u = 6/529 - 5729/551747. Which is smaller: 0 or u?
0
Let p = -2086.89 + 2088. Which is smaller: p or -0.1?
-0.1
Let p be (-3)/((-9)/(-6)) + (-1 - -48). Let n = p + -46. Let v be 36/567 - (-4)/(-14). Which is smaller: v or n?
n
Let b = -3.4 + 8.3. Let y = -5 + b. Let u = 3 - 8. Which is greater: u or y?
y
Let d(v) = 2*v**2 - 4*v. Let m be d(3). Which is smaller: 28 or m?
m
Let k(d) = d**3 - 15*d**2 + 8*d - 22. Let c be k(15). Let h be (c/42)/((-2)/6). Is -6 greater than or equal to h?
True
Suppose 0*v = -28*v - 1680. Is -60 > v?
False
Suppose -2*t + 12 = 2*s, -4*s = t - 0*t - 9. Suppose -s + 4 = p, 5*p = b + 16. Let f = 21/4 - 155/28. Is b >= f?
False
Suppose -4 = g + 68*r - 67*r, 2*g + 10 = -3*r. Is -6 smaller than g?
True
Suppose 2*a = 4*p + 12, 3*a + 0*p + p - 11 = 0. Suppose -a*n = d + 5, -9 = -n - 3*d - 2. Let t be n + -4 + (-1 - -1). Is t greater than -8?
True
Let x = 14/11 - 45/44. Is -4 at least as big as x?
False
Let h = 249 - 72. Let v be (-3 - h/(-51))/(3 - 4). Are 0 and v non-equal?
True
Let k = -1.2 - -3.1. Let p = k - 2.9. Let q be ((-6)/(-21))/((-1)/2). Which is bigger: p or q?
q
Suppose 3*o = -355 - 269. Are -208 and o equal?
True
Suppose -42*h + 46*h - 1464 = 0. Which is greater: 365 or h?
h
Let x = 2.6 + -3.6. Are x and 50 equal?
False
Let q be ((-161)/(-21))/(3/(-9)). Which is bigger: q or -17?
-17
Suppose -42 = -5*i - 2*f - 6, 4*f = -3*i + 16. Let q(c) = -7*c**3 - c**2 + 2*c + 2. Let r be q(-1). Are r and i non-equal?
True
Let h = 2654.47 + -2673. Let q = 0.47 - h. Let k = q - 19.4. Which is bigger: k or 2?
2
Suppose -11 = -5*j + 9. Let m be (165/77 - 3)*28/(-6). Is m at most j?
True
Let d be 102*(-4)/2 - -7. Which is smaller: d or -395/2?
-395/2
Let l = 9.16 + -0.56. Let h = l - 8.2. Does h = -0.11?
False
Le