t r(j) = -3*j**3 + 17*j**2 + 8*j - 4. Let f be r(6). Which is smaller: f or -1?
-1
Suppose -5*w - 2828 = -g, -5*w - 1248 - 1572 = -5*g. Is -565 at least w?
True
Let v = 4 - 1. Suppose 2*q - 5 = -v*q. Let x be (q - (-2)/(-4))*-2. Which is greater: x or 0?
0
Let l = 35 + -39. Let z be (l/8)/((-34)/(-4) - 0). Is z at least -1?
True
Suppose -z - 19 = -2*t, -2*t + 28*z = 31*z - 7. Is t less than 1/62?
False
Let i = 15359/193318 - 27/326. Which is bigger: -0.1 or i?
i
Suppose -41 = 6*q - q - t, -3*t + 24 = -4*q. Let w = q + 12. Let a = 2 - w. Which is bigger: a or -9?
a
Let h = 0 - 0. Let o be (1040/351 - 2)/((-2)/3). Is h < o?
False
Suppose 7*y - 14*y - 763 = 0. Which is smaller: y or -108?
y
Let f(p) = -9*p - 378. Let s be f(-42). Which is greater: s or -1/792?
s
Let j = -278620208/954615 - 6/63641. Let c = j + 292. Does 0 = c?
False
Let p be 33 + 2/(-4)*2. Let d(l) = l**2 + 7*l - 112. Let f be d(9). Is p <= f?
True
Suppose -2*q + 5*z = -7, 5*z - 38 = -3*q + 7*z. Which is greater: q or 28?
28
Let t = 3 + -14. Let o = 114 + -123. Is o equal to t?
False
Let u(w) = -w + 3. Let t be u(-3). Let b be 2/4*t/3. Let p be (7 - 583/88)/(1/4). Is p at least b?
True
Suppose -t - 3*v + 396 = 0, -3*t - 2*v = 3*v - 1188. Is t > 400?
False
Suppose 2*a - 5*u - 19 = 0, -3*a = a - 5*u - 23. Let j be (-6)/(-2) + (1 - a). Let o be (4 - 3)*(-3 + j). Is o at most 2/35?
True
Let g be (-3)/((-6)/(-92)) + 1. Let i be ((-30)/g)/((-4)/6). Is -6/5 not equal to i?
True
Let g = -49 + 66. Suppose 63 + g = -5*l. Do l and -16 have the same value?
True
Let q = -756 - -756. Which is smaller: q or 5/63?
q
Suppose r + u + 5 = 12, r - 3*u = -13. Suppose 5*b - 2*f - r = 0, -3*f - 1 = -2*f. Which is greater: -1/4 or b?
b
Let n = 11 + -7. Let u(k) = 4*k - 16. Let t(p) = 1. Let h(z) = -4*t(z) + 2*u(z). Let r be h(5). Is r less than n?
False
Let s(b) = b + 7. Let x be s(-7). Suppose x = -j - 4*c + 11 + 9, -5*j + 2*c - 10 = 0. Suppose j*l = -3*l - 3. Which is smaller: l or -2/5?
l
Suppose 2*u + 4*o - 190 = -66, u - 74 = o. Suppose -5*m - 4*k = u, m - 2*m = 4*k - 2. Let h be (-1)/6*27/m. Do 0.1 and h have the same value?
False
Let k = 108 + -112. Let y be (-158)/(-28) - (-2)/k. Which is smaller: y or 5?
5
Let x be -21*(5 + 150/(-18)). Is x at least as big as -0.1?
True
Let y be -1*(8/(-10))/((-13)/65). Let b be 1 - (4/(-2) - -21). Let t be 81/b*y/(-6). Do 1 and t have the same value?
False
Let v be 3/4 + (-3542)/4648. Is -1 greater than or equal to v?
False
Let b be (-318)/130 + 3 - (-6)/(-39). Which is smaller: -19 or b?
-19
Let j = -2.83 - -3.33. Which is smaller: 2.3 or j?
j
Suppose 11 = 2*q + 3. Let w be 1 + -1 + -2 - -5. Is w at least q?
False
Let m(x) = 8*x**3 - 4*x**2 - 6*x - 2. Let p be m(-1). Is -47/7 at most p?
False
Let m = 15 + -12. Suppose -6*d = -2*k - 2*d, -d = -m. Suppose 3*t = 3*y + 9, -k*t = -5*y - 4*t - 24. Is -5 bigger than y?
True
Let s = -2.1 - -2.5. Let l = s - 0.4. Let a = 0.2 - l. Is a >= -0.2?
True
Let i(z) = -z**3 - z**2 + 8*z + 4. Let n be i(0). Let j be 1/n + 2/8*-1. Which is greater: j or -4/31?
j
Let x = 249 - 248.9. Which is smaller: x or 3/67?
3/67
Let m = -417 - -417. Do -2/431 and m have the same value?
False
Let y = -2095179/3839 - -6003/11. Does y = 1?
False
Suppose 0*x + 3*i = 2*x + 27, 18 = -3*x - 3*i. Let d = -146.6 - -147. Which is greater: d or x?
d
Let d be ((-4)/31124*6)/((-2)/(-439)). Let r = d - -2/251. Which is smaller: r or -1?
-1
Let z = 23 - 22. Let q be (z/(-3))/((-25)/15). Let r = 3/35 + q. Is r not equal to 1?
True
Let u(r) = 51*r**3 + 4*r**2 - 4*r - 1. Let h be u(1). Let w = 69 - h. Are 21 and w equal?
False
Let q = -97 - -104. Is 54/7 at least q?
True
Let u be 6/(-30) + 59/(-5). Let t be -6 - (-2)/((-8)/u). Let x = t + 11/4. Is x equal to 13?
False
Let b = 457.1 - 418. Let x = b - 39. Let d = -7.93 + -0.07. Is d at least as big as x?
False
Let o = -15.5 + 2.67. Let v = 13 + o. Let a = 156.9 + -157. Are a and v non-equal?
True
Let k = 3813/165004 + -5/332. Which is smaller: k or 1?
k
Let f be 12/21 - 23292/(-252). Is f greater than 93?
False
Suppose -g = -2*g + 2*d - 8, 5*g - 3*d = -5. Suppose g*b - 25 = 5*a, 0 = a - 0*a + 5. Let y = -44/775 - -3/31. Which is smaller: b or y?
b
Let q = -36 - -36. Let k = 15 - q. Let u = k - 15. Is 3/26 greater than u?
True
Suppose -4*l + 0*a + 4*a = 20, 3*l = -3*a + 9. Which is greater: l or -3/325?
-3/325
Let d be (1 + (-4 - -3) - -2)*1. Suppose 9 = -d*u + 4*w - 9, 2*u + w = 2. Is u >= 0.4?
False
Suppose -23829 - 1131 = 30*h. Which is smaller: h or -833?
-833
Let l = -36/11 + 13785/4202. Are 0 and l non-equal?
True
Suppose 0 = -3*n + 6, 25*n + 14 = -4*t + 30*n. Which is bigger: -4/97 or t?
-4/97
Suppose -3*z - 2*k - 45 = -3*k, 0 = 5*k. Let q = z + 16. Let x be (88/16)/(1 + q). Which is smaller: 4 or x?
x
Let c be (-4 + 1)*1 + -1. Let i(d) = 2*d**2 + 4*d + 7. Let s be i(c). Are 25 and s equal?
False
Let f = -7 - -12. Suppose -4*i + 3*b = -21, i + 2*b - 12 = -4. Which is smaller: f or i?
f
Suppose 9*x = 10 + 26. Let d = -45.77 + 43.8. Let o = 0.03 - d. Which is smaller: o or x?
o
Let g = 615/17 + -14712/425. Which is greater: 3 or g?
3
Let p = -256 - -17154/67. Let g = -148/469 + p. Is 1 smaller than g?
False
Let t be ((-30)/(-135))/(6/9). Is t equal to -201?
False
Suppose -5*i = -5*k + 2*k - 4, 0 = -3*i - 5*k + 16. Suppose 0 = -5*s + 2*h - 83, -55 = 4*s + i*h + 15. Is s > -16?
False
Suppose -5*n = 3*x - 111, 5*x + 112 = 4*n + 1. Let w be ((-24)/(-14))/(1/14). Is w equal to n?
True
Let m be (8 + -5)*2/3. Suppose 0 = 2*g + 4*i, -12 = 5*g - 2*i - 0*i. Does m = g?
False
Let l(a) = 30*a + 29. Let y be l(-1). Which is greater: y or -9/41?
-9/41
Let u = 26 - 42. Let v be (-24)/(-10) - u/(-40). Which is smaller: v or -16?
-16
Let g = 0.28 - 13.28. Let p = 12.76 + g. Let k = p + -3.76. Is k < -2?
True
Suppose -29*p = -30*p + 3*l + 23, 4*p = -l + 92. Is 165/7 greater than or equal to p?
True
Let d = 8 - 47/6. Let p = 87 + 101. Let x = 185 - p. Is d bigger than x?
True
Suppose 4*i + 11 = -3*h + 8*i, 6 = 3*i. Let b be 6/(-4 + h - -13). Are b and 1 nonequal?
True
Let f be -18 - (-3)/(-12)*(1 + 3). Let a = -36 - f. Which is bigger: a or -19?
a
Let w(y) = 17*y - 1. Let s be w(1). Let z = 14 - s. Let x be 4 - 0 - 0/z. Is x less than 3?
False
Let c = -0.12 + 13.12. Let d = 28 - c. Let z = d + -17. Is 3 greater than z?
True
Let x = -1181 + 1180.922. Which is smaller: -0.9 or x?
-0.9
Let h be 2 + (-4)/(-3) + (-364)/84. Is -4 smaller than h?
True
Suppose 0 = 9*j + 23 - 14. Are j and -2/689 nonequal?
True
Let y(i) = -4*i**2 - 11*i - 8. Let b be y(-3). Is b less than -11?
False
Let y = -61.986 - -62. Let f = 9.014 - y. Are f and 0 equal?
False
Let j = -148 - -89. Let d = j + 42. Are -18 and d non-equal?
True
Let r be 10/(-45) + 516/378. Let q = 15 + -10. Suppose 3 = q*l - 2. Which is greater: l or r?
r
Let i be (-134)/(-190) - 286/2717. Let d = 0 - -2. Which is bigger: i or d?
d
Let f be (2 + 1)*((-8)/(-3))/1. Let w = -5 - -7. Suppose -f + 10 = w*k. Which is smaller: k or 2/87?
2/87
Suppose 4*n - 13 = h + 4*h, -4*n = 5*h + 37. Let m be -1 + 25/20 + n/12. Which is smaller: m or -3?
-3
Let q be 3 + (2 - 0/5). Suppose q*a + 2*y - 3*y + 4 = 0, -a = -4*y - 3. Which is smaller: a or -2/11?
a
Suppose 3*z + 5*w - 16 = w, -2*z - w + 4 = 0. Suppose z = m - 3*r - 18, 4 = 2*r - 3*r. Let d be 4/(-24) + 19/m. Is 3 < d?
False
Let p be ((-3)/(-4))/(4/(-48)). Let t be ((-3)/p)/((-1942)/12). Let x = -2004/30101 - t. Which is smaller: 0 or x?
x
Let h = 57 - 57. Suppose 0 = -h*k + 2*k + 32. Does k = -16?
True
Let m = 1.3 - -3.7. Let d be 745/20 - (-9)/12. Suppose d*w = 39*w + 2. Does w = m?
False
Let n(g) = g - 1. Let y be n(1). Let j be 1 - 350/(-8) - (-1)/4. Let t = 91/2 - j. Which is smaller: y or t?
y
Let h = -85.4 + 115. Let p = -30 + h. Let u(g) = -g**3 + 4*g**2 - g + 5. Let d be u(4). Is d != p?
True
Let b = 0.8 - 4. Let i = b + 3.15. Let k = 3 - 3.2. Which is bigger: i or k?
i
Let z = 22 - 15. Suppose 9 = -t - z. Let a = t + 16. Is -2/27 > a?
False
Let w be (-546)/(-45) - 6/45 - 4. Suppose 3*c = -5*u + 23, -4*u + 0*c = c - 24. Which is smaller: u or w?
u
Let z(p) = -2*p**2 - 22*p + 85. Let f be z(-20). Is f <= 0.1?
True
Let r be (-76)/266 + 16/7. Which is greater: 2/123 or r?
r
Let y be ((-54)/15)/1*(-10)/(-3). Is y not equal to -12?
F