t) = 3*t - 22. Let a be w(10). Let h(n) = n**3 + 5*n**2 - 4*n - 3. Let o be h(-4). Suppose d + 5*g + 11 = 0, d - 8*g - o = -3*g. Which is smaller: a or d?
a
Let w be (-7 - -6)*(1 - 0). Which is greater: 1/145 or w?
1/145
Suppose -5*a = -5*n - 340, 4*a - 247 = -8*n + 7*n. Which is greater: 188/3 or a?
a
Let f = 7.3 - 7. Let r = -702 - -709. Which is bigger: r or f?
r
Let x = 973 + -8740/9. Are x and 2 nonequal?
True
Let l = 104.9 - 88.4. Is l bigger than 1?
True
Let x(p) be the first derivative of 3*p**2/2 + 17*p + 4. Let q be x(-5). Which is bigger: -1/2 or q?
q
Suppose -5*f - 61 + 246 = 0. Let q be ((-9)/4)/(344/640 + (-9)/15). Is q less than f?
True
Suppose -5*r + 2*s = 544, 2*r + 35 + 171 = -5*s. Let h = 20 + r. Let c = 1407/16 + h. Is c at most 1?
True
Let p = -51.4 + 28.4. Which is smaller: -0.03 or p?
p
Suppose 3*r - 4*o = -11, -1 = -4*r + 2*o + 1. Suppose -r*x + 4*f - 9*f = -18, 4*f = 2*x - 12. Let c be (3/(-13))/(9/x). Is 1 at most as big as c?
False
Let n = 607 - 68. Are 539 and n nonequal?
False
Let n = 279/7 + -10288/259. Which is smaller: -1 or n?
-1
Let s(q) be the second derivative of -q**3/6 - 25*q**2 - 20*q. Let z be s(-20). Does z = -32?
False
Let k = 93 + -246. Are k and -152 nonequal?
True
Let g(a) = a - 18. Let k = 8 - -3. Let o be g(k). Let c = 5 + o. Is c greater than or equal to -6/7?
False
Let f = 19 + -24. Let d = -3.8 - f. Which is smaller: -1/2 or d?
-1/2
Suppose -3*u - 36 = -4*f - 17, f + 2*u = 2. Which is smaller: 33 or f?
f
Suppose -174 = n + m, -6*n - 700 = -2*n + 5*m. Is -0.1 greater than n?
True
Let i = -7 - -1. Let g = -5893 - -5890. Which is smaller: i or g?
i
Let k = 21 - -2. Suppose 8*t + 76 = 4*x + 4*t, 107 = 5*x - t. Is x bigger than k?
False
Let q = 32333 - 289123/9. Let z be 1/3 + (-1246)/(-6). Let g = q - z. Is g smaller than 0?
False
Let d = -479/5 + 473/5. Is -2 greater than d?
False
Let o be (-4)/(-6) - (-240)/(-540). Is -13 bigger than o?
False
Let n(i) = -i**2 - 2*i + 67. Let r be n(-9). Suppose r = -18*o - 14. Are o and -1/6 nonequal?
True
Suppose -11*s - 1458 = -20*s. Let l = s - 117. Which is bigger: 46 or l?
46
Suppose -n - 6 = -35. Suppose -35 = 3*o - 122. Are n and o non-equal?
False
Suppose j + 120 = -2*j. Let u = -676 - -637. Is j bigger than u?
False
Let g = 3191/608766 + -4/1263. Which is smaller: g or 1?
g
Suppose 0 = -5*c - 92 + 17. Let r be 2/(-3) - (-35)/c. Which is bigger: r or 0?
0
Let y = -43 + -31. Let t = y - -52. Let d = 25 + t. Which is greater: d or -3?
d
Let o be (-36)/(-1431)*12/136. Are 1 and o nonequal?
True
Let y(u) = 4*u**2 - 17*u - 22. Let z be y(-2). Is z >= 26?
True
Let x = 12 + -10. Suppose 3*k - 3 = n, 0*k - x*k + 2 = 4*n. Suppose 12 = 5*z - 3*p, n = -z + p + 2*p. Is 0 less than z?
True
Let k = 8.41 - 9.41. Which is greater: -0.12 or k?
-0.12
Let m = 0.06 - 0.16. Let s = 2517 + -28302/11. Let u = -56 - s. Which is smaller: u or m?
m
Let v(z) be the first derivative of z**4/4 - z**3 - z**2 + 4*z + 1. Let a be v(3). Let o be (-2)/(-13) - (-1 + 956/468). Which is bigger: o or a?
o
Let p = 30.1 - 30. Let j(o) = o**2 + 1. Let y(k) = 4*k**2 + 6. Let b(s) = 11*j(s) - 2*y(s). Let g be b(-2). Which is greater: p or g?
g
Let t = -6411/266 - -462/19. Which is greater: -3 or t?
t
Let k(g) = g**3 + 5*g**2 - 2*g - 7. Let r = -20 + 15. Let a be k(r). Which is greater: a or 0?
a
Let w = 215 + -123. Let b = w - 96. Which is bigger: b or -27/7?
-27/7
Let k = -16388 - -16387.5. Let d = -4/25 + -6/25. Which is greater: k or d?
d
Let l be 1 + 20/(-24) + 4670/(-12). Which is greater: l or -390?
l
Let u = -85 + 82. Let t be 2/(-3)*u*3/396. Is -1 <= t?
True
Let x = -13 + 7. Let z be x/(-10) + 99/(-15). Let y(f) = f + 6. Let u be y(z). Which is greater: 2/3 or u?
2/3
Suppose 0 = 7*c - 2*c, 0 = -5*l - c + 25. Suppose 3*g - a - 4 = -l*a, -16 = -g - 5*a. Let k be 1/g*6/(-15). Is -1 > k?
False
Let f(r) = r**2 - 15. Let j be f(8). Are j and 51 equal?
False
Let q(i) be the second derivative of i**5/20 - i**4/3 - i**3/2 + 9*i**2/2 - 6*i. Let c be q(4). Let a be c/6 - (-28)/24. Which is smaller: a or -2/5?
-2/5
Let p = -3592431 + 5610266. Let i = p + -153352751/76. Let u = -143/4 + i. Are u and 1 non-equal?
True
Let q = 1934 + -630483/326. Is q <= -1?
False
Let j = -480.14 - -480. Is j bigger than -2/99?
False
Let b = -36 - -44. Let w be (24/(-45))/b*1. Is 1 greater than or equal to w?
True
Let b be (-1)/4 - (-243)/(-324). Let n = -50795/59 + 861. Is b at least n?
False
Suppose 0 = 4*f - 0*f. Suppose 0 = 15*i - 10*i + 3945. Let j = -7093/9 - i. Is j greater than f?
True
Let o = -22 - -25.7. Let k = o - 6.7. Are k and 1 nonequal?
True
Let q = -45.9902 + -0.0098. Are q and -3 unequal?
True
Suppose -2*d = 2*i, 3*i + 0*i = 2*d - 15. Suppose 3*m + 2*v + 9 = -v, 3*m = v - 17. Let n = m - -4. Which is smaller: n or i?
i
Let w be (-39261)/4922 - (-32)/4. Which is smaller: w or 0?
0
Let i = -335/207 + 73/23. Which is smaller: i or -0.02?
-0.02
Let t = 576 - 405. Suppose i = 10*i - t. Suppose -k = 5*z - 23 - 10, 5*k + 2*z = 96. Which is smaller: i or k?
k
Let m = -679 + 12897/19. Suppose -5*a + 6 = 1. Which is greater: a or m?
a
Suppose 48*u - 38*u = -10. Is 3/202 not equal to u?
True
Let c(a) = -3*a - 7. Let g = 14 + -17. Let x be c(g). Let d be 35/6*x/14. Are 2 and d unequal?
True
Let x = -1106245/199 - -5559. Which is smaller: x or 0?
x
Let s be ((-14)/4 - -2) + 44505/31734. Let o = 14 - 41/3. Is o greater than s?
True
Let u(h) = -29*h**3 - 2*h**2 + h. Let l be u(1). Let j be (-126)/l + (-1)/5. Let n be (-21)/(6/j*-1). Is 14 >= n?
True
Let g = -6.75 - -0.79. Let r = g + -0.04. Let q = -0.1 - 0.1. Which is bigger: r or q?
q
Let g = 316 - 315.977. Which is smaller: g or -2?
-2
Let t = -29 - -25. Let p be ((-24)/(-36))/(t/118). Which is smaller: p or -19?
p
Suppose 4*s = 4*u + 24 + 8, 3*s = 2*u + 20. Let x be (-3 - -3)*s/(-8). Let k = 2 - 0. Which is smaller: x or k?
x
Let j be (-2)/5 + -8*(-6)/120. Suppose j = -15*t + 9*t - 36. Are 0 and t equal?
False
Let r be 136/(-12)*(-68)/(-16)*-2. Which is smaller: r or 97?
r
Let j = 471 + -448. Let d(k) = 4*k**3 - 2*k**2 - k + 1. Let l be d(2). Is l less than or equal to j?
True
Let b = -1 - -0.8. Suppose -17 = -4*y + 15. Let m be -1*(2/y)/(-1). Is m >= b?
True
Suppose 0 = -b - 3, 3*k - 54 = -2*b - 0*b. Let j = -9 + k. Let m = -11 + j. Which is smaller: -6/11 or m?
-6/11
Suppose 0 = 31*f - 13 - 18. Is f at least 0.01?
True
Let n = 11.1 - -33.9. Let c = n + -44.4. Let t be (-6)/(-9) + 2/(-6). Which is smaller: t or c?
t
Let i(u) = -u**2 + 3*u - 3. Let k be i(2). Let a(l) = 5*l**2 + l. Let c be a(k). Suppose c*q = 2*q - 6. Which is smaller: q or -3/2?
q
Suppose -5*i + 2 = 12. Let v be (i + -1)*4/12. Which is smaller: v or -13/8?
-13/8
Let z(b) = b**3 - 7*b**2 + 4*b + 13. Let p be z(6). Suppose 5*t - 35 = -5*f, -3*f + 0*t + 29 = 5*t. Which is smaller: p or f?
p
Let x(c) = 9*c**2 - 8*c + 4. Let m(f) = -f**3 - f**2 + 1. Let n(w) = m(w) + x(w). Let r be n(7). Is r greater than -13/6?
True
Let p(b) = b**3 + 8*b**2 + 6*b - 3. Let w be p(-7). Let m = w + 1. Suppose 2*a = -a + g - 20, -3*g = m*a + 10. Is a at least as big as -5?
True
Let c = 19/45 + -1/45. Suppose -8*j = -9*j + 141. Let b = j - 1831/13. Which is bigger: c or b?
c
Let x = 0 + -35. Let s = x - -35.2. Are s and -0.051 nonequal?
True
Let s be ((-4)/14)/(27/243). Is -11 bigger than s?
False
Let x = -5.8 + 5.46. Let t = x + 0.74. Suppose -5*b + 20 = -0*b. Is t less than b?
True
Let n = 280 - 188. Let m = n + -93. Is m < 1/13?
True
Let a(o) = 0*o - 2 - 42 - 6*o. Let r be a(-8). Is -3 != r?
True
Suppose -2*m + f = 0, -3*m = -4*f - 1 + 11. Let j(n) = 2*n - 3. Let k be j(m). Let z = -3.45 + 19.45. Is k greater than or equal to z?
False
Let z = 4 - 0. Suppose -16 = -4*x, 2*p - 2*x + 8 = z*p. Suppose p = s + 2*s - 18. Which is smaller: s or 7?
s
Let y(d) = -d**2. Let z be y(-1). Let w(p) = 12*p + 276. Let g be w(-23). Is g less than z?
False
Let m = -0.39 + 26.39. Let y = -37 + m. Let l = 204 - 205. Is l smaller than y?
False
Let c = 2.4 + 0.6. Let n = 2.88 - c. Let r = 0.03 + n. Is r at most as big as 0?
True
Suppose -5*q - 4*h = -h + 9, -2*q + 5*h + 15 = 0. Let f be (6/15 + q)*-5. Let c be (-24)/(-33)*(-1)/f. Is -1 bigger than c?
False
Let s be (0 - 1) + (-38)/(-22). Let k = 0.384 + -0.175. Let y = k + -0.209. Whi