Suppose 4*a = 7 + 13. Suppose -s = 4*s + a. Let l(u) = -u - 2. Let v be l(s). Which is bigger: -2/7 or v?
-2/7
Let g(i) be the first derivative of 5*i**4/4 + i**3 + i**2 + 5*i - 1. Let q be g(-4). Let l be (-10)/4*20/q. Which is smaller: l or 0?
0
Let j(k) be the second derivative of 1/12*k**4 - 7/6*k**3 + 5/2*k**2 + 0 - 3*k. Let x be j(6). Is -1 less than or equal to x?
True
Let y be (0 + 1)*(-30)/(-2). Suppose y = -2*g + 7. Which is smaller: g or -0.2?
g
Let x be (-4)/((-8)/6)*-1. Let y = 2 + x. Let h be (-2)/(-1)*(-1)/y. Which is bigger: h or 3/2?
h
Let b(f) = f + 9. Let l be b(-4). Suppose -l*p = -24 + 9. Which is smaller: -3 or p?
-3
Suppose -f + 27 = -4*f. Let r(k) = -k**2 - 8*k + 4. Let g be r(f). Which is bigger: g or -6?
g
Let a(r) = -3*r + 23. Let h be a(9). Which is bigger: -7 or h?
h
Let g = 0.99 + -0.09. Let r = g - 0.5. Let m = 0.6 + r. Do 3 and m have different values?
True
Suppose 16 - 4 = 4*c. Suppose 4*n - 3*i = -41, 3*n + c*i + 21 = -15. Is -10 less than or equal to n?
False
Let x = 0.2 - 0.2. Let p = 1 + x. Let d = p + 0. Which is greater: 1/3 or d?
d
Let k(b) = b + 9. Let y be k(0). Suppose l = 2*l - y. Is 8 bigger than l?
False
Let h(m) = -3 + 1 - 3*m + 4*m + 1. Let w be h(1). Which is greater: w or 2/13?
2/13
Suppose -2*h - 5*c + 1 = 2, 5*h + 5*c + 10 = 0. Let t be (-2)/h + 4/(-3). Let z(m) = -m**2 + 5*m - 1. Let l be z(5). Is l at least t?
False
Let f(x) = x**3 - 13*x**2 + 7*x + 29. Let k be f(12). Which is smaller: -157/5 or k?
-157/5
Suppose 998 = -4*f + w, 3*f + 5*w + 57 = -703. Let d be f/(-55) + 1 + -5. Which is bigger: 2 or d?
2
Let w(v) = -v**3 + 11*v**2 + 13*v + 8. Let c be w(12). Suppose -c = -3*o - 4*m, 3*o + 2*m = 3*m - 5. Is 2/53 smaller than o?
False
Suppose 0 = 5*x + 1 - 31. Let w be 1 + (x/(-9) - 0). Is w bigger than 2/5?
False
Let w(q) = q**2 + 4*q. Let p be w(-5). Suppose 0 = l - p*l - 4. Is l less than 2/7?
True
Let u = -2335 + 11733/5. Let b be (-2)/2 - (-228)/20. Let i = b - u. Is -2 != i?
True
Let d = -278 - -426. Suppose 7*f - 298 = 3*f - w, w = -2*f + d. Let j = f + -603/8. Is j less than or equal to 1?
True
Let b be ((-148)/(-6))/(1 + 2/(-3)). Are 72 and b equal?
False
Suppose 4*p - 5*i = -0*p + 22, -7 = -3*p - i. Let k be (-8)/p*21/(-14). Which is bigger: 3 or k?
k
Let l = -1165 + 13969/12. Let q = 31/60 + l. Let r be (-2)/4 + 3/(-18). Which is smaller: q or r?
r
Let a(q) = q**3 - 2*q**2 + 4*q - 3. Let z be a(2). Suppose 0 = -b - 4, -z*u + 0*b + 5*b + 20 = 0. Suppose u = w + 2*w. Are w and -1/4 non-equal?
True
Let w = -28 + 28.11. Let g = -0.01 + w. Suppose 4 - 2 = z - 2*h, -4*h = 2*z - 4. Are z and g equal?
False
Suppose -12 = -9*s + 5*s. Suppose 0*p + 6 = p + 4*u, -5*u = -s*p - 33. Which is smaller: -7 or p?
-7
Let k be 5/20 - (-103)/4. Are 26 and k equal?
True
Let z(r) = 4*r**2 - r - 1. Let x be z(-1). Suppose 0 = -2*a - 3*w + 10 - x, -2 = -w. Are a and -1/11 unequal?
True
Let n(c) = 2*c**3 - 3*c**2 - 6*c + 7. Let t be n(3). Let r = t + -9. Which is greater: 6 or r?
r
Let j = -52 - -15. Which is bigger: -38 or j?
j
Let s = -5 - -6. Let v = -8 - -6. Let m be (v/12)/((-6)/8). Which is greater: m or s?
s
Let k = 272/5 + -54. Let m(b) = -4 + 1 - 2 + 1 - b. Let n be m(-5). Is k at least n?
False
Suppose 0 = -10*v + 9*v + 4. Let g be (0 - (-6 + v)) + -3. Let r = 0.9 + -0.6. Is g at most r?
True
Let v be -3*1/(-6 + 3). Which is smaller: v or 5/4?
v
Let r be 42/(-56)*66/(-9). Which is bigger: r or 6?
6
Suppose -5*o = -20 - 10. Suppose -i = -8 - 0. Which is smaller: o or i?
o
Let y(n) = -2*n - 5. Let q be y(5). Let z be q/(-7) + 4/(-2). Which is bigger: 1 or z?
1
Suppose 4*n + z - 19 = 0, 4*n - n - 19 = 4*z. Suppose -1 = -n*d + 34. Is -0.2 bigger than d?
False
Let y = -1 - -1. Let l = -29/28 + 3/4. Which is smaller: l or y?
l
Suppose 0 = 4*r - 0 - 20. Which is smaller: 52/9 or r?
r
Let b(t) = 3 - 4 + 2*t - 3*t - 1. Let i be b(-6). Let s = -1 + i. Which is bigger: 1 or s?
s
Let o = -0.1 + -0.5. Are o and -2 unequal?
True
Let b = 38 + -23. Let k be b/(-35) + 838/28. Let t = k - 28. Which is smaller: t or 2?
t
Let k be 0 + (-4)/((-480)/46). Let u = k + -2/15. Is 1 less than u?
False
Let m be (-3)/14*8/6. Which is greater: 1 or m?
1
Let j = -2/111 - 103/444. Is 0 bigger than j?
True
Suppose 0 = 2*i + g - 7, 3*i - 3 = 5*g + 1. Suppose 4*y - l + i*l + 4 = 0, 3*y - 5*l + 3 = 0. Let n be ((-8)/(-56))/((-3)/6). Which is greater: n or y?
n
Let q be (-2)/(-11) + (-96)/44. Let d = 1.1 - 1. Which is bigger: q or d?
d
Let v be 1 - 2*(-1 - 0). Suppose -340 = v*t + 5*i, 3*i = -0*t + t + 104. Let o be (-3)/(-15) - (-2)/t. Are -1 and o nonequal?
True
Let r(c) = c + 21. Let i be r(-9). Suppose 2*q - 6 = -0. Let w be q - -2*(-21)/i. Which is smaller: w or 0?
w
Let u be (-40)/16*((-33)/5 - 0). Which is smaller: 18 or u?
u
Let y(q) = q**2 + 15*q - 17. Let k(t) = t**2 + 16*t - 18. Let j(b) = 5*k(b) - 6*y(b). Let c be j(-11). Suppose c = -f + 2. Is f <= -2/5?
False
Let z(y) = -y + 6 + y**2 - 7*y + 0*y**2. Let j be (-1)/2 - 15/(-2). Let i be z(j). Is i less than or equal to -3/7?
True
Let z = -491 + 492. Let i = 2 + -21/10. Which is bigger: i or z?
z
Let r = 158 + -484/3. Which is greater: -4 or r?
r
Let a be (4/6)/(2/15). Which is smaller: a or 0.2?
0.2
Suppose -h - 2*h + 36 = -3*o, -o + 5*h = 32. Let g = o - -3. Does g = -1/2?
False
Let k be 1/(-2 + 1) - 3. Let o(b) = b**2 + 3*b - 1. Let i be o(-3). Which is smaller: i or k?
k
Let t be (8 - (-4)/(-2)) + -1. Let z = 5 - t. Suppose z*g = g. Which is bigger: g or 1?
1
Suppose -2*j + 11 + 25 = 3*q, 2*j + 48 = 4*q. Suppose -3*y = -0*y + q. Which is smaller: 0 or y?
y
Let v be (5 + 1)*2 - -1. Let w = 12 - v. Is 1/4 equal to w?
False
Let a be ((-20)/(-7))/(20/70). Which is greater: a or 37/4?
a
Let b be -5 + 2 + -6 + -6. Let t = b + 12. Do -3 and t have the same value?
True
Let x be 10*((-14)/10 - -1). Suppose -3*i - 4 = -2*i. Is x at least i?
True
Let c be -1 + 969/(-36) - -2. Let s = c + 26. Let g = 35 + -36. Is g equal to s?
False
Suppose -4*r = -6*r + 4. Let c be 3 + -4 + 7/4. Which is smaller: c or r?
c
Suppose 10 = -9*u - 26. Which is smaller: u or 0?
u
Let d(t) = -t**2 + 5*t + 5. Let y be d(6). Let i be y/4*16/(-42). Is -1 smaller than i?
True
Let z = 43.9 - 44. Which is smaller: -1.3 or z?
-1.3
Suppose -6 - 6 = -3*n. Suppose d + 0*d + 4*y = 21, -d + 4*y = 19. Suppose 0 = n*l + 5 - d. Which is greater: -3 or l?
l
Let x = 107/714 + 2/119. Let y(o) be the second derivative of o**5/20 + o**4/4 - o**3/2 + 3*o**2/2 + o. Let h be y(-4). Which is smaller: h or x?
h
Let u be -2 + (42/8)/3. Let j = -5 - -5. Is u > j?
False
Let q(x) = -x**2 + 8*x - 9. Suppose 18 + 0 = 3*t. Let l be q(t). Is l at least as big as 2?
True
Suppose 6 = 2*h + 2*g, 3*g - 3 + 1 = 4*h. Suppose -4*v + 36 = 2*y, 8*v - 56 = 3*v + 3*y. Let o be v/(-4) + (7 - 4). Which is smaller: o or h?
o
Let j be (2/4)/(1/24). Let h be 12/(-63)*(-14)/j. Let q be 4 - 3 - 4 - -2. Which is bigger: q or h?
h
Let m(n) = -4*n + 20. Let z be m(15). Which is smaller: z or -39?
z
Let b be 0 - 0 - ((-4)/2)/8. Suppose 0 = 5*j - 4 - 1. Is b > j?
False
Suppose 5*x = f + 22, 2*x + 0*x + 2 = 4*f. Suppose x*k + 1 = 11. Is k at most as big as -0.3?
False
Let z(v) = 2*v - 47. Let y be z(20). Suppose -3*s - 54 = -8*s + 3*n, -3*n = 4*s - 54. Let d = s + y. Which is smaller: 6 or d?
d
Let c(u) = -u**2 - 1. Let v be c(1). Let p be (v/2 - 0) + 0. Let w(g) = g**2 + 6*g - 9. Let r be w(-7). Which is smaller: r or p?
r
Suppose -x + 2*u + 10 = 0, 0 = -3*x - 5*u - 2 - 12. Which is bigger: x or 8/3?
8/3
Suppose -53 = 5*y + 3*l + 38, 5*l + 10 = 0. Let h = y + 11. Which is greater: -4 or h?
-4
Let p = -3135719/114 - -27507. Let o = 1/38 - p. Let h = -92 - -92.04. Which is smaller: o or h?
o
Let r = -646872/7 + 92259. Let u = -151 - r. Which is smaller: u or 1?
u
Let b be ((-120)/(-175))/((-13)/(-10) + -1). Is 2 != b?
True
Suppose 10*h = 9*h + 19. Suppose 0*n + n = -4*c + h, 0 = 4*n + 4*c - 16. Which is bigger: 2/7 or n?
2/7
Let w be 0 - -3 - (-3)/(63/49). Which is smaller: w or 5?
5
Let o = 0.4 + -3.5. Let j = o - -3. Which is bigger: -1 or j?
j
Suppose -58 = -f + y, 3*f + 3*y = f + 96. Let a be 9/3*8/f. Is -1 less than a?
True
Let y be 2 - (8*3)/(-3). Let x be (4/65)/((-4)/y). Which is greater: -1 or x?
x
Let j = -20 - -20.11. Which is smaller: j or -2