gger: a or z?
a
Suppose 0 = -33*q + 34*q + 10. Let s be (-4)/(-18)*-3*15/q. Let v(k) = 16*k**3 + k**2 - 2*k. Let c be v(s). Are c and 13 equal?
False
Let r be -7 - 899/(-155) - 202*(-256)/10. Is 5170 bigger than r?
False
Let x = -9845 - -265649/27. Is -7 at least as big as x?
False
Let b be ((-12)/(-9))/(0 + (-3)/9). Let g be (-496)/40 + b/(-10). Let v = -10 - g. Is 5/2 < v?
False
Let g = -63.7337 + -0.0663. Let b = -112.5 - g. Let o = b + 49. Which is smaller: o or -5?
-5
Let m = -7376 - -8590. Which is greater: m or 2427/2?
m
Suppose 11 = f + 3*r, 5*f - r + 3*r = 107. Let c be -1 + 0 - (5335/44)/(-5). Which is greater: f or c?
c
Let n = 481.75 + 80.25. Which is bigger: -1/2 or n?
n
Let h(r) = -3*r**3 - 30*r**2 + 17*r + 27. Let j be h(-11). Let p be (-1 - j)/(-3)*2/92. Is p < 1?
False
Let m = 3.19 + 388.81. Let o = m + -375.7. Which is smaller: o or 2/3?
2/3
Let r(l) = 15*l + 18. Let q(f) = 8*f - 2. Let j be q(0). Let k be r(j). Let p be -12 + (-2)/(-3)*3. Which is smaller: k or p?
k
Let j(b) = b**2 + 6*b + 9. Let f be (2/(-2))/(14/(-266)). Suppose -3*a - 28 + f = 0. Let u be j(a). Is u greater than -4/35?
True
Let u be ((-1230)/(-112) - 4) + 3 + -10. Is 1 greater than or equal to u?
True
Let v(f) = -3*f - 12. Let n be v(-4). Let x = -2140/7 - -307. Let z = -51/56 + x. Which is smaller: n or z?
n
Let r(z) = 2*z**2 - 2*z - 11. Let m be r(4). Let x(v) = -v**2 + 12*v + 8. Let u be x(m). Let s be (9/u + (3 - 3))*-5. Which is greater: 10 or s?
10
Suppose -7898 = -2*n + 18*n - 1754. Is n greater than or equal to -387?
True
Let x = 25151 + -25117. Which is smaller: x or 14?
14
Suppose -10*l - 4 = -24. Let q be 1 + -1 + 158 + l + 0. Suppose 9*k - 13*k - q = 0. Which is greater: k or -39?
-39
Let m be (2888/152)/(8 - 1). Which is greater: m or 2?
m
Suppose 3*d - 4 - 1 = -2*t, -d + 13 = -5*t. Let z be (14/d - 2)/(6/(-63)). Let j be (-8)/30*(-10)/z. Which is smaller: 1 or j?
j
Let a = 0.19 + -0.153. Let z = a + 55.963. Is 2/5 equal to z?
False
Let p be (4 - 10)*(-9)/(-6). Let f be (-6)/(-27) - (-12)/(-54). Suppose f = t - 7 + 9. Which is smaller: p or t?
p
Let c be 78/14 - (-108)/(-189). Suppose 0 = -10*j - c*j. Is j less than 2/17?
True
Let r be (10/90*123)/(2 - (-21)/(-6)). Is r at least -9?
False
Let x(c) = 21*c**2 - 5*c + 2. Let l be x(-2). Let k be 1*(7 - 11) + (l - -1). Does 93 = k?
True
Suppose 9*u = 9 + 9. Suppose 2 = 2*b + u*z, 2*b - b - 7 = -4*z. Which is smaller: 3/65 or b?
b
Let q = -4747 + 4760. Let w be (-406)/18*36/(-63). Which is bigger: q or w?
q
Let k = -29050 + 29048. Which is greater: k or -5777?
k
Let o be (176/20)/(4*(-6)/(-14760)). Let p = 37950/7 - o. Which is smaller: -2/5 or p?
-2/5
Let b(u) = -2*u**2 + 2*u + 2. Let j be b(-1). Let l be (-1)/(-3) + (-2)/9*-3. Let d(v) = 5*v**3 - 2*v + 2. Let i be d(l). Which is bigger: i or j?
i
Let d = 1840 - 1760. Which is smaller: 84 or d?
d
Let z be (914/8)/((91/28)/13). Let v = 21 - z. Is -436 >= v?
True
Suppose 1 = -g + 2. Let p be g - 5 - 0/(-16). Let o = -6 - -4. Which is smaller: p or o?
p
Let k = -2986 + 2987. Let w = 38.3 + -45. Is w > k?
False
Let p = 431.0483 + -0.0483. Let m = -432 + p. Which is smaller: -41 or m?
-41
Let j = -19198 + 19226. Is -4/11 bigger than j?
False
Let u be (1269 + -11)/(2/4). Is u > 2520?
False
Let w be 11670/270 + ((-25)/(-9) - 3). Are -5 and w unequal?
True
Let u be 2 - 6 - 2265250/(-565149). Let c = -8/337 + u. Is 0 >= c?
True
Suppose -4*y - 4*c - 196 = 0, -5 = -7*c + 8*c. Let k be 5 - -1 - 5 - y. Which is smaller: 43 or k?
43
Let i be 30/5 + (-48188)/6034 + 2. Is i at least as big as 1?
False
Let y be -2 + 11 + (27 - 32) - (-54)/94. Which is smaller: 5 or y?
y
Let w be 4 + -1 - (3 - -1). Let f be ((-1734)/408)/(w/(-20) + 0). Are f and -2 nonequal?
True
Let l(x) = x - 1. Suppose 2*p = -2*r + 8, -r = 4*p - 13 - 3. Let w be (p/3)/(1/(-3)) + 1. Let g be l(w). Which is smaller: g or -5?
-5
Let l be 3 + (-820)/6 + (-24)/6. Suppose -3873*i = -3844*i + 4031. Which is bigger: l or i?
l
Let g = 0 - 5. Let h = -26 - -38. Let p be (-1)/(h/20) + -2 + 0. Is g at most p?
True
Suppose 3*w + x - 3585 = 0, 172*x - 171*x - 2392 = -2*w. Is w smaller than 2/5?
False
Suppose 6*n - n + 55 = -3*k, -4*n - 2*k = 44. Let f = -3421 - -3387. Which is greater: n or f?
n
Let o = 3608 - 3609. Is o != 25/307?
True
Let k = 8.146 + -0.336. Is k at most -0.3?
False
Suppose 53*v - 47*v = 9768. Which is greater: 1627 or v?
v
Let p(g) = -2*g - 23. Let z be p(-11). Let d be 40 - z*0/1. Suppose 16*u - 21*u - d = 0. Which is smaller: u or -3?
u
Let i(y) = -y**3 - 9*y**2 - 7*y + 10. Let g be i(-8). Suppose -4*x = -q + 15, 4*q + 1 = -5*x - g. Suppose s + q*s - 4 = 0. Which is smaller: 3 or s?
s
Let i be (588/(-165))/(38/1425). Is i <= -133?
True
Suppose -193*x + 6023 = -54193. Are 313 and x unequal?
True
Let b = 5611 - 5604. Is 234 > b?
True
Suppose 250*z + 9 = 4 + 5. Which is smaller: -38/273 or z?
-38/273
Suppose 16*z - 85 = 11*z + 4*d, 48 = 3*z - 3*d. Let w be (182/z - 9) + (-1)/(-5). Which is smaller: 1/7 or w?
w
Let p be (2 - (-92)/(-86)) + -1. Let a(z) = 55*z**3 - 495*z**2 - z + 9. Let g be a(9). Is g smaller than p?
False
Let p = -11.85 - -6.85. Are p and 17 equal?
False
Suppose 0 = 2*k - 5*k - 69. Let d = k - -38. Let y = -444 - -459. Are y and d non-equal?
False
Let f be (-36916)/(-12) + (-35)/15 + 3. Let h = -1787736/581 + f. Is 1 != h?
True
Let c = -5496 - -5193. Is -313 equal to c?
False
Let p = 32 + -24. Let m be (p + -7)/(1/(-27)). Let a be m/(-2) + 8/(-16). Which is greater: a or 14?
14
Let u = 109.2 + -109. Let t = -69 + 126. Let a be t/(-11) + 8/44. Which is bigger: a or u?
u
Let y = -266721 + 266720. Suppose -u = 3*u - 212. Is u > y?
True
Suppose 4*o - 4 = -5*u + 5, -1 = -2*u + o. Let g be (-2 - 3048/(-1216)) + 2*3/(-16). Is u >= g?
True
Let g(x) = x**3 + 3*x**2 + 3*x - 1. Let l be g(-10). Let j = -722 - l. Which is smaller: -6 or j?
-6
Let j(i) = 14*i**2 + 3*i - 2. Let u be j(-3). Suppose 0 = -f - 3*g + 8, 7 = -f - 0*f + 2*g. Let h be 23/u*f*3. Which is smaller: h or -1?
-1
Let h(g) = -g**3 - 94*g**2 + 1153*g + 22. Let o be h(11). Is o >= -5/1518?
True
Let q = 3184/119 - 184/7. Which is bigger: q or -1?
q
Let a = 16 + -21. Let h = 356 - 355.9. Which is bigger: h or a?
h
Let h be (82488/810)/14 - (-24)/(-20). Which is smaller: h or 5?
5
Let q be (4/6)/((-4)/(-6)). Let g = 5/221 + 1291/1547. Which is smaller: g or q?
g
Let w be (16/(-456))/(560168/56016 - 10). Is -245 less than w?
False
Let l be 16/(-9) - -1 - (-80)/(-360). Let o be (l + (-6)/(-8))*(-14 - -12). Which is greater: o or 54/11?
54/11
Let y(d) = -58*d - 6994. Let k be y(-123). Which is smaller: 703/5 or k?
k
Suppose -3*d + 994 = 4*d. Suppose 4*z - d = -174. Is z <= -12?
False
Let j(h) be the first derivative of h**3/3 + h**2/2 - 16*h - 109. Suppose 0 = q + 4. Let r be j(q). Is r at most as big as -3?
True
Suppose -25 = 4*o - l + 20, -3*l + 27 = -3*o. Let i be (-1)/(-2)*(o + 6). Do i and 4 have the same value?
False
Let n = 2517/55 - 229/5. Suppose -12*h - 23*h + 20 = -15*h. Is h <= n?
False
Suppose 4*v - o + 3 = 14, 3*v - 2*o = 7. Let n be v*1 + (3/3 - 5). Let w(c) = c + 2. Let t be w(n). Which is bigger: t or -2/7?
t
Let m(v) = -v**3 + 14*v**2 + 18*v - 7. Let p be m(15). Let s = -28 + p. Let i(q) = q**3 - 10*q**2 + 4. Let a be i(s). Are a and -3 equal?
False
Let z = 6924 - 13499/2. Which is greater: 174 or z?
z
Let u = 24 - 20. Suppose -2*w - b + 0 + 10 = 0, -8 = -4*b. Suppose 3*l - w*n = 66, u*n + 44 = 4*l - 2*l. Are -3 and l unequal?
True
Let z(o) = 8*o - 32. Let r be z(4). Suppose -3*p + 23 - 20 = r. Are p and 0 non-equal?
True
Let u be 24429608/12720 + 1/(-15). Which is smaller: 1920 or u?
1920
Let i = 5608 - 5610.965. Let x = -2 - -1.965. Let l = i + x. Which is bigger: l or -1/2?
-1/2
Let m = -34084/7 + 4852. Suppose -10 - 75 = 5*v. Is m equal to v?
False
Let w = 3 - -1. Suppose 3*g - 800 = 2*d, -w*g - 3*d = -8*g + 1065. Suppose a - 6*a + g = 0. Are a and 54 equal?
True
Suppose -3*c + 3*p = -6*c + 3, -5*p = -5*c - 5. Suppose 2*r + 2 = -5*n - c, -5*r - 5 = 4*n. Let i be n/(-6) - 2/(-5). Is i < 25?
True
Let o(x) = -26*x**2 - 2*x + 3. Let k be o(-4). Let d be k/(-126) - 2/4. Let s be (0 - (-2)/4)/((-4 + 18)/112). Which is smaller: s or d?
d
Let c be 2*(2/(-4) - 0). Let w = 22410 - 963633/43. Which is smaller: