 2)*(-1)/4 + -1. Let q = 1012/9 + -112. Do k and q have the same value?
False
Let p = 15 + -17. Let b be 4 - -8*p/4. Let j be (-4)/30*6/(-1). Is j at most b?
False
Suppose 0 = 4*i - 2 + 6. Let n be i/2 + 2/(-4). Let y be (-176)/(-504) + 4/(-7). Is y greater than n?
True
Let c be 0*(-4)/(-12) - 2. Let n(r) = r**3 + r**2 + r + 1. Let p be n(0). Let i be (-1 + 1)*(p + 0). Which is smaller: c or i?
c
Suppose 9 = 2*h + 11. Let j(m) = -m**3 - m**2 + m - 4. Let o be j(0). Let l be 1 - (h - 0 - o). Which is bigger: -2/3 or l?
-2/3
Let y be 59/21 - 6/9. Suppose 0 = 3*q + 3*l + 12, 4*q + 2*l = 8*q - 14. Is y greater than or equal to q?
True
Let a(x) = 0*x**2 - 5*x + x**2 - 3*x + 3*x + 6. Let r be a(4). Is r at most 0?
False
Let s = 3761/7 + -535. Is s less than 1?
False
Suppose -1 = u + g - 2, 5*u - 2*g - 12 = 0. Suppose u*q + 3*q - 5 = 5*v, 0 = 5*q + v - 11. Is q at least 4?
False
Let k = -8 + 8. Which is greater: -2 or k?
k
Suppose 2*g + 2*x - 3*x - 7 = 0, 5*x = -4*g + 21. Let k be (2/g)/((-5)/(-10)). Let v be 3/(-4)*(-1)/(-2). Which is smaller: v or k?
v
Suppose -2*n = 0, 5*n + 10 + 2 = 4*o. Let l = 0 + o. Suppose -4*s + 1 + 3 = -2*m, 2*m = l*s - 4. Which is bigger: s or 3/5?
3/5
Let a = -9 - -9.1. Let z = a - 0.4. Which is bigger: 3 or z?
3
Let d be (-909)/(-30) - (-1)/(-2). Let c = 371/20 - d. Let i = -11 - c. Which is smaller: 0 or i?
0
Let x(y) = y + 10. Let k be (2/4 + -1)*22. Let w be x(k). Is -4/11 less than w?
False
Suppose 5*f + a + 1 = 0, -f - 6*a + 5*a + 3 = 0. Let t = -10.6 + 1.6. Which is bigger: f or t?
f
Suppose -3*u + 5*u + 2 = 0. Let f(k) be the second derivative of -k**3/6 - 5*k**2/2 + k. Let j be f(-6). Is j at most as big as u?
False
Let s = -0.1 + 0.1. Let i = 8 + -6. Which is smaller: i or s?
s
Suppose -3*f - 2*f = 0. Let h be (1/(-2))/((-25)/(-2110)). Let i = 42 + h. Is i less than or equal to f?
True
Let w(i) = i**3 + 5*i**2 - i. Let f be w(-4). Let n = 97/5 - f. Which is greater: 0 or n?
0
Suppose 3*i + 5*z + 70 = 0, 5*i + 2*z + 130 = -3*z. Let l be (4 - 2)/(18/(-273)). Let n = i - l. Which is smaller: n or 2?
n
Let t be 0 + 6 + -3 + -1. Is t greater than 2?
False
Let p(i) = i**2 + 7*i + 10. Let y be p(-6). Is y greater than or equal to 8/3?
True
Let m = -4 - -2. Let c = 1 + m. Is c greater than 1?
False
Let y(q) = -q**2 + 4*q + 6. Let o be y(5). Is o bigger than -3/8?
True
Let z be 14*(0 - ((-12)/8 + 0)). Is 23 greater than or equal to z?
True
Suppose 5*z + 33 = -4*u, -3*z - 4 - 7 = -2*u. Let i = 3/2 + u. Suppose 3*a = -a - 8. Which is greater: i or a?
i
Let w = 9 + -17. Is w <= -5?
True
Let k = -797 - -2360/3. Let h = k - -29/3. Which is bigger: 0 or h?
0
Let v = -2 - 0. Let z = -3 - v. Let p = 0 + z. Which is smaller: -2 or p?
-2
Suppose 4*f = 19 + 9. Suppose 0 = -u + 2 + 4. Which is smaller: u or f?
u
Suppose 2*y = -y. Suppose -5*x + 2*j + 22 = 0, y = -3*x - 4*j + 33 + 1. Is x != 5?
True
Let j = -8 - -11. Are j and 4 equal?
False
Let l = -43/204 + -2/51. Which is greater: -1 or l?
l
Let z = 2.81 + -1.81. Let j be 34/2 - 2/2. Let x be 4/2 - j/10. Which is smaller: x or z?
x
Let j be (-1)/(-2) - 102/188. Suppose 0 = -2*y + d - 3*d + 2, d - 7 = 5*y. Which is bigger: y or j?
j
Let n = 6/29 - -61/406. Is -1 not equal to n?
True
Let k be ((-1)/(-15))/((-1)/3). Which is smaller: k or 1?
k
Let d = -32/3 + 221/21. Which is greater: 1 or d?
1
Let q be (5/3)/((-3)/9). Let o be q + 1/((-1)/(-2)). Suppose -6*i - 8 = -4*i. Which is smaller: i or o?
i
Let l = -0.6 + 0.2. Let s = -0.4 - l. Let c = 5 - 8. Is s at least c?
True
Let l = -0.4 + 0.6. Which is smaller: l or 1?
l
Let h = -12 + 15. Suppose -3*q + 5*y = -23, h = 3*y + 15. Which is bigger: 1/4 or q?
q
Let j(a) = -a**2 - 7*a - 5. Let k be j(-6). Let o = 105/4 + -26. Which is smaller: o or k?
o
Let x = -10 - -9. Let m be (-16)/(-12)*x/6. Which is smaller: -1/3 or m?
-1/3
Let b = -7.1 - -6. Let h = b + 0.1. Let v = -1 + h. Which is smaller: 1 or v?
v
Suppose 11*g = 8*g + 42. Which is smaller: 2/13 or g?
2/13
Let v be (-4)/10*(-6)/(-12). Which is greater: 0.11 or v?
0.11
Let o = -6.9 - -7. Let j = o + 1.9. Let y = 3/28 + 23/308. Is y less than or equal to j?
True
Let d(w) = -2*w + 4. Let i be d(4). Let g be (-2)/(-8) + (-15)/i. Let t = -78 - -81. Are t and g nonequal?
True
Let o be -5 - (-69)/15 - 186/(-15). Is 16 smaller than o?
False
Let k be (-78)/(-4) + (-1)/(-2). Let q be (-4 + 1)/((-12)/k). Suppose 5*u = -4*w + 10 - 0, 4 = q*w + 2*u. Does -1/2 = w?
False
Let t = -80 - 32. Which is smaller: t or -113?
-113
Suppose 0 = 5*j - 42 - 8. Suppose -j = 4*i - 2*i. Let q be 2*-1 - 4/1. Which is greater: q or i?
i
Let y = -10 + 21/2. Let d be -1*((-6)/3 + 1). Is d at most y?
False
Let r be ((-32)/(-20))/(-4) - 7/(-5). Let w = -0.2 + 0.2. Which is smaller: w or r?
w
Let t be -6*2/8*-2. Suppose -5*k = -3*k - 8. Suppose k*y + y = -2*a - 15, -t*y + a + 2 = 0. Is y greater than -1?
False
Let x be ((-27)/(-18))/(62/4). Is -1 greater than x?
False
Let t = 4 + 3. Suppose -17 - t = 3*m + 5*p, 5*m = 5*p. Let l = 0.03 + 1.97. Which is smaller: l or m?
m
Let n be 2/((-6)/3)*2. Let o be (-18)/27*3/n. Which is bigger: o or 1/23?
o
Let f(d) = -d - 7. Let m be f(-8). Which is bigger: m or 1/28?
m
Let x be (-4)/(-28) + (-138)/(-14). Let s be 2 - (0 + 26/x). Which is greater: s or 0?
0
Let f be -2*(4 + 30/(-5)). Is 3 at most f?
True
Let j = 4 + -1. Suppose 2*l - 31 = -j*s, 2*l = -s + 6*s - 25. Suppose 2*f - s = d + 1, -2*f = -2*d - 12. Which is bigger: 3 or f?
3
Let a be ((-5)/2)/(15/(-36)). Which is smaller: a or 2?
2
Suppose 0*l + 19 = l + 4*j, 3*l + 8 = j. Let d = -239/4 + 60. Is l less than d?
True
Let q be 4/(-35) - 2/(-5). Let l be 18/27*66/4. Let i be (-9)/l - (-10)/(-55). Which is smaller: q or i?
i
Let c = -256/63 + 30/7. Which is bigger: -0.12 or c?
c
Let j = -2496/44807 - -2/1211. Let q = -45/148 - j. Let l(f) = -f - 4. Let r be l(-5). Is r smaller than q?
False
Suppose -4 = 2*a - 4*a - 4*k, -2*a + 3 = 5*k. Suppose a*h - 2*h = -2. Which is bigger: -5/7 or h?
-5/7
Let v(j) = 1. Let m(x) = -x - 1. Let g(a) = m(a) + 5*v(a). Let w = -43 + 47. Let l be g(w). Which is greater: l or -1?
l
Suppose 4*x - 5 = 7. Suppose -5*d + 2 + x = 0. Is 0 < d?
True
Suppose 4*w - 6 = -5*k - 30, 4*k = 5*w - 52. Let l be k/5 + 1 + 1. Which is smaller: 0 or l?
0
Let k(u) = -u - 14. Let y(w) = -1. Let b(m) = -k(m) + 3*y(m). Let g = 19 - 29. Let n be b(g). Are n and 0 non-equal?
True
Let t be (-2)/10*60/24. Do t and 0.03 have different values?
True
Let d = 0.33 - 0.23. Is -3/5 <= d?
True
Suppose 2*r = r + 5*i - 24, 2*r + 12 = i. Is r > -2?
False
Let o = -35 + 22. Let k(v) = 3*v**2 + 27*v - 12. Let y be k(-9). Are y and o equal?
False
Let u be ((-6)/(-9))/((-4)/6). Let h be (5 + -3)/(1*u). Which is smaller: h or -4?
-4
Let p(f) = -f**2 - 5*f - 2. Let h be p(-6). Let q = -7 - h. Which is greater: q or 2/19?
q
Let z = 1241226 - 686398222/553. Let m = z - -1/79. Which is bigger: 0 or m?
0
Let o(b) = -4*b - 21. Let y(c) = -2*c - 11. Let a(u) = -6*o(u) + 11*y(u). Let r = -1 - 3. Let g be a(r). Which is smaller: g or -2?
g
Let r = -1 - 1. Let l be (-4)/(-8)*0/r. Suppose l = m + m - 2. Which is greater: 4/3 or m?
4/3
Let m be 28/(-8)*60/(-21). Are m and 9 equal?
False
Suppose -g - 3*g + 48 = -4*p, g + 5*p - 30 = 0. Suppose -3*n = -6*n + g. Which is bigger: n or 4?
n
Suppose 2*r + 23 = 5*y, 3*r + 5 = 4*y - 12. Is 0 less than r?
True
Let s(c) = c**3 - 8*c**2 + 7*c - 9. Suppose 2*w - 7 = w. Let b be s(w). Which is smaller: b or -8?
b
Let o(w) = w**3 + 6*w**2 - 6*w + 5. Suppose -2*k = 17 - 3. Let z = -14 - k. Let f be o(z). Is f < -3?
False
Let c = 402/13 + -31. Let b(r) = -r**2 - 7*r - 7. Let v be b(-6). Is v <= c?
True
Let p = -16.2 - -16. Is 0.11 greater than or equal to p?
True
Let a = -2/329 + 704/7567. Let q(t) = 2*t**2 + 4*t + 2. Let s be q(-3). Let j be 0/6*2/s. Which is greater: a or j?
a
Let r(n) = -n + 13. Let q be r(11). Suppose -o = o - q. Which is smaller: 3 or o?
o
Let u(s) = -3*s - 3. Let z be u(-2). Suppose -4*c + 3*c - 3*j = 1, -2*c - 2 = z*j. Let i = -2 - c. Which is bigger: i or -0.2?
-0.2
Let k = -817 + 3293/4. Which is bigger: 7 or k?
7
Let y = 1.8 - 9.8. Let h = -6 - y. Let a = -2.1 + h. Does -2 = a?
False
Let y(i) = i**3 - 9*i**2 - 11*i + 7. Let m(u) = -6*u - 2. Let g be m(-2). Let q be y(g). Which is smaller