 l and v nonequal?
False
Let g = -14 + 15. Suppose -3*t = -2*t - 2. Which is bigger: g or t?
t
Suppose -a = -5*r - 29, -4*r - 32 = r + 2*a. Let m be (1/(-5))/(r/75). Which is greater: 4 or m?
4
Let d = -4 + 9. Suppose 0 = -3*s + s + 4. Suppose -s*w + d = 1. Is 3/2 at least as big as w?
False
Suppose k = -2*m - 2*m + 10, 0 = -2*m - 3*k + 10. Let x = m - 2. Which is smaller: -4/9 or x?
-4/9
Let i = 0.1 + 0.9. Let q = -23 - -24. Is q >= i?
True
Let f be -2 - (74/(-24) + 1). Which is bigger: f or -1?
f
Let v be (3/3 - -1) + -11. Let l(p) = -p**3 + 8*p**2 - 7*p - 8. Let j be l(7). Is v at least j?
False
Let a(m) be the first derivative of -5*m**2 - m - 6. Let l be a(-1). Which is smaller: 2 or l?
2
Let l be ((-2)/4)/(3 - (-202)/(-68)). Which is bigger: -16 or l?
-16
Let p(h) = 3*h**2 + 0*h**2 - 2 - h**3 - 1. Let m be p(3). Are -3 and m non-equal?
False
Suppose -4*t + 23 = -4*g + 7, -2*g - t + 7 = 0. Do -4/51 and g have the same value?
False
Suppose 0 = 6*k - 2*k. Suppose m - 5*m = k. Is 0 >= m?
True
Suppose -2*c - 11 = -3*h, c = 6*c + 5. Let n = h + -4. Let w = -74 - -369/5. Which is smaller: n or w?
n
Let o(p) = p**3 - 9. Let m be o(0). Let t be (-3 - -1)*m/99. Let k = 7 + -6. Is k less than or equal to t?
False
Let l = -9/14 - -73/70. Is -2/3 at most l?
True
Let b be ((-1)/2)/(6/(-4)). Let h(n) = -8*n**2 - 3*n + 2. Let w be h(-1). Is b > w?
True
Let a be 9 + -10 + (-11)/(-8). Let d = 2 - 1. Are a and d unequal?
True
Let t(u) = u. Let y be t(0). Suppose y*z = -4*z. Suppose h = 5*m + 8, -3*h - 3*m - m - 33 = z. Which is smaller: -6 or h?
h
Suppose -17 = -3*u + 4*r, 3*u - 19 = 2*u + 4*r. Which is bigger: 2/11 or u?
2/11
Let q = 1 - -1. Let h be (-20)/6 + 4 - 2/(-6). Is h greater than or equal to q?
False
Let k(u) = 2*u**2 - u. Let s be k(-1). Suppose -5*f = -s - 2. Which is smaller: -2/7 or f?
-2/7
Let o = -92 + 3222/35. Which is greater: o or -1?
o
Let z(l) = l**3 + 5*l**2 - 4*l + 6. Let s be z(-6). Let j = -7 - s. Is 0 at most j?
False
Let y = -14 - 20. Let i = y - -172/5. Suppose 3*u + u = 0. Is u <= i?
True
Let b = -7 + 4. Let a be (1 + 0)*0/b. Suppose a*y + 3*y - 3 = 0. Which is smaller: y or 1/3?
1/3
Let x(a) be the second derivative of -2*a**2 - a + 1/6*a**3 + 0. Let c be x(4). Which is smaller: c or -3/7?
-3/7
Let k be 1*63/(-6)*-2. Suppose 2*a - k = -a. Which is bigger: a or 6?
a
Let g = 10 - 10. Let o(i) be the second derivative of i**5/20 + 3*i**4/4 + 7*i**3/6 - 7*i**2/2 + 2*i. Let u be o(-8). Which is bigger: u or g?
u
Let r be (3/(-24))/((-3)/(-18)). Is -2 less than r?
True
Let g be (-58)/56 + (-2)/(-7). Let y be 2 - ((-110)/72 + 3). Let u = g + y. Which is greater: 2/5 or u?
2/5
Suppose 0 = -4*d - d. Let x(a) = 2*a - 5. Let j be x(4). Do d and j have the same value?
False
Let i be 4/(-6) - ((-5262)/(-1206) - 5). Is -1 at most as big as i?
True
Suppose -3*u - 5*h = 25, 7*u + 5*h + 25 = 3*u. Suppose u = -3*i - j - 2*j + 45, -5*i + j + 51 = 0. Suppose -p + i = -3*y, y - 1 = -3. Which is smaller: 3 or p?
3
Let g = 11 + -17. Let t(f) = -f**2 - 7*f - 5. Let y be t(g). Suppose 4 = -2*i + 4*i, -4*i + 8 = -2*n. Is n <= y?
True
Suppose 2*l + 1 + 3 = 0. Which is smaller: l or 2?
l
Let v = 8 + -5. Let f be v/14 + (-4)/8. Which is smaller: f or 1?
f
Let v(p) be the first derivative of p**3/3 - 3*p**2/2 + 2*p + 5. Let c be v(3). Is c smaller than 3?
True
Let u = 5 + -5.2. Which is smaller: -7 or u?
-7
Suppose 4*a - 7 = -3*s, 3*s - 1 = -5*a + 10. Let i = s + 11. Let j be (i/6)/((-2)/(-3)). Is 0.1 < j?
True
Suppose -4 = 3*j + j. Which is smaller: 5/14 or j?
j
Suppose -3*v - 2*t = t - 3, v = -5*t + 9. Let u = 237.04 + -237. Which is bigger: u or v?
u
Suppose 7 = 3*d - 44. Let v = d - 5. Let l = 11 - v. Is l > 0?
False
Suppose 4*t + 18 = 6*t. Which is smaller: 10 or t?
t
Let f = 3 + -5. Let c(o) = -o**2 - 23*o - 78. Let t be c(-19). Are f and t non-equal?
False
Let p = 7 - 4. Suppose 3*n = -2*n - 10, 16 = 2*i - p*n. Does i = 2?
False
Let k be (-6)/(-4)*(-12)/(-45). Let v = -165766/45 + 3684. Let t = 1/45 + v. Which is smaller: k or t?
t
Let k = 1 + 4. Let x be (-1)/k*(-5)/(-2). Let t = -1 + 1. Which is bigger: x or t?
t
Let z = 5.7 - 3.7. Which is smaller: z or 0?
0
Let s = -3 + 6. Let q be (s/(-12))/(5/4). Is q >= -1?
True
Suppose -6 = 2*u + 2. Let g be (1 + u)*(-7)/(-21). Is g > -0.3?
False
Suppose 4*p - 30 = p. Let u = p - 11. Which is bigger: 0 or u?
0
Let b(s) = 2*s - 23. Let v be b(5). Is v less than -14?
False
Let s(k) = -k**2 + 11*k + 12. Let a be s(12). Suppose 0*c + 5*c + 5 = 0. Is c at least as big as a?
False
Let j(a) = -a**2 + 4*a - 11. Let i be j(0). Which is smaller: i or -8?
i
Suppose 3*l = 4*l + 31. Let v be 6/(-15) + l/(-65). Is v greater than 0?
True
Let w be 2/24*(-23)/(-46). Is -1 > w?
False
Let f = -0.8 - -1.1. Is f at most -0.4?
False
Suppose -3*v - 1 = -7. Let x be (0 - -4)*27/36. Suppose -v*r + 3 = -x. Which is smaller: r or 11/5?
11/5
Let n(g) = g**2 - 14*g + 1. Let f be n(14). Is f > -1/9?
True
Let i = -0.85 + 0.83. Are -4 and i equal?
False
Suppose 11*i = 10*i + 5. Is i >= 5?
True
Let d(o) = -o**3 + 4*o**2 - 2*o - 1. Let s be d(3). Suppose s*q + 2 = 4. Let p = q - 0. Which is smaller: 2/11 or p?
2/11
Let n = -1 - -4. Suppose -n*b - 5 = 4. Let t be b/1 - (-12)/5. Which is bigger: -2/3 or t?
t
Let h be 1 + 6/8*244/(-186). Which is smaller: h or 1?
h
Let q = 90 - 63. Let f = q + -295/11. Which is smaller: f or -1?
-1
Suppose -2*x = -3*x. Is x bigger than 1?
False
Suppose -60 = -4*h - h + 2*a, -5*a - 5 = 2*h. Let t be (1 - 3) + h/(-5). Is t < -13/4?
True
Let p be 1 + 3*1/3. Suppose 0 = -p*i - i. Is -1/3 > i?
False
Suppose 3*h - 12 + 39 = -3*s, 2*h = 2*s + 2. Let p be 1/(((-15)/(-24))/s). Which is smaller: -9 or p?
-9
Let j be 0/4 - 10/4. Which is greater: -3 or j?
j
Suppose -2*p - 10 = -0. Let j be ((-2)/4)/(p/(-10)). Let g = -608/7 + 87. Which is greater: j or g?
g
Suppose -19 = -2*y + 3*u - 45, 52 = -4*y - 2*u. Is y at least -12?
False
Let l be 12/3 - (0 - -2). Suppose 5*s = 8 - 3. Let d be s - (-2*1)/6. Is d smaller than l?
True
Let m = -7 - -8. Is -6 at least m?
False
Let l = -2/35433 - -21224381/248031. Let n = l - 85. Which is smaller: 0 or n?
0
Let q be 63/(-6)*(-2)/3. Suppose -18 = -5*d + d - 3*b, 5*b = d + q. Let n be (-22)/6 + d/(-9). Which is smaller: 2/5 or n?
n
Let r be 2/4 - (4 - 173/50). Is r equal to 1?
False
Let f be (-3)/2*(-16)/12. Suppose -5*m = 2*l - 11, 5*m - f*l = -3*l + 8. Which is smaller: 2 or m?
m
Let i(b) = b**2 + 2*b + 1. Let w be i(-4). Let m = w + -7. Let n = -0.8 - -1. Which is bigger: m or n?
m
Suppose q + 44 = 5*q. Suppose -5*n + q = -4. Which is smaller: 2 or n?
2
Suppose 3*w + 7 = -29. Let x be (w/(-30))/((-1)/5). Which is smaller: -3 or x?
-3
Let g = -47 - -22. Is -25 at least as big as g?
True
Let r = -0.4 + 0.4. Let s = r + -0.2. Let j = 0.8 - s. Is 0.2 less than j?
True
Let t = 2547/3740 + -31/44. Is t at most -1?
False
Let j = 1164/7 + -166. Suppose -5*i = -7 - 78. Suppose -2*z = 4*r - 14, -2*z + 4*z + 5*r = i. Is j smaller than z?
True
Suppose -3*h + 6*c + 19 = c, 5*h - 13 = -c. Suppose 0*m - 14 = -2*m. Let q = m + -5. Is h != q?
True
Suppose -5*m - 15 = 5*t, -2*t = 5*m + 13 - 4. Suppose 4 - 14 = 2*y. Let l = t + y. Are l and -8 unequal?
True
Suppose -n + 2*i = -5, 4*i - i + 8 = n. Suppose 2*g - 10 + 2 = 0. Suppose -6*w = -g*w. Do w and n have the same value?
False
Suppose -5*h = -9 - 16. Suppose 0 = -h*z - 9 - 6. Let p = z + 3. Is 0 less than or equal to p?
True
Suppose 18 + 32 = -4*s + 5*q, -5*q = 3*s + 20. Let w be s/12 + (-2)/12. Are -1 and w nonequal?
False
Suppose f + 0*f - 17 = -3*a, 2*f - a = -1. Let k = f + -5. Suppose 3*y + 3 = 2*y. Is y < k?
False
Let o = 0.3 - 0.2. Let d = 0.7 + -0.5. Which is smaller: d or o?
o
Let q = 0.3 + -0.4. Let y = -1.63 + 1.7. Let x = -0.17 + y. Is x > q?
False
Let g = -0.7 + 0.6. Is -11 > g?
False
Let q = -50 + 29. Let d = 20 + q. Let j be (-6)/9 - 104/(-138). Which is greater: j or d?
j
Suppose 14 - 5 = -3*o. Let m be (-4)/(-27)*o/(-2). Is m bigger than 1?
False
Suppose 3*z + 5 = -2*z, 4*p = 2*z + 26. Are 0 and p non-equal?
True
Let i = -21 - -29. Let f = i - 9. Which is bigger: f or -2/15?
-2/15
Suppose 3*a + 12 = 4*u, -3*u + 0*a + 9 = -5*a. Suppose -2*n = n - u. Which is smaller: 0 or n?
0
Suppose -12 = -7*x + x. Suppose 4*j + 22 = -2*u, 23 =