t z = 8 + -3. Let i = 10 - z. Does 6 = i?
False
Let b = 0.11 + -0.01. Let l = b + -7.1. Is -1/4 at most l?
False
Let d = -27 + 28. Are -12 and d unequal?
True
Suppose 0*d - 5 = -2*d + p, -2*d - 2*p = -8. Suppose 4*k + 4*y + 4 = 0, -25 + d = -3*k + 2*y. Suppose 0 - 20 = -5*b. Are b and k nonequal?
False
Let t be 1*1/3*3. Let c be t*(2/1 + 13). Suppose 3 = -3*d + c. Do 4 and d have the same value?
True
Let p = -18 - -25. Let m = 7.1 - p. Let j(c) = 2*c + 1. Let y be j(-2). Is m less than or equal to y?
False
Suppose k + 5 = -2*v + 1, 4*k + v = 5. Which is smaller: 12 or k?
k
Let d = -49/80 + 1/80. Which is smaller: d or -2?
-2
Suppose 0*i + 3*i = 6. Is i bigger than -1?
True
Suppose 4*g - 78 = -2*g. Let a(j) = 3*j**2 + j. Let k be a(2). Does k = g?
False
Let q be (-5)/(-25) + 6/(-5). Let a = 1 - q. Which is smaller: a or 3?
a
Let x(q) = q**2 + 3*q + 3. Let a be x(-3). Suppose a*s = -0*s - 3. Is -1 at least as big as s?
True
Let u(b) = -6*b. Let h be u(-1). Let i be (-48)/(-10) - 4/(-20). Let o be 0 + 2 + i - 0. Are o and h equal?
False
Let m = -24 - -25. Which is smaller: m or 0?
0
Let b be (-17037)/42*(-10)/15. Let a = -270 + b. Are a and -1 equal?
False
Suppose q + 28 - 26 = 0. Do q and 21 have the same value?
False
Suppose -4*u - 3 = 1. Suppose 2*j - 3*j = -h, 2*h + j = 6. Let o = h + u. Are o and -1/8 non-equal?
True
Let c(t) = -t + 7. Let f be c(6). Let w(a) = 6*a + 6. Let g be w(-7). Let h = 39 + g. Is f bigger than h?
False
Let h(q) = -q**2 + 10*q - 2. Let o be h(9). Suppose -s = -3*i + o, -2*i + 2*s = -3*s - 22. Suppose 3*v - 2 = -5. Is v at most as big as i?
True
Let i be (-3)/2*(-16)/6. Let g = -55 - -60. Is g greater than or equal to i?
True
Suppose 6*i + 4*o + 10 = i, 5*o = 3*i - 31. Let d be (-2)/(1/(i/8)). Which is bigger: d or 10?
10
Let t be 28/(-30) - (-3)/3. Is t equal to 1?
False
Let h(a) = -4*a**2 + 2*a - 1. Let s be h(1). Let q be 8*-1 - 6/s. Let b be (q/10)/(2/(-10)). Which is smaller: 4 or b?
b
Suppose -8 = 4*i + 12. Let q be ((-4)/10)/(i/25). Suppose -b - 2*b = -d + q, -24 = -4*b - 4*d. Is 1 less than or equal to b?
True
Let u = 7 + -5. Let f be (0 - (u - 0))/(-11). Do 1 and f have the same value?
False
Suppose -7*t = -5*m - 2*t - 15, 0 = -t. Let a be 0/(-2 - 0 - m). Is -5/4 <= a?
True
Let k(a) = 7*a - 46. Let g be k(7). Which is bigger: 4 or g?
4
Let c be (-6)/26*8/(-12). Let a be (-1)/3*3/(-1). Which is smaller: a or c?
c
Let d(l) = -l**2 - 2. Let f be d(0). Let y = -3 + 5. Let c = 1 - y. Is f != c?
True
Let z = 0.22 - 0.2. Let t = z - 1.02. Is -0.2 bigger than t?
True
Let a = -26 - -44. Suppose 5*b + a + 7 = 0. Is b >= -5?
True
Suppose 6*v - 2*v = 3*m - 10, 3*v = -3. Suppose 3*b + 5 = m. Is 9 at most b?
False
Let b be ((-57)/(-9))/(5/(-30)*2). Do -21 and b have different values?
True
Suppose 3*x = -2 - 1, 2*s + 14 = -2*x. Let q be -5*(-1)/((-10)/s). Let j be (-2)/(-4) + -3 + q. Which is smaller: 1 or j?
j
Let q = 4.11 + -0.11. Which is smaller: 0 or q?
0
Suppose -3*o + 4*o = 5*p - 13, 0 = -p + 5*o + 17. Suppose -p*w + 4 = 4*f, 0 = 4*f - 8*f - w + 2. Let s be (-5)/30 + (-2)/(-12). Is s less than f?
False
Let t = -138 - -143. Is 0.08 <= t?
True
Let z(p) be the second derivative of -p**5/20 - 5*p**4/12 - 3*p**2/2 - p. Let s be z(-5). Is s not equal to -2?
True
Suppose 3*u + 21 = 2*d + d, 0 = -5*u - 5*d - 45. Is u bigger than -8?
False
Let p = 6/115 - 64/345. Which is smaller: -1 or p?
-1
Suppose v + 4*u = 18, -2*u + 5*u = 4*v + 4. Suppose -3*p = -2*p - v. Let d be p/5 + (-6)/15. Which is smaller: d or -1/4?
-1/4
Let s(q) = -3*q - 62. Let r be s(-28). Is 25 < r?
False
Suppose 0 = 2*u + 2*u + 8. Do u and 13/6 have the same value?
False
Let d = 3 - 4. Is d less than -1/6?
True
Let d = -183 - -182. Which is bigger: -1/122 or d?
-1/122
Let t be 2*((-3)/2)/(-3 - 0). Let p = 6/7 + -17/28. Is t >= p?
True
Suppose 2*m + 5*j - 8 = 0, -2*j = -5*m - 6*j + 20. Suppose 0 = m*y - 9*y + 10. Let n be 3/(y/(8/(-6))). Which is bigger: n or -1?
-1
Suppose 0*k = 4*k + 24. Is -7 not equal to k?
True
Suppose 2*o - 4*o - 6 = 0. Let q be 1 + (o/4 - 1). Do -0.1 and q have different values?
True
Let a = -2.67 - -0.65. Let j = a + 0.02. Which is bigger: j or 1?
1
Suppose -u - 8 = -3*a, -2*a + u - 3 = -9. Suppose a*f = 7 - 55. Let i be 1/(-6) - 10/f. Is 2/7 greater than i?
True
Suppose 13 = 5*v + 3. Let m(s) = -3*s - 18. Let c be m(15). Let p = c - -255/4. Which is smaller: v or p?
p
Let f = -6 - -7. Let r = 0 + f. Which is smaller: -4 or r?
-4
Let j(w) = 2*w - 4. Let s be j(9). Is 13 at least s?
False
Let d be (1 + -18 + -3)*-1. Let a be d/(-50) + 2/5. Which is smaller: a or -3/16?
-3/16
Let u be (-3)/15 + 42/10. Suppose 2*p - 3*p + 2*w = -12, 5*p - 2*w = 20. Suppose 3*i - p*i = 3. Is i smaller than u?
True
Let j be -4*(0 - 33/(-12)). Let m = -163/15 - j. Are -1 and m equal?
False
Let p = -0.4 - -4.4. Is -2/9 not equal to p?
True
Let l = -5 - -5. Let k = 26.4 - 26. Is l greater than or equal to k?
False
Let i be (-1 - (-6)/7) + 832/3472. Is 1 smaller than i?
False
Let x(j) = 2*j + 0 - 2 - 4 - 4. Let k be x(7). Suppose p = 1, 3*p - 1 - 10 = k*h. Is -2 bigger than h?
False
Let i = -55 + 54.9. Which is greater: -22 or i?
i
Let d = -36 + 36.2. Is d at most -1?
False
Let g be 0/6 + 2 + -11. Let t(r) = r**2 - 7*r + 3 - 2 + 16*r. Let j be t(g). Is j bigger than 0?
True
Let s be 2/5 - 28/(-16). Let c = 1647/940 + -1/470. Let j = s - c. Are -1 and j non-equal?
True
Let t = -15 - -25. Let a be (-2)/1*5/t. Let x be 1/(-1)*0/a. Which is smaller: x or 3/5?
x
Let q be (56/70)/((-4)/(-30)). Are 5 and q equal?
False
Let n(g) = g**2 + 19*g + 12. Let v be n(-19). Does v = 12?
True
Let r be (2 + -2 - 3)/1. Let p be 1/6*(-1 + r). Which is smaller: p or 3/8?
p
Let n be 16/7 + 10/(-5). Let d = -11 - -8. Let y be (d/(-6))/((-1)/(-4)). Is y at most n?
False
Let m = 4 - -3. Let n be 27/(-21) + 2/m. Which is smaller: n or 3/7?
n
Let i be (1/3*0)/2. Suppose -z = i, -z = -5*t - 6 - 24. Which is bigger: t or -5?
-5
Let k be 4/14 - (-30)/(-7). Let m(b) be the second derivative of b**4/12 - 4*b**3/3 + 2*b**2 - 6*b. Let w be m(7). Which is bigger: w or k?
w
Suppose -3*v + 0*v = -12. Suppose 0*j - v*j = 0. Let d(t) = t**3 + t**2 + t + 1. Let y be d(j). Does y = -1/4?
False
Let y be (-2)/(-8) - (-20)/(-64). Is y > -1?
True
Let t = -7369/134 - -55. Is 1 at least t?
True
Let q = 4.1 + 13.9. Let o = q + -18.7. Let k = 0.65 + o. Which is smaller: -2/7 or k?
-2/7
Suppose -4*u + 5*f - f = -4, 0 = -4*f + 8. Suppose -12 = -4*y + u*w, -12 = -3*y + 4*w - w. Suppose 5*t - t = 0. Is t > y?
False
Suppose 0 = -27*r + 24*r + 21. Which is greater: r or 11/2?
r
Let q(b) = 0*b + 1 - 3 + b. Let y be q(6). Suppose 3*i = -0*u + y*u - 16, 4*u + 4*i = -12. Is 2/5 != u?
True
Let c = -2 + -1. Let v = 2 + c. Let d = -9 - -7. Which is smaller: v or d?
d
Suppose 0 = 5*g - 33 + 3. Let d be (2/4)/(3/g). Suppose -d = -p + 1. Is 2 greater than p?
False
Let m(c) = c**2 - 4*c - 7. Suppose -3*w = a - 8*w, -3*w = -3*a + 12. Let y be m(a). Which is bigger: y or -5/2?
y
Suppose 3*t - 15 = z, 2*z - 2 = -3*t - 14. Let r(h) = h + 7. Let q be r(z). Which is smaller: q or -3?
-3
Let a = -51 + 103. Is a equal to 51?
False
Let i = -0.2 - -0.1. Let u = 0.3 - 0.6. Let z = 0.1 + u. Which is bigger: i or z?
i
Let d(s) = s**3 - s**2 - 2*s + 1. Let i be d(0). Is i less than -1/16?
False
Let p(g) = -g**2 - 2*g + 4. Let a be p(-3). Is 9 not equal to a?
True
Let m be -2*(-4)/((-32)/12). Which is bigger: m or -19?
m
Let f be (33/48)/((-10)/(-40)). Is 3 at least as big as f?
True
Suppose -q + 5 = -3*t, -2*t - 14 = -0*q + 2*q. Let w be (-1)/t*(4 + -1). Let o(v) = v**3 + 5*v**2 + 2*v - 8. Let b be o(-4). Which is smaller: w or b?
b
Let y = 2 - 4. Let z = 0 - y. Let k = 1 - z. Which is smaller: 3 or k?
k
Suppose -4*f + 2*f = -2. Let v be 2/(-4)*(-52)/(-169). Is v at least as big as f?
False
Suppose 0 = -4*f + f. Let x be 30/56 - 6/21. Is f >= x?
False
Let r be 0 + (2 - 4)/(-1). Suppose -1 = -2*t + 3*a + 2, 4*a - 4 = 0. Suppose -t*w - q + 3 = 0, -2*q + 0 = 2*w - 2. Which is smaller: w or r?
w
Let t(y) = -y**2 - 5*y + 2. Let s be t(-5). Let j be (-18)/20 + s - 1. Suppose i + o - 3 = 0, 0 = 38*o - 39*o + 2. Is i > j?
True
Let b be (-6)/15 + 6/(-10). Let r be ((-4)/170 - 0)*19555. Let x = r + 460. Which is greater: x or b?
x
Let o = -5.6 -