*u(w). Let k be q(-5). Let m be ((-8)/(-3) + -3)*2. Which is smaller: k or m?
k
Let c = 13 - 8. Suppose 2*d = d + c*l + 25, -2*d = l + 5. Which is smaller: d or -5/6?
-5/6
Suppose 3*t - 2*z - 5 = 3, -3*z - 11 = -4*t. Let n(q) = -2 + q - 3*q**2 - 2 + 4*q**2. Let d be n(-3). Are t and d non-equal?
False
Let r(q) = q**2 + 4*q + 3. Let f be r(-3). Which is smaller: -2/103 or f?
-2/103
Suppose -3*f = -7*f + 208. Are 52 and f equal?
True
Let s(n) = n**2 + n + 1. Let i be s(2). Suppose -3*r - 5*p + 34 = i, 3*r = -2*p + 18. Suppose 3*a - j + 0 = 2, 8 = -r*j. Which is smaller: 2/9 or a?
a
Let l be (6 + -2 + -3)/14. Is l at least 0?
True
Let r be 8/18*(-6)/24. Do r and -1 have different values?
True
Let w be (-4)/12*4/6. Which is bigger: -1 or w?
w
Let i(y) = -y**2 + 7*y - 4. Let z be i(6). Is z greater than 2/3?
True
Let i = -29 + 19. Is i less than -9?
True
Let r = -165 - -1157/7. Let v be (5 - 1) + (7 - 10). Let w be (-6)/(4 + -1) + v. Which is bigger: w or r?
r
Let x = 34 - 68. Let a = x + 137/4. Let s = -0.93 - 0.07. Which is greater: a or s?
a
Suppose 3*a = -3, a + 1 = 2*p - 6. Which is bigger: 6 or p?
6
Let a(q) = q**2 - 5*q - 2. Let k be (4/(-5))/(8/(-40)). Let n be a(k). Is n <= -7?
False
Let m be (-50730)/20860 + 1 + 2. Let o = -1/298 - m. Is o at most 0?
True
Let k = -4/103 - -274/1751. Is k less than 1?
True
Suppose v - 12 = -3*v. Suppose -o + v = 4. Let p = -197/4 + 49. Is p less than or equal to o?
False
Let s(t) = t + 15. Let f be s(-12). Suppose -f*l + 3*x = 15, -5*l + 3*x - 12 - 5 = 0. Which is bigger: l or -3/14?
-3/14
Suppose -5*d - 26*t - 9 = -24*t, d - 2*t - 3 = 0. Let f(h) be the first derivative of h**2/2 + 3*h - 1. Let x be f(-3). Which is bigger: d or x?
x
Let g = -4.3 - -0.3. Let u = g - -4.1. Let t = u - 0.2. Is t at most 1?
True
Let c = 28 + -111/4. Let u(y) = y**2 - 3*y - 4. Let w be (8/5)/(2/5). Let m be u(w). Is m >= c?
False
Let r = -4.9 - -0.4. Let v = r - -5. Let h = -0.5 + v. Is -0.2 smaller than h?
True
Let t = 7 + 3. Let a(r) = r**3 - 9*r**2 - 11*r - 3. Let j be a(t). Which is greater: j or -14?
j
Let z = -1 + 2. Suppose c = 3*t + 5, 2*t + 0*t - 15 = -3*c. Let s = t - 1. Is s != z?
True
Let k(t) = -t + 4. Let b be k(-6). Let f = 6 - b. Let j be (1/(-8))/(f/8). Which is smaller: j or -1?
-1
Let z = 6 + 0. Suppose -5 = -z*t + t. Let x = -0.3 + -0.7. Which is bigger: x or t?
t
Suppose -g = 4*q - 31, 4*g - 3*q - 64 = q. Suppose v - g = 1. Suppose 0 = 6*y - y + v. Is y at least as big as -8/3?
False
Let j be 34/10 - 3/(-5). Is 6 greater than j?
True
Let p = -0.23 - -0.16. Which is bigger: -2/5 or p?
p
Let q be (15/10)/((-14)/4). Suppose -3*m - j - 5 = 0, -m - 3 = 2*j + 7. Is q > m?
False
Let h be (-120)/21 + 2/(-7). Let g be 7/(-9) + h/27. Let y(i) = i**2 + 5*i - 15. Let r be y(-7). Is r >= g?
True
Let j(t) = -t + 6. Let p be j(6). Let g be 13/(-8) + 1/1. Is p > g?
True
Let y = -19 - -13. Let t be (0 - 0)*(-3)/y. Let r be (1/3*3)/5. Which is greater: r or t?
r
Let p = -58 - -39. Is -20 greater than or equal to p?
False
Let z(a) = -a + 1. Let i be z(-2). Let n be i/(-2 + 33/15). Let c be (-4)/27*n/10. Which is smaller: 1 or c?
c
Let w = -6 + 4. Let l = 7 + w. Which is greater: l or 6?
6
Let m(u) = -u**3 + 2*u**2 - 2*u + 1. Let y be m(1). Suppose 4*q + 32 + 4 = y. Let k be 21/q*(-2)/(-7). Which is smaller: k or 0?
k
Let a = -0.14 + 0.27. Let s = -0.03 + a. Let h = -206/3 - -68. Which is smaller: h or s?
h
Let j = 44 + -44. Are -7/6 and j equal?
False
Let i = -12 - -18. Let a = 1.3 + -6.3. Let b = a + i. Is 0.1 less than or equal to b?
True
Suppose 0 = -p + 4*v + 5, -5*p + 3*v - 19 = -p. Let r be (-7)/(p/2) - 2. Is -10/7 greater than or equal to r?
False
Let x(d) = d**2 + 6*d + 3. Let i be x(-6). Do i and 2 have the same value?
False
Let n = -0.2 - -0.12. Is n > 1?
False
Let i = 4.03 - 0.03. Is i < -1/2?
False
Suppose 2*y - 4*y + 6 = a, 0 = 4*a + y + 11. Is -4 less than or equal to a?
True
Let f(a) = -a - 2. Let y be (-6)/4 - (-1)/(-2). Let x be f(y). Is -2/11 > x?
False
Suppose 5*k + 3*i + 24 = 0, -4*k + i = 3*i + 18. Let q = k - 0. Is q less than or equal to 0?
True
Let x be 55/15 + (-1)/(-3). Let m be x/10 + (-54)/(-15). Let w = -7 - -12. Are m and w equal?
False
Let z(t) = t**3 - 10*t**2 + t - 5. Let o be z(10). Are o and 5 equal?
True
Let k(v) = -v**3 - 6*v**2 - 5*v - 1. Suppose -3*t = -8*t + 60. Suppose -r + 3*r + 2*z = -t, 2*r + 4*z + 14 = 0. Let x be k(r). Which is smaller: x or -2?
-2
Let d(n) = n + 2. Let l be d(-3). Is 0.15 equal to l?
False
Suppose 4*s + 8 = 2*x, -14*s + 13*s = -4*x + 2. Which is smaller: x or 1/141?
x
Let r = 54 - 56.1. Let i = 2 + r. Which is smaller: 1/4 or i?
i
Let k = 67 - 133. Let q be (-6)/(-33) - 10/k. Which is smaller: 2 or q?
q
Let i = 343.1 - 423. Let p = -87 - i. Let o = 7 + p. Is 0 equal to o?
False
Let q(a) = -a**2 - 12*a. Let y be q(-12). Let v = y - 0. Are 0 and v equal?
True
Let n be (7/5 + -1)*-9. Is n greater than -4?
True
Suppose -5*h + 2*n + 53 = 3*n, -5*h - 5*n = -65. Suppose -4*k - h = -5*u, 2*k + 6 = 3*u + 3*k. Suppose -5*l = -d - 2*d - 14, -5 = -u*l + d. Is 1 greater than l?
False
Let q = 20 - 22. Which is smaller: -1.3 or q?
q
Let m = 2.2 + -2.21. Are 2 and m unequal?
True
Let y = -220 - -1536/7. Let m = -4 - 1. Let z be (-3)/5 - (-2)/m. Is z bigger than y?
False
Let n be (-10)/66 + (-1)/(-3). Which is smaller: 0 or n?
0
Let a = 17 + -18. Is a less than -17?
False
Let o = 12 + -62/5. Is -0.4 at least as big as o?
True
Let c(g) be the third derivative of -g**2 + 0 - 1/3*g**4 - 3/2*g**3 + 1/120*g**6 - 2/15*g**5 + 0*g. Let h be c(9). Which is smaller: 1/4 or h?
h
Let o be ((-15)/9)/(28/72) + 3. Which is greater: o or 0?
0
Suppose -3*h + 12 - 27 = 0. Let v be h/(-6)*(-3)/2. Suppose -t + p = 3 - 4, -2*t - 19 = 5*p. Which is smaller: v or t?
t
Let k be 2250/408 - 5 - (-1)/(-2). Is k < 1?
True
Suppose -p - k + 11 = 0, p = -p - 5*k + 31. Let q be (-20)/8*p/(-5). Suppose 11 = 3*v + q*r - 5, -20 = 2*v - 5*r. Is v smaller than 0?
False
Let o(a) = -a + 1. Let l be o(-2). Suppose l*v + 2*z = -2*v, -2*z = -v. Let g(t) = -t + 4. Let y be g(5). Is y > v?
False
Suppose -2*i - 23 = -15. Let g = -1 + -4. Is g greater than i?
False
Let z = -2.99 + -0.01. Let j = -2 - z. Which is smaller: 0 or j?
0
Let b be (-1)/(2 - 5/3). Let j = b - -5. Suppose -z + 4*i = 17, -5*i + 23 = j*z - 5*z. Which is bigger: z or -0.2?
-0.2
Let v(b) = -b**3 + 3*b**2 - 3*b + 3. Let c be v(2). Which is bigger: c or 4/11?
c
Let i = -23/90 - -5/9. Which is smaller: i or 1?
i
Suppose 8 = 2*t - 6*t. Let a be (-2)/10 + t/(-10). Is a < -2/13?
False
Let r be 2 - -1*(0 - -1). Let j be 4/12 - (-2)/3. Suppose l + r = j. Which is greater: l or 1/4?
1/4
Suppose 5*r = -4*p - 3, 5*p - 2*r = -7*r. Is 1 < p?
True
Let s = 7 - 7. Let y = 0.3 + -0.1. Is y at least s?
True
Let x = 85/3 - 28. Let q = -0.5 + 0.7. Which is smaller: x or q?
q
Let h be (-2)/9 - (-96)/(-54). Which is greater: h or -1?
-1
Let t = -156 - -1090/7. Is -1/5 not equal to t?
True
Let w = -0.5 - -8.5. Let z = -7.9 + w. Which is smaller: z or 0.7?
z
Let h(t) = t - 6. Let u be h(6). Which is greater: u or -4/5?
u
Let b = -6.3 + 4.3. Is 0.7 at least b?
True
Suppose -25 = 5*f + 4*o + o, 2*f + o + 5 = 0. Let d(r) = -r - 9. Let q be d(-10). Which is bigger: q or f?
q
Suppose -5*r + 2*k + 328 = 0, 4*r - 176 = -5*k + 60. Which is greater: r or 65?
65
Let a be (14/(-4))/((-55)/(-322)). Let z = 210/11 + a. Let k = z - -9/5. Is 0 greater than k?
False
Suppose 3*a = 4*r + 7, 5*r + a + 25 = 2. Let z be (-6)/4*r/6. Which is smaller: z or -3?
-3
Suppose 0 = -3*h + 7 + 5. Let v = 6 - h. Let m be -2 - -2*v/2. Is -0.2 bigger than m?
False
Let p be 1*(-1 - (-1 + 0)). Let m be 3*(1 - 2)*7. Let z be (-2)/m*3 - 0. Which is smaller: z or p?
p
Let o(g) = -g**3 + 3*g**2 + g - 4. Let y be o(3). Which is smaller: -3/11 or y?
y
Suppose -22 = b - 3*h, 7 = -2*b + 3*h - 28. Let d = -14 - b. Is d at least 1/22?
False
Let j = 32 + -30.2. Let o be (-2)/4*6/(-9). Is o less than j?
True
Suppose l + q + q = -12, 4*l + 2*q + 42 = 0. Are l and -10 unequal?
False
Let a = 19 - 28. Suppose 0 = y - 5*d - 0*d + 18, 4*y + d = -9. Let i = y - a. Are i and 5 non-equal?
True
Let u be 4/3 - (-2)/3. Let l(s) = s**2 - 6*s + 6. Let p be l(4). Let v be p*(-3 + 9/6). Which is bigger: v or u?
v
Suppose 5*w - 30 = -5*