12.9. Are c and 1/3 nonequal?
True
Let s = 4 - 6. Let z = 0.2 - -0.8. Let g = s + z. Is -2 equal to g?
False
Let g(b) = b**2 - b - 19. Let q be g(5). Is q > -1?
True
Let u be 4/(2 - 411/201). Let d = 91 + u. Let i = -2 + d. Which is smaller: i or 1?
i
Let m = 2 - 3. Which is bigger: m or 1/13?
1/13
Let d = 181 + -262. Is d < 1?
True
Suppose 0 + 9 = 3*u. Suppose -j - 13 = u*j - v, 3*v = 3*j + 21. Let b = 0 + -1. Does b = j?
False
Let b = -41 + 25. Let n = 26 - 42. Is n > b?
False
Let x(d) = d**3 + 6*d**2 - 5. Let j be x(-6). Let i be 48/20 - (-2)/j. Suppose -z + 2 = 3*v + 1, -v + i*z = 2. Are v and 2/13 nonequal?
True
Let o = 2 + -2. Let w be (-2)/(-1)*(-2)/(-14). Is w <= o?
False
Let l = -0.6 - -0.1. Let h = 0.5 + l. Which is greater: h or 1?
1
Let t = -3 - -1. Let a be 5/(-3) + 4/12. Let q = a + 7/12. Which is smaller: t or q?
t
Let i be -2 + (0 - (-104)/50). Suppose 3*n - 6 = -2*k - 5, -3*n = 3*k. Which is greater: k or i?
i
Suppose -6 + 2 = -r. Let o be 8 - (-9)/(27/(-12)). Suppose 13 = -2*m + r*m + 5*l, -3*m = -o*l + 15. Is m smaller than -2?
False
Let w = 9 - 7. Suppose 6*o - 8 = w*o. Which is greater: 5 or o?
5
Let n(j) = -j**2 + 5*j - 4. Let r be n(3). Let z = r - -3. Are 4 and z unequal?
True
Let a(y) = 3*y**3 + 8*y**2 + 7. Let q(t) = 2*t**3 + 7*t**2 - t + 6. Let n(m) = 3*a(m) - 4*q(m). Let o be n(3). Is o > -1?
True
Let a(f) = f**2 - 1. Let z be a(2). Let d be 1*(3 - 4) + z. Are d and 0 equal?
False
Let q(w) = w**3 - 2*w + 1. Let g be q(1). Suppose p = 2 - g. Which is greater: p or 3/2?
p
Let q = -7 + 2. Suppose 3*v + 18 = 3. Do q and v have the same value?
True
Suppose -2*v = -5 - 19. Which is greater: v or 74/7?
v
Let x be (-1)/4 - (-62)/(-704). Let g = x + 5/32. Suppose -2*t - 9 = -5*y, -4*t = -4*y + t + 14. Which is smaller: y or g?
g
Let i(l) be the third derivative of -l**6/120 + l**5/10 + l**4/4 + l**3/2 - l**2. Suppose 3*u = -t + 24, 1 = -u - t + 11. Let m be i(u). Is m at most -5?
False
Let j = -1 - -5. Suppose 0 = -0*m + j*m. Is m < -9/8?
False
Let b(y) = y**2 - 6*y + 6. Let d be b(5). Let x = 1 - d. Let j(q) = q**3 - 6*q**2 - q + 7. Let l be j(6). Which is bigger: x or l?
l
Let k = 156 - 58. Which is smaller: k or 97?
97
Let a be 2/9 + 7/9. Suppose -3*c + 2 = -4. Let t be (c/(-4))/(5/(-2)). Which is greater: t or a?
a
Let t be 65/15 - (-2)/(-6). Suppose 3*y - 3*i - 30 = 0, 2*y + t*i + 0*i - 26 = 0. Suppose 4*z - 4*x = -1 + 5, 3*z + x = y. Which is greater: z or 5/3?
z
Suppose 0 = -u - 3. Let i(t) = -t**2 - 4*t + 1. Let o be i(u). Suppose 0 = r + 3*w + 8, -4*r + 2*w - w + 20 = 0. Are r and o unequal?
False
Let x be -2 - -1*11/5. Suppose 21 = 2*h + 3*i, 0 = -3*h + h + 5*i - 19. Suppose -h*k = -0*k. Which is greater: x or k?
x
Let r(s) = 2*s**2 - 5*s + 3. Let b be r(4). Let t = 11 - b. Is t >= -4?
True
Let q = 49.07 + -49. Which is smaller: 2 or q?
q
Suppose 28 = 4*s + 3*u, 3*u = 2 - 14. Let v be s/4*(-2)/(-20). Which is bigger: v or 1?
1
Suppose 3*y = -2*y. Which is smaller: y or -6?
-6
Let b = -4/19 + 31/57. Let g = 4 + -4.1. Which is bigger: b or g?
b
Let z = -5 + -7. Are z and -12 equal?
True
Let v = -5.828 + -0.072. Let s = 6 + v. Are 0.3 and s nonequal?
True
Let f = 1010/11 - 92. Let r = -9 + 13. Suppose -4*h - r = -0. Do h and f have the same value?
False
Let i(n) be the third derivative of n**6/120 - n**5/10 + n**4/12 - n**3 - 3*n**2. Let o be i(6). Is 6 equal to o?
True
Let f = 0.12 + -0.32. Is -6 bigger than f?
False
Let t = -237.9 - -228. Let b = -9 - t. Let k = -1 + b. Is -1 less than k?
True
Suppose 5*l = -8 - 17. Let a be 3 + 13/l - 0. Is 1 bigger than a?
True
Let s = 5.3 - 5. Is -0.1 smaller than s?
True
Let j be (-2)/(-2) - -1*2. Let t = -5 - -5. Which is bigger: t or j?
j
Let q(d) = d**3 - 3*d**2 - d. Let z be q(3). Let j be 10/4 + (-10)/20. Suppose 0 = 4*o + 2*w + 4, -j*w + 1 = -3*o - 4*w. Is o bigger than z?
False
Suppose 4*h - 24 - 24 = 0. Let r be ((-9)/h + 1)*1. Are r and 0.3 nonequal?
True
Let z = -13 - -16. Which is bigger: z or 6?
6
Let k be -3 + -1*(-40)/12. Which is greater: k or -9/2?
k
Let u = 0 + 2. Let s be 12/4*u/(-10). Suppose g + w + 1 = 0, 4*g - 5*w = -17 + 4. Which is bigger: g or s?
s
Let u be 9/(-45) - 12/(-10). Which is bigger: u or 2/19?
u
Suppose 2*s - 1 = 3*s + 5*r, 2 = -2*s - 3*r. Let f = 6 - 6.2. Let p = f - -0.1. Which is greater: p or s?
p
Let o(s) = s**2 - 8*s. Let y be o(8). Suppose y = -3*i + 4*x - 17, -3*i + x = -i + 8. Does -4 = i?
False
Let w be (-1*6/(-4))/((-15)/(-130)). Suppose -2*i + 1 = 3. Let t be i/3*6/w. Which is bigger: t or 0?
0
Let n = 0 + 0. Let w = -24 + 4. Let z be (-4)/(-6) - w/(-24). Do n and z have different values?
True
Let c be -4 + (-35)/45*-6. Let o = 0.3 + -0.27. Is o at least as big as c?
False
Suppose -3*s = -4*u + 1, -3*s - 3*u = 19 + 17. Let r be 5/2 - s/14. Suppose -x + 4*a = r*a + 4, -3*x + 5*a = 22. Is x at least -2/9?
True
Let k = -23 + 159/7. Let u be 151*(2 - 1)/(-1). Let y = 1059/7 + u. Which is greater: k or y?
y
Suppose 1 = -3*r + 5*v, 3*v = 2*r + v - 2. Suppose 3*h = h + 10. Let l(t) = t**3 - 4*t**2 - 3*t - 7. Let f be l(h). Is f smaller than r?
False
Let j = -0.49 - -0.69. Let d = 6 + -1. Is d bigger than j?
True
Suppose -7 = -2*x - 33. Let t = 5 + x. Which is smaller: t or -9?
-9
Let m be -1 + 1 + 0 + 2. Let g(r) = -r + 1. Let o be g(m). Let p = o - 1. Is p less than or equal to -1?
True
Let x be ((-2)/28)/(2/8). Suppose -4*k + 10 = -23*z + 26*z, 0 = -2*k - 4*z + 10. Is k bigger than x?
True
Suppose 0 = -3*v + 6*v + 3. Which is smaller: v or 2/19?
v
Suppose 0 = 4*t - 9*t. Is t at most as big as -1/14?
False
Let y be (-13)/(-5) + (-14)/(-35). Suppose -3*b + 19 = 4. Suppose 8*k - b = y*k. Which is smaller: 0 or k?
0
Let q = -33 - -35. Is 3 smaller than q?
False
Let b be -1 + (-1)/3 - -1. Let y be 4/(-10) - (-23)/(-5). Let p = y + 6. Which is smaller: b or p?
b
Let r be 80/(-129) - (-4)/6. Let w be (-4 + 5)*-1 + 1. Is r not equal to w?
True
Let g be (3 - 13/4)*(-5)/(-115). Which is greater: g or 1?
1
Let g = -70.2 - -71.2. Suppose -4 = 5*o - h + 5*h, -4 = -o + 4*h. Suppose -b = -o*b. Which is smaller: g or b?
b
Let i = 222299 - 60687724/273. Let x = -2/91 - i. Which is smaller: -7 or x?
-7
Let v = -2/111145 - -15204638/111145. Let h = 138 - v. Which is greater: -1 or h?
h
Let n be 4658/14 - 6/(-21). Let f = 5659/17 - n. Do f and 1 have different values?
True
Let u be (-5)/(-5) - 1*-1. Suppose 4*d - u*o = -4*o + 6, -4*d = o - 5. Let i = -13/21 - -2/7. Is d equal to i?
False
Let k(a) = -a**3 - 8*a**2 - 12*a + 3. Let t be k(-6). Is t smaller than -6?
False
Suppose x + 0 + 3 = 0. Let f be (-4)/2 + 0/x. Let s be f/(-9) - 2/9. Is s >= 1/4?
False
Let i be (1 - (-6)/(-4))*2. Suppose 3*p - 7*p = 8. Is p smaller than i?
True
Let c = -0.08 + 0.18. Which is smaller: 10 or c?
c
Let h = -55/4 + 163/12. Is h less than 1?
True
Let r be (-1 + -1)*6/(-4). Let f = -36 - -21. Let b = f - -19. Which is bigger: r or b?
b
Suppose -5*s + k + 60 = 0, 0 = s + 3*k - k - 1. Let o = s - 6. Suppose o*a - a - 4 = 0. Which is smaller: 1/2 or a?
1/2
Let b be 11*(4 + -2 + -1). Let t = b + -15. Which is greater: -7 or t?
t
Let d(f) = f**3 - 5*f**2 + 3*f + 4. Let w = 20 + -7. Let p = -9 + w. Let y be d(p). Which is smaller: 1 or y?
y
Let r(c) = c**3 - 10*c**2 + 8*c + 9. Let p be r(9). Is p at least -23?
True
Let h = 676/3 + -215. Is h at least as big as 10?
True
Let k(w) = -w**3 - 18*w**2 - 17*w + 9. Let f be k(-17). Let b be 6/(3*-1) + 10. Which is greater: b or f?
f
Suppose 4*h + 7*x - 2*x = 53, -4*h + 8 = -4*x. Which is bigger: h or 2/3?
h
Suppose 0*n + 2*n - 3*o - 6 = 0, n - 2*o - 4 = 0. Let l be 28/(-5) + n + -1. Let c = 98/15 + l. Which is smaller: -1 or c?
-1
Let a(f) = f**3 + 6*f**2. Let o be a(-6). Let c = 93 - 559/6. Is o greater than or equal to c?
True
Suppose -6*z = -2*z. Which is smaller: 3/14 or z?
z
Suppose 5*y + 0*y = -20. Let o be 0/(y/2)*-1. Let h = 443/12 + -113/3. Are o and h non-equal?
True
Let d be (-86)/(-18) + (-4)/(-18). Suppose -d*o = -0*o - 15. Let f = 2 - o. Which is bigger: f or -2?
f
Let n be (-8)/(-48) + 17/6. Let d(o) = -o - 4. Let t be d(-7). Are t and n equal?
True
Let b(o) = -3*o + 56. Let z be b(0). Is z < 56?
False
Let i be (-2)/7 - (-12)/(-7). Let c(o) = -o**2 - 3. Let b be c(2). Let d = -8 - b. Which is smaller: d or i?
i
Let l = 10