d 0.1 equal?
False
Let x be 3/((-6)/(-4)) + -1. Let o be (-60)/24*(-131)/(-10). Let l = o + 33. Is l equal to x?
False
Let q be ((-18)/(-4))/((-24)/(-16)). Which is greater: q or 19/5?
19/5
Suppose w - z - 4 = -8, 0 = 4*w - 2*z + 6. Let a be (w/38)/((-6)/24). Is -1 not equal to a?
True
Let c(a) = -a**2 + 9*a - 7. Let z be c(8). Let o be (3/(-15))/(z/(-5)). Let k be -1 - 3/(27/(-12)). Which is bigger: k or o?
o
Let o = 18069 + -1770737/98. Let q = -36767/1470 - o. Let a = q + 74/3. Is 2 bigger than a?
True
Suppose 0 = 5*t - 10*t + 10. Suppose 0 = c, -c - 15 = -5*x + t*c. Which is smaller: x or 4?
x
Let v = -31 - -28. Which is bigger: -1 or v?
-1
Let o = -2 + 0.1. Let z = -2 - o. Let i = -216 + 2806/13. Is z smaller than i?
False
Let u be 3/(-7)*1/3. Let k(q) = -q**3 - q**2 + 2*q + 1. Let l be k(-2). Let f be 4/6 + l/3. Is f < u?
False
Let m = 1.4 + -2.4. Let r = -58 - -233/4. Which is greater: m or r?
r
Let d = 714/11 + -65. Is d >= -1?
True
Let t(s) = -s - 8. Let o be t(-6). Let w be (-2)/(-4) + o*13. Let d = -25 - w. Do 0 and d have different values?
True
Let a = 8 + -5. Suppose w - 4 = -a. Suppose 0 = -5*s + 3 + 2. Is w < s?
False
Let k = 32/11 - 875/297. Which is smaller: k or 0?
k
Let n = -4 + 4. Let a be -1 - (1 + 1*-4). Suppose 6 = i + a*i. Are i and n equal?
False
Let z = -9 + 11. Which is greater: 1 or z?
z
Let a(i) = i**2 - 7*i + 6. Let l be a(6). Let o be l + -2 + (-18)/(-10). Is o smaller than 0?
True
Let v be (-1 + -1)/(-3 + 1). Let l = -1/109 - -3205/4796. Let b = l + -10/11. Are v and b equal?
False
Suppose 5*d + 10 = -0*d. Let w be 4/30 - d/(-10). Is 1 at least w?
True
Let j be (-2)/(-6) - 8/(-30). Suppose 3*v + 2*o + 2 = 0, 2*v + o - 1 = -2. Which is bigger: j or v?
j
Suppose s = -0*s + 4. Suppose -8 = 2*z + w, s*w = z + 16 + 6. Is z equal to -6?
True
Let u = -19 - -20. Let w be 16/10 + (-3 - -1). Is u >= w?
True
Suppose -16*h + 18*h = -2. Which is greater: h or 1/26?
1/26
Suppose -d = 3*k - 3, -3*k = -8*k + 3*d + 19. Suppose -3*p + 13 = f - 9, 3*p - k*f - 19 = 0. Let h = 6 - p. Is h at least -1?
True
Let j = 265/4 - 123/2. Is j bigger than -2/17?
True
Let w be 0 - (4 + -2 + 1). Let j(m) = -m**3 - m**2 + 3*m - 4. Let t be j(w). Suppose 4*r = c + 2*c + 29, 4*r - 35 = t*c. Is c bigger than -2?
False
Let m = -7 + 10. Let z be ((-45)/(-6))/(3 + 0). Which is greater: z or m?
m
Let i(a) = -2*a + 4. Suppose n = -2*v + 6, -2*n - 5*v + 24 = -4*n. Let t be i(n). Which is bigger: t or 9?
9
Let b be (22/26 - 1) + (-132)/1001. Let r(l) = -l + 7. Let v be r(6). Which is smaller: v or b?
b
Let x = 0 + 1. Let o(h) = -h**3 + 2*h**2 + 4*h - 1. Let v be o(3). Suppose -5 = -3*p + v*d - 3, 1 = 2*p - d. Is x <= p?
False
Suppose 3*b + 4 = 5*b. Suppose -17 = -k - 4*x, b*k + 18 = 2*x + 3*x. Suppose t - 8 = -3*t. Which is smaller: t or k?
k
Let v = -3.3 - 0.7. Let u = v + 3. Let s = u - -1.1. Are s and -1 unequal?
True
Suppose 0 = -o + 2*o - 5. Suppose -4 = -2*w - 2*q, -o*w + 1 = -3*q - 1. Let z be (-3)/9 + 1/12. Is z greater than w?
False
Let t = -3224 - -738298/229. Let g = t - -448/1145. Are 1/3 and g equal?
False
Suppose -5*z = 9 + 1, -4*d - 32 = -2*z. Let b = 1 + d. Is -8 equal to b?
True
Suppose 17*o + 879 + 1127 = 0. Which is greater: -119 or o?
o
Let t(u) = -4*u**3 - 5*u**3 + 10*u**3 - 4*u**2. Let s be t(4). Let j be (1 - 0) + 10/(-8). Which is smaller: s or j?
j
Let s = 0.2 + 0.6. Let b = -0.9 + s. Let m = -1.9 + b. Which is smaller: -2/5 or m?
m
Let d = 1.56 - 2.56. Is -18 greater than d?
False
Let c(w) = -3*w + 0 + 4*w + 1. Suppose -6*d - 2 = -4*d + 2*y, 4*y - 11 = -d. Let a be c(d). Which is greater: a or 1?
1
Let f = 0.9 - -0.1. Is -2/9 < f?
True
Let p = -0.02 + 0.15. Let n = p + -5.13. Let r = n - -8. Is r >= 2/7?
True
Let t = 5 - 0. Is t <= 13/3?
False
Let r be 5/198*3*27. Let m = 6/11 - r. Which is greater: m or -2?
m
Suppose 2*h + 12 = -c - 3*h, 4*h = -c - 7. Let g = c + -9. Let t = 15 + -11. Is g at least as big as t?
True
Let z(n) = -4*n - 28. Let x be z(-7). Is -1/43 < x?
True
Let q = 0.2 + -1.2. Which is bigger: q or -0.4?
-0.4
Let p be (0 + 5)/((-3)/6). Let d = -21/2 - p. Let s = -2/67 + 73/201. Is s less than d?
False
Let w be (2275/(-126))/(-25) + (-1)/2. Let i = 2 + -1. Is i > w?
True
Let l(k) = k - 1. Let i be l(0). Let p = 11 - 4. Is i greater than or equal to p?
False
Let t = 0.4 + -3.4. Let w = -16 + 17. Does w = t?
False
Let g = -0.9 + 3.9. Are 2 and g equal?
False
Let v be (-4)/12 + 14/6. Let q = -3 + 3. Let u be (v + q)*(-2)/(-2). Is -1 smaller than u?
True
Let c = -0.08 - -0.78. Let l = c + 0.3. Is 1 > l?
False
Let a be (-34)/(-66) + 30/(-165). Which is smaller: a or 0?
0
Let f be 2/(-4)*148/(-6). Let h = f - 12. Let q be 11/(-22)*(-2 + 2). Is h greater than q?
True
Let n(j) = j**2 - 6*j - 3. Let g = -16 + 22. Let d be n(g). Let t be -3 - -1 - 12/d. Which is bigger: 0 or t?
t
Let g = -1.6 - -1.7. Is -10 less than or equal to g?
True
Let k(o) be the first derivative of o**2/2 + 11*o + 1. Let u be k(-9). Suppose 3*a + 8 = 3*m + u, 8 = 3*a + 4*m. Do a and -2/7 have the same value?
False
Let n(r) = r - 8. Let u be n(10). Let d be u/10 - 168/(-160). Are d and 1 non-equal?
True
Let n be (-1723930)/(-578326) - (1 - -2). Let v = 2/2863 - n. Let j = v - 212/505. Which is bigger: j or 1?
1
Let x = 14 + -9. Let o be ((-14)/(-35))/(2/x). Is o equal to 2/15?
False
Let a = -221/3 + 75. Let k = -7 + 7. Which is greater: k or a?
a
Suppose 18*f = 5*f. Is f less than or equal to 1/30?
True
Let y = 9 + -18. Let b = 13 + y. Do b and 0 have the same value?
False
Let n(z) = -z**2 + 6*z - 3. Let f be n(6). Let c be (-2)/(-3)*f/5. Let x = 0.9 + 0.1. Which is smaller: c or x?
c
Let b be -6 + (-56)/(-10) - (-112)/5. Is 21 less than or equal to b?
True
Let f(d) be the first derivative of -d**3/3 + d**2 + 6*d + 4. Let s be f(0). Do s and 2 have different values?
True
Let q(o) = 2*o + 16. Let a be q(0). Is a less than 15?
False
Suppose -3*z - 4*y - 4 = -z, z - 3*y = 23. Suppose 2*c + z = -2*c. Is c at most -6/11?
True
Suppose -2*c + 1 = -9. Suppose 2*v - 1 = 7. Let z = v - c. Which is smaller: z or 0?
z
Let c = -5.1 + 5. Let v = 0.3 + c. Let u = v - 0.3. Are u and 1 unequal?
True
Let g = -14 - -22. Suppose -5*u - 16 = 4*y - 0, -2*y = g. Is 2/35 > u?
True
Suppose 20 = z + 5*q, -2*q = -z + 2*q - 7. Suppose 5*p + 40 = -3*a + 7*a, z*p = -4*a. Which is smaller: p or -3?
p
Suppose -2*k + c = -7, -4*k + 3*k + c + 4 = 0. Suppose -q - 2 - 3 = k*o, -o = 2*q - 15. Is q bigger than 10?
False
Let b = 0 - 3. Let u = -3.2 - b. Are u and 1 unequal?
True
Let s = 97 - 871/9. Let z = 92 - 90. Is z not equal to s?
True
Let h(a) = -a**2 + 5*a + 6. Let x be h(6). Let p be ((-5)/2)/((-2 - -4)/(-4)). Suppose p*l - 4*z = -12, x = l - 2*l - z + 3. Is l at least as big as -8/7?
True
Suppose 6 = 3*m - 3. Is 3 less than m?
False
Let q be 56/12 - (-3)/9. Suppose -3*t = q*u - 2*t, -1 = -4*u - t. Is 0 at least u?
True
Suppose -3*i = -i - 6. Let w be (i/(-33))/(3 + -2). Is w <= 0?
True
Suppose -4*l = -2*s - 2, 2*l = -3*s - 3 + 16. Is s greater than -1/4?
True
Let f = 2 + 0. Let v = 17.3 + -17.3. Is v less than f?
True
Let a = -2127/19 + 112. Which is bigger: a or -1?
a
Let d(b) = b**2 - 7*b + 3. Let w be d(3). Let a be w*((-13)/(-4) - 3). Which is greater: -1 or a?
-1
Suppose 0 = -0*a + 2*a - 6. Suppose -f = 0, -a*v - 3 = -2*f - 2*f. Is v less than or equal to 3/7?
True
Suppose -3*w = r + 428, -4*w - 574 = 3*r - r. Is -141 > w?
False
Let c = 28 - 57. Is -1 less than c?
False
Suppose 3*r + r + 21 = -5*q, 0 = 3*q + r + 14. Let x = q - -10. Which is smaller: 3 or x?
3
Suppose -4*q = -2*q. Let f be ((-663)/(-2) + 3)/(-78). Let u = f - -72/13. Is u bigger than q?
True
Let s = 25 - 21.3. Is s at least as big as 1?
True
Let r(s) = s**3 - 7*s**2 + 5*s + 7. Let l be r(6). Let w be (-4 + 4)*(-2 + l). Which is smaller: w or -1?
-1
Let a be 2 - -2*(-3)/6. Suppose -t = 4*t + 3*g - 23, 0 = -g + 1. Let v = t - 4. Which is bigger: v or a?
a
Let g be ((-12)/(-312))/(1/12). Is -0.08 at least g?
False
Suppose -4*n - 40 = -4*v, 42 = 4*v - n + 5. Let q be (-4*v/(-24))/(-2). Which is smaller: q or -1?
-1
Let d be (11 + -10)/(6/4). Which is smaller: d or 0?
0
Suppose -2*r + 0 = -10. Suppose r*u + 9 = 2*u. Let q be (-5)/u + -2 - -1. Which is bigger: 0 or q?
q
Suppose -4*n = n + 4*k + 25, 3*k + 3 = -2