 = -t*s, 5*s + 10 = -3*l + 8*l. Which is greater: l or -0.1?
l
Let l(z) = z**3 - z**2 + 3*z - 1. Let d(c) = -c**3 + c**2 - 4*c + 2. Let b(y) = 4*d(y) + 5*l(y). Let t be b(3). Suppose a + a = t. Is a != 9?
False
Suppose 0 = -2*x + 2*n - 7*n + 35, 5*x + 5*n - 50 = 0. Suppose 0 = 3*d + 3, -2*z - x*d = -z + 6. Let b be 32/(-20)*(-10)/(-4). Is b less than z?
True
Let x be ((-8)/(-24))/((-5)/(-15)). Are x and 2/63 equal?
False
Suppose 0 = -5*a - 3*g + 2387, 5*g - 1920 = -7*a + 3*a. Which is smaller: a or 476?
a
Let y be 32/14 + (-1 - 1). Let u = 155/2736 - -1/171. Which is bigger: u or y?
y
Let g = -6.1 + 36.1. Let u = -30.41 + g. Are u and -1 non-equal?
True
Let r be (-78)/224 + (-8)/(-28). Let b = 43.88 + 0.12. Let i = b + -43. Which is bigger: r or i?
i
Let n(h) = -h**3 - 13*h**2 - 12*h + 2. Let m be n(-12). Suppose m*v - 16 = -4*b, -4*b - 2*v = -7*v + 12. Let k be b/6 + 22/6. Does k = 7/2?
False
Let y = -1116 - -1185. Is 69 <= y?
True
Suppose -5*i = -15, 0 = 3*k - 6*k - 2*i - 276. Which is greater: 10 or k?
10
Suppose x - 169 = -3*v, 0*v - 4*v = 2*x - 342. Suppose 3*h + x = 8*h. Let p be (-118)/40 + 7/h. Are -3 and p non-equal?
True
Suppose 4*b - 2*b = 4. Suppose -3 + b = -w - 2*o, -3*w - 2*o = 5. Let q be (-1)/(-2 - (w - 0)). Which is smaller: q or -1/15?
q
Let n(c) = c + 45. Let q be n(10). Do 272/5 and q have the same value?
False
Let y = 11/35 + -73/105. Which is greater: 0 or y?
0
Let w = -647 - -664. Which is greater: -3 or w?
w
Let b = -2 + 1. Let p(n) = n**3 + n**2 + n + 1. Let l be p(b). Which is smaller: l or -9?
-9
Let b be 107*8/6*39/26. Is b greater than or equal to 215?
False
Let x = -69 + 93.6. Let b = x + -24. Which is bigger: b or 0.2?
b
Let r = 1236788593/52 + -23783649. Let d = r - 747. Are d and -1 equal?
False
Let g = -892 - -875. Is 1/5 != g?
True
Let a(u) = -u**3 - 6*u**2 + 13*u + 78. Let f be a(-6). Are -238 and f unequal?
True
Let j be (13 - 9)*10/(-8). Let b be (-1 - -5) + j/10. Is b equal to 4?
False
Let n(f) = -7*f - 1. Let y be n(-2). Is -1 < y?
True
Let o(c) = -c - 6. Let j be o(-4). Let q be (-20)/50 + j/((-10)/(-103)). Is -20 bigger than q?
True
Let i = 2 + -2. Suppose i = -6*q + 3 - 27. Which is smaller: q or -2?
q
Let s = 8.4 - 8.115. Let q = s - -0.015. Which is smaller: q or 0.08?
0.08
Let g be (-9)/(-6) - (-51)/(-2). Let h be (2 + -5)/(1 + -4). Which is bigger: g or h?
h
Let p = 32 - 17. Let r = -15.2 + p. Let f = -2 - -4. Is r less than f?
True
Let q = -330 + 979/3. Which is smaller: q or 1/8?
q
Let r = 389 - 388. Are 2 and r unequal?
True
Let r = 626/35 - 88/5. Suppose -2*s = 3*k, -2*s + 3 = 3*k - s. Suppose -g - p = 2*g + 6, 0 = 4*g - 2*p - k. Are r and g equal?
False
Let w = 3 + 15. Let k = w - 15. Let h = -2 - -1. Which is smaller: k or h?
h
Let m be 82/12 - (-13)/78. Suppose -4*k - k = -30. Is m bigger than k?
True
Let q be 7 + 58/(-8) - (-65)/4. Suppose 25 = -q*r + 9. Let a = 6 + -3. Which is greater: a or r?
a
Let a = -0.5 - -0.4. Let i = a - -9.1. Let q = 9 - i. Which is smaller: q or 4/3?
q
Let g(t) = -4*t - 6. Suppose 0 = 2*n - 2*k - 0*k + 6, -5*k = -3*n - 7. Let i be g(n). Is i not equal to 9?
True
Suppose 0 = -2*n + 7*n - 10. Let c be 34/6 - n/(-6). Let v be c - 2 - (-141)/(-33). Which is smaller: v or -1?
-1
Let c = 57351/23 - 2493. Is c bigger than 2?
False
Let t = -2387 + 2387.2. Which is greater: t or 1184?
1184
Let u = -6.95 - -7. Let f = -0.45 - 0.5. Let j = f - u. Is -0.06 equal to j?
False
Let t(i) = 4*i**3 + 83*i**2 + i + 26. Let m be t(-21). Is m <= -435?
True
Let i(c) = 39*c. Let k be i(1). Let x be 1/(-3) + (-31)/k. Let l = x - -6/13. Is l at least 5?
False
Suppose -122*h + 126*h = -2*n - 706, 1055 = -3*n - 5*h. Which is bigger: n or -346?
n
Let j = 141/637 - -8/49. Let p(g) = g**2 - 7*g + 10. Let h be p(5). Is j less than h?
False
Let c = 1 - 0.6. Let n = 110 - 112. Is c greater than n?
True
Suppose 40 = 5*n - 170. Let s = 3 + -2. Let k be n/77*s/2. Are 1 and k unequal?
True
Let g be (1 - 0) + 18/(-22). Let r = -26.81 + 26.31. Which is bigger: g or r?
g
Suppose 0*z = -4*z. Let a = 1 + z. Let b(u) = -u**3 - 11*u**2 + 12*u. Let s be b(-12). Do a and s have the same value?
False
Let c be 2/13 + (135/(-117))/1. Which is smaller: -4/107 or c?
c
Suppose -4*v + v = -24. Suppose 17 = -3*i - 25. Let q = -5 - i. Which is smaller: v or q?
v
Let g = 38 - 70. Let t = g + 31.9. Let d = -13 - -23. Are t and d nonequal?
True
Let c(n) = n**3 - 5*n**2 - n + 4. Let h be c(5). Let z = -2.7 - -0.4. Let d = 2.37 + z. Which is smaller: d or h?
h
Let x = -39 + 60. Is x >= 21?
True
Let o = -216/4321 + -30792095/73457. Let c = o + 419. Which is greater: c or -1?
c
Let x be 222/(-333)*(15/(-2) - 0). Which is smaller: 6 or x?
x
Let d = -154 - -164.2. Let o = 10 - d. Which is bigger: o or 9/4?
9/4
Let a = 615 + -26443/43. Is a > -1?
True
Let i(w) = -w**3 - 5*w**2 + 2*w - 2. Let q be (18/(-12))/(2/4). Let v be i(q). Let y be v/66 - 3/(-9). Which is bigger: y or 0?
0
Suppose 9*p = -2361 + 2442. Suppose 10 + 3 = -q. Let j = q + 21. Is p bigger than j?
True
Let t(f) = -f**2 + 14*f - 12. Suppose -5*h - 7 = -0*b + b, -85 = -5*b + 5*h. Let l be t(b). Which is smaller: l or 1/25?
1/25
Let j = 29/4 - 3037/420. Suppose -105 = -4*b - 101. Which is smaller: b or j?
j
Let r = 59.2 - 32.2. Which is smaller: -5 or r?
-5
Let g be (108/(-15))/(4/(-20)). Suppose 0*z = -6*z + g. Let u be z/(-3 - (-27)/10). Is -21 at most as big as u?
True
Let h(u) = -u**3 - 13*u**2 - 3*u + 33. Let b be h(-13). Is 72 greater than or equal to b?
True
Suppose 4*l = -5*o - 778, 67*o - 62*o - 10 = 0. Is -198 at least as big as l?
False
Let d be -9 + 4 - 7/(-7). Is -6 greater than d?
False
Let t = 939 - 704. Is 233 >= t?
False
Suppose -i + 5*x = -55, -4*i + 58 = -2*i + 3*x. Let l be (-4)/(-8) + (-47)/2. Let d = i + l. Are 11 and d equal?
False
Let i(x) = x**2 + 14*x + 37. Let r be i(-9). Which is bigger: r or -7?
-7
Let j be (-2)/24 - 4605/22500. Which is bigger: 0 or j?
0
Suppose 3*q + 7 = 2*q. Suppose 3*b = 4*b + 8. Let d be b - ((-15)/3 + 3). Is q at most as big as d?
True
Suppose -18*j = -599 + 23. Let h be 0*(3/(-4) - 8/j). Which is smaller: h or -5/6?
-5/6
Let j = -35.96 - -35.9. Is j bigger than 4?
False
Let t = -1826 + 1823. Suppose 0*q - 2*q + 4 = 0, 0 = -2*p - 3*q. Is p <= t?
True
Let v = -1087/1890 - -1/270. Suppose -3*j + 17 = -2*j + 2*a, -17 = -j - 4*a. Let h = j - 17. Is h less than or equal to v?
False
Let l = -50.3 + 50.2. Let d = -9.81 - 0.19. Which is smaller: d or l?
d
Let a be 3/12 + 10/(-8). Is -166 < a?
True
Let y = 2953 + -2966. Suppose 0 = -3*h - h + 112. Let b = h - 41. Are y and b non-equal?
False
Let x = -26463056/19 - -39166858137/28120. Let g = x - 273/5. Let p = g - 69/1480. Is -1 smaller than p?
True
Let i be (28/26 - 1)*(5 - -1). Suppose t = -2*t + 3. Which is greater: t or i?
t
Let w(d) = 2*d**2 + 8*d + 4. Let s be w(-10). Let a = 2358/19 - s. Which is smaller: a or -1?
-1
Let b = -5 + 11. Let x(m) = m - 7. Let u be x(b). Let d be 4 + -4 - (-1 + u). Is d at most 2?
True
Let b be 3/(-6)*-8 - -3. Let c(a) = 9*a**2 + 6*a - 5. Let q(y) = 10*y**2 + 7*y - 6. Let w(z) = b*c(z) - 6*q(z). Let l be w(2). Is 12 smaller than l?
True
Let g = 1668 + -1729. Which is smaller: -60 or g?
g
Suppose -3*m + 11 = 4*j + 3, 3*m + 32 = 4*j. Which is smaller: 6 or j?
j
Let g(l) = l**3 + 3*l**2 - 7*l - 7. Let u be g(5). Which is smaller: 159 or u?
u
Let k be 1*(-1 - (0 + -1)). Let s be 1/(-1 + -3 + 3). Let l be (s - (-380)/94) + -3. Which is greater: l or k?
l
Let x = -10.74 - -10.64. Do x and -0.0554 have different values?
True
Let z = -312 + 21839/70. Let h = 801/280 - z. Which is smaller: h or 3?
h
Let d = -764 - -44311/58. Is d less than 1?
True
Let s be 3 + 0 + 1 + -3. Let x = -12 - -14. Suppose -5*g + 3*m = 18, x*m + 3*m + 7 = -4*g. Which is bigger: s or g?
s
Let l(d) = d**3 + 5*d**2 - 2*d - 6. Let i be l(-5). Suppose 6*c + 40 - 58 = 0. Which is greater: c or i?
i
Let u = 63.8 - -31.2. Does u = -0.2?
False
Let f be (-1 - (3 + -3))*216/(-26). Which is bigger: 8 or f?
f
Let i = -0.8 + 0.9. Let a = i - -0.9. Let r = 0.31 - -0.69. Is a greater than or equal to r?
True
Let m = -68 - -37. Let q = m - -32. Which is bigger: 36 or q?
36
Let g be (-68)/153 - 2/9. Is g > -0.037?
False
Let a(j) be the third derivative of j**4/24 + j**3/2 + 9*j**2. 