 -48*u + 54*u = 24. Which is bigger: u or 36/13?
u
Suppose 3*w = -5*p - 0*w, 0 = -4*p - w. Suppose -5*t = -p*t. Which is greater: t or 2?
2
Suppose 0 = -r - 8 - 2. Let c = 11 + r. Let q be 8/20 - (-4)/(-10). Is c at most as big as q?
False
Let b = -1 - -7. Suppose 0 = 2*l - b + 2. Suppose -g - 2 = -3. Is g < l?
True
Let w(m) = -m**3 + 2*m**2 + 2*m + 1. Let z be w(3). Let v(x) = -x**3 + 3*x**2 + 0*x**3 + 2*x - 1 + 5. Let d be v(4). Which is greater: d or z?
z
Let m = 18.8 + -19. Let q = -1.2 + 0.2. Which is greater: m or q?
m
Let n = 0.27 - 0.37. Are n and -0.2 nonequal?
True
Let y = -35 + 176/5. Is y less than or equal to 1?
True
Let v = -21 + 26. Suppose 3*w - v*w = 0. Are 1 and w unequal?
True
Let k = -1.054 - -16.714. Let q = k - 16. Let p = q - -0.04. Is 1 greater than p?
True
Suppose -5*h - 5*m + 105 = 0, -49 = -2*h - 3*m - 4. Let z = 12 - h. Let i be (0 - 3)/(z/(-8)). Which is smaller: -5/2 or i?
i
Let v be (24/28)/(1/(-7)). Suppose 35 = -2*c + 5*f, 7*c + 4*f = 2*c - 5. Which is smaller: v or c?
v
Let g be 3 + 0 + -26 - 1. Let w = g - -71/3. Which is smaller: 0 or w?
w
Let y = 0 - -10. Suppose -v + 1 = -y. Suppose -5*r = -j + 7 + 2, 3*r - 2*j + v = 0. Which is smaller: -3/8 or r?
r
Let d = 11/6 + -15/8. Is 1 <= d?
False
Let b be ((-60)/(-18))/2 + (-4)/6. Are -1/7 and b non-equal?
True
Let b be (0 + -1)*1*0. Is b equal to 1/4?
False
Suppose 4*u = -100 - 44. Let l be 3/4 - (-921)/u. Let t = 25 + l. Which is bigger: -1 or t?
t
Let p = 3 + -7. Let g be ((-15)/(-12))/((-2)/8). Which is smaller: g or p?
g
Let a = 9 + -8.8. Is -0.1 <= a?
True
Let p = 131 - 129. Is 9/2 smaller than p?
False
Let j = 1 + 0. Let y(s) be the second derivative of -s**3/6 + s**2/2 + s. Let o be y(j). Which is bigger: -2 or o?
o
Let m = 17 + -5. Let b be (-2)/(-3)*m/(-2). Let y be (-3*(-1)/b)/(-3). Is y greater than -1?
True
Suppose -2*s + 7 = -3. Suppose 0 = -g + s*g. Let v be (-4 - -2)*(-5)/8. Is v less than g?
False
Let r = 2/9 + 5/18. Is -66 <= r?
True
Let r = 9.97 - 10. Let u = 0.03 + r. Is u bigger than -0.04?
True
Let x = -3 + -2. Let l = -0.115 + 0.015. Is x at least as big as l?
False
Let w = 75 - 374/5. Let b be (-108)/(-9)*1/1. Suppose -5*x - 2 = -b. Which is bigger: w or x?
x
Let r = -6.07 - -6. Let t = r - -0.37. Let s(v) = v**2 + 6*v. Let j be s(-6). Is t less than j?
False
Suppose 4*f - 5*f + 5 = 0. Let s(n) be the first derivative of -n**4/4 + 4*n**3/3 + 2*n**2 + 5*n - 20. Let w be s(f). Which is greater: w or 2/9?
2/9
Let j = 87 - 345/4. Let r = -34 - -24. Let f = 10.1 + r. Is j equal to f?
False
Suppose n + f = 2, -4*n + 4*f = -10 + 2. Suppose -2*a + 8 = n. Suppose -5*v = 5*o - a*v + 4, -3*o - 3*v + 3 = 0. Which is bigger: o or -1/2?
-1/2
Let c be (2/6)/((-4)/(-24)). Let j be 3/12 + c/8. Which is greater: 0 or j?
j
Suppose -28*h + 42 = 14*h. Let y = -2/229 - -709/2519. Which is bigger: y or h?
h
Let u be 42/(-9) + (-1 - -2). Let k = u + 3. Let r = 2 - 4. Which is smaller: k or r?
r
Suppose -25 = 3*q - 8*q. Which is bigger: q or 14?
14
Let a = -257/3 - -86. Let p = -2 - -2. Which is bigger: p or a?
a
Let d be -1*13*(-5 - -6). Let g be d/(-6) - (-4)/(-6). Is 3 less than g?
False
Let b = 15 - 15. Which is smaller: b or -25?
-25
Let t(j) = j**3 - 6*j**2 - j + 4. Let i = -15 + 21. Let s be t(i). Which is greater: s or 0.1?
0.1
Suppose -s + 3 = 0, 4*k + 4*s - 15 = 3*s. Let p(j) = 2*j - 1. Let g be p(5). Suppose 0 = -4*o - 1 + g. Which is greater: k or o?
k
Let g = -22 - -23. Is 5/3 equal to g?
False
Suppose 0 = 3*c - 1 - 53. Suppose 3*s = 4*w + 11, 2*w = 4*w - 4*s + c. Which is greater: w or 2/17?
w
Let b(j) = -j. Let v be b(-2). Let c = v - 2. Let d be -26*(-1)/(-24) + (-1)/4. Is c > d?
True
Let v be (2 + 2739)*(-1)/66. Let q = 125/3 + v. Is 1 at most q?
False
Let w = 10 + -11.2. Let z = -0.2 - w. Which is smaller: -1 or z?
-1
Let p = -9 - -18. Let x be 2/p + (-14)/90. Is 0 greater than x?
False
Let t(u) = u**3 + 7*u**2 + 7*u + 11. Let m be t(-3). Which is smaller: m or 24?
24
Let j = 1 + -1. Suppose -10*l - 3 = -13*l. Suppose j = -3*y + 2*y + l. Is y > -1/3?
True
Let r(q) = -q**3 - q**2 - q - 7. Let p be r(0). Let u be ((-4)/(-6))/((-14)/273). Let i = 7 + u. Is p greater than or equal to i?
False
Let g = 0.2 + 3.8. Let v = 3.7 - g. Let d = -0.8 + -0.2. Is d greater than or equal to v?
False
Suppose 0 = u - 2*o + 17, -45 = 4*u - o + 2. Is 2 >= u?
True
Let o = -85103/12 - -7085. Let r = o + 23/3. Is r less than 2?
True
Let k be 6/8 + 11/(-4). Let y be (-5)/(-20) + 1/k. Is y less than 1/3?
True
Let m(s) = -s**2 - 2*s - 2. Let f be m(-1). Let z = -20368/25 + 10267247/12600. Let q = -1/63 + z. Which is greater: f or q?
q
Let k = 43 - 41. Which is bigger: k or 1?
k
Let w = 35 + -23. Is 12 at least w?
True
Let b = 18 - 23. Let t be ((-8)/(-20))/(1/b). Let h be 0*(-2 + 2 - -1). Is t smaller than h?
True
Let q = -16 - -11. Does q = -5?
True
Let p(g) = 10*g + 4. Let f be p(3). Let n be (3 - f/16)*2. Which is smaller: n or 1?
1
Let x(b) = 7*b**3 - b - 2. Let f be x(-2). Let p be 9/(-7) + (-16)/f. Which is smaller: 2/5 or p?
p
Let a = 5613/3505 - 1/701. Suppose 4*l - 65 + 57 = 0. Is a less than or equal to l?
True
Let r = -17.3 + 12.2. Let p = 5 + r. Let q = 2 - 3. Is p smaller than q?
False
Let j be 4/2 + (-1 - -4). Suppose 0 = -4*v + i - 1 + 9, i = j*v - 10. Is v smaller than 6/7?
False
Let c be -5 - (-2 - -6)/(-1). Which is smaller: c or -15/11?
-15/11
Let m = -3 - -2.6. Let j = -2/17 + 21/34. Is j < m?
False
Suppose 2*i + b + 26 = -14, i - 4*b = -38. Let t = i - -67/3. Is t at least as big as -4?
True
Let r = -4 + 11/3. Let x(k) = k**3 - 5*k**2 + 6*k - 3. Let w be x(4). Let s = 5 - w. Is s less than r?
False
Let g(a) be the first derivative of -a**3/3 - 9*a**2/2 + 14*a - 1. Let y be g(-10). Is 4 < y?
False
Let m be 0 - -1*2 - 0. Suppose 0 = -4*j + m - 10. Let d = j + 0. Is -2 less than d?
False
Let r = -2/9 - -8/9. Which is smaller: -2 or r?
-2
Let f(z) = 5*z**2 + 15*z + 7. Let q(g) = -9*g**2 - 30*g - 13. Let y(l) = 11*f(l) + 6*q(l). Let b be y(15). Which is smaller: -3/4 or b?
b
Let s be 6/(-9)*198/21. Let q = 46/7 + s. Is q greater than or equal to -2?
True
Let j = 155/652 - -2/163. Let u be 1 - 1/(0 - -1). Let h = 0 - u. Is j at most as big as h?
False
Let i be (2 - 3) + -3 - (0 + -3). Is -4 at most as big as i?
True
Suppose 12 = i - 2*a, -3*a - 14 - 9 = -4*i. Suppose i*u = 3*u - 4. Let g = u + 0. Is 4 smaller than g?
False
Let s = -2460 + 108225/44. Let j = -343/748 - s. Suppose 2*y - 2 = -0. Which is smaller: y or j?
j
Let p be (-6671)/56 - (2 + 0). Let g = p - -121. Is g less than 0?
True
Let u = 46 - 412/9. Is 7 smaller than u?
False
Let i = 424 - 2127/5. Which is smaller: 0 or i?
i
Suppose 0*u - 4*b = 2*u, 5*u - 3*b = 39. Let r(f) = -f**3 + 5*f**2 + 6*f - 2. Let d be r(u). Let k be 4/(-21)*3/2. Is d greater than or equal to k?
False
Let f = -0.3 - -0.4. Let p = f + -0.7. Let z = 0.7 + p. Which is smaller: -2 or z?
-2
Let n(t) = t**3 - 4*t**2 - 5. Let p be n(4). Suppose 0 = -h - 3*h - 24. Is p bigger than h?
True
Suppose 3*k - 2*n = 2*k - 10, -3*k - n = 16. Let u be (8/k)/((-2)/(-6)). Which is greater: -3 or u?
-3
Suppose 0 = -x + 3*r + 5, -5*r - 20 = -5*x - 5. Which is smaller: 13/8 or x?
13/8
Let n = 0.1 + 0.9. Suppose 4*d - 16 = 0, 5*r = 3*r + 4*d - 20. Let g be 8/6 - (r + 4). Is n >= g?
True
Let o = -101 + 501/5. Do o and 0 have the same value?
False
Let y(s) = s**3 + 6*s**2 - 9*s + 1. Let f be y(-7). Suppose f = 4*q - 5. Suppose q*t = t. Which is bigger: t or -1/2?
t
Let b be -1 + (-12)/(-10) + 124/(-320). Does b = 2/3?
False
Let x = 0.19 - -0.21. Do 1 and x have different values?
True
Let o(f) = -7*f - 10. Let z be o(-4). Suppose 0*u = -5*y + 2*u - 21, 4*y - 2*u = -z. Is -3 smaller than y?
False
Suppose -j + 6*j = 15. Suppose 2*x = z, 0 = -5*z - j*x + 4*x. Which is greater: z or 2/3?
2/3
Suppose 5*p + a = 0, 3*p + 2*a = 5*p + 12. Let z be 2 + -3 + 2 - p. Do z and 5/4 have the same value?
False
Let t = 12 - 10. Let o be ((-3)/(-180))/(t/(-244)). Let i = o + 11/6. Does -1 = i?
False
Let o = -10 - 5. Let n(t) = 2*t + 8. Let j be n(-9). Let l be 18/o + (-2)/j. Is l < 1/4?
True
Let w = 21/89 + -923/2403. Which is bigger: w or 1?
1
Suppose 0 = 4*g - 28 + 4. Which is greater: g or 7?
7
Suppose -2*z + 4*z - 30 = 0. Does 16 = z?
False
Let j = -17 + 17. S