or 1/9?
1/9
Suppose 24 = -0*j - 6*j. Is j equal to -3?
False
Let s = 13 + 3. Let o be 9/28*s/24. Which is smaller: 0 or o?
0
Let g be (1 - -5)*2/(-20). Let n(k) = k**3 - 9*k**2 + 9*k - 10. Let i be -4 - (-4 + 2) - -10. Let z be n(i). Which is smaller: z or g?
z
Suppose -2*l + 13 = -4*q - 7*l, 0 = 3*q - l + 5. Let w be 80/(-476) + q/(-7). Is 0 equal to w?
False
Let q be ((-1)/2)/(5/(-10)). Let v = q - 1. Let f = -4/7 + 1/7. Are v and f equal?
False
Let c = 17.3 - 17.2. Which is smaller: -1.39 or c?
-1.39
Suppose 6*u - 4*u = 0. Suppose s - 2*s = 0. Does u = s?
True
Let z = -2 - -1. Let m be (18 + -16)/(2/144). Let w be 2/9 + (-248)/m. Are w and z non-equal?
True
Let v = -3 + 3. Let u be 38/(-72) - 6/27. Is u less than v?
True
Suppose -j + 1 = -0*j. Let v be 10*1/(-5)*-2. Suppose 0 = -b - v*b. Which is greater: b or j?
j
Let i(d) = -d**2 + 4*d + 1. Let w be i(3). Suppose -6*t + w*t - 8 = 0. Which is bigger: t or -5?
t
Suppose -7 = 2*v - 3*v. Suppose v = 2*a + 3*h, 3*a + 1 = h + 6. Suppose u - 2 = -a*n, 5*n + 4*u - 10 = -u. Do -3/7 and n have the same value?
False
Suppose -x - 1 = -5. Suppose -3*i + x*i = 0. Let n(w) = w**3 + 8*w**2 + 6*w - 7. Let h be n(-7). Is h > i?
False
Let s = -15 - -1. Which is bigger: s or -16?
s
Let n(s) = -s**3 + 5*s**2 + 4*s. Let k be n(6). Let v be ((-4)/36)/((-14)/k). Is v equal to -1?
False
Suppose 0 = 2*n - 2 - 2. Let g be (-2)/8 + (-126)/(-56). Suppose n*u - g = -0*u. Do -1/5 and u have the same value?
False
Let v be (11/(-22))/((-1)/8). Is 5 less than or equal to v?
False
Suppose 0 = -4*f + f - 3. Let l be (-4)/6 - (-2)/6. Which is smaller: f or l?
f
Let b = 10 + -8. Which is smaller: b or -0.2?
-0.2
Let w be (6 + -4)*(-1)/8. Suppose 5 = 4*q - 3. Suppose -v = -k + q, -3*k - 2*v + 6 = 5. Are w and k equal?
False
Suppose -3*h - 11 = 5*q, -h - 1 = -5*q + 4*q. Let r be h/(-2*7/(-2)). Which is smaller: -1 or r?
-1
Let j(s) = 3*s**2 + 5*s - 2. Let d be j(-4). Let u be (-4)/d - 567/117. Which is smaller: -6 or u?
-6
Let p = -3 - -6. Suppose p*n = -n. Let r be (-2)/10 - (-39)/45. Is n less than or equal to r?
True
Suppose -4*n = -20, 0 = -0*x - x + 3*n - 26. Is -11 greater than or equal to x?
True
Let y be 12/8 - (-204)/8*-1. Are y and -24 equal?
True
Let j = 3 - -12. Let d = -14.9 + j. Is d greater than 2/7?
False
Let n(x) = x**3 + 6*x**2 + 7*x + 3. Let p be n(-5). Let t be -4 + 7 - (-23)/p. Let y be (0 - 0/(-1)) + 1. Which is bigger: y or t?
y
Let f(w) = -w**3 + 19*w**2 - 18*w - 4. Let k be f(18). Let o(d) be the second derivative of -d**4/12 - d**3/2 - d**2/2 - 2*d. Let m be o(-4). Is k equal to m?
False
Let r(u) = u + 5. Let g be r(0). Let p(h) = -h + 7. Let v be p(g). Suppose -s = -v*a + 4 - 0, -4 = -a + s. Is 6 greater than or equal to a?
True
Let j = -35 + 35. Which is smaller: j or -1/23?
-1/23
Suppose 0 = -y + 6 - 15. Let t = y + 7. Is -2 > t?
False
Let c(m) = 3*m + 6. Let z be c(-2). Which is smaller: -6/7 or z?
-6/7
Suppose 6*x = 5*x + 2. Suppose -8 = -3*m - x. Let t = 192/215 - 4/43. Which is greater: t or m?
m
Let l be ((-1)/(-2))/((-44)/24 - -1). Is 0.1 at least l?
True
Let b be (-33)/11*6/(-2). Let t(n) = -n**2 + 10*n - 9. Let q be t(b). Let w be 0 - -1 - (-30)/(-26). Are q and w unequal?
True
Suppose -15 - 9 = 4*h. Is h bigger than -6?
False
Let u = 118 + -118. Which is smaller: u or 32/5?
u
Let k = 6 + -12. Which is smaller: -0.1 or k?
k
Suppose -g - g + 44 = 0. Which is bigger: g or 21?
g
Let n = -18 - -17. Let o be -4 - -1 - n*2. Is o != -2/3?
True
Let x(r) = -r**3 - r**2 + 4*r + 3. Let s be (1 - -1)*(-4 + 3). Let y be x(s). Is y greater than 0?
False
Let k = 6 + -2. Let s = k - 4. Which is smaller: s or 0.01?
s
Suppose 0 = -4*t - 0*t. Suppose t = 2*j + j. Let a = -6.7 + 7. Is a > j?
True
Suppose -u - 98 = u. Which is smaller: -50 or u?
-50
Let i = 16609/18 + -923. Which is smaller: i or -1?
-1
Let f(w) = w**3 + 7*w**2 - 5*w + 5. Let p be f(-7). Suppose 2*d + 12 = -0*d. Let t be d/(-27) - p/18. Which is bigger: t or -3?
t
Let h be 0 - (-9 + (-3 - -3)). Is h < 8?
False
Let w(r) = r**2 + r - 1. Let g be w(0). Let j = -4 + 8. Let n = 3 - j. Is n smaller than g?
False
Let q be (-2)/(-2) - 1/2. Is q greater than -2?
True
Suppose n + n = 8. Suppose n*z - 10 - 6 = 0. Is z less than or equal to 5?
True
Let o(x) = -x**2 - 7*x - 8. Let y be o(-6). Which is smaller: y or -5/3?
y
Let l = 0.14 + -0.19. Suppose 0*t - 1 = t. Which is smaller: t or l?
t
Let f be 1/(-2)*(-7 - -5). Let p = 0.2 - 3.2. Let r = p + 0. Which is smaller: f or r?
r
Suppose 4*a - 5*o = -4 - 25, -13 = -2*a - 3*o. Suppose 0 = 2*k + 4*v + 470, 2*k + 685 = -k - v. Let d = k + 2495/11. Which is smaller: d or a?
a
Let j(k) = k**3 + 12*k**2 + 1. Let s be j(-12). Which is smaller: -0.1 or s?
-0.1
Let o = 3.77 + -0.67. Let y = 3 - o. Let n = 0 + 0. Is y equal to n?
False
Let l = -7.83 - 0.17. Let j = l - -12. Which is smaller: j or -1?
-1
Let i = 7.8 + -1.7. Let m = i + -0.1. Let c = -7 + m. Which is greater: 0 or c?
0
Let v(s) = s**2 - 7*s + 5. Let c be v(6). Is c != -1/12?
True
Suppose 0*d - 2*d - 1 = -5*i, i - 11 = 4*d. Is i at most as big as 1/34?
True
Suppose 3*t - 8*t = -5. Is 0 greater than t?
False
Let m = -0.107 - -0.007. Which is smaller: 5 or m?
m
Let p be 10/4 + (-2)/4. Suppose 5*d = -238 - 757. Let k = d - -998/5. Is k at least as big as p?
False
Let x = 20 + -37. Let y be x/(-5) + 4/(-10). Let m = y - 3. Which is smaller: -1 or m?
-1
Let i(y) = y**3 + 7*y**2 - 9*y - 8. Let t be i(-8). Let g = -1 + t. Let r be (-2 + 1/2)*g. Which is smaller: 0.1 or r?
0.1
Let n(p) = p**3 + 3*p**2 - p - 1. Let g be n(-3). Let b be ((-3)/(-2))/((-1)/(-2)). Suppose 0 = g*y - 3 - b. Is 2 > y?
False
Suppose 2*m - 8 + 4 = 0. Let t be 2/60*3*m. Do t and -1 have the same value?
False
Let v(w) = -31*w**3 - 2*w**2 + 1. Let t be v(-1). Let n = -21 - t. Let b = 256/5 + n. Which is bigger: b or 0?
b
Let d(v) = v - 6. Let n be d(5). Is n bigger than 3/17?
False
Suppose -4 + 52 = 8*k. Is k less than 2?
False
Let f(s) = s**3 - s**2 + s - 5. Let o be f(0). Which is bigger: o or 0.1?
0.1
Let t = -14 - -14.1. Is -1 != t?
True
Let i(k) = 2*k**3 - k**2 - k + 2. Let p be i(-2). Which is bigger: -15 or p?
-15
Let r = 3424666/11 + -311621. Let h = -288 - r. Is 1 not equal to h?
True
Let v(x) = -x**3 - 7*x**2 + 4*x + 20. Let b be v(-7). Is b equal to -8?
True
Let l(z) be the second derivative of -z**5/20 - z**4/12 - z**3/6 - 6*z. Let q be l(-1). Which is smaller: q or 4/11?
4/11
Suppose -a - 18 = -4*c, 0 = -c + 4*a + 1 - 4. Suppose v = 2*m - 2, -4*v - c*m - 10 = -2. Suppose 0*l + 4*l - 6 = 2*b, 3 = 3*l. Which is smaller: b or v?
v
Suppose 29 = -5*v - 76. Which is bigger: -22 or v?
v
Suppose -73 = 5*n - 203. Let z = -16 + n. Suppose -z*q = -6*q. Is -1/2 bigger than q?
False
Suppose 5 = -3*o + 20. Suppose 5*y = -4*n + y - 20, 5*y = -4*n - 19. Let j = o + n. Which is smaller: 1 or j?
j
Let u be 8/(-12)*(0 - 15). Let a be 2/(-4) + u/(-5). Let h(c) = -c**3 - 5*c**2 + 5*c - 8. Let z be h(-6). Which is greater: a or z?
z
Let j(i) = -4*i**3 - 4*i**2 + 3*i**3 - 8*i - 5*i**2. Let f be j(-8). Is f <= -1/8?
False
Let p = -54/7 + 349/28. Is p <= 6?
True
Let j = 2.3 + 0.7. Let w = j + -2. Let i be (1 - (-4)/(-6))*(-4 - -3). Which is smaller: i or w?
i
Let g = -5 - -16/3. Is g at least as big as -2/13?
True
Let o be 184/(-195) - (-72)/(-540). Is 0 smaller than o?
False
Let l be (2/(-5))/((-24)/15). Is l bigger than 3?
False
Suppose -2*f + 7*f = 20. Let d be (2/f)/(8/16). Which is greater: -2 or d?
d
Let r = 67 - 66.9. Which is greater: r or -28?
r
Let d be (-1 + 2)/(2/6). Let l = 3 - d. Suppose l*m = -2*m + 6, -3*m = 3*v + 6. Which is smaller: v or -3?
v
Let u(a) = -a**3 + 3*a**2 + 2*a. Let l be u(3). Suppose -5*g - 5 = -l*g. Is g < 3?
False
Let i(p) = p. Let r be i(1). Suppose -q - 31 = 3. Let b be (6/q)/(3/2). Which is smaller: r or b?
b
Suppose 4*j = -j. Let v be (6/(-5))/((-6)/20). Is v at least as big as j?
True
Let q be -8 - (-2 + 0) - 1. Let l = q - -12. Suppose 20 = l*t, -3*t - 2*t + 28 = -4*x. Does x = -1?
False
Suppose -2*s + 20 = 3*m - 8, 4*m + 5*s - 49 = 0. Suppose -8 = u - m*u - 2*t, -3*t + 12 = 2*u. Suppose 0 = -6*q + q - 5. Is u equal to q?
False
Let t = 2 + -1. Let f be 150/8 + -3 + -1. Let p = f - 15. Which is greater: t or p?
t
Let b(o) = -5*o**3 - 4*o**2 - 5*o - 4. Let z b