 22, 0 = -5*x - m - 28. Is -7 > x?
False
Let l be (-2)/((-15)/(-18) + -1). Let m = 20 - l. Is m at most as big as 8?
True
Let r = -2.4 - 0.6. Let q = r + 5. Let b(t) = t**3 + 6*t**2 - 2*t - 11. Let o be b(-6). Is o != q?
True
Let f(g) = 2*g. Let s be f(6). Let c be (-12)/1*6/s. Is c < -5?
True
Let v be 30/(-80) - 93/8. Is v <= -8?
True
Let s be 7 + -39 + 2*1. Let l be -3 + (1 - -2) + s. Let o be 3 + 23*4/l. Which is greater: o or 1?
1
Let z = -10 + 14. Let s be 5/(-25)*(-2)/z. Which is smaller: s or 0?
0
Suppose 0 = 4*h - 4*t - 24, t + 33 = 5*h - 3*t. Suppose 0 = -2*v - 6, 2*v = -3*y - v - h. Which is smaller: y or -0.2?
-0.2
Let f be 1*30*(-2)/(-5). Let y = f + -5. Let d(l) = -l**3 + 6*l**2 + 6*l + 7. Let j be d(y). Is 0 less than j?
False
Let l be -2 + (-7)/(42/(-20)). Let z be ((-4)/6)/(4/(-6)). Which is smaller: l or z?
z
Let q = 0 + 0. Let b = q + -0.1. Let t = -17 - -16.6. Is t at most as big as b?
True
Suppose 0 = -13*t - 5*t + 288. Does 7 = t?
False
Let t = 225/4 + -56. Which is bigger: -1 or t?
t
Let l = 4.08 + -4. Let s = l + -2.08. Is s at most as big as 1?
True
Suppose -a - 4*n = -45, 3*a - 3*n - 101 = 2*n. Let d = -28/13 - 945/26. Let c = d + a. Are c and -2 non-equal?
True
Let s = -1 + 2. Let a = 2 - s. Are -3 and a equal?
False
Let y(s) = 32*s + 2. Let l be y(-1). Which is greater: -29 or l?
-29
Let n(w) = 2*w**2 + w + 1. Let l be n(-1). Is 1 > l?
False
Let n be (-1)/(-1) - 10/14. Let c(b) = -b + 14. Let r be c(14). Which is greater: n or r?
n
Let j be (-11 - -12) + 0 + -1. Suppose 0 = -5*w + 4*v - v - 30, -3*w + 3*v - 18 = 0. Let l be 1 - w/(3*-1). Is l < j?
True
Let t(y) = 2*y + 2. Let b be t(-1). Suppose k = -b*k - 4. Let h be (-2)/(-1 - 1) + -4. Which is smaller: h or k?
k
Suppose 0 = -r + 7 - 10. Which is bigger: r or -7?
r
Suppose 14*y = 10*y - 272. Is y >= -67?
False
Suppose -3 = -3*p + 3*q, -5*p + q = -p - 1. Let o be 24/(-10)*(-11)/4. Let f = o - 34/5. Is p bigger than f?
True
Let u = 31 - 18. Which is smaller: u or -0.1?
-0.1
Let f = 0.7 + -1. Let d = 4 - 7. Let i = 2 + d. Which is smaller: i or f?
i
Let f(s) = 2*s**2 - s - 1. Let v be f(-1). Let n be 0 + 3/(v + 1). Let o be n*(-3)/(-2 - 1). Does o = -1/4?
False
Suppose 5*b - 14 = -5*w + 2*b, 0 = -w + 2*b - 5. Which is smaller: w or 2/19?
2/19
Suppose -2*v - 3*u + 0 = -2, -v + 5*u - 12 = 0. Which is smaller: v or 11?
v
Let y = -77 - -86. Suppose 2*o + 3*o = 10, 2*h = o - 12. Let b = y + h. Are 3 and b non-equal?
True
Let j = -0.18 + 0.48. Which is greater: j or 0.5?
0.5
Let j = -123/32 - -1043/32. Let c = j - 145/4. Is -9 <= c?
True
Suppose -2*x + 3*n + 52 + 53 = 0, 3*n = 4*x - 201. Let o = -33 + x. Suppose 0 = 2*b - 7*b - o. Is b smaller than -3/2?
True
Let p(h) = -2*h - 9. Let r be p(-7). Suppose -r*a + 3 = -42. Suppose -2*t + 10 = -4*s, 3 = -3*t - 3*s - a. Which is bigger: 0 or t?
0
Let o be 5/15*1*3. Is 9/7 at most o?
False
Suppose -24 = -2*j + 4*l, -5*l = -0*l. Let z be (-2 + -1)/(18/j). Let k = 2 + -1.8. Which is bigger: k or z?
k
Let g(y) = -y**2 - 7*y + 8. Let x be g(-9). Which is bigger: -12 or x?
x
Let h be (3/3)/(1/(-2)). Let n be -5*2/6 - -1. Is h not equal to n?
True
Let u = 14.6 - 3.6. Are u and 2/7 non-equal?
True
Suppose -5*d = 2*p + 2*p + 12, 3*p - 2*d = 14. Suppose -b + 15 = 4*b - i, p*b - 3*i - 19 = 0. Is 4/5 greater than b?
False
Let k = -41/15 - -17/5. Let y = -30 - -30. Is y greater than k?
False
Let l(m) = m**3 - 5*m**2 - m + 5. Let u be l(5). Suppose g = 5*n - 4*n, 5*g + n = 0. Is g less than or equal to u?
True
Let c(x) = -x**3 - 5*x**2 - 2*x - 4. Let i be c(-5). Suppose -i*q = -3*q. Let b be 0 + (-2)/(-1) - 2. Are q and b nonequal?
False
Let o = 4339 - 17223/4. Let i = o - 33. Let x = 0.1 - 0.2. Is i less than x?
False
Let b = -5 - -4. Let i = -1 - b. Let j = i + 2. Which is smaller: j or -0.2?
-0.2
Suppose -1 = -p - 0. Let d be p/3*(2 - -13). Suppose -3*v - 6*x = -3*x + 15, 0 = x + d. Do 1 and v have different values?
True
Let o(u) = 3 + 2 + 13*u + u**2 - 2*u. Let k be o(-11). Suppose 4*f = k*f + 2. Is f less than -1/2?
True
Let u = -6947/108 + 257/4. Let v be (0 - 0)*(5 - 36/8). Which is bigger: u or v?
v
Let w be 0 - 2 - (1 - -1). Let d = 4 + w. Which is bigger: 1 or d?
1
Let x(p) = -2*p + 1. Let g be x(-2). Let v be 6/6 - g/4. Which is smaller: 1/4 or v?
v
Let y = 0.15 - 1.13. Let b = y - 0.02. Let d = -0.7 - b. Is 1 greater than d?
True
Suppose 0 = 39*x - 38*x + 1. Which is greater: 1/7 or x?
1/7
Let w = 3/103 - 524/309. Is w <= -3?
False
Let z(y) = y**2 + 5*y + 4. Let u be z(-6). Suppose h - 6*h + u = 0. Let a be 5/(-2)*(-4)/5. Is h less than or equal to a?
True
Let q = -32/7 - -27/7. Which is bigger: -1 or q?
q
Let u = 0.171 + -1.041. Let p = u - 0.13. Is -1/7 greater than or equal to p?
True
Suppose 5*s = 24 + 26. Let w be s/44 - 3/6. Is w equal to 1?
False
Suppose -3*g + 0*g = -21. Let v = -13 + g. Is -7 greater than or equal to v?
False
Let d(a) = a**2 - 4*a. Let i be d(4). Let c be 2 + i + -1 - 1. Let w = 2 - 1. Is w > c?
True
Let w = -5 - -4.8. Let l = 0.3 + w. Which is greater: l or 2?
2
Let h be (-6)/9 + (-213)/(-117). Let l = -10/18241 - 3482601/2608463. Let g = h + l. Which is greater: 0 or g?
0
Let u = 26 + -32. Let f = u + 6. Let j be (3/2)/(2/12). Which is bigger: f or j?
j
Suppose 3 = 3*r - 3. Let z = r + -1. Which is bigger: -4/9 or z?
z
Suppose -v - 4*v = 0. Let u(g) = -g + 2. Let i be u(v). Let d be (4 - i)*3/(-2). Which is greater: d or -2?
-2
Let l(i) = 2*i + 1. Let f be l(-5). Let v = -6 - f. Is v not equal to 1?
True
Suppose 0 = -3*n + 15, -4*u - 4*n = u - 10. Let z be 8/16 + u/(-4). Which is smaller: 6 or z?
z
Let f(i) = 3*i**3 - 1. Let y be f(1). Let p be (-1 - -2)/(2/6). Suppose 2*a - 11 = -y*a - x, -p*x - 15 = -4*a. Is 0 bigger than a?
False
Let y be (0 - -2) + 72/(-39). Which is smaller: -4 or y?
-4
Let n = 1150/169 + -4/845. Which is smaller: 8 or n?
n
Let r = -850 - -26356/31. Is r at most as big as 1?
True
Let f = -2 + 5. Let x = f + -8. Let l = 7 + x. Which is bigger: 1 or l?
l
Let s = -29 - -40. Let b = 10.9 - s. Are 0.4 and b nonequal?
True
Let v = 66 - 66. Are v and 1/32 equal?
False
Let g be 1/(-3) + (-8)/(-6). Let j be (0 - 0) + g/(-1). Suppose -4*a + 2 = 6. Is a at least j?
True
Let j be (-2 - -2)*(-3)/6. Suppose j = 3*g - 0 + 3. Let s be (-4)/10 - 18/(-70). Which is smaller: g or s?
g
Let k = 7 + -5. Suppose c - 10 = -i, 0*i + 2 = -c + k*i. Let m be (0 + -1)*c/27. Which is smaller: m or 1?
m
Let x be (-1)/(1*(-4 - -1)). Which is smaller: -5/3 or x?
-5/3
Let r be ((-6)/4)/((-21)/(-6)). Is -0.1 less than r?
False
Let h be (-6 - -7)/(0 + 1). Suppose l - 2 = -l + 2*w, 0 = l - 5*w - 13. Let o be 2 + -2 - 1*l. Which is smaller: o or h?
h
Let m = 1.22 + 0.78. Which is greater: 0.2 or m?
m
Suppose -4*y - 5*u + 10 = 0, 3*y = y + 4*u - 8. Let k(v) = v**2 + 2*v + 3. Let b be k(y). Is b greater than 2?
True
Let s = 1.6 + -2.6. Is s >= -3/7?
False
Let s = -20.83 - -21. Let n = s - 0.34. Let f = 0.07 + n. Which is smaller: f or 4?
f
Let j be 2/(-7) - (-2 + 2). Let n = j - -12/35. Which is greater: 1 or n?
1
Let i be 10/(-35) - (-67)/700. Let m = i - 3/50. Which is smaller: 5 or m?
m
Let c = -111 + 111. Let l be (4/6*-2)/3. Is l < c?
True
Suppose 13 - 29 = -8*h. Which is smaller: h or 0.18?
0.18
Let q = -0.001 + 6.801. Let h = q + -0.8. Which is greater: h or 0?
h
Suppose 7*h - 4*h = 0. Let o be 2/1 + 0/3. Suppose o*k + 2 = k. Which is smaller: h or k?
k
Let v = -21 + 15. Which is smaller: v or -7?
-7
Let h = 0.05 + -0.35. Let m = 0.27 + h. Let b = -0.03 - m. Which is bigger: b or -1?
b
Let q = -0.02 + -0.48. Is q less than or equal to 2?
True
Suppose -3*n = -4*o - 93, -4*o + 13 = n - 2. Let k be ((-27)/2)/3*-4. Let q be 22/k + (-6)/n. Which is smaller: q or 0?
0
Let q = -2 - -2.3. Is 0 at least as big as q?
False
Let k = 145/6 + -5359/222. Which is greater: -1 or k?
k
Let c(l) = l**2 + 10*l - 3. Let a be c(-9). Which is smaller: -11 or a?
a
Let m be 38/18 + 2/(-2 - 0). Which is smaller: 0 or m?
0
Suppose -5 = 5*d - 5*m, 4*m - 9 = -d - 0*m. Let s = d - 4. Which is smaller: 1 or s?
s
Suppose -3*b + 21 = -27. Is b > 16?
False
Let g(d) = d - 8. Let k be g(7). Let w(h) = -h**2 + h - 1. Let j be w(1). Let c be (1 - 2/7) + j. Which is bigger: k or c?
c
Let y = 0 + 0. Let h = -0.19 - -0.13. Which is smaller: h or y?
h