 or equal to 1?
False
Let c(o) = -o**2 - 3*o - 3. Let k be c(-2). Let j = k + 2. Let y = -28 - -30. Is j greater than or equal to y?
False
Let n be (-171)/(-36) + (-5 - -2). Which is greater: n or 2?
2
Suppose -2*y = -6*y. Suppose r = -y*r. Suppose -3*o - 3*j + 18 = 2*j, -3*o - 9 = -4*j. Is r smaller than o?
True
Let t = 2 - -71. Let s = -1774 - -5105/3. Let i = t + s. Which is greater: 1 or i?
1
Let a be 1/(-2) - 27/(-48). Do 0 and a have different values?
True
Let x(q) = -5*q - 1. Let o be 0 - (-7 + 3)/(-4). Let t be x(o). Which is smaller: 2 or t?
2
Let g(w) = -w**2 - 19*w - 25. Let f be g(-17). Is 12 greater than or equal to f?
True
Let i be (1 - 1)/(2/(-2)). Suppose 5*y = 8 + 2. Let h be (y - 15/6) + 1. Which is smaller: h or i?
i
Suppose -20 = -0*j - 5*j. Let v be (-60)/(-14) + 4/(-14). Suppose v*o = o + 12. Are o and j equal?
True
Let w be 2*3/(-21) + 0. Let c = -2.06 + 2. Let r = c + 0.26. Is r less than w?
False
Let z be ((-4)/2)/((-40)/12). Which is smaller: -4 or z?
-4
Suppose 3*m = 1 + 5. Suppose o - m*o = 0. Which is bigger: o or -1?
o
Let p be ((-4)/16)/(22/(-8)). Which is smaller: -1 or p?
-1
Let r = 9 - 7. Let x = 2.6 - r. Which is greater: x or 2?
2
Let z = 0 - 8. Let r = z - -17. Let g be (-2)/(-2) - 27/r. Which is smaller: -3/2 or g?
g
Let h = 17 + -17. Do h and 1 have the same value?
False
Let b(a) be the first derivative of a**3/3 - 6*a**2 - 14*a + 5. Let u be b(13). Which is smaller: -3/5 or u?
u
Let o(q) = q - 5. Let u be o(7). Let r be (3 + 4 + 1)*u. Let k = -174/11 + r. Which is bigger: 1 or k?
1
Let x = -14 - -21. Suppose x = 3*v + 22, -15 = -5*a + 2*v. Suppose a = 4*j - 3. Are 8/7 and j equal?
False
Suppose 7*i - 4*i = -k - 3, 5*k = 2*i + 19. Let o = -14 - -10. Let x = o - -6. Which is smaller: k or x?
x
Let m be -1*(-3)/(-6) + 0. Let o(l) = -4*l + 1. Let n be o(-1). Suppose -3*i - n = 2*i. Which is bigger: i or m?
m
Let z = -1 - -1. Is 4/9 at most z?
False
Let d(h) = h + 1. Let c be d(2). Let o = 10 + -7. Suppose o*u - 4*k - 8 = -u, 2*u = 5*k - 5. Which is smaller: u or c?
c
Let s be (-1)/(1/1)*-13. Let l = s - 8. Suppose -l*y + 3*a = 7, -y = -0*y + 4*a - 17. Which is smaller: y or 2/3?
2/3
Let h = -18.5 + -3.5. Let x = -22.09 - h. Which is bigger: x or 0?
0
Let j = 505/3 - 167. Let c(x) = -x**2 + 4*x - 3. Let n be c(3). Which is smaller: n or j?
n
Let s = 28 - 39. Let r = -9 - s. Which is smaller: 1/4 or r?
1/4
Let y(g) = g + 7. Let t be y(-7). Let h(o) = 4*o + 15. Let d be h(-4). Which is greater: d or t?
t
Let h(w) = w**2 - 5*w - 7. Let f be h(-3). Which is bigger: f or 1?
f
Let p be ((-63)/(-9) - 0)*(11 + -1). Is p equal to 69?
False
Let c = -1/12 - 7/12. Let h = -3 - -9. Let y be (h/3 - 1)/(-1). Which is greater: y or c?
c
Let c = -2 + 4. Let t be 4 - (182/(-6))/(-7). Is c greater than t?
True
Let u = 5/2 - 13/4. Is 0 at least as big as u?
True
Let s be 2 + 48 - (-3 + 5). Let c = s - 142/3. Which is smaller: c or -1?
-1
Let b = 0.22 - -0.08. Let d be 1 - ((-1)/(-1) + -2). Let i be (-21)/(-18) + (-1)/d. Which is smaller: i or b?
b
Suppose 8*q - 5 = 3*q. Which is smaller: 3 or q?
q
Let d = 1.7 - -1.3. Which is bigger: 1 or d?
d
Let s = -35 - -47. Which is smaller: s or 6?
6
Let c be (-32)/6 - (-8)/6. Is -3 not equal to c?
True
Let g(u) = 8*u**2 + 9*u + 14. Let t(d) = -3*d**2 - 3*d - 5. Let b(a) = -4*g(a) - 11*t(a). Let v be b(2). Is 1 bigger than v?
True
Let c = 6 - 3. Suppose -3*m = i - m, 4*i - c*m = 11. Let l = -15 + 59/4. Is i at most l?
False
Let h(s) = s**3 + 5*s**2 + 3*s - 4. Let n be h(-4). Suppose 0 = -5*a + 4*a + 3. Let c be 9/(-12)*a/9. Which is bigger: c or n?
n
Let l = 26 + -14. Suppose -p - l = -t + 2*p, t = -p - 4. Which is smaller: t or -1?
-1
Suppose -o + 3*r + 10 = 0, 5*r = 5*o - 0*o. Let b be (-1)/((-1)/o)*-1. Suppose 0 = -b*h + h. Which is bigger: -1 or h?
h
Suppose -5*r = -25, -4 = 4*v + 2*r - 22. Let l = 15797/3 + -5317. Let h = l - -52. Which is bigger: h or v?
v
Suppose -3*b - 2*x = -17, 2*x = 2*b + x - 9. Let z = -3 + b. Is z bigger than 3?
False
Let f = -2.3 - -0.3. Let y = f + 2. Is -2 greater than y?
False
Suppose 0 = -3*t - h - 4, 6*t - t + h = -8. Let u be (2 + -7)*(-1 - t). Are -3 and u nonequal?
True
Let c = -251 + 405. Suppose -4*b = -c + 42. Suppose 3*n - 4*n = -g - 1, -4*g - 2*n - b = 0. Is g not equal to -5?
False
Let j be ((-7)/3)/(8/(-48)). Is 0.2 <= j?
True
Suppose -4*h = 5*j - 53 - 20, -5*j = -4*h + 103. Let l = h - 30. Is -13/2 > l?
True
Suppose 0 = -2*c - 2*c + 4*r, 2*r = -3*c. Suppose -10 - 18 = -4*i. Let z = -7 + i. Is c greater than z?
False
Let f be (2/6)/((-9)/(-135)). Suppose -f*s = -2*u + 10, 2*u - 2*s - 28 = 6*u. Are u and -5 nonequal?
False
Suppose 6*w + 6 = -0*w. Do w and 3/32 have the same value?
False
Suppose -2*k - 6 = -f, 5*f = 3*f + 5*k + 17. Which is bigger: -3 or f?
-3
Let u be 62/(-696)*2*-3. Let x be (-166)/232 + (-3)/(-4). Let f = x - u. Is -2 at most f?
True
Suppose -2*i + 6*i - 8 = 0. Which is smaller: i or 8/3?
i
Let f(g) = g**3 + g**2 - g - 95. Let i be f(0). Let p = i + 387/4. Which is greater: p or 1?
p
Let c be -7*1/(-2)*-9. Let v = -32 - c. Let l = -43 + 173/4. Which is smaller: v or l?
v
Let m be (1 - -3) + 1 + 13. Let x = m - 8. Is x at most 11?
True
Let g(j) = -j**2 - 12*j + 14. Let s be g(-15). Is -32 bigger than s?
False
Suppose p = -h - 5, -2*h + 4*h + 5*p + 25 = 0. Suppose -z + 4*z = h. Is -9/8 less than z?
True
Let j be 8/(-28) - 48/(-21). Suppose -4*y = -j*p - p + 4, y = -1. Suppose -4*w = 4*b, -2*w = -b + 2*w. Is p bigger than b?
False
Let z(t) = t**3 - 11*t**2 + 4*t + 2. Let b be z(11). Is 46 less than b?
False
Let j be 4/(-10) - (-12)/5. Let d be (0 - 1) + j + -2. Suppose 3*b + 4*g + 14 = 0, -8*b = -3*b + 3*g + 16. Is d smaller than b?
False
Let a = -1.2 + 1.2. Let t = -0.07 + 0.07. Let v = a + t. Which is bigger: v or -2?
v
Let a(j) = -3*j + 1. Suppose 5*z - 2*p + 5 = 0, -z - 5*p - 5 = 23. Let s be a(z). Which is smaller: 9 or s?
9
Let v be ((-3)/(-3))/(-3 + 1). Which is smaller: -10 or v?
-10
Suppose -4*r = -r. Suppose 0 = -0*v - v - 3*i, r = -v + 3*i + 6. Suppose -s - 3*k = -17, k + 3*k - 22 = -s. Is v < s?
False
Suppose 3*v + 0 = 2*l + 6, 3*l = 3*v - 12. Let x be 4/(-24) + (-5)/l. Which is greater: 0 or x?
x
Let q(x) = -x**2 + 11*x - 13. Let l be q(9). Suppose 8*u - 40 = 3*u + 3*k, -4*u = l*k + 5. Are u and 5 non-equal?
False
Let t = -242/7 - -34. Which is bigger: 1 or t?
1
Let l(v) = v**3 - 6*v**2 + 5*v. Let d be l(5). Let m be 8 + -14 + 3 + d. Is m less than -1?
True
Let n = 5 - 7. Let h = n - -1. Let s = h + 0. Is s bigger than -1?
False
Let z = 4 + -4.4. Let v = z - 0.6. Let b = -0.3 - -0.2. Is b greater than v?
True
Suppose -8 = s - 8. Which is smaller: s or 3/28?
s
Suppose -5*t + 4*t = 3. Suppose 8 + 1 = -3*u. Let y = u - -1. Is t equal to y?
False
Let o = 1650/1679 + -12442460/35259. Let d = o - -352. Which is smaller: 1 or d?
d
Let o(j) = -6*j - 4*j**2 - 5 + 0 + 3*j**2 + 0*j. Let x be o(-4). Let f be 5/(-2)*(-6)/x. Which is bigger: f or 4?
f
Suppose 0*x + x = 0. Suppose 5 = -b + 3. Which is smaller: x or b?
b
Suppose -y + 18 = 5*y. Are 18/5 and y non-equal?
True
Let l be 10/(-68)*(-2)/10. Is l bigger than 0?
True
Let m = -16 - -21. Which is bigger: 7/2 or m?
m
Let c = -2 + 4. Suppose 0*h - 3*q = h - 6, 3*h - q + c = 0. Which is smaller: 4 or h?
h
Suppose 6 = s - 4*d - 3, d - 28 = 3*s. Let a = 22 + s. Let j be (-12)/(-55) + 2/a. Which is bigger: j or 1?
1
Let g = -46 + 46.1. Is -0.06 greater than g?
False
Let a = -240 - -806/3. Which is smaller: 29 or a?
a
Let l = 13 + -12.997. Which is smaller: -1/2 or l?
-1/2
Let b = 4 - 4.1. Let u = 8 - 8.3. Which is greater: b or u?
b
Suppose 2*f + d = 5, -3*d + 6 = 4*f - 9. Let h = -2/243 + 326/243. Which is greater: h or f?
h
Let x be (-1)/(-4) + 4/(16/(-49)). Let c(v) = -2*v**2 + 2*v + 1. Let i be c(3). Which is bigger: i or x?
i
Let i(o) = o**2 + 6*o + 8. Let d be i(-4). Suppose 0 = -3*f + 3, z = 5*z + 2*f - 38. Suppose d = 3*p - z. Is 1 not equal to p?
True
Suppose 4*t + 2*v = -10, -3*v - v - 20 = 3*t. Let w be -4*1*1/266. Let y = w - 522/665. Do y and t have different values?
True
Let j = -6 + 3. Let v be (-1)/6*j/1. Is 0 at most v?
True
Let p = 276/11 - 549/22. Let m = p - 7/11. Is 0.03 > m?
True
Let a = -0.7 + 1.7. Is a less than 2/3?
False
Suppose 3 + 9 = 3*u, 4*c = -3*u