-5). Let f be (-3)/t*-4*-1. Is 0 > f?
True
Let i be -6 + 11 + 1 + -3. Let y be (-1)/((-2)/(-3) - (-1)/i). Is -9/10 less than or equal to y?
False
Suppose 5*q - 2*t = -6 + 1, 2*t + 13 = -q. Let y(z) = -z**3 - 2*z**2 + 2*z + 1. Let u be y(q). Suppose 4*w = -a + 16, 3*w + 4 = -2*a + u*w. Is 1/8 at most a?
False
Let p be 1/2 - 3/(-2). Let m(s) = s + p*s - 2*s - 2*s. Let n be m(7). Are -7 and n unequal?
False
Let j(u) be the third derivative of -u**4/6 + 5*u**3/6 - 12*u**2. Let p be j(3). Which is smaller: -5 or p?
p
Let l be (-3)/(-6) + 6/4 - 1. Are l and 4/139 unequal?
True
Suppose -2*c + 33 = 9. Let f(y) = -y - 7. Let g be f(c). Which is greater: g or -20?
g
Let z be (2/(-3)*2)/10. Suppose 2*t + 3*m = 4, 7*m = -4*t + 4*m + 20. Suppose -5*v = 3*v + t. Is v bigger than z?
False
Let c(j) = -18 - 2*j + 8 - 8 - 2*j. Let u be c(-7). Suppose -u*d + 3 = -11*d. Which is smaller: d or 1?
d
Let o = -42 - -10. Let j = -32 - o. Suppose j = -3*r - 9, 3*c + 3 = -2*c - r. Which is bigger: c or 1/5?
1/5
Let h = 1966/9 + -218. Which is smaller: h or 1?
h
Let l be -11*(-2)/4*40/22. Which is smaller: l or -14?
-14
Let u = 376 + -388. Let w be (-4 + 1)/(3/(-14)). Let j = w - 26. Is u equal to j?
True
Let z(p) = -p**3 + 6*p**2 - 5*p + 7. Let q be z(5). Suppose -12*j + q*j + 75 = 0. Let i be 6/j - 69/60. Is i less than or equal to -1?
False
Let u = -492.352 - -393.4. Let t = 99 + u. Which is smaller: t or 0?
0
Let p be -5*(0 + (-12)/(-10)). Let h(l) = -l - 7. Let o be h(p). Let n = 160 - 1118/7. Which is smaller: o or n?
o
Let r = -35 + 32. Let z = -4 - r. Is -1 >= z?
True
Let b = 9.453 - 2.453. Let c be -1 + (10/8)/1. Do c and b have the same value?
False
Suppose 172*h = 161*h - 66. Is h < -31/6?
True
Let u be (-2)/7 + 3/7. Let z(r) = -r + 47. Let j be z(9). Let w = j - 38. Is u greater than or equal to w?
True
Suppose d - 21 = -60. Let u be -1 - (d/(-12) - 4). Let v = 113 - 788/7. Are u and v unequal?
True
Let o(v) = -16*v - 6. Let j be o(3). Let r be 2/(-9) - 1092/j. Are r and 21 nonequal?
True
Let f = -1046 - -896. Is f at least as big as 0.8?
False
Let u be (2 - -1)/(6/20). Suppose 2*y + 4 = 0, 0*l - y = l + u. Let q = 967 - 976. Is l greater than q?
True
Let i be (-1 - -6) + 1 - 4. Do 89 and i have the same value?
False
Suppose -7*s - 2 = -5*s. Let k be 0 + (-231)/(-75) + -3. Which is greater: k or s?
k
Suppose -5*y + 17 = -23. Let n = -12.52 + 12.52. Which is smaller: n or y?
n
Let w = 992 - 994. Let o = 2 + -2.02. Let t = 2.02 + o. Are w and t equal?
False
Let a = -105 + 104.5. Let k = 0.1 + a. Suppose 2*u = -u + 6. Which is smaller: u or k?
k
Let l = -25 - -9. Suppose i - 4*i = 48. Are i and l non-equal?
False
Let p = 492 + -187. Let j be (p/310 - 1)*-1. Which is smaller: 0 or j?
0
Let g = -92852509879/1596 - -58178306. Let c = 878/21 - g. Let q = c - -2/19. Is 2 at most q?
False
Let g be (-1 + (-3)/(-3))/2. Let c be (3 + g - -3)/2. Suppose -c*y - 1 = -h - 2*y, 4*y = 2*h - 2. Is -4 >= h?
False
Suppose -l + 67 - 142 = 0. Let b = l - -279/4. Which is smaller: -5 or b?
b
Let a(q) be the third derivative of q**5/60 - q**4/3 + 7*q**3/6 + 11*q**2. Let d be a(6). Let h be (-4 + 5)/(d + 6). Is 0.2 != h?
True
Let v be 9*11/1188*(-2 - 0 - -8). Let r = 4/17 + -29/51. Which is bigger: v or r?
v
Let n = 304 - 304. Is n smaller than -2/163?
False
Let n = -1.4 + -3.5. Let x = n + 5. Let c = 0.24 - 2.24. Which is smaller: c or x?
c
Let s = 247 + -359. Is -112 at least as big as s?
True
Let n be (168/15)/((-2)/(-5)). Let s = -25 + n. Which is smaller: s or 2?
2
Suppose -k - 2 = -7. Suppose -k*p - 4 + 94 = 0. Let n be ((-132)/(-77))/(4/42). Is n bigger than p?
False
Let k = 154 - -113. Let i be (-10)/13725*k - 1/(-5). Is 0 != i?
True
Let m = -1/14 - -3/14. Let u = 2 + -2. Let c = 0 - u. Which is smaller: c or m?
c
Suppose -12 = -4*u + 40. Suppose -9*z - 9*z + 252 = 0. Which is smaller: u or z?
u
Let t = -3 + 2. Let s = -25 - -23. Let u be ((-2)/s)/((-196)/(-8)). Is u at least t?
True
Let u = 45.42 + -45. Let k = -1.28 - u. Is 0 equal to k?
False
Let f be (1/1)/((-2248)/752 - -3). Let c = 106 - f. Is 14 less than c?
False
Suppose -9*h - 16 = 2. Let l = -5381668/77 - -484025/7. Let i = -747 - l. Which is greater: i or h?
i
Let h = 28.16 + -34.2. Let y = h - -6. Let i = -4.24 - -3.24. Is i bigger than y?
False
Let v(k) = -k**2 - 3*k + 2. Let l be v(-14). Let c be 656/l + (2 - -2). Which is smaller: 0 or c?
c
Let w = -121/21 + 38/7. Let n(x) = 3*x**2 + 18*x - 14. Let b(u) = u**2 + 6*u - 5. Let j(h) = -7*b(h) + 2*n(h). Let f be j(-8). Is w greater than f?
True
Let j(i) = -5*i + 188. Let n be j(46). Is n greater than 1/5?
False
Let p(l) = -34*l - 20. Let w be p(-7). Which is greater: w or 217?
w
Suppose 0 = -7*u + 4*u - 3. Let s be (-2)/1 - (4 + -6). Is s smaller than u?
False
Let j = -1/5 + 37/85. Let f be (4 - 2)*(2 - 1). Suppose -4*z = f*x - 0*z + 10, 2*z + 6 = 0. Which is bigger: j or x?
x
Let d be -1*6/(-12)*18. Which is bigger: d or 17?
17
Let p be ((-454)/6)/(28/(-6)). Let j = 33/2 - p. Let n = -0.3 + 0.1. Is n less than or equal to j?
True
Suppose 2*j + 3*l = 44, 0 = 3*j + 4*l - 44 - 23. Suppose -4*f + j - 21 = 0. Let i be (-21)/24 - f/8. Do -1/22 and i have the same value?
False
Let z = -14 - -16.5. Let o = -1.5 - z. Let f = -529/7 + 76. Is f less than or equal to o?
False
Let v = 24 + -24. Suppose -2*y - y - 252 = 0. Let w be 35/y + (-2)/6. Which is smaller: w or v?
w
Suppose -5*d - 3*q - 1 - 28 = 0, 0 = 2*q + 6. Let z be 3/(d + (-41)/4). Which is bigger: z or 0?
0
Suppose -2*a = -2*y + 32, 2*a - 24*y + 21*y = -29. Suppose o - 2*o - 20 = 0. Is a greater than or equal to o?
True
Suppose -3*s + 0*s - 228 = 0. Let i = s - -70. Let x(j) = -j - 3. Let q be x(4). Is q <= i?
True
Let i be ((-4)/(-372))/((-1)/(-10)). Is i <= -1?
False
Let g = 951.4 + -948. Which is smaller: g or -0.27?
-0.27
Let v = 1.482 - 0.112. Let g = -18.63 - v. Is g != 1?
True
Let z(l) = -l**2 - 22*l - 85. Let r be z(-18). Is r bigger than -1?
False
Let d = -22 + 11. Let w be (-2)/8 - 30/40. Let q be (13 - -1 - 3)*w. Does d = q?
True
Suppose r - 28 = -a, 3*a = 2*r + 3*r + 52. Suppose 3*t - 5*t + 48 = 0. Is t < a?
False
Suppose 3 = 2*g - w, 9*g - 13*g - 9 = 3*w. Suppose -2*f - 15 = -7*f. Which is smaller: f or g?
g
Let q = 3117/66028 - 3/971. Are q and 0 nonequal?
True
Let t = -429/5 + 257/3. Suppose 6*v - 866 + 866 = -2*v. Is t < v?
True
Let o = 365 - 365. Which is smaller: o or -459?
-459
Let u(m) = 7*m**2 - 14*m - 5. Let k(y) = 4*y**2 - 7*y - 3. Let o(v) = 5*k(v) - 3*u(v). Let s be o(8). Let r be 4/(-26) - s/52. Which is greater: r or 1/2?
1/2
Let o = 0.4 + -0.3. Let j = 1246 - 1260.07. Let x = -14 - j. Which is smaller: o or x?
x
Let l(h) = h**3 - 7*h**2 - 10*h - 1. Let f be l(8). Let d be 2/7 + (-48)/21. Is f at most as big as d?
True
Let w = 2.251 + -2.2. Let y = -0.103 + w. Is y at most -1?
False
Let b = 157 - 93. Let d = -66 + b. Suppose -5*h = -5*w - 35, 5*h - 3*h - 17 = 3*w. Is w > d?
False
Let g = -1036655/139 + 7458. Which is greater: g or -1?
g
Let b(p) = p**2 + 2*p - 4. Let n be b(-3). Let r = 202461/106 - 1910. Do r and n have the same value?
False
Suppose -10*z + 5*b = -8*z + 3, 3 = 3*b. Which is smaller: -9/71 or z?
-9/71
Let i = -616.7 - -617. Is 142 less than or equal to i?
False
Let w be (6/4)/((-11)/(-22)). Suppose -o - 4*a = 4*o, 0 = w*o - 3*a. Let d(b) = 2*b**2 - 3*b. Let i be d(2). Does o = i?
False
Let l be 84/10 - (6/15)/1. Let a(f) = f**2 - 9*f + 3. Let j be a(l). Which is bigger: -0.2 or j?
-0.2
Let h be (2/(-8))/((-4)/24) - -1. Let i be (0 - (-6)/(-4))*-2. Are i and h unequal?
True
Let q = 131 - 90. Let x = q - 49.6. Let b = 9 + x. Which is smaller: 0.1 or b?
0.1
Let r(d) = 2*d**3 - 17*d**2 - 3*d**3 + 19*d**2 - d. Suppose -j - 4 = 3*t - 11, 4 = j. Let b be r(t). Which is greater: 4/13 or b?
4/13
Let h be (-4)/(-6) + (-14)/(-6). Let r = h + -2. Let o be (4 - (-23)/(-5))/3. Which is greater: r or o?
r
Let j = -4.1 + 4. Is -133 less than j?
True
Let r(u) = u**2 - 7*u + 4. Let k be r(6). Let d = k + 3. Let a be 0/(-1 - (d + -3)). Is a at most 1/4?
True
Let v be (6 - 0)*(2 + 10 + -9). Let y = 0.05 + 0.25. Let s = y + -0.4. Which is smaller: s or v?
s
Suppose -1 = -3*q - 4. Let o = 2 + 0. Suppose o*p - 10 = w - 3*w, -3*w + 15 = 0. Is p smaller than q?
False
Let g = -2 + -12. Let u 