1/l - 3/6. Are a and o equal?
False
Let q = -5 + -55. Is q > -60?
False
Let p(l) = 11*l - 5. Let m be p(-8). Let o be m/(-9) - 2/(-3). Let n = o - 19. Is n at most as big as -8?
True
Let w(x) = -x**2 + x. Let z(y) = -y**2 + y - 2. Let o be z(2). Let i be 1/(-1*2)*o. Let f be w(i). Is -2 > f?
False
Suppose 2*f = -5*t - 115, 8*t - 3*t - f + 130 = 0. Let h = t - -22. Is h smaller than -4?
False
Let q = -29 - -2. Let c = q + 18. Let b = -10 - c. Is 0.5 equal to b?
False
Let f be 34/(-24)*-2 - 3. Let y be ((-2)/(-6))/((-2)/(-6)). Is f at most as big as y?
True
Let j = 2 + -4. Let z = 3 + j. Let i = -46 + 371/8. Which is smaller: z or i?
i
Let o = -31 - -35. Is o smaller than 14/3?
True
Suppose -4 = -3*a - 7. Which is smaller: a or 1/4?
a
Let h be 5/(15/21) - 2. Suppose 0 = -4*c - 3*n + 16, 0 = c - 2*n - h + 12. Is c at most 4/9?
False
Let y be (-407)/(-3) + (-2)/3. Let q be (4/(-6))/((-15)/y). Which is bigger: 19/3 or q?
19/3
Let y(p) = p**2 + 3*p - 8. Let g be y(-5). Let m be (1/3)/((-3)/(-18)). Is m <= g?
True
Suppose -2*n - 2 = 0, r + 4*n = -r - 2. Which is smaller: r or -3?
-3
Suppose n + 540 = 11*n. Do 54 and n have the same value?
True
Let s = 4155/8 - 520. Which is greater: s or -1?
s
Let z = 458/10353 + -8/119. Is 1 at least z?
True
Let w = 30 + -28. Which is smaller: 4 or w?
w
Let g be (-465)/(-204)*1*4. Let u = g + -9. Which is smaller: -1 or u?
-1
Suppose -2*g + 0 = 10. Let y(x) = -x**2 - 5*x + 5. Let w be y(g). Is 4 greater than w?
False
Suppose p + 1 = 3. Let h = -3 - p. Let w = 1 + h. Are -3 and w unequal?
True
Let g = 25 - 24. Let p = -1.8 - 0.2. Let b = p + 2.2. Which is greater: g or b?
g
Suppose 2*q - 72 = -3*k - 1, -59 = -3*k + q. Let g = k + -13. Is g not equal to 9?
True
Let w be -1*5/70*22*1. Is w at most as big as -3?
False
Suppose 6 = 3*r - 3. Suppose 4 = -r*m - m. Let p(w) = -w**3 - 21*w**2 + 47*w + 22. Let z be p(-23). Is z less than or equal to m?
True
Let c = -9 - -6. Let f = 3 + c. Is 2/7 less than f?
False
Suppose -23 = r - 4*h, 3*r + 3*h = r - 24. Do -15 and r have the same value?
True
Let q be 26/68 - (-1)/(-2). Which is greater: q or 1?
1
Let g(o) = -8*o**3 - o**2 + o - 1. Let w be g(1). Let v = -7 - w. Suppose -v*u - 3 = -1. Which is greater: -2 or u?
u
Let w = 2 + -1. Let c(f) = -4*f + 1. Let x be c(w). Suppose -5*k = -7 + 17. Is x > k?
False
Let l = -7 - -8. Is 5/4 bigger than l?
True
Let n = -7 - -5. Let o be ((-8)/(-34))/(n + 4). Let m = 1 - 1. Is o less than or equal to m?
False
Let x = -4 - -6. Suppose -x*n = -3*b - 1, 4*n - 5*b + 1 - 2 = 0. Which is greater: 2 or n?
2
Let i = 17 + -6. Let j be 50/(-4)*(-12)/15. Is j at most as big as i?
True
Let s = 0.06 + -2.06. Let t = 2.8 - -1.2. Let c = 4.1 - t. Are c and s nonequal?
True
Suppose -g + 50 = -6*g. Let j = g - -7. Is j bigger than -1?
False
Let b be 26/(-8) - (-25)/50. Is b at most as big as -3?
False
Suppose 0*w - 13 = -g + 2*w, 0 = -2*g + 5*w + 31. Let f(c) = -c + 4. Let i be f(g). Let p = 10 - 9. Is i at most p?
True
Let x(j) = j**2 - 8*j + 8. Let r be x(7). Let o = r + -7/5. Let p = 0 - 2. Which is greater: p or o?
o
Suppose -4*f - 3*h = 49, f + 10 = h - 11. Which is smaller: f or -3?
f
Let y = -629/4 + 158. Which is bigger: 2 or y?
2
Let b = -21 - -20. Let m = 14 + -7. Is b < m?
True
Let q = -1/54 + 227/594. Is -1 less than q?
True
Suppose -2*u - 5*p = 13, 0*u = -5*u + 4*p - 16. Which is smaller: -6 or u?
-6
Suppose 6*t = 12*t - 156. Is 26 smaller than t?
False
Let v be 2/(-8) - 51/(-12). Let r = 10 - v. Is r != 6?
False
Suppose 16 = -10*f - 4. Let m(o) = -3*o**3 + o**2 - 2*o + 1. Let k(w) = w**2 + 4*w - 4. Let x be k(-5). Let u be m(x). Is f greater than or equal to u?
True
Let n(w) = w**3 - 9*w**2 + 4*w - 43. Let u be n(9). Suppose 8 = q - 2*q. Is q smaller than u?
True
Let t = 8 + -7. Do -1/84 and t have the same value?
False
Let c be ((-10)/(-3))/((-14)/(-21)). Suppose -2*p + 0*p + a = 0, 0 = c*p + 2*a - 9. Is p > 8/5?
False
Suppose c - 4 = 5*c. Is c less than or equal to -1?
True
Suppose 0 = -5*l - 20 + 20. Which is smaller: -4/7 or l?
-4/7
Let f be ((-20346)/9)/(1 - -3). Let j = f - -567. Is j at least as big as 2?
False
Suppose -5*z - p = 73, -p + 0*p + 53 = -4*z. Do z and -14 have the same value?
True
Let u = 0.06 - -0.05. Let j = -0.11 + u. Are j and -2/7 equal?
False
Let t be (-1 + 1)*4/8. Suppose h + 15 = 3*h - 5*k, t = -4*h + 3*k + 9. Let o(y) = y - 4. Let a be o(4). Is a > h?
False
Let j be ((-193)/(-48) + -4)/((-3)/(-4)). Which is smaller: j or -1?
-1
Let h be 2/5 + (-34)/10. Let v be (-3)/(2/(2 - 0)). Is v at most h?
True
Suppose 2*y - 1 = -5*l - 0, -4*l - 4 = 0. Let h be 8*(1/(-2) - -1). Is h != y?
True
Let w(r) = r - 2. Let v(o) = -2*o + 3. Let h(m) = -4*v(m) - 7*w(m). Let a be h(-2). Which is smaller: -2/3 or a?
-2/3
Let n(y) = y**2 + 7*y + 8. Let a be n(-6). Suppose 4*i + a*u - 4 = 0, i + 3*i + 5*u = 16. Is i at most as big as 0.1?
True
Let v(a) = -a**2 - 13*a + 4. Let f be v(-13). Is f bigger than 2?
True
Suppose 0 = -r + 2*r - 1. Let p be (17 + r)*(-1)/(-2). Are p and 8 non-equal?
True
Let x be (-4)/(-16) + 2/8. Let z = -85 - -85.1. Which is smaller: z or x?
z
Let s(p) = -3*p**2 + 2. Let i be s(-2). Is i greater than or equal to -32/3?
True
Let b be (-2)/4 + (-2)/4. Let c be (b + 6/10)*-5. Suppose 3*j = -c*a + 12, 2 = 2*j - 6. Is 2/11 bigger than a?
True
Let f = 3 - -1. Suppose 0 = 3*d - f*i + 44, 8*d - 6*d - 4*i + 32 = 0. Let z be (d/(-63))/((-6)/(-7)). Do 0 and z have different values?
True
Let y(g) = g - 6. Let n be y(9). Suppose -5*w = 2*h - w - 8, 5*h + 4*w - 20 = 0. Is h smaller than n?
False
Suppose 0 = r + 4*r + 5*g + 10, 3*g + 10 = -r. Is 7/5 at least r?
False
Suppose 0 = -n - n. Let u be (1 - n)/((-5)/(-25)). Suppose u*v = 5 - 0. Which is bigger: 0 or v?
v
Let b = -0.1 - -0.5. Let h = b + -7.4. Which is greater: h or -1?
-1
Suppose 0 = -4*d - 13 - 7, 3*d = 5*r + 35. Which is smaller: -9 or r?
r
Let h = -14 - -13. Let u be h + 0 + (4 - 2). Which is bigger: 2 or u?
2
Let a = 0.03 + 0.03. Let t = a + 0.04. Which is greater: t or 4/5?
4/5
Let h be ((-1)/6)/(2/10). Let d be (-2)/((-3)/48*2). Let g = 16 - d. Is g > h?
True
Let d be 2/4*-2 + 4. Suppose 6 = d*v + 2*g, -2*v + g = 4*g - 4. Which is bigger: -1 or v?
v
Let k(n) = n**2 - n - 1. Let b be k(0). Let v(g) = 22*g. Let c be v(1). Let t = 89/4 - c. Is b greater than t?
False
Suppose 2*d = -3*j - 17, 6*d - 4*j = 4*d + 18. Let r be (-1)/4 + (-58)/(-8). Let g be 34/12 + (-21)/r. Which is smaller: g or d?
d
Let r be (5 + 1644/(-328))/1. Is 0 less than or equal to r?
False
Suppose -k - g = -0*g - 6, k = 3*g - 6. Let s be (-3)/(-1) + -4 + k. Which is greater: s or 3/4?
s
Let u(q) = q**3 - 3*q**2 - q + 3. Let y be u(3). Let v = y + 0. Which is greater: -1/9 or v?
v
Let b be (2 - 526/21)/30. Let m be ((-3)/(-189))/(1/(-2)). Let w = m + b. Is w at most as big as -1?
False
Let n(f) = -f**2 - 8*f + 4. Let x be n(-5). Is 19 less than or equal to x?
True
Let t = 965 + -6767/7. Is t at most -1?
True
Let c be 155/154 + -2 - -1. Which is smaller: c or 0?
0
Let j be 6/(-9)*9/(-2). Suppose 3*r + 6 - 21 = 0. Suppose 5*g + 14 = 2*y, 5*g + j*y + r = -24. Are g and -4 unequal?
False
Let h be (-20)/(-15) + -1 - (0 - -1). Let m be -11*(-2)/((-4)/(-106)). Let n = 12241/21 - m. Does n = h?
False
Suppose p = -5*k + 56, 6*p - 44 = -5*k + 2*p. Suppose 0 = -4*i - 5*w - 20 - k, -3*i - 3*w - 21 = 0. Is i != -5/3?
True
Suppose 8*j + 5 = 13. Let u(i) = -i - 1. Let y be u(-1). Let w(z) = -z + 2. Let m be w(y). Which is smaller: j or m?
j
Let m(l) = -l**3 + 6*l**2 + 7*l + 5. Let y be m(7). Are y and 5 nonequal?
False
Let p = -0.17 + -5.83. Is 0.2 > p?
True
Let h = -59/4 + 15. Which is bigger: h or -0.046?
h
Let t(y) = -2*y**2 + 2*y + 1. Let f be t(2). Is -1 > f?
True
Suppose 2*u = 3*u. Which is greater: u or -1/9?
u
Let d = 103303 + -724378/7. Let t = d - -180. Is 1 at most t?
False
Let c be (-3)/(-2)*(-12)/(-9). Is 3 less than c?
False
Let w(m) = 4*m - 2*m**2 + m**3 - 2 + m**2 - m**2 - 2*m**2. Let a be w(3). Which is smaller: a or -1?
-1
Suppose -2*v - 9 + 0 = -3*p, 5*p - 4*v - 17 = 0. Suppose 2*q = -1 + 3. Let f = p - q. Which is smaller: f or 2/9?
f
Suppose -5*y = -2*k + 30, -4*k = -3*k - 3*y - 17. Let r = -4 + k. Let n be 0/((r/1)/(-1)). Is n bigger than 0?
False
Suppose 8*l - 3*l = 4*p - 6, -2*p - 4 