8 = k*n. Let t = n - 14. Is t at least 0?
False
Let p = -87.3 + 87. Let q = -9 - -5. Let d = -3 - q. Which is bigger: p or d?
d
Let c = -0.54 - -0.04. Let f be (6/15)/((-72)/480). Is f equal to c?
False
Let m(v) = v**3 - 5*v**2 - 4*v + 4. Let d be m(5). Let g be 3/(22/d + 1). Let p be (g/(-3) - 2) + -2. Is -0.2 less than or equal to p?
False
Let a be 136842/(-10230) + 14 - (-3)/(-5). Which is greater: 1 or a?
1
Let x(c) = 5*c - 10. Let j(l) = 6*l - 11. Let d(m) = 4*j(m) - 5*x(m). Let s(o) = o - 7. Let i(t) = -2*d(t) - 3*s(t). Let k be i(5). Which is bigger: 3 or k?
k
Let y be 2 + -2 + (0 - 4/(-10)). Let f = 0.018 - 0.248. Which is smaller: y or f?
f
Let h(f) = -17*f**2 - f. Let u be h(-1). Let y(g) = -g**2 - 15*g + 18. Let w be y(u). Let m = w + 14. Which is greater: 17 or m?
17
Let z be (-12)/((-24)/(-6) + -3). Suppose -14 = 3*u + 3*y + y, 2*y - 48 = 4*u. Which is greater: u or z?
u
Let u = 118.4 - 118.5. Is u != -2.56?
True
Suppose -4*m + 2*x = -50, 21 + 8 = 4*m + 5*x. Let p = 0.16 + 0.04. Which is greater: p or m?
m
Suppose -7*q - 2*k = -3*q - 8, -3*q - k + 8 = 0. Let x = -1 + 4. Suppose q*y + x*m = -7, -2*y = 2*y + 5*m + 9. Is 0 less than or equal to y?
False
Let p be (-6)/290*360/324. Is p greater than or equal to 0.1?
False
Let m be 78/(-5) + (215/25 - 9). Are -10 and m unequal?
True
Let w be -7 - (-2046)/11 - -9. Is w less than 566/3?
True
Let y be -2 + 3 - (0 - 3). Suppose -y = -2*q + q. Let f be (-2)/q + 10/16. Do f and -1 have the same value?
False
Let v be (-5)/((3 - 0)/(-9)). Suppose -5*a = -55 + v. Suppose 3*l = a*l - 5. Which is bigger: l or 3?
3
Suppose 60*w - 9395 = -2075. Is 121 >= w?
False
Let m = -194 + 193. Is m >= -5/42?
False
Let r be (-4 + 2)*2505/(-30). Is 169 < r?
False
Let k(h) = -h + 1. Let f be (-6)/(-3) - 9 - 2/(-2). Let s be k(f). Do s and 7 have the same value?
True
Suppose -1008 = 145*s - 121*s. Suppose -42 = d - 5*h + 6*h, -4*d = 2*h + 166. Which is bigger: s or d?
d
Suppose 0 = 2*o - 10 - 74. Let r be 24/(-36) + (-92)/o. Is 0.2 <= r?
False
Suppose 0 = 3*r - 2*n - 56, -4*n - 96 = -3*r - 2*r. Suppose 0 = b - 6 + r. Which is smaller: b or -12?
-12
Let g = 194 - 193.8. Which is bigger: 0.69 or g?
0.69
Suppose 3*j + 36 - 30 = 0. Is -3/4 greater than or equal to j?
True
Let i be 6/(-3) + 2*6/4. Let h be i + (-120)/25 - -4. Which is greater: h or 0?
h
Let k be ((-1842)/(-1830))/(-1) - -1. Is k smaller than 1?
True
Let i = -2041/504 - -9/56. Is -3 at most i?
False
Let v = -28 + 32. Suppose -5*g = 3*k - 0*k + 6, -v*k + 21 = -3*g. Suppose 0 = -k*b - 22 + 13. Which is greater: b or -6?
b
Suppose 0*f + 2*f = 3*f. Suppose q - 3*a + 0 - 8 = f, 2*q - a - 1 = 0. Which is smaller: 4/9 or q?
q
Let q be 10/30 + 8/3. Let n = -30 + 61. Let x = -156/5 + n. Is x not equal to q?
True
Let i be ((-2)/(-5))/(321/15). Let g be (-1692)/(-564)*((-2)/6 - 0). Which is bigger: g or i?
i
Let z = -141.9 - -142. Which is bigger: z or -8?
z
Let k be (8/10)/(26 - 12). Let n(d) = -6 + d - 4 + 3. Let z be n(7). Which is greater: k or z?
k
Let f = -211 - -322. Let x = -69 + f. Which is smaller: x or 0.2?
0.2
Let g(z) = 24*z + 0 - 27 - z**2 + 6. Let f be g(23). Let d be (-33)/(-15) - (0 + 1). Which is smaller: d or f?
d
Let l be 3/(-2)*(-22)/33. Suppose -4*s = 4*u + 20, -2*u - 6 = -s + 4. Which is smaller: l or s?
s
Let y = 123 - 120. Let f be (((-564)/279)/1 + 2)*y. Which is bigger: f or -1?
f
Let u(l) = -13*l**2 - 128*l + 11. Let a be u(-10). Which is smaller: -138/17 or a?
a
Let t be (-1*(-2 - 13))/1. Let c = 14 - t. Which is greater: c or -2/79?
-2/79
Suppose 5*i - 680 = -5*k, 4*k = 3*i + 6*k - 413. Is i > 140?
True
Let l = -153 + 145. Let y be -1*(-12)/8*l/(-12). Which is smaller: y or 12/17?
12/17
Let f = 0.02 - -0.38. Suppose 7*m - 28 = 77. Let r = m - 19. Which is smaller: f or r?
r
Let c = -0.741 + 0.713. Which is smaller: -3 or c?
-3
Let m = 13 - 30. Suppose 2*j + 42 = -3*n, 2*j - 8 = 2*n - 40. Which is smaller: m or j?
j
Suppose -10*y = 11*y - 861. Which is greater: 38 or y?
y
Let w(c) = -2*c**2 - 32*c - 24. Let j be w(-15). Let v be ((-5)/((-10)/j))/3. Let q be (-1)/(-4)*(-8)/50. Which is greater: v or q?
v
Let i = 0.77 - 0.87. Which is bigger: -128 or i?
i
Let a(o) = o**3 - 6*o**2 - 7*o - 2. Let t be a(7). Let u be 0 - (t - 34/(-8)). Suppose -3 = 3*p - 6, 11 = -3*x + 5*p. Which is greater: x or u?
x
Let m = 2/51 - -4/51. Suppose j + 9 = 3*z + 2*j, 5*z - j = 7. Suppose -2*g + 0*i + 22 = 4*i, 0 = -z*i + 10. Which is bigger: g or m?
g
Let c = -0.19 - -1.79. Let g = c + 10.4. Let v = 11 - g. Which is smaller: v or -2/13?
v
Let z = -29 + 65. Let t be (3/5)/(z/24). Which is smaller: t or 11?
t
Let l(w) = -w**3 - 15*w**2 - 55*w + 7. Let f be l(-7). Is f at most as big as 3?
True
Let u be (-20)/(-8) + 1/(-2). Let j be (-8)/(-20) + u/(-5). Let w = 12.9 + -12.9. Is j at most as big as w?
True
Let n be (-2*1)/(5/(-10)). Suppose 0*s + n*s = 16. Let o be (6/12)/(26/s). Is -1 at most as big as o?
True
Let h = 1541 + -1542. Which is greater: h or 10/191?
10/191
Let h be 5 - 15/(-12)*-4. Let u = 30 - 19. Let j be (-2)/(u/2*-1). Does h = j?
False
Let s = -195264/13 + 15028. Which is smaller: 9 or s?
s
Let y = 10763/52 - 207. Let a(q) = -q**3. Let w be a(1). Are w and y non-equal?
True
Suppose -5*x - 18 = -2*t, 0*t - x - 2 = -2*t. Let y be 9 - 10 - 1/t. Which is greater: y or -4/25?
y
Let v = -0.1779 + -0.0221. Is v greater than -25/12?
True
Suppose -r = -5*t - 1, 4*t + 2 = r + 1. Let z = 14 - 14.8. Let o = z + 0.7. Which is smaller: r or o?
o
Let o(j) = -j**2 - 11*j + 17. Let h be o(-13). Let q = 19 + h. Suppose -5*n + 0*n = q. Is -2 greater than or equal to n?
True
Let v = -33.1 + 33.7. Is v at most as big as -2/5?
False
Let u = 42 - 42. Suppose -5*s + u*m + 97 = 2*m, -72 = -4*s + 4*m. Is 19 greater than s?
False
Let m(c) = 8*c**3 + 2*c**2 + c - 4. Let t be m(2). Let g = 79 - t. Is 15/2 >= g?
False
Let g = -0.689 + 0.059. Let f = g - 0.37. Suppose -4*y = -2*w - 16, 0 = 8*w - 3*w - 5*y + 30. Are f and w equal?
False
Let d be (-16)/5*-10*(-2)/8. Is d less than 16?
True
Suppose -4*w + 208 = 2*k, -w - 4*w + 107 = k. Is k smaller than 104?
True
Let b(d) = 3*d. Let n be b(1). Let f be ((-1)/3)/(n/(-99)). Suppose -2*t = -t + f. Is -10 less than t?
False
Let z be 2/(-9) + (-68)/18. Let l(n) = -7*n + 3. Let q be l(z). Let k = q + -63/2. Are 3/2 and k non-equal?
True
Suppose 0 = -5*i + 32 - 77. Let o(u) = u + 9. Let n be o(i). Do 1/35 and n have the same value?
False
Let s be (8/(-6) + 0)*27/10242. Which is bigger: 0 or s?
0
Let y = -471 - -470. Which is smaller: -2/283 or y?
y
Let y = -1322025/362 + 3652. Is y not equal to 1?
True
Let w be ((-9)/(-567)*2)/((-4)/(-28)). Let u = -3326/9 - -369. Let z = w + u. Is -12 at most z?
True
Let q = -1.44 - -7.14. Let n = q + 1.3. Suppose 5*i = 2*b - 20, 4*b + 2*i + 4 = -4. Do b and n have the same value?
False
Let j(p) = 8*p**2 - 6*p. Let o(r) = -7*r**2 + 7*r. Let c(y) = -6*j(y) - 5*o(y). Let s be c(-1). Let k = -13 - s. Which is bigger: 2/11 or k?
k
Let c be 9/(-45) + (-81)/(-5). Suppose -11*r = -c*r - 15. Let q = -3 - r. Are -2 and q non-equal?
True
Let b be (-22)/(-33) - 122/(-6). Is 18 less than b?
True
Suppose -2*h + 5*c - 13 = -6, 5*h + 2*c - 26 = 0. Let j = -26650/9 - -2964. Is j equal to h?
False
Let z be -4 + 3 + 5 + (-54)/17. Which is greater: 0 or z?
z
Let n = 3902/11 + -356. Suppose -4*l - 3*m = -0*m + 1, 0 = 3*l + 2*m + 1. Is n equal to l?
False
Let w(f) = 2*f**2 - 32*f - 30. Let n be w(17). Suppose -2*v = -2*b - 26, 2*b + 23 = n*v - 1. Suppose 7*u - 2*u + 2*k + 75 = 0, -23 = u + 2*k. Is u at most b?
False
Let j(r) = -3*r - 12. Let x be j(-9). Which is smaller: -0.02 or x?
-0.02
Suppose 4*l + 4 = 4*j, 6*l - l = 3*j - 3. Is l equal to -9?
False
Suppose c - 184 + 185 = 0. Is -20/19 equal to c?
False
Let b = -5 + -53. Which is greater: b or -56?
-56
Let d = -1.0889 - -1.152. Which is smaller: 1/4 or d?
d
Suppose -q - 21 = c, -3*c - 3 = -15. Let n be 15/q + (8/30)/(-4). Is n less than or equal to -2?
False
Let y be (-44)/(-16) + -1 - 9/12. Let x be (y/1)/((-207)/(-54)). Which is greater: x or -1?
x
Let t be (((-28)/(-6))/14)/((-19)/(-222)). Which is smaller: t or 3?
3
Let n = -25.1 + 19.1. Let i = 19.7 + -13.8. Let z = n + i. Is -0.9 < z?
True
Let c = 26 - 31.2. Let i = c - -5. Which is smaller: i or 0.6?
i
Su