3) + (-4)/(-18). Suppose 5*j = 2*d + 1, -j + 4*j - 4*d - 9 = 0. Which is smaller: j or s?
s
Let l = -2332030834 + 38986891464795/16718. Let m = l - -1/1286. Are -1 and m equal?
False
Suppose 0 = 5*k + 5*w + 110, -4*k + 0*k - 5*w - 88 = 0. Let z(t) = 2*t - 5. Let q be z(-8). Which is bigger: q or k?
q
Let q = -3/89 + -97/2403. Let j(p) = p + 8. Let g be j(-7). Is q smaller than g?
True
Let m be (1/3)/(2/6). Let o be (4 + -2 + -1)*(3 + 4). Let x be (o + m + -4)/4. Is 1/2 equal to x?
False
Let b = -631 + 630. Are b and 10/53 equal?
False
Let o(v) = 2*v**3 + 4*v**2 - 7*v - 6. Let w(y) = y**3 + y**2 - y - 1. Let d(g) = o(g) - 4*w(g). Let k be d(-1). Which is smaller: k or 7/3?
7/3
Suppose 43*h + 308 - 7 = 0. Which is bigger: -11/3 or h?
-11/3
Suppose 8 = 4*h + 4*l, 2*h = 6*l - l + 25. Suppose h*i = 4*i + 5. Which is smaller: 2 or i?
2
Let g = -0.249 + 0.049. Is g at most as big as -0.54?
False
Let q be (-6)/4*4/3. Let t be (q/(-6))/((-150)/18). Are t and -1 unequal?
True
Suppose 3*k - 5*z = -0*k + 202, -3*z - 66 = -k. Let o = -59 + k. Is o equal to 13?
False
Let n(r) = -r**3 + 6*r**2 + 7*r + 3. Let l be n(7). Let t be (-3)/(((-3)/(-10))/((-21)/(-105))). Let u = l - t. Is u > 4?
True
Suppose -313 = -8*g - 321. Is 4/11 less than or equal to g?
False
Suppose 0*g + 19*g = -190. Let j = -1.1 + 0.1. Which is greater: j or g?
j
Let y be ((-6)/40)/((-69)/8). Let k = y + 109/345. Let v = 3/154 + 263/2310. Which is smaller: v or k?
v
Let b be (2 + (-10)/1)*1. Let v be -3 + -1 - (-3)/(-3). Let d be 2*(v + (-3)/(-3)). Is b bigger than d?
False
Suppose -4*v - 10 = 2*l, 4*v + 2*l - 4*l = 10. Suppose p = 4*c - 3, c + 5*p = -6 + 33. Which is smaller: v or c?
v
Let a = 129 - 131. Suppose t + 17 = 5*t - 5*c, -2*t - 4*c = -28. Suppose -t = -4*n + 4. Is n less than a?
False
Let x be 8*((-6)/(-4) - 1). Let n = 3 - -60. Let r be (x/6)/((-30)/n). Are 0 and r non-equal?
True
Suppose 7*d = 3*d + 3*z + 13, -d - 2*z = -6. Suppose -1 = -d*q - 4*h - 37, 2*q = -h - 14. Is -3 not equal to q?
True
Let u be ((-2)/(-4)*0)/1. Let o be (4 - u) + 105/(-24). Is 1 smaller than o?
False
Let o = -54 + 73. Suppose -15*j + o*j = 2*m - 4, -2*j - 4*m - 22 = 0. Is -1 >= j?
True
Let a = 1 + 1. Suppose -a*v - 4*w = 12, -4*v - w - 4 = -3*w. Suppose 5*r + 2*b = -1, 5*r = -0*b + 3*b - 11. Is v greater than or equal to r?
False
Let q = -38 + 43. Let b be q/2*(-13 + 15). Is 5 greater than b?
False
Let a = -20 - -20. Let s = -0.4 + a. Are 1 and s non-equal?
True
Let p be 31/(-7) - 3/(-7). Let a be p + (2 - 1) + 10. Which is smaller: 9 or a?
a
Suppose 8*p + 828 - 2876 = 0. Which is bigger: p or 257?
257
Let d be (-1 - (-1 - -17))/1. Let q = d + 14. Let n be q/18 - (-21)/18. Is -4/9 != n?
True
Let u(l) = -l + 9. Let i(q) = q**2 + 5*q + 6. Let k be i(-5). Let z be u(k). Suppose a + z = -4*o, -o - 2*a = 3*a - 4. Which is greater: o or -2?
o
Let z = -2.7 - -2.7. Let p = -0.1 + z. Is -0.11 smaller than p?
True
Let k = -38.8 + 44.8. Is -0.16 greater than or equal to k?
False
Let g = 0.229 - 0.129. Which is smaller: -89/4 or g?
-89/4
Let i be 9 - 6 - (-34)/(-12). Let m(s) = -s**2 + 7*s - 6. Let v(y) = y**2 + y. Let l be v(-3). Let k be m(l). Which is bigger: k or i?
i
Suppose 0 = -3*a + 5*p - 179, -45 = a + 4*p - 2*p. Let f = -54 - a. Which is smaller: 2/75 or f?
f
Let v = 0.5 + -3.5. Let n be 12/(4/(-3) + (18 - 18)). Which is greater: n or v?
v
Let v be ((-3)/12)/(4/(-118)) - 0. Let o = -6533/888 + v. Is -1 smaller than o?
True
Suppose -24*o - 372 = -55*o. Is o at least 164/13?
False
Let b be 8/(-14) + (-17312)/1848. Let n = 10 + b. Is n at least 1?
False
Let i(j) be the second derivative of -j**4/12 - 19*j**3/6 + 35*j**2/2 + 15*j. Let w be i(-12). Is w greater than or equal to 119?
True
Suppose 3 + 7 = -y. Is y greater than -79/9?
False
Suppose 85 = -8*y - 19. Is -15 at most y?
True
Let f be -242*((-57)/(-18) - 3). Let j = f + 41. Let v be (-4)/7*14/(-4). Which is greater: v or j?
v
Let h = -32 - -62. Let v = -27 + h. Is -0.7 < v?
True
Let o be 3*(400/12)/4. Let r be (o/(-10))/(-5)*0. Which is smaller: r or -1/5?
-1/5
Suppose 0 = -4*z - 0*z. Suppose v - 2*v + 3*m + 31 = z, 0 = -m - 1. Let h be (9/(-6))/((-6)/v). Is 7 <= h?
True
Let z(u) = -u**3 + 8*u**2 - 4*u + 7. Let s be z(7). Let c = s + -20. Suppose a - 2*a + 9 = 0. Is a smaller than c?
False
Let w = -4 - -5. Let p = w - 1.1. Let g = -531 + 516. Which is smaller: p or g?
g
Let i = -32 - -158. Is i != 126?
False
Suppose 2*s = 7*s + 2*u - 13, 3*s + 4*u = 5. Suppose s*i + 156 = -0*i + 3*h, -4*i + 2*h = 204. Let c be -4 - (2 + i/8). Is 1/3 greater than or equal to c?
True
Let j be (0 - -4)*1/(-6). Suppose -n - 13 = -3*r, -n - 2*r - 5 = -3*r. Are j and n non-equal?
True
Let h be 10/(-35) + (-5)/7. Let b = 1237/42 - 79/7. Let n = b + -2083/114. Is h greater than n?
False
Let h(t) = -t**2 + 10*t - 11. Let n(o) = o**3 + 4*o**2 - 7*o - 2. Let a be n(-5). Let b be h(a). Suppose -3*d + b + 7 = 0. Do 6 and d have different values?
True
Let n(k) = -10*k - 14. Suppose -2*c + 0*b = -4*b + 12, 4*b + 16 = -5*c. Let d be n(c). Is d > 26?
False
Let i = 92.6 - 18.6. Let r = 76 - i. Is r smaller than -0.8?
False
Let j = 40 - -77. Which is smaller: j or 118?
j
Let q be (-33)/6 + (-3)/6. Let b(a) = a**3 + 7*a**2 - 5 - 10*a + 3*a - 2*a**2. Let g be b(q). Which is smaller: 0 or g?
0
Let f(k) = k**2 - 5*k + 5. Let n be f(6). Suppose -15*g + n*g = -12. Suppose 6*a - g*a = 12. Is a bigger than 6?
False
Let s be ((-8)/20)/((-6)/75). Suppose s*d = d. Suppose d = 2*k + k + 2*h + 20, -22 = 4*k - 2*h. Is k less than -6?
False
Let n = 9 - -11. Suppose 2*l + 2*w - n = -2*w, 21 = 3*l + 3*w. Which is greater: l or 3?
l
Suppose 2*j + 5 = -5*k + 2*k, -j - 3*k - 10 = 0. Suppose -j = -4*l - l. Which is smaller: l or -1/35?
-1/35
Let p = 20 - 21.3. Let o = 89 + -90.3. Let j = p - o. Which is smaller: j or -1?
-1
Let c = -12 - -50. Let o = c - 35. Do o and 1 have the same value?
False
Let s = -0.671 + 0.971. Do s and 48/11 have the same value?
False
Suppose o + 10*o = -0*o. Is -7/5 at most o?
True
Let c = 18.4 - 150.4. Do c and -1 have different values?
True
Let r be 399/(-133) + -1*1246/(-2). Do 622 and r have different values?
True
Let g = 221/4 - 5523/100. Suppose 0 = 21*b - 6 - 15. Which is bigger: g or b?
b
Let x be -1 + 1/((-3)/(-9)). Let p = x + -3. Is p bigger than 4/13?
False
Let g be (-4 - -2)*((-2)/4)/1. Let t be (-23)/52 - (-2)/8. Let i = -187/702 - t. Which is smaller: i or g?
i
Let o(w) = 3*w**3 - 14*w**2 - 8*w + 14. Let z be o(5). Which is smaller: 7/23 or z?
z
Let k = -570.3 - -571. Is -50 at most k?
True
Suppose -24 - 18 = -2*c. Suppose 3*f - 16 - 44 = 0. Is f less than c?
True
Let a(n) = n**2 + 4*n + 2. Let o be a(-3). Let r be -14 + (1 - 1) + o. Suppose -23 = -19*u - 289. Is r equal to u?
False
Let q = 0.202 - 0.042. Let r = q + -0.16. Which is smaller: r or 0.02?
r
Let b = -5 - -6. Let l be ((-1)/51)/(b/(-2)). Which is smaller: 0 or l?
0
Suppose 81 - 142 = -61*b. Is 31/15 at least b?
True
Let a = -660 + 631. Which is smaller: a or -31?
-31
Let x be (3 + 2)/(3/(-6)). Is -146/13 less than or equal to x?
True
Let x = 4 + -6. Let c be (-1 + 2)/((-8)/(-16)). Let p be (-6)/(c + 1) + -4. Do x and p have different values?
True
Let z = -52 + 139. Is 87 >= z?
True
Let w(y) = -y + 13. Let k be w(0). Let o = k + -15. Which is smaller: -1 or o?
o
Let u be 72/32 - 1/4. Let k be (-3)/(-5 + u - -4). Let m be -3*(-3)/90*6. Which is smaller: k or m?
k
Let u = 2 - 6. Let w = 65 - 61. Let x be 4*(w - (8 + -3)). Is u at least x?
True
Suppose -89 = 5*k - 74. Let u = k + 6. Is 3 at most as big as u?
True
Let n be ((-1161)/36)/(15/(-16) + 1). Is n <= -516?
True
Suppose 1 = -5*w + 16. Suppose 4*x - w*x = 16. Let o be 10/(-6) + x/24. Is -2/7 <= o?
False
Suppose 41 = 3*p - 67. Let a = p + -56. Is -17 at least as big as a?
True
Let j(n) = n**3 - 3*n**2 - n - 7. Let l be j(4). Let o be (-33)/21*(-3)/l. Let a = -732/665 + o. Is a less than or equal to 0?
True
Let n = -18 + 17.46. Let i = n + 0.14. Is i at most as big as 0?
True
Let u = 0.828 - -0.172. Let t = -37 - -73. Which is greater: t or u?
t
Let y be (1 - (-21)/(-3))*3/2. Which is smaller: -8 or y?
y
Let k be ((-10)/825)/(54/(-45)). Which is smaller: 0 or k?
0
Let o(t) = t**2 - 10*t - 16. Let k be o(11). Let f = -3 - k. Suppose 6*v - 3*v = 6, -