k) = -k**3 - 12*k**2 - 12*k - 12. Let g be r(-11). Let w(d) = 2*d**2 + d - 1. Let p be w(g). Let f(q) = q. Let s be f(p). Which is bigger: 1/33 or s?
1/33
Let k be -10*(68/30 + -2). Let i = -3592 - -3593. Do k and i have the same value?
False
Let s = 5 - 26/5. Suppose -15*r + 51 + 9 = 0. Suppose -8*z + r*z = -4. Is s <= z?
True
Let f = -668 - -668.02. Which is smaller: -0.17 or f?
-0.17
Let z = 0 - -20. Let c = -18 + z. Suppose -c*h = 3*h. Is h at least 0?
True
Let t = -911/4 + 7279/32. Let r = -94868 + 33393571/352. Let j = r + t. Which is smaller: j or 0?
j
Let k = 0.071 + -28.071. Let q = -28.06 - k. Is q at least as big as 1/3?
False
Let c = -31 - -37. Let k = 10 - c. Suppose 2*b + 2*b = -k. Which is bigger: -2 or b?
b
Let g(i) = -3*i + 9. Let d be g(-7). Suppose 4*l - 2*o = -d, 5*o - 6 = l + 3*o. Let p be 6/2 - (-32)/l. Is p >= -1?
True
Let f = 2 + -2. Suppose o = 5 - 1. Suppose -h + 5*h - o = 0. Which is smaller: h or f?
f
Let m be 3/18 - (-69)/18. Suppose 4 = -k + 5*h, -m*k + h + 23 = -37. Let t be 116/(-154) + k/88. Is t greater than or equal to 0?
False
Suppose 25 = 3*z - 17. Suppose -i - i = -z. Let n be ((-21)/(-18))/i*-4. Which is smaller: 2/5 or n?
n
Let n be (-2)/(-11) - (-20 - 2049/(-99)). Is -1 greater than n?
False
Let r = -885 + 886. Which is smaller: r or -2/121?
-2/121
Let s = 21.63 - 19.7. Let b = s + 0.07. Let q = b - -2. Is 0 less than or equal to q?
True
Let c = 1019/6 + -170. Which is greater: -11 or c?
c
Suppose -6 = 4*u + n + 23, 3 = n. Suppose -a - 14 = 3*k, 3*a = -2*k + k - 26. Is a smaller than u?
False
Let i be ((-170)/(-35))/(4/14). Let x(p) = p**2 - 4*p - 2. Let s be x(-3). Which is greater: s or i?
s
Let z = -51507/50 + 2059/2. Are -1 and z nonequal?
True
Let i = -29 - -24. Let b(h) = h**2 - 12*h + 14. Let j = 4 + 6. Let l be b(j). Is l < i?
True
Let s be ((-1)/(-670))/((-2)/144). Let z = s + -84647/1005. Let v = z - -85. Which is greater: 2 or v?
2
Let c be (1 + -2544)*(-4)/7140. Let z = 3012 - 768061/255. Let x = z - c. Which is bigger: x or -2?
x
Let g = 23.08 + -23. Let o = 0.12 + g. Which is greater: 2/7 or o?
2/7
Suppose 0 = 16*c - 29*c - 13, c = 5*t - 16. Let b = -11 - -10.89. Which is bigger: b or t?
t
Suppose 0 = 4*g + m - 2181, g - 2*g + 529 = -3*m. Let d be 0/(-1) + g/96. Which is smaller: 7 or d?
d
Let k = 1.53 - 9.53. Let p = 19 - 8. Let d = k + p. Are d and -0.1 non-equal?
True
Let p = 43.4 - -146.6. Is -0.1 at least p?
False
Let c(u) = -28*u**2 - 3*u + 3. Let d be c(1). Let g = 12 + d. Let h = g + 17. Are h and 1/5 equal?
False
Suppose -u - u - 50 = 0. Suppose i - 46 = 2*j, -3*j + 3*i - 70 = 2*i. Which is greater: u or j?
j
Let k = 87 + -84. Suppose 5*g - q + 272 = 0, k*q + q = 5*g + 263. Which is bigger: -54 or g?
-54
Let j(l) = -5*l**2 + 16*l - 23. Let g be j(2). Does g = -19?
False
Let z be 6*((-10)/(-8))/(1/18). Let a be (-1)/(-1) - 7/(987/z). Which is smaller: -0.1 or a?
-0.1
Let y be 1/(-1 + 0 - 0/(-14)). Let m = 473/50 - 47/5. Let z = m - -1/50. Do y and z have different values?
True
Suppose -18 = -h + 4*h. Let n be (-3816)/(-66) - h/33. Let b be (-62)/n - 1/(-1). Which is greater: b or 1?
1
Let j(o) = 7*o - 27. Suppose -v - 5*w = 2 - 25, 0 = -2*v + 3*w - 6. Let s(i) = -4*i + 13. Let x(f) = v*j(f) + 5*s(f). Let p be x(15). Are 0 and p unequal?
True
Suppose 3*r = -5*o - 10, 4 = -6*r + r - 2*o. Let h be 2*(2/((-320)/(-305)) + -2). Is r greater than or equal to h?
True
Let q be -1 + 18/(-14)*1. Suppose -p - 4*w - 3 = -2*w, 1 = -w. Which is bigger: q or p?
p
Let s(f) = 3*f**3 + f**2 - 5. Let t be s(-3). Which is bigger: -383/5 or t?
-383/5
Let b = -3.17 + 2.27. Which is smaller: -0.02 or b?
b
Let i = -31.3 - -32.3. Which is bigger: i or -0.379?
i
Let l(k) be the third derivative of 0 + 0*k - 4*k**2 + 5/12*k**4 + 4/3*k**3 + 1/120*k**6 + 1/6*k**5. Let o be l(-9). Is 1 at least o?
True
Let x = -0.0493 - 0.9507. Let g = -1982/11 + 180. Are x and g equal?
False
Let k be (5/(-370))/(4/64*-4). Which is smaller: k or 0?
0
Suppose -p + 2*p + 15 = 0. Let v be -59*4/(-16)*-1. Let l = p - v. Is l bigger than 0?
False
Let z be (-3)/(-4) + (-3)/(-12). Let t be ((-1)/(-5))/((-92)/(-1380)). Which is greater: z or t?
t
Let a(m) = -m**3 - 3*m**2 + 6*m - 1. Let z be a(-4). Let g be 2/6 + (-3)/z. Let u = -5 + 7. Which is greater: g or u?
u
Let a(l) = -3*l**2 - 12*l - 26. Let z be a(-5). Which is bigger: z or -39?
-39
Let w be (-310)/(-186)*78/10. Which is smaller: 20 or w?
w
Let f be -3 + 1 - -4 - 0/(-8). Suppose -3*y - 17 = -2*k + 6*k, 0 = -2*y - f*k - 8. Let o(q) = -4*q**3 - 1. Let t be o(-1). Which is smaller: t or y?
y
Let t be (0 + -5)*(-24)/10. Let s(o) = -5*o + 9. Let a be s(6). Let x be (-50)/t - (-7)/a. Which is smaller: -6 or x?
-6
Let z = 23 - 29. Let j be (-5)/((-15)/z) - -16. Which is bigger: j or 12?
j
Let f be 4 + -3 - 1/1. Let c be 4/12 - 44/(-12). Let o be 2 - (128/15)/c. Is o smaller than f?
True
Suppose 46*r - 135 = 37*r. Let q(j) = j**2 + j + 2. Let y be q(-4). Which is smaller: r or y?
y
Let i = -3.88 + 4.58. Which is smaller: -18 or i?
-18
Let j = 678 - 666. Is j greater than -30?
True
Let q be 66/(-154) + (-114)/(-21). Let s(r) = r**3 + 9*r**2 + 9*r + 10. Let x be s(-8). Suppose 4*k + x*d = 9 + 19, 5*k = -4*d + 38. Is k < q?
False
Let a = 2 - 1.78. Let m = 2.22 - a. Is -8 <= m?
True
Suppose -13*f - 118 = -15*f. Let g = -64 + f. Do -26/5 and g have the same value?
False
Let i be 1 - 1 - 3 - -2. Suppose -11*v = -12*v - 144. Let t be -5 + (-1443)/v - 5. Is i bigger than t?
False
Let k = -27 - -7. Let d = 24 - k. Let f be d/(-32) + 1/1. Does 1 = f?
False
Suppose h = -4*i - 147, 0 = 4*i - 12*h + 10*h + 150. Is i <= -32?
True
Let s be 5/(-15)*-35 - -5. Is 17 not equal to s?
True
Let s = 62246621/243230260 - 1553/14980. Let c = s - -2/1249. Suppose -5*n - 9 = -4*d, -2*d + 6 = -5*n - 1. Is c at most as big as d?
True
Suppose 10*t - 20 = 14*t. Is t equal to -14?
False
Let q(u) = -2*u**3 + 17*u**2 - 11*u + 12. Let r be q(8). Let p = 17 + r. Suppose -4*v = 3*f - 6, -2*f = -f + 5*v - 2. Are p and f unequal?
True
Let b = -32/45 + 629/990. Is b at least as big as 1?
False
Let o(b) = -3*b + 18. Let k be o(5). Suppose 2*n - k + 7 = 0. Which is greater: 1 or n?
1
Let x be 81*(2/6 + 0). Let h(w) = 4*w - 92. Let q be h(30). Is x at most q?
True
Suppose 5*p - 2*l + 94 = -0*p, -96 = 5*p - 3*l. Suppose u + 22 = -k, -4*k - 108 = -3*u + 8*u. Does u = p?
False
Let w be (18/12)/(1/2). Let q(h) = 4*h**2 + 8*h - 2 - 9*h - h**2 + 0*h**2 + 2*h**w. Let r be q(-2). Is -4 <= r?
True
Let r = -5 - -11. Let x be (-2)/(-30)*46 - 42/(-18). Is r equal to x?
False
Suppose 0 = 32*h - 33*h + 13. Do -0.19 and h have the same value?
False
Suppose 249 = 6*k - 237. Is k equal to 82?
False
Let f(d) = 76*d + 70. Let o be f(-4). Is o smaller than -235?
False
Let m = 279 + -282. Let i = 4 - 3. Let w = 1.02 - i. Which is bigger: w or m?
w
Let h be (-5 + 3)*1 - -2. Suppose -20 = -h*r + 4*r. Which is smaller: -4 or r?
r
Let c = -0.26 - -0.21. Which is bigger: c or -0.062?
c
Let p(l) = l**2 - l - 19. Let t be p(-7). Suppose t*v - 44*v = 21. Suppose b - 3*b - 6 = 0. Are v and b nonequal?
False
Let h = -111/2 - -56. Let q = -5 + 4.9. Let k = q - -0.4. Which is bigger: h or k?
h
Let w be 16/252*(-3)/(-2). Let o(y) be the second derivative of -y**4/12 + 5*y**3/6 + 15*y**2/2 - 6*y. Let d be o(7). Which is bigger: d or w?
d
Let g = 17989 + -17912. Let f(o) = 4*o**2 + 6*o + 6. Let w be f(-5). Is w less than g?
True
Let k = -55.23 - -55. Let g = k - -0.37. Is g greater than or equal to 1/4?
False
Let f = -1.042 + 2.042. Is f less than or equal to 87?
True
Let d be (3 - 78/18)*(-1 - 5). Let y be 2 - (d/20 - (-26)/10). Which is smaller: y or -2/9?
y
Let d = 35 + -35. Let r be d - -1*(3 + -2). Let j be (-2)/6 + (-10)/6. Is j not equal to r?
True
Let u be -8 - ((-9030)/81)/14. Is u <= 0.4?
True
Let y = 96.86 + 1.14. Let f = 96 - y. Let l be (-6)/(-9) - (1 + -1). Is f > l?
False
Let p(t) = 67*t + 3. Let v(m) = -3*m. Let l be v(1). Let q be p(l). Let o be (-8)/q - 8/(-44). Which is greater: 1 or o?
1
Suppose 2*c - 5*z - 108 = 0, -3*c - 4*z + z = -162. Which is smaller: 56 or c?
c
Suppose -i - 30 = -j, 5*i = -3*j + 52 - 2. Is j at most 18?
False
Suppose -r + 1 = 2*p + 3, 0 = 5*r + 4*p - 20. Suppose 40 = 5*f + 5*c, 2 = -c - 0. Which is smaller: f or r?
