-7)/(-7) - (0 - n). Let x = d - -2. Which is smaller: 3/7 or x?
x
Let b be 56/(-20) - 3*-1. Let j(m) = -2*m. Let u be j(-5). Suppose -2*x - u = 3*x + 5*i, -5*x - 2*i = 4. Is b equal to x?
False
Suppose -v - 2*v + 15 = 0. Suppose 0 = 2*f + v + 3. Let d be f/(5/((-5)/9)). Do d and 1 have different values?
True
Let p be (-2)/10 - (-38)/(-10). Let z(f) = -3*f**2 - 1 + 4*f**2 + 4 + 6*f. Let n be z(-5). Is n at least p?
True
Suppose -10*t + 26 = -12*t. Which is greater: t or -14?
t
Let i = -6676/89 - -75. Which is smaller: i or 1?
i
Suppose -3*d + 91 + 23 = 0. Suppose -5*j + d = -2. Is j greater than 8?
False
Let n be (-66)/(-15) - (-8)/(-20). Suppose -2*x = -n*x. Is -1/24 < x?
True
Let q(y) = -y**3 + 4*y**2 + 5*y + 3. Let z be q(5). Is 2 less than z?
True
Let w be 1/(-5)*10/(-6). Let p = -4.03 + 0.03. Let o = -4.1 - p. Are o and w unequal?
True
Let t = 42 + -32. Which is bigger: 9 or t?
t
Let q(o) = -o**3 - 4*o**2 + 2*o + 6. Let p be q(-4). Let u = -1 - p. Suppose -u = 4*s - w + 1, -s - 2*w - 5 = 0. Is s greater than 0?
False
Let q = 221/10 - 22. Does 1 = q?
False
Let k be (12/9)/(10/(-150)). Is 2/5 greater than k?
True
Let t(d) = 2*d**2 + 4*d - 2. Let f be t(5). Suppose 3*i = -i - 3*w - f, 0 = 2*w. Do -18 and i have the same value?
False
Let c be 0 + 0/1 + 3. Suppose -c*p - 7*h + 2*h - 16 = 0, -2*h - 16 = -2*p. Suppose 3*w - 19 = 2*f, 0*w + w - f = 8. Are p and w unequal?
False
Let s(k) = -k**2 - 2*k + 1. Let j be s(1). Is j < -0.3?
True
Let a(f) = -f**2 + 7*f - 7. Let l = 10 + -5. Let z be a(l). Suppose -m = -2*p + 3*m - 8, 3*m = z*p. Is p greater than or equal to 0.1?
True
Suppose -3*f = -2*f. Suppose 206 = -3*a + 23. Let w = -243/4 - a. Which is smaller: f or w?
f
Let h = 19 - 13. Let s = 6.4 - h. Is s smaller than -0.2?
False
Suppose 4*j + 46 + 66 = -h, -2*j - 5*h - 74 = 0. Let u be j/(-84) - 1/(-4). Suppose -4*d = 2*y, 5*y + 6 = -3*d - d. Which is bigger: u or d?
d
Suppose 4*f + 0*f - 36 = 0. Suppose -3 + 2 = -d, -3*d - f = -2*w. Which is greater: -0.1 or w?
w
Let z = -98/9 - -110/9. Suppose 6*k = 13 - 1. Which is smaller: z or k?
z
Let f(t) = 3*t**2 - t. Let v be f(-1). Suppose 12 = -3*c + 7*c. Suppose -4*b = -c*x + 7, -4*b - v*x + 18 = -2*x. Is 2 < b?
False
Let p = 10.46 + -9.7. Which is smaller: -1 or p?
-1
Suppose 5*p - 2*a - 13 = 7, -4*p - 4*a + 16 = 0. Suppose 0 = -2*l - l. Let c = p + l. Is 4 greater than c?
False
Let v be 22/5 + 12/(-30). Suppose -5 - 23 = -v*p. Which is bigger: p or 8?
8
Let m = 0.44 - 0.04. Let x = 0.6 - m. Let v = -77/249 - 2/83. Which is smaller: v or x?
v
Let m = -11 + 15. Let w = -464 - -465. Which is smaller: m or w?
w
Suppose -4*p + 17 = -31. Let d(g) = -g + 11. Let t be d(p). Do t and 1 have the same value?
False
Let l be 2 + 16/8 + 0 + -2. Which is greater: l or -6?
l
Let v be (-2)/20*-2 + 0. Suppose 0 = 2*g + 4*q + 12 + 16, 0 = -3*q - 15. Let j(i) = i**3 + 4*i**2 + 1. Let r be j(g). Which is smaller: r or v?
v
Let a(f) = 2*f**3 + f**2 - 2*f - 7. Let l be a(-2). Is -15 < l?
False
Let t = 0.05 + -0.05. Let w = 6 - 6.5. Is t != w?
True
Let i = 23 - 3. Let o be 6/15 - (-212)/i. Does 10 = o?
False
Let v be (1 - 1) + 2 + -1. Let j(h) = 2*h - 5. Let r be j(2). Which is bigger: v or r?
v
Let l(t) = -t**3 + 8*t**2 + 7*t + 20. Let p be l(9). Which is greater: 8/9 or p?
p
Let r = 61.4 - 61. Is -7 equal to r?
False
Suppose 5*o - 28 = 3*o. Suppose 4*t - 3*q = -8, 5*t + 5*q - 4 + o = 0. Are t and -2/3 nonequal?
True
Let s(q) = -2 - 1 + 5*q**2 + q**3 + 0. Let j be s(-5). Is -2 bigger than j?
True
Suppose -5*y + 6 = -4. Let c be -5*1*3/(-15). Are c and y equal?
False
Let d = 15 + -15.1. Is d less than -1/34?
True
Let m = -181 - -181. Is -8/13 < m?
True
Let c(j) = -j**3 - 2*j**2. Let q(i) = -i**3 + 5*i**2 + 6*i - 2. Let y be q(6). Let l be c(y). Are -1 and l unequal?
True
Let o be 4/3 - 278/210. Which is greater: -1 or o?
o
Let q = 6 + -7. Let d = -2 + q. Which is bigger: 0 or d?
0
Let c = -87 - -88. Let u be (1 + -2)*3/1. Let x be 1/(((-54)/(-4))/u). Which is greater: c or x?
c
Suppose 0 = 2*d + 3 - 1. Is d < -0.1?
True
Let n = -18 + 18.9. Let p = -1.03 + 0.03. Let b = n + p. Which is smaller: 0.2 or b?
b
Let g(k) = k**2 + 3*k. Let x be g(-4). Suppose -8 = -x*y, -2*r + 4*y + 4 = 2*r. Is 3 greater than or equal to r?
True
Let h(b) = b**3 - 10*b**2 - b + 11. Let w be h(10). Suppose x = -0 - w. Is -1 less than or equal to x?
True
Let m(f) = -2*f - 2. Let i be m(-7). Let z = -2 - i. Let r = z - -9. Which is bigger: r or -4?
-4
Let i be (-34)/10 - (-4)/10. Let v = -16 + 10. Let b = i - v. Is 2 smaller than b?
True
Suppose 0 = -4*c + 2 - 10. Suppose -5*x + 10 = -5. Let s = -4 + x. Is c at least s?
False
Let y = 123 - 1358/11. Which is bigger: 2/5 or y?
2/5
Let f = -58 - -59. Let b = 103/2 + -931/18. Which is smaller: f or b?
b
Suppose -2*q - q + 21 = 0. Are q and 7 equal?
True
Let l = 3 + -1. Let g = -2 + l. Is g at most as big as -2/11?
False
Let s = 8 - 5. Suppose -2*g - 36 = -5*f, -4*f + 3*g + 20 = -13. Let i be ((-2)/f)/((-1)/2). Which is greater: i or s?
s
Suppose -2*l = -3*l. Let k be 1/(-17) + 0 + l. Which is smaller: k or 1?
k
Suppose 2*q - 10 = 3*q. Let w = -6 - q. Suppose -2*a - 10 = 3*p + p, w*a + 13 = -p. Is 2/7 less than p?
False
Let c = -1073/7 + 153. Suppose -4*y + 18 = d, 2*y + 0*d = 5*d + 20. Suppose -y = -4*i - 3*x, 4*i + 0*x - x = 9. Which is greater: c or i?
i
Suppose -4*p - 21 = -6*t + 3*t, 4*p = -3*t - 27. Is p at least -4?
False
Suppose 2*m - 3*m = -5. Suppose 4*y - 2*h + 10 = 0, 2*h = 3*y + m*h + 12. Is y at most -3?
True
Let d(t) = -t**3 - 9*t**2 + t - 3. Let o(a) = -a - 1. Let g(z) = d(z) + o(z). Let x be g(-9). Let f be 3*-2 - (-3)/3. Are f and x unequal?
True
Let u(h) = 2*h**3 - 12*h**2 - 4. Let j be u(6). Which is smaller: -2/15 or j?
j
Let d = 3 + -1. Do d and 1 have the same value?
False
Let i(t) = -t**2 - 8*t - 7. Let y be i(-7). Is y not equal to -2/19?
True
Let f = -4 - -3. Suppose 0*y = 3*y. Suppose -n = -y*n. Which is smaller: n or f?
f
Let t = -4 + 5.8. Let g = t - 2. Which is greater: 1 or g?
1
Let t = 0.8 - -0.2. Let r be 2 + 3 + (-4)/(-4). Suppose -6 = -r*k + 3*k. Which is greater: k or t?
k
Let m = 5 - 1. Suppose 0*c = m*c. Is c at most 1/7?
True
Suppose -4 = -0*t + 4*t. Let s = -42/5 - -131/15. Which is greater: t or s?
s
Let c = -4 - -6. Suppose -b + 3 = -c*y + 1, -5*b + 5*y + 5 = 0. Let i be 2/6 - (-32)/(-42). Which is bigger: b or i?
b
Let v be 10/15 + 340/(-456). Which is smaller: v or -0.1?
-0.1
Let y = 2.3 - 4.3. Let j be 12/20 + (-311)/35. Let l = j - -57/7. Which is bigger: l or y?
l
Let k(y) = 13*y - 2. Let a be k(4). Suppose 5*d + 4*u = a, -3*d - u + 5*u = 2. Suppose 3*p = i + 9 + 3, 2*i + 14 = 4*p. Which is smaller: d or p?
p
Suppose 8*l = 3*l. Which is greater: l or -6/11?
l
Let y(u) = -u**2 + 5*u - 3. Let s be y(2). Suppose 0*f - 2 = 2*f. Which is smaller: s or f?
f
Let c be -3 - ((-21)/4)/(30/(-24)). Which is bigger: c or -6?
-6
Let g = -2 - -10. Suppose -5*f = -17 - g. Suppose -f*y = -y. Which is bigger: -2 or y?
y
Suppose 2*k = 3*w - 19, -4*w = -3*k + 6*k + 20. Which is bigger: k or -7?
-7
Let d(v) = 2*v. Let i be d(-3). Let f = i + 4. Let h be 14/(-30) + (-5)/25. Is f smaller than h?
True
Let x be (-10)/15 - ((-922)/546 - -1). Which is greater: 0 or x?
x
Let o(c) = c**3 + 5*c**2 + 8*c + 4. Let i be o(-3). Suppose -10 - 10 = 5*q. Is q not equal to i?
True
Let f = 24 - 19. Suppose f*n + 4*v - 11 = 0, -4*n + v + 16 = 3. Which is smaller: 0 or n?
0
Let d(f) = -f**3 - 3*f**2 + 4*f + 1. Let z be d(-4). Let x be (0*(-3)/9)/(-2). Suppose x = -v - 3*v + 8. Which is bigger: z or v?
v
Let g be 35/10 + 1/2. Let p(c) be the third derivative of -c**4/24 + c**3/3 - 2*c**2. Let n be p(g). Is -2 at least n?
True
Let q be (6/(-8) + 1)*32/(-18). Are q and 0 unequal?
True
Suppose -73 = -4*c + 3*l, 5*c - 5*l - 48 = 47. Which is smaller: c or 18?
c
Let g(c) = c**3 - 8*c**2 + 2*c - 11. Let n be g(8). Suppose -4*b - 4*l + n = -27, -2*b = -3*l + 9. Which is smaller: b or 1?
1
Suppose 4 - 7 = b. Is b at least -3?
True
Let b = 70 - 66. Is b at least 4?
True
Let t = -44.8 + 46.81. Let p = 0.06 + -0.05. Let r = t - p. Is r < -1/4?
False
Let u = 541/11 - 49. Let o(k) be the first derivative of -k**2/2 + 5*k - 2. Let q be o(6). Does u = q?
False
Suppose b - 26 = -11. Suppose -6*m + 3*m = -b. Supp