 395 equal to z?
False
Let q be (4 + 366/(-8))/(135/(-36) + 4). Is -3188/19 greater than q?
False
Suppose 24*n - 13748 + 292666 = -33226. Is n greater than -13006?
False
Let p = -1775/9 + 198. Suppose -14 = -4*q - 2*g, -3*q - 1528*g = -1529*g + 2. Which is smaller: p or q?
p
Let i be (-2835)/(-90) - (10/30)/(2/(-6)). Which is smaller: i or 7/5?
7/5
Let h(q) = -25*q**2 + 5 + 10 - 5*q + 16 - 25. Let t be h(1). Which is bigger: -23 or t?
-23
Let a(z) = -z**3 - 202*z + 224. Let k be a(0). Is 216 less than k?
True
Let d = 162980/79 - -19132370/2291. Let p = d + -10418. Let q = p - -4028/1073. Which is greater: q or 0?
0
Let r = 4/33025 + -124897/758518200. Is r at most 0?
True
Let f be 4/26 + 43389/117. Let n = 372 - f. Is n greater than or equal to -2/1707?
True
Let t = 725/7 + -2168/21. Let f(b) = b**3 + 5*b**2 - 6*b + 7. Let y be f(-6). Let i = y - 11. Is i smaller than t?
True
Let b(x) = -x**3 - 12*x**2 - 2*x - 24. Suppose 2*g + 4*q = -4, -3*g - 67 = -4*q - 11. Let w be b(g). Let a be 16/35 + 4/(-10). Is w <= a?
True
Let y(m) = 11*m - 22. Let j be y(2). Let a(o) = 3*o - 14. Let d(z) = -z + 5. Let u(c) = -4*a(c) - 11*d(c). Let k be u(j). Is -1/76 > k?
False
Let x(w) = w**2 - w + 1. Suppose -8*p = -0 - 40. Suppose -5*l = 5*k + p, -3*l + 7*k - 2*k + 5 = 0. Let g be x(l). Is 1/9 smaller than g?
True
Let d = 2 + 3. Suppose 6*p + 23 = 275. Let q be 24/p - 62/(-14). Is d at most q?
True
Let q(p) = -74*p - 1979. Let l be q(-21). Which is greater: l or -429?
l
Let m = -39.777 + 40. Let w = 0.862 + m. Let y = -0.085 + w. Which is smaller: -18 or y?
-18
Let h = 6522 - 6444. Let z(g) be the first derivative of -11*g**2 - 9*g - 2. Let d be z(-4). Which is greater: d or h?
d
Let z be (7/(-14))/(25/(-3)). Let f = -8016 + 8015. Which is smaller: z or f?
f
Let v be 4/(-10) - ((-73)/(-5) + -10) - -5. Is v equal to 77/68?
False
Let l(y) = y**3 + 19*y**2 + 2*y + 38. Let b be l(-19). Let s = -8 + 16. Let a be (-4)/(-32)*s/54. Which is smaller: b or a?
b
Let r(v) = -v**2 + 15*v + 132. Let a be r(-6). Suppose -9*o = -a*b - 7*o + 800, -396 = -3*b - 3*o. Which is smaller: 267/2 or b?
b
Let r = 3955 + -3956. Are 172 and r unequal?
True
Let k be 7/(6/24*-1). Let n be (-3)/21*k/(-8). Are -71 and n non-equal?
True
Suppose t = -4*r + 162, -5*r = -2*t + 55 + 295. Let f = t + -290. Are -119 and f non-equal?
True
Let d = 2895 - 2872. Let m be 1 + 5*(-8)/(-2). Is m greater than d?
False
Let t(a) = -270*a - 301. Let u be t(-12). Which is smaller: u or 2938?
2938
Let f(i) = 17*i + 7. Let q be f(-3). Let o = q - -144. Which is smaller: o or 99?
99
Let n = 6175.63 - -70.37. Is -1 >= n?
False
Let z = 1928 - 1965. Is z smaller than -402/11?
True
Suppose 2*l + 29 = t, -4*l - 566 = t - 619. Suppose 4*s + 84 = 7*s. Which is bigger: s or t?
t
Suppose -6*y = -4*d - y + 82, 23 = 3*d - y. Suppose 29 = -3*x + 5*z - 272, 378 = -4*x - 5*z. Let t = x + 678/7. Which is greater: d or t?
d
Let h(z) = z - 46. Let g be 7320/160 + (-1)/(-4). Let c be h(g). Let t = -2/685 + -541/49320. Which is smaller: t or c?
t
Let g = -134.8 - 22.2. Let a = -158 - g. Which is smaller: -0.043 or a?
a
Let f(d) = 3938*d + 89. Let i be f(1). Which is smaller: i or 4026?
4026
Suppose 0 = 3*n + 12, 5*q - n = 2*n - 498. Let p be (-652)/20 + 2/(-5). Let z be ((-1)/p)/((-17)/q). Is -1 at most as big as z?
True
Let f(m) = -33*m**2 + 69*m + 447. Let p be f(-7). Which is greater: -1654 or p?
p
Let s = -1368 - -2239. Suppose -32*n = s + 1881. Do -86 and n have different values?
False
Let p be 3 + 7/((-42)/36). Let l be 1162/584 - (6/p)/(-1). Does -1 = l?
False
Let k = -3657 - -3642. Let r be (2/(-2))/(2/16). Let v = r - k. Which is greater: 6 or v?
v
Let y = 0.1346 + -0.2346. Which is smaller: y or 515?
y
Suppose -2*n = -2*o + 3*n + 13, 0 = 3*o - 5*n - 12. Let h = -1/572 + 2305/9724. Is o greater than or equal to h?
False
Suppose 0*r + 5*r = 25. Suppose 2*o - r*o - 3 = 0. Let x be 837/(-108) - (-10)/(-8). Is x equal to o?
False
Suppose -4*s = -11 - 5, -3*q + 3*s - 7071 = 0. Which is greater: q or -2352?
-2352
Let z = -583612321/63 + 9264281. Let m = z + -4853/9. Let s = -54 + m. Which is smaller: 2/5 or s?
s
Let m(b) = -b**2 - 2*b + 2. Suppose -8 - 12 = -5*j. Suppose 0 = 4*n + 4*l - 4, 0 = -4*n + j*l - 2 - 2. Let f be m(n). Is f smaller than 6?
True
Suppose -4*y + 0 = 4. Let p be (-2 + (-2)/y)*1. Let f = -4512 + 1096414/243. Which is smaller: f or p?
f
Let f = -12383071/19 + 652257. Let a be -34 + (18 - -17) - 1*(517 - 0). Let z = a + f. Which is bigger: -1 or z?
z
Let t = 0.308 - 0.3. Let w = t + 0.992. Which is greater: -27/13 or w?
w
Let v(g) = g**3 + 19*g**2 + 21*g + 112. Let r be v(-18). Suppose 0 = 3*h - r + 10. Is 16 not equal to h?
False
Let n(b) = b**2 - 15*b + 19. Let g be n(14). Suppose p - 18 = -g*p. Suppose 4*d = -20, -3*l = l + p*d + 51. Do l and -9 have the same value?
True
Let g(r) = r**2 - 8*r - 34. Let p be g(11). Which is bigger: p or -1/837?
-1/837
Let c = 191799 - 14385131/75. Is c equal to -2?
False
Let x = 1598/61 + 17436/671. Which is bigger: 51 or x?
x
Let m(w) = -46*w - 1680. Let j be m(56). Which is smaller: j or -4255?
j
Suppose 0*b - 3*b = -6. Let m be ((b - 11/3) + 1)*-6. Suppose -k - 8 = -4*x - 1, -4*k - m = -4*x. Is k greater than 1?
False
Let c(s) = -s**3 - 8*s + 7. Let h be c(2). Let k = -30 - h. Is k greater than or equal to -10?
False
Let n be (-108310)/7736*(-192)/672 - 4. Which is greater: n or 1?
1
Let f be (-24 - -6)*(-10)/(-4). Let h be (f/(-510))/(15/(-40)). Suppose r + 9 = -g - g, -4*r - 11 = 3*g. Which is greater: r or h?
r
Let x(j) be the third derivative of j**6/120 - 13*j**5/60 - 7*j**4/6 + 2*j**3/3 + j**2 + 2*j. Let o be x(15). Is o less than or equal to 30?
False
Let u be 5/(-2)*72/180. Which is smaller: u or 1108?
u
Let p(o) be the first derivative of o**2/2 - 8*o - 11. Let m be p(6). Let d be m/(-5)*(-65)/78. Is 11 smaller than d?
False
Let j = -173/3 - -57. Let z = 1.5 - 24.5. Let t = 19.2 + z. Is j < t?
False
Let k = 1241932425/2397766 + -27/55762. Let c = 518 - k. Let i = 59.3 - 59. Which is greater: c or i?
i
Let w(z) = -3*z**3 + 2*z**3 + 15*z**2 - 29*z**2 + 5 - 23*z + 17*z**2 + 22*z. Suppose 0 = 2*o - 3 - 5. Let q be w(o). Is q < -17?
False
Suppose 0*q = 8*q - 296. Suppose -4*j - 5*j - 270 = 0. Let f = 6 - j. Is q >= f?
True
Let d(f) be the second derivative of -f**3/3 - 9*f**2/2 + 8*f. Let w be d(10). Let b = w - -24. Is -8 less than or equal to b?
True
Let c = -495/297856 - 1/4992. Which is smaller: 1 or c?
c
Let o be (8/(-32))/(45645/(-6520) - -7). Is o < 325?
False
Let d = -1.131 - 0.139. Let v = d + -0.93. Are v and 3/5 unequal?
True
Let o(f) = -f + 4. Let i be o(-6). Let p = 2285 - 20569/9. Which is smaller: i or p?
p
Suppose 5*b + 2*d = -3*d - 50, -2*b - 26 = 4*d. Let p be ((-22)/(4/2))/(b - -6). Is p less than 9?
False
Suppose 0 = 3*d - 0*d + 96. Let o(m) = -16*m - 65 + 47 + 4*m - 4*m - 7*m**2. Let c be o(-3). Which is smaller: d or c?
c
Let h be (1 + 0)/((-49)/49). Let x = -62/437 + -4/23. Are h and x unequal?
True
Let y = 18697.65 + -18697. Which is greater: y or -5.8?
y
Suppose 5*j + 5*s + 5 = 0, -j + s - 3 + 4 = 0. Suppose j = -104*q + 95*q + 18. Suppose 0 = 2*t - 2, 2*c + 6 = 5*t + 13. Is q bigger than c?
False
Let g be (-460)/(-6) - (-105)/(-63). Suppose -4*o = -9*o + g. Suppose 3*t + o = 4*h - 0*t, h - 25 = 5*t. Which is bigger: -3/7 or h?
h
Let l be 1 - (0/4 + 0). Let t be -8 - ((-11 - -1) + l). Is t at most 12/43?
False
Let u(l) = -7*l - 3279. Let g be u(24). Which is smaller: g or -10342/3?
-10342/3
Suppose 5*x + 165 = 2*p, 4*p = -5*x + 52 + 383. Suppose 5*h = 49 + 456. Does p = h?
False
Suppose 0 = -166*u - 262*u + 856. Which is smaller: u or 28?
u
Let k = 81007/49 + -1653. Let f = k + -12/539. Let c = -1 - 0. Is c at least f?
False
Let z = -8231 + 8321. Which is smaller: z or 1/3?
1/3
Suppose 11*c + 43*c + 223 = -169*c. Do c and 1100 have the same value?
False
Let p = -216 + 181. Let x be 1*-4 + -328 + p. Is x less than or equal to -365?
True
Let n = 91 - -4. Let s = n + -95. Let d be 2/2 - (-12)/(-15). Is s <= d?
True
Let l be (7*(-21)/196)/((-2)/16). Suppose -1591*u = -1589*u - l. Which is smaller: u or 1?
1
Let k be 5*(18/10)/((-2)/(-4)). Let j(c) = 2*c**2 + 10*c - 16. Let h be j(-7). Let b be 3*(28/h - -3). Is k bigger than b?
True
Suppose 0 = 