l(w) = 9*u(w) + 2*y(w). Let o be l(-12). Which is smaller: o or 11?
11
Suppose 5 = -4*p + 1. Let l(q) = q**2 - 6*q + 3. Let v be l(6). Suppose -2*k - 16 = -v*j, -j = k + k. Is p != k?
True
Suppose -4*v - 7 = -19. Suppose 8 = 2*p + 3*f, -5*f + 6 = -3*p - p. Suppose -2*k - v = -p. Is k < 2/9?
True
Let s be (-2)/(-4) + 455/(-854). Is 0 < s?
False
Let u(v) = v**2 + 5*v - 3. Let n be -1*21/(-3) - 0. Let w = n - 12. Let m be u(w). Is m at most -2?
True
Let q(t) = t**3 + 20*t**2 - t - 28. Let n be q(-20). Which is smaller: n or -84/11?
n
Let s be 0/((-8)/(-2)) - -4. Which is greater: 5 or s?
5
Let i(g) = -g + 3. Let j be (-15)/(-2)*20/15. Let q be i(j). Which is bigger: -8 or q?
q
Let l(d) = -d**3 + 4*d**2 + 6*d - 3. Let c be l(5). Suppose 0 = y + 2*x, -5*y - c*x = -3*x + 11. Which is greater: -3 or y?
y
Let b = -9.1 + 9. Let u = -0.7 + b. Let v = u + 0.8. Is 2/9 at most v?
False
Let d be ((-3)/2)/(13 + -4). Which is smaller: 0 or d?
d
Suppose -14*t = -15*t. Are -1/5 and t unequal?
True
Suppose 0 = 3*s - 3*w + 27, -8*w = 5*s - 7*w + 45. Which is smaller: s or 0?
s
Suppose -10 = 5*f, -4*f + f + 54 = 2*z. Let r be 1 + 2/(z/(-27)). Is r greater than or equal to 0?
False
Let b = 7 + -6.7. Let y(f) = -f**2 - 5*f - 6. Let o be y(-4). Is o at least as big as b?
False
Let m be 4/2 - 24/13. Suppose 3*s - 2*s - v = 0, 0 = -s - 4*v + 5. Which is smaller: s or m?
m
Suppose -16*k + 9 = -19*k. Suppose -5*p + 4 - 19 = 0. Is p at most as big as k?
True
Let q be (2 - 301/147)*(-1 - -5). Is 1 > q?
True
Let t = 5 + -9. Let b = 3.8 + t. Let c = -0.8 + b. Which is smaller: -2 or c?
-2
Let j = 94 - 150. Which is smaller: j or -55?
j
Let i(a) = -4*a - a**2 + 1 + 8*a + a. Let m be i(5). Is 1 at most m?
True
Suppose -2 = c - 3*n - 0, -3*c = 3*n + 18. Is c bigger than -7?
True
Suppose -5*d + 8 = -17. Suppose 2*g = p - 2*p - 1, 6 = d*p - g. Which is greater: -4 or p?
p
Let v(q) = 2*q + 7. Let o be v(0). Suppose 4*b = -35 + o. Which is greater: b or -6?
-6
Let c = -7 + 6.8. Let b = c + -2.8. Is b equal to -5?
False
Suppose 2*p = 7*p. Let b be (6/(-20))/((-24)/5). Let q = 7/16 + b. Is q <= p?
False
Let u = 73/57 - 5591/627. Is u at most -9?
False
Let a be 4/(-14) - 11/(-14). Let w be (12/(-3))/(-1 - 1). Let c be (-1)/(2/7) + w. Which is bigger: c or a?
a
Let a = 0 - -0.02. Let j = a - -0.08. Let p be (7/(-4) - -2) + 0. Which is smaller: j or p?
j
Suppose 8 - 2 = 3*v. Suppose -v*y = 3*y. Let t be (12/84)/((-3)/6). Which is smaller: y or t?
t
Let f(x) = 4*x + 1. Let t be f(2). Let a = 14 - t. Suppose u + 4 = -u - 3*b, -b = -a*u + 24. Do 3 and u have the same value?
False
Let v(i) = -4*i + 6. Let n be v(2). Let h be (-2)/(-4)*2 - 4. Is h smaller than n?
True
Let w = 2/149 + -328/2235. Let d(o) = -5*o**2 - 31*o - o**3 + 2 + 26*o + 0*o**3. Let x be d(-3). Is x at least as big as w?
False
Suppose -2*g - 283 = -2*l - 7*g, -5*l + 3*g = -630. Which is greater: 128 or l?
l
Let w = -2/21 + 29/84. Which is bigger: 0 or w?
w
Let q = -6.1 + 5.9. Are q and 2 equal?
False
Let f(t) = -t**3 - 4*t**2 - 2*t + 4. Let w(h) = -h**3 - 8*h**2 + h + 6. Let x be w(-8). Let r = -1 + x. Let s be f(r). Which is smaller: s or 2?
s
Let k = 0 + -4. Let c = k - -4. Let y = -0.1 - c. Which is smaller: 2/5 or y?
y
Let h be 10*(-1)/((-15)/(-6)). Let t = h - -5. Which is bigger: t or 2/13?
t
Let c = -640/13 - -49. Let w be (4/(-4))/(2 - 1). Which is smaller: w or c?
w
Let u(y) = y**2 - y - 5. Let z be u(3). Which is smaller: z or 2/27?
2/27
Let u be (-111)/(-2)*(-12)/(-9). Let b be (-6)/(-21) - u/1288. Let r = 1/46 + b. Are r and 1 equal?
False
Let o = -36 - -38. Let d be -6*(18/(-20) - -1). Which is bigger: o or d?
o
Let y = 7907 + -640477/81. Let r = y - -56/891. Do r and 1 have the same value?
False
Let d = 937/8 - 117. Is d > 1?
False
Let q = 4 + 19. Let n = -117/5 + q. Which is smaller: n or -3?
-3
Let j(g) = -4*g - 104. Let l be j(-25). Does l = -6?
False
Let g = 1 + -2. Suppose 3*f - 2*x + 15 + 0 = 0, -4*x - 12 = 0. Is f <= g?
True
Suppose 0 = -2*j - 0*j + 198. Let q be 2/(-11) - (-117)/j. Which is smaller: q or 1/2?
1/2
Let x = -0.88 - -1. Let r = 0.22 - x. Is r greater than -1?
True
Suppose 2*m + 2 + 0 = 4*w, 4*m + 30 = -5*w. Let o = w + -2. Is -5 at most o?
True
Let d = 2/265 + 468/8215. Does -2 = d?
False
Suppose 6 + 3 = -3*w + 2*a, 12 = -3*w + 3*a. Suppose r + 2 = 0, -1 = -4*m + 4*r + 7. Is w >= m?
False
Let h = 78 + -545/7. Suppose -5*g + 5*c - 10 = 0, 3*g - 10 = -2*c - 3*c. Which is bigger: h or g?
h
Suppose -6*o - 10 = -4*o. Let v = 1 + o. Let p be v/12 + (-4)/(-3). Is 1 at most p?
True
Suppose -c - 50 = 4*c. Let d = 27 - 36. Which is smaller: d or c?
c
Suppose -6 = -4*g + 2*u - 0, 5 = 3*g - 2*u. Let l be g - (-3 + 20/8). Which is bigger: l or 2?
2
Let s = 0 - 2. Let f = s - -3. Let x = 1.2 - f. Which is bigger: 1/3 or x?
1/3
Let h = -8 - -14. Suppose -s - 4*c + 8 = 0, 3*s - 5*s + 3*c - h = 0. Is -12/11 smaller than s?
True
Let f = 1.4 - 2. Let a = -0.5 - f. Which is smaller: a or -3?
-3
Let i = -0.08 + 0.146. Which is smaller: -2 or i?
-2
Let j = -953279/217 - -4393. Is 1 not equal to j?
True
Let h be (-9)/(-12) - 1/12. Which is smaller: h or 1?
h
Let u(d) = -6*d + 22. Let n be u(8). Is -26 equal to n?
True
Let l be 11/4*(-3 - 1). Let p(t) = -t**3 + 3*t**2 - 5*t + 4. Let q be p(3). Is l smaller than q?
False
Let h = 35 - 35. Is -2/3 at most h?
True
Let k(t) = t**2 - t. Let y be k(-1). Suppose -l = -b - 36, 3*l = 8*l - y*b - 186. Let m = l + -346/9. Are -1 and m equal?
False
Let d = -55898/65 + 860. Let g = 19 - 19. Is d not equal to g?
True
Let p = 0 + 1. Let x = 1 - p. Suppose 3 - 1 = -2*c. Which is bigger: x or c?
x
Let x(w) = -w. Let p be x(-5). Suppose -5*g + 4*m + 27 = 0, g + 3*g - 3*m - 21 = 0. Suppose g*t = r - 0*t + 3, p*r - 9 = 3*t. Is r less than 4?
True
Let q be (3/4)/(18/72). Which is smaller: q or 6?
q
Let j be (21/(-9))/((-2)/(-6)). Let s = -4 - j. Is s less than or equal to 2?
False
Let t(r) = 3*r**2 - 3*r - 2. Let i be t(2). Suppose -f = -i*f. Which is smaller: 1/23 or f?
f
Let u(s) = s**2 - 4*s + 1. Let p be u(4). Suppose -t + p = -0. Are 2 and t equal?
False
Let h = -0.9 - -3.8. Let l = -3 + h. Let a = 3 - 3. Which is smaller: a or l?
l
Let j be -2 - 1/3*3. Let z be j*(-5)/(1395/6). Is 1 < z?
False
Let x be (-1)/(-3) + (-3)/9. Suppose -9*a + 5*a - 4 = x. Which is smaller: 1 or a?
a
Suppose 0*a + 12 = 3*a. Let y = -3 + a. Let k = 41 + -39. Is k equal to y?
False
Let w = 2/205 + -838/1845. Is w > 0?
False
Let y = 38 - 59. Is -19 at least as big as y?
True
Suppose -2*o + 2 + 2 = 0. Suppose -5*c + o*m + 3 = -0, -m = -c. Let f = -29/68 + 3/17. Is c smaller than f?
False
Let w = 50/117 - 5/117. Which is smaller: 0 or w?
0
Suppose 0 = -z + 5*z. Let k = 332587261/476 - 698713. Let n = 2/119 + k. Is z bigger than n?
True
Let k = -10 + -6. Let a be (-12)/k + (-1)/4. Does -4 = a?
False
Let w be 0 + (-5*3 - -3). Let t = w - -11. Let j be 12/14*2/4. Which is bigger: t or j?
j
Let y be (-10)/55 + (-40)/(-462). Which is greater: 0 or y?
0
Let x = -1415 - -7073/5. Let t = 0.4 + -0.1. Is t <= x?
False
Suppose -1 = -3*y + 11. Suppose -n + 2*j + 4 = 9, -4*n + 6 = 5*j. Let q be (n - 3 - -2) + 1. Which is smaller: q or y?
q
Let k = 0.079 + 0.021. Let y = -0.05 + 0.1. Is k at least y?
True
Let j(u) = -u - 3. Let a be j(-5). Let l be (a - 1 - 1)/(-2). Let g be ((-2)/(-44))/(2/(-24)). Is l != g?
True
Let u(q) = q + 5. Let r be u(-5). Let k be ((-4)/(-12))/((-12)/9). Which is smaller: k or r?
k
Suppose 0 = -2*t + 1 + 7. Does t = 3?
False
Suppose t + 18 = -2*s, 4*t + 4*s + 30 = -22. Let z = t + 7. Do -1/14 and z have the same value?
False
Let q = -7 - -8. Let i(r) = -r + 1. Let s be i(-4). Let o be (-5)/((-25)/4)*s. Which is smaller: q or o?
q
Let l(y) = -y**2 - 2*y - 2. Let b be l(-4). Let m = 11 + b. Are 1/8 and m nonequal?
True
Let g = 58 - 58. Do g and 6 have different values?
True
Let t = -4.783 - 0.117. Let s = t + -0.1. Which is greater: s or 0?
0
Let h(f) = -7*f**2 - 14*f - 13. Let l(g) = -3*g**2 - 7*g - 6. Let w(u) = 2*h(u) - 5*l(u). Let b be w(-6). Which is smaller: 0 or b?
b
Let n be 6/((-480)/(-232)) - (3 - 0). Let i = 9/2 - 23/6. Which is greater: n or i?
i
Suppose -2*t - 1 + 2 = -w, 4*t + 12 = 0. Is -8 smaller than w?
True
Let t = 12 + -8. Suppose -t*k + 5*k - 22 = 0. Do 22 and k have the 