-2*q - 11 = -u*q + 2*f, -4*f = 20. Is 1 not equal to q?
False
Let t be (-3)/2 - (-77)/21. Let o = t + -163/42. Is -3 less than o?
True
Let x = -0.072 - 0.128. Which is smaller: x or -1/7?
x
Let r be (-8)/(-36) + (-74)/9. Let p be (-2)/r - (-3)/(-12). Suppose 3*s = -6, p = -i + 2*s + 1 + 3. Which is smaller: i or 1/5?
i
Let m = -380 + 699/2. Let s = m + 30. Which is smaller: 2/7 or s?
s
Let c be 4/(-12) + 30/9. Let v be c - -3 - 1/1. Let p be ((v/2)/5)/2. Which is bigger: 4 or p?
4
Let p = -1 - -1. Let m = 0.5 + -0.46. Let d = 0 - m. Which is greater: d or p?
p
Let i = 8 + -8.3. Let x = 1.7 - i. Let j = -2 + x. Which is smaller: j or -2?
-2
Let x(c) = c**2 + 3*c. Let l be x(-4). Is l at most as big as 5?
True
Let q be 0/((-1)/(3/(-3))). Let o(m) = 0*m - 6 - 2*m + q*m. Let p be o(-4). Does 3/4 = p?
False
Suppose -2*a = 0, -i - 3*a = -0*i. Is -3/38 bigger than i?
False
Let b = -97/4 - -533/20. Let h(p) = -p**2 + 1. Let s be h(0). Which is bigger: b or s?
b
Let p = 0 - 0. Let k(n) = 9*n. Let x be k(2). Let s be (-1)/6 - 6/x. Is s > p?
False
Let j be (-3 - -4) + -2*2/4. Which is bigger: j or 1/288?
1/288
Let w(u) = -u**2 + 7*u - 4. Let h be w(6). Suppose -z = -0*z + h*i - 7, i - 1 = 0. Which is smaller: z or 4?
4
Suppose -3*j + 5 = -3*u - 1, 4 = -2*j - 2*u. Let m be 3 - ((-4)/(-2) - j). Suppose 5*o = i - 0*i + 9, 0 = -4*o - 4*i - 12. Is o <= m?
True
Let w(v) = -7*v**3 - v**2 + v - 1. Let x be w(1). Let y = x - -10. Is y >= 2?
True
Let n = 0.04 - 0.04. Let p = 0.01 - -1.99. Let x = p - n. Is 2 greater than or equal to x?
True
Let c(u) = -u**3 - 5*u**2 + 5*u - 8. Let j be c(-6). Let q be j/7 + 16/252. Is q <= 1?
True
Suppose 4*j - 2*l + 8 = 2*j, -4*l = 2*j - 10. Let c(x) = x**2 + 4*x + 7. Let a be c(-5). Let y = -14 + a. Is y >= j?
False
Let p be 40/9 + -2 - 4. Is p > 1?
False
Suppose -28 = 4*x - 3*z, -36 = 4*x + 4*z - 9*z. Let y be (-1)/(3/14) - 2/6. Which is smaller: x or y?
y
Suppose -18*m - 36 = -14*m. Let l = 4 + -12. Which is smaller: m or l?
m
Let y = -7/4 + 33/20. Let h = 3 - 4. Which is smaller: y or h?
h
Suppose -16*h = -12*h. Let s = -64/3 + 21. Is h greater than or equal to s?
True
Let t = -11 - -32. Is -1/5 at most t?
True
Suppose 3*u = 6*u. Is u != -1/27?
True
Suppose -2*k - 13 = -1. Let l(u) be the second derivative of u**3/6 + 7*u**2/2 + 5*u. Let y be l(k). Which is smaller: -1/3 or y?
-1/3
Let g be -3*(-4)/(-5) + 24 + -23. Which is greater: g or 0?
0
Let o = 66 + -67. Which is greater: o or 2/7?
2/7
Suppose 0*f - 5*n = -4*f + 13, 0 = 5*n + 25. Let v = -2 - f. Let r = v - 1. Which is smaller: r or 2/5?
r
Let z be 2/9*(-12)/8. Suppose 0 = 6*c - 4*c - 8. Suppose c*w = -w. Which is bigger: w or z?
w
Let r be 4 + -2 + -3 + 9. Let k = r + -6. Let x be 1/(-2 + (-5)/(-2)). Does k = x?
True
Let u be 1 - (-12)/(-3) - 8. Let g = u - -5. Let i(n) = -6*n + 1. Let j be i(1). Is j not equal to g?
True
Let b = -0.03 - 0.07. Let k = 2.3 + -2. Is k > b?
True
Suppose 0*x - 2*t + 17 = 3*x, 3*x = -4*t + 7. Is x less than or equal to 7?
False
Let t(i) = -i**2 + 6*i - 4. Let j be t(5). Let h = -17 - -7. Is j less than h?
False
Suppose 3*z - m + 6 = z, -3*m + 2 = 2*z. Let l be 160/72 + (-2)/9. Let k be (l/(-12))/(2/8). Are z and k equal?
False
Suppose u = -3*i - 13, 2*i - 3*u = 2*u - 37. Let n be 2/i + 7136/60. Let y = -119 + n. Which is greater: -1 or y?
y
Let q be -3*1 - (-20666308)/(-4325640). Let w = 5093/678 + q. Let s = 1/145 - w. Is 0 > s?
False
Suppose -3*b = -2*b - 2. Let p(f) = 4*f**3 + 8*f**2 + b*f**3 - 8 - 5*f**3 - f. Let i be p(-8). Is i >= -1?
True
Let f = -3 + 3. Suppose -5*k = 4*z - 21, -12 = 4*k - f*z - 4*z. Let x = -106/3 - -36. Is x at most k?
True
Let x = -4 + 14. Let s be (-72)/(-15) + 2/x. Suppose -4*t = t - s. Do -1/10 and t have different values?
True
Let w = -1 + 3. Suppose 0*q + w*q + 2*d = 2, -q = 3*d - 1. Suppose -4 + 1 = -4*m + h, 3*m = -5*h - 15. Is q greater than m?
True
Suppose o - 6 = 5*n, -5*n = -3*o - 4 - 8. Let m = o + 6. Is m at least as big as -4?
True
Let i be 1*(-1)/(-2)*0. Let f be 2/1 - (i - -1). Let o be -2 - (12/(-3) + 0). Which is smaller: f or o?
f
Let q be (-2)/(-10)*(-20)/(-32). Which is greater: 1/4 or q?
1/4
Let q = -31 + 34. Which is smaller: 1/10 or q?
1/10
Suppose 3*u - 7 = 11. Suppose -k = 4*a - 0*a - 42, 0 = k - 2. Suppose 0*g - a = -2*g. Is u less than or equal to g?
False
Let a = -79/123 - 1/41. Suppose 5*v + x + 25 = 0, x - 7 - 4 = 4*v. Let f be v*((-2)/20 + 0). Which is smaller: f or a?
a
Let x = 10.44 + -10.5. Which is bigger: x or -0.02?
-0.02
Suppose -k = -2, -k = -4*u + k + 32. Is u not equal to 7?
True
Let z = 1 + -1. Suppose z = 4*l - 23 + 7. Suppose 0 = 2*j - 1 - 1, 4*t + 4*j - 20 = 0. Is t != l?
False
Let n(g) = -g**3 + 7*g**2 + 7*g + 8. Let u be n(8). Suppose 3*x - 3 = u, -3 = -3*m + 2*x + 1. Is 2 not equal to m?
False
Suppose 2*y + 4 = -2*y. Let z(u) = u**3 + 3*u**2. Let t be z(-3). Let l = y + t. Which is bigger: 1 or l?
1
Let o be -2*(4 - 7)*1. Are 7 and o unequal?
True
Let j be (-12)/(-3)*1 - 2. Suppose 2*y = t + 3 - 1, -5*t = j*y - 14. Let k be 2/(-6) + 13/3. Which is smaller: t or k?
t
Let k be 2*(10/(-4))/5. Let q be 6 + 636/(-80) - (-3)/4. Is q at most k?
True
Suppose 0 = -3*n + 6 - 0. Let x(g) = -g**3 - 2*g - g**2 + g**2 + 2*g**2 + n. Let p be x(2). Which is smaller: p or -4?
-4
Let v = 9/518 + 2/37. Which is greater: -1 or v?
v
Let z = 5 - 5. Let h = z + -2. Let a = -0.8 + -0.2. Is h at least a?
False
Let j = 3 - 4. Suppose 0 = 3*s - 4*s + 4*r - 11, -r + 6 = 3*s. Let x be (-7)/14*(-1 + s). Are j and x unequal?
True
Let y(f) = 52*f**2 + f - 1. Let x be y(1). Suppose -3*r + 2*q = -12 - 13, 0 = -4*r - 2*q + x. Is r at least as big as 11?
True
Suppose -2 = 4*m + 2. Let w be (-9)/(-42)*4 + m. Let q(y) = -y - 3. Let i be q(-2). Which is smaller: w or i?
i
Suppose -3*i - 60 = -7*i. Are i and 14 non-equal?
True
Let u(i) = i**2 + 3*i - 10. Let f be (-6)/(-2) + (-11 - -1). Let x be u(f). Let a be 2/9 - (-104)/x. Is 5 at least a?
False
Let t = -35 + 53. Is 2 greater than t?
False
Let w = 4 + -6. Let o be 9/7 + w + 1. Let b be 2/6 - 10/18. Which is bigger: b or o?
o
Let y = 30 - 16. Is y at least 15?
False
Let z be (-3 - (-7)/2)*10. Is z equal to 4?
False
Let m = -6 + 4. Let y be 1/(36/(-21))*m. Which is bigger: y or 0?
y
Let s be 2 + (9/5 + -2)*-5. Which is smaller: s or 22/9?
22/9
Let q = -0.33 - 7.67. Which is smaller: -0.1 or q?
q
Let m(a) = -a**2 + 7*a - 1. Let j be m(7). Let h be ((-18)/(-2))/1*j. Is h less than -10?
False
Let r = -9 - -12. Suppose -r*d - 22 + 4 = 0. Is d bigger than -5?
False
Suppose 5*n - 9 = 11. Suppose -u + 20 = -2*t, u = n*t + 5 + 35. Do t and -0.1 have different values?
True
Suppose 4*p = -p. Let r be (3/15 - p)*-1. Do r and 1 have the same value?
False
Let c = -3 - -2. Let b = c - -5. Let y = b + -3. Is y equal to 0?
False
Let q = -73 - -69. Which is smaller: 7 or q?
q
Let a = -562 + 63508/113. Is 0 bigger than a?
False
Suppose z - 2*o = 3, -z - 3*z - o + 12 = 0. Let g be (8/24)/((-1)/z). Is -1 greater than or equal to g?
True
Let m = -20.3 - -20. Which is bigger: m or -1?
m
Let v = -5/3 + 23/12. Let y = -9 + 9.06. Let m = 1.94 + y. Which is smaller: v or m?
v
Let q(v) = -6*v - 2. Let k be q(-2). Is k at least as big as 11?
False
Let w = 11 + -11. Which is bigger: w or 28?
28
Suppose -3*h - 16 = -h. Suppose 0 = x - 4*f, 3*x - 7*f - 7 = -2*f. Let r be x/2 + h/4. Is r < 2?
True
Let i = 13 + -7. Let v = 6 - i. Let d = -3 - -1. Are d and v equal?
False
Suppose -3*z + 2 = -112. Is -2/5 at most as big as z?
True
Let y be ((-1)/1)/(168/(-106)). Let f = 1/28 + y. Which is smaller: 0 or f?
0
Let k(s) = -s**3 + 2*s**2. Let d be k(2). Suppose -4*t = y - d*y - 5, 3*t = -5*y + 8. Let q be 1*-1 + 1 + -1. Is t at least q?
True
Let o(g) = g + 7. Let f be o(-4). Suppose -2*t - 11 = f*u, 7 = -3*t + 3*u - 17. Is t bigger than -6?
False
Let s = 13 + -12.9. Is -2 less than s?
True
Let a = 3240/11 - 294. Is -7 less than a?
True
Suppose 5*g - 8 = c - 2, 30 = 3*c + g. Let v be 1*(c/(-3))/(-3). Let t be (v - 2)*-1*0. Which is smaller: -1 or t?
-1
Let z(t) = -t**3 - 9*t**2 + 11*t - 8. Let a be z(-10). Let d be 229/(-18) - 4/a. Let u = d + 12. Which is greater: u or -2?
u
Let w be (1 - 4) + (1 - -1). Let h = w - -2. Is 2/7 <= h?
True
Let a be (-4)/544*1*(-1)/(-1). Which is greater: -1