0661 + -0.1339. Let v(a) = a + 6. Let p be v(-8). Let i be 2/(-8) - p/8. Which is bigger: m or i?
i
Let y = 47 - -459. Does 507 = y?
False
Let y = -16 + 14. Let v be y - (-2 - (-4)/(-24)). Suppose 5*b + 4 = b. Which is greater: b or v?
v
Let u(r) = r**2 + 11*r - 7. Let z be u(-12). Let g be z/20 + 2/(-8). Which is greater: -2/71 or g?
g
Let i = 0.7 - -0.3. Let z = 14.036 - 14. Let c = 0.216 - z. Which is greater: i or c?
i
Suppose -2*n + 2 = 3*h + 1, 6 = n - 4*h. Let x be (-4)/12 - ((-1275)/558 + n). Does x = -1?
False
Let l = -7/110 - -1/33. Is 1 bigger than l?
True
Suppose -5 = -16*t + 11. Does -1/53 = t?
False
Suppose p - 74 = 3*j - 325, -3*j - 3*p = -231. Is 91 at least as big as j?
True
Let v be -2 - 2 - -2 - 43. Let o be (v/10)/(3 - -3). Which is bigger: 0 or o?
0
Let k be 1 + -2 + (0/1 - 3). Let i = k - -4. Is 2/61 > i?
True
Let c be (31 - 1)/(70 - 71). Which is smaller: c or -15?
c
Suppose 0 = -5*s + 4*q + 18, 2*q + 3 = s - 3. Let z be s*(45/(-51) - -1). Is -1 at least as big as z?
False
Let h = -1.3 + -3.7. Let j = 4.9013 + -0.0013. Let a = h + j. Which is bigger: a or 20?
20
Let m(p) = -12*p**3 - 5*p**2 - 21*p + 11. Let h be m(-3). Is h > 353?
False
Let t = 3 + -2.7. Let w be (-61)/1098*(4 - (-1 + 1)). Are t and w equal?
False
Let m(l) = 2*l**2 - 4*l + 2. Let d be m(3). Suppose 29 = 4*k + 1. Suppose -k + 25 = 2*y. Which is smaller: d or y?
d
Suppose 0 = -0*a - 2*a. Suppose 3*d - l - 2533 = -0*d, 0 = 2*d + 2*l - 1702. Let n = d + -39760/47. Which is bigger: a or n?
n
Let h = 1.6 + 0.4. Let q = 2.3 - h. Let f = 8 - 7.8. Which is smaller: f or q?
f
Let l(n) = 631*n**2 - 3*n - 2. Let v be l(-1). Suppose 10*y = 2*y - v. Which is smaller: -80 or y?
-80
Let k = -1 - -5. Let z(b) = 7*b**2 + 7*b + 4. Let w(c) = c**2 + c + 1. Let l(y) = -5*w(y) + z(y). Let p be l(-2). Are k and p unequal?
True
Let v = -2/299 + -588/1495. Is v > -0.022?
False
Suppose -4*z + 178 = -18*d + 21*d, -62 = -d - 4*z. Which is smaller: 293/5 or d?
d
Let s be (-6)/(-27) - 13/18. Suppose 3*u - 44 = -2*k, 0 = 3*u + 68*k - 73*k - 16. Which is greater: s or u?
u
Suppose -20 = -4*v - 2*w, 4*v = -3*w + 8 + 12. Suppose -i + 4*b - 3 = 12, 0 = -i + 2*b - v. Which is smaller: 6 or i?
i
Let q = 529 - 527. Is q < 144?
True
Let j = 259 - 2587/10. Is j at least as big as -6?
True
Let a(u) = -11*u - 1. Let h be a(1). Let y(w) = w**2 + 9*w - 36. Let z be y(h). Let l = 125/2 + -865/14. Which is greater: z or l?
l
Let d be (-13)/(((-2)/(-14))/((-24)/56)). Let p = 21 - -19. Are p and d nonequal?
True
Let l be (-6)/4*(-1 - 3). Let v = l - -8. Which is bigger: 0 or v?
v
Let g(w) = 32*w - 19. Let f be g(1). Let k(y) = 2*y + 3*y**3 - 6 - 2*y**3 + 5*y**2 - 11*y. Let q be k(-6). Which is smaller: f or q?
q
Let m(u) = u**3 + 8*u**2 + 7. Let p(i) = 2*i + 4. Let s be p(-6). Let r be m(s). Is 6 at least r?
False
Let m = 136 - 142.9. Let g = m + 6.3. Which is smaller: g or -7?
-7
Let r be (-36)/(-18)*16*-1. Let z be 282/(-9) - (-4)/(-6). Is z at most as big as r?
True
Let y = -1205 + 1191. Suppose -2*n - 37 = -13. Is n less than y?
False
Let x be -7 + -69*4/(-36). Is 53 less than x?
False
Suppose 0 = 5*v + 2*p + 325, -57 = v - p + 15. Is -67 >= v?
True
Let g be (1 + 10/(-8))*-2. Let p(s) = -s**3 + 3*s**2 - s - 1. Let u = 52 + -50. Let a be p(u). Which is smaller: g or a?
g
Let q = -419.8 + 420. Let o = -1010/207 - -102/23. Which is bigger: o or q?
q
Let k = -8 + 11. Let d be (-4)/(k - (9 + -1)). Let w = 87 - 86. Which is bigger: d or w?
w
Let x(b) = b - 2. Let y be x(14). Is 17 bigger than y?
True
Let q be -1370*(-17)/425 + 1/5. Which is greater: q or 53?
q
Let v = 13 - 12.91. Let c = -0.84 - -1.03. Let f = v - c. Is f less than or equal to 2/9?
True
Suppose -11 = -3*z + 2*u + 2*u, -u + 1 = 3*z. Let s(n) = -n**3 - 2*n**2 + 4*n + 3. Let g(j) = j - 13. Let p be g(10). Let v be s(p). Which is smaller: v or z?
v
Let b be (3*1)/(-5 + 4/(-40)). Let g = b + 97/136. Is g greater than -4?
True
Suppose -4*f + 25 = f. Suppose 0 = -4*p - 11 - f. Let i be (-5)/(((-10)/p)/5). Is -11 less than i?
True
Let n(k) = 2*k**2 + 8*k - 10. Let u be n(-5). Let x be ((-40)/12)/((-14)/6). Are u and x nonequal?
True
Suppose 2*x - 6 = -x. Suppose -x*u + c = -41, -3*u - 3*c - 39 = -123. Does u = 23?
True
Suppose -3*v + 8*v = 10. Suppose -5 = -11*l + 10*l. Suppose 0 = -l*d + d - 4. Which is smaller: d or v?
d
Let o be (-1)/(-6) - 77/(-42). Let u be ((-4)/2)/o + 2. Suppose -2*m + u = 3. Does -4 = m?
False
Let d(r) = 4*r**2 - 1. Let y be d(3). Let s be (-15)/(-6)*(-28)/y. Is -16 less than or equal to s?
True
Let x = -104 + 81. Which is greater: x or -14?
-14
Let d = -29 - -30. Let v be (6/114)/(d/(-4)). Which is greater: -1 or v?
v
Suppose -5*g + 35 + 85 = 0. Let u(f) = -f**3 - 20*f**2 - 37*f - 38. Let i be u(-18). Let z = i + g. Is 4 at most as big as z?
True
Let t = -13 + 13. Let m(i) = -4*i - 17 - i + 3*i + t*i. Let k be m(-6). Is -27/5 less than k?
True
Let q(j) = 6*j - 7. Let m = 23 - 20. Let r be q(m). Which is bigger: r or 13?
13
Let b = 16966274/1073 + -15812. Is 1 >= b?
True
Let c = 0.9 - 1.1. Let r = 1.4 + c. Let o = -4.2 + r. Which is smaller: o or 1?
o
Let d be (-1 - 132/(-20))/(4/90). Let f = 127 - d. Do 1/22 and f have the same value?
False
Let u be (176 + -29)*(-1)/(-1). Is u greater than or equal to 149?
False
Let h(u) = u**2 - 10*u + 16. Let z be h(8). Suppose z*d - 5*d + q - 30 = 0, -3*q = 4*d + 5. Are -0.01 and d nonequal?
True
Let w = -128 - 5. Which is bigger: w or -132?
-132
Let c = -0.038 + -0.362. Let n = -0.3 - c. Which is greater: n or 5.4?
5.4
Let t(a) be the first derivative of 3*a**2/2 - 70*a + 39. Let r be t(24). Suppose -3*b = -8*b. Which is smaller: r or b?
b
Let w = 17 - 15. Suppose 0 = 4*n + 4*d - 32, -w*d - 20 = -7*d. Which is smaller: n or 6?
n
Let q = 683 + -618. Are q and 64 non-equal?
True
Let n = -13076/25 - -523. Which is smaller: n or 0?
n
Let a = -21 - -53. Suppose 31*f = a*f - 7. Let k be 1 + (-3 + 6 - f). Which is bigger: k or -5?
k
Let m = -2/1295 + -5134/29785. Suppose 3*z + 15 = 0, 5*z + 32 - 3 = 4*l. Which is smaller: l or m?
m
Let d be (24/9)/((-2)/9). Let o be 16/d*3*(1 + 0). Which is smaller: o or -5/2?
o
Let t be ((-2)/12)/((-7)/(-42)). Which is bigger: -2/15 or t?
-2/15
Let g be 2/1 + (-12)/(-4). Suppose -44 = -g*y + y. Let w be (11 - y) + -1 + 1. Which is bigger: -4/7 or w?
w
Let g be (126/(-105))/((-6)/15). Is g less than or equal to -17?
False
Let d be 210/456 - (-1)/(-4). Let i(c) = 3*c + 10. Let f be i(-3). Which is greater: f or d?
f
Let h(m) = -15*m**2 - 2*m + 3. Let t be h(1). Let f be 8/t*77/(-165). Which is smaller: f or 1?
f
Let g be (-56)/12*100/105. Let u = -6 + 2. Which is smaller: u or g?
g
Let x = -10/737 + -13157/170984. Let q = x - 1/29. Which is bigger: q or 6?
6
Suppose -2*f = 4*b - 9*b - 9, 3*b + 11 = 4*f. Let m be -5 + 2/((-2)/1). Let l = f + m. Which is smaller: -16/3 or l?
-16/3
Let y be 4 + -3 + 3 + -4. Which is bigger: y or 6/139?
6/139
Let g be (-5)/1 + (-9672)/310. Which is greater: g or -36?
-36
Let w = 84 + -2. Let v = w + -81.9. Which is greater: v or 2/115?
v
Let a(l) = l + 4. Let q be a(-6). Suppose -6*b - 8 = -2. Let c be 3/9*0 + b. Which is greater: c or q?
c
Let i be 408/(-1290) + 48/15 + -3. Is 0 bigger than i?
True
Let p = 1.82 - -166.18. Which is greater: 0 or p?
p
Let k = -14 - -22. Suppose -2*h = 2*g - 19 - 3, -g + 2*h - 1 = 0. Is k bigger than g?
True
Let d = 0.4 + -0.2. Let a = d - 0.1. Let s = 5 + -5.5. Which is bigger: s or a?
a
Let s = -1295 + 1317. Which is smaller: s or 28?
s
Let i be (-945)/295 + (-3)/(-1). Is 0 at most i?
False
Let l(q) = q**3 + 22. Let o be l(0). Which is smaller: 23 or o?
o
Suppose -5*b = 121 - 121. Let h = 767 + -49857/65. Which is smaller: b or h?
h
Let i = 2328 - 2322. Let d be (58/16)/(6/8). Do i and d have the same value?
False
Let l be 151/1305 - (-2)/(-18). Which is bigger: l or 0?
l
Let n be ((-20)/8)/5*(3 - 5). Which is bigger: n or 1/330?
n
Suppose 35*a - 34*a = 0. Let p be 8/78 + 2/(-6). Which is bigger: a or p?
a
Let r = -73 - -74. Let s be 225/(-216) + r/(4/3). Is -1 != s?
True
Let h(m) = -91*m - 1096. Let j be h(-12). Suppose 5*u - 12 = u. Which is smaller: u or j?
j
Suppose 66 = 2*h + 22. Let f(n) = n**3 + 10*n**2 - n + 13. Let c be f(-10). Which is smaller: c or h?
h
Let c be 36/(-128)*(-28)