 Let q = -135123/5320 + n. Let g = -25 - q. Which is smaller: g or -1?
-1
Let h = -1384/77 - 16/11. Let c = -1210/63 - h. Is c != -1?
True
Suppose -3*x + 0 - 11 = -m, 5*x = -15. Let z = 4 + -3. Which is bigger: m or z?
m
Let l(t) = t**3 - 20*t**2 + 37*t - 16. Let i be l(18). Suppose -5*r - 6 = -2*r. Let v = r - -4. Are i and v non-equal?
False
Suppose -5*a = -10*a. Let d(z) = z**3 + z**2 + z - 2. Let r be d(a). Which is smaller: r or -6/5?
r
Suppose 2*u + 5*v - 2 = 3*u, 2*u = 4*v - 4. Let p = 1 + u. Which is smaller: -2/9 or p?
p
Let v be (-1 + 0)/2*2. Let u be 10/(1/3 + 0) + 3. Let q be (1/u*3)/v. Which is smaller: -1 or q?
-1
Suppose 0*u - 3*u = 15, -4*t + 5*u = -25. Let n = 0 + t. Is n at least -1?
True
Let v(a) = a**3 - a**2 - 4*a - 2. Let d be v(4). Suppose 8*f = 3*f + d. Suppose j - 5*j + 24 = 0. Is j smaller than f?
False
Let r(v) = v + 4. Let n(k) = -k**2 + k. Let g(a) = 6*a**2 - 13*a + 6. Let u(y) = g(y) + 5*n(y). Let t be u(6). Let s be r(t). Is s less than -1?
True
Let q = -234/17 + 14. Which is smaller: -2/3 or q?
-2/3
Let i(g) = -g**3 - 9*g**2 - 7*g + 1. Let b(l) = -l**2 + l + 4. Let q be b(4). Let r be i(q). Let u(c) = 2*c**2 - 8. Let o be u(0). Is r >= o?
True
Let p = -0.003 - 0.207. Let t = p + 0.11. Which is smaller: 6 or t?
t
Suppose 2*f - 4 = 3*k, f + 5 = 4*f - 4*k. Do f and 0.18 have the same value?
False
Let k = 2 - 1.9. Let m = -12 - -14. Let o be m/(-3)*(-3)/(-4). Are o and k unequal?
True
Let p be (-56)/(-10) - 2/(-5). Suppose -p*h = -5*h - 1. Do h and 2 have the same value?
False
Let o = -5 - -3. Let k(d) = -2*d - 3. Let t be k(o). Suppose 5 = 2*n - t. Is 2 less than or equal to n?
True
Let z = -1/2329 - -603216/11645. Let l = 52 - z. Which is bigger: l or -1?
l
Let b = -37/36 - 13/18. Let y = b - -71/36. Which is bigger: y or 1/4?
1/4
Suppose 4*k - 4 = -0. Suppose -1 - 3 = 2*d. Let r be (-1 + k)/(2/d). Which is smaller: r or -0.3?
-0.3
Let g be ((-9)/(-6))/((-9)/(-120)). Let a = 16 - g. Which is greater: 1 or a?
1
Let m = 11 + -11. Is m smaller than -22?
False
Let l = -159/4 - -40. Suppose 5*q - 26 = -4*w, 2*w = 2*q - 2*w - 16. Let o = q - 5. Is l at most as big as o?
True
Let y = 0 - 1. Let z = 0.2 - 0.07. Let w = 0.63 - z. Which is bigger: y or w?
w
Let v be 10/55 - (-4)/(-22). Suppose 0*u - 4*u + 4 = 0. Let n = 0 - u. Is v > n?
True
Let d(l) = 2*l**3 - l**2 - l - 1. Let o be d(-1). Let i(h) = -h**2 + 5*h + 4. Let n be i(6). Is n greater than or equal to o?
True
Let x = -3 + 4. Let c be (8/20)/(4/((-60)/27)). Which is smaller: x or c?
c
Let a(t) = -t**3 + 7*t**2 - 5*t - 4. Let m = 17 + -12. Suppose 1 + m = k. Let l be a(k). Is l != -1?
True
Let a(d) = 18*d + 2 - 2 - 17*d. Let f be a(-3). Is f less than -3?
False
Let b = 4 + -8. Let l be (-45)/(-10)*8/(-18). Which is smaller: b or l?
b
Let r be ((-3)/2)/((14 + -2)*1). Which is smaller: r or 0?
r
Suppose l - 3*l = -16. Suppose 4*a = 5*s + 32, -2*s = -0*a - 4*a + l. Let h(c) = -c**2 - 9*c - 9. Let d be h(s). Is d equal to -1?
True
Let u be 15/10*4/6. Let j(b) = 3*b**2 - b + 1. Let w be j(u). Which is smaller: 2 or w?
2
Let f = -57.1 + 62. Let z = f - 5. Is -2/7 greater than or equal to z?
False
Suppose 2*p = -3*m - 43, -21 = 3*m - 2*p + 26. Let x = -23 - m. Let u be (-6)/(-15)*(-10)/x. Is u <= 1?
True
Suppose 5*b - 2*v - 9 = 0, 4*b - v - 5 = 4. Let o be 2/b + 10/(-15). Which is bigger: 1/2 or o?
1/2
Suppose -2*c = -4*l, c + 4*l = l - 15. Which is smaller: c or -5?
c
Let c(y) = y**2 - 5*y - 4. Suppose -w = w. Suppose w = -s + 3*a - 6, -4*a + 40 = 4*s - 0*a. Let d be c(s). Which is bigger: d or 3?
3
Suppose -3*g + 2*d - 8 = 0, -3*g - 2*g + d - 4 = 0. Let y = -1 + g. Is y smaller than -2/3?
True
Let c be -4*(-3 - 15/(-4)). Let m = 8 - c. Let d = m + -10. Which is greater: d or 2/7?
d
Let w = -10 + 10.6. Let l = 0.6 - w. Is l <= -1/3?
False
Let r be 8/(-4) - (-8 - 0). Let z = 12 - r. Let d be (0 + 0)/(z/3). Is 3/7 greater than or equal to d?
True
Let g = -4/17 + 25/34. Is 2 < g?
False
Let w(h) = 2*h**3 + 5*h**2 + 7*h + 22. Let j be w(-3). Let o(u) = u**2 - 6*u - 8. Let m be o(6). Is m bigger than j?
False
Let y be (0/(-1))/(3 + -1). Let g be 416/204 + y - 2. Is g greater than -0.1?
True
Let z = 2125 - 29635/14. Let p = z + 121/7. Let t = p + -25. Does 2 = t?
False
Let h = 12.9 + 4.1. Let g = -17 + h. Which is greater: g or 2/7?
2/7
Suppose -4*r - 9 = -3*j, 2 + 10 = r + 4*j. Is r != 2?
True
Let b(w) = w**3 + 3*w**2 - 3*w + 4. Let k be b(-4). Let a = -26 - -23. Which is bigger: k or a?
k
Let x(u) = -7*u**3 - 13*u**2 + 6*u - 17. Let k(f) = f**3 + f**2 + 1. Let p(g) = -6*k(g) - x(g). Let y be p(-8). Which is greater: -1 or y?
-1
Let g(i) = -i**3 + 4*i + 3. Suppose 0 = -p - p + 5*m + 1, 9 = -3*p - 3*m. Let s be g(p). Suppose 4*j - 8 = 0, 4*o + j = -5 + s. Which is greater: 2/5 or o?
2/5
Let r = 70 + -1208/17. Are r and 0 nonequal?
True
Let f = -5 - 13. Let m = f - -143/8. Which is greater: m or -1?
m
Let m be (96/(-616))/(4/(-14)). Is -2/5 less than m?
True
Let h be (-2)/(-5)*(-1)/(-2). Suppose 4*k = 2*k + 6. Let u = 2 - k. Which is greater: u or h?
h
Let m = -4 + 4. Do m and 3/7 have different values?
True
Let m = -409.99 + 416. Let s = 6 - m. Is 2 smaller than s?
False
Let c be (-2)/5 - 2/((-360)/52). Which is greater: c or -3?
c
Let g = 33 + -167/5. Let z = 0.7 + -0.64. Let n = z + 0.04. Do g and n have the same value?
False
Let f(h) = 2*h + 11. Let v be f(-6). Suppose 0 = 4*q + 6 - 22. Let p be -1*(q + 1*-2). Is p <= v?
True
Suppose -2*x - 18 = -5*x. Suppose -a - 2*a + x = 0. Is 1 smaller than a?
True
Let b(u) = u. Let y(l) = 2*l - 2. Let q be y(5). Let s be b(q). Let w = s + -6. Which is bigger: 1 or w?
w
Let h(u) = 2*u - 12. Let d be h(9). Let b(w) = -2*w + 14. Let r be b(d). Let k(p) = 2*p**2 - 2*p - 2. Let g be k(2). Is g > r?
False
Let g = -10 - -6. Is g bigger than 2?
False
Let h be -3 + 2 + 34/17. Let l be 18/15 - 4/10. Is h greater than or equal to l?
True
Let z = 11 - 5. Let y(k) = -k**3 + 5*k**2 + 5*k + 8. Let l be y(z). Which is bigger: 4 or l?
4
Let z(i) = i + 4. Let v be z(-2). Is v greater than 1/2?
True
Let a = -2/749 + -1460/14231. Which is smaller: a or 1?
a
Let v be 4/(-2) + (-12)/(-8). Let a = 47 - 48. Which is bigger: v or a?
v
Let p = -11 + 7. Let l = -1.4 - 3.6. Let o = l - p. Are 1 and o nonequal?
True
Let p be 39*-2*(-1)/(-6). Let t be p/(-10) - 1/(-5). Which is smaller: t or 3?
t
Let m be 2/5 - (6 + -5). Let x = 12 + -8. Suppose -5*b - 6 - x = 0. Is m < b?
False
Suppose -2*q + 0*q = -5*r + 6, 3*r = 6. Suppose -4 + 0 = q*m. Which is smaller: 0 or m?
m
Let k be (4/(-5))/((-4)/(-10)). Which is smaller: -0.01 or k?
k
Let j be (-5 - -2) + 1 + -1497. Let g = 13421/9 + j. Let v = g + 344/45. Which is smaller: v or 0?
v
Let d be (-3)/(-4)*(-1)/(-3). Suppose -4*r - 3*l - 1 = 0, -r = -0*r - 5*l - 17. Suppose -o = r*o. Is d greater than o?
True
Let f be (-4)/34 - 84/153. Are 6/5 and f non-equal?
True
Let h be 2/9 - (-25)/9. Let o = 6 - h. Which is greater: 4 or o?
4
Suppose 0 = 3*t + 68 + 25. Which is greater: -1 or t?
-1
Let l be -2 - (3 + -3 + -3). Which is smaller: l or -0.4?
-0.4
Let u(x) = 6*x + 24. Let l be u(-7). Which is greater: l or -16?
-16
Let r = -29 + 28.2. Which is greater: -4 or r?
r
Suppose 0 = 3*r + 5 - 17. Let h be (r + 0)*(-2)/12. Which is smaller: h or 1/4?
h
Let d(g) = 2*g - 6. Let f be d(5). Suppose -2 + f = 2*j. Let l = 0.1 + -0.1. Is j at most l?
False
Let y be (-14)/(-63) + (-100)/126. Is 0 less than y?
False
Let a = 1.4 - -1.6. Which is smaller: a or 1/3?
1/3
Let l be (-3 + 5)*4 - 3. Suppose l*q - 32 - 3 = 0. Is q at least 7?
True
Let v be (-1)/9*(-4 + (-21)/(-7)). Let k = -1 - 0. Is k less than or equal to v?
True
Suppose -4*k + 27 - 11 = 0. Suppose 30 = t + k*t. Let w be (-117)/(-42) + t/(-2). Which is bigger: w or 0?
0
Let a be 3 - (7 - (-3 + 6)). Let r = -0.3 - -0.3. Let o = 0 - r. Is a != o?
True
Suppose b + 99 = -2*b. Is b bigger than -33?
False
Suppose -k = 3*n - 3*k - 205, 4*k = 16. Let v be 8/36 - n/(-45). Which is greater: 3 or v?
3
Let w = 6/19 - -1/57. Which is smaller: 2/11 or w?
2/11
Let r = -13 + 4. Let w be (-1374)/270 - 2/r. Let n = -21/5 - w. Which is bigger: -1 or n?
n
Let l = 16.35 - 0.35. Let j = l - 18. Which is smaller: j or -0.2?
j
Let o = -23 + 13. Is -1 at least o?
True
Let m = -13943/111 + 377/3. Let q