w + 497. Let o be (z/(-308))/(36/14). Is o greater than -1?
True
Let b = 45586/323 - 2686/19. Let x(i) = -i**3 - 5*i**2 - 3*i + 5. Let f be x(-4). Which is greater: b or f?
f
Let j(g) = 8*g**2 + g - 3. Let a be j(1). Let n be 21 + (a - 1)/(10/4). Is n at most 16?
False
Let p = -17333.9 + 17955. Which is smaller: -2/7 or p?
-2/7
Suppose -51 = -x + 5*p - 60, 8 = 2*x + 3*p. Is -9/88 equal to x?
False
Suppose 0 = 75*x - 74*x + 40. Let n be 1551/121 + -13 - x/(-22). Is -73 <= n?
True
Let b(j) be the third derivative of j**5/30 - j**4/3 - 5*j**3/6 - 2*j**2. Let m be (-8)/26 - (-4002)/754. Let p be b(m). Is p less than 8?
True
Suppose 2*p = -5358*v + 5353*v - 6, 0 = -2*v - 2*p - 6. Let o = 808 + -29898/37. Is v > o?
True
Let l be 24/36 + 7/3. Suppose 4*v + 30 = -5*a, -5*v + l*v - 8 = -a. Let j(d) = 116*d + 230. Let s be j(-2). Do s and a have different values?
False
Let r = 2018 + -5790. Are -3771 and r non-equal?
True
Let x be (1/(-3))/(5/(-35) - (-1275)/8190). Which is smaller: -230/9 or x?
x
Let z(g) = -3*g - 27. Let d be z(-9). Suppose -4*n + 42 = 3*a, d = 5*a - 1 + 11. Let y be 8/(-6) + (-20)/n. Is -11 at least as big as y?
False
Let u = -22.017 + 0.017. Let s = u + 20. Is s greater than 0.034?
False
Let r(a) = a**3 + 31*a**2 + 40*a + 10. Let n be r(-30). Is n bigger than -288?
False
Let a = 7/144 - -41/144. Is -6690 greater than or equal to a?
False
Suppose -4*a + 1 = -3. Let b be 1/a + (-8)/(-8). Let y = 1/2330 + 16301/20970. Which is greater: b or y?
b
Let v(s) = 9*s**3 + 7*s**2 + 8*s - 25. Let m be v(-7). Which is smaller: m or -2824?
m
Suppose 8*q - 153 = -137. Let n be q + (106 - -5) + 6. Which is smaller: 2 or n?
2
Let b = 2 + -1.8. Let x = 3.0309 - -0.0591. Let u = -3.29 + x. Is b equal to u?
False
Let u = -2595029/5970 - -4347/10. Is 1/4 <= u?
False
Suppose 0 = -a, 100 = -c - 11*a + 1556. Which is bigger: 0.1 or c?
c
Let w(g) = 15*g - 16. Let a(r) = -13*r + 15. Let u = -95 + 101. Let x(v) = u*w(v) + 7*a(v). Let n be x(9). Are -1.9 and n equal?
False
Let s(y) = -270*y + 248. Let b be s(0). Is b <= 249?
True
Let u = -33668 - -76259/2. Let y = -4210 + u. Let q = y - 15589/62. Is -1 bigger than q?
False
Let j = -17186 - -17188. Let r = 7951/6 - 1320. Is r less than j?
False
Suppose -117 = 5*r + h, -2*r + 1409*h - 39 = 1412*h. Let s = -11.9 - -0.9. Which is smaller: s or r?
r
Let f be ((-14)/1981)/((-147)/42). Is f at least as big as -1?
True
Let j = -5.1 + 7.42. Let v = j - 2.393. Does 2/7 = v?
False
Let n(x) = -20*x - 6. Let s be n(9). Let h = s - -189. Suppose 0*l + 3*l = 15. Is h equal to l?
False
Let m = -53 - -53.8. Let t = 113 - 113.75. Let k = t + m. Which is smaller: k or 2?
k
Let f(j) = -217*j + 22. Let d be f(-2). Let k be (-57)/d*(-4)/5. Which is smaller: 1 or k?
k
Suppose 1383*v = 1377*v + 222. Suppose 3*l - v = -2*g - 8, -2*l = 5*g - 78. Let a be 1/(-2) + (-29)/(-2). Which is bigger: g or a?
g
Let o(h) be the first derivative of -10*h**3/3 - 2*h**2 - 2*h + 243. Let q be o(-2). Is -31 > q?
True
Let i(j) = 3*j**2 + 24*j + 111. Let t be i(-5). Suppose -3*r + 269 = -2*n + 63, 5*r + n = 339. Which is smaller: r or t?
t
Let l = -2/727 - -9463/4362. Suppose -169*i = -267*i + 196. Do i and l have the same value?
False
Let l = 137408/2275 + 2/2275. Let k(w) = -2*w**3 - 29*w**2 - 17*w + 18. Let n be k(-14). Let z = n - l. Is -4/3 >= z?
False
Suppose -45 = -4*t + 19. Let g be (-22)/4 + -1 - t/32. Are -0.1 and g non-equal?
True
Let c = -35686 - -35342.47. Let h = -306.4 - c. Let f = h + -37. Which is smaller: 2 or f?
f
Suppose 0 = 5*r + 2*u + 10841, 4*u - 2090 - 6566 = 4*r. Are r and -8673/4 unequal?
True
Suppose -23*l = 5*j - 27*l - 6884, 4*l = 7*j - 9628. Is j != 1372?
False
Let y = 261.17 + -264.17. Which is smaller: y or 389/3?
y
Let k be 1*(5634/42)/(-1). Let n be (402/4)/((-48)/64). Let b = n - k. Which is greater: -0.2 or b?
b
Let u = -2784 + 2007.1. Let y = u - -777. Which is smaller: y or 329?
y
Let w = 16276 + -16275. Is w smaller than -2/71175?
False
Let a be (-13)/(-84) - (-10)/(-18)*(-63)/(-105). Which is smaller: -3 or a?
-3
Let x(f) = -f**3 + 4*f**2 + 6*f - 6. Let z be x(5). Let u be (-34)/(-765)*12/16*-2. Which is bigger: u or z?
u
Let c be 10*1/2*(-17)/85. Let u be (34/(-2))/(5/(-10) - c). Is u at most as big as -25?
True
Let z be 24/9 + 2/(-3). Suppose z*k + 13*i + 3 = 10*i, -5*i + 3 = 2*k. Let n be (-2)/((-2)/(-27)*3). Which is greater: k or n?
k
Let o = -6047 - -6047.11. Let t = -3.3 + -0.7. Which is smaller: t or o?
t
Let x = -20.1 + 20. Let z = 0 + 32. Let u = z - 65. Is x less than or equal to u?
False
Suppose -7*a = -11*a - 5*d + 11, 0 = 4*a - 2*d - 18. Suppose y - 4*h + 0 = 18, 16 = -a*h. Which is greater: 25 or y?
25
Let c(r) = 475*r**2 + 10*r - 9. Let w be c(1). Suppose 7*k - w = -7*k. Is 37 >= k?
True
Let s be (-218)/(-360) + (1/(-12))/(131/393). Is -21 at least as big as s?
False
Let d be 4 + (-3840)/(-184)*((-40)/25)/(-4). Is d smaller than 13?
True
Let l = 1688.6 - 1688.63. Which is greater: -32/11 or l?
l
Suppose 0 = -2*g + 18 + 8. Let i(m) = 2*m - m - 22 - g + 29. Let q be i(7). Which is greater: 14 or q?
14
Let r be 2 - (3 + -6 + 2). Suppose -6 = -r*c - 4*q + 7, q = 1. Suppose -c*u + 12 = -30. Which is bigger: u or 13?
u
Let x be -23836 - -1 - (-40 - -41). Let u = x + 27482910/1153. Which is smaller: u or -1?
-1
Let t = 5176 - 67336/13. Let m be -1 - -6 - ((-20)/5 + 7). Suppose 5*w + 2*o + 19 = 0, m*o = -3*w - 0*w - 9. Which is smaller: t or w?
w
Suppose -1 + 31 = -5*k. Let h(p) = p**3 - p**2 - 57*p - 15. Let b be h(-7). Is k not equal to b?
True
Let v be 9/(-15) - -1*(-3365)/(-5775). Let a(m) = 2*m**2 + 7*m + 5. Let z be a(-1). Is v at most as big as z?
True
Let g(p) = p**2 + 12*p - 8. Let f be g(-12). Let y be (36/(-6) - f)*(-62)/4. Is -157/5 less than y?
True
Let u(z) = -33*z**2 + 19*z + 14. Let h be u(6). Let l be 9/45*h/(-8). Which is bigger: 28 or l?
28
Let w = 9830 + -3194. Let f be w/(-21)*3/14. Which is bigger: f or -68?
f
Suppose 13 + 7 = 5*o. Let f = o - 5. Let k = -0.02602 - -0.28602. Is f at most k?
True
Let m be 32548/(-42) - 8/15*(-730)/(-292). Which is bigger: m or -777?
m
Let l(a) = 20*a + 1. Let s be l(1). Let c be (10/(-15)*s)/(-1). Let w be 4/(-6)*(-21)/c. Is w equal to 5?
False
Suppose 5*g - 4187 + 161 = -3*k, -5*g + 4050 = -5*k. Which is smaller: 809 or g?
g
Let m = 0.6242 + -0.7242. Is 6078 at least as big as m?
True
Let h(q) = -6*q + 3. Let j be h(-3). Let z = 32996 - 32978. Is z not equal to j?
True
Let k = 47.16 + -46.96. Which is greater: 0.032 or k?
k
Let t(p) = p**2 - 3*p + 3. Let c be t(3). Let x = -485 - -450. Let z = -81/2 - x. Is c at most z?
False
Let q = 1100 - 776. Let b = 327 - q. Do b and 13/3 have the same value?
False
Let w(y) = 5*y**2 + 3*y + 4. Let u be w(-2). Let d be ((-6)/u)/((-2)/6). Let p be 2 + 0/(d + -5). Which is bigger: 5 or p?
5
Let s(b) be the second derivative of 0 + 1/20*b**5 - 13/12*b**4 + 37*b + 2*b**3 + 5*b**2. Let d be s(12). Which is smaller: d or 8?
8
Suppose -3*m - 335*l + 339*l = -5568, -m + 1864 = -4*l. Is m greater than 1852?
False
Let r = -699 + 456. Let w = r + 244. Is -74 smaller than w?
True
Let g = 203 + -154. Let j = 44.8 - g. Which is greater: j or -3?
-3
Let f = 46 - 45.23. Let n = 0.772 - f. Let l = -43.998 - n. Is l < -2/7?
True
Let v(q) = 8*q**2 - q**3 + 5*q**2 + 1 + 2 - 14*q**2. Let m be v(-2). Suppose -8*g = -m*g + 69. Is g less than -68?
True
Let p be (310/217)/((-138)/14). Which is greater: 0 or p?
0
Let l be (-4)/6 - (325/6)/(-25). Let m be 18/8 - (-3)/4. Which is smaller: m or l?
l
Let s be 48300/299 - (-6)/13. Is 645/4 > s?
False
Suppose 1183 + 626 = 2*i + 3*j, -3*j = -4*i + 3681. Do i and 10074/11 have the same value?
False
Let x = -928.43 + -6.57. Is -0.1 bigger than x?
True
Let p(d) = 6*d**3 + d**2 - 2*d + 1. Let i be p(1). Suppose -5*n + i = -q, -q - q = -3*n - 2. Which is smaller: 2/41 or q?
2/41
Let r(l) = -2*l**2 + 68*l + 3. Let p be r(34). Suppose -4*f = -w - 8, 3*f + p*w + 8 + 1 = 0. Let o be (-274)/(-910) + (-4)/14. Which is greater: f or o?
f
Let j = 23336 - 23622. Which is greater: -0.44 or j?
-0.44
Let v be 4/24 + 67/(-6). Let j = -474 - -483. Let w = v + j. Is w <= -13/5?
False
Let q = 33169 + -33166. Let f be 0*((0 - -1) + -2). Let i(y) = -y**2 - y + 4. Let c be i(f). Which is greater: c or q?
c
Let x = -