-0.2 not equal to f?
True
Let m(c) = -c**3 - 4*c**2 + 5*c + 5. Let k be m(-5). Suppose -2*p = 1 + 5, 4*t + k*p = -23. Is t equal to 3?
False
Let n be (-102)/(-9) - 1/3. Do n and 11 have different values?
False
Let z be (-2)/((-4)/(-3))*-2. Suppose z*n + 0*n - 21 = 3*h, 3*n + h = 1. Suppose 0*b - 4*b + 12 = 2*j, -n*j = 2*b - 8. Which is bigger: j or 1?
j
Suppose 4*b = 2*b. Let p = -9 - -12. Suppose 2*f + f - p = b. Which is greater: f or 0?
f
Let x(g) = -g**3 - 8*g**2 - 16*g - 4. Let c be x(-5). Let q = 1 + 1. Is c greater than q?
False
Suppose 32 = 3*p + p. Let w be p/6*-1*3. Do w and -5 have different values?
True
Let u(s) = s**2 - 3*s - 5. Let f(z) = 2*z. Let b be f(2). Let c be u(b). Is c <= -1/11?
True
Let z = -69.02 + 69. Which is greater: -1/2 or z?
z
Suppose -3*m + 9 = -9. Suppose 0*v - 2*v + m = 0. Which is smaller: 2 or v?
2
Let r be (-2 - 36)/2 + -2. Let u = r + 29. Which is bigger: 7 or u?
u
Let x be 9*(-1)/9*-3. Let y(a) = a**2 - 4. Let q be y(x). Suppose -5*r - 11 = -4*h, q = 3*r + h - 2. Which is smaller: 2/11 or r?
2/11
Suppose -7*d - 70 = -2*d. Let q = 14 + d. Is 0 smaller than q?
False
Let d = -4.4 - -0.5. Let i = d + 0.9. Is i at least as big as -0.2?
False
Let l be (-2 + 3)/(27/45). Are l and 2 nonequal?
True
Let h = -97 - -141. Is 44 <= h?
True
Let u(v) = -v**2 + 6*v - 7. Let l be (-3)/((-3)/6*2). Let c be u(l). Is c smaller than 2?
False
Suppose -3*g = -4*d + 11, 0*g - 4*g = d - 17. Let y = -1 + g. Which is smaller: 3 or y?
y
Let u = 2 + 1. Let o be (-6)/u + (-8)/(-6). Is o at least as big as 1/4?
False
Let w = -0.048 - -2.148. Let p = w - 2. Which is smaller: p or 0.01?
0.01
Let f = 10 + -14. Let k be 2/(f/(-6)*3). Let o be 1/2 - (-5)/(-50). Which is smaller: o or k?
o
Let q = 20 + -58/3. Are q and 0.5 unequal?
True
Let f(t) = -t**3 + 5*t**2 + t - 5. Suppose -1 + 11 = -5*w. Let p be 2 + -2 + 7 + w. Let n be f(p). Is -1 less than or equal to n?
True
Suppose 2*c = 4*b - 0 - 28, 0 = -b + 4*c + 7. Let k = 29/4 - b. Is 0.1 at most as big as k?
True
Let u(k) = 4*k**2 + 0*k + 1 + k + k**2 - 6*k**2. Let m be u(0). Is 0 < m?
True
Let c = -0.83 - -0.03. Let m = c + 0.7. Let b = 0.2 + m. Is b != -1/2?
True
Let v be (-11)/33 - (-79)/219. Are -1 and v nonequal?
True
Let x = -8.1 + 7.1. Which is greater: -30 or x?
x
Let a be 6/18 - (-8)/3. Suppose a*k + 10 = -2*k. Suppose -3*b + 4*i + 4 = 0, -2*b + 2*i = 3*i + 12. Is b equal to k?
False
Suppose -3 = -z + 4*z. Suppose h = -4*h + 10. Suppose -2*f = h*f. Is f greater than or equal to z?
True
Let j be 14/30*(16/(-7) - -2). Is 2 at most j?
False
Suppose 4*i - 8 = 4*b, i - 3*b = -0*i - 8. Suppose 3*t - 9*t = -48. Which is smaller: t or i?
i
Let o be ((-12)/10)/((-2)/(-10)). Let g be ((-4)/o)/((-2)/(-15)). Suppose -5*h - 5*j - 10 - 20 = 0, -g*j = -3*h + 22. Is h bigger than -1/2?
False
Let v = 26/19 + -220/133. Let r(u) = u**2 - 2. Suppose 4*d - 3*l = 2*d + 10, -3*l = 6. Let q be r(d). Is q equal to v?
False
Suppose -5*x = 3*l + 12, 2*x - 16 = 6*x + 4*l. Which is smaller: 2/97 or x?
x
Suppose 10 = -4*y - 6. Let t = 2 + -4. Let o(g) = -g**3 - 4*g**2 - 2*g + 1. Let w be o(t). Which is smaller: y or w?
y
Let p = -0.2 - -68.2. Let k = -67.71 + p. Let s = -0.01 - k. Which is smaller: 1/3 or s?
s
Suppose 0 = 10*q - 2*q + 64. Is q not equal to -7?
True
Suppose 3*q + 4 = 5*r + 21, -2*q - 5*r = -3. Which is smaller: 5 or q?
q
Let a = -75 - -60. Does a = -12?
False
Let q be 2/(-4) + (-133)/114. Is -1 > q?
True
Let t = 7 + -8. Is t at most as big as 0?
True
Suppose 46 = -19*q - 581. Which is smaller: -29 or q?
q
Suppose 8 = 4*s, 0 = -3*h + 5*s - 1 - 3. Suppose 19 = -4*l + l - 5*x, -16 = h*l + 5*x. Which is greater: l or -2?
-2
Let s = -8 + 17. Suppose -5*p - 2*d = s, p + 4*d = -p - 10. Is p greater than 0.5?
False
Let x = 1.99 - -0.16. Let r = x - 0.15. Does r = 2/7?
False
Let i = -614038 - -1248339316/2033. Let q = -8/107 - i. Is q greater than 1?
False
Let v = 53/98 + -2/49. Suppose 2*m = -m + 12. Let z be m/18 - 3/(-108). Does z = v?
False
Let j(c) = 20*c**2 + 6*c - 5. Let l be j(1). Are 21 and l non-equal?
False
Let z be 448/70 + (-6)/(-10). Suppose 4*g - 8*y - 24 = -4*y, -3*g - y = -22. Let f = z - g. Is 3/8 > f?
True
Let a(h) = h**3 + 2*h**2 + h. Let s be a(-1). Let k = s - -7. Is k at most as big as 8?
True
Let m(v) = 2*v - 3. Let s be m(3). Suppose 24 = 4*c + 4*r, -3*c + 12 = -2*c + 3*r. Is s less than c?
False
Suppose 3*j + 3*v = -6, 5*v + 17 + 3 = 5*j. Let y = -0.1 - -10.1. Is y at least as big as j?
True
Suppose 3*a = -4*u + 2, -2*u + 1 = -a - 5. Let q be ((-3)/(-6)*0)/a. Suppose q = m + 4*m + 10. Is -1 smaller than m?
False
Let i be 5*((-12)/(-10))/(-3). Let v be (-6)/(-3) + (-4)/2. Is i at least v?
False
Let n be (0 - -2) + (-3)/2. Which is bigger: -3 or n?
n
Let v = 54 - 1889/35. Which is greater: v or 1?
1
Let v be (-4 - -3) + 6 + -1. Suppose -v*z - 18 = -5*m, 3*z - 4 = 4*m - 9*m. Which is smaller: m or 3?
m
Let l = 1.35 - 5.47. Let c = 0.12 + l. Are -1 and c equal?
False
Let f = -10 + 9. Which is bigger: 4 or f?
4
Suppose -24 = -y + 3*y. Let w be (-47)/9 + y/(-54). Which is bigger: -4 or w?
-4
Suppose -2*p - p = -21. Let h(n) = n**2 + 2*n + 4. Let w be h(-3). Is w at most p?
True
Let o = 58 + -49. Is 9 > o?
False
Let x(l) be the second derivative of -l**4/12 + 2*l**3/3 - 2*l. Let u be x(4). Let c be u - 3 - (2 + -4). Which is smaller: 0 or c?
c
Let i = 0 + 0. Let z be i + 1 + (-1 - -1). Let v be (-2)/(-4) + 9/6. Which is bigger: z or v?
v
Let m be 3/((-15)/(-2)) - 2/5. Which is greater: m or 1/12?
1/12
Let d be (1/3)/((-10)/(-6)). Is 0.1 < d?
True
Let h = -62 - -40. Let l = h + 15. Which is smaller: 1 or l?
l
Let x = -1.3 + 7.3. Let l = 5.7 - x. Is l less than or equal to 0?
True
Let d = 13 - 26. Is -13 < d?
False
Suppose -139 = -4*v - s, -21 = -v - 3*s - 0*s. Suppose -v = 5*b - 136. Let i be 4/b - 1/5. Which is greater: i or 1?
1
Let c = 26/7 + -24/7. Suppose 4*s - 2*s = 0. Is s at most as big as c?
True
Let y = 1028 - 44202/43. Suppose m = -m. Which is greater: m or y?
y
Suppose -3*m = m - 4. Which is greater: 1/7 or m?
m
Let m(q) = -q**2 - 13*q - 15. Let c be m(-12). Let a be 3/(-6)*0/(-1). Suppose -2*k + 0 - 8 = a. Which is smaller: k or c?
k
Suppose 0 = 3*g + 2*a + 9, -3*g - 2*a - 12 = g. Let c(b) = -5*b + 3. Let x be c(g). Let q be x/(-8) + 0 - -2. Which is greater: 0 or q?
0
Let u = -20.01 - -20. Let y = 0.09 - u. Is y equal to -2/7?
False
Suppose 2*o - 5*u - 10 = 0, 0 = -3*o + 3*u + 7 - 1. Suppose o*f = -2*f. Is 1/14 smaller than f?
False
Let o = -2 - -4. Suppose 0 = 4*h + 5*t - 30, 4*t - 18 = -0*h - o*h. Suppose -h*g + 12 = 3*w, -5*w - 5*g + 7 = -3. Does w = 0.1?
False
Let h(d) = d**2 + 9*d - 6. Let b be h(-7). Let m be (-2)/b*45/(-18). Is 1 != m?
True
Let l = 2.97 + 0.02. Let f = -4.99 - -5. Let d = f + l. Which is bigger: 1 or d?
d
Suppose 0*x = 4*m + 2*x + 24, -4*x = -5*m - 4. Let b = -13 - -8. Is m at least as big as b?
True
Suppose -2*w = -5*w + 9. Suppose -w*n - 3*u - 1 = -10, 2*n = u + 9. Is 4 less than n?
False
Let q(r) = r - 8. Let o be q(7). Suppose p + 3*d = -5, -3*d + d - 4 = p. Let a be p - (-3 + 0 + 2). Are a and o equal?
True
Suppose 2*i - 4 = -0. Suppose -1 = -i*y + 3. Suppose h - 3*j - 10 = 0, -10 = -5*h - y*j + 7*j. Do -2 and h have the same value?
True
Let s = -9 - -4. Let t = 0 - -1. Suppose u = -5*c - 6, -2*u - 3*u = -4*c + t. Are s and c unequal?
True
Let s be (-25)/(-10) + (-1)/2. Let g = s + -6. Suppose 0 = 5*q + 20 - 5. Is g < q?
True
Suppose 4*l + 1 = -v, 3*l - 3*v - 21 = -3. Let i(p) = p**3 + 9*p**2 - 2. Let t be i(-9). Let f be 0 - -1 - (-6)/t. Which is greater: f or l?
l
Let s be (2/(-4))/(1/(-2)). Let m = 0.17 + -0.2. Do s and m have the same value?
False
Suppose -u - 2*u + 33 = 0. Let i = -22941/7 + 3288. Let h = i - u. Which is bigger: -2/5 or h?
h
Let k be (60/12)/((-9)/2). Which is greater: k or -0.1?
-0.1
Suppose -3*k - 36 = k. Which is bigger: k or 1?
1
Let m(c) be the second derivative of -c**4/12 - 3*c**3/2 + c**2 + 2*c. Let x be m(-8). Is x at most as big as 8?
False
Suppose -b - 2*q - 8 = -3, -2*b = -3*q + 31. Let d be (1/2)/(b/(-72)). Let p = 119/33 - d. Which is smaller: p or -1?
-1
Let t = -2 + 0.7. Let n = -1.1 - t. Is 2/9 > n?
True
Let g(l) = -2*l**2 + 6*l - 2. Let t be g(4). Is t smaller than -11?
False
Suppose 2*t + v - 4 = 0, 