- p - 6. Suppose 18 = 4*s + 3*w, -2*s + 22 = -0*s - o*w. Is -1 > s?
False
Let y = -0.3 + 4.3. Let r = 89 - 87. Which is smaller: r or y?
r
Let q(n) = n**3 + 5*n**2 - n - 7. Let f be q(-5). Let d = f - -1. Is d <= -2?
False
Let z be (20/7)/(8/28). Let d be (-7)/6 + 5/z. Are 1 and d unequal?
True
Let p = 218/3 - 73. Is -1 < p?
True
Suppose 3*s = -s + 8. Suppose -13 = -5*l + s*l - p, 0 = -3*l + 3*p + 9. Let i(q) = -q**2 + 3*q + 3. Let v be i(l). Which is smaller: -2/5 or v?
v
Let p = -0.01 + -0.02. Which is smaller: 2 or p?
p
Suppose 2*x + 19 = -x - 4*z, -2*x + 5*z = -18. Suppose -2*m + 5 = -3. Let l be 3*m/6 + x. Which is bigger: l or 2?
2
Let p = 0.07 + 0.03. Let j = -0.3 + 0.7. Is j less than p?
False
Let h be ((-21)/2)/(-3) + -2. Let g(w) = w**3 - 2*w**2 - w - 5. Let u be g(3). Are h and u equal?
False
Suppose n = 5*y - 16, 0 = -y - 3*y - 2*n + 24. Let i = 1 + y. Suppose -4*k - 4 = -4*b, -i*b + 2*b = 0. Which is smaller: k or -2/15?
k
Let j = -10 - 120. Let r = j + 912/7. Suppose -4*n + 0*n = 0. Which is smaller: n or r?
n
Let q be 58/(-120) + (-4)/(-10). Are 0 and q equal?
False
Let f be 170/25 + 2/10. Let h be 14/5 - f/(-35). Suppose -8 = n + 3*l, -h*n - 4*l = l + 12. Which is smaller: -1 or n?
-1
Let q = -0.25 - -0.15. Which is bigger: q or 10?
10
Suppose 7*o - 15 = 2*o. Let c be ((-1)/o)/((-1)/116). Let u = c - 39. Is 1 at least u?
True
Let k(x) = x - 4. Let z be k(6). Suppose 4*t - 1 = 3*t. Let p = t - 0. Is z <= p?
False
Let r = -0.31 - -24.31. Which is smaller: 2 or r?
2
Let z = 22/7 + -52/21. Let g be 0/((5 + -1)/(-2)). Which is bigger: g or z?
z
Let x(f) = -5*f - 5. Let j(h) = 5*h + 6. Let y(z) = -6*j(z) - 7*x(z). Let u be y(-1). Let c be u/9 + 1/(-3). Which is greater: c or -2/17?
-2/17
Let f(v) be the first derivative of -v**2/2 + 13*v + 5. Let y be f(9). Is -3 bigger than y?
False
Let s = 5 - 0. Suppose s*k = -3*q + 6, 0*q + 4 = 2*k + 2*q. Which is greater: k or -2/9?
k
Suppose 4*h = 4*k + 4, 3*k + 24 = -0*h - 4*h. Which is greater: k or -6?
k
Let r = 5.34 + 0.76. Let d = r + -6. Let s = -4 - -8. Are s and d non-equal?
True
Suppose 5*w + 3*c - 5 = 0, 5*w - 4*c + 2*c = 30. Let j be (-21)/(-4) + (-1)/w. Is 5 bigger than j?
False
Let x = -1531/10 - -153. Are x and 0 non-equal?
True
Let h be ((-20)/(-72))/((-3)/24). Is -3 not equal to h?
True
Suppose 0 = r - 45 + 3. Suppose 0 = 4*o - 2*w - r - 12, -o - 3 = 5*w. Is o greater than 12?
False
Let t(w) = 2*w**2 - 11*w - 6. Let g be ((-25)/10)/(2/(-4)). Let d be t(g). Is d < -11?
False
Let m be (-4)/(-10)*(-70)/(-21). Is m > 0?
True
Suppose 7*k - 1 = -36. Which is bigger: k or -8?
k
Suppose 0 = -2*t - 3*t. Let g(b) = b**2 - b - 1. Let u be g(t). Which is smaller: 1/23 or u?
u
Let u = -2 - -5. Suppose -6 = 3*b - u. Is -1 not equal to b?
False
Let r = -26 + 26. Is -3/14 less than or equal to r?
True
Let w = -8.2 - -19.2. Which is smaller: 1/4 or w?
1/4
Suppose -7*b + 1 = -6*b. Which is smaller: b or -1?
-1
Let y = 100 + -103. Which is greater: -2 or y?
-2
Let k = -9 + -17. Which is bigger: k or -27?
k
Let n(r) = r**3 + 7*r**2 - 8*r - 7. Let s be n(-8). Let q = -1 - s. Suppose 4*w - q*w + 6 = 0. Are 3 and w nonequal?
False
Let u = -2.18 + 2.4. Let x = u - 0.12. Which is smaller: -0.7 or x?
-0.7
Suppose -2*p = -3*s + p + 180, 0 = 3*s + 5*p - 180. Is 59 smaller than s?
True
Suppose 0*p + 9 = -3*p. Is -3 less than or equal to p?
True
Let u = -1 + -1. Let s = 112/3 + -119/3. Is s bigger than u?
False
Let u be ((-5)/(-85))/(-9 + 2). Is 0 at most u?
False
Let i(a) = -a**3 - 6*a**2. Let l be i(-6). Let n be -1 + l + 15/33. Which is smaller: 1 or n?
n
Let h = -20.15 - -20. Let q = -0.05 + h. Let v = 2.1 - 2. Is q at least v?
False
Let j(m) = -66*m + 2. Let n be j(1). Let z be n/(-78) - 2/3. Are z and 2/3 non-equal?
True
Let l = -62/3 - -316/15. Let s = 0.9 - 1. Which is bigger: s or l?
l
Let q = 386 - 11190/29. Which is greater: 1 or q?
1
Let c(r) = -r + 2. Let x be c(3). Which is smaller: x or -1.9?
-1.9
Suppose -4*j + 2*p - 3 + 1 = 0, 3*p = -3. Let b = 168 + -843/5. Which is greater: b or j?
b
Let s = -5 - -6. Let o = 3/2 - s. Is o greater than 5?
False
Suppose -4 - 6 = -5*t. Let u = -4 + 7. Suppose -i + u = -0*i. Is t <= i?
True
Suppose -26*g + 64 = -22*g. Which is smaller: 17 or g?
g
Let n = -2 - -1. Let g be 2/(-13) - 2/(-13). Which is greater: n or g?
g
Suppose 51 + 12 = -3*q. Which is smaller: -20 or q?
q
Let b = 11.7 + -18. Let o = b + 0.3. Let d = 5 + o. Which is smaller: d or 1/6?
d
Let i be (36/8 - 3) + 703/(-466). Which is smaller: i or -1?
-1
Let h = -1 + 0.8. Let a be ((-38)/(-25))/(159/(-30)). Let w = 6/53 - a. Is h != w?
True
Let t be (2 - -2) + -2 - 0. Suppose -7 + 19 = t*p. Suppose -3*k - 9 - p = 0. Which is smaller: -4 or k?
k
Suppose 3*r = -i + 2*r - 10, -4*i = -3*r + 26. Let u = i - -6. Is u equal to -1?
False
Suppose 0 = -5*t + 36 + 39. Suppose 5 = -20*h + t*h. Which is smaller: -2/35 or h?
h
Let d be 0/4 - (-62)/(-20). Let j = -3 - d. Is 1 bigger than j?
True
Let x(q) = 4*q**3 - 2*q**2 + 2*q - 1. Let h be x(1). Suppose -r + 11 = -2*i + 2*r, 4*r - 9 = -h*i. Which is bigger: 4 or i?
4
Let p = 8.95 + 0.05. Let x = p - 8. Which is smaller: -1 or x?
-1
Let l(w) = w**3 + 8*w**2 - 9*w + 1. Let p be l(-9). Let a be ((-1)/3)/(15/18). Is a at least as big as p?
False
Suppose 3*n = -a + 55, 3*n = 2*n + 3*a + 15. Let p be (-3)/n + 14/12. Let i be p/5 + (-9)/20. Is 3 at least as big as i?
True
Let p = -15355/9 + 1710. Let g = 11/3 - p. Which is smaller: 0 or g?
g
Let l = -1 - -3. Suppose -18 = -4*w + 2*o, 0 = -5*o - 23 - 2. Suppose -i - 9 = 3*c, 2*i + 3*c + w = -7. Which is smaller: i or l?
i
Let h = -46 - -76. Which is greater: 29 or h?
h
Let o = 1 + -5. Let r be (5/15)/(((-7)/(-15))/(-7)). Is o bigger than r?
True
Suppose 10*o - 5*o = 5. Suppose 4*c - o = -t, -c + 0*c - 4*t + 4 = 0. Let m be c/(2 - 2 - 1). Do m and 3/4 have the same value?
False
Let t be 2 - 3 - 15/(-9). Suppose -3*i + 4 - 1 = -3*n, 5*i + 3 = n. Which is smaller: t or n?
n
Let n = -14 + 13. Which is smaller: -2/33 or n?
n
Let y = 693/1066 - 15/26. Let t = -55/369 - y. Is t < -1?
False
Let v(b) = 2*b. Let n be v(3). Let y = -10 - -20. Let f be y/n*10/25. Is 2 bigger than f?
True
Let n be 12/(-6)*(-10)/(-68). Let r = n + -2/51. Let z = 0.3 + -0.2. Which is smaller: r or z?
r
Suppose 2*g + 0*g = -24. Let m be (-21)/g + 1/4. Which is greater: 3 or m?
3
Suppose 5*i - 141 = -4*t, -4*i = 5*t - 41 - 79. Is 21 at least as big as i?
False
Let u = 14.45 + -1.25. Let z = u - 13. Which is smaller: 7 or z?
z
Suppose -5*m - 5*h + 9 + 1 = 0, -3*h = 3. Suppose 3*t + 5*i = -8, -i = -5*t + m*i - 38. Let j = t - -1. Is j > -4?
False
Let y = 0.01 + 0.39. Let g = 2.3 + -2. Let o = g - y. Is 3 at most as big as o?
False
Let q be -1*(-3 + (1 - 3)). Suppose 0*i + i + q*a = -18, 0 = 3*i - 2*a - 14. Suppose 0 = -i*b - b. Which is smaller: b or 1?
b
Let g be ((-220)/(-76) - 3)/1. Is -1 bigger than g?
False
Let a = 8 + -8. Suppose a = n + 2*n - 3. Let f be 48/27 + 2/9. Which is smaller: n or f?
n
Let j be -3 - (-4 + -2 + 1). Let l be (-3)/(-7) - (-32)/56. Which is smaller: l or j?
l
Let j be -2 + (-108)/14 + 1. Suppose -4*i = -2*u + 3*u + 33, 30 = -5*i - 5*u. Let w = i - j. Is w greater than or equal to 0?
False
Suppose 4*h - 3*l - 20 = -0*h, -5*l = -5*h + 25. Is h > 4?
True
Let o(c) = -c**2 + 6*c - 3. Let y be o(5). Suppose -4*a = -2*f + 4, -4*f - y*a - 2*a + 20 = 0. Suppose t = 3*m - 1, -5*m + f*t = 2*t. Is m > 0?
True
Let p = 3 - -2. Let u = p - -1. Let t be (-8)/12 + 22/u. Which is greater: t or 2?
t
Suppose -4*q - 5*v + 51 = 0, 6*v - v = 4*q - 21. Let n = 6 - q. Is -4 greater than n?
False
Let h be -1*(-1 + (-14)/(-8)). Let c = 255 - 257. Is h at most c?
False
Suppose -2 = k - 0. Let d = 3 + k. Which is bigger: d or -3/7?
d
Suppose -2*a = a - 6. Let b be (-1)/a - (-2)/(-4). Which is smaller: -1/10 or b?
b
Let b(h) = -2*h - 2. Let j be b(-4). Let l be 152/28 - (-3)/(-7). Is l less than or equal to j?
True
Let f(k) = k**2 - 10*k - 7. Let a be f(11). Let o be 4/3*2/4. Which is smaller: a or o?
o
Let s(k) = -k**2 - 3*k + 4. Let f be s(-4). Which is greater: 7/8 or f?
7/8
Suppose 2 = -4*w - 14. Let o be (-25)/2 - (-1)/(-2). Let l be (-2)/(-8) - o/(-4). Which is greater: l or w?
l
Suppose 5 + 30 = 5*w. Which is greater: w or 8?
8
Let o(j) = -j**3 