 u. Let g be h(-1). Let a be ((-4)/g - -1) + -2. Which is smaller: a or p?
p
Let x be -1*(-2 + 4 - -1). Let w be (x/2 - -2)*8. Let n be (-2 - -3)/(w/(-6)). Is -2 at least as big as n?
False
Let a be 63/(-24)*2 + 4. Are a and 0 equal?
False
Let a(t) = -6*t - 10. Let f(q) = 11*q + 19. Let l(b) = -5*a(b) - 3*f(b). Let j be l(-9). Let u be (4/(-6))/(j/12). Which is smaller: u or -1?
-1
Let v be 22/(-18) + 2/9. Let l be 38/10 + 2/10. Suppose -2*z - 6 = -l*g, -2*g - 4 = -6*g. Is z greater than or equal to v?
True
Suppose -3*n + 25 = 2*n + 5*p, -2*p = 4*n - 10. Let q be (-4)/6 + 26/30. Which is smaller: n or q?
n
Let t(q) = q**2 + 3*q - 72. Let x be t(-10). Which is smaller: -18/13 or x?
x
Suppose -3 = -5*d + 2. Suppose -3*y + 11 + 1 = 0. Let i be d + (-3)/(6/y). Which is bigger: i or 0?
0
Let c(p) = -p + 8. Let i be c(-7). Let g = -13 + i. Is 2 bigger than g?
False
Let p(a) = -a**3 - 9*a**2 - 4*a - 19. Let z be p(-9). Is z bigger than 19?
False
Let t be ((-4)/8)/(1/(-6)). Let q(u) = -u**2 + 8*u - 5. Let n be q(7). Which is greater: t or n?
t
Let o = 141 - 140.85. Which is smaller: o or -0.1?
-0.1
Suppose -150 = -5*i - 5*p, 2*i - 4*i + p + 72 = 0. Suppose 3*s = 5*s - i. Is 17 equal to s?
True
Let l be 9/(-4) - (-2)/8. Suppose 3*w = -3*c - 24, 3*w = 4*c - 2*w - 4. Is c smaller than l?
True
Suppose 0 = 3*c - 0*c + 87. Let r = -25 - c. Are 5 and r unequal?
True
Let j = -0.06 + -2.94. Which is smaller: j or 3/2?
j
Let z = -20/3 + 58/9. Is -1 less than z?
True
Suppose 5*v - 25 = -5*a, 3*a - a - 8 = -v. Suppose r + a = -9. Which is greater: r or -13?
r
Let s(g) = -2*g**2 + 16*g - 5. Let t be (21/(-4))/3*4. Let m(u) = u**2 - 8*u + 3. Let i(v) = t*m(v) - 3*s(v). Let l be i(7). Which is bigger: l or 2?
2
Let v = -0.026 + -22.974. Let w = v + 26. Let s be (-3)/4*-2 + -1. Is s at most w?
True
Let p = -19 - -10. Let w = 9.1 + p. Let z = -471/5 + 95. Which is smaller: z or w?
w
Let a be -1 + -1 + 3 + -1. Let o be ((-6)/12)/(2/4). Let v be (-2 - 1 - -1)*o. Is v greater than a?
True
Suppose -2*t - 1 = 2*l - 7, 2*l + 9 = t. Is 5 less than or equal to t?
True
Suppose -2*t = -4*a + 3*t + 23, -a = -t - 5. Is 6/5 bigger than a?
False
Let w = 42 + -41. Let b(s) = s**3 + 6*s**2 - 9*s - 6. Let i be b(-7). Let f be ((-1)/5)/(i/10). Which is smaller: w or f?
f
Let h be 5/(-20)*2*-2. Is 1 smaller than h?
False
Let b = 4.06 + -0.06. Let u be ((-24)/252)/((-1)/7). Is b less than or equal to u?
False
Suppose l + 67234 + 74860 = -2*k, 3*l + 284186 = -4*k. Let j = 711483/10 + k. Let x = -100 + j. Is x at most 1?
True
Let m = 0.1 - 0.2. Let r = 47 + -47. Is r > m?
True
Let c(u) = 4*u + 68. Let k be c(-17). Are 13 and k equal?
False
Let r be 6/(6 - 0) + 102/(-110). Is -1 greater than r?
False
Let o(f) = -f. Let r be o(-1). Suppose -v = -4*v + 15. Suppose -v*k = -5*p + 10, -k + 2*p - 2 = 2. Do r and k have the same value?
False
Let k = -0.1 + -0.1. Let h = k + -0.4. Is 1 less than h?
False
Let u = -1 + 4. Suppose 0*w = -2*w + 12. Let q = w + -13/2. Are q and u non-equal?
True
Let d(y) = -y**2 + 5*y + 7. Let r be d(5). Let x = 9 - r. Suppose 4*k = x*k. Do k and -1 have the same value?
False
Let u(r) = r**2 + 3*r - 1. Let w be u(-3). Let p(f) = -f**2 + 11*f - 3. Let x be p(11). Let a be w/x + (-51)/(-9). Is a less than 5?
False
Let k(d) = -d. Let p be k(-4). Let b = 5 + -7. Let q(h) = -h**3 - h**2 + 1. Let m be q(b). Is m at least as big as p?
True
Let g = -32 - -22. Let b = -8 - g. Suppose 12 = -3*p + 4*h, 6 = 3*p + 4*h - b*h. Which is bigger: -2/9 or p?
p
Suppose -3*c = 4*b, 0*c + 3*c = 4*b. Let k be ((-6)/(-14))/(b + -1). Is 1/2 <= k?
False
Let d = -0.6 + -4.4. Is d smaller than 0?
True
Let p be 1/(-2 - (-3 - 0)). Which is smaller: 5 or p?
p
Suppose -7*r = -0 + 21. Let g(y) = 0 + 3*y**2 + y**2 + y**3 + 2 + 4*y. Let b be g(r). Is b greater than or equal to 4?
False
Let x(i) = i**3 - 2*i**2 - 3*i - 1. Let c be x(3). Is -18/17 greater than or equal to c?
False
Let c = -80 + 55. Let f = -26 - c. Which is bigger: f or 2/63?
2/63
Let v be (-5)/(-3) + (-1)/(-3). Are v and 3 non-equal?
True
Let h = -5 + 3. Let y be (-2 - 30/(-16))*h. Let t(z) = -z**3 - 4*z**2 - z - 3. Let o be t(-4). Which is smaller: o or y?
y
Let s(y) = y**2 - 8*y + 12. Let m be s(6). Which is smaller: m or 5?
m
Suppose 3*k + 2 = -4*m, 3*m - m = -4. Let z(q) = q**3 - 2*q + 2. Let u be z(k). Which is greater: u or 7?
7
Suppose 0 = 5*u - 6 + 41. Is u equal to -35/6?
False
Suppose -8 = -2*a, 2*d - 4*a = -10 - 4. Let m(i) = 39*i**2 - i + 1. Let k be m(-2). Let f be 3/2 + k/(-114). Is f >= d?
False
Suppose 9 - 3 = t. Let b = 9 - t. Suppose b*w = -2*w - 5. Which is bigger: w or -2?
w
Let l be 3/(-7) - (2 + -3). Let g(u) be the first derivative of -u**4/4 + 3*u**3 - 4*u**2 + u + 1. Let b be g(8). Which is smaller: b or l?
l
Let n be (-3)/1*(-8)/(-12). Let c = 4339/11 - 395. Is c at least n?
True
Let u(a) = 2*a + 14. Let r be u(-7). Which is smaller: r or 1/11?
r
Suppose 3*b + 1 = 25. Let z be ((-2)/6)/(b/(-24)). Which is greater: z or 2/19?
z
Suppose 3*h = h + 8. Let c(k) = -k + 2. Let l be c(h). Let u be (-1 - 0)*1/l. Is 1 at least as big as u?
True
Suppose 3*x - 8 = -x. Do 10/19 and x have the same value?
False
Let o = 0.11 - 0.31. Let b = -3.5 + 1.5. Is o at least b?
True
Let r = 2/391 + -433/8211. Is r at least as big as 0.2?
False
Let n = 241/11268 + 2/313. Are -1 and n unequal?
True
Let g = 2 + -3. Let i = -0.5 + 0.1. Is i smaller than g?
False
Let p(v) = 2*v**2 - 5*v - 2. Let n be p(-3). Suppose -5*x = 4*f + n, x - 32 = 5*f + 5*x. Let k(q) = -q**2 - 4*q - 2. Let l be k(f). Which is smaller: -3 or l?
-3
Let x(j) = j**2 - 3*j - 4. Let z be x(4). Let b be (-4)/10 + 120/675. Are b and z unequal?
True
Let u be -2 + -2*6/(-4). Let c be -1*((-2)/(-281))/u. Let a = c + 847/562. Is 1 < a?
True
Suppose -37 + 25 = -6*r. Which is smaller: -2.4 or r?
-2.4
Let a = -2.5 + 2.5. Is -2/17 at least as big as a?
False
Suppose 61 = -o + 3*y, 3 - 4 = -y. Is -58 bigger than o?
False
Suppose -3*p = 2*p + 20. Let u(f) = -2*f - 2 + 1 - 5. Let z be u(p). Is 2 at most as big as z?
True
Let l = -1480/7 + 212. Which is smaller: l or 2?
l
Let f(u) be the second derivative of -u**5/20 - u**4/2 - u**3/6 - 2*u. Let g be f(-6). Suppose 2*v = g*v - 12. Is 3 greater than v?
False
Let f be (12/10)/((-15)/350). Let s be (-64)/72*3/f. Which is greater: s or 0?
s
Suppose 0 = -3*c + 6*c + 51. Which is smaller: c or -15?
c
Let p be (-50 - -1)/((-136)/(-2)). Let w be (6/(-34))/((-6)/16). Let d = w + p. Is -0.1 greater than d?
True
Let w be ((33/(-6))/11)/((-71)/(-2)). Which is smaller: w or -1?
-1
Let m = -96 - -129. Is m greater than -1?
True
Let g(o) = o**3 + 10*o**2 + o + 6. Let f be g(-10). Which is bigger: -17/5 or f?
-17/5
Let b(d) = -d**3 + 10*d**2 + d - 9. Let u be b(10). Suppose u = 5*z - 4. Is z less than or equal to -1/7?
False
Suppose -2*a = -l + 4, l = -4*l + 5*a + 15. Suppose 10 + l = 3*o. Let x be (1 - (-6)/o)*2. Is x smaller than 6?
True
Let b(i) = -i**2 - 3*i - 4. Let l be b(-4). Let d be 130/l*(-36)/(-27). Let x = -22 - d. Is x != 0?
True
Let b be (-4)/14 + (-54)/(-42). Let l be 4/(-18) + 7/(-9). Which is smaller: l or b?
l
Let z = 179 + -178. Is 2/417 not equal to z?
True
Suppose -4*h - 1 = -5*l, -2*h - 12 = 3*l + 5. Is h greater than or equal to -7?
True
Let s = -4.6 - -5. Let w = -2.4 + s. Let v = -1 - w. Is 5 at least v?
True
Suppose 18 = u - 5*d, 3*u + 4*d + 0 = -3. Let k = 3 - 2. Suppose -3*p = -5 - k. Which is bigger: u or p?
u
Let t = 32 + -32. Is t less than -1/19?
False
Let v = 5 + 0. Suppose 2*c - 4*y = -c + 9, -5*y + 15 = v*c. Let n be ((-8)/2)/1*-1. Which is bigger: c or n?
n
Let a = 719.02 - 728. Let v = a - -9. Do -1/2 and v have different values?
True
Let j be 4/(-2) - (4 - 4). Suppose 4*l - 3*l - 5 = 0. Let x = 2 - l. Is j <= x?
False
Let z be (6 - 5)/(3/(-93)). Is z greater than or equal to -92/3?
False
Suppose 4*y - 13 = -3*z, -z = 4*z + 4*y - 11. Is z < 5/19?
True
Let q(g) = -2*g**2 - 25*g + 2. Let c be q(-13). Do -13 and c have the same value?
False
Suppose -22 = -5*a + 3*g, 0 = -2*a + 4*g - 0*g + 20. Suppose 4 = -k - a. Let v be (-2)/(-6) - 22/k. Which is bigger: 5/2 or v?
v
Let i = 54 - 268/5. Which is bigger: i or 1?
1
Let w be (-3 - -6) + (-1)/(-1). Suppose 3 = 5*g + c, 0*g - w*g + 2*c = -8. Is -1 greater than g?
Fals