-5*g - 4 + 24, 2*g - 17 = -3*q. Which is smaller: q or s?
s
Suppose 4*q + 2*m = -q + 8, -2*m = 2. Suppose q*l - 14 = -6. Is 4 at most as big as l?
True
Let w(c) = c**3 - 7*c**2 - 9*c + 6. Let p be w(8). Let a be (p/(-8))/((-9)/(-12)). Is 0 greater than or equal to a?
False
Let b = 20 + -24. Let r be (-39)/42 - 2/b. Which is smaller: r or 1?
r
Let x = -8 - -2. Let c = x + 3. Which is smaller: -4 or c?
-4
Let w = -6248/663 + 122/13. Is -1 at most as big as w?
True
Let i(h) = 5*h + 7. Let p(v) = 4*v + 8. Let j(q) = 5*i(q) - 6*p(q). Let g be j(12). Which is smaller: 1/12 or g?
g
Let d be (-1)/(-2)*76/(-95). Which is greater: 25 or d?
25
Let d be 2 + (-3 - (-52)/(-14)). Let c = -32/7 - d. Suppose 0 = -0*s - s. Are c and s equal?
False
Let w = -2123/202 + 1/101. Is -10 at least w?
True
Let g be (-171)/24*1/((-6)/(-4)). Is g not equal to 0.1?
True
Let u be (-3 - 0)/(3/(-86)). Let t = u + -428/5. Which is greater: t or -1/2?
t
Let t(f) = -f**2 + 4*f - 3. Let c be t(3). Let z be c + -1*(-90)/33. Let m = -109/44 + z. Which is smaller: m or -2/7?
-2/7
Let l = -21158/69 - -922/3. Are 0 and l equal?
False
Let y = -55 + 163/3. Suppose 2*n - 11 = -3. Suppose b = 5*b + n. Which is smaller: y or b?
b
Let b = -365 + 671/2. Let k = b + 28. Suppose -4*a = -a + 9. Is a greater than k?
False
Let t = -31 - -19. Which is smaller: t or -1?
t
Let o = -1.55 - -2.55. Let y = 2521/11 + -229. Is y equal to o?
False
Suppose 2*i - 16 = 10. Let f be 5/(-6) - (-12)/8. Which is smaller: i or f?
f
Suppose 3*u - 3*a - 15 = a, a + 2 = -u. Let i = -1 - -0.9. Which is smaller: i or u?
i
Let s = 9/4 - 7/3. Let x = 1/4 - s. Which is greater: 0 or x?
x
Let d be (-16)/(-8)*-17*2. Let y be ((-4)/(-5))/(d/(-10)). Are y and 1 unequal?
True
Suppose 4*u + 7 = z, -2*u - 5*z + 10 = -z. Which is bigger: u or -4/9?
-4/9
Suppose -u = u. Let z be (-42)/(-12) - (-1 + u). Is 6 less than z?
False
Let r be (-8276)/6*11/(-55). Let v = 276 - r. Let w be (-1)/4 - 5/(-4). Is w >= v?
True
Suppose -9*t + 6*t + 3 = 0. Is 1/20 >= t?
False
Let p be (26/(-8) - -2)*-4. Suppose -2*w - 2*w + 80 = 0. Suppose 0*z - w = -5*z. Which is bigger: z or p?
p
Let n be (2/5)/(3 + -1). Let f = -9 + 8. Is f >= n?
False
Let z = 8 - 15. Let o = z + 7.11. Which is smaller: 1/3 or o?
o
Let b = 7 + -4. Suppose 3*q + 6*q = -54. Is q smaller than b?
True
Let j be (-21)/15 + (-6)/(-15). Which is greater: 3/56 or j?
3/56
Let d be (3 - 2)*(-2)/2. Let s be d/(-1)*(2 - -1). Suppose 0 = s*j + 2*j. Is 1/3 >= j?
True
Let m be 3/12*(1 + 3). Is m at most -2/157?
False
Let v = -14 - -14. Which is greater: -1 or v?
v
Let x = 1 + -1.1. Let l = 15 + -18.5. Let s = 0.5 + l. Is s at most as big as x?
True
Suppose 4*b + 22 = 3*w, -10 = -2*w - w + b. Which is smaller: 3/2 or w?
3/2
Let k = -1.28 + 1.4. Let u = -0.38 - k. Is -0.1 at most u?
False
Let f be (5/(-3))/5*(-3)/(-2). Is 12 at most f?
False
Suppose 0 = 5*b - 1 - 34. Suppose -88*h + 56 = -81*h. Is b smaller than h?
True
Suppose 5*j = j - 16. Let f = j + 2. Which is greater: f or -0.3?
-0.3
Suppose -2*w = 8 - 0. Let j = w + 1. Are j and -2 unequal?
True
Let q be (-6)/10*1*5. Suppose 4*h = 20 - 8. Let f = h - 7. Which is bigger: q or f?
q
Let n(x) = 34*x - 3. Let g be n(2). Is g <= 64?
False
Let d(q) = -q**3 + 4*q**2 + 7*q - 7. Let k = -8 + 13. Let w be d(k). Let r = 0 - -4. Which is smaller: w or r?
w
Let a = 15 + 3. Let g be (a/4)/(21/(-56)). Is g equal to -12?
True
Suppose 0 = 3*q + 42 + 30. Is -1 >= q?
True
Let j = 4 - 3. Let g be (-136)/36 + 4/j. Which is greater: g or 1?
1
Let h(r) = 3*r**2 + 2*r - 1. Let y be h(-2). Suppose -5*s - y = -2. Which is greater: s or 2/11?
2/11
Let g(l) = -l - 3. Let r be g(-2). Do 1/13 and r have the same value?
False
Let q = 0.13 + -3.13. Let z = -2 - -1. Is z smaller than q?
False
Suppose h = -4*q - 13, -h - 1 = 4. Let c = -38/5 - -34/5. Which is smaller: c or q?
q
Suppose -8*l = -3*l, l = -5*v - 10. Let x be (0 - v/(-2)) + 3. Suppose b - x = -b. Is b equal to 3/2?
False
Suppose 3*w = r - 1, -4*w + 0 = -r + 1. Let m be (w + (-4)/(-28))*-4. Which is bigger: 0 or m?
0
Suppose 0 = 6*m - m - 5. Let w(a) = -4*a**3 + 2*a - 1. Let n be w(m). Let r be (-4)/6 + (-3 - n). Do 0 and r have the same value?
False
Let p be (16/(-6))/((-8)/(-24)). Is -2 smaller than p?
False
Suppose 5*h - 89 + 239 = 0. Let v = h + 34. Does v = 18/7?
False
Let o(x) be the first derivative of x**2/2 - 3*x - 1. Let y be o(7). Let t be (-2 + y)/(-2) - 0. Is t at most as big as -1?
True
Suppose -2*i = -i. Let p(h) = 7*h. Let k be p(-1). Let u be 3/k*2/(-3). Does u = i?
False
Let c = -6 + 6. Suppose -5*t - 19 - 20 = 4*q, 4*q + t + 27 = c. Let i be (-9)/q - (-3)/(-2). Is i at least -1/6?
True
Let p = 39.09 - -0.91. Is -0.1 at least p?
False
Let s = 21/10 - 8/5. Let r = -0.3 - -0.5. Which is smaller: s or r?
r
Let m = 1 - 1. Let u = 2 - 1. Let r be u + 0 + (-10)/14. Is m less than r?
True
Let y be 12512/20 - (-4)/10. Let t = y + -16904/27. Let s = t - 23/54. Is 0 greater than or equal to s?
True
Let p(l) = -8*l - 4. Let d be p(-4). Suppose 3*s - f = -2*s + 62, 52 = 4*s - 2*f. Suppose 3*b = -5*g + d, -2*g = -3*b + g - s. Which is smaller: b or -1?
-1
Let f(r) = r - 16. Let t be f(15). Which is greater: t or -2/97?
-2/97
Suppose -18 = -3*l + 4*p, -4*l - 5 = p - 48. Suppose 5*o + 0 + l = 0. Which is bigger: o or -3?
o
Let a be (-6)/(-5)*20/6. Suppose -2*q + 5 = -5*u, q = -3*q - 4*u - a. Suppose 0 = 2*p - 5*p. Is p at least as big as q?
True
Let t(o) = o**3 - 8*o**2 - 9*o + 3. Let w be t(9). Suppose -w*h - 2 + 5 = 0. Which is smaller: 9/7 or h?
h
Let k be ((-5)/(-20))/(1/(-54)). Let g = 193/14 + k. Which is smaller: g or 0.4?
g
Let x be 1*-1 - (-2 - -5). Let i be -2 + -2*1/2. Is i > x?
True
Let g = 15.7 - -1.3. Are 0.1 and g unequal?
True
Let l = 33/19 - -490/57. Let y = l + -29/3. Is 0 > y?
False
Suppose -7*g - 9 = -16. Which is greater: g or -1/6?
g
Let h(a) = -a**3 - 7*a**2 - 7*a - 7. Let n be h(-4). Is n at least -28?
True
Let o be (2 + 246/(-135))*51/476. Which is smaller: -1 or o?
-1
Suppose v = 5*g + 162, -2*g + 3*v - 17 = 40. Let x be (g/6)/(2/(-4)). Let p be 1 + (x/7 - 2). Which is smaller: 0 or p?
0
Let o be (-2)/(-9) + 102/27. Suppose 0 = 5*z - 1 - 24. Suppose -z*j + 16 = -j. Is j greater than or equal to o?
True
Let r = 176 - 359/2. Let l = -0.1 + 0.2. Is r <= l?
True
Suppose 0 = 2*u + k + 8, 7 = -3*u + 4*k - 3*k. Let b = u - 6. Let o = -26/3 - b. Does o = 0?
False
Let v = -0.9 - -1. Let n = 20.7 + -20. Which is bigger: v or n?
n
Let p = 2209/4 - 552. Let l = -4 + 3. Is l not equal to p?
True
Suppose -8 - 10 = -3*r. Suppose 7*h - 16 = 3*h + 5*t, 3*t = 0. Suppose -5*x + h = -3*x + 4*s, -4*s + r = x. Which is bigger: -7/4 or x?
-7/4
Let h be -1 + 2/4 + (-22)/(-4). Is 3/2 greater than h?
False
Suppose -2*m = 4*y + 10 + 2, -2*m + 15 = -5*y. Suppose -1 = -3*i + 5*z, 1 = -5*i + 5*z - 4. Is i at most as big as y?
True
Let z(k) = k**3 + 7*k**2 - 6*k. Let x be z(-8). Let g be 4*(-4)/x - -3. Is 4 < g?
False
Suppose -11*t = -7*t + 44. Which is smaller: -1/2 or t?
t
Let j(c) = -3*c**3 - 14*c**2 + 3*c - 11. Let k(m) = m**3 + 5*m**2 - m + 4. Let i(v) = -3*j(v) - 8*k(v). Let o be i(-3). Is -4 less than or equal to o?
False
Let k = -36 - -30. Is k at least as big as 0.9?
False
Let m(r) = r**2 + 3*r + 1. Let i be m(-2). Let v be 4/(-6)*(-9)/34. Which is smaller: i or v?
i
Let d(b) = -8 + 6*b + b - 3*b + b**2. Let i be d(-6). Suppose 2*q - 2*h = 10, -h = -i*q + h + 12. Which is bigger: q or 2/27?
q
Let r = 0.1 - 0.06. Let u = 0.06 + r. Let z(p) = p - 10. Let m be z(7). Which is smaller: m or u?
m
Let c(z) = -z**3 - 7*z**2 + 2. Let o be c(-7). Suppose u = -4*l - 2, l + 2*l - u = o. Is l less than -1/2?
False
Let h(i) be the third derivative of -1/24*i**4 + 0 + 0*i**5 - 2*i**2 + 0*i + 2/3*i**3 - 1/120*i**6. Let t be h(0). Is t at least as big as 6?
False
Let v = 101/138 + -36/23. Let o = v + 1. Let y = 0 - -1. Which is smaller: o or y?
o
Let g = -272 + 3534/13. Let k = 436/39 - 65/6. Let a = k - g. Which is bigger: -0.1 or a?
a
Let r = -8 + 8.1. Let w be ((-2 - -3)*-1)/3. Is r at least w?
True
Let x = 16 + -16.21. Let l = x + -0.09. Let r be (6/(-4))/((-42)/8). Are r and l unequal?
True
Let c be (-123)/72 - (-6)/(-36). Is c at most as big as -1?
True
Let p(r) = -4*r - 2 + 2*r**2 - 2*r**2 - 4*r**2 + 3*r**2.