-6). Are p and -2/4667 equal?
False
Let y be (-322)/(-465) - 4/6. Which is greater: -1 or y?
y
Suppose 3*l + 5*b = 3*b + 2, 0 = -3*l + 4*b + 14. Suppose -2*q = -2, 0*z + 4*z - l*q = -174. Is z != -42?
True
Suppose -3*b - b = -3*o + 3, -5*o - 5*b = -40. Suppose -75 = o*s - 5*w, 2*w = 4 - 2. Let m be (4 - 1) + (-32 - s). Is m less than -15?
False
Let x(m) = m**2 + 2 - 2*m + 0*m + 3*m + m. Let r be x(-2). Suppose -r*v - 19 = -3*v. Is v >= 19?
True
Let m = 0.04 + 1.96. Let u = -1 + m. Let d = -1.045 + 0.445. Which is smaller: u or d?
d
Let p be ((-2)/4)/(21/(-126)). Is p > 23?
False
Let n = 0 + 3. Let v = -5/2352 + 18841/11760. Is v less than n?
True
Let d = 577 - 575. Let r = -0.2 + 0. Which is bigger: r or d?
d
Let i = -3.408 + 0.008. Let y = i + 2.4. Is y at least 1/5?
False
Suppose -96 = -4*s - 5*c + 122, 2*s + 4*c = 106. Is s < 58?
True
Let r = -5.07 - -5.47. Which is smaller: r or 2.2?
r
Let n = 439297/133 + -3303. Let y = 168 - 168. Which is bigger: n or y?
y
Let y = -132.09 - -143.9. Let v = y + 0.19. Is 0 > v?
False
Let k = 14.81 - -0.19. Let c = k + -14.9. Is 1 less than c?
False
Let f be (1/2)/((-140)/(-80)). Which is smaller: f or 34/7?
f
Let w be (-2 + 34)/(6/(-2))*3. Let t be (-380)/(-225) - (w/(-30))/8. Suppose -k + 5 = 4*k. Which is smaller: t or k?
k
Let i = -5460/11 + 19017/55. Which is bigger: -152 or i?
i
Let f = 3.6 - 1.5. Let s = -5.1 + 8.3. Let o = s - f. Which is smaller: 1/3 or o?
1/3
Let l be (5/(-2)*4)/(-1). Suppose 4*x - 5*f + l = 2, x + 2 = 4*f. Which is smaller: x or 8?
x
Let z = -976 - -976.24. Which is greater: z or -7?
z
Let q be (12/18)/((-81)/(-468)). Is q >= 5?
False
Let h = -2.97 - 0.03. Let k be -1*(19/5 - 312/78). Is k > h?
True
Suppose -340 = -21*u - 361. Let h be (-1 + 0)/((-1)/5). Is h bigger than u?
True
Let x = 533086/435 - 6128/5. Let b = -100/29 - x. Is b greater than or equal to 0.1?
False
Let g = 316 + -448. Let s be (-11)/g + 1/(-4). Is s less than 1?
True
Let a be (-18)/(-4)*20/3. Let n be (35/42)/5*(4 + 182). Which is smaller: n or a?
a
Let g = -541 + 457. Which is bigger: g or 4?
4
Let f = 255 + -245. Is 8 > f?
False
Let i(r) = -r**3 - 4*r**2 + 1. Let t be i(-4). Let x = -11 + 7. Let w be x + 0 - 504/(-136). Is w bigger than t?
False
Let m = -98 - -86. Is m bigger than -8?
False
Let t be (369/(-63) - -6)/((-1)/2). Suppose 0*y + 4 = 4*y. Does y = t?
False
Let v(i) = i**2 - i - 2. Let b(s) = 31*s - 7. Let u(p) = b(p) - v(p). Let l be u(32). Suppose 0 = 4*h + 1 + 7. Which is smaller: l or h?
l
Let t(j) = -19*j + 11. Let r be t(-2). Which is bigger: r or 43?
r
Let y be (3/9)/(2/(-6)). Let h be 1/2 + (-27)/(-36). Let m = h - 31/12. Which is bigger: y or m?
y
Let o = 104/5 + -22. Let v = -2/311 + 323/1866. Which is smaller: o or v?
o
Suppose -3 = 4*a - 19. Suppose -5*h + 7 = 2*d - 4*h, 0 = a*d - 2*h - 10. Is 2/13 <= d?
True
Let x be 6 - (2/2 - -2). Suppose 5 = 2*r + x. Is r <= 7/4?
True
Let z = -645 - -643. Let m = -8/13 + -28/39. Is m < z?
False
Suppose -197*z = -189*z. Is 3/1606 at most as big as z?
False
Let d = -34.8 + 49. Let b = d + -14. Is -9 greater than b?
False
Suppose 0 = -5*j - 21*j + 1326. Is j at most 51?
True
Let h = -3.7 - -3.5. Is h bigger than 0.77?
False
Let a = 19.11 + -0.11. Let v = a - 51. Is 0.1 at most as big as v?
False
Let y be 77 + 10/5 - 5. Let j = 73 - y. Which is bigger: j or 47?
47
Suppose 49 = 7*m - 91. Suppose -m = 3*n + 25. Is -15 less than or equal to n?
True
Let r be 7741 - ((-3 - 2) + 3). Let x = r - 23704/3. Let c = 157 + x. Which is greater: 1 or c?
1
Let k = -20 + 20.003. Let a = k + -1.003. Let s = -1.3 - -0.8. Is a greater than s?
False
Let n = -37/120 - -9/40. Is -0.2 equal to n?
False
Let d = -91 + 159. Does d = 68?
True
Let d = 370 + 500. Let g be d/426 - (1 + 1). Which is smaller: -1 or g?
-1
Let a be (-1)/2*(-48)/4. Let u(n) = 21*n**2 - 40*n - 4. Let q be u(2). Which is smaller: a or q?
q
Suppose -27*a + 17*a - 10 = 0. Which is greater: 59 or a?
59
Let q = 1033 + -1050. Is q at most -10/11?
True
Suppose -3*d = -7*d. Suppose 0*w = -3*w + 3. Which is smaller: w or d?
d
Let l be -2*299/312*(-9)/(-1). Is l at least -18?
True
Suppose 3*j - 5*b = -10, 5*j + 21*b - 16*b = 10. Is j <= -5?
False
Let a = -0.104 + 0.204. Which is smaller: a or 9.8?
a
Let j = -0.7 - -0.2. Let l = -179/322 - -9/161. Is l at least j?
True
Suppose 21 - 81 = 4*w. Which is smaller: w or -198/13?
-198/13
Let b = -423.23 + 422. Which is bigger: b or 0.1?
0.1
Let u be 8/33*60/16. Suppose -4*r + 1 = -3. Is r less than or equal to u?
False
Let l be 1/(-5) + 0 + (-12)/(-360). Is -6/5 at most l?
True
Suppose 44*s - 45*s = 4*l + 4, 4*l = -5*s - 20. Are 1 and s unequal?
True
Let y(m) = -m**3 + 3*m**2 + 6*m - 6. Let f(u) = u**3 - 9*u**2 - u + 13. Let x be f(9). Let i be y(x). Which is greater: 10 or i?
10
Let g = 23217 - 209197/9. Which is greater: g or -26?
-26
Let b = -236 - -235. Which is bigger: b or 3/44?
3/44
Let r be (16/(-10))/(12/(-90)). Let w = r + 29. Which is smaller: 0.2 or w?
0.2
Let t be (-221)/(-91) + (2 + 0)/(-1). Which is smaller: t or 2/19?
2/19
Let b = 1198/9 - 133. Let z = -13/45 - b. Let f = 11.3 - 5.3. Which is greater: z or f?
f
Let z be ((-59)/(-10))/((-1936)/55712). Let c = 849/5 + z. Is 0 greater than or equal to c?
False
Let y(i) = -i**2 - 7. Let t be y(5). Let l be (24/(-15))/(4/80). Is l at least as big as t?
True
Let r be (-12)/(-2)*12/18. Suppose 20 + 8 = r*n. Suppose 0 = -n*j + 2*j - 15. Which is bigger: j or 0?
0
Suppose -d + 4*d - 2*x + 4 = 0, 10 = -3*d - 4*x. Let f(a) = -a**2 + 15*a + 15. Let j be f(-1). Let i be 21/(-34) + j/d. Is 1 at most i?
False
Let h(t) = -5*t**3 + t**2 + t. Let p be h(-1). Suppose -2*i + 24 = 4*c - c, 39 = p*i - 3*c. Let m be 3/i - (-26)/(-42). Which is greater: 1 or m?
1
Let y be (3 + 42/(-8))*70/30. Is y greater than -6?
True
Let s(h) = h**3 - 15*h**2 - 16*h + 2. Let i be s(16). Suppose -2*q - 84 = -5*y, -i*q - q = 2*y + 107. Is q greater than -36?
False
Let g = -10 - 7. Is g <= -205/12?
False
Suppose -i - 17 = 2*b, 5*b - 4*i = 2*b - 9. Suppose -54 = -5*p - 2*m, -3*p + 28 = m - 2*m. Let o be ((-30)/75)/(8/p). Is b less than o?
True
Suppose g = -3*g + 20. Suppose 0 = r - 4*r - s + 10, -5*r + 10 = -g*s. Suppose 4*p - 3 - 1 = 0. Which is greater: r or p?
r
Let v = 13.11 + -13. Let k = v + -0.31. Let w = -0.2 - k. Is w at least 2?
False
Suppose 0 = 10*x - 20 + 10. Let u be 0 - -1*(0 + 1). Is x < u?
False
Let r = 0 + 0. Let z = -2/733 - -1508/15393. Does r = z?
False
Let k = -15 + 36. Let d = -17 + k. Suppose 2*h + d*t = -6, -2*h - 3*t - 6 = h. Is -2/7 greater than or equal to h?
True
Let i be (-240)/(-56) + 4/(-14). Suppose -3*o + 21 = i*o. Is o less than or equal to 4?
True
Let x be (5/((-220)/33))/((-2)/(-8)). Suppose 0 = 3*u - 8*u - 10. Which is smaller: u or x?
x
Let w = -4 - -5. Let x be ((-12)/10 - 0)*(-78)/(-1053). Which is smaller: x or w?
x
Suppose -s - 25 = -6*s. Suppose g - 6 = 3*g, -4*j - 7 = s*g. Let q = -14 + 15. Which is smaller: j or q?
q
Let d be 18/(18 - 9)*14/(-24). Which is smaller: d or 0?
d
Let v(q) = -2*q**2 + 25*q - 103. Let t be v(7). Which is bigger: t or -1?
-1
Let x be -9 - (12331/33 + -3). Is x at most -381?
False
Let h = 0.16 + 0.17. Let y = -0.83 + h. Let c = 4.5 - y. Which is smaller: c or -2/5?
-2/5
Suppose -18 = -2*j - 5*m, 4*m - 21 + 9 = -4*j. Let o be ((-21)/196)/(3*j/(-60)). Which is greater: o or -2?
-2
Let d = -3 + 5.8. Let c = 3 - d. Is c > -2?
True
Let n = -4/51 + 109/1173. Which is greater: 1 or n?
1
Suppose -7*v = -2*v - 95. Suppose -a = -2*t + 32, 89*a - 40 = -2*t + 88*a. Is v less than t?
False
Let l(m) be the first derivative of m**3/3 - 7*m**2/2 - 5*m + 5. Let i be l(8). Suppose f + 12 = -i*f. Is -4 less than f?
True
Let r be (-16)/(2/(-5 + 2 + 1)). Is 16 at least as big as r?
True
Suppose -g = -3*c - 11, c - 3 = -g + 4. Let d = 2 - -6. Is g equal to d?
True
Let b be (-66)/(-14) - 2/(-7). Suppose 0*j - q = -5*j + 15, -j + 5*q = 21. Suppose -3*x + j*v + 6 = 0, 4*v + 6 = 3*x + 6*v. Which is greater: b or x?
b
Let b = 1201 + -1198. Suppose -3*s = 5*g - 38, 4*s = -4*g + 7 + 33. Suppose v + 4*i - 21 = 0, i - b*i = -4*v - s. Which is bigger: v or 6/19?
v
Let u be 2/12 - (-23)/6. Suppose 5*f - 10 = 3*i, -i + 0*i - u*f - 9 = 0. Let k(l) = -l**2 - 4*l + 5. Let c be k(i). Which is greater: c or -1/11?