= -13 + a. Which is smaller: 2/7 or y?
y
Let o = -33 - -33. Let r(v) = v**3 + 2*v**2 + 2*v + 3. Let j be r(-2). Which is bigger: o or j?
o
Let j be (0 - 1) + 1 - 0. Let u be 8/24 - 10/84. Let y = 1/70 - u. Which is smaller: j or y?
y
Let a(k) = k**2 - 3*k + 2. Let x be a(2). Suppose 0 = 2*o - x + 2. Which is bigger: o or 0?
0
Let b = -736264/1533 + 3362/7. Let a = b - -67/657. Is 0 equal to a?
False
Let p be 20/6 - (4 + (-4)/4). Which is smaller: p or 3?
p
Let k be (0 - 1)/((-1)/5). Which is smaller: k or 6?
k
Let b(q) = 115*q**2 + 6*q + 3. Let w be b(-1). Which is bigger: -1/2 or w?
w
Let l be ((-3)/1)/(-6) + (-1)/2. Which is smaller: -8/29 or l?
-8/29
Let s be ((-16)/6)/(2/144). Let l be s/(-20) + 3/(-5). Do 9 and l have the same value?
True
Let h(n) be the first derivative of -n**4/4 + 2*n**3 - n**2/2 + 5*n + 2. Let c be h(6). Is c bigger than 0.07?
False
Let x = -131 - -133. Does x = -1/2?
False
Suppose 48 = -2*g - y + 5*y, -62 = 3*g + 4*y. Let j = -187 + 166. Is j <= g?
False
Suppose 33 = 5*d - p, 5*d - 5*p - 9 = 36. Let j be (d/(-28))/((-12)/16). Let o = -11/14 + j. Which is greater: o or -0.2?
-0.2
Let s(c) = -c**2 + 2*c - 2. Let r be s(0). Do -5 and r have the same value?
False
Let p = -45 - -23. Let k = -27 - p. Which is greater: -2 or k?
-2
Let w = 0 - -1. Let g = -3 - -2. Let x = g + w. Is x less than 0?
False
Let y(o) = -4*o + 1. Let k be y(1). Let s = k - -3. Is -1/6 at most as big as s?
True
Let h be -9*(-1)/11 - 1. Suppose -2*q = 3*j + 13, 2*q + 8 = -4*j - 6. Which is bigger: j or h?
h
Let w = -12 + 9. Let l = -1 - w. Which is smaller: -5 or l?
-5
Suppose p - 3*c + 4 = 0, -23 = -5*p + p - c. Suppose -i + 8 = 4, -2*i - 12 = -5*j. Is j smaller than p?
True
Let l = 100.2 + -100. Which is smaller: 0.037 or l?
0.037
Suppose 7 = 2*t - t + 2*j, -8 = -2*j. Let u be (-2)/6 - t/12. Which is smaller: u or 2?
u
Suppose 2*w = 13 + 7. Let y be 8/w*30/(-12). Is y less than or equal to 0?
True
Suppose 32 = 13*x + 3*x. Let o(m) = 3*m - 1. Let b(s) = -2*s + 1. Let z(q) = 4*b(q) + 3*o(q). Let f be z(0). Is f at most x?
True
Let v be ((-4)/10)/(10/(-50)). Is v equal to 2?
True
Suppose 0 = 3*i, 5*i - 3*i + 2 = -2*s. Which is greater: s or -7?
s
Let n = 4/227 - 514/3405. Let i = 208 - 2286/11. Is i != n?
True
Let q = -395706/7 - -56641. Let g = q - 111. Is 0 greater than g?
False
Suppose -q - 221 = -5*x, -x + 47 = q - 4*q. Let p be 6/27 - x/144. Is 0 less than p?
False
Suppose -3*k + 6*k - 159 = -f, 0 = -3*k + 5*f + 159. Do 54 and k have the same value?
False
Let l(n) = -n**2 - n + 2. Let p(d) = -d**3 - 6*d**2 - 3. Let g be p(-6). Let c be l(g). Let o be ((-6)/c)/(1/2). Is o <= 4?
True
Suppose 2*d - 14 = -4*v - v, -4*v + 16 = 4*d. Is d at most 5?
True
Let j(x) be the second derivative of x**3/3 + x**2/2 + 10*x. Let s be j(0). Is s smaller than 1/17?
False
Suppose -h - m = -2*h + 8, 4 = -3*h - 4*m. Suppose -k + 5*k = h. Let a = k - 0. Are a and 2/13 equal?
False
Suppose -4*x + 6*l = 4*l + 6, 2*x - 3 = 3*l. Which is bigger: x or -5?
x
Suppose -n = -3 + 2. Which is greater: 2/73 or n?
n
Suppose 8 = -2*g + 5*k, -g + 4*k - 5*k - 18 = 0. Is -15 equal to g?
False
Let i be 4/10 + (-348)/20. Let p = i - -29. Suppose 2*r = 6*r - p. Is r bigger than 2?
True
Suppose -n - 3*n + 964 = 0. Let y = n - 4577/19. Let j be (-1)/(-2*(-1)/(-2)). Is j smaller than y?
False
Let n = -7 - -12. Suppose -2*l = n - 1. Which is smaller: l or -3/5?
l
Let q(v) = v**3 - 6*v**2 - 7*v - 2. Let b be q(8). Let x be 0 + -1 + 344/(-5). Let f = b + x. Is f equal to 1?
False
Let g(f) = f**2 - 3*f + 3. Let n be g(2). Let r be n + -2 - 69/(-3). Let d be r/40 + (-1)/(-4). Which is smaller: d or 0?
0
Let j = 109 + -108.94. Is j < 6?
True
Let j = -13 - -6. Is -11/2 equal to j?
False
Let h = 34/77 - 8/21. Which is smaller: -1 or h?
-1
Let t = 1043/30 + -104/3. Is t not equal to 1?
True
Suppose 0 = 2*b - 4*u - 38, 2*u - 32 = -2*b + 18. Which is greater: b or 24?
24
Let j(d) = 0 - 4 - d**3 + 8*d + 1 - 7*d**2. Let w be j(-8). Let h = -3 - w. Is -2/11 < h?
True
Suppose 0 = -20*w + 26*w + 252. Is w at most as big as -42?
True
Let l = -36 - -26. Is -4 > l?
True
Let s(u) = u**3 + u**2 + 18. Let t be s(0). Is 18 > t?
False
Let i = 37 + -34. Let n be ((-8)/10)/((-2)/10). Which is smaller: n or i?
i
Let k be 1 - (-3)/6*2. Suppose -3*w + w = 0. Suppose -4*i + 0*u - 2*u - 6 = w, -k*u = 5*i + 7. Which is smaller: 1 or i?
i
Suppose -5 = 5*k, 2*k = 3*u - k - 6. Let j be u + (-33)/24 + 1. Let o = j + -3/8. Which is greater: -1 or o?
o
Let p = 5 - 3. Let v = -451481/42 - -10764. Let h = v + -85/6. Which is bigger: h or p?
p
Let y(x) = x - 1. Let a be -3*(3 - 2)/(-3). Let b be y(a). Which is smaller: b or -3/19?
-3/19
Let v = 29 - 29.18. Which is greater: -0.1 or v?
-0.1
Let g be ((-84)/(-35))/((-68)/30). Let z = 125/102 + g. Is 0 smaller than z?
True
Let x = 0.15 - -2.45. Let a = x + -3. Let s = -0.5 - a. Does s = 1/5?
False
Let k be -1 + (4 + 0)/4. Let n be -2 + (-524)/90 + -1. Let p = -74/9 - n. Is p greater than or equal to k?
True
Let n(p) = -p**2 + 18*p - 31. Let z be n(16). Which is greater: z or -1/128?
z
Suppose 3*w + 2*n = -15, -w = -5*w + 4*n. Which is smaller: -11 or w?
-11
Let r be 3/(-54)*8/6. Suppose m = g + 2, 2 = -0*g - 2*g. Which is bigger: m or r?
m
Let h = 0.31 - 0.35. Let m = -6.3 + 6. Is m > h?
False
Suppose -2*z = 2*t - 0*z + 16, 3*t - 5*z = 16. Suppose -y - 4*y = -4*s - 30, 0 = -2*s + y - 12. Which is bigger: s or t?
t
Let p = -12101/4 + 2976. Let u = p + 49. Is u greater than or equal to 0?
False
Let x be 3 + 1 - (2 - 2). Which is bigger: x or 0?
x
Let h be (4/(-96))/(2/(-1011572)). Let o = -21089 + h. Let g = 43/3 + o. Do -1 and g have the same value?
False
Let h be 1*(3 - 1 - 1). Let c = 54 + -54.6. Which is bigger: h or c?
h
Let j be (5/3)/1*3. Let n = -5 + j. Is -2/9 greater than n?
False
Let d = -1 + -1. Which is smaller: -3 or d?
-3
Let t(u) = -2*u - 12. Let s be t(6). Which is bigger: s or -22?
-22
Let b = -0.2 + 0. Let t = -6 - -2. Let f = 3.8 + t. Do b and f have the same value?
True
Let i be ((-1)/(-3))/(2/66). Suppose -4*v + 36 - i = -5*f, 10 = 5*v - 2*f. Which is greater: 1 or v?
1
Let r = -89/3 + 451/15. Let n be -13*(398/132 - 3). Let o = n + -3/22. Which is smaller: o or r?
o
Suppose 2*l - 1 = -5. Let d = -0.1 - -0.5. Let u = d - 0.3. Is l <= u?
True
Let r(c) = -6*c + 3*c + c**3 + 5*c + 1 - 3*c + 2*c**2. Let d be r(-2). Suppose -2*s + 2 - 1 = -q, s - 18 = -d*q. Which is bigger: 4 or q?
q
Let j = 0.08 + 0.08. Let p = j - 0.16. Let a = 0.3 + -0.2. Which is smaller: p or a?
p
Let i be -2*(-2 - (-10)/4). Which is greater: 2 or i?
2
Let p(g) = 3*g**3 - g. Suppose 2 = -0*v - 2*v. Let t be p(v). Let c be 2/(-6)*4/t. Are c and 0 nonequal?
True
Suppose 5*m = 3*x + 25, 2*m = 2*x - 5*x - 11. Let d = m - -1. Let j be (-2 - -4)/(-2)*d. Is 0 bigger than j?
True
Let p = 15 + -15. Is -1/2 <= p?
True
Suppose 0 = -2*s - 4*p + 22, -3*p = -s + 1 - 15. Suppose -4*f = y - 18 + s, -2*y + 4*f = 14. Let r be (-2)/(-7) + (-4)/(-84). Is y equal to r?
False
Suppose -2*k - 17 = -2*t + 7*t, -7 = 4*t - 5*k. Which is greater: -1/4 or t?
-1/4
Let d be (-6)/((-4)/(-66)*3). Let h = d - -15. Let q be (-2)/8 + h/(-8). Which is smaller: 0 or q?
0
Let k = 0.02 + 7.98. Let d = k + -7. Suppose 0 = -2*c - 3*c - 15. Which is bigger: d or c?
d
Let l = -1/7 + 4/7. Which is bigger: -1 or l?
l
Let u = 3 - 1. Suppose 2 = i, 3*y - u*y - 3*i = -3. Is y greater than 2?
True
Let d(i) = i**3 + 6*i**2 - 3. Let m be d(-6). Let j = m - -2. Let k be ((-2)/(-6))/(3/(-18)). Which is smaller: k or j?
k
Let g(d) = -14*d - 2. Let a be g(1). Which is bigger: -17 or a?
a
Let l(n) = 2*n + 0*n - 4*n - n**2 + 1. Let c be l(1). Let r = c + 2. Is -1/8 at least as big as r?
False
Let l(b) = b**3 - 2*b**2 - 15*b - 6. Let y be l(5). Which is greater: y or -4?
-4
Let n(u) = u**3 - 12*u**2 - 12*u - 9. Let m be n(13). Let j = m + -9. Which is smaller: j or -4?
j
Let d(h) be the second derivative of h - 2*h**2 + 0 + 1/6*h**3. Let l be d(3). Is l equal to -6/11?
False
Let v = -646/165 - -56/15. Let r be (3 + 0)*2/(-6). Is r at least v?
False
Let i = -2 - -3. Let j(l) = 44*l**2. Let k be j(i). Let q = 398/9 - k. Is 0 at least q?
False
Let k = -27 + 13. Which is bigger: -13 or k?
-13
Suppose 0*r - 2*r = -24. Let a be (r/7)/(8/28). Let w(y) = -y**3