ual?
True
Let t = 6 + -14. Let i be t/6*(-21)/(-14). Which is greater: i or 0?
0
Let s = -84/11 + 555/77. Suppose 0 = -2*p + t - 3, 3*p - 3*t + 9 = -2*p. Is s greater than p?
False
Let b = -0.28 - 0.32. Is 1/3 at least b?
True
Suppose 3*p - 14 = 10. Let y be (6/60)/((-6)/p). Are y and 0 non-equal?
True
Let w be 2/5 + 7/(-5). Let k be (2 + 1 - 7) + 696/172. Are w and k equal?
False
Let q = -46 - -40. Is q bigger than -7?
True
Let o be (-39)/9 - (-2)/(-3). Let l = 3 + o. Let w = 2 + l. Is w greater than -2/3?
True
Let y = 103/3 - 34. Which is smaller: y or -1?
-1
Let q be 2/(-12) - (-894)/(-252). Let c = -24/7 - q. Let j = 6 - 12. Are c and j unequal?
True
Suppose 15 = 5*u + 2*t + 2*t, -2*u + t - 7 = 0. Is 2/11 at most as big as u?
False
Let t be 7/(-3) + 1/3. Let y = -41 + 40. Which is smaller: y or t?
t
Let l(c) = c**2 + 2*c - 5. Let k = -4 - -10. Let m = -10 + k. Let d be l(m). Which is smaller: 5/2 or d?
5/2
Let r = 3403/954030 - 2/2695. Let u = -206/177 - r. Let i = u - -5/6. Is i smaller than 1?
True
Let p = 5 + -2. Suppose 0*h + p*h = 0. Suppose -3*m - 9 = -h*m. Which is bigger: -2 or m?
-2
Let y(o) = -o**2 - 11*o - 17. Let s be y(-7). Let j = s + 0. Is j smaller than 12?
True
Let w = 0.23 - -7.77. Which is greater: -1 or w?
w
Let w be (28/2)/((-15)/(-15)). Let v be (3 - (-3 + w))/(-5). Is 3 bigger than v?
True
Let x be (39/(-81))/(5/(-26373)). Let i = x + -21854/9. Let y = i - 111. Do y and -1 have the same value?
False
Let x = -8/9 + 137/144. Which is smaller: 1 or x?
x
Let s = -5 + 1. Suppose -10 = -2*m - 0*m. Suppose 3*a - m*d = -4*d - 17, -23 = 3*a - 4*d. Are a and s non-equal?
True
Let x(c) = -c**2 + 10*c + 13. Let t be x(11). Suppose t*v + 2 = -3*p, -3*p + 5*p = 0. Which is smaller: -2 or v?
-2
Let h be 685/35 - 18/(-42). Is h bigger than 20?
False
Suppose -2*z = -33 + 3. Let p be -2*(2 + z/(-12)). Let f = -2 - p. Which is greater: 1/2 or f?
1/2
Suppose 5*n - 2 = -27. Let r(m) = -3*m + 50. Let x be r(17). Which is smaller: x or n?
n
Let h(q) = q + 2. Let o(j) = 6*j + 11. Let m(y) = 11*h(y) - 2*o(y). Let r be (2 - 2)/(-2) - -1. Let z be m(r). Is z <= -1?
True
Let j be 4*(0 - -2 - 1). Suppose -4*i - 18 = -2*p, -5*i - 7 = -p - j*i. Is 5 < p?
False
Let m be (-5)/(45/(-19)) + -2. Is 1 equal to m?
False
Let s = 145/3 + -51. Which is smaller: s or -2?
s
Let l = 573/10 + -58. Let o = l - -139/170. Let t = o - 27/85. Is 1 bigger than t?
True
Let u = -35 + 34. Are -1/6 and u equal?
False
Let z be 3/(15/(-5)) - 18/(-19). Is -1 != z?
True
Let y = 85 + -85. Is y bigger than 0.07?
False
Let a = -3.9 + 4. Let q = a + -1.1. Let j be ((-1)/3)/(4/6). Which is bigger: q or j?
j
Suppose -q + 5*q + 12 = 0. Suppose 0 = 5*z + 4*s - 8 + 48, -3*z - 5*s = 37. Which is smaller: z or q?
z
Let l be (3/12)/((-3)/(-2)). Let c(u) = -u**2 + 8*u. Let k(f) = -f**2 - 8*f + 1. Let a be k(-7). Let r be c(a). Is r less than or equal to l?
True
Let y = -4 + 2. Let l be ((-2)/16)/(y/28). Let f be 0 + 1 - (0 - 2). Which is greater: f or l?
f
Let k = 3 + -1. Suppose n - k = 2. Which is greater: n or 5?
5
Let i be 3*3/(18/38). Suppose -3*b + 2*t + 12 = -t, -i = 4*b + 3*t. Let w be b - (1 + (-1 - -1)). Which is smaller: -3 or w?
-3
Let s be -2*3/4 + 1. Is -1/15 < s?
False
Let o = -9 - -5. Suppose 3*w + 3*a - 5*a = 16, 0 = -5*w - 2*a. Suppose 4*m + 20 = 2*i, -w*m - 5 = -2*i - m. Do i and o have the same value?
False
Suppose -4*g + 7 = -2*q + 3, -2*q + 5*g = 3. Suppose -10 + 0 = 2*a. Which is smaller: q or a?
a
Let r = 13 + -40. Which is bigger: -77/3 or r?
-77/3
Let x(s) = s**2 - 4*s - 8. Let a be x(5). Do a and -4 have the same value?
False
Let s(k) = -k**3 - 5*k**2 - 5*k + 1. Let m be s(-5). Suppose 5*j + m = 1. Let p be (-6)/j - 3/15. Which is greater: p or 0?
p
Let n = 372/35 - 80/7. Which is smaller: -1 or n?
-1
Let t = -4 + 4. Let r be t*(0 + 3/(-6)). Let i = -17/133 + -3/19. Do i and r have the same value?
False
Let l = 8 - 14. Let h be 10/9 + 4/l. Suppose -12*v = -3*v. Which is greater: v or h?
h
Suppose 8*t - 3*t - 20 = 0. Suppose 0*n = 2*n + t. Which is bigger: n or 1?
1
Suppose 0 = -4*z + 4*b + 16, -z = -5*z + 5*b + 14. Let t(u) = -6 + 0 + u + 2 - z. Let y be t(10). Which is smaller: -3/4 or y?
-3/4
Suppose 0 = -2*n + 2*x + 8, -5*n + 14 = x - 12. Let d be (n/(-20))/(2/(-10)). Which is bigger: d or 0?
d
Suppose 9 = 4*i - 7*i. Let v = -2 - -9. Let j = 5 - v. Which is greater: i or j?
j
Let r(s) = 27*s**2 - s. Let g be r(-1). Is 26 > g?
False
Let b be (10/(-20))/((-1)/4). Suppose 6 = b*x, -x = -4*c - 0*x + 1. Which is bigger: 2/3 or c?
c
Suppose 0 = 3*c + g + 5, 4*c + g = -g - 10. Is -1/5 not equal to c?
True
Suppose 6*f = -7*f - 39. Which is bigger: f or -54/13?
f
Let b be 6/(-24) + (-7)/4. Let d be (1 + (-19)/5)/2. Which is bigger: d or b?
d
Suppose -u + 2*a + 10 = 2*u, -2*u + 7 = -a. Suppose 2*y + 2*c + 6 = -0*y, -u*y + 24 = -5*c. Which is smaller: -1/4 or y?
-1/4
Suppose -28 = -4*l - 12. Suppose 0 = 5*y - l - 16. Suppose -5*a = -y - 1. Which is greater: 2 or a?
2
Let h(j) = -j**3 + 5*j**2 - 3*j + 3. Let s be h(3). Which is smaller: 11 or s?
11
Let f = -0.2 + 0.2. Let p = 11.8 + -13. Let h = p - -0.2. Is h less than or equal to f?
True
Let q = -4 + 6. Suppose q*d - 3 = -1. Let z = d + -2. Which is greater: 3 or z?
3
Let m = -59 + 533/9. Suppose 0 = -j - 3*j. Let p = -1 + j. Is m > p?
True
Let w(j) = j**3 - 2*j**2 - 4*j + 2. Let o be w(3). Let i be 7/(-238)*(-1)/((-4)/8). Is o greater than or equal to i?
False
Let p = 0 - 1. Let l(q) = 3*q**2 + q + 1. Let d be l(p). Is 3 equal to d?
True
Let t = -2 - -3. Suppose 3*h + 5 = -5*k, 5*h - h = 5*k + 5. Which is bigger: t or h?
t
Suppose 5*j - 6*j = 5. Is -3 smaller than j?
False
Let k = -1 - -1. Suppose 2*x - 5 + 3 = k. Is x < 1?
False
Let r be (51/22 - 3) + 4/22. Which is smaller: r or 3.7?
r
Let l be (-1)/((-6)/(-9) - 1). Let y = l + -3. Which is greater: y or 2/5?
2/5
Let t = -7.05 + 7.3. Which is smaller: t or 0.2?
0.2
Let z = -49.02 + 0.02. Is z < -1?
True
Suppose a + 21 = -2*a. Let t = 2 + a. Which is smaller: -4 or t?
t
Let d be (4/(12/(-39)))/(-1). Let q(o) = -3*o - 9. Let k be q(-7). Which is greater: d or k?
d
Let m(l) = l**3 + 8*l**2 - 9*l - 2. Let t be m(-9). Let f = -5 - -5. Let k be 11/(-4) - (t + f). Which is greater: -1/3 or k?
-1/3
Let h be ((-1)/12)/((-24)/(-64)). Let c(j) = j**2 + 3*j + 1. Let r = 1 + -3. Let s be c(r). Is h at least s?
True
Let v(z) = z - 1. Let n be v(1). Suppose n = -4*h - 0*h. Suppose 0 = -3*l + k + 5, 3*l = -4*k + 2*k - 10. Is l <= h?
True
Let m = -65 + 65. Is 3/2 at least as big as m?
True
Suppose 2*i - 3*i = -2. Let p = 4 - i. Let k be (-14)/(-35) + (-16)/(-10). Are k and p unequal?
False
Let o be (-1)/(-8) + (214/48 - 4). Which is greater: o or 2?
2
Let i = -10 + 18. Suppose -i = 2*h + 2*h. Let b be 3/h + (-75)/(-42). Is 0 < b?
True
Let u = 232/5 + -46. Which is greater: 10 or u?
10
Suppose 2*d + 105 = -3. Let y = d + 269/5. Which is smaller: -1 or y?
-1
Let v = 2 - 2. Let t = -0.2 - -2.2. Let j = t + -3. Which is smaller: j or v?
j
Let y be ((-3)/(-4))/((-2)/(-24)). Suppose -5*q - 4*j = -y, 2 = -0*j + 2*j. Suppose 0 = 6*w - 10*w. Is w greater than or equal to q?
False
Let f be ((-3)/(-2))/(9/12). Let u be (-1)/(2 - 1 - f). Suppose 4*h - 5 = -1. Is h not equal to u?
False
Let q(h) = -h**2 - 10*h + 12. Let p be q(-11). Which is bigger: 13 or p?
13
Let p be ((-132)/48)/(1/4). Is -11 equal to p?
True
Let x = 1/50 + 2/25. Which is bigger: x or 1?
1
Let o be (-6)/(-4)*2/(-1). Let u be o + 1 + (0 - -1). Let n be 2/18*(4 - 1). Is u at most as big as n?
True
Suppose -2*u = -0*u + 4*g - 12, 0 = 2*u + 2*g - 6. Suppose d - 2*x = -3*x + 3, -x = 2*d - 6. Suppose t = -d + 4. Is t less than u?
False
Let q be 1/(-2)*8/(-18). Suppose -5*g = -40 - 5. Let z be 1 - (g/(-3))/(-3). Is q less than or equal to z?
False
Let r be 0*(0 - -1) + 0. Let z = 1 - r. Let n = 502 + -508. Is z greater than or equal to n?
True
Suppose -2*h + h + 14 = 0. Suppose 4*x - h = 5*p, -3*x - 2*p + 6*p = -11. Let l be -1*(0 - (1 - 2)). Is l bigger than x?
False
Let r = 4 + -4. Let k be 19/7 + 0 - 3. Which is smaller: k or r?
k
Let h(y) = -y**3 + 2*y**2 + y + 6. Let a be h(3). Suppose -3*q - 2*q + 20 = a. Let m = -1 + 5. Is q <= m?
True
Let s = -0.12 - -9.12. Let r = s - 11. Which is bigger: r or -1/6?
-1/6
Suppose 0 = -