 Let a = g + -2/9. Are a and -1 equal?
False
Let g = -7 + 18. Let t = -11 + g. Which is smaller: t or 1/3?
t
Let z(o) = o**3 - 10*o**2 - 10*o - 3. Let j be z(11). Which is bigger: j or 4?
j
Suppose 3*f + 2*f = 5. Suppose q = 2*q + f. Which is smaller: -3/4 or q?
q
Let r(v) = -v**2 - 6*v - 2. Let u be r(-5). Suppose -u*k + 5 + 1 = 0. Is k bigger than 1?
True
Let w = 53 - 11. Is -1/4 at most w?
True
Let y be 2*(-17)/(-9) + -4. Which is bigger: y or -16?
y
Let k be (-3)/(-9)*0 + 0. Suppose k*p + p = -2. Is -2/5 less than p?
False
Let d(x) = x**3 + 4*x**2 + 3*x - 1. Let s be d(-3). Let h be (1 + s)/((-5)/5). Let g = h + 2. Is g greater than or equal to 1/2?
True
Suppose 3*n - 7 = 5*z - 16, n - 4*z = -10. Which is greater: n or 15?
15
Let a be (-6)/442*(-1166)/33. Let y = 7/13 - a. Does 0 = y?
False
Let w = 1 + 1. Let r(a) = -7*a - 5. Let n(t) = t + 1. Let z(i) = -6*n(i) - r(i). Let b be z(1). Which is bigger: b or w?
w
Suppose 4*g + 64 = 2*z, -4*z - 67 = 2*g + 3*g. Which is smaller: -13 or g?
g
Let p(x) = -x**2 - 6*x - 9. Let z be p(-5). Which is bigger: -2 or z?
-2
Let j be 765/16*(-20)/15. Let v(i) = -i**3 + i**2 - 64. Let h be v(0). Let m = j - h. Which is bigger: m or 0?
m
Suppose -3*l + 3*z - 102 = 0, 2*l + z - 21 + 77 = 0. Let y = -20 - l. Let j be ((-4)/y)/(2/(-20)). Is 4 not equal to j?
False
Let o(v) = 2*v + 39. Let s be o(-13). Which is smaller: -1 or s?
-1
Suppose -2*z + h = -81, 0*h = -2*z - 3*h + 77. Let i be (-130)/z + 2/8. Is i < -3?
False
Let v = -49 - -49. Let r = 344/819 - -1/117. Which is smaller: r or v?
v
Let w(j) = -j**2 + 2*j + 3. Suppose 6 = -x + 3*x. Suppose 5*d = 2*k + 19, -k + x*k + 10 = 2*d. Let m be w(d). Which is smaller: m or 1?
m
Let q = 0 - -3. Let z be -2 + (q - 3 - -2). Which is smaller: -2 or z?
-2
Let y be (18/(-27))/(32/(-6)). Which is bigger: y or 1?
1
Let o be 3*-1 + (2 - 1). Suppose -s + 3*s = 2. Let q be (0 - s)*(-2 - o). Are q and -1/2 equal?
False
Let p = -32 + 14. Let i = -8 - p. Are 11 and i nonequal?
True
Let t(o) = -o + 1. Let a be t(-4). Suppose a*h + 2*d + 11 = 4, -2*h = -2*d. Which is greater: h or -0.5?
-0.5
Let i be (-33)/11 + 28 + 0. Let q = -18 + i. Does q = 6?
False
Let k = 15 - 15. Which is bigger: -1 or k?
k
Let x(n) = -n**3 + 2*n**2 + 3*n + 1. Suppose s - 4*i = -8, 44 = 4*s + 4*i - 4. Let q = 11 - s. Let l be x(q). Which is greater: l or 2/29?
l
Let k be -2*(-19 - -3)/(-4). Let f be 7 + 6*k/12. Are 1 and f equal?
False
Let r = -84 + 250/3. Let q = -4 + 7. Suppose -2*b = q*b. Is r smaller than b?
True
Let g = 40 - 31. Is 11 less than g?
False
Suppose 2*d = -4*t - 16, 2*t + 4*d + 3 = -5. Is -13/5 greater than t?
True
Let b = 6 - 5. Suppose s - b = 4. Suppose 3*p + 2*c = -4, s*p + 12 = -2*c - 0*c. Which is bigger: 1 or p?
1
Let t be 2 - (160/(-28))/(-5). Which is smaller: t or 2?
t
Let f be (-18)/(-88) + (-11)/44. Is 1 greater than or equal to f?
True
Let w = -22 - -40. Which is bigger: 19 or w?
19
Let u = -10 - -3. Let c be 0 + 0 - u/(-7). Is -2/9 > c?
True
Let u be ((-7)/(-21))/((-38)/(-6)). Is u at most as big as 0?
False
Let a be 18/(-228)*(-8)/6. Let d = -20/551 + a. Which is smaller: -1 or d?
-1
Suppose -d + 12 = d + 2*g, 0 = -3*g + 3. Suppose y = 3*r + 1, d*y - 4*r = 4*y + 2. Which is smaller: y or 0?
y
Let s be ((-6)/6)/((-14)/(-20)). Which is smaller: -2 or s?
-2
Let x = 25317/22 - 1151. Which is bigger: x or 0?
0
Let i = 2 - 3. Let g = -146/1233 - -1/137. Which is smaller: i or g?
i
Let n = 18 - 3. Let d = n - 12. Is 0.2 bigger than d?
False
Let y be 5/15 + (-8)/(-3). Suppose -1 = y*m + 2. Which is bigger: m or -2?
m
Suppose 2*i + 0*i + 36 = -2*m, 0 = 4*i + 20. Is m at least -12?
False
Let o be 6/15 - (-13)/5. Let h be o/(18/40)*6. Let p be 6/h + (-1)/(-4). Which is greater: p or -0.1?
p
Let g = 1 - 0. Is g not equal to 4/7?
True
Let z = 218 - 1082/5. Let b be (-3)/(-3*2)*10. Let c be b*-4*4/(-40). Which is smaller: c or z?
z
Let t be ((-20)/(-35))/4 - (-9)/35. Let b be (-2)/4*(-10)/1. Suppose b*g = 4*g + 1. Which is bigger: g or t?
g
Let y(d) = -d**3 + 6*d**2 - 3*d + 4. Let p be y(5). Let j(g) = 13*g**3 + g**2 - g + 1. Let z be j(1). Is p greater than z?
False
Let j be (1 + 0)*(17 + -42). Which is smaller: -24 or j?
j
Let l = 13 - 4. Let w(b) = b**3 - 10*b**2 + 8*b + 12. Let c be w(l). Is 3 > c?
False
Suppose 0 = 6*h - 9*h + 3. Let o be 0 + h - (-4)/(-4). Let r be -1*(3 - 1)/(-6). Which is smaller: r or o?
o
Suppose 5*r + 13 = -7, 1 = -3*x - 4*r. Suppose x*j + 30 - 1 = -3*p, 25 = -4*j - 3*p. Is -4 less than or equal to j?
True
Let k = -3.05 + 0.05. Let n = 6 + -3. Let j = k + n. Is j less than or equal to 2?
True
Let u = 0.9 + -1. Suppose 11 = -39*x + 11. Is x > u?
True
Let x = 0.107 + 20.893. Is 0 < x?
True
Suppose 0 = -4*s - 2 + 2. Let k = -11 + 11.7. Is s smaller than k?
True
Suppose -33 = -0*s - 3*s. Let y(a) = a**3 + a**2 + 11. Let d be y(0). Is d at least s?
True
Let a = -6 + 6.04. Let p = a + 0.96. Which is bigger: p or 0.1?
p
Let l = 16 + -47/3. Let r(x) = -2*x - 5. Let t be r(-5). Let i(a) = a**3 - 6*a**2 + 5*a - 1. Let q be i(t). Do l and q have the same value?
False
Let x be (-45)/(-3)*1/(-13). Let n = x + 133/104. Let a = -9 - -9. Which is bigger: a or n?
n
Let l = 6 + -7. Suppose 4 = -s - 3*s. Is l equal to s?
True
Let w(t) = t**2 + 3*t - 1. Suppose 0 = 5*l - l + 12. Let n be w(l). Is n at most as big as 0?
True
Let r be 4 + -1*(-356)/(-88). Which is bigger: r or -1?
r
Let h be (-168)/3*2/(-4). Let j be 36/h - (-1 + 2). Let y = -0.07 + -0.43. Which is smaller: j or y?
y
Let f = 21791/10 + -4305/2. Let d = -2246/85 + f. Which is smaller: d or 0?
0
Let k(y) = y**2 + 3*y - 3. Let f be (-2 + 5)*1*-1. Let a be k(f). Which is smaller: a or -4?
-4
Suppose -3*z + 2*w + 4 = -1, 25 = z + 4*w. Suppose -29 = -z*p - 9. Let s be (-2)/8 + (-105)/(-20). Which is smaller: s or p?
p
Let h(n) = n + 4. Suppose 4*v + 9 = -15. Let b be h(v). Let s(u) = -u**2 - u + 1. Let j be s(1). Which is smaller: j or b?
b
Let i be 67/(-99) + (-2)/(-3). Let a = -304/693 - i. Let f be (-2)/(-9) + 7/9. Is a greater than or equal to f?
False
Let x(f) = f - 6. Let p be x(9). Suppose 2*z + p*w = -27 + 8, -21 = -2*z + 5*w. Let m = z + 1. Which is greater: 2/7 or m?
2/7
Suppose -8 = -5*o + 2. Suppose 4*t - 6*t = o. Is -1/3 > t?
True
Let k = -17 + 0. Let v = 16.9 + k. Are v and -2 equal?
False
Let f(d) = d**2 - 2*d - 3. Let o be f(-1). Is o smaller than -1/17?
False
Let g be 10/4 + 6/12. Is g equal to -6?
False
Let q(o) = 5*o**2 + 5*o - 6. Let c be q(1). Is 4 < c?
False
Let y = 3 + 0. Let a(i) = -i**3 + 3*i**2 + 1. Let h be a(y). Is -1/3 != h?
True
Let p = -0.15 - -0.18. Are 0.1 and p unequal?
True
Let a = -6 + 6.3. Let y = a + 0. Let k = 0.7 + y. Is -0.1 at most as big as k?
True
Let t be 1/34*(1 - 5). Let m = -13 - -12. Is m smaller than t?
True
Let u(z) = z**2 + z + 2. Let o be u(-5). Let j = -104/57 + 6733/285. Let f = o - j. Which is smaller: f or 1?
f
Suppose -g + 203 = -69. Let b = -1627/6 + g. Which is smaller: b or 1?
b
Let r(j) = j**2 + 2*j - 1. Let q be r(-4). Let c = 7 - q. Suppose c = 2*o - 3*w - 5, 6*o - 3*o = 3*w + 6. Which is smaller: o or 2?
o
Suppose 4 = 2*d - 4. Suppose -d*w = -4*b - 0*w + 48, -4*b + 3*w + 44 = 0. Let j be 2/b*(3 + -4). Which is smaller: j or 1?
j
Suppose 10 = -w + 2*s, -3*s = -w + s - 12. Let z be w/36 - (-28)/(-36). Which is bigger: z or -2?
z
Let p = 273/3245 + 2/295. Suppose -2*a = 3*d, 3*a = -d + 4*d. Which is smaller: p or a?
a
Suppose -2*a + 64 = 4*p, 3*a - 2*a - 16 = -p. Which is smaller: 15 or p?
15
Let o be 8/((-128)/(-12))*4*1. Which is bigger: 0 or o?
o
Let q be 9/15 - 1/1. Let o = 20 + -19. Which is greater: o or q?
o
Suppose 1 = -2*s - 1. Which is smaller: s or 4/5?
s
Suppose -1 = -4*j + 11. Let k(a) be the third derivative of a**6/60 + a**5/60 - a**4/24 - 2*a**2. Let z be k(1). Is z < j?
True
Let f(z) = -z + 13. Let y be f(11). Is y greater than 2?
False
Let t(z) = z**2 - 9. Let o be t(-4). Let l be ((-3)/(-6))/(o/14). Is l >= 1?
True
Let j = 4 - 3. Let k = j - 1. Suppose -2*i = -3*r + 7, -3*r - i + 5*i + 17 = k. Is r >= 2/7?
False
Let h = -414 - -15316/37. Let l be -2 - (5 + (-9)/((-36)/(-32))). Is h bigger than l?
False
Let l be 6*(6/(-828))/((-1)/2). Suppose -6*z - 2 = -4*z. Are l and z equal?
False
Suppose 2*k = -0*k - 16. Is -6 at most k?
False
Let v =