greater than 4178?
False
Let s(k) = -46*k - 190. Let l be s(-6). Is l > 95?
False
Let f be ((-510)/(-2))/(5 + 21/(-6)). Let j = -143 + f. Is j > 27?
False
Let l(j) = -5*j**2 - 319*j - 4980. Let v be l(-17). Does -997 = v?
False
Suppose -4*v = 4*x + 48, -3*v + 3*x = 53 + 1. Let p be 8/20 + ((-24)/v)/1. Which is smaller: -2/37 or p?
-2/37
Let y(k) be the third derivative of -k**6/120 - 7*k**5/60 + k**4/3 - 2*k**3/3 + 140*k**2. Suppose 3*a = -3*z - z - 47, -z - 33 = 5*a. Let v be y(z). Is -6 > v?
False
Let t = 566 + -562. Suppose -t*a = 14*z - 13*z - 591, 0 = 3*a + 2*z - 442. Which is bigger: 1 or a?
a
Let m = 1/60659 + 121803269/181977. Which is bigger: m or 668?
m
Let j = 36 - -29. Let t = -65.41 + j. Let x = -0.31 - t. Is -1 greater than x?
False
Let m be 230/40 - (-2 - (-21)/12). Suppose 0 = -m*d - 387 + 297. Is -11 > d?
True
Let c = -4 + 22. Suppose 1 = -4*i - 11, -n = -i + 5. Let d be c/(-30)*(-5)/n. Which is bigger: 1 or d?
1
Let p = 12/1873 + 110423/13111. Let y = 0 - -9. Does y = p?
False
Suppose -5*d - 170 = -6*d + 2*i, 5*d = 5*i + 880. Which is bigger: 904/5 or d?
d
Let h(s) = 4*s**3 + 92*s**2 - 21*s - 25. Let c be h(-23). Is c less than 459?
True
Let h(g) = -2*g**2 + g - 2. Let o be h(1). Let n(b) = -b**2 - 5*b - 3. Let l be n(o). Suppose 3*p = x - 13, -14 = 2*p - 5*x - 1. Is p at most as big as l?
True
Let j be -4 - 30 - -34 - 3/7*-1. Does -24/19 = j?
False
Let z = -5843 + 5958. Which is greater: z or 1030/9?
z
Let r = 660 + -656. Let f = 0.1 + -5.1. Which is greater: f or r?
r
Suppose -3*x + 4*g + 147 = 0, 5*x - g - 234 = 2*g. Let r be (90/2040)/(x/24). Which is smaller: r or 0?
0
Let k(b) = b**2 - 13*b + 34. Let v be k(15). Let r be (((-3)/1)/3)/((-2)/v). Let y = -65/42 - -11/6. Is r smaller than y?
False
Let b be (-50)/(-75)*3122/(-240). Let n = 87/10 + b. Which is greater: 1 or n?
1
Let b = -39348/7110295 + -2/20029. Which is greater: b or 1?
1
Let a = -1/14875 + 2976/14875. Let s = 0 + 0. Which is greater: a or s?
a
Suppose q - 2*b = -14 - 12, q + 2*b = -14. Suppose -2*j = 26*j - 252. Let h be j/6*((-176)/12)/1. Which is smaller: q or h?
h
Let p(c) = c**3 - 15*c**2 - c - 11. Let z be p(15). Which is smaller: 7 or z?
z
Let r = -401 + 419. Suppose -v - 161 = -4*b - r, 0 = 5*b + 5*v - 160. Is 36 less than b?
False
Let u = -1/19985 - 39967/59955. Which is smaller: 1462 or u?
u
Let z = 5495 + -5455. Does 284/7 = z?
False
Suppose -u - 218 = 263. Let x = 359 + u. Which is greater: -123 or x?
x
Let g be 16/6*(-4590)/(-72). Suppose 514 = 19*h - g. Let q = 30 - -7. Which is bigger: q or h?
q
Let g be (9/(-5))/(25/(-12125)) - -1. Which is smaller: g or 2620/3?
2620/3
Let d = 3433 + -1288. Let j = d + -2120.02. Let s = j - 25. Is s smaller than 1?
True
Let g be (-21110)/315*1 - (-24)/54. Which is greater: g or -67?
g
Let f(s) = -6*s**3 - s + 15 - 3*s - 11*s**2 - 3*s + 5*s**3. Let k be f(-10). Let q be (35/k)/(-7)*3/(-10). Which is bigger: 0.8 or q?
0.8
Let f = -0.052 + -140.948. Let z = -70 - f. Let u = z + -77. Which is greater: 0.4 or u?
0.4
Let b be 50/(-325) - ((-34392)/(-39) - -2). Which is bigger: b or -882?
-882
Suppose 2*q + q - 12 = 0. Let t be ((-90)/24)/1*(-96)/36. Suppose -5*z - f = -q*z - 4, 0 = 4*z + 2*f - t. Is -1/23 >= z?
False
Let o = -5 + 6. Let g(u) = 75*u - 3. Let b be g(o). Let r be 16/b - (-10)/(-27). Is 1 smaller than r?
False
Let a = 0.1 - 0.3. Let o = -56.03 + 2.03. Let l = -60 - o. Is a bigger than l?
True
Let n = 22.4 - -97.6. Let v = -438 + 476. Let a = v - n. Which is smaller: a or 0?
a
Let q = -137 - -140. Suppose -21 = -y - q*o, -2*y + 4*o = 6*o - 30. Suppose 0 = -5*g + 24 + 31. Which is smaller: y or g?
g
Let o(g) = -g**3 + 8*g**2 - 6*g - 6. Let p be o(3). Let f = -104 + p. Is f at most -83?
True
Let g be 6/2 + 1/1. Suppose -4*y - 4 = g. Let r = -722 - -724. Is y less than r?
True
Let y = 124/69 + 19174/2001. Is y > 0.1?
True
Let g = 17188 - 14219. Which is smaller: g or -1/2?
-1/2
Let g = -7078 - -7041. Which is greater: g or -5?
-5
Suppose 821 = 5*x - 4*p, x + x = 2*p + 328. Suppose 24*v = 9*v + x. Which is smaller: 14 or v?
v
Let g(w) = w**3 + 18*w**2 + 57*w + 24. Let h be g(-10). Is 254 bigger than h?
False
Suppose -9*y + 4*y = 105. Let b be ((-5)/(-60)*3)/(y/9). Is b equal to -1?
False
Suppose 560*u - 153*u + 23035 = -5048. Let f = -120 - -54. Which is smaller: f or u?
u
Suppose 4*m = -3*h + 3385, 0 = -5*h + 3*m + 2479 + 3182. Let n be h/(-4277) + 4/14. Let a = 2 + -2. Which is smaller: n or a?
a
Suppose 0 = -5*o + 4*t + 946, 0*o + 4*o - t = 759. Let c = o - 220. Do -89/3 and c have the same value?
False
Suppose 5*w - y - 501 = 0, 2428 = 5*w + 2*y + 1930. Is 2 at most w?
True
Let f = 200 - 183. Suppose -f*w = 4 - 21. Is w > 5?
False
Let c = 0.167 + -14.967. Let w = -15 - c. Let j = 13/3 - 149/33. Which is bigger: j or w?
j
Let r be 46/(-30)*2*3. Suppose 0 = 4*p - 2*w - 1734, 3*w + 2170 = 9*p - 4*p. Let s = 423 - p. Is s < r?
False
Suppose -94 = -3*t - 79. Let y(m) = -6 - t - 38*m - m**2 + 42*m. Let l be y(4). Is l less than -10?
True
Let m(t) = 2*t + 2. Let g be m(0). Suppose l - 5 = -g*y + 177, 2*y - l - 190 = 0. Are y and 93 unequal?
False
Let l be 7/2*(-6 - -8). Let a(v) = -v**3 - v**2. Let g(m) = -5*m**3 - 11*m**2 - 12*m - 6. Let d(f) = -6*a(f) + g(f). Let q be d(l). Which is greater: 9 or q?
9
Let q = -0.041 - -158.041. Let d = -181 + q. Does d = 1?
False
Let n = 20 + -40. Let h = 36 + n. Suppose v = -10 - h. Is v bigger than -2/7?
False
Let j = 221/290 + -21/58. Is j less than or equal to 930?
True
Let n(b) = -400*b - 3. Let v be n(-2). Suppose 12*l + 1315 + v = 0. Is l not equal to -174?
True
Suppose -3*h + 1269 = 5*a, -28*a = -h - 23*a + 443. Let l = h - 335. Which is smaller: 95 or l?
l
Suppose 0 = 9*w + 1868 + 184. Let c be 6/57 + (-1344)/w. Is 45/7 < c?
False
Suppose 0 = 54*x - 540 + 36359 + 7813. Is x bigger than -4044/5?
True
Suppose -56*n + 55*n - 5*h - 25 = 0, 5 = 2*n - h. Do 4/2155 and n have the same value?
False
Let a be 6/8*(-928)/232. Suppose 6 = l + 2*l. Suppose 4*c + 6 = -l. Do c and a have different values?
True
Let x = -530 - -528. Let d be 4 + x + 164 - (-1 + -1). Is 167 >= d?
False
Let i be -2 + (-3)/(-6) + 2 + (-17135)/2990. Which is smaller: -6 or i?
-6
Let a be (-68)/(-303)*-1*59/46. Let m = -32/101 - a. Which is bigger: -1/2 or m?
m
Let h(o) = o**3 - 18*o**2 - 42*o + 59. Let x be h(20). Which is greater: 299/17 or x?
x
Let f(l) = l**3 - 10*l**2 + 13*l + 38. Let c be f(10). Let s = -200 + c. Which is smaller: -1/3 or s?
s
Let u = 20777/5 + -4254. Let n = u - -98. Suppose 6*j = -j - 14. Which is bigger: n or j?
n
Suppose -2*h = -6*h + 1112. Let y be (-2 - -1)/(h/138 - 2). Let s be (0/4 - 2) + (-156)/y. Is -1 less than s?
True
Let r = -29.44 - -0.44. Let y = -7793/2 - -3897. Which is smaller: r or y?
r
Let i = -119.23 + 6.23. Let k = -320 - i. Which is greater: 2/3 or k?
2/3
Let l = -1989 + 3734. Which is smaller: 1746 or l?
l
Let d(b) = b**2 - b + 16. Let t be d(5). Let p be ((-1)/(-3))/(8/t)*2. Suppose -3*w - 18 = -3*n, w - 5*n + 16 = -10. Which is bigger: p or w?
p
Suppose -5*a + 2*i = -2*i - 1, 5*i + 29 = -3*a. Let h be 4/44*54/(-2). Is a <= h?
True
Suppose 309 - 347 = 38*s. Which is smaller: s or -3/4880?
s
Suppose 5 = w, 53 = 2*y - 5*w + 442. Let a be -191 + (20 - (-10 - -21)). Does y = a?
True
Let o be ((-330)/(-30855))/(29/(-2)*2). Which is greater: o or 0?
0
Suppose -5*r = -0*r - 3*q + 183, 0 = r - q + 35. Let x = r - 3. Which is bigger: x or -40?
-40
Suppose 17 = -u + 10. Let y be (-15)/(-2)*14/u. Let p = y + 12. Is -8/3 <= p?
False
Let q be (5 + -2 - 3) + -18. Let c be (-1 - -1) + (-15 - q). Suppose b + 1 = 3*w, -w = -c*b - 4 + 1. Which is smaller: -2/17 or w?
-2/17
Let o be (8 - (7 + (-111141)/6)) + (-2)/4. Which is bigger: 18525 or o?
18525
Let r = 2178.4 - -99.6. Is 3 at most r?
True
Suppose 288 = -28*q - 1084. Let c be q/(-294) + 190/3. Which is bigger: 63 or c?
c
Let i = -108 + -122. Let p = 228 + i. Are p and 1/219 equal?
False
Let x = -0.53 + 22.53. Let b = -4.92 + 5.12. Which is greater: x or b?
x
Let z be -5 + 7 - (-66)/(-32). Let m = 69 + -71. Let j(q) = q**3 + q**2 - 3*q - 3. Let f be j(m). Is f at least z?
False
Let v(w) = w**3 - 4*w**2 - 15. Let t be v(5). Suppose 2*j = t, -5*x + j + 145 = 6*j. Suppose r - 6 = 16. Which is smaller: r or x?
r
Let w =