-12)). Which is bigger: c or s?
s
Let r be (-2 - -2) + (-6)/(-3). Suppose -4*w = a - 5*a + 8, -5*a = -3*w - r. Let h be (-176)/(-468) + a/9. Is -1 bigger than h?
False
Suppose 5*b = b + 24. Let p = b + -6. Suppose -2*h = -p*h + 2. Which is smaller: 0 or h?
h
Let i(p) = -1. Let u(g) = -g + 1. Let l(t) = -2*i(t) - u(t). Let q be l(0). Let b be (1/(-4))/((-5)/(-4)). Are q and b non-equal?
True
Let y be 33/12 + (-8)/(-2) + -7. Is -19 at most y?
True
Let o = 13026 + -547121/42. Let p = 5/6 + o. Suppose 7*l = l. Are l and p equal?
False
Let l = -20/9 + 122/63. Is 2/5 > l?
True
Suppose -2*z - 5*l = -2*l - 415, 4*z = 5*l + 775. Let h = 2598/13 - z. Suppose 5*m - 7 = -2. Which is greater: h or m?
m
Let p(i) = i**2 + 5*i - 21. Let x be p(-8). Which is bigger: 8 or x?
8
Suppose y + 13 = 5*u, -20 = -u - 4*u. Suppose 4*b - 5 - y = 0. Suppose 3*g = 5*x + 15, -g + b*g - 10 = 4*x. Which is greater: x or 1/9?
1/9
Let j be -1*(-2)/(-5)*30. Let k be (-4)/6*j/64. Is k greater than or equal to 2?
False
Let t(h) = -2*h + 1. Let v be t(1). Suppose 16 + 11 = -g. Let w be 2/(-9) - (-21)/g. Is w at least as big as v?
True
Suppose 12*o = 17*o - 5. Let j be 0 - ((-4)/(-6))/(-2). Is o less than j?
False
Let a = -3.06 - -0.06. Let h = -2.9 - a. Let l = -2 + 3. Which is smaller: l or h?
h
Let q be ((-3)/4)/(11/(55/15)). Is 0 equal to q?
False
Let r(h) = -h**2 + 8*h + 11. Let g = 8 - -1. Let w be r(g). Which is smaller: -1 or w?
-1
Suppose -4*o - 1 = -13. Let t be o/(-15) - (-1)/5. Let a = 71 + -353/5. Which is smaller: t or a?
t
Let s = 0.1 + 1.4. Let g = s - -0.5. Is -1 greater than or equal to g?
False
Let i be (-6)/(-3)*(-1 - 1). Let r be (-4)/i*1 + 0. Which is smaller: 2/15 or r?
2/15
Let y(s) = 5*s**2 - s. Let i be y(1). Suppose 3*g - 9 = -2*v, i*v = 4*g - 9 - 3. Are v and 1 unequal?
True
Let c = 259/1598 + -9/47. Which is bigger: 1 or c?
1
Suppose 25 = 4*a + a. Suppose -2*l + 31 = a*k, l + l = k + 1. Which is greater: 1 or l?
l
Suppose -2*u = 6*j - 2*j + 56, 0 = 4*j + 12. Let b be (3/u)/(9/(-12)). Let y(h) = -h - 6. Let k be y(-6). Which is smaller: k or b?
k
Let v = 167/270 - 1/54. Which is smaller: -2/3 or v?
-2/3
Suppose a + 5 = 5*m - 7, 0 = 4*a - 5*m + 18. Let u be (-6)/(-14)*a/(-3). Let h = 0 + -3. Which is bigger: u or h?
u
Let v be (2 + -6)/(1/(-1)). Let c(x) = -x - 1. Let b(l) = l**2 - 6*l - 9. Let h(g) = b(g) - 3*c(g). Let r be h(5). Is v >= r?
True
Let i = -41/21 - -3683/1890. Let n = 742/135 - i. Suppose 0 = -j - 3*v - 5, -v + 5*v + 51 = 5*j. Is j > n?
True
Let i be (-3)/(-6)*4/2. Suppose -5*t - 20 = 5*g, t - g - 4*g - 20 = 0. Let a = 1 + t. Is a not equal to i?
False
Suppose z + c = -4*z - 65, -4*c = -5*z - 40. Let f be ((-6)/z)/((-1)/6). Let x be (f/5)/((-32)/20). Do x and 0 have the same value?
False
Let l = -0.8 + 1. Let b(f) = -f - 9. Let y be b(-8). Which is smaller: y or l?
y
Let z = 6 + -6.04. Let a = -1.96 + z. Which is smaller: a or -2/3?
a
Let b be -2*(-15)/(-10) + (6 - 2). Let m be -1 + 0 - (-5)/7. Is m bigger than b?
False
Let f = -2.3 - -4.3. Which is smaller: 2/3 or f?
2/3
Suppose -41 = -5*b - 0*t + 2*t, 3*t = -5*b + 51. Which is smaller: b or 8?
8
Let x = -11 - -11. Which is smaller: 6/13 or x?
x
Let a = -4 - -10. Let r be a/(-2*(-2)/(-8)). Let x be (26/r - -2)*-1. Which is greater: -1 or x?
x
Let a = -3 + 2. Let i(f) = -f**2 + 10*f + 14. Let l be i(11). Which is bigger: a or l?
l
Let c be (14/(-175))/(3/5). Suppose 0 = 2*p + 5*m + 27, -6 = p + 3*m + 10. Is p at most as big as c?
True
Let r = -29 - -35. Is 9 at least r?
True
Let v = 1.32 - 0.22. Let g = -0.86 - 0.14. Which is smaller: g or v?
g
Suppose -1 - 2 = p. Let w = p - -7/3. Which is bigger: w or -0.17?
-0.17
Let c = -163/3 + 245/3. Let h = -254/9 + c. Is h greater than -2?
True
Let c = 0.41 + -0.24. Let w = c + 7.83. Which is smaller: 2/3 or w?
2/3
Let s = -0.16 - -30.16. Which is bigger: 1 or s?
s
Let c be (20/(-8))/((-3)/24*-4). Which is bigger: -2 or c?
-2
Let d = 427/5 - 86. Let c = 11063/8805 + 6/587. Let y = d + c. Which is greater: -0.2 or y?
y
Suppose j - 35 = -b, -b + 1 = -2. Which is bigger: j or 33?
33
Let j = -8 - -8. Let c = -599/5 - -119. Is j equal to c?
False
Let f = -16 - -23. Let g = 0 - f. Which is bigger: g or -1?
-1
Let s = -18 - -6. Let l = 6 + s. Let z = 3 + l. Is -1 equal to z?
False
Suppose -3*z - 15 = y, 3*y - 3*z = 18 - 3. Suppose -4*f + 9*f = 0. Let q be (1 - f) + 4 + -4. Which is greater: q or y?
q
Let m(l) = l + 5. Let r be m(-9). Let n be 42/(-310) - r/20. Which is smaller: 1 or n?
n
Let h = -25 + 24.9. Which is smaller: -5 or h?
-5
Let s = 0.07 - 0.2. Let r = 0.07 - s. Is 0.2 >= r?
True
Let a = -1349/7 - -193. Which is smaller: a or -7/2?
-7/2
Let y = 3.1 + -1.1. Which is smaller: y or 0.2?
0.2
Let l(j) = -j**2 - 3*j - 2. Let c be (16/(-10))/((-2)/5). Let y be c*((-5)/(-2))/(-5). Let z be l(y). Which is smaller: 2/25 or z?
z
Let f = 1039/7 - 148. Let w(p) = p + 8. Let v be w(-9). Is f > v?
True
Let r = -2 - -4. Let m(u) = 0*u**3 + 6*u + u**3 - 1 + 3*u**r + 4*u**2. Let x be m(-6). Is x at most -1/3?
True
Let k(x) = -x**2 + 5. Let a be k(0). Let z be 2/a + 252/(-805). Is 0 at most as big as z?
True
Let m(g) = -g + 1. Suppose o = 3*c - 28, 3*o - 61 = -4*c - 2. Suppose -h - 2*s = -c, -7*h = -3*h - s - 26. Let i be m(h). Which is bigger: i or -7?
i
Suppose 0 = 2*n - 5*n. Suppose -5*i - 2 - 13 = n. Let x(z) = z**3 - z**2 + z + 1. Let k be x(0). Which is smaller: k or i?
i
Let z(a) = -a - 7. Let q be z(-4). Let j be ((-10)/8)/((-6)/(-24)). Which is greater: j or q?
q
Suppose 0*f = -3*f + 3. Which is smaller: -6/19 or f?
-6/19
Let g(o) = -2*o - 11. Let l be g(-8). Suppose i = 3*i - 5*d + 13, -i - 14 = -l*d. Let w be 2 + (i + -2)*1. Is 2/5 greater than or equal to w?
False
Let i(w) = w**2 - 5*w - 10. Let n(o) = -2*o**2 + 11*o + 21. Let y(a) = -11*i(a) - 6*n(a). Let l be y(12). Is l > -4?
False
Let i be 16/(-480) + -2*3/36. Which is bigger: 0.049 or i?
0.049
Let v(m) = -m**2 + m. Let l be v(0). Suppose 4*n - 4 = -0*n. Let y = l + n. Do y and -1/4 have the same value?
False
Let i = -52 - -52. Which is greater: -9 or i?
i
Suppose 4*x - 10 = 2*x. Let d(s) = -s**2 + 4*s + 5. Let f be d(x). Let i(t) = -t**2 - t + 7. Let o be i(-3). Is o less than f?
False
Suppose 10 = -2*q - 3*q, 4*q = 4*i - 8. Suppose 0*z - z = i. Let c = -44 + 218/5. Which is smaller: c or z?
c
Suppose -14 = -w + 5. Does 18 = w?
False
Let v = 30 - 31. Is v > 23?
False
Suppose u + 13 = 4*s, 2*u + 2*u + 41 = 5*s. Which is smaller: -5 or u?
u
Let x = 4.86 + -5. Let j = -0.05 - x. Let q = j + 0.01. Which is bigger: q or -2?
q
Suppose l + 1 = 4. Suppose -3*d - 9 = -6*d. Is d at most as big as l?
True
Suppose -38 = 5*g + u, -3*g = -3*u + 9 + 3. Is g at most as big as -5?
True
Let i be 10/(-20) + (-110)/4. Are i and -2 non-equal?
True
Let f = 61 + -6. Let m be 66/f*(-2)/6. Is m at most as big as 0.3?
True
Let c = -5/6 + 3/4. Which is smaller: -1 or c?
-1
Let p be (-8)/(-30)*(-45)/(-18). Suppose 0 = -j + 3*l - 10, 0 = 2*j + l + l - 12. Which is smaller: p or j?
p
Let n be (-2)/((1 - -5)/2). Suppose 4*d - a - 1 = -2, -2*d + 2 = 2*a. Is d greater than or equal to n?
True
Let l(h) = h**2 + 19*h + 18. Let s be l(-18). Suppose -3*t = 2*a + 10, -4*t - 3 - 7 = 2*a. Let n = t - 2. Is s less than or equal to n?
False
Let d(l) = l**3 + 5*l**2 - 2*l - 10. Let y be d(-5). Which is greater: 2/15 or y?
2/15
Suppose 2*n = -3*n - 5. Is n <= -1?
True
Let v = -7 + -17. Let c be 8/(-18)*(-6)/v. Is 0 less than c?
False
Suppose -2*b - 4 = -2*q, 2*q - 11 = -5*b - 0. Which is smaller: 3 or b?
b
Suppose 2 = 3*v - 1. Which is smaller: 1/12 or v?
1/12
Let c = 1.68 + 0.32. Which is smaller: c or -0.3?
-0.3
Let b(g) = -g**3 + 4*g**2 - 4*g + 3. Let y be b(3). Suppose 0 = -w - y + 2. Which is bigger: 4 or w?
4
Let t = 14 + -15. Does t = 2/105?
False
Suppose 1 + 1 = 2*z. Let j = 5 + z. Suppose 0 = -o + 4*o + j. Which is greater: o or -1?
-1
Let n = 4/129 + 3725/516. Let u = -7 + n. Which is greater: 1 or u?
1
Let a = -8.2 + 7.8. Which is bigger: -13 or a?
a
Let a(d) = -d + 3. Let b be a(3). Is b at most -2/55?
False
Let o be (-60)/(-14) + (-6)/21. Let d be (-2)/o*(-4 + 0). Suppose 0 = -q - d*q. Is -2/11 not equal to q?
True
Let h be 1/(-4) - 2/(-8). Which is smaller: h or 6?
h
Let t be 53/(-13) + (-15)/(-5) + 0. Which is greater: -