-4 - -3.7. Let i = x - z. Is i smaller than 0.1?
True
Let r(t) = t - 1. Let j be r(-1). Suppose 5*p + b = -19, -4*p + 2*b - 32 = 7*b. Let v be (-15)/(-6)*p/5. Which is smaller: v or j?
j
Let r be 315/49 - (-6)/(-14). Suppose 15*i - 17*i = r. Is -1 less than i?
False
Let s = -278 + 9728/35. Is 0 at most as big as s?
False
Let w = 0.2 - -8.8. Let r = 9 - w. Which is smaller: r or -0.07?
-0.07
Let h be (2/(-15))/((-564)/18). Are -1 and h nonequal?
True
Let o = 1.6 + -4.8. Let i = -1.2 - o. Is -1 at least i?
False
Let l(f) = -f**2 - 9*f - 5. Let s be l(-6). Do s and 0 have different values?
True
Let n be (-12)/20*10/(-3). Are 0 and n nonequal?
True
Let s = 52 + -7. Let j = 271/6 - s. Is j >= 1?
False
Suppose -3*w - 27 = 5*q, 0 = 5*q - 3*q - w + 13. Which is smaller: q or -5?
q
Suppose -4*y - y = -30. Let v = -8 + y. Suppose 2*q - 2 = 3*q. Is q smaller than v?
False
Suppose 3*r = 4*r + 6. Which is smaller: -7 or r?
-7
Let p(v) = v**3 - 4*v**2 - 5*v - 2. Let x be p(5). Is x greater than or equal to -0.2?
False
Suppose 4*b = b + 5*y + 8, -y - 8 = b. Let r = -2 - -1. Is r at least b?
True
Let j be 3 + (-89 + -1 - 3). Let h be 12/8*(-8)/j. Is -1 >= h?
False
Suppose -5*k + 75 = -5*d, -8*k - 51 = 5*d - 5*k. Let u = -15 + 4. Which is greater: u or d?
u
Let j = -11/52 - -6/13. Suppose 3*q + 5*z + 0 = -23, -q + z + 3 = 0. Is j > q?
True
Suppose 0 = -5*y + 4*p - 73, 3*p + 10 = 1. Let c = 62 + -38. Let k = y + c. Which is smaller: k or 8?
k
Suppose 0 = 5*q + 5*y - 45, -q - 3*q = -5*y + 9. Suppose 7 = q*h - 1. Let g be 1*5 + h + -4. Which is greater: g or 4?
4
Let k be 2/(-9) - (-2)/9. Suppose q - 1 = -k. Is q >= 2/5?
True
Suppose -3*s = -7*s. Let d(q) = q**2 + q - 1. Let b be d(s). Which is smaller: -3/8 or b?
b
Let w be 4/(-6)*(-12)/(-8). Let i(g) = -g**3 + 7*g**2 - 7*g + 4. Let y be i(6). Let d = y - w. Is d bigger than 1/2?
False
Let c(f) = f - 3. Let v be c(3). Suppose -4*i = 2*m - 4, v = -i + m - 2 - 3. Which is greater: 4/9 or i?
4/9
Let h = 5 - 1. Let a = -6 + h. Suppose 0 = 2*o - 4*l + 1 - 19, 5*l + 24 = o. Which is greater: o or a?
o
Let t(x) = -x**3 + 6*x**2 + 6*x + 9. Suppose 17 = 2*y + 3. Let n be t(y). Suppose 4*g + 3*b + 12 = 0, -7*g + n*g + 2*b + 8 = 0. Which is smaller: 1 or g?
g
Suppose -a - 8 = -6*a + 2*m, 5*a - 4*m - 6 = 0. Suppose 3*k - 8*k - 3 = a*p, p = -k. Let h = -5/4 - -7/12. Is k at most as big as h?
True
Let p be 1/17*(-4)/2. Let i(w) be the first derivative of -w**3/3 + 2*w**2 - 4*w - 3. Let s be i(3). Is p less than or equal to s?
False
Let r = 3996 + -8376. Let i be (24/70)/((-8)/r). Let b = i + -188. Which is smaller: -1 or b?
-1
Suppose -4*q - q = 2*z + 43, 5*z + 97 = -2*q. Which is smaller: z or -18?
z
Let s(m) = -5*m**3 + 2*m + 4*m**2 + 5*m**3 + 2*m**3 - m**3. Let j be s(-2). Suppose 2*n - 4*n - 26 = 4*z, -j*n = -5*z. Is n >= -5?
True
Let p be -1 - 10 - (-336)/32. Let a = 0.07 + -0.14. Let f = a + 0.14. Which is greater: p or f?
f
Let h be 15/6*(-2)/7. Suppose 0 + 8 = -4*u. Is h < u?
False
Let x = -8/19 + 115/228. Is -1 bigger than x?
False
Suppose 2*k + 3*k - 4*o + 6 = 0, 3*o - 8 = 2*k. Let n be k/(0 - (-1)/(-1)). Let s be (-2)/(4 - 2) - 0. Which is greater: s or n?
s
Suppose 0 = 3*u + u + 4. Let j = 780 - 8586/11. Do u and j have different values?
True
Let m = 3/8 - 45/56. Is 1 less than or equal to m?
False
Suppose u + 4*u = 50. Let j be 4/u*(-5 - 0). Which is smaller: -1 or j?
j
Let t be 17 + ((-4)/(-5))/(4/(-10)). Which is bigger: t or 16?
16
Let z = 1/27 + -10/27. Is z equal to 0.27?
False
Let c(u) = -u**3 - u**2 + 5*u + 2. Let y be c(-3). Suppose 2*h + 3 = y*h + 3*w, -h + 1 = 2*w. Is h less than 2?
True
Let w be (49 + -10)*(-2)/6. Let b be -1 + 5 - w/(-3). Which is smaller: b or 2/7?
b
Let u(x) = -x**3 + 4*x**2 - 1. Let s be u(3). Which is smaller: s or 6?
6
Let k(z) be the first derivative of -z**3/3 - 5*z**2/2 - 2*z - 1. Let l be k(-5). Which is greater: l or -3?
l
Let a(h) = -2*h - 1. Let g be a(-1). Let q be g - 2*11/18. Which is greater: 0 or q?
0
Let n(i) = -i**2 + 6*i - 6. Let v be n(8). Let q be -3 + (-4)/v + 3. Is 1 <= q?
False
Let p be 54/(-90)*(-10)/27. Is 2/3 bigger than p?
True
Let q be 6/4*2/3. Let b be 0 - (1 + 10/(-12)). Which is greater: b or q?
q
Suppose -2*w = -t + 39, -3*w - t = t + 69. Let m(g) = -2*g**2 - 7*g + 1. Let j be m(-5). Let x = w - j. Which is smaller: x or -8?
-8
Let r be -3 - -7 - (1 + -2). Is r bigger than 4?
True
Let x(n) = n**3 - 8*n**2 - 8*n - 5. Let r(p) = -p**2 + 7*p + 10. Let u be r(8). Suppose -m + 15 = u*t, 4*m - 5*t = 5 + 16. Let z be x(m). Is -2/5 <= z?
True
Suppose 0 = -5*j - 1 - 9. Let i be 7/(-6) + 4/6. Which is greater: i or j?
i
Let o(y) = -31*y. Let b be o(1). Which is greater: -30 or b?
-30
Suppose 5*h + 3*j = -15, 5*h - 2*j = 10 - 0. Is h <= -9/8?
False
Let v be (-12)/(-3) - (-1)/(87/(-346)). Which is greater: -1 or v?
v
Let c(k) = -13*k + 9. Let p be c(6). Let f = -135/2 - p. Let r = 0.3 - 0.2. Is f at most as big as r?
False
Suppose -10*z + 24 = -6. Suppose 11 + 1 = 3*i. Which is smaller: i or z?
z
Let y be 1/(-2)*-1*24. Let c be (-6)/(-4) - (-9 + y). Which is smaller: -2 or c?
-2
Let l = 12 + -7. Let x be (-2)/(-1) + (-1)/(-1). Suppose 5*t - x = 27. Do l and t have the same value?
False
Let x = 8 + -2. Let v be (14/(-3))/(2/(-3)). Which is greater: v or x?
v
Let s(n) = -n**3 + n**2 + n + 2. Let f be s(0). Let i be ((-5)/10)/(f/(-8)). Suppose -d = i*d. Which is smaller: 1/13 or d?
d
Let m = -10 + 5. Let s = m + 8. Let c = -1 + s. Is c at most as big as -1/3?
False
Let x = 39.3 - 41. Let l = -0.7 - x. Is l at most 0.2?
False
Let a = -7 + 6.6. Let h = a - -0.3. Which is smaller: h or 2/3?
h
Suppose -5*s + 20 + 20 = 0. Suppose 5*f = 4*v - 10, v = -f - 3*f - s. Which is greater: f or -5?
f
Suppose -5*x - 27 - 3 = 0. Let l = 20 - 28. Let y be (-10)/(-15) - l/x. Is y > -1/2?
False
Let o be 2*(-1)/(1*-1). Let r be 2 + 43*(-3)/(-3). Let v be 2/(-9) - (-145)/r. Is v smaller than o?
False
Let u = 48 - 38. Which is smaller: u or 1/2?
1/2
Let v = 15742576919/71079 - 221480. Let u = v - -3806701/1824361. Let g = u + -40/21. Is g bigger than 1?
False
Let d(v) = -v**2 - 8*v - 5. Let n be d(-6). Are n and 0 equal?
False
Let h = -25 - -29. Which is bigger: h or 3?
h
Let v = 188 + -287. Is -100 bigger than v?
False
Let s(m) = m + 28. Let j be s(-10). Which is smaller: 17 or j?
17
Let k(l) = l - 1. Let m(x) = -2*x + 2. Let q(w) = -13*k(w) - 6*m(w). Let n be q(1). Are n and 1/5 equal?
False
Let s = 557/5 + -111. Suppose 6 = -3*q + 15, 4*q = 4*r + 8. Which is smaller: s or r?
s
Suppose 1 = -f - 4*u + 3, 0 = -3*f + 2*u - 36. Let j = f - -41/4. Does 0 = j?
False
Let o(k) = 2*k + 6. Let p(n) = 4*n. Let b be p(-1). Let j be o(b). Let h be j/12*4*1. Are 0 and h equal?
False
Let d = 0.04 + -0.03. Let f = d + -0.51. Which is bigger: -0.1 or f?
-0.1
Let z be 2 + (-5367)/1020 + 3. Let q = 1/85 + z. Is q less than or equal to 0?
True
Let d be 15/4 + 2*(-3 + 1). Is 0.1 equal to d?
False
Suppose 0*q + 4*v - 18 = q, 5*v - 29 = -2*q. Let k = -3 + q. Let j(u) = u**3 + 3*u**2 - 4*u - 3. Let f be j(-4). Which is greater: k or f?
k
Let b(h) = -h**2 + 3*h - 1. Let q be b(2). Which is smaller: q or -2/5?
-2/5
Let v = -1 + -2. Let z be v - (0 + 0 - 2). Is 2/21 bigger than z?
True
Suppose 12 - 4 = -2*z. Let b(s) = 5*s**3 + 2*s + 2. Let o be b(-1). Is o < z?
True
Let r(w) be the first derivative of -3 - 2*w + 1/2*w**2 + 1/3*w**3. Let l be r(-2). Is l at least 2/7?
False
Let c = 0.8 + -4.8. Let j = -0.5 - 1.5. Let u = c - j. Do -0.1 and u have different values?
True
Let m be (-4)/(8/(-6)) - 4. Is m less than or equal to -1/22?
True
Suppose -2*k = -2*z - 18, 3*k - 5 = -z + 2. Suppose 3*y + q + 40 = -q, -k*y - 35 = -q. Which is smaller: y or -11?
-11
Let v = 1 - 1. Is v at most as big as 4/9?
True
Suppose -4*z - 2*r + 110 = 0, r + 3*r + 88 = 3*z. Let u(b) = -6*b**2. Let d be u(-1). Let y be d/(-21) - (-6)/z. Is y at least as big as 0?
True
Let a = 1.4 + -2.1. Let z = -4.3 + a. Do z and 2 have different values?
True
Let y = 73 - 78. Which is greater: y or 0.01?
0.01
Let a be 14/(-3)*15/(-2). Let w be a/(-10) - 3/(-6). Let n = 1 - 4. Is n less than w?
False
Let d be 34/6*3*1. Suppose 41 = -6*v + d. Are 0.2 and v nonequal?
True
Let m = 19 - 19.55. Let q = m - -0.05. Let v = 0.5 - q. Which is smaller: v or -0.