k**2 - 13*k**2 - k**3. Let t be n(0). Which is bigger: 6 or t?
t
Suppose 5*a = 5*d + 2110, -22*a = -d - 17*a - 410. Is -424 < d?
False
Let r be ((-35)/30)/(-1) + 2. Which is bigger: r or 3?
r
Let f = -2/5427 + -5417/27135. Is f at least -6?
True
Let f be -4 + (-4 - 56484/(-7062)). Is f greater than or equal to -1?
True
Let q = -5 + 3. Let i = 47 - 52. Let l = q - i. Is l not equal to 4?
True
Let q = 1.1 - 1.9. Let i = 9.4 + -11.4. Which is greater: i or q?
q
Let o = 63 + -64. Let j be 16 - (4/o - -3). Is j equal to 17?
True
Let d be (-2)/(-13) - (768/(-78))/1. Let x = d - 43. Is -33 smaller than x?
False
Let t(a) be the second derivative of -a**5/20 + 5*a**4/4 - 13*a**3/6 - 6*a**2 - a. Suppose -146 + 174 = 2*m. Let s be t(m). Is 1 != s?
True
Let p = 9 + -9. Let u be p/((-2)/((-4)/4)). Let z = 7 + -15/2. Is u greater than z?
True
Let z be ((-2)/(4/(-2)))/15. Let s(o) = o**3 - o - 1. Let f be s(1). Which is smaller: z or f?
f
Let h be 60/12 - 8 - 3. Which is bigger: -4 or h?
-4
Let l be -3*(-11)/(-12)*(-8 + -1). Which is bigger: l or 26?
26
Let m be ((-48)/522)/((-14)/(-3)). Which is greater: 1 or m?
1
Suppose 1 = 2*a + a - r, 4*a + 1 = -r. Suppose a = 3*y + 3 - 6. Which is smaller: y or -2/67?
-2/67
Suppose 0 = -d - 0*d + 3*v + 21, d - 1 = -2*v. Let w = 9 - d. Which is greater: 7/6 or w?
7/6
Let b = -92 + 92.051. Let t = -0.049 - b. Is -23 >= t?
False
Let x be 4 - (-344)/208*-2. Let t be ((-1)/(-14))/(3/(-12)). Do x and t have different values?
True
Let j = 52562/45 + -1168. Suppose 0 = 5*g - 2*k - 10, k = 3*g + 4*k + 15. Is g != j?
True
Let p(h) = h**2 - 6*h - 2. Let g be p(4). Let u(r) = r**2 + 12*r + 24. Let f be u(g). Let m be (-6 - (-5 + 4)) + f. Which is greater: -2 or m?
m
Suppose 3*u = -3, -2*a - u = 21 - 22. Does -3/37 = a?
False
Let d = -8 + 9. Which is smaller: 9 or d?
d
Let w be (-45)/(-105) - (-1249)/(-2898). Which is bigger: w or 0?
0
Suppose 0 = -4*s, -3*v + 48 = -4*s - s. Suppose -4*y - v = 4*g, 2*y = 4*g - g - 13. Is 1/6 at most as big as g?
True
Suppose 10*o - 3*o - 28 = 0. Suppose 0 = -4*z + 8*z + o. Is z at least as big as 2?
False
Suppose 24*a - 22*a = 4, -4*w = 2*a + 32. Which is smaller: 10 or w?
w
Let s(n) = 34*n**2 - 5. Let y be s(-1). Which is smaller: y or 17?
17
Suppose 37*w + 168 + 54 = 0. Which is smaller: w or -86/13?
-86/13
Let p(h) = 7*h**2 - 1. Let w = -11 + 10. Let x be p(w). Let d be (0 - 1)/(16/x). Which is bigger: 0 or d?
0
Let k = -201 - -105. Let i be (2 - (-32)/(-18))*-431. Let b = i - k. Which is smaller: b or 0?
0
Suppose 3*i = -3*h - 15, 0 = -i - 13*h + 10*h - 1. Is 1 smaller than i?
False
Suppose 0 = 10*z + 87 + 83. Suppose 2*o - 4*l = -44, 2*o - 89 = 7*o - 3*l. Which is bigger: o or z?
o
Let v be 7 + -7 + (-14)/35. Which is smaller: v or -0.003?
v
Suppose -3*b + 591 - 165 = h, 0 = -3*h - 5*b + 1290. Which is bigger: 433 or h?
h
Let f be 4*42/16*(-4)/(-186). Which is bigger: f or 0?
f
Suppose 5*v - 2*v - 3*k + 1194 = 0, -k = -4*v - 1595. Let p be 3/(-12) + v/(-12). Is p less than 33?
False
Let w = 23191616 + -160919779/7. Let a = w - 202555. Let b = 522 - a. Is b >= 0?
True
Suppose 3*j - 4*h = -j - 112, -28 = j + 4*h. Suppose 76 = -4*q + 4. Let w = j - q. Are w and -17/2 nonequal?
True
Suppose -4*a = -9*a + 2*r - 33, -5*r = -4*a - 23. Which is smaller: a or -13?
-13
Suppose -l - 2*l - 3*k = 330, 4*l + 430 = -2*k. Which is smaller: -104 or l?
l
Let m be (1/2)/(2 - (-384)/18). Which is smaller: 0 or m?
0
Let t = -0.007 + 21.007. Let z be 5 + (5/10 + -1)*-6. Suppose -33*u - z = -25*u. Is u greater than t?
False
Let h be 285/(-6)*(3 + (-68)/20). Are 20 and h unequal?
True
Let l = -25 - -51. Let f(n) = 2*n + 3. Let w = 11 + 0. Let v be f(w). Which is smaller: l or v?
v
Let k = -1.2 - -0.2. Let a = -0.032 + 0.029. Let s = -1.997 + a. Are k and s equal?
False
Let o = -0.2 + 0. Suppose -11 = p - 60. Let m = 243/5 - p. Are m and o unequal?
True
Let t = 7.82 + -8. Let m = -10.82 + t. Let p = m + 11. Which is smaller: 7 or p?
p
Let d be (-1620)/(-210)*(-1)/4. Which is greater: -1 or d?
-1
Suppose -b - 6 = -4*b. Let z be b + 2*(-88)/90. Is -1 at most as big as z?
True
Suppose -m - 39 = 2*m. Suppose h = -4*h - 60. Which is smaller: m or h?
m
Let z be 6*1*5/2. Let j be 81/105 + (-3)/z. Let a = 6 - 6. Which is smaller: j or a?
a
Let d(n) = n**3 - 11*n**2 + 11*n - 7. Let k be d(10). Suppose -5*g - k*x + 6 = 0, 4*x - 2*x = -5*g + 4. Let b be 8/(-22)*(-2)/8. Is g less than or equal to b?
True
Suppose 3795 + 393 = 2*v. Let u be (-3)/68*v/126. Let p = -2/119 + u. Which is bigger: 0 or p?
0
Let b be -2*(-5 + (-234)/(-45)). Which is smaller: b or 6.07?
b
Let p be ((-12)/(-9) - 2)*3. Let v be (p - (-4)/6)*-3. Suppose -15 = -t - 0*t + 5*b, -v*t - 5*b - 40 = 0. Is -4 < t?
False
Let n = 5 + -5.02. Suppose -17 = 5*j - h - 13, 2*h = 2*j. Which is smaller: j or n?
j
Suppose 5*x - 204 = -12*x. Let s be -3 + x/3 + 31*-1. Which is greater: s or -32?
s
Let l = -9 + 4. Let s = 1 + l. Let b = s - -8. Is 1 at most as big as b?
True
Let w be (24/10 - 0) + 8/(-20). Suppose -2*a = -3*n + 19, 4*a + 27 = -3*n - w*n. Which is bigger: 2/5 or a?
2/5
Let m be 20/6 - (-1)/(-3). Which is bigger: m or 3/31?
m
Let g = 0.208 + 0.792. Which is smaller: 401 or g?
g
Suppose -g - 2*x = -9, 6*x - x = -5*g + 25. Let t be -2*(g*2 + (-30)/20). Is t bigger than 1/36?
False
Let k = -385 - -372. Which is smaller: k or -3/29?
k
Let n = -130 + 125. Is -33/7 at most as big as n?
False
Let a be 2/8 + 6898/(-72). Let i = -96 - a. Let b(q) = -34*q - 579. Let z be b(-17). Which is smaller: z or i?
z
Suppose -5 = -5*n - 0*n. Is 9/7 bigger than n?
True
Let x(f) = -f**2 + 13*f - 22. Let c be x(15). Let d be 21*(4 - c/(-12)). Is 3 smaller than d?
False
Let g be 4/3*(-1)/4. Suppose 3*z = -2*p - 13, -18*z + 13 = -16*z - 3*p. Is z <= g?
True
Let o be (-54)/102*(-8)/(-6). Let a = -65/68 - o. Does a = 0.12?
False
Let d = 83 + -83. Let y(h) = -h**2 - 3*h + 3. Let v be y(-5). Which is smaller: v or d?
v
Suppose 6*j + 1454 = 692. Do j and -128 have the same value?
False
Suppose -d = -0*d. Let n be d - ((-4377)/1617 + 3). Let i = 1/49 + n. Which is smaller: i or 0?
i
Let i be 1/((-2)/2) - 2. Let c be 8/(-24) + (-1)/(-3). Suppose c = 11*p - 7 + 51. Which is bigger: i or p?
i
Let u = 3 + -2. Let t be (-380)/(-1218) + (-2)/3. Let p = 2/29 + t. Is p > u?
False
Let r = 2889120/347 + -8326. Which is greater: 1 or r?
1
Let w = -317 + 314. Is w >= 3/16?
False
Let s be 6*1 - (-120)/(-18). Is s greater than 45?
False
Let s be 0 + 1083/60 - 12/(-16). Which is smaller: 18 or s?
18
Suppose z = 4*z - 6. Let w(g) = g**3 - 2*g**2 + 2*g + 1. Let f be w(z). Suppose -2*h - f*i + 15 = h, 2*i = -4*h + 6. Which is smaller: -5/8 or h?
-5/8
Let s be 918 - ((-2)/(-13) + (-32)/208). Are 917 and s equal?
False
Let m(h) = h**2 - 9*h + 7. Let n be m(6). Suppose -2*s - 15 = 3*s, 0 = 5*c + 3*s - 31. Suppose 92 + c = -10*r. Is n >= r?
False
Let g = -3.6 - 11.4. Let l = g + 27. Let n = l + -16. Which is smaller: n or 1/2?
n
Let s = 1503 + -1505. Suppose -5*o - 11 = 3*x, -4*o + 3*o = -3*x + 13. Let n be -2 + (36/11)/x. Which is bigger: s or n?
n
Suppose -3*h = -0 - 114. Let k be (-7 + 36/6)/(1/h). Do -36 and k have the same value?
False
Let k = -8 - -11. Suppose -3 = -k*s + 6*s. Let y(h) = -2*h + 15. Let x be y(6). Which is smaller: x or s?
s
Suppose -5 = 8*f + 131. Which is smaller: f or -29?
-29
Suppose 0 = -2*h - 0*h - 2*g - 8, 15 = -5*h - 4*g. Is 1/25 equal to h?
False
Let p = -30 + 96. Let t be (0 + 6/14)/(p/4). Which is smaller: t or 1?
t
Suppose 2*b = -7*f + 4*f + 54, -b = -f - 22. Let y be (-4)/(b/(-21))*-6. Which is smaller: -23 or y?
-23
Let o = -58 - -58. Let q be o + 2*(-3)/27. Which is smaller: q or 0?
q
Let j = 466 - 231. Is j greater than -1?
True
Let a be -7 - (40/15 - -1). Is -12 at least a?
False
Suppose 0 = -3*l - 7*f + 12*f - 26, -l + 4*f = 18. Let j be 32/792 + l/(-11). Is j equal to 1?
False
Let q be 9101448/(-231)*5/45. Let j = q - -4378. Let b = j - 8/21. Is 4/7 bigger than b?
True
Let q = -2802/19 + 2709572/18373. Is q <= 0?
False
Suppose -16 + 2 = -d + k, -2*k = -5*d + 79. Is d at least as big as 188/11?
False
Let x = -0.93 - -0.75. Let a = 0.1 + 0.01. Let r = a + x. Is r greater than -2/9?
True
Let o = -2329265168/9135 - -2294840/9. Let n = -2/8873 - 16876/3859755. Let k = n + o. A