)*c)/t. Is -2/5 less than y?
True
Let n = 194 + -198. Is n > -57?
True
Let u = 9 + -9.1. Let v(f) = f**3 - 4*f**2 - 4*f - 6. Suppose 25 - 35 = -2*b. Let j be v(b). Is j < u?
True
Let v(o) = 5*o - 10. Let q(z) = -6*z + 11. Let i(d) = -4*q(d) - 5*v(d). Let h be i(4). Let x be 1/((-2)/(-4))*-1. Is h <= x?
False
Let r = 15.06 - 0.06. Let o = 14.94 - r. Which is smaller: 2 or o?
o
Let l be 5/(0 - 1/1). Let i(a) = -23*a**2 - 65*a + 7. Let s be i(-3). Is s at most l?
True
Suppose 5031 = 18*p - 9*p. Which is bigger: p or 560?
560
Let m be 284/9 + 4/9. Suppose 5*z + 2 = 5*f + m, -3*f = z - 2. Is 7 at most z?
False
Let v = 5/151 + 4359/604. Suppose -5*a - 5*m = -10, -2*m + 4*m + 10 = 0. Which is smaller: v or a?
a
Let g(n) = 5*n**2 + 9*n + 9. Let b(t) = -4*t**2 - 10*t - 10. Let w(x) = 6*b(x) + 5*g(x). Let p be w(16). Which is smaller: p or -1/8?
-1/8
Let b = -144 + 67. Let d = 80 + b. Which is bigger: d or 1?
d
Suppose -25 = -4*n + 19. Let j = -7 + n. Let g be 1/j - (-1)/(-4). Is g less than or equal to 1/4?
True
Let a = 38 - 42. Let r = 10 - 8.4. Let j = -1.8 + r. Which is bigger: a or j?
j
Suppose 5*i + 4*a = 20, 3*i + 2*a - 5 = 7. Suppose -5*b + i*g = -3*b - 2, -2*g = b - 17. Which is greater: 12 or b?
12
Suppose -30 = 2*n - 8. Suppose -2*i = -4*m - 48, 3*m - 55 = -i - 4*i. Let q be i/(-49)*(-14)/(-6). Is q less than n?
False
Let u = 1178 + -1177.9. Which is greater: u or 628?
628
Let m(x) = 11*x - 870. Let o be m(81). Which is bigger: 292/13 or o?
292/13
Suppose 4*y + 260 = -2*n, 5*n = 3*y + 52 + 117. Is -322/5 greater than or equal to y?
False
Suppose j + 4 = -f, -4*f + 5*j = 50 - 7. Is -64/11 at most as big as f?
False
Suppose a - 4*a - 16 = -2*o, -2*o = 4*a + 12. Let c be (-8)/(528/(-30)) + o/(-6). Which is bigger: 0 or c?
c
Let s = 526.08 + -526. Which is smaller: s or -2/5?
-2/5
Let z be -3*((-5)/3 + 1)*1. Suppose z*s = 4*t + 18, 2*t + s = -0*t - 7. Which is bigger: t or -1?
-1
Let n = -1.59 - -1.49. Let t(r) = 3*r - 1. Let d be t(2). Let a be 4/d*(-5)/(-14). Is n greater than or equal to a?
False
Suppose -8*s = -3*s. Suppose s = -2*u + 2, 6*n + 5*u = n + 40. Which is smaller: 6 or n?
6
Let z be (-3 + (-7)/(-2))*0/1. Let t be (-68)/(-2 + 4 + z). Are -36 and t unequal?
True
Suppose 2*r + 2*c - 6*c = 14, -2*r + c + 8 = 0. Suppose -r*i = -i. Let q = -117 - -235/2. Is q < i?
False
Let p be 684/(-1 - -4) + 3. Suppose -124 - 44 = 3*k + g, 4*k - g + p = 0. Is k bigger than -57?
False
Let q = -4132 - -4133. Let g = -12670/41 + 309. Is g != q?
True
Let c(p) = -19*p - 475. Let b be c(-25). Is b at most as big as -5/4?
False
Let i = 19623619/217007 + 2/31001. Which is smaller: 90 or i?
90
Suppose -2*j - 10 = 0, -4*j - 8 = -w - j. Let n be 2/9 + w + 7. Is -0.4 less than n?
True
Let y be (-2)/(-2) - 843/(-180). Let v = y - 1/60. Are v and 5 equal?
False
Let s be -3 + (-1 - -6) - 20. Let b be 24/2*9/s. Is b at most as big as -10?
False
Let a be (21/(-14) - -1)*2. Which is bigger: a or 511?
511
Let f = 86 + -57. Let m = f + -9. Is m < 21?
True
Let h(t) = 3*t**3 - 10*t**2 - 3*t + 14. Let g be h(7). Which is bigger: g or 533?
533
Suppose 359 + 761 = 4*o. Let z be (-2)/(-14) + (-26)/o. Which is smaller: -1 or z?
-1
Let i be (-92)/264*(-12 - -21) - -3. Which is smaller: i or 1?
i
Suppose 4*c - 98 = 2*u, -2*c + 3*u + 11 = -28. Suppose -d = -2*d - c. Let m be (-171)/d - (-1)/(-3). Is 7 greater than m?
True
Suppose 4*v - 3*v = 3. Suppose 2*a = 2*q - 36, -4*a + v*q = q + 78. Which is smaller: a or -20?
a
Suppose 6*r + 4 = 10*r. Let a = r - 1. Suppose a = -3*d - 11 - 7. Which is greater: -5 or d?
-5
Let h = 0 + 2. Let l be (-2)/(-6)*(-3)/h. Let p = 922/11 + -84. Which is smaller: l or p?
l
Let a(z) = 3 - z**3 + 5*z**2 + 1 - 4*z**2 + 7. Let k be a(0). Let o = k - 9. Which is smaller: o or 2/3?
2/3
Let m = -71 + 52. Let i = m + -8. Is i >= -0.1?
False
Let z = 113/2 + -3507/62. Suppose 3*v + 3*f + 11 = -7, 4*v = 5*f + 30. Are v and z nonequal?
True
Let i be ((-4)/3)/(2/(-3)). Suppose -9 = -3*t + 2*x, i*x = -2*t + 2 - 6. Let n = -205 - -3279/16. Which is smaller: n or t?
n
Let q(v) = -v**2 + 9*v. Let s = -10 + 19. Let u be q(s). Which is smaller: u or -1?
-1
Suppose -70 = -836*d + 831*d. Suppose -56 = -3*j + 4*t - 5, 2*j = 5*t + 34. Which is greater: d or j?
j
Let k = 80 - 98. Let o be -17 + (-1 - 1/1). Is k greater than o?
True
Suppose z - 4*o = -1, -z - 2*z - 2*o = 3. Let x = 23 + -35. Let k be (-74)/35 + x/(-30). Is z less than k?
False
Let s = 222 - 895/4. Let k be 5/(-10) + 7/6. Which is greater: s or k?
k
Suppose 0*d + 3*d = 9, -d = -3*m - 132. Let u = 29 + m. Is -14 <= u?
True
Let g(q) = 2*q**3 + 2*q**2 - 3*q + 2. Let z be g(1). Suppose 2*l = -z*l. Are -9/8 and l equal?
False
Let d(r) = 2*r - 24. Suppose -7*y - 2 + 65 = 0. Let l be d(y). Is l smaller than 3?
True
Let k(y) = -2*y**2 - 12*y - 7. Let s be k(-5). Suppose -2*d = 3*d - s*d. Let h = 88/195 - 2/39. Is h > d?
True
Let a(j) = -j**3 - 6*j**2 + 7*j + 8. Let v be a(-6). Suppose -q + 4*c - 51 = 0, c + 13 = q + 52. Which is smaller: v or q?
q
Let n(q) = -q**3 - 5*q**2 + 5. Let d be n(-5). Suppose -5*v - d*o = 15, 4*v - 2*o - 2*o - 20 = 0. Do 9/8 and v have the same value?
False
Let w be (-128)/(-165) + (-1)/(-11). Does w = 2?
False
Let l = 4 + 9. Let i = -13 - l. Let f = -24 - i. Which is smaller: f or 1?
1
Let w = 3.88 - -0.12. Let y = w + -8. Let x = -3.6 - y. Is x less than or equal to 2/7?
False
Suppose -7 = 3*z + 3*s - 34, 0 = 3*s - 15. Suppose -5*o - 5*b + 18 = -4*b, 5*o - 12 = -z*b. Which is bigger: o or 5?
5
Let u = -113 + 112.943. Let g = u - 25.943. Let b = g + 25.8. Is 1.1 smaller than b?
False
Let y = 1 - 1. Let n = -2090 - -2091. Is y > n?
False
Let k = -8917/6 + 1473. Is -12 bigger than k?
True
Suppose -5*s = -2*o - 445 - 104, -861 = 3*o + 5*s. Are -282 and o equal?
True
Let a = -1828 - -1819.01. Let r = a + -0.01. Let m = 14 + r. Which is smaller: m or 0.1?
0.1
Let s(g) = g**3 - 24*g**2 - 2*g + 54. Let q be s(24). Suppose 4*o = q*o. Which is bigger: o or 1/8?
1/8
Let f(x) = -x**3 - 49*x**2 + 100*x - 145. Let g be f(-51). Which is greater: -52 or g?
g
Let r = -54 + 64.4. Let k = 0.2 + 8.8. Let v = r - k. Is v less than 2/3?
False
Let r = -1450.79 + 1451. Is r equal to 10?
False
Let u(h) = -63*h - 6. Let f be u(-1). Suppose 0 = -2*j + 15 + f. Does 35 = j?
False
Let u(x) = -6*x + 7. Let i(w) = -5*w + 7. Let z(r) = -5*i(r) + 4*u(r). Let d be z(11). Suppose -24 = -4*l - d*l. Is l at least as big as 3?
True
Let y = 125 - 88. Let q = y + -53. Let w be 50/84 - (-8)/q. Which is smaller: -1 or w?
-1
Let o(p) = -p**3 + 6*p**2 - 6*p + 4. Let h be o(5). Suppose -4*k - 4 = 30*m - 27*m, 0 = -4*m - 6*k - 4. Which is bigger: h or m?
h
Let p = -25 + 30. Suppose -3 = 3*u - 4*l - 4, 0 = p*u - 4*l + 1. Let h be (-1)/2 + 72/112. Is u greater than h?
False
Let w(u) = -134*u + 950. Let h be w(12). Which is greater: h or -657?
-657
Let m = -2347/8 - -587/2. Suppose -5*v + 2 = -3. Let z(r) = r**2 + r - 1. Let d be z(v). Which is smaller: m or d?
m
Let s = -1311 - -239911/183. Is s smaller than 1?
True
Suppose 4*g = 3828 - 76. Let n = 198855/212 - g. Let i = n + 445/4452. Is i not equal to -1?
True
Let y = 204 - 217. Which is smaller: -6 or y?
y
Suppose 4*q - 4*a + 16 = 32, -q + 3*a + 14 = 0. Let j = -7/2 - -1145/326. Which is greater: q or j?
j
Let t = -80 + -40. Which is bigger: -118 or t?
-118
Let d(h) be the first derivative of -h**4/24 + 11*h**3/6 + 3*h**2/2 - 3. Let p(a) be the second derivative of d(a). Let q be p(11). Which is greater: 2/5 or q?
2/5
Let h(p) = -1 + p + p - 9. Let y be h(5). Let j = 1 - y. Which is greater: j or 0.03?
j
Suppose 3*n + 67 + 40 = 5*d, d - 120 = 4*n. Let g = 24 + n. Which is smaller: -10 or g?
-10
Let c = -20119/38190 + 1/2010. Let i = -2 + 1. Is c <= i?
False
Let p(a) = -a**2 + 15*a - 25. Let u be p(19). Which is bigger: -105 or u?
u
Let y = 163.2 + -163. Which is greater: y or 13/2?
13/2
Let w = 74.9 - 74.749. Are -1/3 and w equal?
False
Let q be (-3 - (-4)/1)*3. Suppose -12 = 3*d + q*d. Which is greater: 3 or d?
3
Suppose -a - 4*y + 27 = 11, -2*a - 5*y + 20 = 0. Suppose -5*d + 359 + 51 = a. Are 81 and d nonequal?
True
Let t(q) = -q**3 - 6*q**2 + q + 6. Let z(o) = 0 + o - 3*o - 4 - 2. Let s be z(0). Let i be t(s). Which is smaller: -3 or i?
-3
Suppose -10 = -4*f - r - r, -15 = -4*f