k + 3 = 30*k + g. Is k less than 4/87?
True
Let i be (3 - 2 - -9)/1. Let u(y) be the third derivative of -y**6/120 + 7*y**5/60 - y**4/3 + 43*y**2. Let b be u(5). Are i and b equal?
True
Let f(p) = -p**3 - 2*p**2 + 6*p + 5. Let n be f(-5). Let a = n + -42. Suppose 0 = z - 9*z + a. Are 2 and z equal?
False
Let s be 186 + (9 - 55/5). Is s <= 191?
True
Suppose 146*w = 210254 - 29068. Which is smaller: w or 1240?
1240
Let o be 0/(-5 + 15) + (-2122)/24 + 7. Is -81 >= o?
True
Let d be 7 - ((-8)/28 + 213532/166124 + 6). Is d < 0?
False
Suppose -108*w - 26*w - 398 + 130 = 0. Which is smaller: w or 6/1511?
w
Suppose -45 = -5*f - 15. Let u be f/77 + 1 - (4 + -3). Which is smaller: -1 or u?
-1
Let w = 1393 - 1507. Which is smaller: w or 5?
w
Let v = -13878 - -13879. Do v and -9/965 have different values?
True
Let n = -32 + 35. Suppose n*b + 66 = -2*y, b + 33 = -y - 0*b. Let k = 34 + y. Is -2/27 >= k?
False
Let g = 0.1 - -0.1. Let l = 66 - 65.9731. Let o = l - -0.0231. Are g and o non-equal?
True
Suppose 7*k + 52 = 20*k. Suppose -k*p - 6 + 6 = 0. Which is smaller: 1 or p?
p
Let r = 448 + -490.8. Let z = r + 39.1. Which is smaller: 5 or z?
z
Let f be ((-8534)/(-272))/((-4)/(-64)*-2). Which is greater: f or -248?
-248
Let k(v) = 3*v + v + 26 - 2. Let r be 2/19 - (2197/(-247) + 14). Let u be k(r). Which is smaller: u or 2?
2
Let j = 396 + -484. Suppose -2*a + 4*i - 360 = 2*a, -442 = 5*a - i. Is a less than or equal to j?
True
Let p be -1290 + (-7*48/(-56) - 11). Are -1295 and p equal?
True
Suppose -q + 38 = 2*a, -13*q - 16 = -11*q. Suppose 2*o - o = 24. Is o != a?
True
Let f = -20671 - -1798375/87. Let z(d) = d**3 + 7*d**2 + d + 7. Let n be z(-7). Let w = n + 1. Which is smaller: f or w?
f
Let l(q) = q**2 + 76*q - 415. Let i be l(-79). Which is bigger: i or -182?
i
Suppose 4*t + 3511 = -169*t - 18287. Is t < -126?
False
Let f(j) = -13*j + 175. Let t be f(13). Let z be -4 + (t/24)/((-139)/(-2212)). Are z and 1 non-equal?
True
Let y = 2624 - 3719. Which is smaller: -0.2 or y?
y
Let l be 42/(-7) + (-8)/(-2). Let s be 95/133 - l/7. Which is smaller: s or 6/125?
6/125
Let c be 10/15*477/6. Let g = c - 44. Suppose -3*a = g, -4*u - u - 3*a - 39 = 0. Is -5 != u?
True
Suppose 6*x = 9*x - 2*j + 124, 5*j - 410 = 10*x. Which is greater: x or -18?
-18
Let o = -30 + 23. Let n = -97 + 169. Let k be ((-2)/1)/(n/204). Which is greater: o or k?
k
Let a(c) = c**3 + 5*c**2 - 8*c + 1. Let b be a(-7). Let i = -1.33 + 1.63. Are i and b equal?
False
Let s = 0.16032 - -0.83968. Is 15/13 bigger than s?
True
Let j = -14899 + 14851. Suppose -262 = 4*c - 66. Is c smaller than j?
True
Let r be ((-219)/(-3650))/((102/3056)/1). Let u = -36/17 + r. Which is bigger: -1 or u?
u
Let u = -127663 + 795595819/6232. Is -1 != u?
True
Let b = -17 - -21. Suppose 4*w - 26 + 6 = -b*s, -w - 1 = -5*s. Let u be s/(70/(-4) - -2). Which is smaller: 0 or u?
u
Let u be (-2)/((-4)/10 + 0). Let k(w) = -4*w**3 + 17*w**2 - 4*w + 3. Let t be k(4). Suppose -8*o = -t*o - 25. Is u at most as big as o?
True
Suppose 3*k - 5*a = 5*k - 68, -k + a = -48. Suppose -3*l = -14*l + k. Let o be l*(0 - 1) - -17. Which is smaller: o or 38/3?
38/3
Let b be 33/6*(-276)/759. Is b bigger than -28/11?
True
Let s be 267 - 0/((-44)/198 - 32/18). Which is smaller: s or 248?
248
Suppose -2*f - 10715 = -2*z + 16381, 54192 = -4*f - 2*z. Is f greater than or equal to -13548?
True
Let x be (65/(-156))/((2 - 0)/(16 + -20)). Let f be (-2)/(-7) - (-12)/7. Is x at least f?
False
Suppose -2*o = -4*f + 502, 251 = 4*o - 5*o - f. Which is smaller: -0.1 or o?
o
Let a = -605/91 - -46/7. Let v be 14/5 - (-4)/20. Suppose 0 = 4*z + 12, -3*w + 9 - 3 = -v*z. Which is smaller: w or a?
w
Let j(q) = 2022*q - 8088. Let r be j(4). Is 6/3529 at least r?
True
Let g be 171/38*(1 + 93). Let z = g - 422. Is -4/13 > z?
False
Suppose -2*g + 563 = -w, -2827 = w + 4*w + 2*g. Which is smaller: w or -566?
-566
Let i = 5207/5 + -47728/45. Which is greater: 2/11 or i?
2/11
Suppose -4*s - 165 = -193. Let w be (652/s)/((-48)/(-56)) + -3. Is w at least as big as 106?
False
Let f be 9/(-75)*25/(-40). Let c = 293/2335 - 193401/130760. Let v = f - c. Is v less than 1?
False
Suppose -7*s - 40*s = -s + 46644. Is s equal to -1013?
False
Let t = -97/5 - -19. Let p be 3/(-24) - 2/(16/(-33)). Suppose -5*b = 0, 28 = p*k + 4*b - 28. Which is smaller: k or t?
t
Suppose -12*j + 48 = -6*j. Let a(n) = -n**2 + 7*n + 16. Let k be a(j). Which is bigger: k or 0.06?
k
Let z be (-28)/56*(-554)/(-8)*4. Suppose v + 33 = -4*x + 588, -265 = -2*x - 3*v. Let m = z + x. Is m greater than or equal to 9?
False
Let s = -6.671 - -6.596. Is -21 < s?
True
Let q be (-8)/(-6)*315/42. Are q and -236 non-equal?
True
Let k be (1 - 33)*(-2)/10*525/42. Are k and 1058/13 unequal?
True
Let z = 83913/2756 - 396/13. Suppose 62*h + 73 = 11. Which is smaller: h or z?
h
Let s = 17086 - 18364. Which is smaller: 6 or s?
s
Suppose 2*f - 10 = 0, f - 30 = -5*u - 4*f. Suppose 0 = -8*t + 7*t - u. Are t and -2/377 nonequal?
True
Let g be ((-13)/52)/((-2)/8). Let m be 8/2*(g - -3). Suppose 27 = 2*x - 2*h + h, -3*h - 49 = -4*x. Is x > m?
False
Suppose -3*i - 41*i + 22656 = 104144. Which is greater: -1853 or i?
i
Let v(u) = u**3 + 8*u**2 + 6*u + 10. Let o(r) = -2*r**2 + 14*r + 9. Let m be o(8). Let g be v(m). Let j be (g + -18)*(-2)/(-106). Is j at least as big as -1?
True
Let s = -0.16 - -9.16. Let z = s - 9.7. Let c be (-1 - 4/(-4 + -8))*(-2 + 3). Is z less than c?
True
Suppose -433 = 166*t - 267. Is -8/1363 at least as big as t?
True
Let l = 4612/2945 - 30/19. Let d = -292 + 303. Suppose d*o - 18*o = 0. Which is smaller: l or o?
l
Suppose -x - 4*x - 2*j - 262 = 0, j = 2*x + 103. Let d = x - -262/5. Which is greater: d or 9/13?
9/13
Suppose 58*r = 21*r - 296. Which is greater: 0 or r?
0
Let s = 14717 + -14770. Which is smaller: -110 or s?
-110
Let p = -3003952/311 - -9659. Suppose -n + 4 + 5 = -2*m, -3*n = 5*m + 17. Is n != p?
True
Let z = -4194022/275 - -15251. Which is bigger: z or -2/5?
z
Let c(t) = 11*t + 213. Let u be 3 - 51/21 - (-151)/(-7). Let v be c(u). Is v at most -17?
True
Let d be -9*(6 + 2/(-1) - (15 - -303)). Which is smaller: d or 2827?
d
Suppose 147*t - 98739 = 4317 + 32919. Is t > 1851/2?
False
Let g(z) = 9*z**3 + 22*z**2 + 34*z - 36. Let w(v) = 11*v**3 + 21*v**2 + 35*v - 37. Let d(t) = 6*g(t) - 5*w(t). Let o be d(28). Is -2.4 >= o?
True
Suppose 5*j + 4215 = -i, 24*j - 3411 = 28*j - 7*i. Which is greater: j or -5059/6?
-5059/6
Let p be -2 - (1/1 + -2). Let y = 7967695/294 + -27101. Does y = p?
False
Suppose -3*s + 28*s = -6*s + 217. Which is greater: s or 46?
46
Let z(j) = 84*j - 5. Let t be z(10). Suppose -2*u + h = 292, -4*u - 3*h - t = -261. Is -146 at most u?
True
Let i = 16 - 15.98. Let v = 0.05 + i. Let t = 0.03 + v. Is t > 0.14?
False
Suppose -2445 = -39*x + 402. Suppose -3*s + c = -x, -2*s + 31*c + 52 = 27*c. Which is smaller: 6 or s?
6
Let n be (-15)/((-495)/(-6)) - (-7708)/44. Suppose t - 178 = 3*r, -t - 2*r = -36 - 137. Is n greater than t?
False
Suppose -2845*z + 2772*z = -146. Is z at most -347?
False
Let a be (-10)/3 - (-2)/6 - (-8208)/(-63). Is a not equal to -132?
True
Suppose -22 - 13 = -l + 14. Is l greater than or equal to 50?
False
Let s(y) = 27*y**2 + 26*y + 83. Let d be s(-15). Let n be (32/d)/(-3 + 1). Which is greater: n or 1?
1
Let m be (31/(-1))/(-30*(-11)/(-198)). Suppose 6*u + 66 = 174. Which is smaller: m or u?
u
Let v(x) = x**2 + 784*x - 3. Let l be v(0). Let g = -13.23 + 0.23. Which is smaller: g or l?
g
Let j = -6.7 - -4.5. Let v = j + 0.2. Let h = 1 - v. Which is smaller: h or -1?
-1
Let z = 207 + -201. Let r be (6/(-219))/(-5 + z). Let c(n) = n**2 - 5*n. Let g be c(5). Is r bigger than g?
False
Let u be 59822/(-98) + -11 + (-8)/14. Let v = u - -458. Which is bigger: v or -165?
v
Suppose 29008 = 42*f - 116*f. Are f and -393 unequal?
True
Let r be -10*2/((-12)/3). Let j be (5 + 26/(-4))*(-8)/3. Which is bigger: j or r?
r
Let q = -73 - -57. Let h be (90/12)/(2/q). Let b be (2 - h/(-16))*4/(-14). Is b equal to -14?
False
Let j = 12538 - 87764/7. Do 85 and j have different values?
True
Let t = -2 - -6. Let d = 22 + -26.62. Let f = 0.62 + d. Which is bigger: f or t?
t
Suppose -127 = -i - 18. Let k = -37 + i. Let u be (-1 - 7/(-5))*36/k. Which is smaller: u or -8?
-8
Suppose 16*f - 86*