022580 + (-10)/(-225). Is p less than 0?
True
Let z(m) = -6*m**2 - 11*m + 4. Let y be z(-10). Let k = y - -343. Are k and -143 non-equal?
False
Let a(x) = -3*x**3 - 4*x**2 + 6*x + 4. Suppose 41*s - 38*s + 12 = 0. Let i be a(s). Suppose -3*d = 3*r - i, -4*r + 4*d + 134 = -10. Is r <= 37?
True
Let p be 11 + (-2555 - 3) - 1/(-1)*-1. Is p <= -2548?
True
Suppose -2*y + 351 = m, -2*y + 6*y = -5*m + 1803. Are m and 2571/7 nonequal?
True
Let c be (16/10)/(2/5). Let r = -853 - -853.14. Is c smaller than r?
False
Let k = -89 + 94. Let z be 4/(-10) + (-10)/(-25). Suppose -k*y = 4*v - 104, 2*y - 45 = -z*y - 5*v. Are y and 20 equal?
True
Let v(t) = 2*t**2 + 2*t + 7. Let b(u) = -5*u**2 - 5*u - 14. Let h(y) = -6*b(y) - 14*v(y). Let n be -246 + 246 + (-8)/2. Let r be h(n). Is 3 greater than r?
False
Let f be 16078/168672 + (3 - 4 - 114/(-126)). Do f and 1 have the same value?
False
Suppose -380 = -55*r - 142*r - 183*r. Is -10670 greater than r?
False
Let p(w) = -w**3 - 2*w**2 + 3*w. Let r be p(-3). Suppose r*b + 4*b = 0, -4*y + b + 100 = 0. Is y less than 29?
True
Suppose 12 - 4 = 4*l. Suppose -2*c + l = 0, 3*f + 0*c = 5*c - 2. Are f and 12/17 non-equal?
True
Suppose a = 4*a - 0*a. Let r be 4/(-22) + (434/693 - a). Which is greater: 0.4 or r?
r
Suppose 106*c + 107 = -c. Is c smaller than 18/85?
True
Suppose -2341 = -71*w - 177*w - 24661. Which is smaller: -30 or w?
w
Suppose -41 = c - 5*k, -c - k = 5 + 6. Let s be 61888/(-1652) + c/28. Let j = 38 + s. Which is bigger: 1/3 or j?
1/3
Let s(z) = z**2 + 12*z - 3. Suppose 0 = 4*r + c - 172, -3*r + 5*r + 2*c - 86 = 0. Let g = 31 - r. Let k be s(g). Which is greater: -17/4 or k?
k
Let w = 179.36 + -172. Let p = w - -3.64. Which is greater: 3 or p?
p
Let q = 1.0981 - 0.2581. Which is smaller: q or 0.21?
0.21
Let s = 429 - 297. Let t be s/((-9)/(-3)) - 4. Let z be t/(-15)*(-1 + (-11)/(-12)). Is -11 less than or equal to z?
True
Let t = -493 - -490.7. Let v = 2.1 + t. Is 1 < v?
False
Let f be (-4)/(-12)*(-114)/(-2). Let s = 13 - f. Let c be (-2 - (s - -4))/2. Do -3 and c have the same value?
False
Let r(w) = -w**3 + 44*w**2 + 123*w - 3332. Let n be r(45). Let g be 0 + 176 + (1 - 0). Do g and n have the same value?
False
Suppose -t - u = 171, 8*u - 10*u + 876 = -5*t. Let k be t*8/(-13566) - (-6)/(-51). Let w be 3/(-5) + (-2)/5. Which is bigger: k or w?
k
Suppose 3*g - 4 = q - 16, g = -4. Let h be (-2)/4 - (-876)/1704. Is h at least as big as q?
True
Let i(b) be the third derivative of -b**6/120 + 3*b**5/20 - 7*b**4/12 + 2*b**3/3 + 10*b**2 + 1. Let n be i(7). Which is smaller: n or 7?
n
Let l(d) = 10 + 7 - d - 1. Let q be l(13). Suppose q = -r - 11. Which is bigger: -13 or r?
-13
Suppose -o - 36*z = -38*z - 1, 4*o - 9 = 3*z. Suppose h - 13 = -4*p, 0*h + 5*p - 12 = 3*h. Suppose -o*s + 11 = -r + h, s = 4. Are r and -1 nonequal?
True
Let p be ((-40)/1360)/(103/4). Let n = p + -12/103. Let j = -0.9 - 5.1. Is n at least as big as j?
True
Let y(g) be the third derivative of -g**6/120 - g**5/60 + 5*g**4/24 - 4*g**3/3 + 29*g**2. Let n be y(3). Let r = -20 + 19.9. Which is bigger: n or r?
r
Let t = -84.62 + 65.6175. Let b = 0.0025 + t. Which is smaller: 1/7 or b?
b
Let p(r) = r**3 + 3*r**2 + 7*r + 53. Let o be p(-4). Let s be (1756/6)/(o/((-378)/28)). Is -439 at least s?
True
Let i be ((-1)/355)/((-170)/1275). Let z = 2 - 1. Is i < z?
True
Let v = -28.7 + 195.7. Let t = v - 166.9. Which is smaller: 1/85 or t?
1/85
Let j = 13 + -13. Let t(g) = g**3 + 10*g**2 - 8*g - 16. Let u be t(-11). Let o = 191/4 + u. Is o bigger than j?
False
Let h = 394475/19 - 20756. Let x = h - -151/114. Which is smaller: 8 or x?
x
Let s = -10000 - -20003/2. Is 835 greater than or equal to s?
True
Let a = -1275.67 - -12.67. Let s = a + 862. Is s > -0.1?
False
Suppose -5*r - 108 = b, 2*b - 114 = 5*r - 0*b. Let p = 22 + r. Suppose -n + p*n = -4. Is 3 smaller than n?
True
Let k be (-158)/(-4898) + 370/62. Let u(q) = -q - 6. Let r be u(0). Let b(x) = x**2 + 3*x - 8. Let g be b(r). Is k at most g?
True
Let t = 503 + -502. Which is bigger: 33/46 or t?
t
Let o = 183 - 183.78. Let a = 0.22 - o. Is 4/7 > a?
False
Let z be (-1)/(1/8) - 18641050/(-2330109). Which is greater: 1 or z?
1
Let z(o) = -258*o + 847. Let q be z(3). Which is smaller: -103 or q?
-103
Suppose 5*h - 421 = 4*b, -1921*h + 1918*h = 2*b + 249. Is b >= -118?
True
Suppose -k - 3*y - 6 = 0, 2*k - y - 2 = -0*k. Suppose 5*x + 142 + 13 = k. Let b = x - -27. Which is bigger: b or -3?
-3
Let v = 20309/67 - -6634903/335. Let z = -20021 + v. Which is greater: z or 89?
89
Let g = -3.43 + 3.33. Let w = 129.1 + -125. Is g bigger than w?
False
Let h be ((-3 - 1) + -11)*(-15)/9. Let i be 1*(5 - 3) - 1*-26. Is i bigger than h?
True
Let l be (5 - 4) + 102/(-17). Let a(h) = -h**3 - 5*h**2 + 4*h + 22. Let o be a(l). Which is smaller: 9/7 or o?
9/7
Let w = 663/2 + -329. Let x = w + -29/14. Let m be 2 + -3*(-4)/(-6). Which is bigger: m or x?
x
Let r = -1476 + 745. Let y = -728 - r. Let l be 4/(-6) + (-49)/(-15). Which is smaller: y or l?
l
Let z be (0 + -1)*1*0. Let d = -7853 - -2552227/325. Let u = d - 411/13975. Which is smaller: z or u?
u
Let h = 1881362247 + -31999610844/17. Let t = h - -968604. Let b = t + -801. Which is greater: b or -1?
b
Let y(n) = -n**3 - 6*n**2 - n - 7. Let p(a) = -3*a + 26. Let x be p(8). Let u = -8 + x. Let z be y(u). Which is smaller: z or 2/51?
z
Suppose -97 + 290 = u. Suppose -4*g - 67 - u = 0. Which is bigger: -62 or g?
-62
Let o = -0.33 - -0.16. Let g(k) = 8*k - 48. Let r be g(6). Suppose r = 7*b - 18*b + 11. Which is greater: o or b?
b
Let v = -4450795/904748492 + -2/494939. Which is greater: v or 1?
1
Let p = 5708 - 5711. Which is greater: -4 or p?
p
Suppose 4*z - d = d - 12, 4*z + d = 0. Let y be (-8299)/(-13416) - (-10)/(-16). Is z at most as big as y?
True
Let g = -292 + 282. Suppose 4*v = 89 - 49. Let s(b) = -2*b + 15. Let h be s(v). Is g greater than h?
False
Let s be -13 + 2*(-1264)/(-192). Which is smaller: 0.145 or s?
0.145
Suppose 6*l - 18*l = 24. Let b = -73 - -153/2. Is l > b?
False
Let k = 62 + 70. Suppose 2*i = z - 33, i = -5*z - 0*i + k. Suppose 0 = -22*d + 19*d + z. Is d greater than or equal to 9?
True
Let k = 233 - 320. Which is greater: k or 2?
2
Suppose 0 = -2*q - w + 2*w + 16, 4*w = 5*q - 46. Suppose 3*k + 3*m = -9, 4*m + 18 = 2*k + q. Is -3/349 at least k?
False
Suppose -5*j = -2*j - 3. Suppose 0 = 16*f - 23*f - 364. Let d be 3/(-288)*f - 1/(-3). Which is smaller: d or j?
d
Suppose 13*s + 16*s = 2*s. Is 1/3097 at most as big as s?
False
Let t = 1063/4 + -2127/8. Is t greater than -2/1239?
False
Let y be (-1824)/(-450) - 0 - 4. Let h be (-7 - (-30)/4)*0. Is h bigger than y?
False
Let k = -20.1399 - 0.7681. Let x = k - 0.092. Is x not equal to 0.1?
True
Let m(w) = 24*w + 92. Let p be m(-5). Let s(d) = -d - 114. Let v be s(p). Which is smaller: v or -87?
-87
Let a = -2125 + 1962. Suppose 4*s = 0, -3*m - 486 = 7*s - 6*s. Which is smaller: m or a?
a
Let x = 4 + -24. Suppose -160*d - 759 = -127*d. Is x < d?
False
Let b be (3/(-66))/((-2)/56). Let y = 260 - 438. Let t = 178 + y. Which is bigger: b or t?
b
Suppose -2*c - 4*q + 7669 = 2375, 5*q - 10 = 0. Is c != 2643?
False
Let h = 282 - 203. Let q = 81 - h. Which is smaller: -0.48 or q?
-0.48
Let n(b) = -b**2 - 50*b + 6. Let w be n(-50). Suppose -5*f + 96 + 384 = 0. Suppose 0 = w*t - 30 - f. Which is smaller: t or 0?
0
Let g(w) = 3*w**2 - 2*w + 41. Let p be g(8). Let t = p - 214. Which is smaller: 4 or t?
t
Let l = 131 - 177. Let b = l + 49. Is b greater than or equal to 1?
True
Let y be 420390/126 - 3/7. Is 3336 > y?
False
Let k = 21901/65 + -4440/13. Do k and -135 have the same value?
False
Let h be (-6)/9*1/4. Let w = 451.24 + -115.23. Let j = 336 - w. Which is greater: j or h?
j
Suppose 27*p + 6 = 24*p. Let f(d) = -20*d**3 - 7*d**2 - d + 2. Let a be f(p). Which is smaller: 134 or a?
134
Let o = -0.1 + 0.1. Let g = 2 - -1. Suppose -3*h + 114 = g*x, -3*h = h + x - 158. Are h and o unequal?
True
Let a = 25 + -7. Let r be (-1 + 4)/(3/(-20)). Let g = a + r. Is g less than -0.09?
True
Let f be 38214/(-297) - -1*(-2)/6. Let m = f - -127. Is m != 4/15?
True
Let y be 2/10 + 109/5. Let p = -9 - -8. Let c be (((-3)/(-9))/p)/(2/(-126)). Is y bigger than c?
True
Let f be 11/(-6)*(-8)/6. Let u(h) = 17*h**2 + h - 4*h**3 + 8*h**