(-192)/448 + 1957/4501. Which is smaller: p or -1?
-1
Let g = 12.61 + -58.61. Are g and -16 unequal?
True
Suppose -201 = -4*y + 71. Let w = 68 - y. Let c be -1 - -2*(-3)/15. Which is smaller: c or w?
c
Suppose 0 = 2*u - d + 6 + 3, 3*u = 3*d - 12. Let l be (-1 - 11/u) + 2. Which is greater: l or 4?
4
Let b = 412 + -410. Let r = -20 + 35. Suppose 4*k = 1 + r. Which is smaller: b or k?
b
Suppose 0*a + h + 217 = -2*a, a + 3*h = -121. Are -105 and a unequal?
True
Suppose u = 5*u - 28. Suppose 6*x - u*x = -6. Suppose 2*h + x - 4 = 0. Which is bigger: 1/3 or h?
1/3
Suppose -2*v = 5*w + 3, 0*v - 5*w - 27 = -2*v. Let d be (-12)/36 + (-2)/v. Let l = 0.02 - -0.04. Which is smaller: d or l?
d
Let m be 3/(-9) + (-5 - 725/(-132)). Is m at most as big as -1?
False
Let c be (6/24)/(-3 - (-222)/(-32)). Is c greater than -1?
True
Suppose r = -4*r - 10. Let f be -15 - -16 - (r/4 + 0). Is -6 greater than f?
False
Let i = -42.5 - -44. Let h = 12 - 13.4. Let f = i + h. Which is bigger: 2/7 or f?
2/7
Let o(u) = 12*u - 26. Let k be o(5). Let p = -273/8 + k. Is p at most 9?
True
Suppose -2*n + 4 = 10. Let f be n + -5*(-1 - 0). Suppose 4*l = o - 37, -3*o = -f*l - 3*l - 41. Is -11 smaller than l?
True
Suppose -2*c = -7*c + 5*b, -3*b = 3*c + 24. Let j be c/(-28)*(-7)/6. Which is smaller: j or -2/3?
-2/3
Let f be (-286)/(-338)*4/(-1). Which is smaller: -2 or f?
f
Let y be (-4 + (-26)/(-6))*0. Suppose -j + 3*v = v - 2, j - v = y. Let o be (1/j)/((-174)/(-12)). Is o != -1?
True
Suppose 0 = 4*c - 6*r + r + 6, -5*c = -2*r - 1. Is 5/251 less than c?
True
Let s = -19 - -11.5. Let w = s - -2.5. Which is greater: w or 1/2?
1/2
Let w = 253/100 - 7/25. Let h(q) = 6*q**3 - q**2 - q + 1. Let z be h(1). Suppose 4*x - z*x = -2*v + 8, 0 = x - 3*v + 13. Which is bigger: x or w?
w
Let c = 1531214/259 + -5912. Which is smaller: c or 0?
0
Let c be 18/(-18) - (-2 - -2). Is -42/41 greater than c?
False
Let k = -87 + 88. Let s be (4/((-2)/k))/((-72)/(-81)). Does s = -1/3?
False
Let y = 0 - 0.04. Let s = 1.3 + -0.7. Let x = s + -0.7. Which is smaller: x or y?
x
Let s(t) = -t**3 - 5*t**2 + 13*t + 22. Let y be s(-7). Is y != 29?
False
Suppose -3*r + 454 - 1517 = 5*x, 4*x - 3*r = -845. Are -214 and x unequal?
True
Let z be -1*-51*(-5)/15. Let g(p) = -p**3 - 4*p**2 - 2*p + 5. Let h be g(-4). Let i = h + z. Which is smaller: i or -5?
-5
Let c be 2/(-4)*4/(-651286). Let x = c - -38751037/156308640. Let s = -3/160 - x. Which is greater: s or 1?
1
Let y = 12/161 + 39868/805. Let j = -50 + y. Let s = -110.1 + 110. Is j less than s?
True
Let g be (-735)/(-246) - 1 - 2. Suppose 4*p + 15 = 3*v, p - 6*p - 20 = -5*v. Which is smaller: v or g?
g
Let c(y) = -y**3 + 3*y**2 + 9*y + 5. Let z be c(5). Let q = 134/155 + -2/31. Are z and q equal?
False
Let j = 13312/15663657 + 2/8499. Which is greater: 0 or j?
j
Let j = 41 + -40. Let v be (j - 39/6)*2. Does -10 = v?
False
Let h be (-46)/(-14)*1 - (-2)/(-7). Let m(p) = p**2 - 12*p + 9. Let s be m(11). Which is bigger: s or h?
h
Suppose -5*i = -20, 24 = 2*h - 0*h + 5*i. Suppose -4*t - 2*f - 158 = 0, h*t - 4*f + 54 = -0*t. Is t equal to -37?
True
Let i = 3/104 + -2/13. Let z(j) = j**2 - 11*j + 14. Let s be z(6). Let h = s - -15. Which is smaller: h or i?
h
Suppose 0*p = -5*p + 20. Suppose -p*b = -9 - 3. Suppose b*c + 12 = 7*c. Which is greater: c or 2?
c
Let z(v) = -v**2 + 7*v - 27. Let l be z(-8). Is -148 greater than l?
False
Let k(q) = q**2 - 3*q + 1. Let w be k(2). Let o be 2/18 + 8/((-8856)/69). Is w less than o?
True
Let o = 184 + -17113/93. Do -1 and o have the same value?
False
Let l = -61 + 69. Let z = l - 6. Which is smaller: 9 or z?
z
Let p(r) = -r**2 + 29*r + 297. Let l be p(37). Which is greater: 4/141 or l?
l
Suppose -27*v - 5*o + 9 = -28*v, 0 = -3*v - 2*o + 7. Which is smaller: v or -1/1000?
-1/1000
Let z = -282 - -283. Is z at most as big as -4/37?
False
Suppose 0 = 3*d - 17 - 25. Suppose 4*c = -3*c - d. Is -2 not equal to c?
False
Let r be -8 + 7 - (3 + 120). Is -124 at most as big as r?
True
Let g = 281 - 322. Which is greater: g or 0?
0
Let f = -5546 + 16780/3. Let z = -54 - -7. Let s = z + f. Which is smaller: 0 or s?
0
Let n(g) = -3*g**2 - 3*g**2 + 13*g**2 - 5*g**2 - 2 - g. Suppose -2*z + 1 = 3, -3*l + 2 = 4*z. Let r be n(l). Is 4 bigger than r?
False
Let b = 4494 + -4494. Let u = 0.1 - 1.1. Let d = -2 + u. Is b not equal to d?
True
Let a(j) = j**2 - 5*j - 7. Let z be a(6). Let b(y) = -4*y + 24. Let x be b(6). Which is bigger: x or z?
x
Suppose -4*d - 3*v - 4 = -7*v, 4*d + 25 = -3*v. Suppose 0 = k + k. Let x(i) = -i - 2. Let f be x(k). Is d greater than or equal to f?
False
Let v = -5 - -4. Let r = -1.8 - 0. Let j = 1.85 + r. Which is greater: j or v?
j
Suppose 3*m - 20 = b - 6*b, 0 = 4*b - 5*m + 21. Suppose 3*z = -16 + b. Is 0 equal to z?
False
Suppose 24 = 3*s + 2*p, 4*p + 10 = 4*s - 2. Are s and 76/13 equal?
False
Let g = -237/13 - -91/5. Let i(r) = -r**3 - 5*r**2 + 5*r - 6. Let m be i(-6). Which is bigger: g or m?
m
Let g be (-2)/(-4)*60/63. Let l = g - 311/609. Let s be (-5)/20*2*(-8)/(-4). Which is smaller: s or l?
s
Let u be 1 + (-1 - 28/(-18)). Let j(x) = x**3 + 2*x**2 + 2*x + 93. Let b be j(0). Let i = b - 91. Is i less than u?
False
Let m be -32 + 13/(26/4). Is m greater than -32?
True
Let b = 4745 + -23802/5. Is b at least 2?
False
Let l be 26/(-39)*-6*(-11)/4. Which is smaller: -16 or l?
-16
Suppose 4*r + 0*a = 2*a + 6, -2*r + 15 = -5*a. Let s be (r + (-15)/(-6))*4. Suppose f = 1 + s. Is f at least 12?
False
Suppose 0 = 7*h - 13*h - 180. Is h at least as big as -32?
True
Let s(w) = -w**2 - 4*w + 0*w**2 - 2*w + 0*w. Let u be s(-5). Suppose 4 = -2*o + 3*f, -u*f - 1 = -o - 10. Is 4 < o?
False
Let q be 316 - ((-2)/1 - -4). Let z = -2515/8 + q. Let t = 33/8 - z. Which is greater: 5 or t?
5
Suppose 16 = 4*p - 2*l, 6*l + 2 = -5*p + 3*l. Suppose 2*b + 5*z = -8, 2*b - p*z = -0*z + 20. Let y = -4 + b. Are -1 and y equal?
False
Suppose 12 = 4*i + 4. Suppose -n + 276 + 425 = -4*u, i*n = u + 170. Let g = -2113/12 - u. Which is greater: g or 0?
0
Let b = 33.2 + -48. Let q = b + -2.2. Let g = -0.03 + 0.03. Is q less than or equal to g?
True
Suppose 8*i + 680 = -0*i. Which is greater: -86 or i?
i
Let x = -0.059 - 3.041. Let j = x - -3. Is j greater than or equal to -7?
True
Let z be (1 - -2) + 504984/(-27). Let f = z - -18617. Let k = f - -83. Which is smaller: k or -1?
-1
Let r = 8392 + -33825/4. Which is bigger: r or -65?
r
Let t = -1/8 + 21/8. Which is smaller: t or 2/7?
2/7
Let f = -2.9 + 2.937. Let p = -0.063 - f. Does p = -2/9?
False
Let b = 328 + -295. Which is smaller: b or 37?
b
Let i = 74.98 + -76. Let w = i - -0.72. Which is bigger: w or 7?
7
Suppose -16 = 4*s - 4*w, 5*w = -6*s + s + 10. Let n be (10/4)/((-3)/6). Is s at least as big as n?
True
Suppose 6*k = -5*k. Let j be 2/(-10) - (-21)/55. Which is greater: k or j?
j
Let w(k) = k**2 + 16*k - 419. Let m be w(14). Is -4/261 >= m?
False
Let u(d) = d**3 + 2*d**2 + 2*d + 4. Let h be u(-2). Let m be (-25)/(-1 + h + -3). Which is smaller: m or 6?
6
Let b(f) = 20*f**3 + 2*f**2 + 3*f + 2. Let u be b(-2). Which is smaller: u or -155?
u
Let v = -0.1 - 2.9. Let j = -3.2 - v. Let b = 13265 - 13269. Which is bigger: j or b?
j
Suppose 3*i - 5*m = 1973, -i + 3*m + 657 = 2*m. Suppose 2*u + i = -3*p, 2*p + 3*p + 1104 = 2*u. Let y = p + 1104/5. Which is smaller: y or 1?
y
Let w(m) be the third derivative of m**5/60 - 11*m**4/24 + 3*m**3 + 13*m**2 + m. Let g be w(5). Which is bigger: -4 or g?
-4
Suppose -d - 5*j = -11 - 7, 0 = 2*d - 2*j - 36. Is d < 14?
False
Let g be (-5)/15*2*3. Let r be 2/107*(-3)/g. Let t = r - -175/1391. Is 1 smaller than t?
False
Let z = 210 + -209. Suppose l - 2 + 14 = 0. Let r be z + (-3)/l*0. Is -1/5 at most r?
True
Let t be (2/4)/(2/412). Suppose 12*p + t + 317 = 0. Is p greater than or equal to 0?
False
Let f be (2/21)/(2/(-24)). Let l = 7445 + -7446. Is f greater than l?
False
Suppose -9*u + u = -320. Let k be 30/u - 3/(-12). Which is smaller: 5 or k?
k
Suppose -7*t + 41 - 34 = 0. Which is smaller: t or 2/893?
2/893
Let r(x) = -2*x**3 + 10*x**2 + 19*x + 3*x**3 + x**2 + 9 + 0*x**2. Let s be r(-9). Let c = 2/305 - 652/6405. Which is greater: s or c?
s
Suppose -1453 = 3*h - 46. Let w = h + 8909/19. Which is smaller: -0.3 or w?
-0.3
Let c = 24 + -23.96. Let t = c + 0.26. Let q =