Let v(j) = j + 5. Let i be v(-6). Let o be i/(-2) - 1/w. Is o at most as big as 1/3?
True
Suppose 3*o + 3 = -5*y + 20, -3*o + y = -11. Let u be 1 + -1 - o/(-16). Let p(l) = -l**3 + l**2 - l. Let q be p(1). Is q at least as big as u?
False
Suppose 0 = -3*p + 5*p. Do p and -3/4 have different values?
True
Let c = -72 - -71. Is c > -1/48?
False
Let p = -14 + 41/3. Which is smaller: p or 2/3?
p
Let u be 3 + -3*2/(-6). Let l be 1/u*16/(-9). Which is smaller: 0 or l?
l
Suppose 0 - 1 = i, -2*i = -3*j + 5. Which is smaller: 0 or j?
0
Suppose 52 = -4*z - 24. Are -18 and z unequal?
True
Suppose 0 = 3*j - 13 - 5. Let d = j + -9. Is -4 equal to d?
False
Suppose 2 = m + 13. Let c = -11 - m. Which is bigger: c or 1/5?
1/5
Let h(d) = -4*d**2 + 2*d + 1. Let n be h(-1). Is -4 at least as big as n?
True
Let r = -15 - 12. Is r at least as big as -25?
False
Let c be (-2)/1*(0 - 1). Let z = 27 + -19. Let x be (6/z)/((-3)/(-12)). Which is bigger: c or x?
x
Let x = 127/4 + -32. Let y = -4 + 7. Let t = y + -4. Which is greater: t or x?
x
Let u(i) = 2*i + 4*i - 7*i. Let k be u(1). Let b(z) = -z. Let s be b(2). Is k greater than s?
True
Let i(s) be the first derivative of s**3/3 - 3*s**2 + 5*s - 1. Let a(m) = -m**2 + 12*m + 5. Let k be a(12). Let q be i(k). Is 2 less than q?
False
Let h be (-167)/(-85) + 20/(-10). Let l = h + 604/255. Which is smaller: l or 2?
2
Let v be (17/(-34))/(1/18). Which is greater: 0 or v?
0
Suppose -661 - 369 = -5*x. Let l be 4/(-14) - x/14. Let y be (l/(1 - -2))/1. Is -5 > y?
False
Let n = -15 + 3. Let r = -7 - n. Suppose 23 = -4*x + 39. Are r and x equal?
False
Let g(l) = l - 5. Let h be g(7). Suppose -7*x + h*x = 0. Is x != 0?
False
Let q = 11 - 3. Let y be 1 + -3 + q*3. Let b be 4/22 + (-70)/y. Which is smaller: b or -2?
b
Let w be 12/(-20) + (-4)/10. Let a be -1*((-7)/(-10))/7. Are a and w nonequal?
True
Let u be -3*2/(-6) - 5/7. Let b = 9.11 - 0.11. Which is smaller: b or u?
u
Let w(q) = -2*q. Let f be w(1). Let t be -2 - (2 - 8 - f). Suppose -4*r = -5*b - 21, 0 = -3*b - 4*r + t*r + 5. Are 2/17 and b nonequal?
True
Let g(y) = -y + 4. Let k be g(6). Let z be k + 2 + 2 - -2. Suppose 0*m + z*m + 8 = 0. Is m != -2?
False
Suppose 0*c = 3*c + 30. Let p be c/48*129/15. Let k = 1/8 + p. Which is smaller: k or -2?
-2
Suppose -2 = -y - 3*f - 9, 4*y + 4*f + 52 = 0. Let r be 6/(-4) + (-68)/8. Let t = r - y. Which is smaller: t or 7?
t
Let s(u) = -u**2 - 3*u + 3. Let q(p) = -2*p**2 - 4*p + 4. Let f(l) = -3*q(l) + 4*s(l). Let a be f(1). Suppose 0 = 3*b + 1 + a. Which is smaller: -7/5 or b?
-7/5
Let c = 75/4 - 19. Let m be (3/3)/(0 + 1). Which is smaller: m or c?
c
Suppose 0 = 5*c - 0*c + f - 8, -20 = -5*c + 5*f. Let u be (0/3 + c)/(-3). Let i = 0 - 0.1. Are i and u unequal?
True
Let k(f) = -f + 12. Let x be 1/3 - 77/(-3). Suppose c - x = -c. Let b be k(c). Is -2/17 <= b?
False
Let a = -8 + 6. Let i = a + 5. Suppose -16 = -4*h, 5*c + 4 = h + 15. Is c < i?
False
Let t(u) be the third derivative of -u**5/60 - u**4/8 + u**3/6 - 2*u**2. Let x be t(-3). Which is bigger: x or -2/11?
x
Suppose 3*a = j, -3*j - a = -3*a. Suppose w - p = p - 21, 4*w - p + 56 = j. Is w greater than or equal to -14?
True
Let f be (-4)/8*2*-9. Is 0 at least f?
False
Let k(i) = -i**2 + 7*i - 4. Let y be k(6). Suppose 0 = -12*d + 17*d. Is d > y?
False
Suppose 0 = -0*w + 3*w. Suppose -2*n - 4 = 2*p - 0*n, -n - 1 = w. Is -2/17 != p?
True
Let d(s) = -s**3 + 7*s**2 - 6*s + 6. Let b be d(6). Suppose -5*i - 4 = b. Which is smaller: -3 or i?
-3
Suppose -5*v - 2*q = -19 + 31, -2*v = -3*q + 1. Let j be ((-1)/1)/(2/6). Are v and j non-equal?
True
Let p = -11326 - -951415/84. Let a = 9491/28 + -339. Let f = a + p. Which is greater: 0 or f?
f
Let j be (-319 - (-6)/3) + -2. Let r = j + 2549/8. Which is greater: r or -1?
r
Let k be 2 - 140/24 - -4. Which is greater: 3 or k?
3
Suppose 8*b = -4 + 4. Which is smaller: b or 1/93?
b
Let l = 73 + -77. Are l and -19/5 non-equal?
True
Let x = 3 - 3. Let q = 0.1 + x. Let m = -0.2 + q. Do m and 0 have the same value?
False
Suppose 3*a - 32 = -4*k, -a - 38 + 6 = -4*k. Let f be 6/(-8) - 2/k. Which is bigger: f or -2/9?
-2/9
Suppose -l - 2*t = -6, -2*t - 46 = -5*l - 16. Suppose 0 = 5*b - 29 + 4. Which is smaller: b or l?
b
Let d = -2 - -1.8. Let l = 0.1 - 1.1. Which is smaller: d or l?
l
Let h be 0 + (15/(-4) - -2). Suppose 5*a - 5*l + 25 = 0, -4*a + 2*l = -l + 18. Which is greater: a or h?
h
Let a be ((-6)/(-28))/((-12)/(-80)). Let p = a + -19/28. Which is greater: 0 or p?
p
Let l(f) = -2*f**2 + 5*f - 6. Let w be l(4). Let x be 16/24*w/(-4). Is x at least 3?
True
Let j = -75/268 + 2/67. Let u = -2.66 - -2.6. Is j >= u?
False
Let n = 5 - 2. Let d(y) = -2*y - 1. Let w be d(-1). Let s be 7/3 - w/3. Is n equal to s?
False
Let o = 1 - 7. Let z(w) = -3*w**2 + 10*w + 3. Let i(y) = -y**2 + y + 1. Let c(u) = -4*i(u) + z(u). Let x be c(o). Is x at least as big as -2/5?
False
Let l = -0.04 - -0.13. Which is smaller: l or -2?
-2
Suppose 2*l + 3 = l. Let x be (2 - 3) + 3 + l. Which is greater: x or -4/11?
-4/11
Suppose j - 2*p - 14 = -3, -p - 9 = -4*j. Which is smaller: 4 or j?
j
Let l be (-18)/(5/((-15)/6)). Let m = -10 + l. Which is bigger: m or 0?
0
Let w be -2*1/((-3)/(-3)). Let v be w/(-3) - (-2 - -4). Let m = 8 - 9. Which is smaller: m or v?
v
Let c = -33 + 33. Is c less than or equal to -6?
False
Let a be (12/(-30))/(1/(-5)). Suppose j = -5*u - 3*j - 6, a*u + 8 = 4*j. Let g be 12/(-16) + u/8. Are g and -2 equal?
False
Suppose 4*k - 4*c + 26 = -2*c, 23 = -2*k + 3*c. Which is smaller: -7/2 or k?
k
Let o = -32 + 52. Let p = o + -13. Which is greater: 0 or p?
p
Let g = 133/3 + -44. Do g and -1 have the same value?
False
Let g(c) = -c**2 + 4*c. Let b be g(4). Suppose -3*a - 4*f = -b*f - 9, 5*f = -3*a + 12. Is a <= 1?
True
Let b = -0.12 - 0. Let q = 0.22 + b. Let k = 8 + -6. Which is bigger: k or q?
k
Let i be (-5)/15 - (-1114)/3354. Let c = i + -385/1677. Which is bigger: 1 or c?
1
Suppose 5*g - 180 = -0*t + 5*t, 0 = g - 2*t - 36. Let i be (-1)/((g/(-15))/(-1)). Let n = i - -1/6. Are 2 and n equal?
False
Let d = 2 + 1. Let r be -4 + d + (-8)/(-5). Let z = 1 + -1. Which is greater: z or r?
r
Let z = 86038/7 + -12269. Let b = -22 + z. Is 1 <= b?
False
Let t = -0.5 - 3.5. Let c = -2 - t. Let i be 6/8 - 35/28. Which is greater: i or c?
c
Let u(x) = x**2 - 7*x - 4. Let m be u(8). Let w = m - 1. Suppose -w*n + 6*n = 0. Does 0 = n?
True
Suppose 0*o + 9 = 2*c + 3*o, -5*c + 50 = 2*o. Which is smaller: 13 or c?
c
Let y = -9453/29 + 326. Does y = 1?
False
Let z(f) = f**2 - 4*f + 4. Suppose 0 = -2*c + 5 + 3. Let m be z(c). Is 4 smaller than m?
False
Let w = -25/3 + 73/9. Which is smaller: 1/4 or w?
w
Let q be (-184)/20 + (-2)/(-10). Let g = q + 10. Which is smaller: g or 3?
g
Let p = -29 - -29. Is p <= 2/3?
True
Let q = -143 - -37. Is -107 >= q?
False
Suppose 6*l + 57 + 15 = 0. Let j(n) = n**3 - 9*n**2 - 13. Let p be j(9). Which is smaller: p or l?
p
Let t = -12609/17 - -742. Is 1 >= t?
True
Let r = -199/5 + 10542/265. Which is bigger: r or 0?
0
Let g = 155 + -163. Which is smaller: 5 or g?
g
Let j be 1 - (-3 + 8)*-1. Let q be (-13)/(-14) + (-3)/j. Is 0 smaller than q?
True
Let a = 156 - 778/5. Which is greater: a or -0.1?
a
Let g = 37/70 + -8/15. Let x = g - 2/21. Which is bigger: 0 or x?
0
Let k = 1.2 + 5.8. Let f = 3 - k. Is -1/3 equal to f?
False
Let d(v) = -v**3 + 4*v**2 + 16*v - 22. Let f be d(6). Let i(k) = 2*k**2 - 2*k + 1. Let q be i(2). Which is bigger: q or f?
q
Suppose -k + 6*k + 20 = 0. Let d = k - -5. Let p be 6/(-26)*2/3. Is p < d?
True
Let c = -859/42 - -62/3. Which is bigger: c or 1?
1
Let z(j) = -8*j + 7. Let m be z(3). Which is bigger: m or -18?
m
Suppose -2 = 4*h - 3*h. Let s be -4 + (4 - -1) + h. Which is bigger: 0 or s?
0
Let q(k) = 5*k + 11. Let l(b) = 3*b + 7. Let z(p) = 8*l(p) - 5*q(p). Let i be z(0). Is i bigger than -1/3?
True
Let z = 10 + -7. Suppose 4*n = -z*o + 30, 7 = -2*n + 3*n + o. Which is smaller: 10 or n?
n
Let t = -0.1 + 1.1. Let j = 2 - -1. Let c = j - 5. Which is greater: t or c?
t
Let h = -3 - -4. Suppose -4*a + 4 = 4*j, 4*j + 1 = 3*a - 2. Let k be 1/a*0/3. Is h less than k?
False
Suppose 0 = -2*n - 29 + 9. Let u = n - -17. Which is smaller: u or 5?
5
Let l(v) = -5*v**2 - 2*v - 4. Let b be l(3). Let a be (-4)/6 + b/(-105). Is -1 at most