 j = 3*s - 5*s. Which is greater: 0 or s?
0
Let z(d) = -2*d**2. Let a(r) be the first derivative of -r**2/2 + 2. Let v be a(1). Let g be z(v). Which is bigger: -1 or g?
-1
Let h be (1 - 2 - (0 - 1))/(-2). Which is smaller: 4/45 or h?
h
Let b = 0.3 + 4.7. Let a = -47.8 - -43. Let u = a + b. Which is smaller: -2 or u?
-2
Suppose 9*r - 5*r = 8. Let t be ((-12)/14)/(r/(-14)). Is t at most 6?
True
Let l(h) = h**3 - 11*h**2 - 1. Let k be l(11). Which is smaller: k or -1/2?
k
Let f(x) = 4*x**2 + x - 1. Let r be f(1). Which is smaller: r or 16/5?
16/5
Let x(t) = -t + 13. Let k be x(2). Is k smaller than 11?
False
Let m = 51 + -50.2. Which is smaller: 0.9 or m?
m
Let f = 33 - 35. Is f greater than 0.12?
False
Let z be (-20)/(-6) + (-2)/(-3). Suppose 2*y + 0 = 4. Suppose -y*c - 2*c = z. Is c less than or equal to -1?
True
Let v be (-539)/(-105) - 4/30. Suppose 6 - 21 = v*p + 3*u, 0 = 4*p + 4*u + 20. Which is greater: 4/3 or p?
4/3
Let q = 0.2 - 0.1. Let v = 0.1 + q. Let s = 0.09 - 1.09. Which is bigger: s or v?
v
Suppose -k + 2 = n, -3*n + 8 = -4*k + 37. Which is smaller: n or 5?
n
Let h be -1 + (-2)/(4/(-18)). Is h >= 9?
False
Suppose -3*s + 5*x = -4, s - 60 = -4*s - 5*x. Let y = -103/13 + s. Suppose 5*j + 2*u = -13, 0*j + u = 2*j - 2. Which is smaller: y or j?
j
Let m = 32/19 - 167/133. Which is bigger: 0 or m?
m
Let h = 0.24 - -1.76. Let t(f) = 14*f**2 + f. Let u be t(1). Suppose 0 = j - 5, 4*a + u = -a + 2*j. Which is smaller: h or a?
a
Suppose 5 + 7 = 2*n - 2*t, 0 = 3*n - 5*t - 12. Let y = -8 + n. Is y >= -1/8?
True
Suppose -2*a + 3 = -a. Suppose 0 = 2*v + 1 + a. Let t = v - 6. Is -7 <= t?
False
Suppose -15 = -2*i - 13. Which is greater: -3/5 or i?
i
Let a be (-1)/2*8/22. Let i = 244 + -244. Is i at most as big as a?
False
Suppose 0 = -4*z + 65 - 5. Suppose l = 4*l - z. Is l less than 5?
False
Let k = -363 + 3271/9. Does k = 1?
False
Suppose 2*x + 3 = 3*u - 8, 2*u - 3*x = 9. Suppose a = u - 1. Is 4/7 greater than a?
False
Suppose 3*h = 2*a + 2, -5*h + 3*a - 2 + 4 = 0. Suppose l - 3 = -2*c + 6, 2*l + 7 = c. Suppose -3*w + c*m + 2 + 10 = 0, 3*m + 8 = w. Which is greater: w or h?
w
Let o be (-8)/16*1/(-3). Is o >= 0?
True
Let v(k) = k**3 - 3*k**2 - 4*k - 4. Let t be v(4). Let g be t + (20/4 - 0). Suppose 8 = -2*j, 7 + 10 = -3*w - 5*j. Is g less than or equal to w?
True
Suppose -q + 20 = 5*k, -5 = -5*q + k - 35. Which is bigger: q or -3?
-3
Suppose 2*w - 3*b = -17, -4*w - 2*b + 16 = 2*b. Let f be (-4)/(-18) + -3 + 3. Which is bigger: f or w?
f
Suppose -4*k - 3 = -35. Suppose k = 2*m - 0. Suppose 3*g + m + 2 = 0. Is g at least as big as -4?
True
Let n be -1 - (-4 - 60/(-9)). Which is bigger: n or -3?
-3
Let d(o) = -4*o + 3. Let a be d(6). Let z = a - -32. Is 11 != z?
False
Let b(j) = j - 18. Let a be b(5). Which is bigger: a or -6?
-6
Suppose -3*r - 27 = -v, -v - 5 = -2. Let h = r + 10. Which is smaller: -1 or h?
-1
Suppose 0 = 4*r - 12, 2*r + 3*r = g + 14. Let l = 5696/585 - 126/13. Which is greater: l or g?
g
Let w be (0 - 2)/(2*-1). Let v be (-2)/3 - 104/24. Let y be v*4*2/100. Which is smaller: w or y?
y
Let c be (0 - -42)*-6*(-4)/(-90). Are -11 and c equal?
False
Suppose 0 = -j - 4*j. Suppose 0 = 5*k - 4*a - 7, j - 9 = 3*a. Which is smaller: -2 or k?
-2
Let g = 0.74 - 0.3. Let n = -0.9 + 0.86. Let m = g + n. Which is smaller: m or -1/3?
-1/3
Let u be 2/4*(1 - -3). Suppose -l - 1 = 2*s - 5, -5*s + 7 = l. Is u > s?
True
Suppose r = -0*p - 2*p + 5, -r - 5*p = -14. Are -1 and r unequal?
False
Suppose o + 26 = -5*y, -1 - 7 = -2*y - 5*o. Let m = y + 4. Let u be m/(2/1 - 0). Is u <= 1/8?
True
Let g = -3.4 - -3. Let u = -2 - -5. Suppose 5*o = 2*l + u, 4 = o + 4*l - 1. Is g at least o?
False
Suppose c = 1 + 1. Suppose 2*q - 3*p + 11 = c*p, -5*p = -4*q - 7. Is 0 <= q?
True
Let i(f) = f**3 - 4*f + 1. Let d be i(-2). Is d greater than 13/8?
False
Let v = -8 + 5. Let a be (-10)/v*4/(-30). Which is bigger: 0 or a?
0
Suppose 0 = -r + 2*k + 6, -4*r + 9 = -5*k - 6. Suppose -h = -r*h. Suppose g = -4*b - h*b + 16, 0 = -5*g + 2*b - 30. Is g greater than or equal to -5?
True
Suppose 15 = 6*c - c. Suppose -c*x + x - 5*z - 15 = 0, -3 = 3*x + z. Is 0 at least x?
True
Let c = 0.495 - -3.525. Let i = c + -0.02. Let t = i - 3. Which is smaller: 2 or t?
t
Suppose 8 = 4*s - 0*s. Suppose 2*b + s*b = -4. Let l be 4 + (-1 - 2) - 3. Which is greater: b or l?
b
Let j = 95/198 + 2/99. Let r(l) = -2*l - 23. Let a be r(-12). Which is bigger: j or a?
a
Suppose -3*p = -0*p. Which is greater: -2 or p?
p
Let g = -4 + 2. Suppose 3*l = -0*l. Let z = -4 + l. Which is smaller: g or z?
z
Let f be -2*4/((-16)/(-18)). Is -10 at most f?
True
Let n be ((-17)/2)/(13727/70). Let v = -3/37 - n. Which is smaller: v or 0?
v
Let w(s) = s**3 - 2*s**2 + 2. Let g be w(2). Let b be 13/(-5) + 0 + g. Let q = 1/15 - b. Is 1 not equal to q?
True
Let k be (-23)/(-2) + (-2)/(-4). Is 11 at most as big as k?
True
Let m = 2.9 - 3. Suppose 5*r = 149 - 119. Is m smaller than r?
True
Suppose 4*j = 4*b - 12, -8*j + 3*j = -4*b + 12. Suppose 4*k = 2*l + 4, -3*k + 2*l + 3*l - 4 = j. Is -9 > k?
False
Suppose -5*q - 2 = -7. Let m be (-5787)/6*(-2)/7. Let b = 276 - m. Which is greater: q or b?
q
Suppose 2*g - 3 = -5. Which is bigger: 3 or g?
3
Let r = -16 + 15. Is -8/7 equal to r?
False
Let j(o) = 5*o**3 - 4*o**3 + 6 - 1 + 9*o + 8*o**2. Let r be j(-7). Let u be (-3)/2*6/r. Do u and -2/3 have different values?
True
Let t be 15/(-20) + 22/8. Suppose -12 = -m - t. Let u = -9 + m. Is u less than or equal to -1/3?
False
Let f = -100 - -103.08. Let g = f - 0.08. Which is greater: 2 or g?
g
Let t = 7191/1157 - -63/89. Are t and 8 unequal?
True
Suppose 0*n + 2*n = -4*p - 10, -5 = -5*n + 5*p. Is -2 at least n?
False
Suppose 3*l + 16 + 38 = -5*r, -r - l = 10. Which is smaller: r or -51/4?
-51/4
Let g = 52 - 57. Let n = -19 + 13. Is g at least n?
True
Let g = -816 - -18758/23. Is 1 > g?
True
Let k = -41 + 54. Does k = 13?
True
Let l be (2/3)/((-4)/(-18)). Let c = 9 - l. Which is bigger: c or 7?
7
Suppose 3*w - 17 = 4. Let c be 0 + (2 - 0) - 1. Suppose -4*r = w + c. Is r less than or equal to -2?
True
Let v be 0*-2*4/(-16). Which is smaller: -3/11 or v?
-3/11
Suppose 242 = s + 10*s. Is s less than or equal to 21?
False
Let t be (-8)/(-20) - 64/10. Let o = 14 + -24. Let j = -15 - o. Which is bigger: t or j?
j
Let q be -2 - (-7)/(-29)*-8. Let j be ((-1)/3)/((-12)/(-9)). Which is smaller: j or q?
j
Suppose -4*k = 4, 0 = 3*i + 2*i - 5*k - 10. Let u be (6/(-9))/(i*-1). Is u equal to 3?
False
Let h be 2/(-4)*(-2 + 6). Let i = h - -3. Is 2/9 at least as big as i?
False
Let r = 0.21 - -4.79. Is -2 at most r?
True
Let f(j) = -3*j**2 - 53 + 52 + 4*j**2. Let z be f(1). Are z and 10/11 unequal?
True
Let b = 1.5 + 0. Let i = -0.6 + b. Let y = 1 - i. Which is smaller: -2/7 or y?
-2/7
Let y be (-3 - -2) + -3 + 5. Which is bigger: y or 2?
2
Suppose 3 = -d - 4. Is -6 equal to d?
False
Let x = -75 - -74. Which is bigger: x or -9/11?
-9/11
Suppose 2*y = 3*w + 72, -y + 8 = w + 27. Is -22 greater than or equal to w?
True
Let c be 10/(-6)*(-42)/(-30). Are c and -2 equal?
False
Suppose 0 = 5*a - 5*i - 35, -2*i = 2*a + 3*i + 21. Suppose -v = 2 + a. Let l be -5*2*4/8. Is l smaller than v?
True
Suppose 2*f = -2*f. Let y(h) = -h**2 - 9*h. Let m be y(-9). Suppose 7*o - 4*o = m. Are o and f unequal?
False
Let r(i) = -i**2 + 6*i - 6. Let x be r(3). Is x smaller than 3?
False
Let u be (-3 + 6)*(-3 + 2). Let p = u + 5. Suppose 5*q + 2*v = -3, 3*q = 6*q + 2*v + 5. Is p bigger than q?
True
Let y be (4 - 2) + -2 - -7. Let b = y - 5. Suppose 3*u = b*u. Which is greater: u or 1?
1
Let x = 80 + -75. Is -0.03 < x?
True
Let k = 935/184 + -206/23. Which is bigger: -3 or k?
-3
Let b be (-23)/(1/4*2). Let z be 4/10 - b/10. Suppose 9 = 3*p - 4*n, -z*p - 4*n - n - 20 = 0. Are 0.1 and p nonequal?
True
Let g = -2/327 + 2947/654. Suppose 3*x - 12 = -0*x. Which is smaller: x or g?
x
Let j = 54 - 78. Is j less than -24?
False
Let d be 12/(-4) + 6 + -6. Let n be (2*d - -2)/(-2). Which is greater: 4/3 or n?
n
Suppose 5*s + 27 = m, -5 = -4*s + 5*s. Suppose m*j + 16 = 3*u - 3, 4*j = -3*u + 7. Suppose 4*a + 1 = 3*a. Are a and j non-equal?
True
Let f(y) = -5*y + 6. Let n(h) = -9*h + 11. Let z(w) = -7*f(w) + 4*n(w). Let s be z(-6). Let q be 3/2*s/(-3). Is -5/2 at most as big as q?
False
L