5)/((-6)/4). Let q = 8 - 18. Is q greater than k?
False
Suppose -3*b + 7 = -11. Let a(n) = -n**2 + 7*n - 6. Let k be a(b). Let z be -1*0/(k - -1). Is z at least 4/5?
False
Let s = -0.7 + 0.7. Let p = 4 - s. Let c = 5 - p. Is -0.2 at most c?
True
Let g be 0/((-1)/(-1)*1). Let l be 2*4/(-24) + g. Which is greater: 1 or l?
1
Let o(n) = -4631*n - 2. Let a be o(6). Let v = a - -2056271/74. Let d = -2/37 - v. Is d <= 1?
True
Let w = 0.053 - -0.147. Are 20 and w equal?
False
Suppose -9 + 2 = j - z, 5*j + 7 = -2*z. Which is smaller: -0.03 or j?
j
Let l(m) = -m + 2. Suppose -2*w + 16 = -4*w. Let j be l(w). Let n be (j/15)/((-2)/15). Does n = -4?
False
Let t(r) = r - 1. Let x be t(1). Let y = 40 - 8. Let u be (-3)/(-1)*4/y. Is u > x?
True
Suppose 0 = 3*b - 9, 2*s + 5*b + 45 = 5*s. Let l be (-5)/(-20) + 27/s. Let m = l + -34/15. Is m smaller than 0?
True
Let p be 0 + 6/4*19. Let s = 28 - p. Which is bigger: -2/3 or s?
s
Let b be (-200)/(-16)*-2*1. Which is smaller: b or -1?
b
Let s = -0.1 + 0.3. Let r = s - 0.2. Let w = -14/11 + 92/55. Which is greater: w or r?
w
Let s be ((-4)/3)/((-130)/5). Which is bigger: 1 or s?
1
Suppose -5*b = -b + 8. Let x = 9 - 133. Let m be x/44 - 4/22. Which is bigger: m or b?
b
Suppose -2 = 2*z - 2*m - 10, 3*z - 4*m - 14 = 0. Let x(a) = -a + 7. Let v be x(6). Suppose -3*p = z + v. Which is smaller: -2/3 or p?
p
Let z = -7.7 - -17.7. Which is smaller: -0.05 or z?
-0.05
Let b be 1 + (1 - -2) - 1. Suppose b*j + 2*j - 7 = -3*d, -4*j = -d + 8. Let z be 1/d*16/(-12). Are 1 and z equal?
False
Let g = -5 - -1. Let f be (-1)/3 + g/(-12). Let u = -104/21 - -14/3. Do f and u have the same value?
False
Suppose -k = -5 + 4. Let z be (-4)/22 - (-48)/22. Is z at least as big as k?
True
Let a = 33 + -26. Let h = -3.02 + -0.08. Let y = 3 + h. Which is bigger: y or a?
a
Suppose 44 = 3*j + 4*s, -4*j - 5*s + 41 + 16 = 0. Suppose 0 = -f + 4*p - 11, 3*f = 5*p + 8 - 20. Are f and j nonequal?
True
Suppose -4*m + m + 112128 = 0. Let l = 187872/5 - m. Let p = 199 - l. Is p greater than or equal to 0?
True
Let n(o) = -o**3 + o**2 + o. Let b be n(2). Suppose 4*j - 7 = -5*z + 2*j, 4*z - 32 = 5*j. Let s be (b/z)/(11 + -5). Is -1 at most s?
True
Suppose -2*a - 2*a = -8. Suppose a*i - 3 = -7. Let p be -8*(-3)/(-6) - -2. Do i and p have different values?
False
Suppose 5*r + n = -2*n + 14, -5*r - n = -8. Is r at most 0?
False
Let n(f) = f**3 + 10*f + 8*f**2 - 2*f**3 - 6 - 1. Let m be n(9). Is 2 > m?
False
Let v = 13 - 14. Which is smaller: v or 3/10?
v
Let j = -7 + 8. Let v = 37505299/498861 - 2/45351. Let y = v + -75. Is y at most j?
True
Let d(s) = s - 1. Let z be d(-4). Let b be (2 + 42/(-15))*5. Which is greater: z or b?
b
Suppose -3*m + 6*m - 4*s = 11, -3*m + 3*s + 9 = 0. Is 4 less than m?
False
Let a = 149/5 - 30. Let n be (32/12)/(2/3). Suppose 0 = 3*w + 3*k - 12, -4*w - 2*k + 14 = n. Is w greater than a?
True
Suppose -9 = 5*b + x + 10, 3*x = 2*b - 6. Let i = b + 2. Let a be i/(2/(2 - 4)). Do a and 1 have different values?
False
Let p(k) = -k**2 + 3*k - 1. Let h be p(3). Which is smaller: h or -3/139?
h
Let z be 6/(-15) - (-1834)/(-40). Let j = -46 - z. Let i = -1.2 + 1. Which is greater: i or j?
j
Suppose -2*i = -194 + 58. Which is smaller: 69 or i?
i
Let u be (-1)/(-4) + 14/8. Suppose -32 = o + 3*o. Let x be (4/(o/(-6)))/5. Which is bigger: u or x?
u
Let t(g) = g**2 - 6*g - 3. Let p be 3*-3*(-4)/6. Let s be t(p). Is s at most as big as -3?
True
Suppose 3*y + 0*v = -2*v + 17, -3*y = v - 16. Let c be y*(-2 - 786/(-395)). Let p = 138/395 - c. Is p equal to 0?
False
Suppose -3*s + 80 = 2*s. Suppose -s = 4*h + 16. Is h greater than or equal to -8?
True
Suppose 0 = -2*x + 4*o - 1 + 3, -2*x + 16 = 3*o. Suppose 0 = 2*m + m + 27. Let j = x + m. Which is bigger: -2 or j?
-2
Suppose 2*j = -5*x - 3, 0 = -2*j - 2*j - 3*x - 13. Suppose -15 = 3*p, -4*k = p - 4*p + 5. Is j not equal to k?
True
Suppose 3*l - 5*q - 1 = -2, l + 3*q + 19 = 0. Let c = 6 + l. Is -1 > c?
False
Let q = -56 - -55. Is 16 at least q?
True
Let f = 0 + 4. Suppose -4*p = -8 - f. Suppose 2*z - 6*z - 10 = w, 3*z = -p*w - 12. Which is bigger: w or -3?
w
Suppose 0 = 3*n - 7*n + 192. Let v be 28/n*11*-2. Let k = v - -43/3. Is 1 <= k?
True
Suppose 7*p + 27 = 10*p. Which is smaller: 1 or p?
1
Suppose -5*l = 3*z + 14, 0 = -5*l - 2*z + 4*z + 1. Let s = 23 + -23. Is l less than or equal to s?
True
Let t = 178 + -184. Let c be 1*(0/1)/(-1). Which is smaller: c or t?
t
Let t = 25 + -20. Suppose 0 = t*b - 0*b - 5. Is 0 greater than b?
False
Suppose 0 = 3*w + 3*l - 21, 4*w - l - 5 = -w. Suppose 0*x - 2*x = -6. Suppose 2*o + x = -r, -o = 3*r - 2*o - 12. Is r greater than or equal to w?
True
Let r be (-176)/30 - -3 - -3. Let f be 1/(-4) + 5/4. Which is bigger: r or f?
f
Let u(j) = -j + 0*j**2 + 1 + j**2 - 3*j**2. Let t be u(1). Let a be (-4 - t) + 4 + -5. Which is smaller: a or -2?
a
Let g be 2/2*(1 - -113). Let o be (-50)/g + (-1)/(-3). Let k(d) = d + 4. Let h be k(-4). Is h bigger than o?
True
Let t = 13 - 9. Let l = -2 + t. Suppose -4*q + 20 = q, 3*q - 11 = k. Is l greater than or equal to k?
True
Let q = 2 - 1.4. Let s = -0.62 + q. Let c = 0.08 - s. Which is smaller: -2 or c?
-2
Let f = 103/3 + -641/15. Which is greater: -9 or f?
f
Let l = -58 + 59. Is -6 not equal to l?
True
Suppose 3*i + 0*i - 12 = 3*a, 3*i + 4*a - 12 = 0. Which is bigger: 20/7 or i?
i
Let c = 17 + -8. Let p = c + -4. Suppose t - 6 = p*m, 10 = 5*m - 4*m - 3*t. Is -2 less than m?
False
Let z = -3.2 + 4. Let x = -0.9 + z. Let l = -0.9 + 1. Is x bigger than l?
False
Let h = 58.93 + -59. Is h greater than -1/4?
True
Suppose 3*z = 2*z - 24. Let g be (-16)/z - 2/(-3). Suppose 0 = -2*q - 3*t + 1, 2 = 4*q + 5*t - 1. Which is bigger: g or q?
q
Let p be (-340)/(-35) - (0 - 0). Which is bigger: 11 or p?
11
Suppose 2*h = -8, 5*h + 7 = 3*x - 13. Suppose x = -3*k + 7 + 8. Suppose -20 = -4*f + 2*p, 2*p = 2*f - 4*f + 10. Is f at most as big as k?
True
Let u be (-6)/(-35)*(-42)/24. Is u < 0?
True
Let q = -3 - -2. Suppose z + 4*z = 5*t, -2*z = 8. Let i be 1/4*(3 + t). Is q less than i?
True
Let c(x) = -x**2 + 3*x + 27. Let s be c(-4). Which is smaller: s or -1/11?
s
Suppose -49*n - 5 = -44*n. Are -5/16 and n unequal?
True
Let t be (-25 - -23)/(1 + 7 - 0). Let f = 2/89 + 168/445. Is t at most f?
True
Let n = 1.52 - 1.32. Is 24 < n?
False
Let n(u) = u**2 + 6*u - 1. Suppose o = 6*o + 30. Let r be n(o). Which is smaller: r or -2/11?
r
Let c = -19 - -20. Let r = c + -2. Which is bigger: r or -4/3?
r
Let v = 26 - 36. Is v not equal to -11?
True
Let c be 14 + -9 - (0 + -1). Suppose -10 + 28 = c*u. Which is smaller: u or 5/3?
5/3
Let r be (-6)/18*(-2)/(-3). Let u = 4 + -1. Suppose 3*z - 4*h - 7 = -2, -4*z + u*h = -2. Which is smaller: z or r?
z
Suppose -4*m + 3 = l, 0 = -2*l - 2*m - 0*m. Let g be (-23)/7 + 2 - l. Which is greater: 0 or g?
0
Let m = 0.52 + -0.4. Let d = m - 0.02. Is d greater than or equal to -2/9?
True
Let l = 647/6710 + -7/110. Which is smaller: l or 1?
l
Suppose -7 = 4*y + 9. Let o = y - -6. Suppose -3*w - 4 = -7. Which is smaller: o or w?
w
Let f = 82 + -74. Is 10 less than f?
False
Let d(g) = 3*g - 1. Let l be d(2). Let x(p) = -3*p + 3. Let m be x(1). Suppose -l*j + 45 = 5*i, 5*i + 3*j - 16 - 19 = m. Which is greater: i or -1?
i
Let i = -3.65 + -0.45. Let m = 4 + i. Let x = -31 + 30.9. Are m and x non-equal?
False
Let a = -1.1 + 0.9. Let t = a + 0.4. Is 2 less than or equal to t?
False
Let j be ((-16)/(2 - -2))/1. Does j = -4?
True
Let q = -50.8 + 51. Which is smaller: q or 1/7?
1/7
Let o = 9 - 4. Suppose -3*x - o = 1. Which is bigger: x or -4?
x
Let c(v) = v**3 - 2. Let k be c(2). Let f(y) = y - 5. Let u be f(k). Suppose 2*h + 4 = 2*n, h - 6 - 4 = -2*n. Which is smaller: n or u?
u
Let i = 9 + -5. Let c = -2 + i. Does c = 3/2?
False
Suppose -4*l + 17 = -2*j + l, -4*l + 40 = 5*j. Let g = 1/477 + 8104/2385. Is g != j?
True
Let m = -0.1 - -0.1. Let s be (-9 + (-512)/(-56))/((-4)/(-7)). Is m not equal to s?
True
Suppose -15 = 5*s + 5. Let p(u) = u**2 + 6*u - 10. Let i be p(-8). Suppose -i*y = -2*y + 16. Is y at least s?
True
Let j = 15 + -10. Suppose -18 = -2*b + 2*k, j*k = -4*b - b - 5. Which is greater: b or 0?
b
Let x = 0.021 - 2.021. Are x and -1.8 equal?
False
Let g(d) = d**3 - 5*d**2 - 5*d - 8. Let w be g(6). Let h be 1*w/(-176)*222. Let