3*u + 10 = -2*u. Let a(l) = -5*l**3 - l**2 + 2*l. Let o be a(u). Let d = -48 + o. Is d greater than or equal to -15?
False
Let m = 18969 - 42433651/2237. Is 0 > m?
False
Let b = -10492631/24 - -437042. Let k = -151 - b. Which is smaller: k or 0?
k
Let c(k) = k**3 - 4*k**2 + k + 2. Let x be c(4). Suppose 5*w + d = -44, -x*d = -5*w - 2*d - 49. Let m = 7 + w. Which is greater: 0 or m?
0
Let o be 20/6*(5 - 65/10). Is o at most as big as -7?
False
Let y(r) = r**3 - 29*r**2 + 26*r + 63. Let x be y(28). Let s be (-15)/(-28) - (-2)/(-7). Is x at most s?
False
Let q(a) = -a**3 + 12*a**2 + 12*a + 14. Let w be q(13). Let c = 134 + -2545/19. Which is bigger: c or w?
w
Let g be (6/(-3))/((1 - -133) + -5). Which is greater: -1/2 or g?
g
Let k = 1.84 + 0.06. Let q = 2.03 - k. Let g = q - 0.16. Which is smaller: 2/3 or g?
g
Suppose 0 = 31*k + 9*k. Do -28 and k have different values?
True
Let b = -18307/525 + 244/7. Suppose j - 3*i - 13 = 0, 0 = -6*j + 2*j + 5*i + 24. Which is smaller: j or b?
b
Let d = 63 - 64.53. Which is smaller: -0.1 or d?
d
Suppose -v = 2*o + 9, -o - 12 = 3*v + 2*o. Let b be 102/21*5/(-84). Let l = -1/294 - b. Which is smaller: l or v?
l
Suppose 0 = -2*w - f - 1, -3*w + 3*f + 4 = -8. Suppose w = -r + 8. Suppose -5*d = 4*p - 13, 5*p - r = -4*d - 2. Are -3 and p non-equal?
False
Let t = 9 - -18. Suppose -5*m - g + t = -0, -3*g = -m + 15. Does m = 5?
False
Let c = -16917 - -16917. Let p be (2/72)/(8/6). Which is smaller: p or c?
c
Let g = 28 - 28. Suppose 2*r = 5*c + 93, -35 = -g*c + 3*c + 4*r. Which is greater: c or -18?
c
Let o = 7 + -6.1. Let d = 2.3 - o. Let f = d - 1.9. Which is greater: 0 or f?
0
Let y = 13554/13 + -1042. Which is smaller: 2/7 or y?
2/7
Let r(y) = 4*y**3 - y**2 - 4*y + 3. Let p be r(1). Suppose 0*z = 3*z. Which is smaller: p or z?
z
Suppose 0 = 15*c - 49*c - 646. Which is greater: -30 or c?
c
Let b = -90 + 119. Let z = 36 - b. Let r = -2 + 2.1. Which is smaller: r or z?
r
Let m(p) = -3*p**2 - p + 9. Let k be m(8). Let t = 13986 + -96561/7. Let g = t + k. Are 0 and g equal?
False
Let q = -16 - -25. Let i = 182 + -182. Which is greater: q or i?
q
Let o = -114 + 36. Let m be (-35)/7*234/15. Does o = m?
True
Let v = -1801 - -848267/471. Is 1 smaller than v?
False
Let g(f) = -f**3 - 18*f**2 + 18*f - 9. Let m be g(-19). Suppose -u + m - 6 = 0. Which is bigger: u or 5/2?
u
Let p = 168 + -100. Let h = -96 + p. Is 1/2 less than or equal to h?
False
Let x be (-125)/(-110)*1236/1282. Let i = -3/641 + x. Is 0 < i?
True
Let j be 896448/20482 + (-4)/38. Let z = j + -298/7. Let h(d) = -d + 7. Let s be h(7). Does s = z?
False
Let m be (1 + -11)/(20/(-370)). Is m <= 187?
True
Let t(q) = -q**3 - 5*q**2 + 3*q - 2. Let f be t(-4). Let d be 4/10 - (-42)/f. Which is bigger: -16/7 or d?
d
Let b be (-4)/14 - (-24)/(-14). Let f be ((-10)/(-8))/(b/8). Suppose -44*q - 18 = -41*q. Is f >= q?
True
Let j = 1027 + -1126621/1097. Are j and -1 non-equal?
True
Let s be (-2)/(-8) + (-204)/688. Let m = -6 + 7. Suppose -5*p = m - 6. Is p less than s?
False
Suppose -o - 2*o - 144 = -2*n, 3*n = -4*o + 250. Which is smaller: n or 77?
77
Let q = -7.34 - 8.66. Which is greater: 0.1 or q?
0.1
Let r be 2/5 - (-3)/((-1620)/(-1989)). Which is bigger: r or 3?
r
Let t be (-13264)/(-6) - 7/(-21). Let c = -11093/5 + t. Is -8 > c?
False
Suppose -1 = -3*z + 14. Suppose 15 = -5*a - z*j, 0 = 5*j + 4 - 14. Is a at least as big as -9?
True
Suppose 4*y = 9*y - 15. Let i be 29/(-87)*y/10. Is i greater than or equal to 0?
False
Let s(m) = m**2 - 17*m - 42. Let g be s(19). Let o = -10 + 8. Is o < g?
False
Let z = -16307190 + 2168866762/133. Let b = z - 550/7. Is b bigger than -1?
True
Let y(c) = -5*c**2 + 4*c**2 + 8*c - 4*c**2 - 17 + 4*c**2. Let v be y(5). Which is bigger: -1 or v?
-1
Let q = 88.3 + -88. Which is greater: 114 or q?
114
Let c = 70.7 - 68. Let n = 2.92 - c. Let i = 0.12 - n. Which is greater: i or 2?
2
Suppose -3*t + 4*f = 14 - 30, t + 8 = -2*f. Which is bigger: 1/182 or t?
1/182
Let w = -4/1347 - 2618/25593. Suppose -3*g = -0*g - 12. Suppose 0 = -0*f - 4*f - g. Does f = w?
False
Let g be 19*(-1)/2*-4. Suppose 58 = 2*l - 4*n, -4*n + 55 + 72 = 3*l. Are g and l equal?
False
Let z = -8.933 + 9. Let g = 0.267 - z. Which is smaller: g or 2/5?
g
Let p = -19 + 2. Let i = p - -17. Let l = 0.04 - -2.96. Which is bigger: l or i?
l
Let g be (-36)/(-9) + 8/(-2). Suppose 3*i = -22 - 8. Let r be (-4)/i*(-1)/2. Which is smaller: r or g?
r
Let g = -16 - 0. Let t = g + 16. Which is smaller: t or 47?
t
Let j be 2/(2508/(-385)) - 2/(-6). Is j greater than 0?
True
Let m(o) = -o**3 - 6*o**2 - 6*o - 2. Let q be m(-5). Suppose q*l + 33 = -78. Is l > -36?
False
Let f be -8*5/(-25) + -1 + -1. Is -97 bigger than f?
False
Let q be (-6)/((-9)/(-3)) + (-4 - -4). Let s be q*1*(6/6)/(-1). Which is bigger: 3 or s?
3
Let d be 3*(-3)/12*32/(-12). Suppose 0*p - d*p - 66 = 0. Is p greater than or equal to -33?
True
Suppose 11 = k + 12. Which is smaller: -1/683 or k?
k
Let h be (4 - 246/63) + (-1792)/6468. Let b = 1 + 0. Which is greater: b or h?
b
Let k(x) = -3*x - 14 - 3 + 2*x. Let r be k(-12). Let w = 1223/7 - 175. Which is bigger: r or w?
w
Let z be (4 - (-6)/3)*1. Let w(g) = -g**2 + 4*g + 11. Let b be w(z). Let t be (-7)/(-42) + 122/(-84). Which is greater: t or b?
b
Suppose -2907*t - 288 = -2908*t. Which is bigger: t or 289?
289
Let t = -3/2305 - 168232/25355. Which is greater: -8 or t?
t
Let q = -7 - -3. Let z(u) = u**2 + 3*u - 4. Let h be z(q). Is 1/3 greater than h?
True
Let k = 360 + -405. Which is bigger: k or -44?
-44
Let s = 0.35 - -15.65. Let v = s - 16.2. Is -10 greater than or equal to v?
False
Suppose 5 = h - 4. Let w = 183 - 176. Is h equal to w?
False
Let r = -97 + 209. Do r and 111 have different values?
True
Let k(b) = b**3 - 5*b**2 + 2*b + 4. Let s be k(4). Let i be (6/10)/(s/60). Let h = 2 + -1. Is i bigger than h?
False
Let m = -6189 + 414655/67. Is m at least 0?
False
Suppose -33 = -5*t - 8. Let f be ((-5)/(-15))/(4/84). Is t less than f?
True
Suppose 0 = 13*l - 0 + 130. Is l bigger than 1?
False
Let k(q) = 2*q**3 + 2*q**2 - 7. Let a be 9/(-135)*2 + 86/(-30). Let h be k(a). Which is bigger: h or -42?
-42
Suppose 12*d - 16 = 4*d. Suppose 0 = y + 4, 4*y = d*v + 5*y + 6. Does v = 0.3?
False
Suppose -61*n + 57*n = 196. Let b be 70/n*(-8)/20. Let s be -2 - (1 - (-1 - -4)). Is b not equal to s?
True
Let q(u) be the first derivative of -u**3 + u**2/2 + 2*u + 11. Let d be q(-1). Which is greater: d or 14?
14
Let w = 0.1 + 2.3. Let i = -2.5 + w. Let r be 7/(-6)*2/(-14). Which is smaller: r or i?
i
Let c = 75 + -86. Is c > -61/6?
False
Let a = -24894 - -35922040/1443. Which is bigger: 0 or a?
0
Suppose 5*n = 4*t - 500, -2*n = t + 81 + 106. Which is bigger: -0.1 or n?
-0.1
Suppose -11*c + 22 = 11*c. Are c and -3/484 unequal?
True
Let l = 6 + -6. Let o = 2 - 0. Suppose 2 = o*w - 2. Which is bigger: w or l?
w
Let t = 65 - 847/13. Let z = 38 + -5. Suppose 5*n = -28 + z. Is t < n?
True
Let h be (939/27*-3)/(35/42). Which is smaller: h or -126?
-126
Suppose 0 = -2*n + 2*l - 40, l - 2 = -0. Let s = -13 - -21. Let f be 19/(-4)*s/2. Does f = n?
False
Let z be (162/(-936))/((-1)/(-72)). Which is greater: z or -13?
z
Suppose 2*g + 10 = -2*i - 16, 4*i - 20 = 2*g. Let v be (1/8)/((-6)/g). Let r = 3 + -7. Which is greater: v or r?
v
Suppose 0 = -10*y + 8*y + 44. Suppose v - 17 = -n, 4*n - 5*v - y = 1. Suppose 0 = -s - 4*m - n, 2*s + 4*m = -0*m - 16. Which is smaller: -3 or s?
s
Let j = 24.33 - 27.33. Is 21 bigger than j?
True
Let v = 15 - 8. Let r(p) = 2*p - 4. Let c be r(v). Let o(w) = w + 12. Let b be o(0). Is b at most as big as c?
False
Let v be (-2964)/9 - (-8)/(-12). Is -330 not equal to v?
False
Let u(t) = -t**3 - 28*t**2 - 24*t + 81. Let d be u(-27). Are 1/252 and d equal?
False
Suppose 0 = 9*x - 148 - 383. Let j = x + -48. Which is smaller: 9 or j?
9
Let z = -3.076 + 3.276. Which is smaller: z or 150?
z
Let r(k) = 48*k - 4. Let t be r(8). Which is greater: 2 or t?
t
Let l = -113 - -119.1. Let h = l + -6. Is -2/9 bigger than h?
False
Suppose 0 = -5*y - 2*w + 5*w + 19, -10 = -5*w. Suppose 0 = -m - 4*k + y*k + 7, -10 = 2*m + 4*k. Suppose -3*u - m = 36. Which is smaller: -14 or u?
-14
Suppose -8 = y + 4*p + 6, y + 10 = -3*p. Suppose 0 = 3*v + y + 1. Let k = 1209/7 + -173. Is v not equal t