 = 4*l + 6. Let c be w*(4/(-390))/1. Do c and 1 have different values?
True
Suppose 0 = -2*b + 3*z - 8, -4*b + b = -2*z + 7. Which is bigger: b or 3/28?
3/28
Let d be (-18)/(-45) + (13/5 - 2). Which is greater: 3/88 or d?
d
Let v be 6/(-9) + (-1590)/(-225). Is 6 bigger than v?
False
Suppose -5*p = -z - 136, -2*z - 337 + 73 = -2*p. Let b = z - -915/7. Which is greater: 3 or b?
3
Let h be 6 - 18 - (-2)/(-2). Let c = 10 + h. Let q be ((-3)/(-2))/(7/(-14)). Is c bigger than q?
False
Let f(l) = l**2 + 14*l + 10. Let i(y) = -y**3 - 6*y**2 - 2*y + 3. Let m be i(-5). Let v be f(m). Is -14 at most as big as v?
True
Suppose 8 = 15*w - 11*w. Suppose -s = w*g - 4, 1 = g - 3. Let i be 9/(-3) + (s - -8). Is -4/9 smaller than i?
True
Let t be (21/6 - -2) + 1. Let x be 244/(-30)*(-12)/16. Let a = t - x. Which is greater: 0 or a?
a
Let s be 378/162*((-2)/13 + 0). Which is greater: 0 or s?
0
Let z = -15 + 15. Which is bigger: 3/118 or z?
3/118
Let r = -3329 + 2337. Is 1/3 less than or equal to r?
False
Let a be (-12)/(-10) - (-2 + (-55)/(-25)). Which is smaller: a or 1/115?
1/115
Let h be ((-644)/(-14))/23*(0 + -16). Does -1 = h?
False
Let a be 1/(-1*1/2). Let r = -6/181 + -1967/724. Is r greater than or equal to a?
False
Let u = 5.14 - 24.14. Which is bigger: u or 5?
5
Let n = -0.918 - 6.902. Let h = -0.18 + n. Let w = -7.9 - h. Are w and 6 equal?
False
Let q(c) = c + 6. Suppose 5*d - 30 - 19 = h, 4*d - h = 39. Suppose 4*o + 30 = d. Let u be q(o). Is u < 1?
False
Let x(r) = 2*r**2 - 4*r + 2*r**2 - r**2. Let b be x(-3). Let s be -3 + (b/45 - -2). Which is greater: 1 or s?
1
Let r = -11 - -22. Let q = r - 23. Let g be 36/(-14) + q/(-4). Is g at least -1/4?
True
Let m be (-6 - -4) + (-1 - -3). Suppose -59 = h - 63. Suppose 2*l - 9 = l + h*g, 5*g + 15 = m. Which is greater: l or -15/4?
l
Let o = -1.46 + -70.54. Let w = 27 + o. Which is smaller: -1 or w?
w
Let z = 127 - 567. Let o be (-2)/10*z/24. Let v be (2/4)/((-1)/(-10)). Which is greater: v or o?
v
Let z be (-5792)/(-476) - (-15)/5. Let y = z + -107/7. Is y at least as big as -2?
True
Let h be 72/(-16)*(-8)/(-6). Let g = h - 66. Let s be (-16)/g - (-4)/(-45). Which is smaller: 0 or s?
0
Let o be ((-4)/6)/((-2)/6). Suppose -j + 11 = 2*t - 2*j, o*j = -6. Suppose 0 = -4*i - 3*u, 3*u + u = t*i. Which is smaller: -2/53 or i?
-2/53
Suppose 9*n + 42 = 2*t + 13*n, -2*t = 2*n - 38. Which is bigger: 21 or t?
21
Let z = -94/9 + 577/63. Suppose -2*f + 6 = -0*f. Let s be 0/((f + -2)/(-1)). Are s and z non-equal?
True
Let t = 205 + -288. Let g = -1744/21 - t. Is 1 greater than or equal to g?
True
Let l(f) = f**3 + 12*f**2 + 16*f - 10. Let r be l(-8). Which is smaller: 115 or r?
115
Let t = -468 + 1421/3. Let g = -12 - -11.9. Is g <= t?
True
Let u = 52 - -33. Let m = u - 341/4. Let z(q) = -q - 1. Let j be z(-2). Is j equal to m?
False
Suppose -8 = -3*d + 5*d. Let t be (0 + -2)*d/28. Let z = -0.9 + 0.6. Is t at most as big as z?
False
Let l(f) = 3*f - 3. Let m be l(-7). Let o be 6/(145/(-20) - -7). Is m bigger than o?
False
Let d = 3003/8 - 376. Does -9 = d?
False
Suppose 580 = -7*m + 587. Is -19.5 less than or equal to m?
True
Suppose 5*c = 4*z + 59, 57 = -0*c + 3*c + 3*z. Suppose -13*k + 14 = -c*k. Is k < -3?
True
Suppose q + 21 = 3*k - 47, -3*q = 3*k - 84. Is k < 29?
True
Let k = 7956 - 5036146/633. Is k less than or equal to -1?
False
Let b = -5.4 - -4.4. Let j = b - -1.1. Let z be (6/(-10))/(8/5). Is j at least z?
True
Let z be (4/(-130))/((-516)/(-60) - 9). Suppose 0 = c - 3, -3*c = 2*f - 5*c + 8. Which is smaller: f or z?
f
Let v = 1789/3034185 - -3/2627. Which is smaller: v or 1?
v
Let y(o) = 3*o**2 + 2*o - 6. Let a be y(-4). Let j = -33 + a. Is j at least as big as 16?
False
Suppose -2*n - s + 20 = 1, 2*n - 3*s = 7. Let j be (4/16*1)/((-3)/n). Is j smaller than 0?
True
Suppose 3*g + 6 = -0*g, 24 = -r - 3*g. Let f be (-640)/45 + (-4)/r. Let n = f - -15. Which is bigger: n or 2/13?
n
Suppose 3*y = -b - 3*b - 9, 0 = 2*b + 6. Let k(p) = p**2 + 7*p - 7. Let j be k(-8). Is y bigger than j?
False
Let r be (-986)/(-30) - (-2)/15. Let l = r + -36. Let j be 4/(-8)*(-14)/l. Is j bigger than -3?
True
Suppose -15 = 5*g - 10*g. Suppose -2*j = -g*j - 1. Let u be 2/(-3 - (j + 0)). Is u greater than or equal to -1/23?
False
Suppose 117 - 9 = -6*q. Let h be ((-2)/8)/(q/1368)*-1. Let w be (2/(-2))/(1/19). Is w bigger than h?
False
Let a = 422 + -353. Is 68 >= a?
False
Let x = -105.89 + -0.11. Let u = x + 104. Are u and -1/3 non-equal?
True
Let w = 224.9 + -225. Is -45 bigger than w?
False
Suppose 12*z - 13*z = -122. Which is bigger: 121 or z?
z
Let q be -3 + (-275)/(-30) + -4. Let v = 5/2 - q. Is -5/3 not equal to v?
True
Let h = 420 + -417. Suppose 6 + 6 = -2*n. Let t be 1 + n/(-2) + 1. Which is greater: t or h?
t
Suppose 3*v = -5*m + 3*m + 6, -m = -3*v - 21. Let t = -15 + m. Let n be (9/t)/(6/(-8)). Is n <= 2?
True
Let z = 669.9 - 670. Is -382 equal to z?
False
Let x = -1 + 20. Let a = 19.1 - x. Is a != 2?
True
Let n(y) = 10*y + 12. Suppose 0 = 2*q - 83 + 87. Let j be n(q). Is -8 smaller than j?
False
Let j = -6 + 12. Suppose 0 = j*u - 4*u - 30. Let h be (-15)/12*3/u. Is -15 bigger than h?
False
Suppose 307 + 309 = 22*t. Is t greater than 30?
False
Suppose -2*j + 3*s + 19 = 0, 6*j - 3*j = -4*s + 71. Suppose 3*d = -i + 14, -3 - j = -4*d - i. Let c(t) = t + 6. Let u be c(0). Is u < d?
False
Suppose -3*z - 2*w + 18 = -5*w, -5*w - 28 = -3*z. Suppose 234*c = 233*c - z. Which is smaller: -20/21 or c?
c
Suppose r = -7*q + 3*q - 9, -5*r = -2*q + 1. Let j(x) = 36*x**2 - x - 1. Let k be j(r). Let o = -110/3 + k. Which is smaller: -1 or o?
-1
Let j = -2.6 - -1.3. Is j smaller than 0.08?
True
Let i(x) = 10 + 2*x**2 + 2*x**2 + 0*x**2 - 3*x**2 - 8*x. Let h be i(6). Is 3 greater than or equal to h?
True
Let d = -18 - -19. Suppose 3*l + 6 = -u, 5*u + 4*l + 4 = 7. Suppose b + a - 1 = -0, u*b = -a + 3. Is b at most as big as d?
True
Let o = 31317169 - 1785146974/57. Let h = -1199 - o. Let p(y) = 2*y**2 + 18*y + 27. Let s be p(-7). Which is smaller: h or s?
s
Let p = 315 + -972. Is -656 smaller than p?
False
Let v = 185 + -173.7. Let n = -11 + v. Let f = -0.2 + n. Which is bigger: -0.1 or f?
f
Let p be (1/13)/(-3 - 120/(-6)). Which is smaller: 0 or p?
0
Suppose -5*s - 2*s + 5*s = 0. Suppose 5*y + 11 = 3*z, s = 3*z - 3*y - 4 + 1. Which is bigger: z or -5?
z
Let k be (15 + -3)*2872/1242. Let t = k - 247/9. Are 0 and t non-equal?
True
Suppose -z + 0 = 2, 4*f - 2*z = 4. Let q be 1 + f + 0/1. Let i be 6/(-27) + (17108/(-9945))/(-7). Which is smaller: q or i?
i
Let x = -52 + 52.39. Let t = x - -17.61. Let w = t - 16. Is -2/5 > w?
False
Suppose -2*y + 5*m = 2 + 2, 2*m = 4. Suppose -4*d = o + 2*o - 20, 15 = -4*o + y*d. Suppose 2*a - 5 - 1 = o. Which is smaller: 1/2 or a?
1/2
Let i(k) = 12*k - 2. Let z be i(1). Suppose -7*s + z*s = 0. Is -1 > s?
False
Let f = -1 + 2. Let n(z) = -2*z**2 - 7*z + 59. Let p be n(21). Let o be -2 + p/(-245) - 2. Is o at most f?
True
Let p be -2 - (-3 - -2 - 132/(-110)). Which is bigger: 4 or p?
4
Let u = -17 + 18. Let g = 0.1 + -0.8. Let n = -0.6 - g. Do u and n have different values?
True
Let i = 353 - 337. Is 285/17 less than i?
False
Suppose -2*c = 2*y + 2*y - 6, -2*y + 18 = -2*c. Suppose 0 = 3*b + 2*z + 1, -b - 1 = -4*b - y*z. Let f be 1 + 8/(-5) + 1. Which is smaller: f or b?
b
Let g = 2 + 14. Let b = g + -24. Is -0.1 less than b?
False
Let t be -1 + -2 + (-159)/(-51). Suppose -28 - 2 = -30*v. Is t equal to v?
False
Let f(u) = u**2 + 37. Let w be f(0). Let g = -23 + w. Let k(c) = -6*c**2 + 342*c - 1. Let r be k(57). Is g at least as big as r?
True
Let d = -217/495 - 1/165. Is d < -1?
False
Suppose -4*i + 10 = 2. Suppose 3*c = i*f + 35, c + 3 = -f - 2*f. Let b = -32 - -41. Do b and c have the same value?
True
Let g = 6 + 0. Let k = -4 + g. Suppose 2*v - 32 = 3*i - 8*i, -k*i - 4 = 5*v. Is i bigger than 8?
False
Let y = -23/57 - -6082/14649. Is y at least as big as 0?
True
Let r be 1 + -1 + -4 - (-34)/8. Let d = 1.31 + -1.4. Let c = d - -0.08. Which is greater: c or r?
r
Let a be ((2/(-10))/(17/34))/(-1). Is 25 at least a?
True
Let s(o) = o**2 - 3*o + 2. Let g be s(3). Suppose j = -g*w + 2, 0 = -5*w - 3*j + 6. Is 1/11 >= w?
True
Let a be 8/12 - 27559/1716 - -2. Let t = -175/13 - a. Which is greater: 0 or t?
0
Let q = 14.46 + 