 21. Let t = x - 8. Do c and t have the same value?
False
Let h(k) = -5*k**3 + 4*k**2 + 4*k. Let n be h(-3). Let v be (n/4)/(6/4). Let g = 269/10 - v. Is 0 bigger than g?
False
Let g(j) = j**2 - 9*j + 7. Let a be g(8). Which is bigger: -2 or a?
a
Let g(w) = w**3 - 6*w**2 + 8*w - 5. Let k be g(5). Let f be 5/k*(-1 + 1). Is f at most 4/7?
True
Let v = -7 - -8. Are v and 1/22 equal?
False
Let u = 0.95 - -0.05. Is -0.7 less than u?
True
Let t(w) = -2*w - 7. Let n be t(-2). Is -5 bigger than n?
False
Suppose 0 = -4*j - 2*h - 30, h + 8 = 4*j + 29. Let a be 20/75*j/(-4). Which is smaller: -1/4 or a?
-1/4
Let q be (-1 + (1 - 0))*-1. Let p = -63 + 119. Let i be (4/p)/((-2)/8). Is q > i?
True
Let n = 38 - 31. Which is smaller: -1 or n?
-1
Let o(q) = -4*q**3 + 6*q**2 - q - 3. Let f(u) = 3*u**3 - 5*u**2 + u + 2. Let j(v) = 5*f(v) + 4*o(v). Let n be j(-2). Which is smaller: n or 1?
n
Suppose 2*t - 3 = -5*b, -t + 5*b - 6 + 0 = 0. Let u be (-2)/9 - 145/(-45). Let q be (-9)/u + 5/2. Is q != t?
True
Let b = 125 + -86. Which is smaller: b or 40?
b
Suppose 9 = 2*i - 5*i. Let x = -1.2 + 0.2. Which is smaller: i or x?
i
Let v = 6 - 6. Which is smaller: v or 5/3?
v
Let q = -28/9 + 67/36. Let g = -8 + 6. Which is greater: g or q?
q
Let r = 24 + 65. Let i = r - 90.95. Let t = i + -0.05. Which is smaller: t or -0.1?
t
Let m be 3730/18 + (-1 - 1). Let t = 205 - m. Let g be 4/(-18) - 4/(-18). Which is bigger: t or g?
g
Suppose 2*p = 4*a + 3*p - 9, -3*a + 11 = 5*p. Let d be a + 0 + 32/(-12). Suppose -2 = -u + 2*u. Is u > d?
False
Let j = -20.37 + 0.37. Let f = 19.79 + j. Is -1 equal to f?
False
Suppose 3*i - 4 = -2*w, 2*w - 5*w - 2*i = -1. Let y = -12936/5 + 2564. Let q = 23 + y. Is q <= w?
False
Suppose 0 = 4*t + 3*t. Which is smaller: -2/29 or t?
-2/29
Suppose 7*t + 47 = 2*t + 3*o, -3*o = 4*t + 16. Let y be (1 + 6)*(-4)/4. Is t less than y?
False
Let m be (-1 - 1 - -2) + 2. Suppose -14 - 21 = 5*p. Let d(x) = x**2 + 6*x - 4. Let k be d(p). Is m greater than k?
False
Let l(q) = -q**2. Let i be l(0). Let k = 1227/7 + -175. Which is bigger: k or i?
k
Let b be (-15)/(-6)*(63/10)/9. Which is bigger: -0.1 or b?
b
Let j = -254 + 155. Let b = -6696 + 33977/5. Let r = b + j. Which is greater: r or 5?
5
Suppose -o - 8 = t, -11*t + 6*t = 2*o + 40. Is -12 <= t?
True
Let n be ((-35)/(-10))/(1/(-2)). Is -7 at most as big as n?
True
Let x(m) = 2*m + 42. Let z be x(-21). Is z at most -0.17?
False
Let o be (0 - -1)/((-3)/(-81)). Let s = o + -13. Suppose -5*y + 3*j + 1 = s, -4*y - 11 = -3*j. Which is greater: -1 or y?
-1
Let r = 5/8 - 27/56. Let u = -223 + 223. Is u less than r?
True
Let d = 0 + 3. Let j(u) = -u**3 + u. Let z be j(0). Suppose z = 3*a - d*v + 12, 4*v = -v + 5. Is a at least -3?
True
Let g be 15/5 + (-1 - 3). Which is smaller: 1 or g?
g
Suppose -b = 2*b - 3. Let r be (0 + 1)/b - 2. Is 1/8 less than r?
False
Let k(c) = c**3 - 6*c**2 + 2*c - 9. Let p be k(6). Let w be p/(-2)*12/(-9). Let m(z) = -z**2 + 4*z - 2. Let j be m(3). Is j smaller than w?
True
Let y(f) = 5*f**2 - 6*f - 3. Let t(k) = 14*k**2 - 17*k - 8. Let c(r) = 6*t(r) - 17*y(r). Let i be c(0). Which is smaller: i or 4?
i
Let u = 383/172 - -1/43. Which is bigger: u or 0.2?
u
Suppose 22 = 5*r + f, -r - 2*r + f + 10 = 0. Suppose -r*o = 6*w - w + 9, 2*o = 4*w + 2. Let k = 5.6 + -6. Is w at least k?
False
Let y = 13391/13 + -1031. Is 0 less than y?
False
Suppose 4 = 4*m - 0*m. Suppose o = 2*o + m. Suppose -2*n - n = 0. Which is smaller: n or o?
o
Let c be ((-6)/10)/((-169)/65). Let n = 54/65 - c. Is 2 >= n?
True
Let o be ((-12)/(-10))/(133/(-35)). Which is bigger: 3 or o?
3
Let b be ((-1)/3)/(1/(-12)). Let j = -2 + b. Is 0 greater than or equal to j?
False
Let b(d) = d**3 + 17*d**2 + 1. Let k be b(-17). Is k at most 1?
True
Suppose 0 = 2*h + 5*d - 25, -2*h + 10 = 5*d - 3*d. Suppose h*r = 5*r. Which is bigger: -1/3 or r?
r
Let a = -17 + 20. Suppose d = 3*i + a*d + 21, 4*i - 2*d + 14 = 0. Is -5 at most i?
True
Let p(s) = -s**3 - s**2 - s. Let y be p(-1). Suppose -5*o - 6 = -21. Let v be o/9 - 2/3. Do y and v have different values?
True
Suppose 3*v - v - 2 = 0. Let a = -89/714 + 1/34. Do a and v have different values?
True
Let t be -1*(4 + -1*6). Does t = 2?
True
Suppose 0 = i + 3*i - 4. Is 1 at most i?
True
Suppose 3*a - 3*n + 114 = 0, -5*a - 47 = 3*n + 111. Which is greater: -35 or a?
a
Suppose 5*f + 19 = 5*w - 1, 0 = -2*f - w + 7. Which is bigger: f or -4/13?
f
Suppose -k - 23 = -25. Is 17 < k?
False
Let i(x) = x**2 + 13*x - 5. Suppose 77 = -5*h + 12. Let c be i(h). Which is smaller: c or -3?
c
Let q = -31/5 - 82/15. Let i(u) = u**3 - 9*u**2 + 10*u - 5. Let s be i(8). Let v = q + s. Which is bigger: v or -3?
v
Suppose 10*x + 29 = 9. Is x equal to 28?
False
Let x(m) = m**3 - 2*m**2 + 5*m - 6. Let u be x(2). Suppose -2*v + 8 = -0*v. Suppose 0 = 2*i - 4*f + u, 4*i = f - v*f + 25. Which is smaller: i or 5?
i
Let m = 807/155 + -27/5. Is m less than or equal to 1?
True
Let c be ((-6)/(-4))/((-6)/16). Let l be (c/(-10))/(12/(-20)). Let m = -1 - 0. Which is smaller: l or m?
m
Let q(x) = x + 1. Let n be q(-1). Is 2/9 < n?
False
Let f(c) = 4*c + 4. Let z be f(2). Which is greater: 11 or z?
z
Let o be (-45)/(-84) - 4/14. Is 0.4 <= o?
False
Let j be 1 + -1 - (-14)/(-42). Which is smaller: 1 or j?
j
Let v be (1/(-2))/(30/12). Which is smaller: -1 or v?
-1
Let i be -3 + 68/44 - -2. Which is bigger: 1 or i?
1
Let j(n) = 2*n - 10. Let i(x) = x + 17. Let c be i(-11). Let v be j(c). Which is greater: v or -3/4?
v
Suppose 5*i - i + 4 = 0. Let g = 5835/48994 - 27/262. Let m = 395/1309 - g. Which is smaller: i or m?
i
Suppose 10*j = 9*j - 6. Let r(u) = u**3 + 7*u**2 + 6*u + 8. Let m be r(j). Which is greater: m or 7?
m
Let f be (16/(-10))/((-78)/(-30) - 3). Are 2/15 and f unequal?
True
Suppose 5*s - 3*i = 48, 0*i + 2*i + 16 = 2*s. Let d be ((-5)/15)/(14/s). Which is greater: -0.2 or d?
-0.2
Let r = -25.1 + 25. Which is greater: 0.02 or r?
0.02
Let t(i) = i**3 - 5*i**2 - i + 5. Let o be t(5). Let f be ((-405)/(-42))/3 - 3. Let y = f + -13/28. Is y <= o?
True
Let k(s) = -s**3 + 8*s**2 + 10*s + 5. Let l be k(9). Let i = -12 + l. Are 4/5 and i non-equal?
True
Let c = 9 + -5. Suppose c*v - 15 = -v. Suppose -1 + 11 = 5*p. Is p at least as big as v?
False
Let j = 4.21 + 0.39. Let g = j - 0.6. Let h = 3 + -4. Which is bigger: h or g?
g
Let v(z) = -z**3 + 2*z**2 - 2*z + 1. Let y be v(1). Let p be (4/(-21))/((-4)/(-6)). Which is bigger: y or p?
y
Let l(d) = d**2 - 8*d - 7. Let w be l(9). Is 4 greater than w?
True
Let d = -24 - -24.7. Which is bigger: 0.2 or d?
d
Let t be 11/76 - (-2)/(-8). Let b = -8 + 8.1. Is b bigger than t?
True
Let h(f) = 4*f - 15. Let l be h(3). Is l < -4?
False
Suppose -3*s = -4*s + 8. Let f be s/(-70)*(-5)/2. Let p = 64 + -64.1. Is f at least as big as p?
True
Let u be 5961/(-20592) + -2 + 0. Let a = -125/48 - u. Let n = a - 3/13. Is -1 less than n?
True
Let w = -7 - -11. Let z = w - -1. Let l be (2/z)/(1/5). Which is bigger: 1/3 or l?
l
Suppose c + 0 = 5. Suppose 0*t - 4*i - 56 = -4*t, -c*t - 5*i = -40. Suppose 5*y + 20 = -5*j + 2*y, 4*j - 3*y = t. Is -1 not equal to j?
False
Suppose 6 = -0*y - 2*y. Suppose 0 = -3*n + n + 2. Suppose -3 - n = 2*f. Which is smaller: f or y?
y
Suppose -4*c + 81 = -h, -3*h - 2*c = 2*c + 179. Is h less than -65?
False
Let r be 1/((-3)/(-15)*1). Suppose -r = 2*b - 15. Suppose 5*p - b = -5*z, 0*p - 3*p = -z + 9. Which is bigger: -3 or p?
p
Let r be 2*((-14)/(-4) + -3). Which is smaller: r or 1/10?
1/10
Let s = -1.1 - 2.9. Let b(c) = c**3 - 8*c**2 + 7*c + 1. Let g be b(7). Is s >= g?
False
Suppose -2*q + 4 = z, 0 = q - 4*z + 2*z - 2. Suppose 2*x - 7*x = q*b + 73, -5*x - 4*b - 81 = 0. Are x and -13 nonequal?
False
Let l(y) be the first derivative of -y**2/2 + 7*y + 2. Let b be l(13). Does -5 = b?
False
Let j(r) = r**3 + 6*r**2. Let p be j(-6). Suppose -4*a + 15 = 5*m, a - 11 = -2*a - 4*m. Suppose -3*k + 7 = a*f, 5*f - 15 = -7*k + 2*k. Which is smaller: p or f?
f
Let d = 8.8 + -12. Which is bigger: d or -0.1?
-0.1
Let n = 8 - 14. Let r = -3 + 9. Let b = n + r. Is b smaller than -6?
False
Let d = 1.2 - 1. Let m = -0.8 - d. Let k = -668 + 666. Which is greater: k or m?
m
Let x = 12 + -21. Which is smaller: -8 or x?
x
Let m = -0.227 - 0.703. Let f = m + -0.07. Let o = 0 + f. Are o and 3/2 non-equal?
