Which is smaller: p or 3?
3
Suppose 3 = q - 2*q. Suppose 0 = -2*k + 4 + 4, 3*o + 2*k + 7 = 0. Let n = o - -2. Are n and q non-equal?
False
Let k(a) = -a**2 + 11*a - 16. Let c be k(7). Is 12 smaller than c?
False
Let s = -37/8 - 39/8. Which is bigger: s or -10?
s
Suppose y - 5 = 2*t, 0*t = 3*y - 3*t - 9. Let g = -13 + y. Is -11 equal to g?
False
Suppose 0 = 4*d - d. Suppose 19 = -4*o - 1. Let b = o + 6. Is d greater than or equal to b?
False
Let h be ((-15)/(-2))/(135/40). Which is bigger: h or 2?
h
Let z(m) = m**2 - 197. Let o be z(-14). Let v = -8 - -5. Which is greater: o or v?
o
Suppose 16 - 46 = 5*a. Let o = a - -7. Is 2/15 equal to o?
False
Let i(f) = -4*f - 20. Let x be i(-5). Is x <= 0?
True
Let n = -16 + 15.99. Which is bigger: 1/3 or n?
1/3
Let k be (-5)/((-70)/12) - (3 + -2). Is k at least as big as -5?
True
Let l = 12 + -4. Suppose 0 = 3*k + l - 2. Is 1 greater than or equal to k?
True
Let i = -0.013 - -0.413. Which is smaller: -4 or i?
-4
Let t = 9.8 - 1.8. Which is smaller: 2/3 or t?
2/3
Let o = -7 - -7. Let k be ((-1)/20)/((-9)/(-24)). Is k != o?
True
Let g = -7115/188 + -66/47. Let r = g - -39. Which is greater: 0 or r?
0
Let g = -4 + 4. Let m = g + 0.2. Which is bigger: m or 2/5?
2/5
Let b be 30 + 1 + 1*-3. Suppose 17 + b = 3*c. Is 15 at least c?
True
Let p = 98 - 98. Which is smaller: -1/17 or p?
-1/17
Let r = 5310.873 + -5314. Let x = 0.027 + r. Let t = -3 - x. Is t > -0.2?
True
Let n = 4 + 0. Suppose -3*p - f = 25, 13 = -5*p + n*f - 23. Let i(t) = -t**2 - 7*t + 10. Let v be i(p). Which is smaller: 2/3 or v?
2/3
Let i = 31 + 2. Let s = i + -229/7. Let g = 29 + -29.2. Is g <= s?
True
Let d = 0.5 - 0.4. Let n = d - -0.3. Let i = 0.5 - n. Do -0.2 and i have the same value?
False
Let w = 0.43 - 0.16. Let i = w + -3.27. Do 0.1 and i have the same value?
False
Let q = 0 + -1. Let l(o) = -10*o. Let d be l(q). Let g be 3/(-6) - 3/d. Is g greater than or equal to 0?
False
Suppose -9 = 3*u, -2*r = -0*r + 2*u + 28. Let h be r + 13 + 0/2. Is 0.02 less than or equal to h?
True
Suppose 0 = 16*a - 10*a - 36. Are -0.05 and a non-equal?
True
Let u be 68/(-7) - (-3)/21*-2. Which is smaller: u or -11?
-11
Let z be (3 + (-20)/6)*21. Let r = z + 6. Is 2/15 less than r?
False
Let a be 18/(4 - (-4)/(-2)). Are 0.04 and a equal?
False
Let g be 8/36 - 598/2664. Let i = g - 4433/3108. Which is greater: i or 0?
0
Let m = -0.027 - -2.027. Is 0.1 > m?
False
Let n = 1.1 + 1.9. Which is greater: 5 or n?
5
Suppose 0 = 5*q + l + 3, 0 = -q - 0*q - 4*l + 7. Let p be 5*(-1)/q + -3. Which is smaller: 12/7 or p?
12/7
Let x = 5 + -4. Let z = 1530 - 4451/3. Let c = 47 - z. Which is bigger: x or c?
x
Let j be -11 - 6/(-21)*-7. Which is greater: j or -17?
j
Suppose 5*b = 4*k + 29, -k = -b + 6*b - 24. Let f be 4/k*2/11. Let w = f - -51/55. Is w equal to 1?
False
Let q = -19 - -25. Is 6 < q?
False
Suppose 0*o - 3 = o. Let w be ((-2)/o)/((-16)/72). Is -2 at least w?
True
Let f(c) = c**3 - 4*c**2 + 4*c - 3. Let n = -1 - -1. Suppose 3 = 3*x + 4*p - 2, 2*x + 4*p - 2 = n. Let v be f(x). Which is bigger: 4/7 or v?
4/7
Let f = -6 - -6. Suppose 0 = i + 1. Which is smaller: f or i?
i
Let t = 0.11 + -0.01. Let v = -0.3 + 0.2. Let f = v + -0.1. Is f bigger than t?
False
Let u be (-2)/(-2) - (-1 - -1). Let d = 106934/67 - 1596. Let n = 104/1005 + d. Is n less than or equal to u?
True
Let c = -8944/7 - -1281. Let d = c + -193/63. Does -1 = d?
False
Let y = 15 + -3. Let q be ((-2)/y)/(1/(-2)). Let l(v) = v**2 + 4*v + 1. Let h be l(-4). Is q greater than h?
False
Let t = -0.04 + 0.04. Which is smaller: t or 7?
t
Let d = 3 - 2. Let s be (d + -1)*1/(-2). Let t = -1 - s. Which is smaller: t or 1/2?
t
Let z = -0.01 + 0.81. Let t = z + -0.9. Let x = 0.2 + t. Which is bigger: -10 or x?
x
Suppose -3*b + 10 + 23 = 0. Let g = -32 + 23. Let k = b + g. Is -1 >= k?
False
Suppose -17*a + 18*a - 5 = 0. Is 11 bigger than a?
True
Let k be (-77)/(-5) - (-2)/(-5). Let f be 1 - (k/6 + -1). Let s = -1 - -0.8. Which is bigger: s or f?
s
Let a = -27 - -31. Which is bigger: 11/4 or a?
a
Let y = -34 + 19. Let b = 16 + y. Are b and -1 equal?
False
Let t = 9.7 - 9.6. Are -8 and t nonequal?
True
Let a be 4/(-22) + (-46)/(-11). Suppose -i = 4*c + 14, a*i + 2 = 5*c + 9. Let j = -3 - -4. Which is greater: c or j?
j
Suppose -i + 4*i = 9. Let o be (-4)/i - (-1)/3. Is o less than -1/2?
True
Suppose 0 = 5*y + 2 + 8, -58 = -5*r - y. Suppose -4*q + q = -r. Suppose 2*w = -2*p + 8, 3*w - 11 = q*w - 4*p. Is 1/5 < w?
True
Suppose 0 = 2*a - a - 2. Suppose -14 - 70 = 3*m. Let n be 8/m + (-104)/(-70). Is n smaller than a?
True
Suppose 17 = -4*j + 5. Is j at least as big as -4?
True
Let a = 18 - 27. Let v be 12/a + 4/(-6). Are v and -2 nonequal?
False
Let b be -4 - 0 - -1 - -138. Let g be ((-3)/4)/(b/(-40)). Let s = 1 - 1.2. Which is greater: g or s?
g
Suppose -h - 1 + 3 = 0. Suppose -3 = -h*r + 3. Suppose -r*d - 17 = 2*s + 2*s, -5*s = -d + 26. Is d >= -0.4?
True
Let c be (-6)/15 - 44/(-10). Suppose 4*n = 5*n + c. Which is greater: n or -5?
n
Let x(c) = c**3 - c**2 - 2*c + 2. Let g be x(2). Let j be 0/((-2 + -2)/g). Let r be (-60)/25 + (3 - 1). Which is bigger: r or j?
j
Let s(p) = -p**3 - 7*p**2 - 4*p - 8. Let u be s(-6). Let v be (8/u)/((-1)/(-5)). Let q be 36/21 - v/(-1). Is 0.1 bigger than q?
True
Let a = -46 - -228/5. Let c = -0.145 + -0.855. Is c smaller than a?
True
Let k(i) = -3*i + 17. Let z be k(6). Is z != 2/15?
True
Let p(h) = -h**2 + 7*h + 8. Let c be p(7). Is c less than or equal to 9?
True
Let a(g) = -5*g - 18. Let o be a(-10). Which is greater: o or 31?
o
Let l = -17 - -14. Let g = -20 - -17. Is g at least as big as l?
True
Suppose -5*z + 27 + 23 = 0. Let m = 8 - z. Which is smaller: m or 3?
m
Let s be 54/20 + 18/(-6). Which is greater: -0.1 or s?
-0.1
Let k(j) = 3*j - 6. Let m be k(2). Is -3/22 at most as big as m?
True
Let q be 3 - (-1 - -3)*11. Let v = q - -13. Is -6 <= v?
True
Suppose -5*j + 17 = -2*a, 9 = 4*a - 3*a + j. Let o be (-2)/a - 1/(-2). Is 2/3 greater than o?
True
Let g be 6*3/6 - -25. Let w = 55 - g. Let k be 6/w - 16/(-90). Which is greater: 0 or k?
k
Suppose -2*w + 27 = w. Suppose 7 = j - w. Are 16 and j equal?
True
Let d = -1/23004 - -303367/40257. Let s = 1555/4 - 396. Let t = d + s. Are t and 0 nonequal?
True
Let b = 75.101 + -0.101. Which is greater: b or -2/3?
b
Let o be (-3)/2*(-4)/3. Suppose o*h - 11 = 5*s, 5*s - 4*h = -7 - 0. Let j be s/(-9) - (-8)/(-6). Is -1 >= j?
True
Suppose 0 = w + 5 - 7. Suppose 0 = w*l - 5*l + 3. Is 0 smaller than l?
True
Let h = 0 - 0. Let i(j) be the second derivative of -j**3/6 + 2*j. Let z be i(0). Are z and h nonequal?
False
Let c be (-1)/(9/24) + 4. Is -0.2 less than c?
True
Let r be (1*(2 + -2))/1. Is r less than -5/4?
False
Suppose -2*m + 11 = -9. Let p be 3/(6*(-2)/(-16)). Suppose x = -p*x + m. Which is smaller: x or 3/5?
3/5
Let f be -1 - ((-33)/(-15))/(-1). Let n = -2 - -2. Suppose 0*o + 3*o = n. Is f at most as big as o?
False
Let g(f) = -3*f**2 - 2*f - 1. Let n be g(-1). Let l = 11 - 1. Suppose l*v - 7*v = -6. Is n > v?
False
Let o be 4/(-6)*(-21)/(-28). Which is bigger: o or -16?
o
Let i be -4*2 + -1 - -3. Let k be ((-9)/i)/((-39)/(-4)). Is k at least as big as -2/5?
True
Let x be (-6)/(-28)*((-11)/3 + 1). Is x less than or equal to -2?
False
Let r = 0 - 0. Let o = 3 + 5.1. Let w = o - 8. Do w and r have the same value?
False
Let z(m) = -m**3 + m - 2. Let b be z(-2). Let u = b + -3. Is 0 less than u?
True
Let x = 89/6 + -263/18. Let i = 252 - 256. Does x = i?
False
Let n be ((-15)/(-12))/1*4. Is n <= 1?
False
Suppose 0 = -2*f - 6, 7*f - 6*f = -4*c - 659. Is -2/5 bigger than c?
True
Let v be 12/(-12)*(-2)/2. Is 1/3 less than v?
True
Let k(l) = l**3 + 2*l**2 + l - 1. Let q be k(-2). Which is smaller: 9 or q?
q
Let v = 37 - 19. Let m be 3/(2*(-3)/v). Which is greater: -8 or m?
-8
Let n = 0.94 - -0.06. Does n = -13?
False
Let t(j) = 0*j + 3*j + 3 - 4*j. Let k be 0/2 - 3/(-1). Let y be t(k). Is y smaller than 2/9?
True
Let g(t) = t**2 - 10*t + 12. Let d be g(9). Suppose -3*b + 5*b = 3*s + 8, d*b - 12 = 0. Let m = 58 - 640/11. Is s less than m?
False
Suppose 3 = x + 5. Suppose -27 = 5*d + 3*o, 2*d = -d - 2*o - 17. Let b be 5/d - 0/(-2). Is b at most as big as x?
False
Let c = 64 - 37. Suppose -3 = 4*s - c. Let m be 5/3 + 2/s. Is m at most 2?
True
Let 