6/a). Is m < -0.3?
False
Let m = -61 - -10918/179. Let i = m + 548/1969. Which is greater: i or -1?
i
Let u = 8 + -4. Suppose u*n = n - 6. Suppose -w - 3*w = 0. Which is bigger: w or n?
w
Let d = 0.8 - -0.2. Let k(h) = h - 1. Let z be k(6). Suppose 0 = 5*u + 20, 2*n + u = z*n - 10. Which is greater: n or d?
n
Let l(q) = 8*q + 2. Let k be l(-1). Is 2 >= k?
True
Suppose 0 = 13*g - 17*g + 4. Let m(t) = 4*t + 5. Let v(j) = 5*j + 5. Let z(b) = -6*m(b) + 5*v(b). Let y be z(6). Is g greater than y?
False
Suppose -30 = 5*k - 5*i, 8*k - 3*k - 20 = -5*i. Which is bigger: k or 3/10?
3/10
Let a = -14 - -18. Suppose 3*k = -4*o + a, -5*o = -k - 3*k - 5. Let q = -55 - -661/12. Which is smaller: o or q?
q
Let f(g) = -g**3 - 3*g**2 + 1. Suppose -3*i = -4*o + 29, 3*i - 8 = -i - 4*o. Let a be f(i). Is -2 bigger than a?
False
Let j = -0.066 - -0.166. Is 55 >= j?
True
Let f(k) = k**2 + 17*k - 13. Let s be f(-18). Is s not equal to 3?
True
Let j = 3/10 + -13/110. Suppose -5 + 1 = -4*o. Is j not equal to o?
True
Let x(a) = -a**3 - 4*a**2. Let l be x(-3). Let h be (l/6)/(2/(-8)). Which is greater: h or 4?
h
Let h = 10 - 9. Is h bigger than 1?
False
Let z be 1/4 + 90/(-8). Let y(b) = b + 12. Let v be y(z). Is 0 less than v?
True
Suppose -76 + 1108 = 4*x. Let w = x - 182. Let a = -531/7 + w. Which is greater: 0 or a?
a
Let a(h) = -h - 6. Let b be a(-8). Which is smaller: b or 0?
0
Let i = 11 - 11.6. Let y = 0.8 + i. Is y at least as big as 0?
True
Let q be 78/38 - 2/1. Let t = -15311/665 - -814/35. Let l = q + t. Which is greater: 1 or l?
1
Let a = -33 + 32.864. Let f = a - 0.794. Let g = f - 0.07. Is g < 2/9?
True
Let n be (-28)/70 - (-3)/(-5). Which is smaller: n or 2/147?
n
Let i = -9/32 + 187/96. Let c(y) = -y**3 + 8*y**2 + 8*y + 12. Let j be c(9). Which is bigger: j or i?
j
Let s(f) = 3*f**2 + 7. Let c be s(7). Which is smaller: 153 or c?
153
Let f = -0.7 + 3.7. Let y be (1/5)/((-16)/20). Is f greater than or equal to y?
True
Suppose -7 = -5*i + 13. Let d(t) = t**3 - 5*t**2 + 3*t + 3. Let c be d(i). Is c less than -1?
False
Let b = 53 + -35. Suppose -t + 3*x + 0 = 8, -3*t - b = -3*x. Let d be (4/3)/(9/(-27)). Which is smaller: d or t?
t
Let f be 0/((-2 - 0)/(-2)). Suppose 4 = q - f*q. Suppose 2*o = -0*o + q. Which is smaller: 0 or o?
0
Let s be -6*(-55)/75 + -3. Is s less than or equal to 1?
False
Let y = -1 + 1. Suppose -2*v = -3*j + 11, -7*j + 2*j + 11 = 4*v. Is y at least v?
True
Suppose 0*b + j = -2*b - 8, j - 6 = 5*b. Let z be ((-10)/(-4))/(6/(-4)). Is b bigger than z?
False
Let y = -1/113 - -233/791. Let a = -0.04 - -0.13. Let w = a + -0.29. Which is bigger: w or y?
y
Let h(d) = d**3 - 3*d**2 - 12*d - 7. Let p be h(6). Which is bigger: 28 or p?
p
Let y(s) be the second derivative of -s**4/12 - s**2/2 + 3*s. Let j be y(2). Is j equal to -4?
False
Let m(r) = 2*r**2 + r - 2. Let i be m(2). Let s = 6 - i. Let q = -9.8 - -10. Which is smaller: q or s?
s
Let n = 33/2 - 16. Let o(j) be the third derivative of -j**5/60 + j**4/12 + j**3/6 - 2*j**2. Let z be o(2). Is n greater than z?
False
Let f(y) = y**3 - 2*y - 1. Let l be f(-1). Suppose 2*j + 3 - 5 = l. Is j greater than 2/21?
True
Let c = 0.02 + -0.32. Let a = 0.6 - 1.6. Is c smaller than a?
False
Let j(r) = r**2 - 7*r. Let h be j(7). Which is smaller: h or -1/200?
-1/200
Let u be ((-1)/(-24)*2)/((-6)/(-18)). Let d be 1/4 + (-6)/(-8). Which is bigger: u or d?
d
Let r be 1/(2/30*3). Suppose -8 = m - r*m. Which is smaller: 0 or m?
0
Suppose 0*g = 3*g + 9. Let t be -3*86/(-90) + g. Which is greater: t or 0?
0
Let j = 4/243 - -782/1701. Which is smaller: -1 or j?
-1
Let l(b) = b - 1. Let j = -6 - 1. Let f = 7 + j. Let x be l(f). Which is smaller: -2/7 or x?
x
Suppose -428 = 4*n - b, -n - 228 = n + 3*b. Suppose -29 + 34 = 5*t. Let r be n/63*t/3. Is 0 at most as big as r?
False
Let k = -27494/4809 + 2/687. Are -7 and k equal?
False
Suppose -5*z - 48 - 69 = -3*f, 0 = 5*f - z - 173. Let q be f/36 + 5/(-10). Is 1 smaller than q?
False
Let m = -7.99 + 8. Do m and -1 have the same value?
False
Let s = -2 - -2. Suppose 3*b + b = s. Is -1 smaller than b?
True
Let o be 0/1 + (-2 - -6). Suppose -5*y = -o*y + 4. Are y and -8/3 equal?
False
Let s = -59484 + 415669/7. Let q = s + 103. Which is smaller: 1 or q?
q
Let f = 11 - 5. Suppose 26 = 4*n + f. Let u = 22 + -19. Is n less than u?
False
Let b(w) = -3*w. Let u be b(1). Are -4 and u unequal?
True
Let a = 10.14 - 11. Which is smaller: a or -0.1?
a
Let p = 0.059 + -14.059. Which is smaller: 0 or p?
p
Suppose -116 - 268 = -4*x. Let f be (-148)/x + 2*1. Let b = -9/8 + f. Are -2 and b equal?
False
Let p = 54 + -48. Which is smaller: p or 1/5?
1/5
Suppose 3*i + i + 3 = -5*m, 0 = 3*m - 3*i - 9. Let f = 12 + -18. Let r be (f - -5)*(0 - m). Which is greater: r or 0.3?
r
Let o be (-780)/(-25) + (-1)/5. Is o at least 30?
True
Let m be (3 - 3)/(6 - (-7)/(-1)). Suppose -2*b = 5*v + 15, -6 = -2*b - 2*v + 4*v. Let l be 3/(-5) + b + 0. Which is smaller: m or l?
l
Let d = 24.2 - 22. Let v = -2.2 + d. Which is smaller: v or 16?
v
Let b = -135 + 116. Do -2 and b have the same value?
False
Suppose -a + 0 = 25. Let q = a + 24. Are -2 and q equal?
False
Suppose 3*v + 2*v = -60. Which is bigger: v or -13?
v
Suppose s = -3*d + 1 - 3, 2 = 4*d - s. Is 10/17 at most d?
False
Let f = 2.2 + -5.2. Let l = 6 - 8. Let h = f - l. Which is greater: -0.2 or h?
-0.2
Let u = -6 + 6. Suppose u = -r - r. Is r != -2/7?
True
Suppose 3*q - q + 2 = 0. Suppose 0*w - 3*w = 81. Let k be ((-2)/w)/(4/(-12)). Which is bigger: q or k?
k
Let u = 0.196 + -0.096. Let n be 2/(0/2 - 3). Is n at least as big as u?
False
Let m be -84 + 4*(-4 - -3). Is m <= -89?
False
Let b be 2/4*6/1. Suppose r + b = 6. Suppose -r*w + 4*h = -4, 0*w + 20 = 3*w + 4*h. Which is bigger: 6 or w?
6
Suppose -x - 2*x + 15 = -3*z, -3*z - 4*x = 29. Let i = 6 + z. Let t = 4.3 - 4. Is t smaller than i?
False
Suppose -4*g - 68 = v, 3*g = -3*v - 57 + 15. Let q be 3 + (-3 - (-3)/g). Which is smaller: 0.2 or q?
q
Let y = -743 + 3733/5. Is 3 less than y?
True
Suppose 3*i = -0*i - 36. Let d be (-2)/i + 46/12. Let z be (4 - d)/(-3 - -1). Which is greater: z or -1/4?
z
Suppose -p = -3*p - 5*l - 29, -5*p + l - 5 = 0. Let c = 23 + -24. Which is greater: c or p?
c
Let w be 1*-5*12/(-10). Is 6 at most as big as w?
True
Let u = 54 - 35. Which is bigger: u or 1?
u
Let z = -53 - -63. Which is greater: -0.2 or z?
z
Suppose -3*p = -5*p - m + 9, -11 = -3*p + m. Suppose -2*f - 8 = 2*b, -p*b + 2*f + f + 12 = 0. Let q = b - -3. Which is greater: q or 3/2?
q
Suppose -4*f - 20 = 0, 0 = -u + 6*u - 5*f. Is u equal to -5?
True
Suppose 4 = -i - 2*w - 2*w, -5*i = -w - 43. Let j = -7 + 6. Is i at most as big as j?
False
Let u = 9 + -9. Is -7/2 smaller than u?
True
Let f = 1 - -2. Let l = 4/55 - -30/11. Which is smaller: f or l?
l
Let a = -103/3 + 2051/60. Is -1 less than a?
True
Suppose 16*p + 34 = 2. Let m(w) = -w - 7. Let r(n) = n - 12. Let u be r(7). Let y be m(u). Is y <= p?
True
Let i be ((-2)/6)/(14/(-6) - -2). Let b be (-1)/3 - (-2)/4. Is b < i?
True
Suppose -10 = -4*j - 2. Suppose -2*l = -j*g - 42, l + 4*g - 150 = -4*l. Suppose -1 = -5*w - l, -5*k = -5*w - 20. Which is smaller: k or 0?
k
Let h be ((-384)/(-98))/2 + (-1 - 1). Which is greater: h or -1?
h
Suppose -j - 20 = -3*j. Suppose -j*z + 6*z = 8. Is -3/5 > z?
True
Let c be ((-2)/(-20))/((-3)/36). Is c <= -1?
True
Let g be (2 - 81/(-84)) + -2. Let i = -5/4 + g. Which is smaller: 10 or i?
i
Suppose 2*h + i - 10 = -i, -2*h = -i - 1. Let u = 3 - h. Let f = -2/651 + -862/1953. Is u at least as big as f?
True
Let k = 17189/19985 + -18/571. Let m = 795/7 + -114. Let u = k + m. Which is smaller: u or -0.4?
-0.4
Suppose 3*a = -0*a + 13*a. Is -55 smaller than a?
True
Let z be (-2)/15 + (-2)/10. Suppose 2*t - 15 = -5. Suppose 0 = 5*q - 3*q - y, 0 = -3*q + t*y + 7. Which is smaller: z or q?
q
Suppose 0 = -2*w - 2, -4*c + 0*w = -w + 11. Let m be (32/(-20))/2 - -1. Is m bigger than c?
True
Suppose 24 = -2*h + 4*n, 3*h + 4*n + 0*n + 46 = 0. Let j be (-4)/h + 60/35. Suppose -3*a = j - 5. Is a smaller than 1/3?
False
Let s = -0.06 + -0.44. Let d = -0.6 - s. Which is greater: d or 1/2?
1/2
Suppose -f - 4*y = 5, -5*y + 7 = 3*f - 6. Let x(i) = -i**3 + 8*i**2 + 2*i - 17. Let w be x(8). Let a be ((-13)/f + 1)*w. Which is greater: a or 0?
a
Let f 