/t). Which is smaller: s or 0?
s
Let h be (-3)/(((-15)/(-2))/(-5)). Let d(n) = n**3 - 9*n**2 + 7*n - 7. Let z be d(7). Let u be 2/4*(-128)/z. Is h equal to u?
False
Let g be -52 - -13 - (-4 + -6). Is g bigger than -31?
True
Let w = -111 + 123. Is 11 at least w?
False
Let z = 7 + -8. Let a(q) = -q**2 - 6*q + 2. Let x be a(-5). Suppose 5*b + 3 = -x. Which is smaller: z or b?
b
Let l be (-48)/(-84)*(-14)/4. Let f be (6/12)/(l - 9/(-6)). Which is smaller: f or 2/19?
f
Let w be 85/(-20) - (-5 - -1). Which is smaller: 1/62 or w?
w
Suppose -m - 4*m + 31 = -p, -5*p - 1 = -3*m. Suppose 0 = u - 4, 5*u = -x + 15. Let y = m + x. Is 4/3 greater than y?
False
Let t = 1 - 3. Let y be -1 + (-1)/(-2)*-6. Which is smaller: t or y?
y
Suppose w - 2*b + 1 = 0, 22 = 2*w + 3*b - 11. Let a = -18 + 41. Suppose -68 = -5*m - a. Is w at least m?
True
Let r = -264 + 264.07. Is -3 less than r?
True
Let u(c) be the first derivative of 4 - 4*c + 3/2*c**2. Let g be u(2). Is g < 5/4?
False
Let w = 3.2 + -28.2. Let z = -25.1 - w. Is z < -3/26?
False
Let o = 67 + -66. Are o and 212 nonequal?
True
Suppose 2*k + 306 - 144 = 0. Is k greater than or equal to -88?
True
Suppose -a = 3*a - 20. Suppose 0*v + v - a = 0, v - 81 = -4*d. Suppose -d = -5*g + 21. Is 7 bigger than g?
False
Let t be 2*3/12*(-35 + 35). Is t at least 2/547?
False
Let c be ((-1236)/72 - -17) + 19/42. Suppose 4*r + 3*t = 19, -2*t + 8 = -r - r. Do c and r have the same value?
False
Let j(l) = -l**2 + 4*l + 2. Let z be j(4). Let w be 1*7*(-6)/(-3). Let v = w - 12. Is v greater than or equal to z?
True
Let s = -3171/4 + 1189117/1500. Which is greater: -1 or s?
s
Let g be (-5)/15*((-215)/15 - 1). Are 5/2 and g non-equal?
True
Let p be (-76)/(-25) + 0 - (-15)/(-5). Let t = p + 4/25. Is 1 less than t?
False
Let i = 0.2 + -8.2. Let p = 8.1 + i. Which is smaller: p or -3?
-3
Let a = 352 - 340. Which is smaller: a or 1.1?
1.1
Let t be -6 - 1503/(-315) - -1. Which is smaller: t or 1?
t
Let z(f) = -f**3 + 9*f**2 - f + 12. Let c be z(9). Suppose 2*g - 12 = 5*u, g + 3*g - c*u = 10. Let n = -51/205 + 2/41. Is g at most n?
False
Let g = -380 - -380.1. Are g and -174 nonequal?
True
Let d = -300 + 299.827. Let r = d + 0.121. Is -1/2 > r?
False
Suppose 13 = 13*y - 39. Suppose 2*a + h = -h - 2, y*a - h = 6. Which is smaller: a or 4/17?
4/17
Let j be -5 + ((-1)/5 - (-14450)/2875). Which is smaller: -1 or j?
-1
Let p = 14 - 13.75. Let l = p - -2.75. Which is bigger: 2 or l?
l
Let g = 741 - 741.07. Is -16/9 at least g?
False
Let p be ((-1272)/(-1696))/(1/2 - 1). Let x = 1 + -2. Which is smaller: x or p?
p
Let b = -410 - -819/2. Are b and -136 equal?
False
Suppose 0 = -2*r - 5 - 1. Let u be (-14)/(-63)*(0 - 10). Is r smaller than u?
True
Let c = 13/3 - 4. Let x = -12.23 + 12. Let s = x + 0.03. Is s less than or equal to c?
True
Suppose -5*q + 0 - 30 = 0. Suppose -3*y = y + 32. Which is smaller: y or q?
y
Let x = -407/2 - -204. Which is greater: x or 0.68?
0.68
Let b(v) = 2*v**2 - 15*v + 4. Let o(y) = -10*y**2 + 75*y - 20. Let z(l) = 11*b(l) + 2*o(l). Let m be z(8). Is m equal to 12?
True
Suppose -4*d - 106 = 3*s + 66, 0 = -3*s + 5*d - 190. Let y = s - -22. Do y and -39 have different values?
True
Let o = 5 + -6. Let c be 8/17*6/10. Let z = c + -2/5. Is z at least as big as o?
True
Suppose 0*f - 259 = 5*f + s, -3 = -3*s. Let q = 33 + f. Do q and -2 have the same value?
False
Let n be ((-1)/(-2))/(6/(-12)). Let i be 0 + (-23)/(-9) - 3. Which is bigger: n or i?
i
Suppose q + 2*d + 3*d - 15 = 0, 3*d - 9 = -q. Let i be 8/(q + 4) - 0. Suppose -2*g = -i - 0. Is g less than or equal to 2?
True
Let d(l) = 14*l**2 - 11*l**3 - 22*l + 32 - 32*l**2 + 10*l**3. Let o be d(-17). Which is greater: 118 or o?
118
Suppose -x + 10 = z, 10 = -0*z + z + 3*x. Suppose z*w - 5*w + 100 = 0. Is w equal to -19?
False
Let q(s) = s**3 + 15*s**2 - 24*s + 16. Let x be q(-16). Let b = x + -138. Do b and -3/8 have the same value?
False
Let x = -1622 - -4847/3. Let p(n) = n**3 - 2*n - 2. Let r be p(-2). Is x > r?
False
Let j = -27.13 + 27. Let i = j + 1.13. Which is smaller: -4.1 or i?
-4.1
Let y be (-75)/10*(3 - 207/15). Which is smaller: 82 or y?
y
Let f be 20/48 - 4 - 3*-1. Let i = f + 1/3. Which is smaller: 27 or i?
i
Suppose -3*a - u - u = 1, a + 9 = -5*u. Let h be (a + -2)*3 + 8. Which is bigger: 4 or h?
h
Let u = -8.55 - -8.57. Is u less than or equal to -1/4?
False
Suppose -3*i + 5*i - 202 = -4*w, 0 = 4*w. Let a = i + -705/7. Which is smaller: a or -3.4?
-3.4
Let i be (2/(-4))/(4/(-144)). Let q = i - 24. Let l be (3 + q)*(-1 + 8). Are l and -20 equal?
False
Let a be (-2)/((-100)/165) - 3. Is a less than 2/17?
False
Let p be -4 - -3 - (-1)/3. Which is smaller: -116 or p?
-116
Let a = -568 - -459. Which is smaller: a or -110?
-110
Let q be 4 - 9 - (-2)/2. Which is smaller: q or -24/7?
q
Let h(c) = 2*c**2 - 32*c - 34. Let b be h(17). Which is bigger: -1/303 or b?
b
Let n be -1515*(-17)/51*(2 + -3). Is n greater than or equal to -505?
True
Let n = -30323/14 + 2167. Let s = -4/7 + n. Let z = -739/1015 - -2/145. Do s and z have different values?
True
Let m = 411/1628 - 1/407. Is m at least 3/41?
True
Suppose -2*p = -p. Let g(z) = 5*z**2 - z + 2. Let k be g(1). Suppose 0 = -2*v + k*v - 4. Which is smaller: p or v?
p
Let i = -5 - -4. Let n be ((-21)/(-35))/(6/(-4)). Is n at least i?
True
Let z be 2/(-3)*3/(-2). Let t = -27.044 - -27. Let r = -0.244 - t. Is z at least r?
True
Suppose -5*v = -2*v + 9. Let d be (-3 + (1 - 2))*v. Let g be ((-6)/(-8))/(d/8). Is g less than or equal to 0?
False
Let a = -1.27 - -0.27. Let n = a + -29. Is 0.1 not equal to n?
True
Let s be ((-66)/(-15))/(12/21). Let b = -353/40 + s. Let o = b - -11/8. Which is smaller: o or 0.7?
o
Let b = 416 - 841/2. Suppose 1 = j - 3. Let y(a) = -a**3 + 4*a**2 - 2*a + 4. Let l be y(j). Which is smaller: b or l?
b
Let p = 0.12 - 0.12. Let a = 17.9 + -17. Let r = a + -2.9. Are p and r nonequal?
True
Suppose -4*g - 13 = -9. Is g > -16/21?
False
Suppose -11 - 1 = -3*o. Suppose -5*l = -o*l - 21. Let i be ((-4)/(-3))/((-4)/(-66)). Which is bigger: i or l?
i
Let s = -477 + 2383/5. Are s and 2/13 non-equal?
True
Let i = 3105 - 4552. Are -1448 and i equal?
False
Let m = 1050 + -1051. Which is greater: -44/39 or m?
m
Let i be 1 - ((-3340)/(-6705))/4. Let n = i + 2/149. Suppose -x + o = -0*o - 2, 0 = 3*x - 2*o - 6. Are n and x unequal?
True
Let r = -48.263 - -0.263. Which is greater: -0.2 or r?
-0.2
Let d be ((-8)/532)/(-1) - 0. Let j = 48/665 - d. Does -1 = j?
False
Let l = -1.98 + -4.22. Let i = 7.3 + l. Let u = -95/18 + 11/2. Do u and i have the same value?
False
Suppose -10*s = -49*s - 6318. Which is bigger: -164 or s?
s
Let w = -8 + -4. Let m = w + 11.9. Is -2/15 at most m?
True
Let h = 2144525/23 - 93265. Are h and -26 unequal?
True
Suppose 3*i - 10 + 0 = j, -5*i + 50 = 5*j. Suppose -j*r = -21 + 1. Is r not equal to 4?
False
Let y = -10 + 18. Let j be 3/(-5) - y/20. Which is bigger: j or -3/22?
-3/22
Suppose -4*w = w. Let k = 274/7 + -2986/77. Which is greater: w or k?
k
Let r = 3 + 6. Let z(p) = p - 1. Let i be z(1). Suppose -6*u - u + 63 = i. Is r < u?
False
Let z(y) = -y**3 + 29*y**2 - 32*y + 109. Let d be z(28). Which is bigger: 33 or d?
33
Suppose 4*x + 3*z = -237, 12*x = 8*x - 5*z - 235. Is -121/2 > x?
False
Suppose -4*w = 4*b - 4, 4*b + 6*w + 5 = 5*w. Let k(m) = -6*m + 1. Let h be k(1). Which is greater: b or h?
b
Let b be (-46)/253 + -2 + 885/451. Which is smaller: 1 or b?
b
Let y = 662 + -391. Is y at least 268?
True
Suppose 3*w - 144 = 23*z - 26*z, 4*w + 3*z = 189. Is w not equal to 45?
False
Let h = -1656 - -1657. Are h and -2/111 nonequal?
True
Let j(m) = -3*m**3 - 30*m**2 + m + 11. Let f be j(-10). Which is greater: -2/319 or f?
f
Let d(v) = -5*v + 75. Let x be d(30). Is -73 greater than or equal to x?
True
Let g(m) = -2*m + 3. Let w be g(3). Let t be 3 - (w + 4) - 0. Suppose q - t = -0. Are q and 4 non-equal?
True
Let j = -2.93 + -0.07. Let l = 817/910 - 22/35. Let x = l - -3/13. Is j at most as big as x?
True
Let y = -0.09 + 0.29. Let b = -10.8 - y. Let w = 6 + b. Which is greater: w or -0.1?
-0.1
Suppose 0 = 3*w - 4*f - 12, 4*w + 3*f - 2 - 14 = 0. Suppose w*n - 2 = 18. Which is smaller: 4 or n?
4
Suppose 0 = -4*i + 16 + 8. Suppose -2 = 4*n - i. Let x = -1573 + 48765/31. Which is smaller: n or x?
x