3*k + 15 = 0, -40 = -v + 3*k + 2*k. Which is smaller: 16 or v?
v
Suppose s + 29 = 32. Let c be (-1)/1 + 4 + 0. Is c >= s?
True
Let q(t) = t**3 - 2*t**2 - 4*t + 2. Let k be q(3). Let x be 2/(-9) - 292/(-18). Suppose 2*r = 3*g - 14 + 4, -x = 3*r - 5*g. Is k > r?
True
Let g = -1.8 - -0.2. Let s = g - -0.6. Which is smaller: s or -0.1?
s
Let h = 0.024 + 12.976. Do h and 0.1 have the same value?
False
Suppose -3*n - 4*i = -31, 37 = 4*n - i + 2. Let w be (6/n)/(2 + -3). Suppose 0 = -o - 3*z + 2, -o - 5 = -4*z. Which is smaller: w or o?
o
Let h = 1 + -7. Let w be 4/2*9/h. Let p(y) = -y + 9. Let t be p(11). Which is bigger: t or w?
t
Let t(m) = 23*m**3 + m**2 - 3*m + 2. Let u be t(1). Which is smaller: u or 24?
u
Let m be (-9)/6 - 939/(-618). Let a = m + 299/515. Which is greater: a or 0?
a
Suppose 2*l + 46 = 2*o - 0*o, 0 = 2*o + l - 49. Let c = o + -20. Which is greater: 3 or c?
c
Let k = 33 + -24. Suppose 20 = 13*q - k*q. Is q at most as big as 5?
True
Let b = 24 + 0. Which is bigger: 99/4 or b?
99/4
Let j = -30066 - -1563493/52. Let l = j - 12/13. Which is smaller: -0.4 or l?
-0.4
Suppose -1 = 2*t - c - 0, 3*t = -5*c + 31. Suppose 3*o - 3*r - 6 = 0, 0 = -3*o + r - 2*r - t. Which is greater: -4/3 or o?
o
Let w(k) = k**3 + 5*k**2 - 3*k - 4. Let m be w(-4). Let v be (6/10)/(m/(-30)). Is v less than 0.2?
True
Let u be (-2 - (0 + -1))/1. Let m be 0 - (3/(-6))/(6/4). Which is greater: u or m?
m
Let a = 6 + -5. Let f(c) = -5*c**3. Let q be f(a). Are -5 and q unequal?
False
Let h = -7/40 - -527/3240. Is h at least 1?
False
Let l = -16 - -67. Is l bigger than 1/4?
True
Let d(o) = o**3. Let t(p) = -p**3 - 8*p**2 - 6*p + 7. Let a be t(-7). Let i be -2*(a - (-1)/(-2)). Let k be d(i). Is k > -1/6?
True
Let l be (-1 - -6) + -6 + 3. Let q(f) = 3*f - 3. Let n(m) = -m**2 - 4*m - 2. Let v be n(-2). Let s be q(v). Which is bigger: s or l?
s
Suppose 143 = 5*k - g, -2*k + 7*k - 3*g - 149 = 0. Suppose 2*o + 4*j + 16 = 0, -k = -o + 5*o + 4*j. Which is bigger: o or -7?
o
Let p(r) be the second derivative of r**6/120 - r**5/120 + r**3/6 - r. Let s(i) be the second derivative of p(i). Let o be s(1). Is 2 less than o?
False
Let t = -3 - -2.9. Let o = 1.7 - -0.4. Let m = o - 2. Which is smaller: m or t?
t
Let j be 1/(1/1 - 2). Let g = -2/243 - 428/7047. Which is smaller: j or g?
j
Let t = -1 + 1. Let i = t + 0.4. Let q = i - 0.6. Which is greater: q or 0.2?
0.2
Suppose -4*f + 2*q = -4, f + 8 = -4*q - 0. Suppose 4*b = -f*b - 8. Let c be 3/(-2) + (-5)/b. Is c greater than 2?
False
Let i(j) = -j**3 - 1. Let m be i(-1). Is m != 2/5?
True
Let c = -33657779/145845 - 2/48615. Suppose -1151 = 5*q + 4*h, -467 = -0*q + 2*q - 5*h. Let z = q - c. Which is smaller: 0 or z?
z
Suppose 3*c + 2*c = 0. Suppose 2*v - 3 = 3*m + 1, -2*v = 5*m - 20. Suppose -2 = -m*x - 4. Which is smaller: x or c?
x
Let p = -11 + 11. Let w = 4 - 3.4. Which is bigger: w or p?
w
Let f(s) = -s + 2. Let d be f(2). Let b be (3/6)/(4/16). Is d less than or equal to b?
True
Let g = -119 - -831/7. Which is greater: 79 or g?
79
Let q = -15 - -6. Which is greater: 0 or q?
0
Let b = 49 + 11. Let l be (b/(-75))/(44/(-10)). Suppose -3*x + 5*x = 4*r - 10, r = -2*x - 5. Is r not equal to l?
True
Let u = -4 + 14. Suppose 0 = -u*s + 5*s - 15. Which is bigger: s or -2?
-2
Suppose 2 = 3*y - 4*q + 4, -4*y + 3*q = 5. Let u be (y - 0)/2 - 0. Which is smaller: -3/4 or u?
u
Let a(j) = -4*j**3 + j**2 - j + 1. Let g be a(1). Let c(p) = -7*p + 4. Let b(z) = -6*z + 3. Let n(f) = -6*b(f) + 5*c(f). Let l be n(g). Is 2/11 < l?
False
Let y = -58 + 56. Is -2 != y?
False
Let b = -241/3 + 81. Let k(d) be the second derivative of d**4/12 - 4*d**3/3 - 4*d**2 - d. Let a be k(9). Which is greater: a or b?
a
Let m = -29.6 + 29. Which is bigger: m or -2/7?
-2/7
Let x(c) = -9*c + 3. Let p be x(2). Let j be (-9)/p + 41/(-10). Which is smaller: -3 or j?
j
Suppose 4*i - 3 = i. Let v be i + (0 - (3 + -5)). Suppose 3*d + v = 4*d. Is 1 < d?
True
Suppose 5*j - 49 = -4*x - 0*x, -5*j + 55 = 5*x. Let u be (x - (1 + 0))*1. Suppose 1 = 5*q + 4*o, -u*o - 3 = q + 1. Is q greater than or equal to 1?
True
Suppose 5*l = 5*b + 5, 0 = -6*b + 4*b + 4. Suppose 0*q - 3*q = 0. Let w = 3 - q. Is l greater than w?
False
Let u be (-4)/(-6) - 92/12. Let f = 23 - u. Suppose 5*g = -4*y - 8 - 1, 5*y - 2*g - f = 0. Which is bigger: 3 or y?
y
Suppose -7 = 2*l - 23. Let u be ((-6)/45)/(l/(-24)). Is 2/7 smaller than u?
True
Let b(g) = g**3 - 6*g**2 + 2*g - 12. Let t be b(6). Suppose -12 = -4*x - 5*o, -2*o + 5*o = t. Is 11/6 greater than x?
False
Suppose 3*v = -l - 1 + 4, -5*l = v - 15. Which is smaller: l or 2/7?
2/7
Let i(s) = -s + 4. Let c be i(0). Let p be 3 + -1 - -2 - 2. Suppose -p*l + 17 = 3*w, -4*w + 16 = -3*l + 4*l. Do c and w have different values?
True
Let x(n) = n**3 + 4*n**2 - 5*n - 3. Suppose -3*k = -2*k - 2*c - 1, -5*k + 4*c - 13 = 0. Let s be x(k). Let l be ((-3)/2)/(0 - s). Is l >= -2?
True
Let q = -6/223 + 2284/2007. Which is smaller: 1 or q?
1
Let m(a) = -6*a - 104. Let j be m(-17). Is j less than -1?
True
Suppose 4*j = -5 + 1. Let d be ((-3)/(-9))/(j/3). Which is bigger: 2/7 or d?
2/7
Let i be (-4)/(0 - -1)*522/(-72). Which is smaller: i or 1?
1
Let x(z) = -z**2 - z - 7. Let j be x(0). Suppose 0 = i - 4*i + 12. Suppose m + i = -2. Which is greater: j or m?
m
Let l = 1.9 - -13.1. Let k = 14.9 - l. Which is smaller: k or -8?
-8
Suppose 5*i - 2*i = 0. Let h = -3.8 + -15.2. Let p = -27 - h. Which is smaller: p or i?
p
Suppose 0 = -4*t + 9*t - 5. Which is greater: t or -4?
t
Let w = -8 - -5. Let u be (w/(-3) - 3) + -3. Let q = u + 5. Is q equal to -4/5?
False
Let l(n) = -9*n + 1. Let w be l(-1). Let r = w + -11. Does -8/9 = r?
False
Suppose t = 3 - 2. Suppose -2*w - 4*u = -u + 5, u = -t. Let q be w + 7 - 9/3. Which is bigger: 1 or q?
q
Let s = -12 + -10. Let i = s + 21.84. Is i smaller than 0.1?
True
Let k be (-2)/(-1)*(-2)/(-4). Suppose t = q + 6, -3*q - 3 = 4*t + k. Which is greater: t or 6/11?
t
Let v = 0.1 - -0.05. Let h = 0.3 - v. Let g = h - 0.05. Is 0 > g?
False
Suppose 3*a + 5*h = 13, -5 = -4*h + 3. Suppose 0*d - 3*d = f + 11, -d = 3*f + a. Let t be 1/f + 2*-1. Which is greater: t or -1/5?
-1/5
Suppose 0 = -5*a - 2*a. Is -4/13 <= a?
True
Let u = 1.3 - 1.8. Is -1/2 > u?
False
Let q = 12.1 - 13. Let w = -1.6 - q. Let t = 0.3 - w. Which is smaller: t or -1?
-1
Let b be (4/(-2))/2*-2. Suppose -y - b = -3*y. Suppose 10 = 4*s - 3*t + t, 5*s - 11 = 2*t. Is s less than or equal to y?
True
Let r = -1301 - -9092/7. Is r bigger than -1?
False
Let r(a) = a - 3. Let n(o) = 6*o - 15. Let i(q) = 2*n(q) - 11*r(q). Let j be i(-2). Which is smaller: j or -2/7?
-2/7
Let o be 3/2*(-110)/(-15). Let w(z) = -z**2 + 11*z + 2. Let a be w(o). Is 2 at most as big as a?
True
Let h be 3 + -5 + -2 + 3. Which is smaller: h or -1/3?
h
Let a be 963/(-27)*(-6)/5. Let f = a + -43. Which is smaller: f or 0?
f
Suppose -v + 2 = 3. Suppose -y = 4*l + 12, l + 6 = -l + 3*y. Let j be (-1 - l)*(-2)/26. Is v at least j?
False
Suppose -3*l = -6*l, -8 = 4*v + 5*l. Let g be 6/8*(0 + -4). Let w be (-3)/((-9)/6) + g. Is w smaller than v?
False
Let r = -0.4 + -7.6. Let f = -8 - r. Is f equal to 4?
False
Suppose -2*x + 0*x - 6 = 0. Let u(y) = -y**3 + 7*y**2 - 7*y + 4. Suppose -3*v + v = -12. Let q be u(v). Is q != x?
True
Let w(g) = -3*g**2 - 4*g + 11. Let l(p) = -5*p**2 - 9*p + 21. Let z(j) = 4*l(j) - 7*w(j). Let h be z(7). Which is bigger: h or -4/13?
h
Suppose 3*v + 2*f = 1, -2*f = -0*v + 2*v. Is v >= 2/21?
True
Let s(j) = -11*j**3 - 3*j**2 + j + 1. Let i be s(1). Let g be (-2)/(-23)*4/i. Do g and 0 have the same value?
False
Let g(p) be the third derivative of -p**6/120 - p**5/10 + p**4/4 - 5*p**3/6 + 5*p**2. Let z be g(-7). Which is smaller: z or 9?
z
Let w = 32 + -30. Are w and 10/7 nonequal?
True
Suppose 4*t + 0*t = 8. Is 0 > t?
False
Let l = -0.21 - -0.11. Is -5 equal to l?
False
Let y(c) = -c**3 - 9*c**2 - 9*c - 28. Let d be y(-8). Is d < -2?
True
Let k = 2/11 + 12/55. Let i = -10.79 + 0.79. Which is greater: i or k?
k
Let h(j) = 0 + 7 + 3*j + 4 - 4. Let c be h(-6). Are c and -11 nonequal?
False
Suppose -2*y + 9 = -3. Suppose -k = -y*k + 5. Let f = -2 + 2. Is k at most f?
False
Let q(r) = 16*r**3 - r**2 - r + 1. Let d(k) = k**3 + k**2 + 1. Let j be d(0). Let a be q(j). Suppose -o + 10 = o - 2*g, -2*o + 