 than u?
False
Let l be 0/(12/5 - (-39)/65). Is l at most as big as -1/9?
False
Let g(y) = -y - 1. Let w(s) = 5*s + 3. Let h(i) = 4*g(i) + w(i). Let u = 13 - 12. Let q be h(u). Which is smaller: q or 2/9?
q
Let b be (-1 - 3/(-4))*-4. Let h be (-1)/(-14) + 4/(-8). Is h > b?
False
Let u(a) = a**3 + 2*a**2 - 2*a + 1. Let w be u(-2). Suppose -3*c + 3*m + 9 = 0, 12 - 3 = w*c - 3*m. Suppose 0 = -o - 1 - 0. Which is smaller: o or c?
o
Let b be (-4)/6 - (-30)/(-9). Let s(d) = d**3 + 9*d**2 + 5*d + 11. Let m(n) = -n + 1. Let h(f) = b*m(f) + s(f). Let w be h(-8). Which is smaller: 0 or w?
w
Suppose 0*b = 3*b + 61422. Let a = 142616/7 + b. Let u = a - -100. Which is bigger: 0 or u?
0
Let h be 2/9 - (-33)/(-27). Let v = -1/297086 + -91279641/9655295. Let j = -93/10 - v. Is j smaller than h?
False
Let w = 49/8 + -6. Which is smaller: -0.1 or w?
-0.1
Suppose 3*x + 2 = -x + 2*k, -5*k = 2*x - 17. Do -2/11 and x have the same value?
False
Let n be (2 - 1)*1/3. Let i = 5 + -3. Let b = i - 4. Is b smaller than n?
True
Let x(k) = -7*k - 39. Let p be x(-6). Which is greater: 11/5 or p?
p
Suppose -3*w = -2*s - 52, w = -s - 2*s + 32. Let v be w/(-90) - (-2)/9. Is 2/15 less than v?
False
Suppose 7*l - 3*l = -36. Let v be (-4)/(-8) - l/(-2). Let k = v - -2. Is k at least -3/2?
False
Suppose 0 = 5*j - 98 + 18. Which is greater: 18 or j?
18
Let x = 1.2 + -1. Let p = 0.2 - 0.1. Let o = 0 - p. Which is bigger: x or o?
x
Suppose 0 = -z + 2 - 1. Let i be (-2)/4*(-10)/7. Let t = i + -27/28. Which is smaller: t or z?
t
Let p(w) = -11 - w**3 - 3*w + 4*w**2 + 11. Suppose 2*y + y - 9 = 0. Let v be p(y). Is v > -1?
True
Let w(s) = s**3 - 22*s**2 - 25*s - 4. Let o be w(23). Is o > -1?
False
Let z = 34.33 + -32.3. Let j = -0.03 + z. Let u = -2 + j. Is 0 less than u?
False
Let a be 6/6 - (1 + -1). Is a at most -41?
False
Let t be 3/18*2 + 57/(-117). Which is smaller: t or -1?
-1
Suppose 6*d + 246 + 60 = 0. Is d < -51?
False
Suppose d = -5*o - d, 17 = 4*o + 5*d. Let c be (o/10)/((-372)/60). Is -1 bigger than c?
False
Let l = 5 + -8. Let g = l - -7. Which is smaller: 0.2 or g?
0.2
Let c be 11/(55/(-100)) - -1. Are c and -22 equal?
False
Let w be 5 + 0 - 1/(-1). Let a be (-3)/(-2)*32/w. Let v be 0 + (-18)/a - -1. Which is bigger: v or -2?
v
Let c = 0.373 - -0.137. Which is smaller: c or -1?
-1
Let d(t) = t - 3. Let a be d(7). Suppose -b + 0*b + a = 0. Let m be ((-6)/(-14))/(6/b). Is m less than 1?
True
Let f = 2.8 + -3. Let t be -1*6/198*6. Which is smaller: f or t?
f
Suppose y + 2 = 1. Let t = 0 + y. Let r be 1/5*(1 + 1). Which is smaller: t or r?
t
Suppose -3*o = -u + 4, u = -2*u - 5*o - 16. Suppose -3*b + 7 = 1. Let j be (u/4)/(b/12). Is -3 != j?
False
Let z be 13*(-3)/9 + 4. Let k = 2 + -1. Which is smaller: z or k?
z
Let x be 5*(-9)/90*(-4)/266. Is -1 <= x?
True
Let g be (-218)/(-14) + 6/14. Is 15 at least as big as g?
False
Suppose 4*q = -3*o + 12, 3*o = 2*q - 4*q + 12. Suppose 3*z + q*z = 0. Let g = 0 + z. Do 1 and g have different values?
True
Let u(r) = -r**2 + 13*r + 1. Let i be u(13). Is 2/17 < i?
True
Let n = 1 - 0. Let k = n + 0. Let p = 197/3 + -65. Which is smaller: k or p?
p
Suppose -3*q + 6 = 0, c + q = -2*c + 14. Is 2 less than or equal to c?
True
Let w(h) = 0 + 4 + 0 - h**2. Let v be w(0). Let o be (-4)/((-384)/9)*v. Do -1 and o have the same value?
False
Let a be (0 + (-16)/3)*-3. Suppose 3*h + 4*o - 4 = a, -20 = 2*h - 4*o. Suppose -7*k = n - 4*k - 14, 15 = 5*n + 4*k. Is n at least h?
False
Let r(t) = 3*t - 2. Let m be r(-3). Let f be 6/15*5/m. Let h = -0.3 - 0.7. Which is bigger: f or h?
f
Suppose -4*n = -0*n. Let s = 10 + -12. Is n smaller than s?
False
Let h(v) = -v**3 + 10*v**2 - 7*v - 3. Let k be h(9). Let m be ((-5)/(k/2))/2. Is m less than -1?
False
Let d(q) = 2*q**3 - 19*q**2 + 10*q + 10. Let g(p) = 3*p**3 - 28*p**2 + 15*p + 15. Suppose -c = -6*c - 35. Let t(y) = c*d(y) + 5*g(y). Let k be t(6). Is -2 <= k?
True
Let r = -27/46 - -2/23. Let q be -1*22*(-2)/4. Let a be (-2)/24 + q/(-44). Which is smaller: a or r?
r
Let d be 295/10 + 2/(-4). Suppose 2*q = x + d, x + 45 = 3*q - 0*x. Let o be (40/q)/(2/(-4)). Is -5 less than or equal to o?
True
Suppose r + 0*r + 2 = 0. Let c = r + 2. Let u be 2*(-1)/66*3. Which is smaller: c or u?
u
Let m be 4*(3 + -7 - -3). Let q be 140/(-44) + m/(-22). Let a = q + -1. Is -5 bigger than a?
False
Let f = -17 + 11. Let y be 5/f*(-6)/15. Is y greater than -2?
True
Let w = 3 - 1. Let a(y) = 3 + 0 - 1 - y**2 + 9*y. Let r be a(9). Are r and w unequal?
False
Let i be 6/36 + 10/(-42). Suppose 6 = r + 3*r + 5*a, -2*r - 3*a = -4. Which is greater: r or i?
i
Let r be (-2 - -4)*(-30)/(-4). Let b = -123 - -137. Which is bigger: r or b?
r
Let z = 7 - 6. Let s = 0.4 - z. Which is bigger: 1/4 or s?
1/4
Suppose 2*f + 0*f = 4*p - 2, -4*p - 4 = -4*f. Which is smaller: 1 or p?
1
Let b be (-3 - 164/(-24)) + -4. Which is greater: b or -0.3?
b
Suppose -4 = a + 6. Let p be (3/a)/(-4 - -1). Which is greater: p or 2/5?
2/5
Suppose -n = -4*n. Are 0 and n unequal?
False
Let l(r) = r + 2. Let i be l(0). Which is bigger: i or 0?
i
Let l be 2*1*22/(-286). Is l > -2?
True
Let p = 3015 + -117595/39. Which is smaller: 1 or p?
p
Let o be ((-39)/10)/((-33)/(-88)) - -2. Which is bigger: -8 or o?
-8
Let g = -1272 + 1273. Let o = 1430377/428 - 3342. Let j = 845/4708 + o. Which is greater: g or j?
g
Let m = -101/9 - -35/3. Is m at least 0.1?
True
Let y = -2 - -4. Let t = 8 - 14. Let v = t - -8. Is y smaller than v?
False
Let v = -309/170 + 3/170. Which is greater: -1 or v?
-1
Let y be (-63)/(-45) + 4/(-10). Let b = -20/17 - -414/323. Which is smaller: b or y?
b
Let y be (-680)/70 - (-4)/(-14). Do -9 and y have the same value?
False
Let w(v) = -v**3 + 2*v**2 + 5*v - 6. Let a be w(3). Do -3 and a have different values?
True
Suppose x = -4*x + 3*r - 2, -2*x = -5*r - 3. Let f = -0.04 - -2.04. Is x at least as big as f?
False
Let k = 1/91 + 268/455. Let f(m) = 2*m + 8. Let b(a) = -a. Let s(l) = -b(l) - f(l). Let p be s(-10). Which is smaller: p or k?
k
Let r = 1 - 16. Suppose 0 = -2*k - 28. Is k at most as big as r?
False
Let a(m) = -m**3 + 6*m**2 - 8*m + 1. Let l be a(4). Which is smaller: l or -1/44?
-1/44
Let h = -4 - -6. Let t = h - 1. Let y = -2 + 1. Is y >= t?
False
Let q = -17 - -11. Let d be q/(-21) - 8/(-70). Which is smaller: -1 or d?
-1
Let c = -0.01 - 0.49. Let r = 0.6 + c. Suppose -7*m + 2*m = -5. Which is smaller: m or r?
r
Suppose 4*b + 42 = 4*a - 18, 4*b = 0. Let s be 12/a*2 + -2. Suppose -5*z + 10*z - 2*x = 3, 0 = 2*z - 2*x. Is z >= s?
True
Let l(p) be the second derivative of p**5/20 - 11*p**4/12 - p**3/6 + 3*p**2 + p. Let t be l(11). Does -5 = t?
True
Suppose 6*h = -77 - 85. Are -27 and h unequal?
False
Let t(w) = w + 9. Let p be t(-8). Let i be (-87)/(-35) - (-7)/(-35). Which is smaller: i or p?
p
Let p(d) = -d**3 - 4*d**2 + 2. Let w be p(-4). Let a be (1 + w + -4)*-4. Suppose f = -5*r - 12, -f + a*r + 6 = -0*f. Is f at most as big as -1?
True
Let v = -1.97 - 0.03. Let u = v + 2. Let t = 0.2 + -0.2. Is u less than or equal to t?
True
Let r be (-8)/4 - 2*-1. Suppose r = 2*w - w. Suppose x - 5*x = w. Are 1/2 and x unequal?
True
Let h be 1 - (193/51 + 1). Let n = h - -11/3. Let z be 2/(6/9*3). Which is bigger: z or n?
z
Let s(n) = n - 7. Let g be s(8). Are 2/13 and g non-equal?
True
Let t(q) = -q**2 + 3*q + 2. Let l = -1 + 4. Let x be t(l). Suppose -1 = x*f + 1. Is f > 0?
False
Let g be 56/90 - 4/18. Let y = 1 + 1. Suppose 2*v + y*v + 19 = -5*i, -7 = 4*v + i. Which is greater: v or g?
g
Let i = -4/9 + -1/18. Let j(f) = -f**3 + 9*f**2 - 10*f + 7. Let s be j(8). Let w be (-1*(-6)/s)/2. Which is smaller: w or i?
i
Let m be 70/(-75)*(-4)/(24/25). Is 3 less than or equal to m?
True
Suppose 4*m - 4*a - 41 = -9*a, -m = 2*a - 11. Is 17/2 >= m?
False
Suppose 0 = -4*m - 2*y + 21 - 3, 0 = 4*m - y - 9. Are m and 4 nonequal?
True
Let o(a) = -3*a - 8. Let z(w) = -5*w - 15. Let q(d) = 7*o(d) - 4*z(d). Let j be q(4). Let l(u) = u**2 + 15*u - 15. Let n be l(-16). Is n equal to j?
False
Let a be (10/(-6) - -1)*3. Suppose i + 14 = 4. Let s be (2/(-6))/(i/(-30)). Which is smaller: a or s?
a
Let n(u) = -2*u. Let x be n(-1). Suppose -x*z = -3*l - z + 47, -4*z = l + 6. Is l >= 1?
True
Let o = 0.04 + -0.03. Let x = o - 2.01. Is x smaller than -0.1?
True
Let t(w) = -w - 4. Let