?
True
Let n be 8/(-10) + 4/(-20). Let k be (-2)/(-3*2)*n. Which is smaller: -1 or k?
-1
Let x(g) = g**3 - 8*g**2 + 7*g + 5. Let m be x(7). Let j be ((-54)/m)/(528/570). Let d = j - -120/11. Is -2 < d?
True
Let a be ((-8)/32)/(1/(-4)). Let i be a/((-51)/(-12)*-2). Which is smaller: 1 or i?
i
Let r be 1*7 + (-4 - -5). Suppose -5*u - r = -3. Is u at most 1?
True
Let r be (-2)/6*(1 + -4). Let t be 4/(-7) - (-3)/21. Is t > r?
False
Suppose 4*f + 0*f = 5*r, 0 = -4*r - 4*f. Suppose 0 = -4*n - r*n + 16. Suppose -2*t + q + 5 = 2*q, -30 = -3*t + 3*q. Which is smaller: t or n?
n
Let m = 7 + -10. Let r = m - -2. Let g = -2 - r. Is g greater than or equal to 2?
False
Let v be ((-4)/3)/((-36)/270). Is 4 bigger than v?
False
Let j be 3*(-48)/54*3/(-4). Let r(y) = 3*y**2. Suppose 3*p - 4 = 2*o - 15, 3*p - 1 = -o. Let z be r(p). Is z at least as big as j?
True
Let v(l) = -5*l - 4. Let m be v(-5). Suppose -3*f + m = -0*f. Let s(o) = -o + 10. Let i be s(f). Is 4 greater than or equal to i?
True
Let d = -4 + -8. Let u be (-918)/d*(-2)/(-336). Let z = u + -5/16. Is 0 greater than z?
False
Suppose 0 = -3*k + 2*x + 18, 1 = 2*k - 3*x - 11. Are 7 and k equal?
False
Let h(x) = -3*x - 1. Let t be h(-2). Suppose 3*o - 36 = -3*w, -3*o - t - 36 = -4*w. Is 11 < w?
False
Let n(t) = -3*t - 4. Let p be n(-2). Is p bigger than 3?
False
Let v = 0 + -1. Let s be -4 + (18/5 - 0). Is v equal to s?
False
Let n = 1275/2 + -626. Let c = -11 + n. Which is greater: -1/3 or c?
c
Suppose -5*w + 60 = -0*w. Let y = w + -15. Which is smaller: y or 0?
y
Let y be 15/(-75) - (-2)/8. Which is smaller: y or 0?
0
Suppose 12 = -4*y + 2*y. Let c be 14/(-6) + (-2)/y. Let d be (-6)/(-4) + 2/c. Is 0 != d?
True
Let d = -1 - -1. Let q be 2/3 + 834/(-1953). Let o = q - 3/31. Is d equal to o?
False
Let d = 6 + -3. Suppose -1 = 2*a - d*a. Let v be (-1)/(-1)*0/1. Which is smaller: v or a?
v
Suppose 17*w = 2 - 2. Which is greater: w or -3/4?
w
Let d(p) = p**3 - 3*p**2 + 3. Let o be d(3). Suppose 2*f - o = -f. Is 3/2 greater than or equal to f?
True
Let a(h) = 5*h + 1. Let b be a(1). Suppose b*z = z + 10. Suppose -g + 5*p - 26 = -11, 0 = -4*p + 16. Which is greater: g or z?
g
Suppose 4*j + 5 = 5*c, -j + 3*c + 8 = 4. Let t = -2 + -2. Which is smaller: t or j?
j
Let f = -1.17 + 0.17. Let q = 3 - 6. Is f bigger than q?
True
Suppose 0 = -0*f - 4*f + 8. Suppose -4*a = -f*a. Is a != -1/5?
True
Suppose -5*c + 0*c + 4 = 2*d, -3 = 3*c + 3*d. Let h be 9/(-6) - c/(-4). Let w be ((-16)/8)/(h/(-2)). Is -4 at most as big as w?
True
Let v(s) = -s**3 + 13*s**2 + 14*s - 6. Let u be v(14). Which is greater: u or -4?
-4
Let f(u) be the first derivative of -u**2/2 + 4*u + 6. Suppose -4*c = -3 - 17. Let s be f(c). Is -2 equal to s?
False
Let l = 14.9 + -15. Is 2/17 at least l?
True
Let s(f) = -5*f**2 - 3*f + 6*f**2 - 4*f. Let a be s(7). Which is bigger: -0.3 or a?
a
Let i = -11 - -9. Let f be (i/36)/((-1)/(-4)). Which is smaller: f or 6?
f
Let m(h) = h**3 + 2*h**2 - 3*h + 4. Suppose 0 = 4*w + 15 - 3. Let v be m(w). Let i be 8/12*(-2)/v. Is i at least as big as -0.2?
False
Suppose 0*i - 22 = 4*x - 5*i, i = 2. Let m = 5 + x. Suppose -15 = -g + 2*g - 5*y, 3*g - m*y = -6. Do g and 2/9 have the same value?
False
Let c(f) = -f**2 + 1. Let p be c(0). Let m be (-10)/(-8) + (-1 - p). Let l(g) = g**3 + 11*g**2 + 9*g - 12. Let s be l(-10). Is m less than or equal to s?
False
Let j be 0/1*2/(-4). Let n = 91 + -89. Which is bigger: n or j?
n
Let f = -97800/17 + 1331767/221. Let a = f + -273. Which is bigger: -1 or a?
a
Let v = -6 - 3. Is -9 greater than v?
False
Let g(t) = t**3 - 6*t**2 + t + 8. Let y be g(6). Let v = y + 18. Suppose 0*n = 3*b + n + 20, 5*b + v = -n. Is -6 less than b?
False
Let d = 36 - 37.2. Which is bigger: d or 1?
1
Let n = 69 - 551/8. Suppose 7*g - 4*g + 81 = 0. Let w = -26 - g. Are n and w unequal?
True
Let f(h) = -h - 1. Let s be f(-2). Let k(o) = -o - 2. Let d be (6/4)/((-3)/6). Let c be k(d). Is c >= s?
True
Let p be (26/(-22) - 0) + 26/143. Is 1 smaller than p?
False
Let l = -13.2 + 2.2. Let u = 6 + l. Let z = 5.1 + u. Which is bigger: z or 2/5?
2/5
Let p(y) = y**2 + 6*y + 4. Suppose 0 = 4*l - 6 + 26. Let q be p(l). Let f = 5.9 - 6. Which is greater: q or f?
f
Let r = 2 + -2.1. Let a = r - -0.3. Is a at most -1?
False
Let a(m) = -m**2 - 6*m - 5. Let l be a(-5). Let c be (-1)/(-10)*(-75)/10. Is c equal to l?
False
Suppose -2*m - 3*q = -m - 15, 3*q - 33 = -4*m. Let u be (1 + -17)*(-12)/(-16). Let d = u - -18. Is d at most as big as m?
True
Let a be (-3)/(-5) - 20/(-50). Is 1 < a?
False
Let i = -31 - -23. Let c be (-129)/15 + (-4)/10. Do i and c have the same value?
False
Let b(l) = l**3 - 3*l**2 - 3*l + 3. Let z be b(3). Which is greater: z or -9?
z
Let u be (-1)/2 + 488/16. Which is bigger: u or 1?
u
Let z be (4/(-6))/(1/3). Let t = z + 3. Let h = -8 + 8.1. Do t and h have different values?
True
Suppose -2*p - 11 = 2*p - 3*g, -5*g - 20 = p. Let c be p + 7 - (12 + 0). Which is greater: -2 or c?
-2
Let f be (-1 + 2)*(41 - 0). Let y be (1 - f/39)*-3. Let p(o) = -o - 8. Let s be p(-8). Is s equal to y?
False
Suppose -3*d + 3 = 3*a, -2*d + 0 = -2*a - 6. Let c = d - -3. Is 4 bigger than c?
False
Suppose 4*h + 4*r - 20 = 0, 2 + 4 = -2*h + 2*r. Which is smaller: 3/16 or h?
3/16
Let f(a) = 2*a + 3. Let m be f(-1). Are m and -1/16 nonequal?
True
Let a = 0.03 + -3.03. Let i = 3 - -1. Let x = -4.1 + i. Is x not equal to a?
True
Suppose 5*z - 2*i - 44 = -0*z, -i - 18 = -2*z. Let w = -11 + z. Do w and -3 have the same value?
True
Let x = -0.86 - -0.06. Let p = -1 - x. Let j = p - -0.2. Which is smaller: -1 or j?
-1
Suppose -g + 5*s = 27, 3*g + 6 = s - 5. Let t(q) = -q**3 - 6*q**2 + 9*q - 2. Let z be t(-7). Let i be (-40)/z*3/(-5). Is g at least as big as i?
False
Let s = -1742/3 - -1906/3. Let l = 54 - s. Which is smaller: l or 1?
l
Suppose -3*n + 8 = n. Are n and 2 unequal?
False
Let q = -12.9 + 13. Does -4 = q?
False
Suppose -4*l + 2 = -2. Is l greater than or equal to 3/11?
True
Suppose 2*b = 4*b + 20. Which is smaller: 0 or b?
b
Let h = -49 - -50. Is 10 greater than h?
True
Suppose -n - 2*d = 2, -5*n = d - 12 + 4. Suppose 0 = -v + 4*s - 1, n*v - 2*s = s + 3. Suppose 2 = k + v. Are k and -2/3 unequal?
True
Let z = -45 - -28. Is z bigger than -16?
False
Let u be 6*((-13)/(-2) - 24/8). Is u < 21?
False
Let d = 0.15 - 12.15. Let i = d + 17. Is -1 not equal to i?
True
Let f be (-2 - -6) + 2/(-1). Suppose -3*q - 1 = -5*k - 4*q, 8 = -f*q. Let i be ((-1)/14)/((-3)/18). Is k less than i?
False
Let u be (2 + 1)/(0 - -1). Let n be -1*(2 + 3/u). Is n greater than -2?
False
Suppose 3*z = -9 + 3. Let t be ((-4)/(-10))/(1/(-2)). Is z not equal to t?
True
Let m be (-196)/(-70) + (-1)/(-5). Suppose 0 = -0*x + 3*x + m. Is -3/4 at most x?
False
Suppose 0*c - 225 = -5*c. Suppose -4*u + 9*u + c = 0. Which is greater: u or -8?
-8
Suppose 0 = l + 2*l - 0*l. Which is bigger: -3 or l?
l
Let h = -4.2 + 4. Let x = 23 - 24. Which is smaller: h or x?
x
Suppose 0*j - j = 0. Which is smaller: j or 0.2?
j
Let h(r) = -r - 6. Let s be h(-6). Suppose s = -n + 4*n - 3. Suppose -w - 8 = 5*f + n, 14 = -5*f + 4*w. Are -3 and f equal?
False
Let y be (4/(-6))/((-2)/3). Let o = 2 - 2.05. Let w = o + -2.95. Is y > w?
True
Suppose -8 = 3*t + 4. Let v be (-2*1)/(4/6). Which is greater: t or v?
v
Suppose -2*s + 6*s = -2*v + 4, -4*s + 2*v = -4. Suppose -4*p = -5*p - 2. Let d be p/8 - (-4)/8. Does d = s?
False
Let n be 3 + -1 - (19 + -20). Is n <= 12/7?
False
Let w be 0 - (-9)/(-3) - -23. Suppose 5*o - o - w = 2*y, 5*y = 4*o - 26. Is o <= 4?
True
Let w = -3 + 5. Suppose -w*d + 6 = 3*d - 2*v, -v - 3 = -3*d. Suppose d = -2*h + 3*h + 1. Which is smaller: 0 or h?
h
Suppose -j = -4*j + 3. Let p be (2 + -4)*(-78)/(-16). Let d = p - -10. Which is bigger: d or j?
j
Let d = 6 - 1. Let p = 4 + 0. Let o = d - p. Which is bigger: o or -1?
o
Let g be -23 + 4 + 16/(-4 - 0). Which is smaller: g or -67/3?
g
Let z = -4 - -3.9. Let j = -4 + 5. Is z < j?
True
Let h = -0.3 - -0.2. Let n = -5.2 + -5.8. Which is bigger: h or n?
h
Suppose 0 = c + z - 8, 5*z = -c + 3*c - 44. Are 13 and c equal?
False
Suppose -4*c - 5*i = -i - 24, 4*c + 2*i = 24. Let y be (-24)/(-243)*c/8. Which is smaller: y or 0?
0
Let v = 56 + -50. Which is bigger: -0.3 or v?
v
Suppose h + 2*h - 34 = o, 2*h + 124 = -3*o. Le