= q - 1.1. Is x less than -0.1?
False
Let a = -3 - 1. Let y = a + 2. Let d = 0 - 3. Is d bigger than y?
False
Suppose -a - 12 = 3*z, 2*z = 2*a + a - 8. Let u be 3 + 1*(-1 + a). Which is greater: u or 2/3?
u
Suppose 0 = 2*c - 1 + 3. Suppose 23 = -2*d - 4*u + 1, -d = -3*u + 1. Let o be ((-4)/(-16))/(d/(-8)). Which is smaller: c or o?
c
Let c(g) = -g + 9. Suppose 2*m + 3*v - 10 = 3, 2*m = -v + 15. Let z be c(m). Which is greater: 1/19 or z?
z
Let q be (-146)/13*(-2)/(-80). Let d = q + 2/65. Suppose -3*o = -5*x - 28, 0*o - 2*o + 2*x + 12 = 0. Which is bigger: o or d?
o
Suppose 2*b - 30 = 12. Suppose -4*d + b = -1163. Let n be 2/(-8) + 90/d. Which is greater: n or 1?
1
Let b = -14.3 + 4. Let q = 13 - 24. Let i = b - q. Which is smaller: i or 1?
i
Let w = -7/10 - -31/30. Which is bigger: w or 2?
2
Let f(d) = d**3 + 7*d**2 - 2. Let b be f(-7). Let s be (4/5)/(b/(-15)). Is s < 7?
True
Let c = -11 - -8.5. Let i = c + 1.8. Is i not equal to 0.1?
True
Let y(f) be the second derivative of 0 + 2*f - 1/20*f**5 - 4/3*f**3 + 5/6*f**4 - 9/2*f**2. Let a be y(9). Is 2/3 at least as big as a?
True
Let o(v) = -8*v**2 - v - 2. Let b = -2 + 1. Let w be o(b). Which is bigger: w or -10?
w
Let w = -196 - -195.973. Which is smaller: -1 or w?
-1
Let v be 1317/9 + (-4)/(-6). Let a = v + -731/5. Which is smaller: 1 or a?
a
Let k = -5/3 + 19/15. Let h = -85 + 85.4. Does h = k?
False
Let x = 0.3 + -1.6. Let r = 3 + -2.7. Let o = r + x. Which is smaller: o or 1?
o
Let c(s) = -5*s. Let n be c(-3). Let m be 1/2 - n/6. Let k be (0 + 2)*m/4. Are -1 and k unequal?
False
Let t(f) = 4*f - 5. Let j be t(2). Are j and -0.1 unequal?
True
Let v = -9577/70 - -1095/14. Let i = 58 + v. Is i at least as big as 0?
False
Let k be ((-6)/4 + 1)*(-36)/(-18). Which is bigger: 7 or k?
7
Let f = -50449/61 + 827. Is 1 greater than f?
True
Let v = -8 - -2. Let j be 2/1 + 8/v. Which is smaller: 0.3 or j?
0.3
Let j = -73.01 + 73. Is j less than or equal to -0.02?
False
Let v be 0 + (-552)/45 - 4/10. Which is greater: v or -13?
v
Let w(y) = y + 4. Let k be w(-2). Let u be -5 + k - (-19)/5. Which is smaller: u or 2?
u
Let z(u) = u**3 + 4*u**2 + 2*u - 1. Let t be z(-2). Suppose -64 = l - v, t*l + v + 208 + 4 = 0. Let d be 2/(-6) - l/153. Which is smaller: d or -1?
-1
Let f(k) = -6*k**2 + 7 + 0 - 5 - 1 - k. Let l be f(1). Let j = -13 - l. Is -7 smaller than j?
False
Let q = 1546/177 + -4/59. Let j = -212/21 + q. Is -1 less than or equal to j?
False
Let c = 14529/85 + -852/5. Is 0 at least as big as c?
False
Let j = -1.9 - -2.2. Which is bigger: j or 2/7?
j
Suppose 4*d + i + 261 = 0, -3*i + 127 = -3*d + d. Let b = d - -37. Let t be b/(-8) + (-1)/(-2). Is t > 3?
True
Suppose -5*l + 3*u + 31 = 0, -5*l + 2*u + 39 = 10. Let c = l - 5. Suppose c = -3*w + w. Which is bigger: w or 1/7?
1/7
Suppose 0 = -3*a + 2*t - 9, 0*a - 15 = 5*a - 3*t. Let o = a + 0. Let z = -1 - o. Is z > 2?
False
Let y be 4/(-6)*(-998)/8. Let l = y + -83. Is 1 bigger than l?
True
Let w(d) = 4*d**2 + 9*d + 2. Let q be w(-7). Let c be (-40)/q*6/(-8). Suppose 0*m - 3 = 3*m. Is c at most m?
False
Suppose -8*a + 3*a = -5. Which is smaller: -2/61 or a?
-2/61
Let c(l) = 2*l**2 + 13*l - 5. Let i be c(-7). Suppose -5*n + i*n = 15. Which is smaller: n or -6?
-6
Let p = -553 - -4997/9. Which is smaller: 2 or p?
2
Let t(a) = a + 12. Let o be t(10). Let v be 2/28 + (-11)/o. Which is smaller: v or -1?
-1
Suppose -16 = -7*l + 3*l. Suppose 2*f + 2 = d, -2*f + 2 = -l*f + 2*d. Let p be 10/(-6)*7/35. Is p >= f?
True
Let d be (-3)/(0 + -2 - -3). Let i be d/1 - 3/(-2). Which is smaller: i or -1?
i
Let c be (-12)/8*(-8)/(-102). Which is greater: c or -0.2?
c
Suppose 17 = 2*y - 19. Are y and 17 equal?
False
Let g be (-14)/12 - 3/(-2). Let a = 24 - 26. Which is smaller: g or a?
a
Let x(p) = -p**3 - 3*p**2 - 3*p - 2. Let j be x(-2). Let a = 118 - 116. Which is smaller: j or a?
j
Suppose 2*y - 4*o + 15 + 1 = 0, 3*y = 4*o - 18. Let p be (10/(-8))/(5/20). Let h = p - -4. Is y > h?
False
Let q be (-2)/(-6) - 1/3. Let b be (-34)/(-16)*1 - 2. Is q at least b?
False
Let h(v) = -v - 11. Suppose 5*o = w - 61, 6*w - 23 = 3*o + 2*w. Let p be h(o). Which is bigger: 8 or p?
8
Let f = -17.23 + 17. Which is smaller: 1 or f?
f
Let n = 0.07 + 0.03. Let k = -0.8 + -5.2. Let l = k + 6.3. Which is greater: n or l?
l
Suppose -20 = -4*p + 3*q, 4*q + 2 = p + 10. Let c = 26/3 - p. Which is smaller: 1 or c?
c
Suppose -2*m + 14 = -c, 2*c = 5*c + 4*m + 12. Does c = -7?
False
Let w = 25 + -27. Let g(p) = -p - 9. Let y be g(-6). Are w and y unequal?
True
Let d = -295/42 + 43/6. Let w = 1 - 0. Is d smaller than w?
True
Let z = 2 - 17. Let f = z - -14. Which is greater: f or -2?
f
Let t(v) = -v**2 - 9*v - 8. Let r be t(-7). Let n(o) = -o + 6. Let m be n(r). Suppose m = 4*h - 8 - 0. Which is smaller: h or 1?
1
Suppose 0 = -15*q - 0 - 15. Which is smaller: -2/129 or q?
q
Let v be 9/60 + 6/(-15). Suppose 0 = -r - 0 - 1. Is r less than or equal to v?
True
Let l = -54 + 97. Suppose 4*t - p = l, -3*p - p = t + 2. Which is greater: 9 or t?
t
Let w = 1.35 - -0.05. Let q = 0.6 + w. Is q at most 1/3?
False
Let g = 0.1 - -6.9. Let w = 6.8 - g. Is 2/7 > w?
True
Suppose 0*h + 63 = 3*h. Suppose 2*f = h - 5. Let z be (-2)/3 + f/12. Are z and 1/3 equal?
False
Let v be 0/3*1*1. Which is smaller: 6/5 or v?
v
Let o(l) = 22*l**2 - 2*l - 3. Let k be o(-4). Let u be (-2)/(-7) - 60/k. Suppose -4*j + 0*z + 11 = -5*z, -10 = -2*j + 4*z. Are j and u unequal?
True
Let z = 0.165 + -0.005. Are 2 and z unequal?
True
Suppose 3*f - 1 = -5*g - 0, 2 = 4*g + 2*f. Let q = g - 3. Let j be (7 + -2)/(2 + q). Do 4 and j have different values?
True
Let f = -0.809 + 356.809. Let y = -353.93 + f. Let s = 0.07 - y. Is s greater than or equal to -0.2?
False
Suppose 0 = -16*b + 17*b - 18. Does b = 1/3?
False
Suppose 0*v - 5*v - 20 = 0. Let b be v/18 + (-76)/(-18). Is 4 at least as big as b?
True
Suppose 2*t - 2*g = -4, -t - 5*g = -0*t - 16. Is t less than or equal to 1/4?
False
Let f be 28/(-16)*5/((-75)/(-24)). Let y be 1 + 0 + 11/5. Let z = f + y. Which is greater: 0.5 or z?
0.5
Let u be (-6)/(-2)*(-24)/90. Is u greater than -1?
True
Let i = -160/3 + 54. Let b = -10.79 + -0.21. Let u = b + 10. Are i and u non-equal?
True
Let d be (12/(-8))/((-2)/4). Suppose -d*s - 2 = -2*w + 2, s + 10 = 5*w. Suppose -3*y + 8*y = s. Is y not equal to -1/4?
True
Suppose 5*d - 24 = -4. Is d < 0?
False
Let q be 4456/3312 + (-4)/18. Let x = q - -1/23. Which is greater: 2 or x?
2
Let v(i) = -11*i**2 + 10*i**2 - 2*i + 1 + 2*i. Let q be v(0). Let j be (-1 + 4/3)/2. Is j > q?
False
Let u(w) = 2 - 3 - w**2 + 4*w - 1. Let i be u(4). Let r = -88 - -260/3. Are i and r unequal?
True
Let m be 6/(-4) - 14/(-4). Suppose 4*q = -0*d - 5*d + 21, -m*q + 23 = 5*d. Is q at most -1?
True
Let b = 1.06 - 8.04. Let p = b - -7. Let w = 0.02 - p. Is w at most as big as 0?
True
Let x be -4 - -2 - (256/30)/(-4). Let r be (-4)/(-10) - (-13)/5. Suppose -13 - 4 = 2*k - 5*z, r*k = -4*z + 9. Which is greater: x or k?
x
Let b(i) = -i**3 + 7*i**2 + 9*i - 3. Let d be b(8). Is 5 > d?
False
Let m = -4 + 3. Let s = 6 - 4. Let t be (m - (s + -3))/1. Which is smaller: 2/5 or t?
t
Let r = -72 + 71. Is 2/29 < r?
False
Suppose -4*j - 9*j = -156. Is 10 <= j?
True
Suppose 0 = 4*k - k + 3*t + 171, 0 = -5*k + t - 303. Let g be ((-12)/(-10))/(18/k). Are g and -4 nonequal?
False
Suppose 8 = 3*m - 10. Let f be (33/(-6))/((-3)/m). Which is smaller: 12 or f?
f
Let v = -23/10 + 3/2. Suppose 0*w = -w - 5*n - 2, n = w - 4. Suppose -2*q = 4*r + 2*q, -2 = 4*r + w*q. Is r greater than v?
False
Suppose 0*m + 2*w = -4*m - 4, 4 = 5*m - 2*w. Suppose -a = -m*a + 1. Which is smaller: 1/6 or a?
a
Let t be 1 + -2 + -1 + 1. Let z = 2 + -1. Let j be 3/63 + z/(-3). Are t and j equal?
False
Suppose 9 - 12 = 3*p. Which is smaller: 4/9 or p?
p
Let f = -53 + 46. Which is greater: f or -17/3?
-17/3
Let a(l) = -l**2 + 16*l + 11. Let z be a(16). Is 11 greater than z?
False
Let r(s) = s**3 + 9*s**2 + 8*s - 2. Suppose -2*c - 14 = -d, c + c = -3*d - 22. Let m be r(c). Let u be m + -1 + (-14)/(-6). Which is greater: -3 or u?
u
Suppose 4*g - g + 16 = 4*h, 3*h = 4*g + 19. Is 2 > g?
True
Let g be -2 - (0 - 2/(-1)). Suppose 0 = -2*c - 10 - 10. Let u be (g/c)/((-4)/40). Which is smaller: -2 or u?
u
Let t(p) = p**2 + 1. Let w be t(0). Let k 