al?
False
Let f(m) = -m + 11. Let d be f(6). Suppose d*g + 42 = -k, -2*k + 3*k = 3*g + 22. Let z be (-1)/((-2)/g*2). Is -3 greater than or equal to z?
False
Suppose -g - g - 2 = 0. Let p be (1/2)/((-2)/12). Which is greater: g or p?
g
Let d(m) = -4*m**2 - 3*m + 4. Let r be d(-3). Let f = r + 68/3. Is 1 equal to f?
False
Let t(m) = m**2 + 8*m + 1. Let c be t(-8). Let q(p) = 18*p - 1. Let n be q(c). Is n less than 17?
False
Suppose -8 = 3*k - 4*k. Is 55/8 != k?
True
Let h = -2.6 + 3. Let q = -7 + 19/3. Is h bigger than q?
True
Suppose -21 = 6*j + j. Which is smaller: j or -7?
-7
Let i be 6/(-36) - 2/(-4). Which is greater: i or 0?
i
Let p = -18.1 - -18. Which is bigger: p or 3?
3
Let m be 7/15 + 2/(-3). Suppose -v + 6 = 2*y, y + 1 + 18 = 5*v. Let k be (-28)/(-70) + 0/y. Is k greater than m?
True
Let n = 11 - 12. Are n and 1/16 equal?
False
Let k = 13 + -13.1. Do 4/11 and k have different values?
True
Let b be 0 + -3 - 11/(-5). Which is bigger: -2 or b?
b
Let z be 833/1218 + 2/(-3). Let y be ((-35)/(-33))/(116/18). Let s = y + z. Is 1 bigger than s?
True
Let m be ((-8)/4)/(6/9). Let n = -3 - m. Let w = n - 1. Which is bigger: 2/11 or w?
2/11
Let b be 0 - 1 - (-20)/11. Let i = -23/55 + b. Suppose -5*x - 2 = -7. Is x greater than or equal to i?
True
Suppose 3*x = -0*x + p + 16, -3*x + 13 = 2*p. Suppose -4*q + 16 = -g, -2*q + 3*g + 8 = x*g. Is 2 at least q?
False
Let v be ((-12)/5)/(6/20). Let f = v - -18. Suppose -i - 5*g + f = 0, 9*i - 5*g = 4*i - 10. Which is smaller: 2/3 or i?
i
Let z(k) = -4*k + 9*k + k**2 + 12 + 7*k. Let m be z(-11). Let u(g) = 2*g**2 - 3*g. Let j be u(2). Do m and j have the same value?
False
Let j = 1 + -3. Let i be (0*j/4)/1. Let h = 527/5 + -105. Are h and i non-equal?
True
Suppose -3*r = 0, -h - 4*r - 16 = -3*h. Which is greater: h or 10?
10
Suppose 0 = 2*u + u - 21. Let y = u - 4. Are 2 and y non-equal?
True
Let v be (30/(-20))/((-6)/8). Which is smaller: v or 1/2?
1/2
Suppose 4*n - 11 = -f, 4*f - 6*n = -7*n - 1. Let u(t) = t**2 + 5*t - 4. Let c be u(-6). Which is smaller: f or c?
f
Let c(x) = x + 5. Let s be c(-6). Suppose 0*d = 4*d. Which is bigger: d or s?
d
Let t be 2/6*(-3 - 0). Suppose -w + 7 = -5*v, 0 = 3*v + 2*v + 2*w + 1. Is t != v?
False
Let g be 4 + -2 - (-18)/(-3). Let m = 8 + g. Suppose v + 15 = 4*i, -2*v = m*i - 21 + 3. Do i and 3 have different values?
True
Let k(l) = l**3 - 5*l**2 - 7*l + 8. Let f be k(6). Let q = 1 - 1. Let n = q + f. Is 1 < n?
True
Suppose 0 = 3*g - 4*u + 53, 0 = -2*g + 3*u - 3 - 33. Let x = -46/3 - g. Which is smaller: -1 or x?
-1
Let u(p) = p**3 + p**2 - 2*p + 1. Let n be u(2). Let f be 34/6 - (-2)/6. Let o be (-4)/(-6) - f/n. Is -3/7 at least as big as o?
False
Let s = -299/10 + 41541/1390. Let z = s - 963/695. Which is smaller: 0 or z?
z
Let a = 95 - 472/5. Is 1 at least as big as a?
True
Let c = -1/109 + 765/218. Let t = 0 - -2. Suppose t = 5*s - 13. Which is smaller: s or c?
s
Let l be 1*(-3)/(1 + 2). Let c be -8*(6/4 + l). Let u be 0 - ((-2 - c) + 0). Which is greater: u or -1/2?
-1/2
Suppose 0 = -3*l - l - 4. Does l = 1?
False
Let h be 1/(-2)*(-2 + 0). Which is smaller: 1/18 or h?
1/18
Suppose 0 = 4*f - 2*f - 2. Let q(b) = -1 + b**2 + 2 - 3*b + 2. Let u be q(2). Does f = u?
True
Let o be (-70)/(-20) - (-3)/2. Suppose -8*y + o = -3*y. Is y greater than or equal to -1/5?
True
Suppose -4*f - 6 - 2 = 0. Let k be (f + (-2)/1)/7. Let c = -28 - -28. Does k = c?
False
Suppose p - 6*p - 4*r + 53 = 0, -4*p = -2*r - 32. Let k be -3*(1 - 3/p). Which is bigger: -1 or k?
-1
Suppose -4*d + 2*u + 3 = -3, 15 = 5*u. Suppose -20 = -5*l, d*j + 14 = -2*j + l. Which is smaller: j or -7/3?
-7/3
Suppose -20 - 22 = 2*n. Is n > 1?
False
Suppose -21 = 2*i - 0*u - 3*u, -5*i - 4*u = 41. Which is bigger: -7 or i?
-7
Let g be 2/(1 + -5)*0. Are g and 1/280 non-equal?
True
Let h be (-3)/(30/(-16)) + -2. Let z = 0 + -1. Let d be 3 + z + -6 + 3. Which is smaller: d or h?
d
Let d be -3 + (1 - 7) + 1*2. Is d bigger than -0.01?
False
Let h(g) = 2*g**3 - 2*g**2 - 2*g + 2. Let s be h(2). Let m = s + -4. Let r be (m - 1 - 2) + 0. Are 1/4 and r nonequal?
True
Let t be -2*(-1)/14*53. Let l = -671/84 + t. Is l > 0?
False
Suppose -2*v - 6 = -3*v. Suppose -v*j = -j - 65. Suppose 5*k - 2*k = -5*o + j, 4 = -4*k + 4*o. Is k > 1?
False
Let g = -164921578/919149 + -2/131307. Let o = 180 + g. Suppose 3*u - 3 = 3. Which is smaller: u or o?
o
Suppose -5 = 14*x - 9*x. Which is bigger: -1/16 or x?
-1/16
Let s = -23 - -20. Is s at most -0.07?
True
Suppose q - 130 = -q + 4*r, -2*r + 81 = q. Is 74 less than or equal to q?
False
Suppose b - 6 = -2*b. Let f be (-2 - (-3 - -1)) + b. Suppose -5*l + 1 = -2*n, f*n + 8 = l - n. Are l and -5/3 nonequal?
True
Suppose d = y - 1 - 3, 0 = -4*d. Let z = y - 12. Which is greater: z or -5?
-5
Let w = -10 + 9.8. Which is smaller: w or -8?
-8
Let i = 11 + -12. Let p be (0 - i)*0 - -1. Which is smaller: 1/6 or p?
1/6
Suppose -z = -l - 1 + 5, -4*z + 2*l - 16 = 0. Which is greater: -2/9 or z?
-2/9
Let i be (-5)/(3/6*-5). Let m = 0.05 - -2.95. Which is greater: m or i?
m
Let c(x) = -x**2 + 7*x - 7. Let p be c(5). Suppose 0*v - 2*b - 3 = -v, 2*v = b - p. Let a(w) = 3*w - 35. Let u be a(11). Are v and u unequal?
True
Let i = 20 - 21. Which is smaller: i or -2/107?
i
Let w = -53/2 - -26. Is w < 0?
True
Let o be (8/(-10))/(2/(-15)). Which is smaller: 5 or o?
5
Suppose 5*t - t - 35 = 5*x, t + 5*x + 10 = 0. Let l = t - 4. Do l and 4/5 have different values?
True
Let j(l) = l**3 - 4*l**2 - l - 4. Let v be j(4). Which is smaller: -7 or v?
v
Let q = -4 - -4. Let u be (-6)/(-4)*(2 - q). Let t(v) = -v**3 + 3*v**2 - 1. Let n be t(u). Which is bigger: -2/3 or n?
-2/3
Let w = -436/7557 - 2/687. Is w at most as big as 0?
True
Let x(m) = m**3 - 3*m**2 + 2*m - 1. Let h be x(2). Let j(t) = 15*t**2 + 3*t - 1. Let v be j(-3). Let w = v - 627/5. Is h bigger than w?
False
Let q = 16 - 7. Let x be (-47)/q + 2/9. Is x >= -5?
True
Let j = -3 + 2. Let y = 0.7 + j. Let m = 0.1 + y. Which is bigger: m or 1?
1
Let y = 4 - 2. Suppose y*o = 6*o - 20. Let x = o + -1. Is x bigger than 0?
True
Let s = -52 - -51. Which is greater: 1/7 or s?
1/7
Suppose -i = i + 2. Let r be -1*(12/(-9) - i). Which is smaller: r or 0?
0
Let y(j) = -j**2 - 14. Let u be y(0). Suppose 0 = -5*n + 12 + 28. Let p be n/u*(-14)/12. Do p and 3 have different values?
True
Let d(j) = -j**2 + 10*j - 23. Let w be d(6). Are w and -53 unequal?
True
Let i = 82703/484764 + -82/597. Let p = -2/29 + i. Let h = 25/84 - p. Which is smaller: h or 1?
h
Let l(h) be the first derivative of h**2/2 + 3*h - 4. Suppose -4*c + 0*c + 4*s = 20, 0 = -4*c - 2*s - 32. Let j be l(c). Is j at least as big as -3?
False
Suppose -25 = -4*f - f, 5*f = 4*d - 111. Suppose -34 = -3*v - m - 4*m, -d = -4*v - m. Let j be (-1 - -1) + 2 - v. Which is smaller: -5 or j?
j
Let v = 1.6 - -0.2. Let l = v - 1.8. Is -0.2 at most as big as l?
True
Suppose 0 = -73*v + 74*v + 6. Let w(r) = -5*r - 1. Let d be w(1). Are v and d non-equal?
False
Let v = -179/15 - -43/5. Let n = v - -64/21. Let i be 1 + (2 - 6) + 2. Is n not equal to i?
True
Let y = -7 - -4. Suppose m - 4*u = -2, -2*m + 2 = -5*u - 6. Suppose d = 5*f - 9, -5*f + m = -d + 5*d. Which is smaller: d or y?
y
Suppose -3 - 7 = -5*p. Let u = -1 - -4. Is p greater than u?
False
Suppose 0 = 2*q - 2, 5*j - 7 + 25 = -2*q. Let g be (2/(-1))/(j/6). Let n be (-2 + 2)*-1 - 1. Does n = g?
False
Suppose -2*i + 6 - 2 = 0. Suppose -3*l + 4 = -i*l. Suppose -l*m + 20 = 5*w, 0 = -2*m + 2*w - 5 - 3. Is 1 at most m?
False
Let s = 21 + -15. Let b be (s/1)/((-4)/(-2)). Suppose 2*q - u + b = 0, -2*q - q - 2 = -u. Are -1/3 and q unequal?
True
Let b = -206 + 288. Let a = b - 46. Let i be a/175 - 6/21. Which is smaller: 0 or i?
i
Suppose u = -2 - 4. Let o be ((-2)/(-20))/(u/(-18)). Is 1 at most as big as o?
False
Let g(z) = z**3 - 11*z**2 + 2*z - 15. Let h be g(11). Is 5 < h?
True
Suppose -10*u = -5*u + 35. Is u greater than -8?
True
Let z be (-4)/14 + 48/266. Let a = 48/95 + z. Which is smaller: a or -1?
-1
Let y be (1 + 9/(-6))*2. Is y less than or equal to -2?
False
Let z = -12 - -12. Suppose k = -3*l - 13, l + z*l + 3 = 0. Is k bigger than 0?
False
Let p(k) = k**2 + 4*k + 3. Suppose -3*j = 2*j + 15. Let n be p(j). Suppose h - 7 = -17*f + 20*f, -h + 2*f = -5. Which is bigger: h 