3*l + 11 = a. Is l at least as big as -2?
False
Let s(z) = z - 1. Let k(m) = -m**2 + 12*m - 4. Let l(p) = -k(p) + 6*s(p). Let w be l(6). Let u(r) = r + 4. Let x be u(-7). Is x less than or equal to w?
True
Let x be (-9)/(-6)*8/6. Let y be ((-1)/(-5))/((-39)/(-65)). Is x smaller than y?
False
Let h be 3*3/15*-1. Let n = 4 + -2. Let t = n - 3. Is t > h?
False
Let m = 8.7 + -1.7. Let h = 7.03 - m. Let w = -0.13 + h. Which is smaller: w or -1/2?
-1/2
Let m = 5 + -5.06. Let u = 8.06 + m. Let a = u - 8.4. Is a at most -0.2?
True
Let y be (-275)/(-35) + (-1)/(-7). Let g be (-2)/y - 18/(-8). Is g less than 1?
False
Suppose 2*n - q - 11 = 0, 7*q = 4*n + 3*q - 24. Suppose -4*t = -n*t - 311. Let p = t + 2803/9. Do p and 0 have the same value?
False
Let j be (-4)/10 + 16/(-10). Let f be 3/9*j*1. Is -2 bigger than f?
False
Suppose 2*q + 11*x - 225 = 10*x, 5*q = -3*x + 562. Do 112 and q have the same value?
False
Suppose -4*g = -5*g - c - 6, 10 = -2*g - 4*c. Which is greater: g or -19/3?
-19/3
Let c = -173/171 - -15/19. Which is smaller: 0.8 or c?
c
Let j = 27 - 25. Are j and -0.03 unequal?
True
Suppose -7*k = -14 - 42. Which is smaller: k or 7?
7
Let x = 69 - 39. Let g be (4/x)/(7/21). Which is greater: g or 2?
2
Suppose -2*o = b - 25 + 7, -8 = -o - b. Suppose y + 4*y = o. Is y >= 3?
False
Let c(f) = f**3 - 2*f. Let a be c(-2). Let m(k) = 4*k + 23. Let g be m(-7). Which is greater: a or g?
a
Let c(u) = -u**3 + 4*u**2 + 2*u - 6. Let o be c(4). Which is smaller: o or 5/3?
5/3
Let n be (-141)/(-18) + (-3)/(-18). Let p = -0.1 + 0.2. Do p and n have the same value?
False
Let h = 6 + -9. Let v = -1107/497 - -6/71. Is v at most h?
False
Let y(q) = 8*q + 6. Let a(i) = i**2 - 4*i - 7. Let x be a(6). Let f be y(x). Let l be (-2 - f/(-22))*1. Which is bigger: l or -1?
l
Suppose -5*y - 11 = 9, 5*o - 17 = -2*y. Let z = -54 + 60. Which is smaller: z or o?
o
Let r = 150 + -147.94. Let m = 0 - 0.06. Let j = r + m. Which is smaller: j or 0?
0
Let j(y) = y**3 - 9*y**2 + 12*y - 16. Let b be j(8). Is b at most as big as 15?
False
Let b be 58*1 + (-1 - 2). Let z = b + -167/3. Let h = -5 - -4.9. Which is smaller: z or h?
z
Let b(k) = k**3 - 10*k**2 + 8*k + 3. Let s be b(9). Let f be (-2)/12 - 1/s. Is f at most -3?
False
Suppose 0 = -u + 4*o + 15, 2*u - 15 = -0*o + 3*o. Let i be (2 + 0)/((-4)/10). Let f = i + 7. Is u < f?
False
Suppose -2*f = -0*f + 2. Suppose -l - 13 = 3*u - 3, -2*u = -l + 10. Suppose 2*v + 2 = -l. Which is greater: v or f?
f
Let k be (-574)/(-49) - (-4)/14. Suppose -2*r + 16 = 2*u - 5*u, 0 = -4*r + u + k. Let i = -1.1 - -0.1. Is i smaller than r?
True
Suppose -4*l + 3*q = 17, 4*q + 1 = -3*l + 7. Let d(a) = 6*a**3 + 3*a**2 + 3*a. Let r be d(-1). Let b be r/(4/l) + -4. Which is bigger: 2/5 or b?
2/5
Let k = -1.5 - -1.56. Let t = -0.16 + k. Which is smaller: 1.1 or t?
t
Suppose 0 = -d - d - 40. Let f be 1 + (-28)/d - 2. Do -3 and f have the same value?
False
Let y = -2.4 - -2.4. Which is smaller: y or -5.5?
-5.5
Suppose 1 = o - 2, 3*p + 18 = -4*o. Which is bigger: -8 or p?
-8
Let c = -0.1 + -0.4. Let b = 0.5 + c. Let y = 1 + b. Which is smaller: y or -2/3?
-2/3
Let o = -108 + 1945/18. Which is smaller: o or 0?
0
Suppose -5*r - 35 = -5*x, 22 = 4*x - r - 21. Let a be (0 - -2)*1/x. Which is smaller: -1 or a?
-1
Let o = -4 + 6. Let x be 2/(-15)*6/o. Which is smaller: 1 or x?
x
Let v be -4*(-4)/8 - 5. Is v less than -4?
False
Let j(k) = k**2 - 2. Let c be j(0). Let p(d) = -2*d - 2. Let q be p(c). Let m = 2 + -2.1. Is q equal to m?
False
Let h(s) = -6*s - 20. Let v be h(-10). Which is greater: v or 39?
v
Let q = 4 + -5. Is q greater than -6/13?
False
Let x be ((-6)/2)/((-4)/38). Let f = -29 + x. Which is smaller: f or -2?
-2
Let y be 4/(-16) + 35/(-52). Which is bigger: -1 or y?
y
Let h(a) = -a + 8. Let x be h(6). Let v be (-5)/(-1 + 6/8). Suppose -4*t - 4*m = -4, 6*t - t + x*m = v. Is 5 at most as big as t?
True
Suppose -m + 9 = 2*m. Suppose -v = m*v + 8. Suppose 6*g = 8*g - 2. Is g <= v?
False
Suppose 3*w + 105 = -2*w. Let s = w - -17. Which is smaller: -5 or s?
-5
Let s = 5.3 + -0.3. Let k = 5 - s. Are k and -0.1 equal?
False
Let w = -15 - -3. Is w less than -13?
False
Let k(i) = i**2 - 4*i. Let f be k(4). Suppose 3*x + 3 = -c, 2*c + 6 = -f*x - 4*x. Let m be 32/(-72)*(-18)/4. Which is bigger: m or x?
m
Suppose -u + h + 13 = 2*u, -3*u + 11 = -2*h. Which is bigger: u or 4?
u
Suppose 5*o = 5*p + 10, -3*o = -o + 2*p + 4. Let l be (o/(-3 + 2))/(-1). Does l = -3?
False
Suppose 2*g = 2*p - 3*p + 9, 0 = 3*g - 3*p - 9. Suppose -5*t + g*j - j = -9, 2*t + 3 = -j. Are 1/6 and t equal?
False
Let h be -3*3*3/(-81). Which is bigger: h or -3?
h
Let x be (4/18)/(3/(-9)). Let w = -9 + 7. Let i = w - -2.06. Which is smaller: i or x?
x
Let r be (-12)/32*(10 - -2). Is -4 > r?
True
Let g be (-2 - -1) + 28*2. Is g at least 55?
True
Suppose 0*b - 19 = -3*z - 2*b, -5*b + 31 = 2*z. Suppose 9 = 2*s - 3*u, 0 = z*s - 2*u - 3*u - 15. Is -2/39 < s?
True
Let u be 747/(-106)*(-88)/(-28). Let g = u - -1195/53. Let c = g + -6/53. Is c greater than or equal to -2/5?
True
Let p(s) = -4*s + 7. Let w be p(2). Let c = -0.02 - 0.28. Let y = 0.5 + c. Is w <= y?
True
Let r = 2.3 - -4.4. Let y = -7 + r. Is -0.2 bigger than y?
True
Let l(f) = -f**3 + 9*f**2 + 10*f - 6. Let c be l(10). Which is bigger: -7 or c?
c
Suppose -1 = s - 3, 3*w - 31 = -5*s. Let o(n) = 2*n**2 + 13*n + 13. Let x be o(-6). Is x equal to w?
True
Let x = 28/9 + -158/45. Suppose -2*o - 6 = 4. Let s = 6 + o. Which is smaller: x or s?
x
Let q = 5 - 3. Suppose h = -3*h - q*y - 38, -2*y = -5*h - 43. Let g be (-3)/h*3*-1. Which is smaller: -2 or g?
-2
Suppose -5 = -5*n + 5. Let x = 0 - -2. Suppose x*i = 1 + 5. Which is smaller: i or n?
n
Suppose 0 = 4*n - 2*n - 12. Suppose 4*f - 14 = z, 3*f - n = -z + 1. Is -3 less than or equal to z?
True
Suppose -2*q = 5*d + 23, 4 = -4*q - 4*d - 12. Which is bigger: -3/10 or q?
q
Let f(o) = o + 4. Let z be f(-5). Which is bigger: z or 3?
3
Suppose -3*v = -8*v. Let k = -1 - v. Are k and -1 non-equal?
False
Let b = 0 + -0.05. Let v = -1.05 - b. Let x = -3 + 5. Do x and v have the same value?
False
Let w be 368/24 - 2/6. Is w < 15?
False
Suppose 5*m + 2 = -j + 1, m = j + 1. Suppose m = -3*v + v. Let k be (-56)/20 - (-2 + v). Which is greater: k or -1?
k
Let j be 26/3 - (-4)/(-6). Let y = -17 + 13. Let t be j/70*10/y. Is t at most as big as -1?
False
Let k = -113 + 110. Is -4/19 smaller than k?
False
Let p be (4/8)/((12/8)/(-3)). Which is smaller: p or 20?
p
Suppose -7*w = -2*w. Which is smaller: w or 5/8?
w
Let u = -2.2 + 4.2. Which is smaller: 0.4 or u?
0.4
Let u be (2 + -2 + -2)*-4. Is u at most as big as 6?
False
Let g(s) = -s**2 + 8*s - 9. Let p be g(6). Let z be -6 + 9 + (0 - p). Suppose m = -z*m. Is 1/3 at least as big as m?
True
Let r be -2 + -2 - (24 - 4)/(-5). Which is bigger: r or 5/13?
5/13
Let g be (-4 + 2)*69/20. Let r = -33/5 - g. Which is smaller: r or 0?
0
Suppose 5*z = 3*p, p = 6*p + 3*z. Let l be 2/(((-10)/4)/5). Let i be l/(-26) + (-168)/(-260). Is p less than i?
True
Suppose -w + 20 = -6*w. Let k = w - -2. Suppose r - 5*u = 5*r - 3, 12 = -5*r - u. Is r at most as big as k?
True
Let i be -5*-8*4/(-40). Let s be (-64)/(-126) + i/14. Which is smaller: -5/6 or s?
-5/6
Let v = -42 - -36. Is v < -4?
True
Let g = -2 - 0. Let k be (-1)/(-4) - 6/8. Do g and k have the same value?
False
Let a be 44/(-60) + (-6)/(-45). Let p be (-23)/(-65) + (-4)/(-10). Let s = a + p. Is 0 >= s?
False
Suppose 0*b + 5*b + 5 = 0, 4*c = -b - 9. Which is smaller: c or -6/11?
c
Suppose -j + 15 = j + 5*i, 6 = j + 4*i. Let q be (-5)/(-7)*(-8)/j. Is q != -1?
True
Let w = 0.293 - -0.007. Is -11 less than or equal to w?
True
Let u = -7 + 5. Let o be (5/(-4))/(1/(-12)). Let s be 20/o*6/(-4). Are u and s non-equal?
False
Let s = -632/9 - -70. Let q(k) = k**3 - 8*k**2 + 7*k. Let h be q(7). Is s bigger than h?
False
Let c = 6 - 0. Let q = -3 + c. Let v = q - 1. Which is bigger: v or 0?
v
Let x be (-10)/(2/(-2) + (1 - 2)). Is x smaller than 4?
False
Let z(r) = -8*r**3 + r**2. Let y be z(1). Is -7 greater than y?
False
Let x be (-106)/(-30) + (-38)/(-57) + -4. Let v = -0.04 - 1.96. Let i = -1 - v. Is i equal to x?
False
Suppose -4*u = -5*r + 3, 4*u - 4 = 4*r - 8. Which is bigger: r or 3?
3
Let n(x) = -x**2 - 12*x - 29. Let v be n(-1