52/(-70) + 4/5. Is w smaller than s?
True
Suppose -9*s - 111 = -5*s - 5*y, 0 = 5*s + 3*y + 111. Let i(p) = 4*p + 6. Let u be i(-8). Which is bigger: s or u?
s
Let y = -8719 + 1124752/129. Suppose -5*q - 3*s = -15, 0*s + 20 = -2*q + 4*s. Is q < y?
True
Let m = 9.13 - 0.13. Let o = -9.03 + m. Which is greater: o or 3?
3
Let l = 296 + -299. Let p(v) = v**3 - 7*v**2 + 8*v - 8. Let r be p(6). Let k be -3*(8/6)/r. Which is smaller: k or l?
l
Let q(a) = 2*a - 35. Let c be q(15). Is c < 6/7?
True
Let n = -61 + 90. Suppose 3*s - 2*b - n + 91 = 0, 0 = 3*s - 5*b + 74. Let j be (1/2)/((-9)/s). Are 2/13 and j equal?
False
Let q = -71 - -71.79. Let n = q + -0.87. Which is smaller: n or 0.04?
n
Let c = 1022 - 1054. Let n = -66 - -33. Is c != n?
True
Let c = 3 + -3.2. Let m = c + 0.3. Let g be 6/(-9)*-6*(55/(-50))/11. Is g greater than m?
False
Let n = 22 - 17.5. Is 2 greater than or equal to n?
False
Let s be ((-10)/(400/408))/((-3)/10). Is 34 at most s?
True
Suppose -6*u = -4*k - u - 16, -4*k + 24 = 5*u. Which is smaller: -3/41 or k?
-3/41
Let i be (-34)/4 - (-2 + 6). Is i <= -12?
True
Let o be (-1)/(-4) - 15/60. Suppose 3*u = -4*a - 0*a + 20, -3*u + 3*a + 27 = o. Let f = -18 + u. Is -10 <= f?
True
Let f be (-2)/8 + 4/16. Let x be 116/406 + (-72)/154. Is x greater than f?
False
Let y be ((-16)/84)/(24/28). Which is greater: -34 or y?
y
Let h = 1872 - 1762. Which is smaller: -7 or h?
-7
Let t be -6*((-8)/(-6))/(-2). Suppose 5 = -2*z + 4*f - 7, 3*z = 2*f - 2. Which is greater: t or z?
t
Let p(w) = 6*w + 0 + 19 - w - 3*w. Let z be p(-8). Suppose 0 = z*f + v - 56, 3*f - 2*f + 4*v - 26 = 0. Which is smaller: f or 17?
17
Let k = 3 - 0. Let q(i) = -2*i**3 + 4*i**2 - 4*i + 1. Let m be q(k). Which is bigger: m or -28?
-28
Let f = 0.18 - -0.02. Let g = -11 - -10.74. Is f less than or equal to g?
False
Suppose 5*b + 2 = 4*b. Let p = b + -5. Let g = 6 + p. Which is greater: g or -1/17?
-1/17
Let j = 0.0129 - -0.1731. Which is bigger: j or -1?
j
Let f(t) be the first derivative of -t**4/4 + 4*t**3/3 + t**2 - 768. Let p be -1 - (-4 + (-1 - 0)). Let z be f(p). Is z at most 6?
False
Suppose 4*a - 16 = -5*m + 12, 8 = 3*m - 2*a. Suppose -5*i + 3*w = 2, -m*i + 17 + 7 = 4*w. Suppose -d = 2*d + b - i, d = -5*b + 24. Which is bigger: 2/9 or d?
2/9
Let b be 1 - -2 - (-30)/12*-2. Let x be -6 + (-62 - -7) + (-4)/b. Which is bigger: -60 or x?
x
Let q be (0/(-1))/1 + 35/(-7). Let c be (-148)/(-28) + (-2)/7. Suppose -u = c*b + u + 15, -u = -5*b. Which is bigger: b or q?
b
Suppose -3 + 5 = 2*p. Suppose 4*n = -5*n + 621. Which is bigger: p or n?
n
Let q = -252 + 215. Which is bigger: -4 or q?
-4
Let p = 2399 + -2399. Do -1/779 and p have the same value?
False
Let q = -15.6 + 16. Let w = q + -0.4. Let z = w - -0.5. Which is smaller: -1/2 or z?
-1/2
Suppose 5*g - 4*g = 4*w - 13, -2*w = -2*g - 2. Suppose 3*b + 4*a + 1 = 4*b, 5*a = 5. Suppose -4*d + 17 = -b*i, -g*i - 4*d + 7 = 2*i. Is i at least -2/3?
False
Let u = -327 - -144. Does -183 = u?
True
Suppose -2*r = -6*r. Suppose k + 2*k = -2*x + 16, 2*k - x - 13 = r. Let s be (-3 + 3)*(-3)/k. Is s smaller than -4/7?
False
Let w be 116 + 10/(-5) + 3. Let r be w/(-17) + (-6)/51. Is r less than or equal to -7?
True
Suppose -43 = -11*t + 276. Is t at least 24?
True
Let d = 5209/5 + -1042. Is 90 > d?
True
Suppose -35 + 11 = -8*v. Suppose 3*r - r = -v*r. Which is smaller: -2/25 or r?
-2/25
Let g = 0.096 + -71.096. Let u = 73 + g. Which is bigger: 0.04 or u?
u
Let k be (-19)/(456/356) + 1*2. Is k less than -5?
True
Let n be ((-5)/(-25))/(4/8). Which is bigger: n or 1?
1
Let m = -10 - -20. Let q = m - 9.2. Let i = q + -1.3. Which is bigger: i or -1?
i
Suppose -52 + 13 = -3*t. Suppose -w = 3*y - t, -w - 2*y + 6 = -3. Which is bigger: -0.1 or w?
w
Let d = -1170 + 1268. Is 103 > d?
True
Let a = 7351/15 - 489. Which is smaller: a or 0.3?
0.3
Suppose -j + s - 1 = 0, j + s + 4 = 1. Suppose 29*i = -0*i - 87. Are j and i nonequal?
True
Let q = 227 - 191. Is q bigger than 0.1?
True
Suppose 6*x - 421 = -397. Are -16/5 and x equal?
False
Suppose 2*t + t = -5*r + 34, 2*t - 31 = -5*r. Suppose -r*k - 75 = -5*u, 3*u + 3*k = -0*k + 27. Let q be ((-78)/48)/(9/u). Which is smaller: -1 or q?
q
Let u be (4 + 0)*(-3)/(-6). Suppose 3*a = 5*x + 20, -x + 12 = u*a + 3. Let b be 6/195*(-30)/(-2). Are x and b non-equal?
True
Let m = -61 - -23. Let o = -38 - m. Which is bigger: o or 9?
9
Let j be (-96)/(-40) - 3/(-5). Let t(f) = 2*f + j + 8 - 10. Let b be t(-1). Is b > 3?
False
Suppose 2 = -4*y - 3*g - 15, -3*y - 2*g - 12 = 0. Suppose 0 = -22*k + 85*k + 945. Is y not equal to k?
True
Let d = 0 - 2. Let y = 63 + -57. Suppose 0 = -y*k + 8*k + 8. Is d not equal to k?
True
Suppose -60 = -4*q + 8. Suppose -6*f + 44 = 2*h - 2*f, 4*f - 92 = -5*h. Which is smaller: q or h?
h
Let n(z) = 7 + 7*z + 1 - 7*z + z. Let y be n(7). Let p(l) = l**2 - 4*l + 4. Let h be p(6). Is y less than h?
True
Let k be -1 + -4 + 1 + 1. Let g be (-608)/180 + (-28)/126. Which is smaller: k or g?
g
Let f(l) = -l**2 - 11*l - 8. Let v be f(-4). Suppose x + 2*x - 57 = 0. Is v less than or equal to x?
False
Let b = 0.18934 + 0.01066. Let v = 8 + -7.94. Let g = -2.94 - v. Is g less than or equal to b?
True
Let c be (18/3)/((-4)/(-10)). Let p(j) = 5*j**2 - 13 - c*j - 9*j**2 + 3*j**2. Let s be p(-14). Which is smaller: 2/9 or s?
2/9
Suppose 18 = 5*y - 3*a, -8*a + 17 = 5*y - 10*a. Let g be y/28 - (-11)/77. Which is bigger: g or 2/3?
2/3
Let g = 4 + -10. Let w = g - -6. Let r = -4 + 2. Which is smaller: w or r?
r
Suppose 0 = 2*w - 2. Suppose -w - 1 = 2*n. Let r = 54/7 + -317/42. Which is smaller: n or r?
n
Let m = -13 + 24. Let r = m + -10. Let s = 0 + -0.2. Is s at least r?
False
Let b = -36.9 + 5.9. Let a = -31.03 - b. Which is bigger: -1/2 or a?
a
Suppose -342 + 336 = 3*u, 4*t = -u - 10. Let v be 2/1 - (92 + 2). Let f = v + 268/3. Is f < t?
True
Suppose -4*j - 2*r - 86 = -r, 0 = 3*j + 5*r + 73. Which is bigger: -2 or j?
-2
Let b be ((-7)/14)/(5/(12 - 2)). Is 0.478 > b?
True
Let g(x) = -19*x + 228. Let o be g(12). Which is smaller: o or 4/331?
o
Let d(r) be the second derivative of r**5/20 + r**4/12 - r**3/6 + 78*r**2 - 8*r. Let a be d(0). Let f be ((-2)/9)/((-8)/a). Which is bigger: 3 or f?
f
Let f be ((-4)/(-10))/((-47)/60395). Is -514 <= f?
True
Suppose 0 = 4*f + f. Suppose f = -2*d - 5 - 1. Let a = -1217/700 - 2/175. Which is smaller: a or d?
d
Suppose 3*j - 51 = 2*u, -26*j - 5*u - 51 = -29*j. Which is greater: j or 13?
j
Suppose -4*f = 5*g + 9, 5*f - 3*g = -7*g - 9. Let t be 20/6*36/(-10). Let x be (-4)/(-33)*18/t. Is x smaller than f?
False
Let j = -31 - -59. Let d be j/7 - 16/2. Which is smaller: d or -2?
d
Let x = -440 + 911/2. Let f be ((-15)/(-9))/(0 + 6/54). Which is smaller: x or f?
f
Let z = 27 + -19. Suppose s = -s + z. Let i be (-4 - -1)/((-6)/s). Which is smaller: i or 4/5?
4/5
Let i = -2.3 + 1. Let b = -1.4 - i. Let n = 0.3 + -0.31. Is n smaller than b?
False
Suppose 321 = -14*a - 141. Which is greater: a or 5?
5
Let x = 5.5 - 2. Let a = x - 1.9. Let u = -2.4 - a. Is -2 smaller than u?
False
Let c = -3/1900 - 410307/58900. Is -6 less than or equal to c?
False
Let s(u) = u**2 + 3*u - 1. Let p be s(-2). Let n be 34/51 + (-7)/p. Let d be ((-5)/2)/(n/(-6)). Which is greater: 6 or d?
6
Let y = 15 - 17. Let l be (((-16)/4)/4)/(y/(-14)). Which is greater: -6 or l?
-6
Suppose l - k + 5 = 0, 2*l = 2*k - 4*k - 6. Do l and -7 have the same value?
False
Let n be 2/(-17) + (-824)/(-68). Let b be ((-2)/n)/(16/(-4)). Is -1 less than or equal to b?
True
Let f be (9/72)/((-19)/(-36)). Is 0 at least as big as f?
False
Let h be (-45)/(-6) - ((-3)/(-2) - 0). Let l be 2/(-3)*(21/h + -3). Which is smaller: 2 or l?
l
Let j be 894/(-30) - (-2)/(-10). Is -2/5 greater than j?
True
Let g = 398.3 - 398. Which is smaller: -3/11 or g?
-3/11
Suppose 0 = -c + z - 4*z - 29, 0 = -5*c + 3*z - 55. Let j be 9/12 + c/40. Let k = 7 - 14. Which is greater: k or j?
j
Let v be (-6)/21 - 40/7. Let q be (2/v)/((-2)/6). Suppose -9*d + 8*d - 4*o = 19, 2*o = -5*d - 5. Is d not equal to q?
False
Let k be 4*(-4 + 117/30). Which is greater: 4.1 or k?
4.1
Let d(j) = -2*j - 5. Suppose -r = 2*r + 15. Let y be d(r). Which is smaller: y or 3?
3
Let g be (-26 + -4)/10 - 27. Let d = 22 - 51. Which is smaller: d or g?
g
Suppose f = -3*f + 16. Let z(x) = -