ose 5*k - 3*m - 3 = 7, -4 = -2*k - m. Let d be (-48)/119 + k/7. Is d less than or equal to 0?
True
Let a = 0.1 - 0.08. Let s = 0.127 + 1.853. Let w = a + s. Which is bigger: 1 or w?
w
Let j = 162.99 + -163. Let a = -2.5 - -0.5. Do a and j have the same value?
False
Let c(w) = w**3 + 2*w**2 + w + 1. Let m be c(-2). Which is smaller: m or 0?
m
Let y(k) = 2*k**2 + k - 1. Let z be y(1). Suppose -z*x + d = 5, -2*d - 3*d + 18 = -3*x. Let m = 0 + x. Are -1 and m equal?
True
Let v be 0*4/8 + 30/(-27). Is v at most 0?
True
Let i be 2 - 7/(21/(-6)). Suppose -i*k = -5*p, -k - p = -6*k. Which is smaller: k or -1?
-1
Let r = 0.31 + -0.51. Which is smaller: 0 or r?
r
Suppose 5*l = -0*l - 5*c + 225, -3*l + 4*c + 142 = 0. Suppose -62 = -3*v + l. Let f be 1/v - (-1)/(-4). Is -1 != f?
True
Let s be (4 + -2)*6/20. Let j = 4 + 2. Suppose 0 = j*f - 2*f. Is f at least s?
False
Let i = 4 - 1. Let v = -3 + i. Let k = 0.1 + v. Which is smaller: k or -0.1?
-0.1
Suppose 2*a + 2 = a + 2*m, 3*a - 3*m = -6. Is -2 <= a?
True
Suppose 1 = q - 3*o, 7*o - 5 = 5*q + 2*o. Let g = 3 + q. Which is greater: 0 or g?
g
Suppose -4*f = -6*f + 16. Let b be f/14*(-2 + 1). Which is greater: b or -1?
b
Let r be (-2)/(-3) + (-304)/6. Let q be 4/10 - (-1220)/r. Let k be 1/2 - (-3)/q. Which is bigger: 0 or k?
k
Let w = 17 + -11. Which is bigger: w or 3?
w
Let d = -26 + 28. Let o = -0.42 - -0.02. Let j = o - -0.3. Is d at least j?
True
Let j = 3 + -3. Do 0 and j have different values?
False
Let s = -6 + 4. Is s bigger than 6?
False
Suppose 3 = o - 3. Let n = o - 6. Which is smaller: n or 2/17?
n
Let j = -18 - -21. Let w = -0.1 + 2.1. Let k = w - j. Which is smaller: k or 2/7?
k
Let v be -2 + ((-88)/(-4) - -2). Is v < 23?
True
Suppose 72 = 5*w + 67. Which is bigger: w or -3/11?
w
Suppose -9*i = -11*i. Let c be (i - -1)*(-55)/(-11). Are c and 17/3 unequal?
True
Let w(n) = 7*n + 6 + 6 - 3 + n**2. Suppose 5*d - 11 = -41. Let l be w(d). Which is smaller: l or 0?
0
Suppose -4*y + 19 = 47. Which is smaller: -4 or y?
y
Let p be 2/(-9) - 1383/(-5859). Let a = p + -1983/2170. Let d = -1/2 - a. Do d and -1 have different values?
True
Let j = -1.11 + 2.11. Let n = 1 + -2. Are j and n equal?
False
Let t = 0.1 - -0.9. Which is smaller: 4 or t?
t
Let a(k) = 90*k**2 - k - 2. Let c be a(-1). Does c = 89?
True
Let j = -2 - -1. Suppose -z = -f - 2 - 0, -20 = -5*z - 5*f. Let p be 2/(z - 31)*-4. Which is smaller: p or j?
j
Let s be (-18)/(-1 + -1 + 0). Let g = 19 - s. Do g and 11 have the same value?
False
Let a = 8 + -8. Let y = 0 - a. Let m = 0.2 + 0.3. Are y and m unequal?
True
Let b = 3 + 2. Suppose 9 + b = -s. Let y be (-4)/s - (-27)/(-21). Which is greater: y or 3/10?
3/10
Let h(o) = o**3 - 8*o**2 - o + 4. Let q be h(7). Let y be -4 - 3/(36/q). Suppose 0*a + a = 0. Which is smaller: y or a?
a
Suppose 5*y - 3*i + 9 = 2, 0 = -5*i + 20. Let z = 9 - 6. Let c be (y + 1)/(-5 + z). Which is bigger: 1 or c?
1
Suppose 4*q = -2*n - 24, -q - 5*n = q + 12. Let b be 94/(-18) - 6/(-27). Are b and q unequal?
True
Let p = 6625/1722 + -4/287. Let w = p + -49/12. Which is smaller: 0 or w?
w
Let y be 1*(-10)/(-4 + 2). Suppose 0*m - 2*m = -4*g - 12, -y*g - 3*m = 26. Which is bigger: -9/2 or g?
g
Let a be (-1 + -3 - (-2)/1)/5. Which is bigger: -1 or a?
a
Let h be (-2)/(-8) + 10/(-8). Let z = 41/4 + -10. Is h at least as big as z?
False
Let k be 25/(-10)*4/(-5). Let q = 4 - 3. Which is bigger: q or k?
k
Suppose 0 = 5*j + 4*c - 0*c, -2*j + 4*c = -28. Suppose -4*s - s + 12 = q, 0 = 4*s + j*q - 16. Suppose 4*x - s = 2*x. Which is greater: 1/6 or x?
x
Suppose -b - b = 0. Suppose 4*a + 0*a = b. Is -1/9 >= a?
False
Let c = 9 + -7. Suppose -n = 3*v + 5, n + v = 2*n - 3. Let l = n - c. Is -4/7 at most l?
False
Suppose -q = 2*q. Let p be q + 0 - 1/1. Let t = 6 - 8. Which is smaller: t or p?
t
Suppose -3*g + 3*t - 13 = -2*t, 4*t - 12 = 4*g. Is g equal to -1?
True
Let u be -1 - 1/(-2)*1. Let q = 5.2 + -5. Let o = 0.2 - q. Is u at least o?
False
Let r be (-2)/10 + (-60)/(-50). Which is smaller: 1.7 or r?
r
Let l(v) = v**3 + 20*v**2 - v - 6. Let a be l(-20). Do 13 and a have the same value?
False
Let p = 906/5 - 182. Suppose 25 = 5*s, 2*s - 8 - 14 = 3*u. Let j be (2/u)/((-2)/(-4)). Which is smaller: p or j?
j
Suppose 2*l + 42 = 2*h, 6*h - 4*l = h + 101. Is 3 less than or equal to h?
True
Let m = -4 - 2. Let q(h) = -4 + 4*h**2 - 3*h**2 - 7*h - 2*h**2. Let k be q(m). Is 0 at least k?
False
Suppose -4*m - 11 = 5*f, 4*f + 1 = -3*m - 7. Is f < 2/169?
False
Suppose -f = 4*y - 16, 3*f + 7*y - 16 = 3*y. Suppose 5*w + 16 + 4 = f, -2*m - 2*w = 6. Is m greater than 1?
False
Let x(o) = o**2 - 3*o + 4. Let u be x(3). Let a be (u/(-6))/(26/(-3)). Which is greater: a or 1?
1
Suppose 3*k - 3*v + 420 = 0, k = -4*k + 3*v - 704. Let y = k + 708/5. Is y bigger than 1?
False
Let n = 13/12 + -89/60. Let k(y) = y**3 - 6*y**2 + 7*y - 7. Let d be k(5). Let s = -2 + d. Is n greater than or equal to s?
False
Suppose 10*h - 5*h = -2*z + 88, 0 = -2*h - 4*z + 32. Does h = 19?
False
Let s(x) be the third derivative of -x**6/60 + x**5/20 - x**4/8 + x**3/2 - 3*x**2. Let f be s(2). Are 0.1 and f unequal?
True
Suppose -x = -4*n + 5, 0*n = 3*x + 4*n - 17. Suppose 0 = x*m - m - 5*i + 13, i - 1 = 2*m. Which is greater: m or -1?
m
Suppose 0 = -2*f - 0*f + 8. Suppose 3*x + z + 10 = -f*z, x - z = 2. Let q be (-2)/(-4)*x/6. Is q not equal to 0?
False
Let c = -14 - -16. Let d be ((-10)/15)/((-8)/6). Which is smaller: c or d?
d
Suppose -5*j = 2*q + 20, -3*j - j = -q + 16. Let c be j/(-18) + 12/432. Do -0.04 and c have the same value?
False
Let y be (-1)/6 - 2/6. Suppose s = -4*z + 31, 7*s = 2*s + 3*z + 86. Suppose -s = 3*m - 2*x, 3*m + 3 = x - 11. Is m greater than y?
False
Let q = -7 + 4.5. Let f = -1.8 - q. Is 1 equal to f?
False
Suppose 2*i + 4*r = -6, -2*r = 3*i - 0*i - 3. Suppose i*z = -0*z. Let f = 187/285 - -1/95. Is f < z?
False
Let m be 1*(10/15 - 1). Is m > 0.4?
False
Let g be (-3)/(-16)*22/(-99). Is 0 >= g?
True
Suppose 2*z = 3 - 9. Which is smaller: z or -11/5?
z
Let u(r) be the third derivative of r**5/60 + r**4/12 + r**3/6 - r**2. Let x be u(-1). Which is smaller: x or 1/16?
x
Let c be 1 - -124 - 4/2. Do c and 124 have the same value?
False
Suppose 16*n + 12 = 12*n. Suppose -8*k = -4*k + 4. Let u(d) = d. Let o be u(k). Which is bigger: o or n?
o
Suppose 3*x = -4*o + 1, x + 2*o + 2*o - 3 = 0. Let i = -1 - 0. Is i less than or equal to x?
True
Let b(n) = -n**2 + 12*n - 7. Let t be b(11). Suppose 0 = -2*k - 3*f - 3, -k + t = f - 5*f. Which is greater: k or -1/7?
k
Suppose -5*s - 3 = -8. Suppose -5*v + 20 = 0, -3*v = b - 2*v - 81. Let u = -305/4 + b. Which is smaller: u or s?
u
Let n = -1 + 3. Is n at most as big as 1?
False
Let q = -86.01 + 86. Does q = 0.1?
False
Let r = -46/3 + 4. Let p = -235/21 - r. Let n be 2/(-5) - 2/(-5). Which is smaller: p or n?
n
Let b be 125/(-525)*(-4)/(-1 - 1). Which is smaller: -1 or b?
-1
Let q(b) = -b**2 + 2*b. Let g be q(3). Which is bigger: 0.3 or g?
0.3
Suppose 10 = 3*l + 1, 0 = -2*k + 3*l - 7. Let z be (4/(-6))/((-1)/(-3)). Let c be z/6*(-12)/(-16). Is c <= k?
True
Let s = -4 - -6. Let h be ((s + -1)*-3)/(-1). Suppose 2*w + w = h. Which is smaller: w or -1/3?
-1/3
Suppose -5*t - 66 + 5 = -3*b, 4*t = -4*b + 28. Suppose 0*n - n = 4*z + 14, 2*n = 2*z + b. Which is bigger: n or 4?
4
Let d(x) = -x**3 + 5. Suppose -4*g = -0*g. Let f be d(g). Suppose 10 = -f*n - 20. Which is smaller: -7 or n?
-7
Let p = -0.03 + -1.26. Which is smaller: p or 1?
p
Suppose -z - 30 = 4*z. Let v be (0 - (z - -3)) + 3. Do v and 6 have the same value?
True
Let g = 3 - 7. Let u = 13 - 15. Let z(t) = -t**2 + t + 1. Let n be z(u). Is n at most g?
True
Suppose 3*z = -5*w - z + 30, -2*w + 3*z = -12. Let n be w/5*(-60)/(-24). Which is smaller: -4 or n?
-4
Let l = 12 - 12.21. Is -0.3 > l?
False
Let t be 0 - (0/1 + -2). Suppose 0 = -3*g - t - 247. Let h = g + 247/3. Is h smaller than -0.1?
True
Suppose -15 = -x - 5. Which is bigger: 12 or x?
12
Let u be ((-38)/171)/((-1)/4). Which is smaller: u or 2?
u
Let t(v) = -3*v + 34. Let l be t(5). Is 18 greater than l?
False
Suppose 0 = -5*m + 42 - 2. Let v = 157 - 148. Is v at least as big as m?
True
Let f = -0.5 + 0.6. Let a = -0.04 + 0.1. Let v = 0.06 - a. Do f and v have the same value?
False
Let z be -4*(0 + 6/(-4)). Suppose 4