?
False
Let i(a) = -a**2 - 9*a - 6. Let h be i(-8). Suppose 3*c + 6 = -l, 0*l = -5*l - 5*c. Are h and l non-equal?
True
Suppose -2*k + 33 = 3*o, -k + 4*o = -6*k + 72. Suppose 15 = 3*r - 4*d + 4, -2*r + 5*d + k = 0. Is -2 greater than r?
False
Let h = 11/9 + -14/9. Suppose -k + 3 = 2*k. Do h and k have different values?
True
Suppose 2 = -6*f + 7*f. Let u(g) be the first derivative of -g**3/3 + 3*g**2/2 - 2*g - 1. Let v be u(2). Which is greater: f or v?
f
Suppose -w + 3*w = 8, v = -5*w + 30. Suppose v = -j + 6*j. Let c = -31/3 + 167/15. Is c equal to j?
False
Let d = 523/30 - 83/5. Let y = d + -1/3. Is y less than 0?
False
Let w be (-116)/66 + (-4)/(-6). Let o = w + 13/22. Is o <= 1?
True
Let t = -27 - -26. Do t and -9 have the same value?
False
Let f = 0 + 3. Let q = 1 - f. Let k = 5 + q. Which is bigger: k or -1/3?
k
Let i(r) be the first derivative of -r**4/4 - r**2 - r + 4. Let b(v) = v**2 + 4*v - 6. Let d be b(-5). Let m be i(d). Is 5/3 >= m?
False
Let f(y) = -4*y - 2. Let c be f(-1). Suppose 2*z + 8 = -2*o, 5*z + 20 = -c*o - 2*o. Are z and -4 non-equal?
False
Let h be (-12)/(-8) - 46/4. Let n = 6 + -15. Is h smaller than n?
True
Let k be ((-13)/13)/(0 - -1) - 92. Which is greater: 1 or k?
1
Let a be 76/18 + (-6)/27. Suppose -a*q - 29 = -7*q + 4*i, i = -3*q + 4. Let b = -1 + q. Is b at most 2?
True
Suppose -9 + 4 = -5*a. Suppose -18*d + 23*d - 25 = 0. Suppose -d*v + 26 = a. Which is smaller: 2 or v?
2
Let m be 0*(0 - 4/8). Suppose 3*q - 4*x - 8 = 0, -q + 2 = -x - m. Let b be (-3)/(-9) - (-28)/(-30). Are q and b equal?
False
Suppose y = -5*a + 15, 2*y + 13 - 4 = 3*a. Let u(k) = k**2 - 5*k + 4. Let l be u(a). Is l at least as big as 0?
False
Let o be 3 + -1 + 5 + -2. Suppose 7 + 3 = o*w. Which is bigger: 1 or w?
w
Let n = 3.997 - -0.003. Is 4 greater than or equal to n?
True
Let r = 34 - 31. Let f be (-2 - -1)/(1 + 0). Let q be -2 - 6*f/1. Which is smaller: r or q?
r
Let m = 9 - 9. Let a be (-2)/(-4)*16/6. Are a and m nonequal?
True
Let k = -1 + 6. Is -2/7 equal to k?
False
Let b(t) be the first derivative of -t**4/4 + 2*t**3 + 2*t - 1. Let j be b(6). Which is smaller: j or 3/4?
3/4
Let r = 2.58 + -2.5. Which is bigger: 0 or r?
r
Let v = 2/59 + 55/118. Let z = -1.8 - -2. Is v >= z?
True
Let u = -23 + 23. Is u > 3/7?
False
Let t be (-108)/(-180)*(-1)/(-3). Which is greater: -42 or t?
t
Let o be (-2)/(-11) + (-126)/(-33). Let l be o/(-3) + (-6)/9. Do 1/3 and l have the same value?
False
Suppose 0 = 3*b - 6, -7*b = n - 3*b - 12. Is n >= 28/9?
True
Let p = 6 - 6.4. Let r = p + 0.2. Which is bigger: 0.3 or r?
0.3
Let g be (-2)/3*(-18)/102. Which is smaller: g or -1?
-1
Let n be 0/(-1) + 2 + -1. Which is smaller: n or 1/7?
1/7
Let x = 9598/6651 - -1/739. Which is bigger: 0 or x?
x
Let q(w) = -5*w + 1. Let l be q(-2). Let v = -16 + l. Is -5 at most as big as v?
True
Suppose -b - 4 - 11 = -5*z, 3*z - 9 = -4*b. Suppose -2*q - 1 = -z. Suppose u - 2*u - 2 = 0. Is q less than u?
False
Let h = 16 - 11. Is 5 != h?
False
Suppose -6*m = -3*m. Let j = 12 - 12.8. Does m = j?
False
Suppose -4*q = -6*j + j + 158, 2*j = -4. Which is bigger: -43 or q?
q
Let j(x) be the third derivative of -x**5/60 + x**4/6 + x**3 - 2*x**2. Let v be j(5). Let s be (3/4)/((-45)/10). Is s bigger than v?
False
Let r(v) = -2*v**2 - 11*v + 2. Let x be r(-5). Suppose -2*k = -5*g + 2 + 1, 3*g + 4*k = x. Which is smaller: g or -1/13?
-1/13
Let z(u) = u**2 + 8*u + 6. Let k be (-3 - -3 - -1)*-7. Let j be z(k). Let n = -2.9 - -3. Which is smaller: n or j?
j
Let o(p) = p**3 - 13*p**2 + 14*p - 8. Let u be o(12). Suppose 0 = -j - 3*j + u. Suppose -3*d - d = -j. Are d and -2/9 equal?
False
Let f be ((-2)/(-5))/(8/80). Suppose 3*c - 1 = f*c. Which is smaller: -4 or c?
-4
Let p = 3 + -3.5. Let k = -2.5 - -2. Let u = k - p. Which is bigger: 1/3 or u?
1/3
Let d = -8 - -4. Let i(r) = r**3 + 3*r**2 - 5*r - 2*r**2 - 1 + 2*r**2 - 3. Let o be i(d). Is 1/3 at most as big as o?
False
Let x(l) be the first derivative of l**4/4 - l**3 - l**2/2 + 4*l - 3. Let v be x(3). Is 2/21 >= v?
False
Let w = 86/7 + -781/63. Which is smaller: w or 0?
w
Let m be ((-20)/(-8))/(2/12). Suppose m - 1 = 2*a. Is a equal to 8?
False
Let h = 0.111 - 0.211. Which is greater: h or -69?
h
Let l = 0 - -0.1. Let f be (-1)/(-4) - (-287)/4. Let h be (-128)/f + 4/(-18). Which is greater: l or h?
l
Suppose 3*u + w - 2 = -0, 5*u = -5*w + 20. Let z be (3 + (3 - 5))*-1. Is z greater than or equal to u?
True
Let k be 0/(-2*(-1)/2). Suppose -z + 0 + 3 = k. Is 3 at most z?
True
Suppose 0 - 10 = 5*c. Let p be 2/(-10) - (-12)/10. Let h be 3/12 - p/4. Which is smaller: h or c?
c
Suppose 4*r + 0*h - 5*h + 1 = 0, 4*h = 2*r - 4. Is r greater than or equal to -2?
False
Suppose 5*p - 40 = -3*p. Which is greater: 4 or p?
p
Let t be (-2)/(-11) - (-2)/(-11). Is 1/14 at most as big as t?
False
Let l = 0 + 3. Suppose l*n - 5 = 4. Suppose 0 = -3*j + 3*m - n, 3*j + m - 3 = 2*j. Is j at most -1/3?
False
Let i = 7 - 9. Let b be i + (-1)/(2/(-4)). Is b greater than or equal to -6/7?
True
Let a = -18 + 21. Is 5 > a?
True
Suppose -q + 2 = -0. Let a be (-80)/(-15) - (-4)/6. Suppose -3*y + 0 = a, 0 = -5*c + q*y + 9. Is c at least as big as 2?
False
Let q = -137 - -65. Are -72 and q nonequal?
False
Let h = -68 - -67.6. Which is greater: h or -1?
h
Let u(f) be the first derivative of f**2 + 6*f + 1. Let o be u(-4). Let p be 2 - (-5)/(5/o). Is -2/7 less than p?
True
Let r(u) = -u**3 + 4*u**2 + 2*u - 6. Let p be r(4). Suppose p*g - 2 = 10. Suppose -6 = 4*i + g. Are i and -1 equal?
False
Let k(b) = 4*b**2 - 3*b - 1. Let d(q) = -q**2 + q. Let s(p) = -p + 8. Let f be s(6). Let t(x) = f*k(x) + 7*d(x). Let z be t(-2). Are 1 and z nonequal?
True
Suppose -4*j + z + 18 = -5, -3*j + 17 = -z. Let g be ((-4)/3)/((-4)/j). Suppose 2*v - a - 9 = 0, 2*v + 3*a + 11 = -0*v. Is v at least g?
True
Let m be 0*(-3 + 2)/2. Which is greater: -2/5 or m?
m
Suppose -5*n = -g - g - 29, g + 4*n - 18 = 0. Let c(o) = -o**2 + 2. Let a be c(g). Let y = 2 - 3. Which is greater: a or y?
y
Let v(x) = -x**3 - 6 - x**2 - x + x**3 + x**3. Let c be v(0). Let r be 28/(-49)*7/c. Which is greater: r or 1?
1
Let c be (-42)/(-4) - 1/2. Suppose p - c = -4*p. Suppose p*q - m = 3*q - 3, 2*q + 29 = 5*m. Is 0 at least as big as q?
True
Let z(x) = 15*x - 5. Let o be z(6). Let a = o + -851/10. Which is bigger: a or 0?
0
Let d = -1 + 15. Let w = 6 - d. Which is bigger: w or -7?
-7
Let r = 1 - 1. Let h = -23 + 26. Which is greater: h or r?
h
Let p = 4081 - 1130435/277. Which is smaller: -1 or p?
-1
Let a be 33/9 - 1*3. Let d = -0.6 - 5.4. Let c = d + 6.3. Which is smaller: a or c?
c
Let f = 0.87 + -6.91. Let h = -0.04 - f. Is 0 smaller than h?
True
Let a = 6/67 + 238/335. Does a = 1?
False
Let y be 2/8 - (-12)/(-80). Is y at least as big as -1?
True
Suppose 0 = -3*t - t - 5*c + 55, 0 = -5*t + 5*c + 80. Suppose -5*y - 20 = 3*h, y - h - 3 = -t. Which is greater: y or -8?
y
Let a(s) = 2 + 4 + 0*s - 2*s. Let w be a(11). Let o be 4/(-9)*6/w. Which is greater: o or 0?
o
Let w(u) = -u - 1. Let h be w(3). Suppose -t + 0*t - 3 = 0. Is h < t?
True
Let r = -23889/35 + 683. Let q = r - 2/35. Which is greater: 1 or q?
1
Let a(q) = -6*q**3 + 4*q**2 - q + 1. Let k = 5 - 10. Let x(c) = -7*c**3 + 5*c**2 - c + 1. Let d(h) = k*x(h) + 6*a(h). Let m be d(0). Which is bigger: m or 1/7?
m
Let q be -2 + (-1 - 14/(-6)). Let d = -71 - -72. Is q at least d?
False
Suppose -4*h + 9 = 4*c + 1, -h = 3*c - 4. Which is greater: c or 2/3?
c
Suppose 21 = -5*c + 6. Which is bigger: c or 1?
1
Suppose 0 = -3*p + r, r - 4*r - 4 = -5*p. Let a = p + 3. Suppose 0 = -a*v - 3*v. Are v and -3/7 unequal?
True
Let v = 19 + -16. Suppose 4*o + o - 8 = v*p, o = 1. Which is smaller: -2/83 or p?
p
Let u = -104 - -105. Which is smaller: 59 or u?
u
Let k = 3.7 + -3.7. Are k and 0.4 unequal?
True
Let t(d) = -d - 14. Let f be t(-5). Which is smaller: f or -7?
f
Let l = 25/78 - 1/78. Is 1 less than l?
False
Let o = -1 + 3. Suppose -3 = -5*t + o*t, -2*t - 18 = -5*x. Is x != 2?
True
Let z = -5/2333 + 492293/13998. Let s = 35 - z. Suppose 4*u = -2*a + 1 + 5, 5*u - 6 = -a. Which is greater: s or a?
a
Let k be ((-4)/26)/(4/(-3)). Let n = 61/78 - k. Is -2/7 less than n?
True
Let n be 19/5 + (-2)/(-10). Suppose -m = 3*m - n. Are m and -2/3 unequal?
True
Suppose -5*q - 17 = y, 2*q