et k = n - -0.1. Which is smaller: p or k?
p
Let m = 11 - 11. Let f = -47/2 - -24. Which is greater: m or f?
f
Let u be (-10)/12*(-24)/(-45). Which is smaller: u or 1?
u
Let d be 3/7 + (-528)/56. Are d and -8 nonequal?
True
Suppose -4*q + 4 = -3*q + 4*y, 39 = 5*q + y. Which is greater: q or 7?
q
Let t = -3.99 - -4. Let q = t + -0.81. Let l = -1 - q. Which is smaller: 2/5 or l?
l
Let z(r) = 4*r + 13 + 39 - 5*r. Let u be z(0). Let j = 467/9 - u. Is 0 greater than or equal to j?
True
Let x(z) = 2*z - 1. Suppose 9 = 2*o + 7. Let w be x(o). Suppose -4 - w = -5*v. Which is smaller: v or 0?
0
Let o be (-6)/(-21) - (-5)/7. Let n = 9 + -6. Is o bigger than n?
False
Let o be (-2)/88*-19 + (-12)/66. Let b = 7 - 11. Do b and o have the same value?
False
Let t(o) = -o**2 + 9*o + 3. Suppose 40 = 5*k - i, i + 3*i = -3*k + 47. Let p be t(k). Suppose 0 = 8*h - p*h. Is h >= 1/3?
False
Suppose 0 = 3*s - 8*s. Let g be -1*(s/(-2) - -1). Is g <= -1?
True
Let n be (-1)/1 + (-207)/(-63). Is n >= 2?
True
Let t be (2/(-3))/(14/21). Let m = -1/53 + 331/689. Which is smaller: m or t?
t
Suppose 15*k - 42 = 63. Let a = 0.9 + -1. Which is smaller: k or a?
a
Let w = 14 + -8. Let k be (0 - (1 - 6))*-4. Let t = -13 - k. Which is greater: w or t?
t
Suppose 0 = 2*k + 4*z, -k - 4*k - 4*z = -6. Suppose -p - 2*u + k = 0, 3 = -3*p + 4*u - 1. Is 3/4 greater than or equal to p?
True
Let y be (-4)/20 + (-1)/(-5). Is y less than -1/12?
False
Suppose 4*k - 29 = 3*x, 2*x + 4*k - 9 = k. Let w = -2 + -3. Let a = x - w. Are a and 4 equal?
False
Suppose -3 = 4*u - u. Let p = 204 + -206. Is u bigger than p?
True
Let i be (-9 + 9)/(-2*1). Suppose -2*l = -i*l - 4. Let s be -1*(l + -3 - -2). Do s and -1 have different values?
False
Let z be (-1*1*1)/2. Let q be 0 + (-38)/16 + (-693)/(-1848). Are q and z equal?
False
Let v be 0*(-3)/27*-3. Which is smaller: -3/13 or v?
-3/13
Let b be (-15)/21 + 4/(-14). Let f = b + 3. Suppose -2 = -4*u + f*u. Is u less than 0?
False
Let a = -5 - -9. Suppose 3*m = -a*u - 24, u - 2*u = m + 7. Let r = u + 4. Which is smaller: r or 3?
r
Suppose 5*x + 3*k + 12 = 0, -3*x + 4*x = k + 4. Which is smaller: -3/17 or x?
-3/17
Let x be (-2)/10*(-1 + 12). Suppose 2*h = -a - 3*h - 21, -5*h - 18 = -2*a. Do a and x have the same value?
False
Let r be 18/27 - 1/3. Let g(v) = v - 3. Let o be g(4). Let h be 3 - o - 2*1. Is h at most as big as r?
True
Let h = -4959/20 - -248. Which is smaller: -1 or h?
-1
Let r be (-180)/(-1040)*(-8)/3. Which is smaller: 0 or r?
r
Let o = 29/6 + -1409/294. Is -1 less than o?
True
Suppose 0*i - 20 = -5*i. Let l be (i/3)/(2/(-3)). Let n be l/3 - (6 - 6). Is n at least as big as -2?
True
Let z be (3/(-6) + (-5)/(-30))*3. Which is greater: 6 or z?
6
Suppose o + 65 = 4*k, 65 = 5*k + 2*o - 0*o. Which is bigger: k or 16?
16
Let y = 11 + -4. Suppose 2*f = y*f - 80. Suppose 4*r = -0*r + 2*j - 24, 3*j = r + f. Is -5 less than or equal to r?
True
Suppose 2*f - 16 = -4*c, -2*f = -5*c - 5*f + 22. Let p = c + -5. Let o be -1 - p - 28/16. Is -2/5 not equal to o?
True
Let l = -5.7 + 0.7. Is 0.1 at least as big as l?
True
Let z = -5 + 4. Let r be 0*3/(-6) - 2. Is z at least r?
True
Suppose 0 = -0*c + c. Let g be 42/(-12)*8/(-14). Which is smaller: g or c?
c
Suppose -5*b - 1 = -3*h, 4*h - 5*b = 1 - 3. Let p = 67 + -42. Let a be h/(-2)*10/p. Are 2 and a non-equal?
True
Suppose 0 = -4*i - 3*o + 58 + 94, i = -o + 39. Let m = 104/3 - i. Let h(w) = -w**3 - 4*w**2 - 1. Let c be h(-4). Is m < c?
False
Let f(u) = -2*u - 2. Let x be f(-2). Suppose -7*m + x*m - 6 = -3*d, 15 = -3*m - 2*d. Which is smaller: -4 or m?
-4
Let w = -7 - -13. Let f = 4 - w. Which is smaller: f or -0.2?
f
Let g(a) = -a - 3. Let k be g(-3). Suppose 3*r = -h + 10 - 1, 10 = 5*r. Suppose -w - h*w - 4 = 0. Which is smaller: w or k?
w
Let l = 275.01 - 273. Let p = l - 0.01. Let x = -2 - -2.1. Is x at most as big as p?
True
Let d = 2 - 2. Let z = d - 1. Let k = -10 + 10. Is z at most k?
True
Suppose -2 - 8 = 2*c. Let h be (-6)/(-4) - c/2. Suppose 2*f + 3 - 17 = 5*s, h*f = 3*s. Which is greater: 2/5 or f?
2/5
Let j = -25 + 13. Let l = -23/2 - j. Are l and 0 unequal?
True
Let q = -4/21 - -26/63. Let m = -6 - -8. Suppose 0 = o - m*o + 1. Is o < q?
False
Suppose 16*o = 20*o + 16. Which is greater: o or 0.4?
0.4
Suppose -s - 5 + 22 = -4*u, 2*s = 4*u + 26. Is 11 < s?
False
Let u = -19 - -13. Let b be 44/u - (-20)/15. Suppose 2*z - 6 = 4*z. Is b < z?
True
Let m be ((-4)/(-6))/(4/18). Which is smaller: 0 or m?
0
Let v(c) = -2*c**2 + 5*c - 4. Suppose -2*t + 6 = 4*l - 0*l, -3*l + 5*t + 24 = 0. Let m be v(l). Let w = 8 + m. Which is bigger: w or -1/3?
w
Let r(s) = 5*s**2 - 1. Let a(o) = o - 7. Let b be a(6). Let z be r(b). Are 3 and z non-equal?
True
Suppose 3*b + 0*b = 0. Let a be 1/5*7 + -2. Is b <= a?
False
Suppose 3*c + 15 = -3*j, 11 = -3*c - 1. Let o = j + -2. Let h = -2 - 0. Which is greater: h or o?
h
Let o(b) = 3*b - 28. Let k be o(10). Let l(s) = -s**2 - s. Let a(h) = h**2 + 2*h + 2. Let g(u) = -a(u) - 2*l(u). Let x be g(-2). Is x smaller than k?
False
Suppose 2*r = 2*j - 0*r + 22, 2*j - 8 = -4*r. Is -8 not equal to j?
True
Let k(c) = -2*c**2 + 7*c + 9. Let s(a) = -a**2 + 3*a + 4. Let b(o) = 4*k(o) - 9*s(o). Let z be b(0). Let j = 3 - 1. Which is bigger: j or z?
j
Let l = 299 - 281.9. Let h = 17 - l. Is -1/4 <= h?
True
Let h be ((-15)/6)/5 - (-5)/10. Which is smaller: h or 1/90?
h
Let w = 0.7 + -0.5. Let z = 6.9 - 7. Let a = w + z. Which is greater: a or -2?
a
Let f = 477 - 15703/33. Let q = f - 9/11. Suppose 5*o + 6 = z, 0 = o + 3*z - 2*z. Are o and q non-equal?
True
Let w = -9 - -2. Let l = -7 - -3. Let r be l/14 + (-80)/14. Is r at least as big as w?
True
Suppose 2*v + 3*v = -5. Let o = -17/52 + 1/13. Which is bigger: v or o?
o
Let w = 10.9 - 11. Let q = 1.2 - 0.2. Let o = -1.1 + q. Is o less than w?
False
Suppose 3*x = -x. Suppose x = 3*y + m - 28, 2*y - 5*m = -3*y + 60. Let z be y/(-36) - (-2)/4. Is z at least 0?
True
Let s be 2/3*(-6 - (-558)/94). Which is greater: 1 or s?
1
Suppose 0 = -2*c - 4*w + 10, -4*w + 19 = 6*c - c. Suppose 0 = -c*b - b + 16. Let a = 4 - 0. Are b and a unequal?
False
Let g = 19/4 + -21/4. Which is bigger: 2 or g?
2
Let c = 18 + -17. Is c bigger than -35?
True
Let i = 7 + -6. Is i less than -2/15?
False
Let h(y) = y**2 + y + 5. Let l be h(0). Is l less than or equal to 5?
True
Suppose -5*t = -s, -4*s = -2*t + 4*t. Suppose -2*g - 7 = 4*i - 1, -9 = -2*i + 3*g. Suppose i = -2*o + 1 + 1. Which is smaller: o or s?
s
Suppose 3*v - 2*v + 6 = -g, 5*g = v + 24. Let p = v + 4. Which is bigger: p or 1?
1
Let q(j) = j**3 + 2*j**2 - j - 1. Let y be q(1). Which is smaller: y or 1/21?
1/21
Suppose -9 = -5*n + 11. Suppose 4*u + 3*x = 13, -u - 2*x - 2 + n = 0. Which is greater: 3 or u?
u
Let j(k) = -k**3 - k**2 - 3*k - 4. Let z be j(0). Suppose -6 - 4 = 2*o. Is z smaller than o?
False
Let a = -5 + 2. Let m(w) = -w**3 - 4*w**2 - 3*w + 3. Let h be m(a). Suppose -7 = -5*j + 5*n + h, 2*j = n + 3. Is 3/2 at most as big as j?
False
Let a(j) = -3*j - 2. Let l(v) = -v**3 + 2*v**2 + 4*v - 2. Let i be l(3). Let h be a(i). Which is smaller: -7 or h?
-7
Let m be (2/(-4)*-1)/(-2). Let n = 3 + -1. Suppose -n*x - 1 = -w, -3*w + 4*x - 2 = 3*x. Which is smaller: m or w?
w
Let m(p) = 9*p + 34. Let t be m(-5). Is t < -11?
False
Let p = 7 - 13/2. Is 4 at most as big as p?
False
Let z = -186.2 - -177.27. Let b = z + -0.07. Let s = b + 8.9. Which is greater: s or -0.2?
s
Suppose -k = -4*o - 3*k + 38, 4*o + k = 33. Which is smaller: o or 1/4?
1/4
Let t be (-3)/(-2) + (-8)/4. Which is bigger: t or 4/5?
4/5
Let i be (-6*6/(-54))/((-4)/6). Which is bigger: -24 or i?
i
Let k(a) = a**3 - 5*a**2 - 7*a. Let g be k(6). Let w be -1 - (1 + (-127)/(-2)). Let n = -70 - w. Which is smaller: n or g?
g
Let t = 17.07 - 17. Let w = -0.17 + t. Is w < -0.4?
False
Let g = 2/1189 + 2348/17835. Suppose -4*r + 20 = a + a, -5*a + 3*r = 15. Which is bigger: g or a?
g
Let i = 142 - 129. Which is smaller: 14 or i?
i
Suppose 5*j + 5 = -c, -j = 3*j + 4*c + 4. Which is bigger: 4/11 or j?
4/11
Suppose -4*u = y + 6, -u + 7 = -2*u - 3*y. Are u and 5 unequal?
True
Let t(f) be the third derivative of f**6/120 - f**5/10 + f**4/24 - f**3/2 - 3*f**2. Let z be t(6). Which is smaller: -0.3 or z?
-0.3
Let v be (6*1)/((-6)/(-2901)). Let s be (v/(-45))/(1/(-3