et j(m) = m**3 + 6*m**2. Let b be j(-6). Let t be d(b). Is 2 greater than t?
False
Suppose -4*t + 18 = -5*b, 2*t + 3*b + 10 = 4*t. Suppose -t*z = -11 - 13. Suppose 6*c = 3*c + z. Is 4 at most as big as c?
True
Let h = 0.1 - 0.1. Let r = -1.6 - -3.6. Is r less than h?
False
Suppose t + 30 = -3*c + 6*c, 2*t + c = -39. Which is smaller: -20 or t?
t
Let c = -49.9 - 0.1. Is 2/3 bigger than c?
True
Let c be (-275)/264 - (-6)/16. Which is bigger: -54 or c?
c
Let h = 22 - -4. Let d = -36 + h. Do d and -10 have the same value?
True
Let f = 3462/4505 - 1/265. Which is greater: f or 1?
1
Let b = 4.7 + -0.7. Let r = -12.9 - -9. Let i = b + r. Is i bigger than -3?
True
Let o = -0.1 - -0.2. Let s be (-14)/(-21) + (-23)/3. Let m = -15/2 - s. Is m > o?
False
Suppose 4*w + 5 = -w. Let z(h) = -h**3 - 2*h**2 - 3*h - 3. Let i be z(-2). Suppose -k + 3 - 11 = 2*a, -9 = i*k + a. Are k and w equal?
False
Let a be 4/5*5/2. Let g(i) = i**3 - 5*i**2 + 4*i + 1. Let h be g(4). Is h less than a?
True
Let x be (16/2)/1 + 2. Let d(g) be the first derivative of g**4/4 - 11*g**3/3 + 11*g**2/2 - 11*g + 5. Let z be d(x). Which is bigger: -3/10 or z?
-3/10
Let b be 0 - (-2)/4*2. Let i be -1 - ((-15)/12 + b). Is i equal to 0?
False
Let c(h) = -h**2 + 8*h - 8. Let r be c(7). Is 2/19 >= r?
True
Let j = 17 - 1. Let a = j + -16. Is a bigger than 1?
False
Suppose -4*g - 5 = -1. Let m be (g/(-4))/(2/(-8)). Which is greater: m or -1/12?
-1/12
Let m = 11 + -15. Let t(u) = -u**2 - 4*u + 4. Let x be t(m). Suppose 0 = -5*i + 5*j + 10, x*i + j + 4 = 2. Are 2 and i non-equal?
True
Let y = -3 + 2. Suppose -n + 0 = -4. Let o be 7/5 - (n + -3). Does y = o?
False
Let y = -4 + 3. Let s be 6/27*-3*1. Are s and y equal?
False
Let x = 13.1 + -24.3. Let w = -0.2 - x. Which is smaller: -2/5 or w?
-2/5
Let m be 6/(-9)*(-1916)/(-32). Let v = m + 40. Let g(s) = 2*s - 1. Let d be g(1). Which is bigger: v or d?
d
Suppose -8 = -4*k, -2*f = f + 2*k - 7. Which is smaller: 0 or f?
0
Let u(f) = -f + 9. Let h be u(9). Which is smaller: -1/5 or h?
-1/5
Let k = -3 + 2.6. Let i = 0.67 - 0.07. Let l = i - k. Is -4 at least l?
False
Let i = 9 + -8.9. Let x = 1/50 - -47/150. Is i greater than x?
False
Let h(p) = p**2 + 3*p - 2. Let m be h(-4). Suppose -3*u + m*g + 2 = g, -u = -g. Is 1 less than u?
False
Let n = 9 + -7. Let z be 4 - (n - (2 + 2)). Is z greater than 4?
True
Let q = -5/22 + 13/33. Let y = -13 + 12.9. Which is smaller: q or y?
y
Let d = 22 + 32. Is 53 less than d?
True
Let x = -18 - -21. Let w(b) = 2*b**2 + 2*b - 1. Let a be w(1). Suppose a*o - 4*o - 1 = 2*g, 4*o = -2*g - 16. Are x and g unequal?
True
Suppose -32 = -8*v + 4*v. Which is bigger: 3 or v?
v
Let d(c) = -6 + 5*c**3 + 2*c**2 + 2 - 4*c**3 - c - 2*c. Let v be d(-3). Is v < -4?
False
Let s = -8 + 8. Which is bigger: s or -9?
s
Let g be (3/6)/((-10)/8). Let j = -149/45 + 16/5. Is g < j?
True
Let m(g) = -g**2 + 6*g - 5. Let n be m(5). Is -1/4 > n?
False
Suppose -4*j + 0*j + 5*z = -53, 2*j - z = 19. Suppose -3*s + j*s - 2*x - 8 = 0, -3*s + x = -7. Let b(r) = r. Let c be b(s). Is 3 smaller than c?
False
Let o = 2754/91 + -214/7. Let d be ((1 + -2)/(-1))/(-1). Which is bigger: o or d?
o
Let m be -7 + 4 + (-6)/(-2). Suppose m*r - 2*r + 24 = 4*x, -4*r = 3*x - 33. Which is bigger: 22/3 or r?
22/3
Let k(j) = -j**3 - 2*j**2 + 2. Let d be k(2). Is d at most as big as -13?
True
Let d = 6172/295647 - -2/3179. Is 0 > d?
False
Suppose 0 = p + 4*p + 15. Are p and -3 non-equal?
False
Let u(d) = -6*d + 3. Let y be u(2). Let o = 16 + y. Suppose -3*i = -j + o, 2*i - 4*i + 17 = -5*j. Which is smaller: -1 or i?
i
Let u(g) = g**2 + 7*g + 8. Let f be u(-6). Suppose 3*c - 4 = f. Let x be 0 + c + (-48)/26. Which is smaller: x or 0?
0
Let k = -4 - -4. Let j be -2*(-4 + -1 + -2). Which is greater: j or k?
j
Let r(a) = a**3 + 2*a**2 - 3*a. Let o be r(-3). Let l be 2*(7 + (-6)/2). Let u be (1 - -1)/(l/(-2)). Which is smaller: o or u?
u
Let k(s) be the first derivative of s**2 + 4*s - 2. Let d be k(-3). Let f be d/7 + 2/7. Is f smaller than -2/15?
False
Let j = -0.02 + -0.08. Let z = j + 0.2. Let g be ((-4)/(-30))/((-1)/(-5)). Which is smaller: z or g?
z
Let o = -29 - -30. Which is smaller: 2 or o?
o
Let q = 15305/50439 - -2/2193. Which is bigger: 0 or q?
q
Let k(a) = -3*a + 3. Let c be k(2). Is c less than -5?
False
Suppose -s - 13 = -2*m, s + 0*s + 3*m + 13 = 0. Is -12 != s?
True
Let v(k) = k**3 + 5*k**2 + 3*k - 1. Let q be v(-4). Let l = 2 + 1. Is l at most as big as q?
True
Let c = -807/7 + 115. Let p = 72 + -76. Which is bigger: c or p?
c
Let b be 1/(-1) + (-5)/(-25)*10. Is -2/67 > b?
False
Let p(i) = 1 + 4*i**3 - 3*i**3 - 2*i**3. Suppose -2*t = -2 + 4. Let q be p(t). Are q and 1/2 equal?
False
Let d = -0.65 - 0.33. Let v = d - 0.02. Let l = v + 2. Is l <= -1?
False
Let j = -5 - -9. Let t = -13 + 14. Suppose 0 = r - 3 - t. Is j greater than r?
False
Suppose -21 = 3*a - 102. Are a and 28 unequal?
True
Let u = 255 + -256.27. Let k = -0.07 - u. Which is smaller: k or -1?
-1
Let t be 4/12*25/1. Which is bigger: t or 8?
t
Let l be (-1)/(111/57 + -2). Let r = 13 - l. Is r at least -5?
False
Suppose -4*f = -0*f - 48. Let a = -13 + f. Are a and 1 nonequal?
True
Let w = 0.2 + -0.4. Let f = 166 + -165. Is w > f?
False
Suppose 4*f - 2*f + 3*v - 3 = 0, 5 = 3*f + 4*v. Suppose 6*k = 3*k - 9. Let j be -3*(2 + 9/k). Is j at least as big as f?
True
Let a be (-117)/60 - (-12)/16. Is a < -2?
False
Let b be 4/6 - ((-102)/(-18) + -3). Suppose d - 4*d = 15. Let t be (24/110)/(2/d). Is b smaller than t?
True
Let k(j) = -j**3 + 5*j**2 + 7*j - 6. Let y be k(6). Is y at most -2/19?
False
Let c = 1379/40 - 255/8. Let l be 2/(4 - 2) - -1. Which is smaller: c or l?
l
Let o = -0.2 + -0.6. Let m = -1.2 + o. Let i = -0.2 + 0.1. Which is smaller: i or m?
m
Let o = -1531752/28217 - 4/4031. Let b = 54 + o. Which is greater: b or 1?
1
Let u = -29 - -19. Is 4 bigger than u?
True
Let v be 102/(-28)*1/(-2). Let q = v - 11/7. Which is smaller: -1 or q?
-1
Let m = -0.16 + -0.04. Is -0.1 <= m?
False
Let v = -26 - -14. Let n = -12 - v. Which is smaller: n or -10?
-10
Let i be 1/1*(-2)/2. Let f = 557/4301 + -3/253. Which is greater: f or i?
f
Let d(y) = -y**3 - 2*y**2 - y + 1. Let s be d(-1). Let i be -1 + (2 - 1) + 0. Let w = i - s. Do w and -1 have the same value?
True
Suppose -3*q + 12 = p + 3*p, -4*q = 2*p - 16. Suppose 5*t - 9 = 3*o, 2*t - 3*o = -p*o + 9. Which is smaller: -2 or t?
-2
Let x = -0.0089 + -2.0011. Let c = x + 0.01. Are -2 and c non-equal?
False
Suppose 5*s = 12 - 2. Let q = 1.8 + 2.2. Are q and s nonequal?
True
Let i = -34 - -172/5. Does 1 = i?
False
Let g be 8/5 - (-2)/5. Suppose 0 = -5*v + g*n - 4, 11 = -v - 0*n - 3*n. Is -1/4 != v?
True
Let b be 1/(-1 + 18/15). Suppose -v + 5 = -5*o + 4*v, 25 = 5*o + v. Suppose o*w - 16 = 8. Do b and w have the same value?
False
Suppose 2*d + 46 = -3*j + d, 3*d - 58 = 5*j. Let b(f) = 2*f**2 - 2. Let p be b(-2). Let q be (-4)/(-6)*p/j. Is q equal to 0?
False
Suppose 0*c = -5*c - 15. Let n be 2/(-3) + 8/(-24). Which is smaller: c or n?
c
Let p(r) = -3*r - 5. Let g be p(-5). Suppose -w - g = -3*w. Which is greater: w or 7?
7
Suppose 4*l = 4*r - 12, 3*r - l + 3 = -2*l. Suppose 5*v = -r*v. Suppose -5*m + 20 = -5*k, -3*k + 3*m - 2*m = 6. Which is bigger: v or k?
v
Let w be ((-2)/(-3))/((-4)/(-6)). Which is smaller: 3/14 or w?
3/14
Suppose -5*i = -2*i - 27. Suppose 19 = b - i. Is 28 at most as big as b?
True
Let n be (-6)/(-4) + 2/(-4). Let u be 22746/(-210) + (-6)/(-10). Let d = -108 - u. Are d and n nonequal?
True
Suppose 0*w + 4*w + 2*a = 2, -5*w = -2*a - 25. Suppose w*i + 3 + 0 = 0. Suppose u + 6 = -m, -2*u + 3*u + 2 = 3*m. Is m less than i?
False
Let g be -2*(1 - 114/(-226)) + 3. Let x = 1595825791/1695 - 941490. Let v = g + x. Which is greater: v or 0?
v
Let o = 16 + -14. Suppose 0 = -2*r - 4*u - 18, -5*r - 3*u + 0 - 17 = 0. Let c be r/6 - 6/(-9). Is c less than or equal to o?
True
Let c be 40/(-4490)*(-1)/2. Are 1 and c non-equal?
True
Let c = 61/6 - 10. Is 2/41 greater than or equal to c?
False
Let o = -0.1 - 1. Let v = 3.1 + o. Is v > 2/5?
True
Let c(b) = 38*b - 38*b + b**2 - 4. Let s be c(-3). Suppose s*o - 3*n = 4*o, -3*o - 5*n = 0. Is -1 smaller than o?
True
Let l be 6 + -3 + 29/(-9). Let p = 0.1 + 0. Let z = p - 0.1. Is z <= l?
False
Let k be (-1 - -359