2/5. Is n bigger than -3/10?
False
Let y(a) = 4*a**2 + 35*a - 4. Let q be y(-8). Is -186/7 less than or equal to q?
False
Suppose 0 = -g + 433 - 131. Let b = -4/37341 - 191633944/634797. Let i = b + g. Is i at most 0?
False
Suppose 53*d - 54*d = 132. Which is smaller: d or -131?
d
Let a be ((-2)/(-3))/((-2)/(-9)). Suppose 16 = a*t - 5. Suppose -10*v = -27*v + 102. Which is bigger: v or t?
t
Let w be 28/(-22)*5560/(-140). Which is greater: 50 or w?
w
Let s(o) = 2*o**2 - 1. Suppose f - 2 = 0, -2*f + 5 - 3 = -i. Suppose i*m + 4*m = 0. Let y be s(m). Is -6/11 >= y?
True
Let f be 10/3 - (14 + -12). Let x = -15 - -11. Let g be 2/12 + x/24. Which is bigger: f or g?
f
Let t = -1261/6 - -209. Let v = -78 + 52. Let n = 26 + v. Which is smaller: t or n?
t
Let i be (-30)/(-9) - (-2)/3. Suppose 2*t = 5*m + 195, -m - 17 = -i*t + 4. Which is smaller: -42 or m?
-42
Let u = -612 + 621.2. Which is bigger: 1 or u?
u
Suppose 2*a - 534 = 3*p, 3*a - 537 = 3*p - 0*p. Which is greater: -177 or p?
p
Suppose -14*t + 11*t = 249. Which is bigger: t or 2?
2
Suppose 2 = 90*z - 88*z. Let u be 86/(-4)*(-3 - (z - 2)). Is 44 >= u?
True
Suppose 22 - 26 = 4*k. Is k at most 3/251?
True
Suppose -2*f = -7 + 41. Let w = f + 20. Suppose -6 = w*y - 0*y. Is y at least as big as 0?
False
Let p = 711/20 - 2169/5. Which is greater: p or -397?
-397
Let h(u) = u**3 - 11*u**2 + 3*u - 23. Let c be h(11). Suppose -s - c = -6*s. Which is smaller: s or 5?
s
Let p be 2/(-8) + (-726)/(-24). Let a be (4/(-10))/((-4)/(-305)). Let c = a + p. Which is greater: c or -1?
c
Suppose 0 = -5*z - 5*h - 25, -154*h + 44 = -4*z - 150*h. Let b be 28/(-6) + 8/12. Let q be -2*-3*6/b. Which is greater: z or q?
z
Let y be (-2391)/84 + 3 + (-4)/16. Do -25 and y have the same value?
False
Let q = 56150/91 - 617. Let c = q + -209/819. Are c and 1 equal?
False
Let u(m) = -m**2 - m + 1. Let q be u(0). Suppose -2*d + q = -5*n, 0*d = 3*n - 2*d + 3. Suppose 13 = v - 3*l, 10*l = 4*v + 12*l + 4. Is v at least n?
True
Suppose -z - 3*x = -69, -25 = -z - 4*x + 40. Let n = z + -59. Are n and -1 unequal?
True
Suppose 6*y + 730 = 676. Which is bigger: 9 or y?
9
Suppose 24*a = 5*x + 20*a - 61, -3*x + 2*a + 35 = 0. Suppose 0 = -3*q - 1 + 19. Which is greater: x or q?
x
Let c = 27.3 - 27.1. Which is smaller: c or 69?
c
Let q(p) = -p**3 - 3*p**2 + 3*p - 2. Let n be q(-4). Is 132 not equal to n?
True
Suppose 4*m - 267 - 93 = 0. Suppose -3*r = -r - m. Suppose -6*l - r = -l. Is -8 <= l?
False
Let b = -2 + 9. Let f(z) = -8*z - 2. Let j be f(-5). Suppose -2 = -5*p + j. Which is greater: b or p?
p
Let t = -63166/1144767 + 32/591. Are t and 0 non-equal?
True
Let h be (-1)/(-2) - 6/(-9). Let q = 1468 - 17627/12. Let d = h + q. Which is smaller: d or -3/5?
-3/5
Suppose -4*z + 24 = -8*z + 5*i, 3*z - 2*i + 11 = 0. Is 4 at most z?
False
Let p(y) = -2*y - 3. Let a be p(-3). Suppose 4*q = 4*c + 68, -3*c - a*q - 57 = -0*c. Which is greater: -17 or c?
-17
Suppose 6*v - 3*v + 3*d - 12 = 0, 2*d + 34 = 5*v. Suppose 5*q - 9 = 2*q. Let i(x) = -x**2 + 6*x - 4. Let m be i(q). Is v less than m?
False
Let h = -15 - -20. Suppose m = -j + 3*m - 3, -5*m + h = 0. Which is smaller: j or -10?
-10
Suppose 27 = 2*s + s. Let m = s + -2. Suppose 0 = -m*w + 3*w. Which is smaller: 1/3 or w?
w
Let r be (-4992)/(-396) - 4/66. Is r bigger than 14?
False
Let m be -8 + -2*153/(-36). Which is smaller: -6/185 or m?
-6/185
Suppose -l = -5*l - 120. Let o = l - -42. Which is smaller: 13 or o?
o
Let l = 3 - -1. Suppose 0 = -0*o - 4*o + l. Let h be 3 - (0 - 0) - o. Which is smaller: -1 or h?
-1
Suppose 0 = 4*l + 4*f + 24, -4*l - 3*f - 10 = 11. Let r be (5/(-5)*0)/l. Suppose r*z - 2*z + 3*o - 29 = 0, -3*o + 36 = -3*z. Which is greater: -10 or z?
z
Let l be (-20)/(-12) - (-3 - 657832/(-140973)). Are l and 0 equal?
False
Let x = -41.854 - -42. Let j = x - -12.854. Is 0 at least j?
False
Let j(u) = u**3 + 9*u**2 - 11*u - 3. Let n be j(-10). Which is bigger: -1 or n?
n
Let s = -120.3 - -120.4. Let v = -19 + 19.27. Which is smaller: v or s?
s
Suppose -q - 4*f = 4*q + 17, 4*f - 13 = q. Which is smaller: -60/11 or q?
-60/11
Let q = -14.89 + -0.11. Let s = -1.0901 + 0.0901. Which is bigger: s or q?
s
Let u = 15.0691 - 0.0691. Is u smaller than 2/19?
False
Let v = -385836739/8008 - -529992/11. Let m = -5/56 - v. Is 1 <= m?
False
Let x(z) = z**2 + 11*z + 29. Let p be x(-5). Which is smaller: 2/627 or p?
p
Let l be ((-60)/(-513))/(6 - 32/6). Are l and 1 nonequal?
True
Let i be (1 + (-23)/26)/((-378)/8). Which is smaller: 0 or i?
i
Suppose 4 = 29*p - 27*p. Suppose 2*b - 7*b - 5*j = 0, b + p*j = 1. Let f be 6/(-8) - (-2)/(-8). Is b at most as big as f?
True
Suppose 0 = 8*a - 5 - 27. Suppose 2*k + 5*s + 11 - 50 = 0, -3*k = -a*s - 47. Which is bigger: k or 15?
k
Suppose -23*v - 1200 = -47*v. Which is smaller: v or 53?
v
Let h = 397 + -417. Is -25 >= h?
False
Let l = -0.18 + 15.18. Let z = -64 - -50. Let c = l + z. Is c at most as big as 0.05?
False
Let m(n) = 4*n - 1. Let k(l) = -l**3 - 9*l**2 - 7*l + 7. Let p be k(-8). Let i be m(p). Let c(h) = h + 7. Let s be c(i). Which is smaller: 0 or s?
0
Suppose -138*q + 166*q = 0. Which is bigger: q or 4/119?
4/119
Let j = 5 - 3.1. Which is smaller: -30 or j?
-30
Let h = -3.66 + -1.34. Which is smaller: h or 0.4?
h
Suppose -2*z + 0*z = 2*l, 0 = 3*l - 2*z. Let v be (-4 - l)*(-2)/8. Is v at least -1/74?
True
Let m = 1182 + -1181. Which is bigger: -9 or m?
m
Suppose 3*j = 2*j + 5*s + 161, 5*s = -3*j + 403. Let u be (-2)/(4 - j/36). Let n be (-6)/u + 1/(-4). Is 1 > n?
True
Suppose -s = 3*s - 104. Let r = -18 + s. Let k be r/6*3/(-2). Which is smaller: -5/8 or k?
k
Let c(k) = k + 4*k**2 - k - 2*k. Let f be c(2). Suppose -y - 5*r + f = 0, 23 + 7 = -5*y + 5*r. Does -4 = y?
False
Suppose -4*p + 2*p = 102. Let o = -67 - p. Which is smaller: -17 or o?
-17
Let v(q) = 2*q - 8. Let p be v(10). Let d = -490 + 490. Is d at most as big as p?
True
Let d be (-1)/(75/(-19) + 4). Let x = 27 + d. Is 9 > x?
True
Let q(w) = -w**3 + 7*w**2 + 14. Let t be q(7). Let n be (-10)/t + 10/20. Is 1 at least n?
True
Suppose -1881 - 567 = 8*w. Is 1 != w?
True
Let l = -22 + 23. Let q = 0.94 - l. Let t = -0.06 - q. Do t and 1/5 have different values?
True
Suppose -2*l = -5*p + 54, 40 = 3*p + 2*p + 5*l. Suppose 4 = p*k - 6*k. Let i be ((-18)/18)/(k/(-7)). Is i != 7?
False
Suppose 7*u = 3*u + 4*t, 35 = -4*u - 3*t. Suppose -2*m = -3*y - 4, -y + 4*m - 5 = 13. Let h be -3*y/(-3) - 6. Is h > u?
True
Let u = 238 + -245. Let t(d) = -d**3 + 6*d**2 + 7*d. Let n be t(7). Let f be (-10)/6 + (2 - n). Which is bigger: f or u?
f
Suppose 2*n - 800 = 264. Let z = n - 3718/7. Let o = -11 - -13. Is z bigger than o?
False
Let b = 26112074/3307 + -7896. Is -1 greater than b?
False
Suppose 5*g - 2*l - 12 = 2*l, 5*l = 2*g + 2. Suppose 0 = 4*q - 4*z - 8, -2*q - 3*z + 1 + 18 = 0. Which is smaller: g or q?
g
Suppose 3*c = -3*g, -2*c = 2*c + 12. Let m(a) = a**2 + 8*a - 5. Let z be m(-9). Which is greater: g or z?
z
Let n(c) = 2*c**3 - 33*c**2 + 4*c - 24. Let z be n(17). Is z at least as big as 1?
True
Let a = -130 + 121. Let v be (-9 + -1)/(-2) + a. Which is smaller: v or -9/2?
-9/2
Let n(g) = -2*g - 13. Let q be n(-8). Suppose -4*u + q + 1 = 0. Let z = -52 - -419/8. Which is smaller: z or u?
z
Suppose 3*c + 7*c - 17*c = 0. Is c less than or equal to 0.118?
True
Let l = 196 + -197. Which is greater: 2.5 or l?
2.5
Suppose -3*s - 207 + 873 = 0. Is s at most as big as 222?
True
Let j = 15808 + -141964/9. Which is bigger: j or 35?
35
Let j be (-52)/897*(-6)/4. Is 1 less than j?
False
Let p be 16 + -17 - (0 - 6). Let x = -6 + p. Are x and -2/57 equal?
False
Let k = -25718/7131029 + 4/11633. Is k at least 0?
False
Let d = 16 + 284. Let b be (-12)/(-66) + d/44. Let p = -7 + b. Is 0 at least as big as p?
True
Let o(t) = 13*t - 264. Let c be o(48). Which is smaller: 359 or c?
359
Let d be (-3)/(-7) + (-117)/(-21). Let o = -5 + d. Is -2/5 less than o?
True
Let n be (-672)/1780 + 4/10. Suppose -4*x = -47*x + 9 - 52. Which is smaller: x or n?
x
Let y = -59 + -564. Let p be 4/(-2) + y/(-308). Is p at most 0?
False
Let u(q) = q**2 - q + 1. Let z be u(2). Let s = z + -5. Which is bigger: -5/6 or s?
-5/6
Suppose 5*p - 15 = -0. Let k be 122/(-18) + 1 + p + 3. Which is smaller: 3 or k?
k
Let c be (-91)/(-245) - 8/14. Let t be 3/(-3)