/1 - 42/11. Which is smaller: -0.1 or l?
-0.1
Let j = -13 + 7. Let w(h) = -h**2 - 3*h. Let z be w(j). Let y be 4/z + 266/63. Is 4 at least as big as y?
True
Let q(w) = 2*w**3 - 3*w**2 + 2*w + 1. Let c be q(4). Let z = c - 621/7. Is 0 >= z?
False
Let s = -17/2 - -9. Is s greater than or equal to 2?
False
Let m(t) = -t - 8. Let b be m(-4). Let g(p) = -p**2 - 4*p + 1. Let q be g(b). Is -2/9 greater than q?
False
Let j = -72.1 + 66. Let a = 6 + j. Which is smaller: a or -1?
-1
Let n = -1 - -0.4. Let o = 7 + -7.4. Let k = -1.4 - o. Which is smaller: n or k?
k
Suppose 5*b - 3*l = -2*l + 13, 0 = -5*b + 5*l + 25. Which is smaller: b or 0.05?
0.05
Let k = -5 + 7. Let q = 6 - 10. Let l be k/q - (-1)/6. Which is smaller: 0 or l?
l
Suppose -3*v = r - 40, -v + 36 = 3*v - 3*r. Let g be v/54 + 2/72. Does g = -1?
False
Let s = 4 + -4. Let j be (-3)/6*s/(-2). Is j at most 0?
True
Let k be (-2)/(-2) + 1 + 1. Suppose k*d + 3 + 0 = 0. Is d not equal to 0.1?
True
Let h = -13/3 - -4. Which is greater: h or -1?
h
Let p = -327 + 2947/9. Is 1 equal to p?
False
Suppose 2*b = 2*b - b. Let f = -2/193 + -1144/1351. Do f and b have different values?
True
Suppose x = 4 + 7. Let f = x + -7. Suppose -f*l - 6 + 1 = -v, 0 = 5*v - 4*l - 9. Is v < 1/3?
False
Let w = 46 - 45. Is -1 equal to w?
False
Let x = -29 - -45. Which is smaller: 15 or x?
15
Let r be (-2 + 26/14)/(-1). Let i = -4 - -6. Let l be ((-1)/i)/(2/(-4)). Are l and r non-equal?
True
Let p = 0.041 - 1.041. Is -0.3 <= p?
False
Let t = -1 - -4. Let y = t + -3. Let g = -3 + 2.8. Which is smaller: y or g?
g
Let j(p) = 2*p - 4. Let c be j(2). Which is greater: c or -2?
c
Let u = -44 - -398/9. Which is smaller: u or 2?
u
Suppose h + 5*c = -4*h, -5*c = -2*h - 7. Are 2 and h unequal?
True
Suppose 0*s = 4*s + 5*l - 12, -s + 2*l - 10 = 0. Let q(v) = v + 1. Let j be q(s). Let k = 1 + j. Is 0 smaller than k?
False
Let z(d) = -d - 1. Let g(a) = -6*a - 10. Let v(y) = -g(y) + 4*z(y). Let t be v(-6). Is t <= -5?
True
Let c = -8983/148 - -243/4. Is 0 < c?
True
Suppose 6*x - 4*x = 0. Suppose x = -3*v + 2 + 4. Which is bigger: -1 or v?
v
Let w(k) = -k**2 + 3*k + 5. Let c be w(4). Is -0.06 less than c?
True
Let h(w) = 3*w + 7. Let c be h(-3). Which is greater: c or -1?
-1
Let d be 1/10 + 11/2090. Let h = 0 - 0. Which is smaller: h or d?
h
Let u = 3093/119 + -184/7. Let b = u - -77/204. Suppose 4*y + 3 = y. Is b < y?
False
Let a be -6*1/6*3. Let t = -8 - a. Is -5 equal to t?
True
Let c be (16/(-5))/(12/(-30)). Which is smaller: 7 or c?
7
Let r be (-35)/(-14) - 2/4. Suppose -r*b + 18 - 8 = 0. Is 5 at most b?
True
Let h(m) = -4*m + 6. Let v(r) = -r + 1. Let z(p) = h(p) - 6*v(p). Let y be z(-2). Let o be 3 - (0 - (y + 1)). Which is smaller: 3/4 or o?
o
Suppose 4*p = 2*p + 14. Let h = p - 7. Is h bigger than 4?
False
Suppose 2*c - c + 75 = 0. Let l be (18/(-8))/((-6)/(-504)). Let r be c/l - 6/21. Which is smaller: r or -1?
-1
Suppose -4*u = -3 - 5. Let c be ((-2)/(-1))/(-2) + u. Let x be (-3)/(3 + c + -3). Which is smaller: x or -1?
x
Let j(m) = -m**2 + 2*m + 1. Let q be j(2). Suppose -2*t = -2 - 2. Suppose t*o - q = 1. Is 0 > o?
False
Suppose 2 = -2*n - g - 10, 3*g = 4*n + 4. Let l be (n - (0 - 1)) + 4. Is l != 5?
True
Let f(y) = 8*y**2 + 1. Let x be f(-1). Suppose 4*b = -3*p + b + 12, -p - 2*b = -x. Which is smaller: -2 or p?
-2
Suppose 2*h - 5 = 5. Let j(m) = -m + 3. Let d be j(h). Let g = 4 + d. Which is smaller: -1 or g?
-1
Let t = 55 - 55. Which is smaller: 118 or t?
t
Suppose -3*x - 4*h = -7, 5*x - 11 = -3*h - 3. Is -2/35 greater than or equal to x?
False
Let s be ((-3)/4)/(6/4). Let a = -41 - -40.79. Let k = -0.11 - a. Which is bigger: s or k?
k
Let t = 1.04 + -0.04. Let x = 0.6 - t. Let u = x + 1.4. Do -0.2 and u have different values?
True
Suppose 0*o = 2*o - 6. Suppose o*b - 5*q = -7, -5*b - 49 = q - 0*q. Let m be 7/b - (-3 - -2). Which is smaller: 1 or m?
m
Let r(o) = -o - 2. Let w be r(-5). Suppose 0 = -2*i + 3*z - 10, 4*z = -6*i + 2*i - 40. Let y = i + 10. Which is greater: w or y?
w
Suppose 5*g + 30 = 2*m, 0 = -4*g - 3*m - 1. Which is greater: -1 or g?
-1
Suppose 2*s - 7*s = 15. Which is greater: 0 or s?
0
Let f = 3.2 - 3. Are 0.4 and f non-equal?
True
Let z = -46 - -95. Is z less than or equal to 49?
True
Let o be -5*-3*4/(-30). Let d be (-3)/o*1/3. Let q = 0 - -0.3. Is q < d?
True
Let r = 8 + -24. Let z = r - -11. Let f be 14/z*(-10)/4. Is f equal to 6?
False
Let k = -5 - -21. Which is smaller: k or 17?
k
Let x be (-3 + (-18)/(-8))*-2. Is x bigger than 2?
False
Let b = -5 + 7. Suppose -w = 5*u - 9, 3*u - 2*w - 4 = b*u. Let l be 4/2 - 2/u. Which is smaller: l or 2?
l
Suppose 4*g = 3*q - 2*q + 18, g - 3 = q. Let w be -3 + g/((-15)/(-6)). Is -2 greater than or equal to w?
False
Let d = 2 - 0. Let z = -111 - -781/7. Is d < z?
False
Let a be 8/44 + (-128)/(-22). Let q be 21/a*2/28. Is q smaller than -0.1?
False
Suppose -5*r = -8*r. Suppose 50 = -r*j + 5*j. Is j less than or equal to 8?
False
Let z be (-1)/(-2)*12/(-2). Let q(w) = -w + 1. Let g be q(5). Which is bigger: z or g?
z
Let m(z) = z**3 + 9*z**2 + 7*z - 7. Let l be m(-8). Let o be (-69)/12 - (-1)/(-4). Let i be (-1)/o - (-1)/2. Which is smaller: l or i?
i
Let p be -3*(0 + (-16)/12). Suppose -i - 13 = -2*m + 1, p*m - 3*i - 30 = 0. Is 6 bigger than m?
False
Let x be ((270/12)/9)/((-6)/(-2)). Let p = -2.1 - 0. Let y = 2 + p. Which is bigger: x or y?
x
Let x = 3235/21 - 154. Let r be (-240)/189 + (-1)/(-1). Let s = r + x. Is 1 at least s?
True
Let h = 1 + 0. Let t = 203 - 1829/9. Which is smaller: h or t?
t
Suppose 10*i - 38 = 2. Which is bigger: i or 3?
i
Suppose 4*b = -5*n + 31, 4*b = n - 11 - 0. Let l be 5/n*(-12)/(-30). Let j be 0 + 4/3 + -1. Which is bigger: j or l?
j
Suppose -z + 2*w + 184 = 0, -2*w = 3*z + 2*w - 542. Let j = -1276/7 + z. Which is bigger: 1 or j?
1
Let k be 4/(-6) + (-10)/(-21). Let g be (5/(-6) - 15/(-18))/(-3). Do g and k have different values?
True
Let v = -0.2 + 0.3. Let z = 16 - 15.3. Let f = z - -3.3. Are v and f nonequal?
True
Let u = -13 - -6. Let q = 9 + u. Which is smaller: q or 0?
0
Let c = -3 + 7. Let b be (c/6)/((-40)/372). Let r = b + 83/15. Which is bigger: -1 or r?
r
Let d = 86 - 87. Let i = -0.2 - -0.1. Is d less than i?
True
Let c = 119/110 - 9/10. Let q = 1.1 - 1. Let m = q + 0. Which is greater: c or m?
c
Let z be 1 + (-1 + -1 - -4). Let w(o) = -o**2 - 9*o - 4. Let d be w(-6). Suppose 2*p + z*p - 5 = -5*r, 4*r = 5*p - d. Are r and 1 unequal?
True
Let f be 1/(4 - 2)*6. Suppose -2*k - 5*w + 17 = -0*w, 0 = f*k + 5*w - 18. Is 2 less than k?
False
Let q(f) = f**3 - 3*f**2 - 4*f + 2. Let t be -4*(-2)/4 + -10. Let r = 12 + t. Let n be q(r). Which is smaller: 1 or n?
1
Let r be (-12)/90*3*-1. Which is smaller: r or 0?
0
Let z = -18/55 - -8/11. Let c be (2/44)/(6/(-24)). Which is smaller: z or c?
c
Let a = 6 - 2. Let t = a - 8. Let q be ((-4)/6)/(t/(-6)). Which is smaller: 2/23 or q?
q
Let u(t) = t + 10. Let w be u(-5). Let j = -12 + w. Do j and -8 have different values?
True
Let z(s) = -s**3 - 7*s + 4. Let n(p) = 2*p**3 + 15*p - 8. Let q(i) = 6*n(i) + 13*z(i). Let t be q(0). Do t and 5 have the same value?
False
Let b be (-8)/(-28) + 4/14. Is b smaller than -0.1?
False
Let p = 3 - 1. Let f = -55 + 58. Let g = f - p. Which is bigger: g or 3?
3
Suppose 0 = i - 4*i - 15. Let q = -7 - -5. Let g be q/(-2 - 5/(-2)). Is i less than g?
True
Let u be (2/6)/((-4)/(-24)). Let b(d) = -d**2 - 4*d - 5. Let p(s) = s**2 + 3*s + 4. Let f(n) = 5*b(n) + 6*p(n). Let q be f(3). Is q >= u?
True
Let t be -2 - 1 - (0 - 3). Do t and 3/50 have the same value?
False
Suppose -86 = -3*r + 2*n, 0 = 4*r - n + 35 - 153. Let s be 2/10 + (-16)/r. Which is greater: -0.2 or s?
-0.2
Let l(i) = -5*i - 46. Let y be l(-8). Does y = 6?
False
Let d = 1 - 1. Which is greater: 3 or d?
3
Let p be 3/(-2*(-3)/(-12)). Let a be (1*-1)/(18/p). Do a and -1 have the same value?
False
Let a be 5 + 1 + -3 + -13. Let j be a/(-2)*(1 - 0). Let h be (-14)/(-35) + (-2)/j. Is h != 2/9?
True
Let g(j) = -3*j + 41. Let c(b) = b - 20. Let f(o) = 5*c(o) + 2*g(o). Let a be f(-17). Let v = -1621/7 - -232. Which is smaller: a or v?
a
Let l(w) = w**3. Let z be l(0). Suppose -4*k = -3*n, -4*k - 4*n + 9*n = z. Let f = -5.94 + 6. Does k = f?
False
Let w(m) = m**2 - 6*m - 1. Let y be w(6). Let b(q) = q - 9. L