s bigger: x or r?
r
Let z be 5 + (-3 - (-1 + -2)). Is 6 < z?
False
Let t = -3 - -3. Let q = -1 + t. Are q and -1 non-equal?
False
Let a be (-5)/50 + (-4)/(-8). Which is bigger: a or 0?
a
Let s = 15 + -11. Let y = 9.4 - 9. Let w = 0.3 - y. Are w and s nonequal?
True
Let z = -5 - -7. Let b = -0.1 + 0.2. Let f = -0.1 + b. Is f at least as big as z?
False
Let y = 0.3 - -0.7. Let s = 1 + 0. Is s >= y?
True
Suppose -3*z = -w - 13 + 5, -w + 2*z - 4 = 0. Which is smaller: 3 or w?
3
Let x = -196/15 - -38/3. Let l = -0.06 - 0. Is x bigger than l?
False
Let q be (-800)/(-15)*(-8)/20. Are q and -21 equal?
False
Let l be 8/(-10)*((-6)/4 - -4). Is -12 greater than or equal to l?
False
Let t(h) = -h + 1. Let s be t(-1). Suppose s*j = -j + 24. Is 13/2 smaller than j?
True
Let h(m) = 7*m - 5*m + 1 - m**2 + 5*m. Let p be 2/(-10) + (-324)/(-45). Let g be h(p). Which is greater: g or -1?
g
Let j = 0.238 - 0.038. Is 26 equal to j?
False
Suppose 2*g - 6*g + 32 = 0. Is 8 < g?
False
Let r = 14 - 19. Which is greater: -11/3 or r?
-11/3
Suppose 0 = 3*i + t - 3*t + 12, 4*i - 5*t + 23 = 0. Which is smaller: i or -7/4?
i
Suppose -3*h = 2*c - c - 20, -3*h + 52 = 2*c. Let w be c/(-306) - 4/(-18). Is 0 at least w?
False
Let b(s) = s + 8. Let j be b(-6). Is -1 greater than or equal to j?
False
Let j be 1/(-1) - (-496)/(-1). Let p = -1717668/7 - -245879. Let k = p + j. Is k not equal to 2?
True
Suppose -m + 2 = 32. Is -30 greater than m?
False
Let h be (3 - 2)/(-2)*4. Let k = -2 - 0. Let i be 0/(-4*1/k). Which is bigger: i or h?
i
Let n = -5 + 3. Let g be 74/(-2) + 6/n. Let w be (-44)/g + 2/(-4). Is w >= 0?
True
Let n be (-2 + 1 + 0)*120/(-45). Suppose z - 7 = -3. Which is bigger: z or n?
z
Suppose -8 = 3*m - 4*z, 2*m = 6*m - z + 2. Suppose -3*r + v + 4*v - 28 = m, -3*r = 2*v - 7. Suppose -5*l = -w - w, -30 = 5*l + 4*w. Which is smaller: r or l?
l
Suppose 0*i - 3 = -i. Suppose -i = -2*h + 3. Suppose -2*n + 7 + 3 = 4*p, -h*n = 3*p - 15. Which is greater: -2 or p?
p
Let k = 0.6 - -1.4. Let u = 1.9 - k. Let s = 0 - u. Which is greater: -2 or s?
s
Let q be (23827/(-9))/((-39)/9). Let z = q - 611. Which is bigger: -1 or z?
z
Let w = 673/14 - 48. Which is smaller: -1 or w?
-1
Let l be (-3)/(-2)*45/57. Let j = l - -6/19. Does 2 = j?
False
Suppose 4*l = -2*u + 6*u + 16, 23 = 2*l + 3*u. Suppose l*j + 5*w - 5 = 2*j, 19 = 3*j - 5*w. Which is smaller: 2 or j?
2
Let h be (1/(-2))/((-9)/6). Which is bigger: -1 or h?
h
Suppose 5*i + 15 = 0, -2*y + 3*i = 2*y - 25. Suppose y = -v - 1. Let k be (-1 + 1/(-3))*(3 + 0). Is v at most k?
True
Suppose y - 1 = -m, 5*y + 10 = -0*m - 2*m. Let u be ((-2)/3)/(1/(-3)). Suppose -d - 4 = -u. Which is smaller: y or d?
y
Let p be 1 - (2 - -1) - -1. Let c = 2 - p. Let u = -3 - -3.1. Are u and c nonequal?
True
Suppose -1 = 4*c - 5*c. Which is smaller: c or 5/2?
c
Let w = 5.9 + -19.7. Let a = w - -14. Do a and -6 have the same value?
False
Let h = 1.5 - 1.8. Which is smaller: h or 0?
h
Suppose 7*p = 2*p - c, -3*p + c = -8. Let z be (14/16)/((-2)/(-4)). Which is smaller: z or p?
p
Let t be -71 - ((-10)/(-4) - 24/16). Does t = -72?
True
Let q = -35 + 34.8. Is -28 less than or equal to q?
True
Let g(z) = z**3 + 10*z**2 + 12*z + 10. Let b be g(-9). Is b greater than -2/5?
False
Let n = 28 + -13. Is n less than 17?
True
Let n = 1.59 - 0.79. Is n <= 2?
True
Let z be ((-24)/(-18))/(10/12). Is 3 greater than z?
True
Let h = -39/8 - -959/200. Let q = -8/25 + h. Which is bigger: q or 0?
0
Let r(t) = -2*t. Let g be r(-5). Is g smaller than 9?
False
Let t = 10 - 10.13. Let l = -2.13 - t. Is l >= -1/3?
False
Let a = 0 - -7. Let f be 15/2 + 6/(-12). Is f at least as big as a?
True
Suppose 2*v = 6*v - 8. Let k be 498/616 + v/(-7). Let o = k + -3/11. Does 1 = o?
False
Let w = -10 + 10.36. Is w greater than or equal to 2?
False
Suppose 4*r = 1 + 3. Let b(w) = w**2 - 4*w - 3. Let c be b(5). Let y be (-3)/(-6)*c - -1. Is y at most as big as r?
False
Let g = 0.6 + -0.63. Let b = 0.13 + g. Is 0 greater than b?
False
Suppose -2*a - 2 = 3*l - 21, 4*l - 5*a + 13 = 0. Suppose -l*f = f + 24. Let i be ((-6)/18)/((-4)/f). Is i at most -1/2?
True
Let n = -135 - -673/5. Which is bigger: 2/87 or n?
2/87
Let s = -23 + 23.1. Are s and 12 non-equal?
True
Let b be 3 + (-4 - 111/(-112)). Which is smaller: b or 0?
b
Let g = -9/11 - -38/33. Let f be 2/(-4) - (-6)/4. Let z = f - 0. Is g < z?
True
Let y(k) = k**3 + k**2 - 2*k + 5. Let x be y(0). Which is greater: x or 34/7?
x
Suppose -5*l - 3 = -13. Let f = 2 - 3. Let x be f - ((-21)/(-12))/(-1). Is x smaller than l?
True
Let r(p) = 6*p + 10. Let b be r(-5). Let f = b - -17. Is f < -1?
True
Let t(r) = -r - 5. Let w(i) = i**2 + 9*i + 3. Let f be w(-8). Let y be t(f). Is y >= -2/13?
True
Let r(i) = -i**3 - 12*i**2 - 10*i + 13. Let w be r(-11). Is 2 greater than w?
False
Let n(s) = -s**3 + 7*s**2 - 6*s - 1. Let k be n(6). Let g be (4 - (3 - 3)) + 12. Let r = g - 20. Do r and k have different values?
True
Suppose -5*z + 2*c - c = 12, 5*z = -c - 8. Let w be z/1*1 + 10. Let v be (-2)/8 - (-18)/w. Which is greater: v or 3?
3
Suppose 0*h - 6 = -3*h. Suppose -4*a + 3*m = h, -4*a + 1 = 3*m + 15. Is a greater than -3?
True
Let i(d) = d + 5. Let w be i(-14). Which is greater: -8 or w?
-8
Let n be 4*-1 - 175/(-45). Let w be (-2 + 0 + 2)/(-2). Are w and n nonequal?
True
Let r = -20 - -79/4. Let f = 9 - 5. Is r bigger than f?
False
Let m = 39/10 - 243/70. Let l(y) = y**3 - 4*y**2 + 5*y - 3. Let x be l(3). Suppose -11 = 5*w - 3*g, x*w - 5*g + 9 = -2*g. Which is smaller: w or m?
w
Suppose 4*b + 2*w = -8, 20 = -4*b + b - 5*w. Suppose -c - 5 + b = -m, 0 = 5*m + 5*c + 15. Is -2/33 greater than m?
False
Suppose -d + 1 = 2. Let h be (-90)/5 + 1/d. Let f = h - -56/3. Is f at most as big as -2?
False
Let b = 2 - 1. Let c be 88/6 - (-28)/(-42). Let p be (b - 1)*(-7)/c. Do 1 and p have different values?
True
Let r = 4 - 1. Suppose -r*u - 2*u = 5. Which is smaller: u or -2?
-2
Let p(h) = -2 - 2*h + 0 + 3. Suppose 5*i - 8 = 3*r, 1 + 3 = i - 3*r. Let b be p(i). Are 1/3 and b equal?
False
Suppose 23 = 2*x + 3*c - 0, -2*c = -10. Let r(o) = o**3 + 2*o**2 - o + 3. Let a be r(-3). Let n = x + a. Is n at most 1?
True
Let p be (-3 + 8)/5*-3. Let h(i) = i**2 + 6*i + 1. Let g be h(-5). Which is smaller: p or g?
g
Let f = 3 + -5. Let i be f/(-3) - 20/(-6). Is i less than or equal to 3?
False
Let q(c) = -c**2 + 6*c + 1. Suppose -5*f = -5*i - 10, 2*f - 26 = -3*f + i. Let a be q(f). Is -0.1 smaller than a?
True
Suppose 3 + 3 = -6*k. Which is greater: -2/19 or k?
-2/19
Let a = 48.31 - 45.2. Let j = a + -0.31. Let r = 0.2 + j. Is -1/3 < r?
True
Let b = -3 + -5. Let i = 9 + b. Which is greater: i or 3?
3
Let x = 94/13 - 1520/221. Let a = x + -29/34. Is 1 > a?
True
Let s(j) = j**3 + 9*j**2 + 7*j - 10. Let f be s(-8). Let t be 0*((f - -3) + -2). Is t >= 2/7?
False
Let o be 4/(12/27) - 2. Let b = o - 5. Let w = 0.1 - 0.1. Is b at least as big as w?
True
Let d = 11/464 - 5/58. Which is smaller: 0 or d?
d
Suppose 25 + 11 = -3*o + 3*r, 0 = 5*o + 4*r + 69. Which is greater: o or -49/4?
-49/4
Let k = -0.24 - 23.76. Let s = k + 23.04. Let a = -0.04 + s. Is -3 != a?
True
Suppose -3*u + 8 = 3*i - 4*i, 4*i + 8 = 4*u. Is 1/4 != i?
True
Suppose -9*i = 2*i. Which is greater: i or 9/17?
9/17
Let b = -5.4 - -5. Let d = b + 0.5. Which is bigger: 0 or d?
d
Let u(w) be the third derivative of w**7/2520 - w**6/80 + 3*w**5/40 + w**4/24 + w**2. Let f(s) be the second derivative of u(s). Let x be f(8). Is x >= 0?
True
Let w = -37 + 36. Is w < 1/19?
True
Let q = 257 + -1537/6. Is q at least 2?
False
Let d = -4 + 6. Suppose -4*v + 16 = -0*t - 2*t, -d*v = 3*t - 16. Which is bigger: t or 1?
t
Suppose 10 = 5*k, -5*x + 2*k + 0*k = -16. Suppose 2*c + 3 + 3 = -2*v, x*c - 5*v = 24. Is -1/4 at most c?
True
Suppose c + 4*c + 4*o + 24 = 0, 17 = -4*c - o. Let q be 10/30 + (-11)/(-3). Let u = c + q. Is u < 0?
False
Suppose 2*f + 0 + 0 = 0. Let s be (1*2)/(1 - 0). Is f < s?
True
Suppose -8 = 3*x + 2*l, -21 = 3*x + 4*l - 5. Which is smaller: -3/29 or x?
-3/29
Let n be 1/5 + (-8)/8. Is n less than 0?
True
Let p(k) = -k**2 - 16*k + 15. Let q be p(-17). Are -3 and q nonequal?
True
Let i = -44 + 41.84. Let q = i + 3.1. Let g = q + 0.06. Is g at most as big as 0.2?
False
Suppose 3*w + 78 = -0*w. Let t be 38/w - (0 - 1). Is 0 bigger tha