-56)/49)/(-2 - (-48)/28). Suppose i*q = -4*z + 8, 34*q - 38*q = 5*z - 8. Let f be 2*(1 - (-384)/(-386)). Which is bigger: z or f?
f
Let d be 1 - 2*(-7764)/42 - (-2)/7. Which is smaller: d or 370?
370
Let y(z) = 2*z**2 + 266*z - 81. Let h be y(-67). Is -8924 not equal to h?
True
Suppose 2*r - 3*p = -9, 0 = -r - 3*p + 30 - 12. Suppose 0 = -4*k + 5*s + 55, -5*s - 15 = -r*k + k. Suppose -2*q = -2 - k. Are q and 11 unequal?
False
Suppose -31*u - 3*n = -33*u - 34, 5*n = 2*u + 42. Let m(d) = -d**3 + 6*d**2 + 7*d. Let i(o) = -o**2 - 10*o - 2. Let b be i(-9). Let q be m(b). Is q less than u?
False
Let q = 280 - 154. Let j = q + -123. Is 21 smaller than j?
False
Let a be ((-1)/(-3))/((-56)/168). Which is greater: a or -6/5675?
-6/5675
Let v = 4427 + -4197. Are v and 225 nonequal?
True
Let d = -3094 + 3088. Let z(w) = w**2 - 5*w + 2*w**2 - 5*w**2 - 5 + 2. Let j be z(-3). Is d greater than j?
False
Let i(c) = 2*c + 37. Let p be i(-16). Suppose 73 = p*l - 2*l + 5*q, 50 = 2*l + 4*q. Let a be (-153)/l + (11 - 6). Is a < -3?
False
Let v(l) = -l**2 + 13*l - 40. Let z be v(8). Suppose z = -5*a + 28 - 43. Is 6 > a?
True
Suppose -z + 3*z = -4. Let m be z*(-5)/15 - (-24)/(-33). Let l(n) = n**3 + 5*n**2 + 4*n - 1. Let v be l(-4). Which is greater: v or m?
m
Suppose -v = -z - 4*v - 5, -2*v = -z + 5. Let p be (((-15)/(-2))/5)/(z/50). Which is greater: 76 or p?
76
Let d be 14*(-8)/((-112)/245). Suppose 4*x - d = -5*p + 269, -304 = -3*p + 2*x. Which is smaller: p or 103?
p
Let x = 505 - 501. Suppose -3*l + 2*l + 78 = 4*q, x*q - 74 = l. Which is smaller: 11 or q?
11
Let m = 12846 + -13257. Which is greater: m or -417?
m
Let j = 29/80 + 3/80. Let r = -4648 - -4648.3. Which is bigger: j or r?
j
Let o be (-2 - (-231)/114)*18. Suppose -2*p + 11 = 3. Let s be (p - 4)/(3 + -3 - 2). Is o >= s?
True
Let p be 976/6 - 378/81. Suppose 2*g - 233 = 83. Is p less than or equal to g?
True
Let j be (-15450)/(-900) - 7/2. Suppose -c = -3*v - 10, 5*v + 25 = 4*c - 22. Which is smaller: c or j?
c
Let n = 246 + -253. Let x(r) = 14*r - 92. Let d be x(n). Are d and -190 equal?
True
Suppose -36*u + h = -37*u - 13, -3*h = 2*u + 29. Is u smaller than -416/37?
False
Let a = 326.995 - 325. Let z = a + 0.005. Is 4/3 bigger than z?
False
Suppose 0 = -10*h - 2*h - 0*h + 8064. Is h bigger than 672?
False
Let g = 21212.744 + -21208. Is g greater than -1/3?
True
Suppose 22*o - 320 = 12*o. Let l be (9/(-6))/((9/(-68))/3). Is l equal to o?
False
Suppose -u + v - 6 = 0, 23*v - 24*v = u - 4. Which is greater: u or -15/131?
-15/131
Let a(n) = n - 4. Let s be a(6). Let j be -11 - 2090/(-836)*(80/(-6))/(-2). Is j greater than or equal to s?
True
Let r be (-24)/774*(-18)/16*12/9. Is r > -66?
True
Let i(n) = n**3 + 20*n**2 + 38*n + 39. Suppose 70*w = 75*w + 90. Let k be i(w). Suppose -k*t = 2*t. Is t less than or equal to -2/19?
False
Let g = 193 + -491. Let n = 299.9 + g. Which is smaller: n or 4?
n
Let n(q) = 17*q**2 - 105*q - 759. Let h be n(-7). Which is greater: h or 808?
h
Let s = 354.37 - 354.27. Let h be (-224)/(-954) - 6/27. Does s = h?
False
Let p(z) = -z**2 + 2*z + 4. Let o be p(3). Suppose 73 = -w - n - o, -238 = 3*w - n. Let q = w + 76. Is -20/13 <= q?
False
Let q be -6*110512/1326272 + (-1)/(-2)*1. Which is greater: q or 1?
1
Let x(i) = -i**2 - 20*i - 17. Let v be x(-16). Let k be ((-8)/20)/(1/((-5)/v)). Suppose 0*m = -3*m. Which is smaller: m or k?
m
Let k = -5651 - -5698. Which is smaller: k or 2/35?
2/35
Let a = -3.72 - -2.505. Let i = a + 0.215. Which is greater: -0.6 or i?
-0.6
Let o(x) = 5*x - 4. Suppose -15 + 3 = -4*p. Let m be o(p). Suppose -3*l = 2*u - m, -8*l + 2*u - 3 = -3*l. Is 0 greater than l?
False
Let i = 2833179087/2088485 + -1/298355. Which is bigger: i or 1357?
1357
Suppose -2*i - 6 + 0 = 0. Let z = -144 + 1006/7. Let c = -157/35 - z. Is c bigger than i?
False
Let k = 1246/351 - 629078/176553. Is 1 bigger than k?
True
Suppose -4*r = 5*p + 1937, 5*p - 82*r + 1986 = -79*r. Which is greater: -399 or p?
p
Let u be 8 + 702/(6 + (-275904)/2943). Which is bigger: u or -1?
u
Let q = -189526/3 + 62587. Let x = q + 581. Is -6 at least x?
True
Let z = -12155 - -303932/25. Is z < 2?
False
Let b(w) = -155*w**3 + 8*w**2 + 6*w + 3. Let d be b(-10). Let u be 5 - (d/1638)/19. Which is greater: u or 1?
1
Let d = -1515 - -873. Which is bigger: -640 or d?
-640
Let y = 502 - 1446. Let n = 943.7 + y. Which is smaller: n or -3/41?
n
Let n = 0.065 + 547.935. Let i = -548 + n. Is -51 at most i?
True
Suppose -3*u + 1660 = -2*p + 1658, 2*p + u - 6 = 0. Is -1703/3 != p?
True
Let h = -94.6 - -97.8. Is -0.095 at most as big as h?
True
Let f(s) = -2034*s + 125. Let t be f(4). Are t and -8012 nonequal?
True
Let n be (-16 - 1 - 2)/((62 - 33)/29). Is n at least as big as -1/35?
False
Suppose 0 = -t + 5*t - 2*h - 14, 3*t - 18 = -h. Suppose t*k = 63 + 67. Let j be (-13)/k*(-1 - 0). Which is smaller: j or 0.05?
0.05
Suppose -3082 = 8*i + 1174. Let v be (-236)/i + (-6)/(-21)*-1. Let n = 0.5 - 0.6. Which is smaller: n or v?
n
Let v(g) = 2111 - 7*g - 10*g - 2014. Let j be v(6). Is -41/7 at most as big as j?
True
Let l = 47 + -58. Let n(g) = -2*g**3 - 18*g**2 + 42*g - 11. Let a be n(l). Suppose 2*k - 2*o - 13 = 3*o, -4*k = 3*o - 39. Which is smaller: a or k?
k
Let l be (-2)/3 - (-640)/996. Let k be 1/(-2)*(-8 - -2). Suppose k = -0*q + 3*q. Which is bigger: l or q?
q
Suppose 4*h - 12 = -5*z, 15 = 5*h - 61*z + 63*z. Let c be 1*h*(-5)/(1 - 16). Let b = -91/22080 + -1/920. Is b <= c?
True
Let m = -0.04123 + -6.95877. Is m greater than or equal to 0.103?
False
Let w = -16198 - -15777. Which is greater: -422 or w?
w
Suppose 0 = 15*i - 2798 - 7. Suppose g = -16*g + i. Is g at least 16?
False
Let i = -31585 - -22160. Which is greater: 0.1 or i?
0.1
Let q = 23934 - 550576/23. Is q smaller than -4?
True
Let a(w) = -w**3 - 1. Let p be a(0). Let m(s) be the first derivative of 13*s**2/2 + 3*s - 41. Let t be m(p). Do t and -47/5 have the same value?
False
Suppose -30 = 25*t + 345. Let w be (-36)/(-60) - 3876/t. Is w greater than or equal to 259?
True
Let o = 1 + 2. Let m be o/9*0 - 2. Let f = 1644 + -1643.97. Is f <= m?
False
Let s be ((-14)/252)/((4/1310)/(12/(-15))). Which is bigger: 14 or s?
s
Let z = 0 - -1. Let v be (-5)/10 + (-34948)/(-88920). Let w = 1/585 + v. Is z not equal to w?
True
Let j = 426 + -427. Suppose -4*x - 13 = n, 0 = 2*x - x + 3*n + 17. Let r be x/(-2) + 48/(-51). Is j not equal to r?
True
Let b = -12154 + 9636. Which is smaller: b or -2520?
-2520
Let x(v) = v**2 + 8*v - 5026. Let q be x(-75). Which is smaller: q or -36/1049?
q
Suppose 3*f + 0*f = -117. Let n = -159 - -199. Let q = f + n. Is q greater than 4/21?
True
Suppose 0 = -16*t + 15*t - 4*o - 11, -t - 1 = -o. Let r(p) = p**3 - 7*p**2 + 10*p - 17. Let j be r(7). Are t and j equal?
False
Suppose 2*r = -4*w - 324, 25*w + r - 460 + 2508 = 0. Which is greater: -407/5 or w?
-407/5
Suppose -16 = 6*q - 4*q. Let z be (-3)/q - (-231)/(-168). Are -2/1425 and z non-equal?
True
Let w be 50 + ((-90)/27 - (-2)/(-3)). Suppose 11*m - 12*m = 2*b + 2, 4*b + w = 5*m. Which is bigger: 76/11 or m?
76/11
Let p = 50641/276624 - 28/153. Which is smaller: p or 0?
0
Let p be 2/10*-2 + 8050/125 + 2. Is 49 less than p?
True
Let r be (-78)/(-260) + (-2017)/(-10). Is r < 209?
True
Suppose 5*d = -0*d. Let l be 32/(-80)*9/(-102). Is l equal to d?
False
Let r be (539 + (-1)/1)*-44*(-9)/2772. Which is greater: r or 78?
78
Let o be ((32/(-21))/8)/(900/(-350)). Which is greater: -20 or o?
o
Let q be 1*(-1)/82 - 0. Let j = -167/246 - q. Let u be (-248)/(-279) - 806/279. Which is smaller: u or j?
u
Let i(n) = n + 15. Let b be i(-9). Let k = -26 + 23. Let m be 10 - (0 + (-12)/k). Is m bigger than b?
False
Let x = 438 + -434.86. Let y = -1.22 + x. Which is bigger: y or -0.1?
y
Let l(m) = -m**2 - 152*m + 6101. Let p be l(33). Let i be (-2 + (-13)/(-2))*-2. Does p = i?
False
Let z = 624 + -3084. Which is bigger: -2461 or z?
z
Let f = 781 - 949.5. Let n = f - -62.5. Is n greater than 2/3?
False
Let g(q) = 9*q**2 + 230*q - 3465. Let p be g(14). Which is bigger: p or 6079/4?
6079/4
Let c = -1.04 + 0.37. Let o = 0.87 + c. Are -4 and o nonequal?
True
Let f = 60 - 53. Let h be (f/(-21))/((-2)/(-6)). Let b be (-4 - (-216)/55)/(h/(-15)). Which is greater: -1 or b?
-1
Let b = 8 + -8. Let f = 3581 - 