m + 10. Are t and w equal?
True
Suppose -4*b - b = -10. Suppose 0 = -4*a + 3*a - 14. Let p be (-35)/a*(-2)/20. Which is smaller: p or b?
p
Suppose -3*k = a, -3*k - 32 = -5*a - 2*k. Let w be (-4)/15 + a/(-15). Let h be 2/5 + (-28)/20. Is h at most as big as w?
True
Let y = -10 - -30. Let t = y + -18. Is 0.2 <= t?
True
Let g = -31 - -51. Suppose 0 = 3*z + z - g. Suppose -4*m = 2*x - 20, z*m + 3*x - 31 = -x. Which is greater: 2 or m?
m
Let v be (-5)/10*17/(-1). Let s = 7 - v. Is s greater than -1?
False
Suppose -5*f - 13 - 17 = 0. Are -6 and f equal?
True
Let q = -1 - -1.08. Which is smaller: 0 or q?
0
Let c = 4.1 + -3.1. Which is bigger: 24 or c?
24
Let c = 19.3 + -18. Let g = 3.3 - c. Let i = -1 - -1. Which is bigger: g or i?
g
Let w be (-2)/3*2/8*-6. Let t = -256/3 + 86. Is w bigger than t?
True
Let a be 16/4 + 3 + 1. Which is smaller: a or 0?
0
Let s = 174.24 - 174. Which is smaller: 2/9 or s?
2/9
Let h be ((-10)/(30/6))/(-2). Is h equal to 2/9?
False
Let o = 6 + 0. Suppose y + 3 - o = 5*f, -5*y - 5 = -5*f. Let d(r) = -r**2 - 3*r - 1. Let b be d(y). Which is smaller: 1.1 or b?
b
Let g = -4 - -2. Let a(d) = d + 1. Let r be a(0). Let t be (-1 - -1)/((-2)/r). Does t = g?
False
Let k = 56993/2620 + -2/655. Let j be (-795)/(-36) - (3 - 1). Let w = j - k. Are -1 and w equal?
False
Let a = 293/221 + -18/13. Do a and 0 have different values?
True
Let q be (-1)/2*(-2)/(-1). Let l = -16 - -15. Let x be l/(-21)*(-9 + 18). Is x >= q?
True
Suppose -u = 2*u - 2*j + 8, 0 = 4*u - 5*j - 1. Let h(w) = -15*w + 113. Let b be h(8). Which is greater: b or u?
u
Let s be ((12/(-7))/4)/(-1). Let v be (2 - 4/1) + 3. Does v = s?
False
Let h be (0*(-1)/(-2))/(-3). Let a(k) = k**3 + k - 126. Let w be a(h). Let p be ((-3)/(-4))/(w/(-16)). Is 1 less than p?
False
Suppose -l = -3*l - 4. Let s = -2.8 + 3. Is s at least as big as l?
True
Let r be 81/12 + (-1)/(-4). Let m = r + -11. Let q(d) = -2*d - 4. Let k be q(m). Which is bigger: k or 3?
k
Let z = 20 + -20. Which is greater: z or -2?
z
Suppose 2*t - t + 9 = 4*h, 0 = 3*t + h + 1. Let r be -3 - -4 - (-1 - t). Which is bigger: r or 0?
r
Suppose 4*c - c = -21. Let d = 12 + c. Let n = 12 - d. Is 7 at most as big as n?
True
Let j = 2.92 - -0.08. Let n = 2.8 - j. Let d = n - -0.3. Which is greater: -2/7 or d?
d
Let f = 2 + -4. Suppose 4*i + 3*i = 2*i. Is i bigger than f?
True
Suppose -18 + 3 = -5*a. Suppose -s = a, -3*b + s = -4*b. Which is smaller: b or 2?
2
Let b(f) = -8*f**2 - f**3 + 7 + 2*f**3 - 5*f + 4*f. Let x be b(8). Is x not equal to -1/6?
True
Let q = -4 + 7.4. Let y = 3 - q. Let p = y + 0.2. Which is smaller: 0.1 or p?
p
Let f = 55 + -60. Let v(q) = 2*q + 9. Let x be v(-8). Which is smaller: f or x?
x
Let c be 1 - -3 - (0 + -1). Let q(p) = -7*p + 5. Let m be q(0). Is m less than c?
False
Let z = 14/597 - 904/55521. Which is smaller: z or -1?
-1
Let n = -320 - -319. Let l be 23/(-60) - 1/(-4). Which is bigger: l or n?
l
Let k be 137/134 + -1 - 0. Let j = k - -247/938. Which is bigger: 1 or j?
1
Suppose 10*h - 6*h = 4. Is 0.3 bigger than h?
False
Suppose k = 4*d - 6, 0 = d + 2*d - 3. Let y(u) = 2*u**2 - u - 2. Let g be y(k). Is g greater than -2?
True
Let l = -19 + 19.1. Which is smaller: 5/7 or l?
l
Let p(c) = -c**3 + 4*c**2 - 3*c. Let f be p(3). Which is smaller: 2 or f?
f
Let v be -8*(-1 + 9/6). Let y = v + 1. Let q = y + 6. Are q and 4 non-equal?
True
Let u(x) be the third derivative of -7/24*x**4 + 0*x + 0 + 1/60*x**5 + x**2 - 5/3*x**3. Let f be u(8). Which is smaller: f or -1?
f
Let f be ((-15)/270)/(2/8). Let m = -13 + 19. Which is greater: f or m?
m
Let b(i) = -i. Let l be b(4). Let g be -8 - -1 - (-2)/1. Is g > l?
False
Let k(p) = -2*p - 10. Let v = -9 - -1. Let h be k(v). Let i be ((-2)/h)/(2/(-6)). Do i and 0 have the same value?
False
Let v be 2/(-10) + (-312)/40. Is -9 >= v?
False
Suppose -1 = 2*o + 1. Let f = 81 + -564/7. Which is smaller: f or o?
o
Let o(u) = -u**2 - 2*u + 15. Let n be o(0). Let s be 72/n - 2/(-10). Is s at least 6?
False
Let b = -27 + -4. Which is greater: b or -30?
-30
Let j be (-4754)/28 - (-2)/4. Let q = j + 169. Which is greater: q or 1/3?
1/3
Let f(m) = -m + 2. Let b be f(0). Suppose -3*k + 20 = b*k. Suppose 0 = k*n - 6 + 18. Are n and -4 equal?
False
Let p = 1/6 - 23/30. Which is bigger: p or -1?
p
Suppose z - 2*z - 2 = 0. Let s be z/(-2) - (6 - 9). Is s != 5?
True
Let y(n) = n. Let p be y(8). Let o be 2/p + (-15)/(-20). Let m be ((-2)/(-18))/(o/(-2)). Are m and 2/7 equal?
False
Let d = -1833 - -12797/7. Does d = -6?
False
Let o = -14 - -10. Let d be 1/1*((-13 - -4) + 7). Are d and o non-equal?
True
Suppose 3*a = 3*d + 129, -2*a - 6*d + 80 = -2*d. Let c be (-12)/a - (-16)/7. Let j = -2 + 4. Are j and c unequal?
False
Suppose -2*w = 2 - 6. Let j be w/3 + (-104)/84. Let y be (-6 + 8)*(-2)/2. Is y less than or equal to j?
True
Let n be -1*(-6)/(-141)*-1. Is n less than or equal to 1?
True
Let n(l) be the third derivative of -l**5/60 + l**4/4 - l**3/2 - 3*l**2. Let u be n(6). Let t = u - -7. Is 0 != t?
True
Let q be 2/(-2) + ((-66)/(-12) - 3). Suppose 2*h - 3*h + 2 = 0. Which is smaller: h or q?
q
Let m be 21/15 + -1 + 1. Which is smaller: m or 1?
1
Suppose -28 = -a - 4. Do 24 and a have the same value?
True
Let f be ((-9)/2)/(-3 - 3). Let r = -32 - -19. Let c = -12 - r. Which is smaller: c or f?
f
Let k = -1 - 5. Let u(a) = -a**2 - 7*a - 7. Let t be u(k). Is -2 at least t?
False
Let l = -13 + 40/3. Let w = 7 + -4. Suppose w*u = -u. Is l < u?
False
Suppose -22 = -3*i - 4*q, 3*q - 8*q = 3*i - 17. Which is greater: 13 or i?
i
Let y = -4 + 2. Let z be ((-4)/(-4))/(-1) - (-2)/4. Which is greater: z or y?
z
Let w = 695/9 + -77. Let t be (-4 + 2)*(-8)/(-2). Let x be 0*(-2)/t*2. Does w = x?
False
Suppose 6 = -5*o - 9. Is o bigger than -3?
False
Let g be (-27)/12 + 5/20 + 1. Is g greater than or equal to 2/441?
False
Suppose 4*i = -2*c + 16, -5*i + 15 + 5 = -3*c. Suppose 6 = -0*j + j. Let p be 2/j + (-1)/(-3). Which is greater: c or p?
p
Let y = -16 - -15. Which is bigger: y or 12?
12
Let n = 2/15 - 1/20. Is n at least as big as 0?
True
Let t be (-16)/((-6)/(5 + -2)). Does 9 = t?
False
Suppose x = -f, 4*f - 2*x = -17 + 5. Let c be (5/f)/(3/6). Which is smaller: c or -4?
c
Let p(t) = t**3 - 5*t**2 + 5*t - 2. Let d be p(3). Let k = d - -7/2. Is k smaller than -2?
False
Suppose 0 = -5*u + 58 + 42. Let t be (-4)/(-8) + (-6)/u. Is 0 bigger than t?
False
Let o be (-2)/4*(0 - -14). Suppose -5*q = -0*q - 4*f + 14, -3*f = -3*q - 6. Which is bigger: q or o?
q
Let f be 0 - 1/2*0. Let d = -11/24 - -1/8. Is d < f?
True
Suppose 5*o - 3*u + 24 = 0, -3*u = -2*o - o - 12. Is -6 greater than or equal to o?
True
Suppose 4*l + 4 = 0, m + 2*m - 2 = 2*l. Which is smaller: 35 or m?
m
Let l(a) = -3*a**2 - 10*a + 2. Let j be l(-5). Are j and -24 unequal?
True
Let x be 3 + 0/((-25)/(-5)). Is 3 smaller than x?
False
Let a = 0.01 - -1.99. Let d = -1.1 + 2.1. Let g = d - a. Does -0.2 = g?
False
Let c(n) = -2*n**2 + 9*n + 4. Let b be c(7). Which is bigger: b or -30?
-30
Let d = -0.01 + -7.99. Let h = -4 - d. Which is smaller: 0 or h?
0
Let q be (2 + 0)*2*1. Suppose 2*s = -0*s + q. Suppose 0 = -o + 3*z + s, 2*o + 2 - 6 = -2*z. Is o at most as big as 2?
True
Let z(r) = -r + 8. Let g be z(6). Let t be (-55)/15 - g/(-3). Let b = t - -8. Is 3 smaller than b?
True
Let c = -2 + 2. Let f = 6 - 7. Which is smaller: f or c?
f
Suppose u - 1 = 0, 5 = -3*t + 5*u - 0*u. Which is greater: t or -0.2?
t
Let q be (-3*5/450)/(3/2). Is q > 1?
False
Let c be (-312)/1161 + 6/27. Which is smaller: 1 or c?
c
Let r = 0.01 + -9.01. Is 2/9 <= r?
False
Suppose 4*u - 45 = -5*g, -25 = -3*g - 5*u + 15. Suppose -g*v - 7 = -2. Let s be (-1 - v) + 1/2. Are 1 and s nonequal?
True
Suppose 0 = -2*j - 5*b - 12, 5*b - 4 = -3*j + 3*b. Let i be ((-6)/12)/(2/j). Is i not equal to 2/9?
True
Let b = 38 - 29. Does 9 = b?
True
Let q = 5245/507 + -2/169. Which is bigger: 10 or q?
q
Suppose m + 2*m = 4*h + 19, 5*m = -3*h - 7. Suppose -b - m = -2. Which is bigger: b or 5/3?
5/3
Suppose -4*c + 0*i + 11 = 3*i, 2*i = c + 11. Let b be 20/(-70) + (-1)/(-7). Are c and b unequal?
True
Let n be -3 - -2 - 1*-1. Suppose n = -5*q + 255 - 45. Let k = -125/3 + q. Is k less than 1/3?
False
Let n(t) = t**2 + 3*t + 3. Let c be n(-2). Let h = -0.5 + 0.4. Let x = h - -0.3. Which is b