s smaller: 0 or y?
0
Let r be ((-1)/13*-2)/2. Which is bigger: -1 or r?
r
Let n = 29 + -30. Is 11 greater than n?
True
Let z be 4/54*-3*-3. Which is greater: z or -1?
z
Let m(t) = t**2 + 6*t - 3. Let c(z) = -3*z**2 - 12*z + 5. Let x(j) = 2*c(j) + 5*m(j). Let r be x(4). Are 1 and r non-equal?
True
Let a = 7/2 - 45/14. Suppose 0 = 2*i - 7*i. Let u be i/(-1) + (-3)/(-6). Which is bigger: a or u?
u
Suppose 4*p = -m - 8 + 4, -m - 12 = -4*p. Is m equal to -4?
False
Let w = 45 + -81. Let h = w - -181/5. Which is smaller: h or -1?
-1
Let z = -3 - -2. Let b be 1/2 - 195/270. Which is smaller: b or z?
z
Let w(t) = t**2 + t - 21. Let u be w(-5). Is u > 3?
False
Let o = 6604/10537 + 106/771. Let l = o - 4/41. Is 2 > l?
True
Let b(k) be the third derivative of -k**6/120 - k**5/12 + 3*k**4/8 + 3*k**3/2 + 4*k**2. Let r be b(-6). Let f = -13 - r. Is f not equal to -3?
True
Let r be -1 + 38*(-3)/(-12). Let m = 26/3 - r. Which is greater: m or 1?
1
Suppose 4*b - 6 = 2, -3*w = 5*b - 34. Suppose -m - 3*m = -w. Suppose 15 = -m*k - 5*a, -2*k - a = -3*k + 3. Are 1 and k equal?
False
Let t be (-4 - -5)*3/(-1). Let g(i) = i. Let n be g(-2). Is t <= n?
True
Let g = -9.2 + 10. Let y = g - 1.4. Let h = 0.8 + y. Is 2/9 at most h?
False
Suppose 4*g + 0*l + 3*l = 9, 3*g + l - 8 = 0. Suppose 3*p = 2*s + 15, -g*p = -3*s - 12 - 6. Which is smaller: -6 or s?
-6
Suppose 4*r = -q - 0*q + 15, -5*q - 1 = r. Let x = -2 + r. Let n be -3*(2/3)/(-2). Is x < n?
False
Let n(d) = -d**2 + 11*d - 9. Let s be n(10). Which is bigger: s or -2/41?
s
Let p be (72/(-54))/(4/(-66)). Which is smaller: 23 or p?
p
Suppose 0 = 5*p - 5*c - 5, 4*p - 5*c + 4 = 10. Which is smaller: p or -2/11?
p
Suppose 0 = 3*o - 1 - 2. Which is bigger: 1/22 or o?
o
Let r(v) = v**2 - v - 17. Let j be r(5). Is 2 equal to j?
False
Let a(d) = 3*d**3 + 1. Let w be (-2 + 0)*5/(-10). Let k be a(w). Suppose -o = 2 - 5. Is k less than o?
False
Let b be 1 - ((-4030)/28)/(-5). Let h = b + 200/7. Let a = h + -1/2. Which is bigger: -2/5 or a?
a
Let m = -9 - -31. Which is greater: m or 21?
m
Let m(i) = -i**2 + 5*i - 2. Let l be m(3). Let f = 2 - l. Let u be (-13)/(-11) + f/11. Is u at most as big as 0?
False
Let n(p) = p**2 - 4*p - 4. Let f be n(5). Let t = 161975 - 10203871/63. Let v = t + -60/7. Is v at least as big as f?
False
Let h = -0.06 + 0.66. Let j = 0.2 + -0.6. Let y = h + j. Is 2/5 >= y?
True
Let c be (-1)/10 - (-14)/(-35). Which is smaller: -3 or c?
-3
Let g be 148/5 - (-11 - -17). Is g at least 25?
False
Let s be (52/91)/((-4)/(-14)). Which is greater: s or 11/5?
11/5
Suppose 5*y = -l + 14, 2*y - 2*l = -2*y. Suppose 0 = -y*n + 4*h - 18, n - 3*h = 2*n - 16. Let c be (1 + 0 + -1)*1. Which is smaller: n or c?
c
Let w(u) = u - 3. Let z be w(6). Suppose 2*y - z = 2*g + y, -3*g + 4*y = 17. Suppose -2 - g = d - c, -3*c + 9 = -d. Which is smaller: d or -2/5?
-2/5
Let h = -41 - -48. Is 4 at least as big as h?
False
Let t be ((-2)/(-4))/(4/(-8)). Let l be (-4)/14 + 0 - 0. Which is greater: t or l?
l
Let t(j) = -j**2 - 12*j - 11. Let h(m) = 2*m + 1. Let n be h(-6). Let k be t(n). Let g be 1 + (-5)/2 + 1. Do g and k have the same value?
False
Let j(d) = -3*d. Let q be j(0). Which is greater: q or -15?
q
Let q = 4/79 + -123/869. Which is smaller: 1 or q?
q
Let o be 3/12*0*-1. Does -1/23 = o?
False
Let p = -6 - -13. Let y be (-80)/14 + (-2)/p. Is y at most as big as -1?
True
Suppose -3*z + 288 + 1241 = -5*a, 3*z - 921 = 3*a. Let d be 41/(-7)*26*2. Let x = a - d. Which is smaller: 0 or x?
0
Let j = 116 - 115. Is j > -2/343?
True
Let q = 18.12 - 18. Let h = q + -8.12. Which is greater: h or 2?
2
Let i be (-1)/(-4) - (-374)/(-280). Let p = -2/7 - i. Which is smaller: p or 0.1?
0.1
Let g = -4.3 - -3.99. Let x = g - -0.01. Which is smaller: 2 or x?
x
Suppose 0 = -4*p - 87 + 27. Which is smaller: p or -4?
p
Suppose -s - s + 2 = 4*b, -4*b + 4*s = -8. Is -1/13 bigger than b?
False
Let s be 18/(-28) - (-11)/22. Let w be (-6)/(-7*10/3). Let c = s - w. Is c bigger than 1?
False
Let a = 3 + -2. Let b = -27/13 - -163/91. Which is bigger: a or b?
a
Suppose 0 = -4*d + 3*d + 2. Let b be d + (-3)/(30/22). Is b != 1?
True
Let s(i) = i + 12. Let y be s(19). Is 30 less than y?
True
Let j be (24/(-27))/((-4)/(-6)). Let n = 23/15 + j. Let p be 2*1 - 5/5. Which is smaller: p or n?
n
Suppose 70 = 4*v - 50. Which is smaller: v or 0.1?
0.1
Suppose -k = -3*k - q + 1, -3*q = -4*k - 3. Which is greater: k or -3?
k
Let f = -3.9 - -2.8. Let d = -1 - f. Let o = -0.9 - d. Is o >= 0?
False
Let s(z) = 4 - 3 + 4 + z**2 + z**3. Let n be s(0). Suppose -4*g = n*f - 13, -2 = -2*g - 0*g + 2*f. Which is smaller: 0.1 or g?
0.1
Let w be (-4)/(-18) + 1/(-15). Let g = 1/15 + w. Which is bigger: -1 or g?
g
Let w(p) = -p**2 - 4*p + 4. Let d be w(-4). Suppose d*o = 2*o. Let l be o/(-3) - (1 - 1). Is -4 bigger than l?
False
Suppose -u - 23 = -n, 0*u + 5*n + 47 = -u. Let l be (12/u)/((-46)/3). Which is bigger: 1 or l?
1
Let f be 78/9 - 2/(-6). Let v(l) = -l**3 + 9*l**2 + l - 5. Let c be v(f). Are c and 4 unequal?
False
Let a be (-6)/4 - (-3)/6. Let s = -2 - a. Suppose -3*v = -6*v. Do s and v have different values?
True
Let p = 2/571 + 3400/7423. Let j be -2 - 1/(104/(-230)). Let a = p - j. Do 1 and a have different values?
True
Suppose 3*a = -3*t - 30, 4*t + 2*a - a = -40. Let k = t + 15. Suppose 0*n = 5*n - k. Which is smaller: n or -1/6?
-1/6
Let u be (3/(-30))/(6/4). Let w = 10 + -11. Which is smaller: u or w?
w
Let h = 0.23 + 0.21. Let d = -0.06 - h. Is d not equal to 0?
True
Let n be ((-21)/(-14))/(6/16). Let o(v) = v**2 - 4*v - 1. Let a be o(5). Suppose -l + 2*l + 4*y = -a, 4*y = 3*l - n. Is -1 less than or equal to l?
True
Let j(v) = -2*v - 28. Let p be j(-16). Which is smaller: 2 or p?
2
Let r(w) = 2*w**2 - 4*w + 3. Let p be r(2). Suppose p*s = 0, 2*b + 4*s - 2 = -0. Let i = -6 + 7. Are i and b unequal?
False
Let k(i) = -i**2 + 2. Let q be k(2). Which is greater: q or -4?
q
Let h be (-1)/8*(-3 - 5). Which is greater: h or 1/6?
h
Suppose -4*n = 2*x - 3*x - 13, -3*x - 19 = -2*n. Suppose -2 = 3*t - 4*q, 1 = -3*q - n. Which is smaller: -1 or t?
t
Let i(m) = -5*m**3 + 2*m**2 - 2*m. Let p(u) = 4*u**3 - u**2 + 2*u - 1. Let t(d) = 5*i(d) + 6*p(d). Let o be t(4). Is 4 > o?
True
Let l(s) = -s**2 + 3*s + 3. Let t be 4/(-6)*(-6)/1. Let k be l(t). Is k greater than or equal to -1?
True
Let o(y) = 6*y + 33. Let j be o(-6). Is -21/13 greater than j?
True
Let w be 0 + 6 + -1 + 2. Let i = w + -4. Suppose -6 = 3*z - 3*g, 2*g - 7 + i = 3*z. Which is smaller: 1/3 or z?
z
Let n be (-140)/112 - 10/8. Suppose 0 = 2*g - 0*g - 16. Suppose g - 2 = -2*w. Which is greater: w or n?
n
Suppose 3 = -4*k + c, 3*c + c = -k - 5. Let m = 2 - k. Suppose 0 = 2*s - m + 13. Is s at most as big as -5?
True
Let v = -5 - -14. Suppose 0 = -3*w + 2*m - 2 + v, 2*m = -4*w. Let t be 7/(-35) - 1/(-5). Is w at most as big as t?
False
Let g(j) = -7*j**3 - 3*j**2 + 2*j - 2. Let k(f) = -4*f**3 - 2*f**2 + f - 1. Let b(w) = 3*g(w) - 5*k(w). Let y be b(1). Which is smaller: -4/11 or y?
-4/11
Let b(i) = -i - 6. Let m be b(-5). Let u = -2 - m. Which is greater: -2 or u?
u
Let g(t) = t - 7. Let s be g(7). Let m be -5 + 8 - 17/4. Which is smaller: s or m?
m
Suppose m = -0*m + 2*v, -10 = 3*m - v. Let a = m - 1. Which is bigger: a or -3?
-3
Suppose 0*b - 2*b = -8. Which is greater: 1 or b?
b
Let n = 32421/25 + -1297. Which is greater: 1 or n?
1
Suppose 4*d + 5*m + 4 = -0*d, -4*d + 5*m - 4 = 0. Which is smaller: d or -2?
-2
Let w(s) = -s**2 - 10*s - 20. Let r be w(-8). Are r and 4 unequal?
True
Let m be 4/34 + (-2208)/9520. Is m smaller than 1?
True
Let y(g) = g**2 + 17*g - 47. Let q be y(-20). Is 6 less than or equal to q?
True
Let a = -6 + 45. Let v be (a/35)/(2/3). Let r = v - 6/35. Is 1 less than r?
True
Let j = 5.47 - 0.46. Let k = 0.01 - j. Let v = k - -4.9. Which is smaller: v or 0.2?
v
Let r = 52/23 + -1034/437. Which is smaller: r or 1?
r
Suppose 15 = 5*b, -r + 2*r + 2*b - 3 = 0. Let n be (3/r - 0)*-1. Let a(l) = l**3 + 4*l**2 - 6*l - 5. Let f be a(-5). Is f < n?
True
Suppose -s - 2*s = 0. Let j(b) = -b**3 - b + 1. Let n be j(0). Which is greater: s or n?
n
Suppose 2*l - 1 = -x, -4*l + 3*x + x + 8 = 0. Is l greater than 1?
False
Suppose -12 = x - p + 5*p, -6 = 5*x + 2*p. Let g be 3*(16/12 + -1). Is x <= g?
True
Let q(u) = u*