pose -2*j + 6*j = n. Which is smaller: -1/6 or j?
-1/6
Let b = -1979/54 + 73/2. Which is smaller: b or -1?
-1
Let r = 33/46 + -2/115. Is r greater than or equal to 2?
False
Let j = 7 + -4. Let h(a) be the third derivative of a**6/120 - a**5/20 + a**4/24 - 2*a**3/3 + a**2. Let r be h(j). Which is smaller: r or 0?
r
Let s(a) = -6*a**2 + 2*a + 1. Let j be s(-1). Let r(f) = -f - 7. Let o be r(j). Let t be (2/42)/(7/(-21)). Which is greater: t or o?
o
Let g = -1.1 + 0.9. Let j = -0.65 + 0.05. Are j and g equal?
False
Suppose 0 = 3*y + b - 4*b + 9, 4*y - b + 6 = 0. Let u = y + 4. Let g be (3/(-15))/(u + -2). Which is smaller: 1 or g?
g
Let h be 1 - ((-60)/(-14) - 3). Which is bigger: 1 or h?
1
Suppose 0 = -2*n - 2*n + 20. Suppose n*j + 4 = -1. Let s be j/3 - (-12)/9. Do s and 3 have the same value?
False
Suppose 0*y + 4*y + 2*v - 46 = 0, -5*y = -3*v - 52. Suppose 5*p = -y + 46. Is p greater than 7?
False
Suppose 3*f = -4*x + 13, 0 = -3*x + 2*x + f + 5. Let p be 6/(x + -1) - 10. Let v = p - -6. Which is bigger: v or -3?
v
Let d(h) = -h**3 - 7*h**2 - 8*h - 3. Let k be d(-6). Which is smaller: k or 10?
k
Suppose -2*x + 6 = 14. Let q(g) be the second derivative of g**4/12 + g**3 + 3*g**2/2 - 6*g. Let y be q(x). Do y and -4 have different values?
True
Let x be (-1)/2 - (-30)/12. Let k = 0.1 - 0.3. Is x at most as big as k?
False
Let n = -30 - -1019/34. Which is greater: 1 or n?
1
Let q(k) be the second derivative of k**4/12 + 3*k**3/2 + 13*k**2/2 - 3*k. Let j be q(-7). Which is greater: j or -2?
j
Suppose i - 6 = 2*f, 4*f - 4*i - 3 = -11. Let p be 0 + 0 + f + 2. Let n be ((-5)/10)/(p/(-4)). Is n greater than 1/4?
False
Let b be (-7)/(-3 + 2 + 2). Are b and -8 unequal?
True
Let s(l) = -l**2 - 7*l + 9. Suppose w + 5*c + 7 = -3*w, 3*c = -2*w - 1. Let o be s(w). Is -2 >= o?
False
Let k = 107/84 - -10/21. Let g = -1 - -0.8. Are g and k equal?
False
Suppose 2*x - 3*x = 0. Suppose 0 = -4*v - x*v. Let w = 1 + 0. Which is smaller: w or v?
v
Let v = -8 - -9. Which is greater: v or -1?
v
Let b(o) = -o**3 - 3*o**2 - 4*o - 2. Let s be b(-2). Let h(t) = -50*t - 4 + 54*t + 1 - t**2 + 0*t**2. Let j be h(s). Is j greater than or equal to -2/37?
True
Let c be -1 + 3/3 - 3. Suppose 3 = -3*y - 2*v, 4*v + 1 = 2*y + 3. Let a = y - c. Is 2 not equal to a?
False
Let u = -3/104 + 235/936. Let s = 0 + 0. Are s and u equal?
False
Let z = 3/8 + -25/88. Let j = -10 - -7. Let u be j - (0 - -3 - 7). Which is bigger: u or z?
u
Let a be 4/(-6)*(-30)/4. Let n = 7 - a. Suppose -n*h - 1 = 3*k + 3, -12 = 4*k + 4*h. Is k at least 2?
True
Suppose -29*l = -36*l - 1407. Is l > -201?
False
Let z be (5/2)/((-1)/(-74)). Suppose -z + 35 = 5*k. Let p be 3/15 + 16/k. Which is greater: 0 or p?
0
Let j = 1 - 4. Let p = -0.3 + 0.4. Which is bigger: p or j?
p
Let j(q) = q**2 + 9*q - 7. Let d be j(-9). Which is smaller: -6 or d?
d
Let a = 35 + -28. Which is bigger: a or -0.2?
a
Let l = 0.53 - 0.33. Which is bigger: 0 or l?
l
Let c be (12/15)/((-4)/(-10)). Suppose -2*t + 2*k - 8 = 4*k, 2*k = c*t - 8. Which is smaller: 1 or t?
t
Let z = -2 - 4. Let b = 4 + z. Is b > -2/5?
False
Suppose 0 = -8*x - x. Is x <= 1/3?
True
Let v be (3/2)/((-21)/(-154)). Is 10 != v?
True
Suppose x - 7 = -1. Let p(t) = -t**2 - 14*t + 127. Let n be p(-20). Are x and n equal?
False
Let y = 56.7 - 51. Let n = -1.3 - y. Is n at most -0.1?
True
Suppose -3*x = -x - 26. Suppose -y - 2*y - 16 = -4*i, i - x = 3*y. Which is smaller: i or 3/14?
3/14
Suppose 3*m = -2*m - 220. Let o be (-1)/3 - m/60. Let r be (-2)/9 - 7/9. Which is greater: r or o?
o
Let t = -9 + 10. Is t greater than 2/11?
True
Let p = 0 + 1. Let n be -1 + (-1622)/910 + 3. Let v = n + -13/35. Which is greater: p or v?
p
Let h be ((-3)/24)/((-2)/4). Suppose -2*r + 2 - 4 = 2*x, -4*x - 5 = 3*r. Is h bigger than r?
False
Let j = 703/5 - 140. Suppose 4*u - 3*b - 12 = 0, -u = -0*b + 2*b + 8. Is u at least as big as j?
False
Let u = 0.06 - 2.06. Which is smaller: u or 0.5?
u
Suppose -3*p - 70 = -5*l - 16, 0 = -l - 3*p. Is l at least as big as 2?
True
Let x = 13.4 + 24.6. Is x equal to -1?
False
Let w = 164 - 163.9. Which is smaller: w or -17?
-17
Let c be ((-6)/(-4))/((-54)/(-99)). Are 3 and c equal?
False
Suppose -3*g - 76 = g - 2*c, -g - 16 = -2*c. Which is bigger: -23 or g?
g
Suppose -m + 2*m + 2 = 0. Let y = 0 - 0. Let a be (2*1)/(m - y). Is a at least -2?
True
Let w = 0 + 2. Let t = 1 + w. Which is bigger: 2 or t?
t
Let b(j) = 5*j + 29. Let k be b(-6). Which is smaller: k or 1/3?
k
Suppose 0 = -2*m - 2*s - 16, -4*s - 14 + 4 = 2*m. Let l = 1 + m. Are l and -10 equal?
True
Let t = -0.4 + 0.46. Is 1 at least as big as t?
True
Suppose -6*k = -2*n - k - 6, k = 3*n - 17. Let x be (0 + 1217/401)/n. Let y = -2/401 + x. Is 1 greater than y?
True
Let i be -11 + 14 + -1 + 49/(-24). Which is smaller: -1/4 or i?
-1/4
Suppose -6*t + t + 30 = 0. Suppose 0*o - t = 3*o. Let d be o + ((-66)/(-15) - 2). Are d and -2/9 equal?
False
Suppose -5*q - 5*a + 9 = 24, -2*q + 14 = -2*a. Suppose -3*v + q*v - 4 = 0. Which is smaller: -7/2 or v?
v
Let z(o) = 2*o**2 - 9*o + 9. Let r(d) = -d**2 + d - 1. Let x(q) = -r(q) - z(q). Let s be x(6). Let y = s - 3. Which is smaller: y or 2?
y
Let v = 6 + -6.3. Let h = -0.2 - v. Let o be 8/(-36) - (-22)/18. Which is smaller: h or o?
h
Suppose d = n - 4, -2*n + 7*d = 4*d - 12. Let h = -454/105 + 67/15. Which is bigger: n or h?
h
Let d = -3.4 + 4. Let f = -0.06 + 0.46. Let k = f + d. Is 1 less than or equal to k?
True
Let f = 19 + -17. Which is bigger: f or 0.02?
f
Let c(b) = -15*b - 6. Let o(q) = -3*q - 1. Let y(u) = 2*c(u) - 11*o(u). Let p be y(-1). Is -5 less than p?
True
Let m = -6.84 + -1.16. Let w = 0 - -0.1. Which is smaller: w or m?
m
Suppose -2*q + 39 + 13 = -4*y, 3*y = -5*q - 13. Let v = -336 + 324. Which is bigger: y or v?
y
Suppose 2*u = 25 - 1. Let i be (u/36)/((-1)/(-18)). Are i and 6 equal?
True
Let t(b) = 4*b**2 + 2*b. Let q be t(-1). Is q less than 3?
True
Suppose 2*s - 10 = -4*w, -2*s - 2*w + 3 + 1 = 0. Let d = 2762/15 + -184. Is s greater than d?
False
Let m = -34/345 + -4/115. Suppose 0 = -134*s + 131*s. Which is smaller: m or s?
m
Let t be (-2)/(-7) - 0 - (-4384)/(-56). Does t = -78?
True
Let n be ((-2)/(-4))/(2 - (-378)/(-188)). Are -47 and n unequal?
False
Suppose 6*s + 8 = 2*s. Which is smaller: s or -7/3?
-7/3
Let u be (-12)/((2/2)/1). Which is smaller: -23/2 or u?
u
Suppose 2*z + i - 6 = -i, -3*i = -3*z - 15. Which is smaller: 3/76 or z?
z
Let k = 0.3 - 0.4. Let f = k + -0.9. Which is smaller: 2/15 or f?
f
Suppose i = 5*i + i. Let h be ((-2)/4)/(1/2). Are h and i unequal?
True
Let z(r) = r. Let w be z(-1). Is w at most 0?
True
Let u = -138 + 137. Which is bigger: u or 2/13?
2/13
Let u(v) = -2*v + 1. Let w be u(-3). Is 6 != w?
True
Suppose p - 25 = 4*y + 27, 3*y + 56 = 5*p. Let s be 2/8 + y/(-16). Let n be (2/(-6))/(4/3). Which is bigger: s or n?
s
Let d = -19 - -18. Which is bigger: 0.1 or d?
0.1
Suppose 4*o + 0*l - l = -6, -5*o - 4*l = -3. Is 1 > o?
True
Let v be -3 + 3 + 448/(-1850). Let q = v + 6/37. Which is smaller: q or 0?
q
Suppose -5 = o + 2*o - 4*x, x + 3 = 5*o. Let j be o/(-5)*(-5)/(-2). Is 0.2 > j?
True
Let z be 4/(-1) + 18/6. Do z and 3 have different values?
True
Let m = -75 + 78. Is m smaller than 20?
True
Suppose -2*k + 26 = -4*p + p, 0 = 2*k - 4*p - 28. Let v = -9 + k. Let x be (3 - 6)*v - -4. Is 2/11 bigger than x?
False
Let i = -43 + 175/4. Is 9 smaller than i?
False
Let j = -119 + 119.08. Which is smaller: j or 2/3?
j
Let m be 1 + -1 - (-1 - -3 - 2). Let f = -0.1 + 2.1. Which is smaller: f or m?
m
Let s(k) = k - 7. Let l be s(9). Suppose 4*q - 1 + 8 = -5*z, 0 = l*z - 4*q - 14. Is 0 at least z?
False
Suppose 5*z - 5*h - 40 = 0, 7 = 5*z + h - 33. Suppose 3*q - s = -0*q - 24, q + 2*s + z = 0. Let t = q - -9. Is 2/19 smaller than t?
True
Let n = -52 - -367/7. Which is bigger: n or -0.3?
n
Let w(v) = 3*v**2 + 37*v + 12. Let p be w(-12). Is -2/93 equal to p?
False
Let d = 7 + -8. Let t = 0 - d. Is t at least as big as -2/9?
True
Let n = 0.4 - -0.6. Let k = -5630/21 + 268. Is k greater than or equal to n?
False
Let w = 22/9 + -26/9. Is -3 less than or equal to w?
True
Suppose -v + 8 = -4. Suppose 0 = -9*n + 5*n - v. Is -3 bigger than n?
False
Let x be (0/(-3) - 1)*-1. Which is smaller: x or 2?
x
Let s = 0.02 + 10.98. Let o = s - 1