= i**3 - 5*i**2 + 4*i + 1. Let k be z(4). Let w be (-8 + k + 1)/(-4). Let j = 7 - 5. Which is smaller: j or w?
w
Suppose -y - 4*y - w = 196, 5*w = -4*y - 140. Let j = 1121 - 1161. Is j at most as big as y?
True
Let d be 135/(-10) - 2/4. Let w(r) = r + 31. Let g be w(d). Suppose 2*n + n + g = -2*f, 19 = f - 4*n. Which is smaller: f or 1/5?
f
Let w be ((-4016)/(-1340) - 3)*-2. Let y = w - -112/3685. Is y at least as big as -1?
True
Let b = 37 - 42. Let d = b + 17. Which is smaller: 13 or d?
d
Suppose 2*n + 2 = 4*c, -3*c - 20 + 2 = 5*n. Which is greater: c or -27/19?
c
Let d(v) = -2*v**3 - 2*v**2 - 14*v + 5. Let w(f) = -3*f**3 - 5*f**2 - 28*f + 9. Let o(h) = -5*d(h) + 3*w(h). Let m be o(7). Is m at most as big as 10?
True
Suppose -3*s + 6 = 0, -4*s = -4*r - 70 + 206. Suppose 0 = -6*q + r - 12. Which is bigger: q or 0?
q
Let y = -7 + 11. Let t be y + -1 - (18 + -14). Are -5/14 and t unequal?
True
Let u(s) = 8*s + 1. Let q be u(-2). Let k be (12/(-2))/(q/10). Suppose k*m + 10 = 2. Which is greater: m or -3?
m
Let g be ((-27)/(-2))/((-7)/(-14)). Let t = 213 + -212.9. Do g and t have the same value?
False
Let u be (54/(-45))/(38/10 + 0). Which is smaller: u or -1?
-1
Suppose 2*h - h + 45 = -4*t, -h = 5*t + 55. Let c be 1/(-1) - 3*3. Are c and t non-equal?
False
Let r be (7/(-2) - -5)/((-3)/12). Suppose 0 = o + 3 + 10. Which is bigger: r or o?
r
Let p = 17 - 14. Suppose 22 = -d + k, -k = -3*d + p*k - 63. Let j = d - -31. Which is smaller: 7 or j?
j
Let n = 0.09 - 0.09. Let u = -23.906 - 0.094. Is u greater than or equal to n?
False
Suppose 5*z + 18 = 78. Suppose z*g + 48 = -24. Does -1 = g?
False
Let n be 3 - (4 + (-192)/140). Let j = n + -633/385. Which is greater: j or 0?
0
Let s(w) = -w**3 + w**2 + w. Let p(a) = -5*a**3 + 10*a + 4. Let v(u) = -p(u) + 6*s(u). Let l be v(5). Which is smaller: 1/35 or l?
1/35
Let q be -84*((-1 - (3 - -2)) + 7). Is -81 >= q?
True
Let n = -4294/35 - -296/7. Is -79 bigger than n?
True
Let d(f) = 257*f - 22. Let g be d(2). Is 492 at most g?
True
Let r be (-432)/42 - 6/(-21). Let k be r/15 + 12/14. Is 1 not equal to k?
True
Let d = -10 + 6. Let o = -0.0339 - 0.9661. Which is bigger: d or o?
o
Let l = 1.2473 - 0.0473. Is -2.4 bigger than l?
False
Suppose -10 = 5*g, -g - 20 - 28 = -y. Let j = -44 + y. Are j and 1 non-equal?
True
Suppose -2*l - 2*l + j - 64 = 0, -4*l - 2*j = 52. Which is smaller: -18 or l?
-18
Let n = -2.85 + 3.334. Let y = n - -0.016. Which is greater: y or 14?
14
Suppose -4*u = -78 + 30. Suppose 0 = 2*t + 2, 4*j - 5*t - u - 1 = 0. Suppose -5*x - 5 = -2*o + o, 4*o = 2*x - 16. Which is smaller: j or x?
x
Let z be (-2)/3 + (-493)/(-87). Suppose 8 = -2*o - x - 0, -2*o + 5*x = 32. Let k = o + z. Is -2/31 > k?
True
Let s(z) = -64*z - 49. Let c be s(-11). Is c greater than or equal to 656?
False
Let o be 6/(-9) - (-10)/(-3). Let n(t) = t**3 + 15*t**2 - 5*t - 31. Let y be n(-15). Suppose -y*f + 46*f + 8 = 0. Are f and o nonequal?
False
Let z = 22 - 15. Let i = -15 + z. Let a be -2 + 0 - i/3. Is -0.6 > a?
False
Let o be (16/75)/(14 + (-258)/18). Which is bigger: -2 or o?
o
Suppose 5*n - 105 = 20*n. Which is greater: n or -9?
n
Let v = 489 - 333. Is 157 smaller than v?
False
Let p be (-2)/(-5) - 4/(20/(-373)). Which is bigger: p or 74?
p
Suppose -3*a + 15*l + 148 = 10*l, -5*a - 5*l + 260 = 0. Which is smaller: a or 53?
a
Let x be (-21)/35 - 5/(25/2). Let r be 15/(-25)*(-30)/351. Which is smaller: r or x?
x
Let z = 48 + -48. Let p = -6 + 5. Let v be (1 + -2)/(p/2). Which is greater: v or z?
v
Let f be ((-4653)/(-132))/(18/(-16)). Which is greater: f or -32?
f
Let x = 39.12 + -47. Let l = x - 0.12. Let u = l - -7.9. Are u and -0.2 equal?
False
Let g = -0.0636 + -0.0364. Which is bigger: -2/619 or g?
-2/619
Let p = -0.406 + -28.494. Which is greater: -0.1 or p?
-0.1
Suppose 0 = -m + 3*j - 322, -5*m = 9*j - 8*j + 1642. Which is smaller: -1315/4 or m?
-1315/4
Let b = 3/62 + -49/372. Let c = -1885/204 + 150/17. Let m = c - b. Which is smaller: m or -0.7?
-0.7
Let j = 8 + -94/11. Let q be (3/(3 - -9))/(-1). Is j equal to q?
False
Let w = 1011 - 1012. Which is greater: w or -13/50?
-13/50
Let k be (312/234)/((-16)/(-6)). Let z = -1 - 1. Are k and z non-equal?
True
Let t = -25 - -13. Let y = -9 - t. Let j = -2.6 + y. Which is greater: j or 0.1?
j
Suppose 3*f + 1 = 10. Let n(m) = -m**3 - 6*m**2 + 8*m + 11. Let i be n(-7). Let v = f - i. Which is smaller: v or -2?
-2
Let o = 13308/7 + -1894. Which is bigger: o or 6?
o
Suppose -4*z + 2*u - 120 = -2*u, -3*z - 3*u = 66. Which is greater: -322/13 or z?
-322/13
Let k = -37 - -137. Let s = -401/4 + k. Is s < -1?
False
Let j be (102/(-4 - -1))/2. Let p = j - -6. Are p and -11 equal?
True
Let a be 2/(2 - 4) + 2. Let b = 48 + -236/5. Which is bigger: b or a?
a
Let u = 580 + -583. Is u smaller than 1/23?
True
Suppose -71*o - 13268 = -9*o. Are o and -212 unequal?
True
Suppose -112 = -4*q + 4*f, -6*f + 2*f = -8. Let l be ((-11)/q)/(2/(-27)). Let x = l + -19/4. Are 0 and x unequal?
True
Let t = 145 - 147.4. Which is greater: 1/2 or t?
1/2
Suppose -42*v = -36*v - 432. Is 73 > v?
True
Let u = 37 + -37.06. Let q = 0.066 + u. Let h = -27.994 - q. Are h and -2/5 unequal?
True
Let i be (-891)/8 - 225/(-600). Which is smaller: -115 or i?
-115
Let r be (-8512)/(-2100) - (-2)/25. Which is smaller: 2/5 or r?
2/5
Let h(t) = t**2 + 12*t + 35. Let o be h(-9). Suppose -23 = o*b - 7*b. Is -21 bigger than b?
True
Let h be -1*1 - (-42)/38. Let f = 80.7 + -87. Let z = f - -6.2. Does h = z?
False
Let a = -1.5 + 2.5. Is -24.7 at least as big as a?
False
Let h = 6 + -11. Let u = h - -1. Let d be (6/u)/(6/(-8)). Are d and 0 unequal?
True
Let v = 3/5 - 1/35. Which is smaller: 18/5 or v?
v
Suppose -1594 = -8*q - 1658. Suppose -10 = -5*r, i - r - 2*r - 2 = 0. Let p = i + q. Are p and -6/13 nonequal?
True
Let u be (5/1)/(-11 + 10). Let w = u - -2. Let h = 163 + -167. Is w equal to h?
False
Let v = -5.29 - 0.76. Let n = v - 0.25. Let f = 6 + n. Is f > 3/2?
False
Let o = 2.1 - 2.64. Is 0.1 >= o?
True
Let u be 232/1518 - (-4)/(-22). Let x(f) = 10*f + 40. Let k be (-3)/(0/(-5) + (-6)/(-8)). Let p be x(k). Is u >= p?
False
Let x(r) = -r**2 - 9*r + 26. Let c be x(4). Which is bigger: -31 or c?
c
Suppose 0*i = 2*i - 32. Suppose -h = 3*h - 16. Suppose 5*w - h = -p, 5*w + 3*p + p = i. Which is bigger: w or -7/5?
w
Let x(t) = 8*t**2 - 55*t - 4. Let m be x(7). Let w be (-21)/(-4)*(-8)/(-3). Which is greater: m or w?
w
Suppose 8 = 2*m - j, -6 = m + 4*j + 8. Let l be 1/(-4) - 70/8. Let r be ((-3)/(-6))/(l/(-12)). Which is greater: r or m?
m
Let v(s) be the second derivative of -s**3/6 + 19*s. Let w be v(6). Suppose 0 = 3*q - 2*q + 5. Do w and q have the same value?
False
Suppose -18 = -5*i - 2*m, 3*m + 3 - 4 = -i. Suppose 2*p = -t - 4, t + i + 3 = -p. Which is greater: t or -11?
t
Suppose -30*i - 24 = -24*i. Let q = i + -4. Which is bigger: -84/11 or q?
-84/11
Let s = -141 - -141. Do s and 3/7 have the same value?
False
Let x = 1/9 + -52/63. Let t be 4 - ((-782)/(-230) - 3/(-5)). Which is greater: x or t?
t
Let g = 0.17 - -1.83. Let o = 21.4 + -21.23. Which is greater: g or o?
g
Let h(a) = -a**3 + a**2 - 2*a + 5. Let c be h(0). Let z = 179 + -253. Let m be z/(-10) + (7 - 9). Is m at most as big as c?
False
Let o = 6 + 4. Let k = 104/11 - o. Let b = 7628 - 15255/2. Does b = k?
False
Let t(s) = -3*s + 20. Let f be t(6). Suppose -5*z + 39 = f*l, -3*l - z + 30 + 9 = 0. Which is smaller: 7 or l?
7
Suppose -4 = 2*l - 2*d, -5*l + 30 = 3*d - 0*d. Suppose -2*o + 0*u + 3*u + 43 = 0, o - l*u - 26 = 0. Which is bigger: 0.2 or o?
o
Suppose -104*t + 132 = -148*t. Let r(p) = p**2 - 4*p - 6. Let w be r(5). Let a be 2 + w/(-3)*-14. Is t at most a?
True
Let w(a) = -4*a + 41. Let m be w(12). Let b be -2 + (-4)/(-2) + -6. Which is smaller: b or m?
m
Let w be (-60)/(-10)*15/26. Do w and 0.3 have the same value?
False
Let d be 597/(-9) - (-1)/3. Let s = d - -271/4. Let x be 2 + 2/(-1*2). Is x bigger than s?
False
Let w = -52 + 51.881. Are 1/3 and w nonequal?
True
Let w = 1/163 - 177/2282. Suppose -3*d + 5*b + 32 = 0, -9 - 3 = 2*d + 5*b. Let t = d - 3. Is w >= t?
False
Let t = -6 + 12. Suppose -t*k - 3 = -21. Which is smaller: 2 or k?
2
Let u be 166*1/(-924) + (-18)/(-108). Is u less than or equal to 3?
True
Let q = 1271 - 1269. Which is bigger: 