 k(d) = -2*d**3 + d**2 - 3*d - 4. Let a be k(-1). Suppose -6*g = -5*l - 2*g, g = -4*l. Do a and l have different values?
True
Suppose -3*k + 594 = -3*g, 0 = 6*g - 11*g - 5*k - 960. Is -196 > g?
False
Suppose 472 = q + 3*q. Let u = 209 - q. Let y = 361/4 - u. Which is smaller: y or -2?
-2
Suppose 0 = 7*y + 1080 - 1087. Suppose 0 = -4*d, -2 = -j - j - 3*d. Let f be (j - 2/(-3)) + -2. Which is smaller: y or f?
f
Let z(p) = p**2 + 17*p - 2. Let u be z(-10). Which is smaller: -73 or u?
-73
Suppose 14*n - 40 = 18*n. Let f(y) = y**3 + 11*y**2 + 10*y - 1. Let q be f(n). Which is greater: -2 or q?
q
Let f = -214 + 120. Let k = f + 93.8. Is 23 less than k?
False
Let i be (-48)/30 + 2 - 35/(-1). Is i smaller than 36?
True
Let h = -83.3 - -87. Let u = h + 1.3. Let q = u + 11. Do 2/3 and q have the same value?
False
Let n be 1/(-2) - (-3)/(-2). Let x be 1/(-21) - n/(-7). Let q = 46719 + -46715. Is x smaller than q?
True
Let f(s) = s**2 - s + 1. Let o(t) = -2*t**2 - 13*t - 20. Let n(m) = f(m) + o(m). Let q be n(-8). Which is bigger: q or 30?
30
Let t(i) = -7*i**3 - 8*i + 11. Let x be t(2). Is x greater than or equal to -184/3?
True
Let d(c) be the second derivative of 2*c**3/3 + 9*c**2/2 + 9*c. Let x be d(0). Let u be (8/36)/(4/x). Which is greater: 6 or u?
6
Let v(g) = -g**3 + 6*g**2 + 8*g - 9. Let k be v(5). Suppose k - 8 = -4*s. Which is bigger: -11 or s?
-11
Let i be 8/(-1)*(-5)/(-2). Let s = 6 - i. Which is smaller: s or 27?
s
Let b = 259 + -262.38. Let d = b + 0.38. Which is bigger: 6/7 or d?
6/7
Let b be 4 + 70 - (-1 - -5). Suppose -5*k = 2*k + b. Which is smaller: -17/2 or k?
k
Suppose -2*v + 3*j = 8, 0 = -2*v - 10*j + 5*j + 8. Let d be (8/1308)/((-2)/6). Are v and d unequal?
True
Let m(d) be the third derivative of d**6/120 - d**5/60 + d**4/24 + 35*d**3/3 - 5*d**2. Let t be m(0). Let a be ((-6)/7)/((-40)/t). Which is smaller: a or 3?
a
Let c = -3193/5 - -639. Are -4.23 and c nonequal?
True
Suppose 2*z + 49 = 7. Which is smaller: z or -20?
z
Let k be -2 - 1/((-1)/5). Suppose 6*r - 90 + 78 = 0. Suppose o - k*o - r*m = -30, -2*o - 4*m + 28 = 0. Is 16 greater than or equal to o?
True
Let r = -1129/63 + 160/9. Which is smaller: 4 or r?
r
Let i = 2 + 0. Suppose 25 = 5*c - b - 18, -2*b = c - i. Let k = c - 7. Is k at most as big as -1/18?
False
Suppose -29*v - 60 = 143. Which is bigger: v or 32?
32
Suppose 17*r - 65 = 105. Suppose -3 = p + b - 11, 3*p - 12 = b. Suppose -p*j - d - 21 = -r*j, -d + 24 = 4*j. Which is smaller: j or 1?
1
Suppose 0 = 7*k - 20 + 27. Let t be (-44)/9 - k/(-9). Which is smaller: -16/3 or t?
-16/3
Suppose -4*y + 5*y - 33 = -3*l, -3*y + 59 = 5*l. Suppose -5*u - l = -5*x, 3*u - 4*u - 5 = 0. Let n be ((-102)/(-33))/1 + x. Is n less than or equal to 0?
False
Suppose -7*h + 922 = -5*h. Let i = h + -65003/141. Which is bigger: 0 or i?
0
Let j be 6/(-16) + (-216)/(-576). Which is greater: j or -9/37?
j
Suppose -3*k - 7 = 2*u, -8*u - 20 = -4*u. Let t = 3 - 0. Suppose t*s - 11 = 10. Is k less than s?
True
Let a = 1687 + -1679. Which is greater: a or -2/27?
a
Let b = -177 + 174. Let i be 12/(-4) + (-4 - -2). Which is smaller: i or b?
i
Let h = -466 - -468. Is -29 at most as big as h?
True
Let r(m) = m**3 - m**2. Let x = -12 + 14. Suppose g + g = x. Let v be r(g). Is -3/8 <= v?
True
Let h be (-42)/(-98) + (-120)/(-14). Let t = -17 + h. Let o be (-3)/2*(-90)/(-27). Which is smaller: t or o?
t
Let j be 2565/150 - 1/10. Is 0.08 less than j?
True
Let u = 0 - 1. Let a = -30352529/110 + 275934. Let r = -21/10 + a. Is u greater than r?
False
Let j be ((-3)/((-45)/(-78)))/((-48)/30). Which is smaller: 2 or j?
2
Let s = 6337 + -3238206/511. Is s at most as big as -1?
False
Suppose 4*s = 5*u + 5 + 4, -4 = u - 3*s. Let l be u + 2 + 1 + 0. Suppose l = -0*r - 3*r + b, -2*r = 3*b - 6. Which is greater: 4/5 or r?
4/5
Let w(p) = 2*p + 6. Let u be w(-3). Let k be u/(-1*(0 + 2)). Suppose -3 = 3*h - k. Is -1/5 > h?
True
Let n be ((-6)/(-9))/(150/(-9)). Let j = 30 - 29. Which is smaller: n or j?
n
Let m be (-59)/(-35) - 6/4. Let x = -1/10 - m. Is -2/19 bigger than x?
True
Let h(s) = -7*s - 7 + 3*s + 6*s - s. Let q be h(5). Let c be 8/(-36) - q/3. Which is smaller: c or -0.1?
-0.1
Let g be (-554)/6 - (-13 - -6). Is g less than -84?
True
Let g be (5 - 147/28)/((-2)/60). Is -6 at least as big as g?
False
Let v be (-420102)/806 + 4/26. Let g = v - -521. Let i be (2/(-4))/(2/4). Which is smaller: g or i?
i
Suppose -5*j + 353 + 87 = -5*z, -376 = 4*z + 4*j. Is z not equal to -91?
False
Let v(y) = -16*y + 1. Let z be v(0). Which is smaller: z or 4/103?
4/103
Suppose 9*u + 504 = 3*u. Let o = u - -418/5. Do -2/5 and o have the same value?
True
Let n = -12 + 12.26. Let o = n - 0.2. Let v = 4.06 - o. Which is bigger: v or 0.1?
v
Let x = -79 + 47.6. Let c = 28 + x. Let j = c - -2.6. Are j and 1 non-equal?
True
Suppose -2*y - 3*y = -50. Let z = -174 - -176. Is y bigger than z?
True
Let f(t) = -10*t - 5. Let g be f(-2). Suppose -2*k + 7*k - g = 0, -3*k + 14 = 5*y. Let x(d) = -d**2 - 5*d + 8. Let s be x(-6). Which is greater: y or s?
s
Let b be (0 - 1)*(9 + 1 - 11). Which is bigger: -8/121 or b?
b
Suppose 5*g = 2*g. Let l = g - -14. Suppose 9 = -2*t + 39. Which is bigger: l or t?
t
Let i = 89.8 + -90. Let p = -7 + 8.1. Let z = p + 4.9. Which is smaller: i or z?
i
Suppose -4*x - 5*f - 21 = 0, 0 = x + f + 5 - 1. Suppose -4*q + 3 = 5*c - 7, q + 5 = -5*c. Do x and c have the same value?
False
Suppose 4*q + 3*p = -44, -1 + 56 = -5*q + 5*p. Let n be (-22)/30 + q/(-33). Which is smaller: -1/26 or n?
n
Let z = 15 + -16. Let p be (2/(-3))/(z/30). Suppose -2*m = -3*o - p, -m - 4*o - 20 = -3*m. Which is smaller: m or 9?
9
Suppose 35 - 11 = 6*t. Let h be (25/(-10))/(t/8). Let p be (-1 + 2)/(h/10). Which is greater: p or -3?
p
Let z be (2 - 2 - -1)*(-300)/(-15). Suppose 2*x - 23 = 15. Let i = z - x. Are i and 6/5 nonequal?
True
Suppose m = -7*m - 520. Which is smaller: -332/5 or m?
-332/5
Let w be 15/(-27) - (-4)/(-2). Is -2 <= w?
False
Let n be (-1)/6 - 305/(-30). Let z be (-63)/322*4/6. Let h = z + -37/69. Which is bigger: h or n?
n
Suppose 28*g - 27*g = 8. Let z be 52/g*(1 - 3)*-1. Is 13 > z?
False
Let q be -12*(-2 - (-13)/7). Let v(r) = -6*r + 5. Let b be v(0). Suppose -3*f - b*p = -18, 0 = 4*f - 3*p - 0*p + 5. Which is smaller: q or f?
f
Let t = 455 + -455. Which is greater: t or 0.648?
0.648
Let x = -15 - -18. Suppose 0 = x*a + 3*a. Which is greater: 0.08 or a?
0.08
Let c = 660.3 + -665. Is c greater than or equal to -1/4?
False
Let f be (400/14)/(132/84). Are f and 18 unequal?
True
Suppose -2*m = 3*s - m - 2, -m = 2*s. Let u(y) = y + 7. Let g be u(-7). Suppose 0 = 2*b - g*b - 4. Is b greater than s?
False
Let p = 1069 - 1070.1. Let r = -4 - -6. Which is greater: p or r?
r
Let o be 1*((0 + -2)/1 - 251). Are -254 and o nonequal?
True
Let s be -2 + 2 + -3 + 0. Let w = 482 - 480. Is s greater than or equal to w?
False
Let m = 2.2 - 2. Let h = -27 - -24.1. Let c = h + 3.1. Is c >= m?
True
Let p = -50.9 + 50.8. Which is smaller: p or 1/4?
p
Let p(b) = -b**2 - 9*b - 9. Let z be p(-7). Suppose -z*n = 25 - 80. Let s = n - 12. Which is smaller: 3/7 or s?
s
Let l = -0.29 + 0.3. Let s(j) = 2*j + 86. Let n be s(-43). Which is smaller: n or l?
n
Let d = -1 - -2. Suppose 9*p - 49 = 275. Let o be d + p/(0 - -3). Is o less than 13?
False
Let l(u) = -2*u - 8. Let s be l(4). Let q be (-8)/s - (-86)/(-4). Is q smaller than -22?
False
Let r be ((-135)/25)/(72/(-1920)). Is r > 0.03?
True
Suppose -11*a - o + 632 = -16*a, 2*a + 3*o + 246 = 0. Is -126 at least as big as a?
True
Let l = 318.2 + -319. Are 16 and l equal?
False
Let q(r) = -r**3 - 6*r**2 - 6*r - 4. Let t be q(-5). Let s = -9.3 - 0.7. Let v = 9 + s. Is t != v?
True
Let m = 98 - 100. Is m at most as big as -44/65?
True
Suppose -29 = 3*t - 5*f, 2*f + 1 = -2*t + 3. Let x = -8 - t. Let g(l) = l**3 - 7*l**2 - l + 1. Let u be g(7). Which is smaller: x or u?
u
Suppose 2*o - o - 5 = 0, -f = -3*o - 10. Suppose 41*g - 18*g = f*g. Which is bigger: 4 or g?
4
Let m(n) = 33 + 7*n - 73 + 32 + n**2. Let v(z) = -z - 8. Let u be v(0). Let o be m(u). Is o bigger than -1?
True
Suppose 4*j + 2 = -o, -4 = -5*o - 14. Is j < 2/289?
True
Let r be ((-11)/(330/(-10)))/((-226)/(-3)). Which is greater: -1 or r?
r
Suppose 0 = 2*w + 3*w - 125. Suppose 5*i + w = 180. Is i 