 be (817/(-172))/((-236)/(-32)). Is -2 < p?
True
Let a = -775 + 726. Let l be 16/7 + 12/(-42). Let s be (1 - 3)*49/l. Is a greater than s?
False
Let s(g) = 13*g - 150. Let r be s(12). Let c be 360 + 0 - (-2)/r*-15. Which is bigger: c or 354?
c
Suppose 145 = 12*y + 1. Let d(i) = i**3 - 10*i**2 - 28*i + 47. Let v be d(y). Which is bigger: -6/199 or v?
-6/199
Let z be 51/36 - (-18)/(-24). Which is smaller: 2482 or z?
z
Let q = -897459/4 - -222943. Is -1421 at most q?
False
Let g = 4 + -26. Let u = -55 + g. Let i = 77.2 + u. Which is bigger: 7 or i?
7
Suppose 0 = -2*l - m - 42, 2*m = 4*l + 32 + 52. Let r = 18 + l. Let j = 173 - 529/3. Is r greater than or equal to j?
True
Suppose 4*c = -5*w - 8767, 17*w - 14*w + 5*c = -5255. Is -1755 less than w?
False
Let m(b) = -b**2 - 27*b - 36. Let w be m(-22). Let c be -2 + -1 - (2 - w/14). Let s = 0.7 - 0.6. Which is smaller: c or s?
s
Let n(j) = j**3 - 6*j**2 + 6*j - 4. Let v be n(6). Suppose 14*t - v = 6*t. Suppose 5*q + 10 = 5*o + 2*q, -5*o + t*q + 15 = 0. Are 1/5 and o non-equal?
True
Let z = -0.9 + -8.1. Let s = 9 + z. Let b = 0 + s. Is b at most as big as 18?
True
Let t(w) = w - 7. Let b be t(6). Let v be (1 + -11)*b/2. Suppose v = -3*i - c, 2*i = -c + 2*c. Is i <= -3/13?
True
Let x(r) = 91*r - 548. Let w be x(6). Suppose -3 = 4*n - s - 12, -2*n - 5*s - 1 = 0. Suppose -n*u + 2 = 0, 0 = 3*y - 0*y - 3*u + 18. Which is greater: w or y?
w
Let n be (-95)/(-25) + (-4)/5 - -7. Let m be (8/n)/(-2 + (-361)/(-180)). Is -0.1 bigger than m?
False
Let w be ((-1600)/398)/(-2) - 2. Suppose -212*o - 43 + 218 = -37. Is w <= o?
True
Let h(p) = -54*p**2 + 2*p + 9. Let q be h(-2). Let k = q - -212. Let o = -11/138 + -2/23. Which is bigger: o or k?
k
Let j be ((-3)/(-21))/((-9)/(81/30) + 3). Is j at least as big as 617?
False
Let y = -211 - -209.11. Let s = y + 2.39. Is -0.07 less than s?
True
Suppose 0 = 211*p + 223 - 1489. Which is bigger: 25.5 or p?
25.5
Let y(r) = -r**3 - 66*r**2 - 124*r + 327. Let l be y(-64). Suppose 0*t = -4*t + 284. Is l smaller than t?
False
Let b = -708 + 709. Let g be (-1)/(-2)*-2*b. Which is greater: -2/1117 or g?
-2/1117
Let j = -19444/2387 - -1/341. Let q be ((-44 - -29) + (-399)/(-28))*12. Does j = q?
False
Let b be (28/(-12))/((0 - 4)/372). Suppose -j + 0*j = 4*u + 222, b = -j - 3*u. Which is smaller: j or -201?
j
Suppose -2*n + 1794 = 3*b, 12*n - 1656 = -3*b + 138. Are 596 and b nonequal?
True
Let q be (-6 - 64/(-8))/(1 - -1). Which is smaller: q or 2/11417?
2/11417
Suppose -5*y = -5*b - 120, 0 = 2*b - 8*y + 11*y + 58. Let p = 62 + -43. Let n = p + -45. Is n smaller than b?
False
Let l = 4567 - 4006. Is l not equal to 563?
True
Let d = 99.488 + -100. Let v = 0.205 + d. Let w = -0.093 + v. Is w not equal to 12?
True
Let h = -4925/4 - -507271/412. Let d = 0 + 0. Is d equal to h?
False
Suppose 0 = -5*p - n - 296, -4*p + 11*n - 10*n - 244 = 0. Does -44 = p?
False
Let l = 164747/16 + -10298. Are l and -1 equal?
False
Let x be ((-8)/14)/(6/(-21)). Let u = -57267 + 744509/13. Is x not equal to u?
True
Let l(j) = j - 6. Let d = 121 - 114. Let n be l(d). Is n at least -1/38?
True
Let n be (57/5092)/((-12)/(-992)). Which is smaller: n or 2?
n
Suppose -3*v + 8 + 16 = -3*i, 5*i + 35 = 0. Which is smaller: 664 or v?
v
Let i = 0.0166 + 0.3224. Let y = 0.361 + i. Is y at most -2.4?
False
Let j(i) be the third derivative of -i**4/24 + 2*i**2. Let f(v) = 9*v - 34. Let x(n) = -f(n) - 6*j(n). Let b be x(10). Is b > 1?
True
Let p be (-360)/25 + 6/(6/5). Let t(n) = n**3 - 14*n**2 - 35*n + 39. Let y be t(16). Which is smaller: y or p?
p
Let z(s) = -85*s + 477. Let u be z(6). Let q be ((-24)/(-20))/((-6)/160). Which is greater: q or u?
q
Suppose 2*i - 385 - 271 = 0. Let v = i + -325. Is v bigger than -8?
True
Let t(h) = 19*h - 1369. Let l be t(72). Are 2/9177 and l nonequal?
True
Suppose -744*h = -748*h + 3*c - 11, -5*c = -4*h - 21. Let m = 8.16 - 0.16. Is h at least m?
False
Let m(o) = -o + 13. Let u be m(6). Suppose -18 = -5*i + u. Is 4 bigger than i?
False
Suppose -345 = 3*c - 63. Let m = -96 - c. Let b be (m/5)/(78/91). Which is smaller: -1 or b?
-1
Let m = -206 - -179. Let v(g) = -8*g - 77. Let u be v(m). Is 138 bigger than u?
False
Let h(c) = c**2 - 20*c - 41. Suppose 2 = 3*y - 64. Let n be h(y). Let a be 1*n*(48/18 + -3). Which is smaller: a or 1/39?
a
Suppose -8*m + 58*m = -31250. Which is bigger: -624 or m?
-624
Suppose 58795 = 3*j + 20*j - 3650. Is 2715 at least j?
True
Suppose -12 = 3*a, -5*p - 4576 = a - 20217. Which is smaller: p or 3127?
3127
Suppose 0 = -19*l + 294 + 181. Suppose -5*r - 3*z - 21 - l = 0, 18 = -3*r + 3*z. Which is greater: -65/8 or r?
r
Let g(m) = -m - 17. Let z be g(-16). Let w be -6*((-1610)/3 - 8/(-2)). Let p = w - 597650/187. Which is smaller: z or p?
z
Let p = -1268 + 84954/67. Let o(w) = w**3 - 21*w**2 - 34*w - 275. Let h be o(23). Which is bigger: h or p?
h
Let n be 1812/135*(-12)/1268. Let z = 2/317 - n. Let m be ((-1)/(-2))/(4/(-8)). Which is smaller: m or z?
m
Let a(m) = -13*m**2 + 18*m - 4. Let d be a(1). Is d greater than or equal to -4/1025?
True
Let r = -0.013 - -0.953. Let h = 40.94 - r. Let k = h + -33. Is -1/5 smaller than k?
True
Suppose -3*d - 13 = 155. Let b be (-25*26/(-325))/((-5)/137). Which is smaller: b or d?
d
Let i = -21.81 - -41.67. Let d = -0.14 - i. Let h = d + 38. Which is greater: h or -0.2?
h
Let b be 1*106 + -2 + 8. Which is greater: b or -3?
b
Let h be (5 + -1)/(-12)*0. Suppose 5*x + 5 = h, 257 - 16 = 2*u - x. Let j be (-22)/(-16) + -1 + 2955/u. Which is smaller: j or 105/4?
j
Let k be -62*(-3)/(12/82). Suppose -25*s - k + 13546 = 0. Is 491 smaller than s?
False
Suppose 18*t = -3*t + 405 + 2787. Is t greater than 85?
True
Let p = -671/81 + 127211/16119. Is 1 less than p?
False
Suppose 4 = -l + 2*l, 2*l = -2*t + 32. Let k be (-4)/(-2) + -2*(-12)/(-4). Let g be -1*(k/t - 0). Does g = 2/75?
False
Let k = 130/61 - 2788/793. Let o(r) = -r**3 + r - 1. Let l be o(0). Let d = l - 0. Which is smaller: k or d?
k
Suppose -p + 2*j = 74, 5*p + 3*j = p - 241. Let w be (153/12)/((-4)/(p/6)). Is w equal to 67/2?
False
Let r(l) = -2*l + 55. Let p = -419 + 447. Let a be r(p). Which is smaller: 434 or a?
a
Let l = 173.841 - 2.741. Let d = -214 + l. Let x = d + 43. Are x and 5 nonequal?
True
Let u = -134 + 404. Let o = u - 272. Which is greater: -21/22 or o?
-21/22
Let c be (-10 + 29 + -23)/(28/12146). Which is smaller: c or -1735?
c
Suppose -22*i + 358 = -4*p - 23*i, -4*p + 4*i - 348 = 0. Which is bigger: -1503/17 or p?
-1503/17
Suppose 5*t + 54 = -z, -5*t + 16 = -4*z - 200. Let b be (2/28)/(3/z). Suppose -4*h - 20 = -2*x, -3*h - x + 2 = -h. Which is smaller: h or b?
h
Let u be 3/(12 + -21) - (-62)/6. Is u >= -203?
True
Let n(l) = -18*l**2 - 98*l - 2622. Let i be n(-26). Do i and -12242 have the same value?
True
Suppose -2025 = 18*a + 2169. Let k = -359 - a. Is -377/3 smaller than k?
False
Let y = 43 + -36. Suppose 10*k = y*k + 33. Suppose k*c = 6*c. Is 5/11 <= c?
False
Let v = -8 + 5. Let p = -2 - v. Let a = -355 + 6746/19. Is p greater than a?
True
Let b = 1954971889/49935 + -117451/3. Which is smaller: 1 or b?
b
Let z be (500/(-40))/((-2)/(-204)). Let s be (z/12)/(1410/40) + 3. Which is smaller: -1 or s?
-1
Let y = -16.061 + 0.061. Let f = -16.1 - y. Is f bigger than 0?
False
Let o(g) = -g**2 + 12*g + 22. Let h be o(13). Suppose -h - 11 = 5*b. Let m be (-5 + 0)*b/(-10). Which is smaller: m or 0?
m
Suppose -26*p = -32275 + 6899. Which is greater: 975 or p?
p
Suppose 3*n - 2*t + 10321 = 0, -n = -3*t + 1589 + 1856. Which is smaller: n or -3440?
-3440
Suppose 2*j - 5*g = 31 - 208, 454 = -5*j + g. Let d = j - -186. Are 95 and d non-equal?
False
Let x = 403 - 411. Let t be (24 - 26)*2*103/x. Which is bigger: t or 51?
t
Let u = -8012 - -7861. Does u = -156?
False
Suppose -c = -3*t + 26487, 80*t + 79466 = -3*c + 84*t. Is -26490 at least as big as c?
True
Suppose 9 = 2*n - k - 3, 0 = -k - 4. Suppose n*f + 22 = 3*y, -5*y + 3*y - 3*f = 8. Is 7/6 < y?
True
Suppose -10*v + 30 + 30 = 0. Let q be (9/6)/(v/248). Let j be q/4 - (-27)/18. Which is smaller: j or 16?
16
Suppose -2*r - 5 = -3. Let o(z) = z**2 - 2*z + 2. Let l(y) = 3*y**2 - 4*y + 5. Let a(f) = -3*l(f) + 7*o(f). Let w be a(r). Which is smaller: w or 0.03?
w
Let y(f) = 14*f - 69. Let o = -21 - -26. Let g be y(o). W