 Is p less than 0?
False
Let u(w) = -w**2 + 5*w + 80. Let v be u(-6). Is 19 smaller than v?
False
Let x(s) = s**3 + 4*s**2 - 3*s - 6. Let f be x(-4). Let o be -10*f*((-6)/(-45))/2. Is o at least as big as -5?
True
Let q = -206 + 205. Which is greater: 20 or q?
20
Let a = 8683/133419 - 2/933. Which is smaller: a or 0?
0
Suppose 9*a + 20 = 13*a, 5*h - 150 = -3*a. Suppose 41 = 2*u - 11. Which is smaller: u or h?
u
Let z be (-3 - 1)*6*4/12. Let d(p) = 2*p**2 + 16*p - 2. Let a(l) = -8*l**2 - 64*l + 9. Let c(o) = 2*a(o) + 9*d(o). Let i be c(z). Is 0 equal to i?
True
Let y = -1516 + 1521. Is y greater than or equal to -10?
True
Let g be 35/(-30) - 21/(-14). Does g = 2?
False
Suppose 10 = -13*c + 36. Which is greater: 3 or c?
3
Suppose 0 = -3*k + 4*c - 0*c + 35, -2*k = -4*c - 22. Suppose 2*d - 4*n = 44, d - 30 = -0*n + 4*n. Which is smaller: k or d?
k
Let r be 6819/5*(-1)/(-11). Let x = r + -124. Let g = 49/330 - x. Is -1/3 equal to g?
False
Let c = -0.23 + -0.08. Let j be ((-74)/(-111))/(2 - 33/9). Does c = j?
False
Let i be (124/70)/(108/(-45)) + 1. Which is smaller: -1 or i?
-1
Let a = -66 + 74. Suppose -r - 3*o = 2*r, -3*r = -o + a. Are -2 and r unequal?
False
Let i be (10/15)/(8/(-342)). Let p(w) = 30*w**3 + w**2 - w. Let l be p(1). Let q = l + i. Is q equal to 3?
False
Let h = 7026/59455 + 12/1265. Suppose -2*p = -4*w + 4, -p - 10 = -5*w + 4*p. Which is smaller: w or h?
w
Suppose -5*p + 20 = -3*g, -2*p + 3*g + 5 + 12 = 0. Is p equal to 9/8?
False
Let y(s) = s**3 + 12*s**2 + 3*s - 6. Let k be y(-11). Suppose 6*u + k = 202. Is 20 less than u?
False
Let p be 1598/17*(-529)/(-54). Let k = -921 + p. Which is bigger: 0 or k?
0
Suppose 0 = -5*a - i - 43 - 9, 4*a = -4*i - 48. Suppose 0*u - 7 = 2*l + 3*u, l - 4 = -3*u. Let x = l - a. Which is smaller: x or 2/23?
x
Let p = -1.199 - -0.183. Let w = p + 0.016. Which is smaller: -27 or w?
-27
Let a(s) = -12*s - 387. Let n be a(-28). Which is bigger: n or -54?
n
Let l = -0.1 + -11.9. Let n = -5 - l. Let m = n - 6.2. Which is smaller: m or -0.2?
-0.2
Let o be 1*(-5 + 4) - (-66)/3. Is o greater than or equal to 19?
True
Suppose -4*h + 7 = 3*x, 0 = 2*h + x + 1 - 6. Is h bigger than 6?
False
Let d = 276 - 276. Is d > -3/7?
True
Let q = 2 + 7. Suppose 10 = -7*m + 9*m. Is m < q?
True
Let c = 0.015 - -41.985. Let u = 36 - c. Does u = 2/5?
False
Suppose 0 = -5*v - 2*m - 37, -3*v + m + 4*m = 16. Let x = v + 10. Suppose -x*t + 5 = -10. Is t smaller than 4?
False
Let n be ((-1)/(-2))/((-134)/(-8)). Let f be 105/140 - (4 - 51*1/12). Do n and f have the same value?
False
Let t = 635 - 1906/3. Let l be 6/(-20) - 5/(-10). Which is bigger: t or l?
l
Let g(j) = -j**3 - 6*j**2 - 2*j - 2. Let y be g(-6). Let o = -4 + y. Suppose 42 - o = 3*v. Is v < 11?
False
Suppose 6*f - 500 + 524 = 0. Which is bigger: -75/17 or f?
f
Let z(a) = 32*a + 225. Let x be z(-7). Are 1/657 and x non-equal?
True
Let p = -185 - -183. Let q(t) = t**2 - 2*t - 4. Let a be q(3). Which is greater: p or a?
a
Let o be (-1)/(10/42)*10. Is -83/2 greater than or equal to o?
True
Let n(p) = p - 6. Let g be n(7). Let w = 60164551/185 + -325213. Let q = 2/185 + w. Do g and q have different values?
True
Let h be (-8)/18*(-225)/30. Let w = h + -76/21. Suppose p + 3 = -2*p. Is w greater than p?
True
Let c(g) = -24*g + 7. Let u be c(-5). Let y = u - 130. Which is smaller: -21/8 or y?
y
Suppose 2*x + 11 = i, 0 = -3*i - 0*x + 5*x + 33. Let g be 11/i - (-52)/(-6). Suppose 3*q - f + 24 = 0, 2*q = 7*q + 3*f + 54. Which is greater: g or q?
g
Let s = 141024/35 - 4029. Which is greater: s or -1?
s
Suppose 0 = 4*b + 3*f - 211, 2*f - 203 = -4*b + 7*f. Let m = 52 - b. Is 4/7 equal to m?
False
Let n be 1 - (-27)/7 - (-8)/56. Is n > -8?
True
Let d = -77 + 1923/25. Let c = -8 - -10. Suppose -8 = -c*q, -2*q + 4 + 9 = -5*z. Is z bigger than d?
False
Suppose 0 = -3*a - 5*a. Let g = a - 33. Which is greater: -34 or g?
g
Let h = 268 - 263. Is h greater than or equal to -6?
True
Let j = -303.8 + 304. Is 5/17 < j?
False
Let g = 361.9 - 362. Is g != -135?
True
Let d = -73.791 - 1.209. Which is smaller: d or -5?
d
Let l = -939987/1144 - 24555/104. Let h = l - -2109/2. Which is greater: h or -3?
-3
Let j(m) = -m**3 - 7*m**2 - 16*m - 10. Let y be j(-4). Let d be 2/56 - (-4)/(-14). Is y equal to d?
False
Let o = -2312 - -85546/37. Let w = 218/5 - 44. Are o and w nonequal?
True
Let h = -324.052 + 324. Is h < -0.06?
False
Let z(n) = 61*n - 577. Let x be z(11). Is 1/4 > x?
False
Let s = 2118 + -2118. Which is bigger: 4/399 or s?
4/399
Let m be 22/12 - (-3)/18. Suppose 5*d + 5*r = -40, -3*r + r = -m*d - 32. Let l be (-2 + 0)*18/d. Are l and 4 non-equal?
True
Suppose x = 2 - 0. Suppose n - h + 2 = 0, -x*n + 0*n - 2*h = -4. Suppose l - 3*l = n. Is -3/16 < l?
True
Let h = 3.96 - -0.04. Let a = 57.9 + -53.99. Let r = a - h. Are 1 and r unequal?
True
Let j be (-2*(-3)/16)/(63/42). Is j greater than -63?
True
Let h = -15 - -11. Let x be h/10 + 123816/640. Let n = -193 + x. Does 1 = n?
False
Let p(z) = -z**3 - z**2 + 2*z + 2. Suppose -2*u - q = q, u + 3*q = 4. Let x be p(u). Let n be 1/33*12/x. Which is bigger: n or -1?
n
Suppose 7*t = 51 + 5. Let v = t + -31. Are -24 and v equal?
False
Let z = 509 + -527. Are -10 and z equal?
False
Let a(n) = -2*n**2 - 7*n + 2. Let w = 19 - 19. Suppose w = 4*f - 2*x + 14, 2 = -5*x - 3. Let c be a(f). Is c at most -3?
False
Let t be ((-14)/(-28))/(11/3). Which is greater: 0 or t?
t
Let v(a) = 2*a**2 - 5*a - 15. Let t be v(-5). Let h = t - 123/2. Is h bigger than 0.9?
False
Let d = 5343/11 + -485. Let m be 1/(-2)*(-4 + 2). Which is greater: d or m?
m
Let g be (-826)/6 + 46/69. Is -139 != g?
True
Let a = -425.9 + 425. Which is smaller: -0.6 or a?
a
Let b be (-6 + 2)/(288/(-240))*(-9)/(-2). Suppose -2*f - 6 = -3*f. Let d be 1/f*4*1. Which is bigger: b or d?
b
Let w = -0.21 + -1.39. Let y = w + 6.6. Let r = 4.9 - y. Which is bigger: 0.2 or r?
0.2
Let m be ((-12)/2 - -3)/(-25). Which is smaller: 0.3 or m?
m
Let d = 0.82 + -0.9. Let z = 9.08 + d. Let j = -7 + z. Which is smaller: -2/3 or j?
-2/3
Let r(b) = 71*b**3 - 2*b**2 + 1. Let t be r(1). Is t less than 68?
False
Let k(g) = -21*g**3 + g**2 - 2*g - 1. Let w be k(-1). Suppose -v + o + 33 = 0, 118 = 3*v - o + w. Which is smaller: 29 or v?
29
Suppose 5*v = -2*l - 4399, -l - 4*l - v - 10963 = 0. Let i = l - -177554/81. Let a = 13/162 - i. Which is smaller: a or -1/4?
-1/4
Let n be (30/60)/(2/4). Is 1/89 less than n?
True
Let u = 5.414 - 5.4. Let n = u - 0.114. Which is smaller: n or 13?
n
Let u(c) = 7 - c**2 + 6 - 5 - 7*c + 3. Let d be u(-9). Is d less than 2/9?
True
Let t be (2/(-4))/(4753/(-98)). Which is greater: t or -1?
t
Suppose -i + 0*i + 3 = 0. Let y be ((-2)/6*1)/(4/(-36)). Is i greater than y?
False
Let v = 87.04 + -89. Let j = 0.04 - v. Let t = 5 - j. Is -1 less than t?
True
Let b = 41029/25415 - -2/1955. Is b >= 2?
False
Let y = 2586 - 3343696/1293. Is -1 greater than or equal to y?
False
Let j be (-1)/(-2) - 1/2. Suppose 1285*i - 1289*i + 52 = 0. Which is smaller: j or i?
j
Let c = -2 - 1. Let x = c - -2.9. Let k be (2 - 2)/((-16)/8). Is k greater than or equal to x?
True
Let q = 18 - -37. Suppose -5*g = 6*g - q. Which is smaller: g or 8?
g
Let y = 69 + -69. Suppose k = o - 3 + 2, y = -k. Which is greater: o or -5/24?
o
Let b be 3/(-2)*1/93*-12. Is -13 bigger than b?
False
Let l(m) = -m**3 - 2*m**2 - m + 37. Let i be l(0). Let o = i + -37. Which is smaller: 1/83 or o?
o
Let q = 29 - 42. Let a = 599 + -586. Let w = a + q. Which is greater: w or -14?
w
Let p = -76 + 79. Let j be p/9 + 87/(-18). Which is smaller: -4 or j?
j
Suppose -3*o + 82 = -56. Which is bigger: o or 5?
o
Let o be (-68)/(-442) - (-256)/26. Which is greater: 5 or o?
o
Let c be 714/(-28) + 2/(-4)*-1. Which is smaller: -23 or c?
c
Suppose 230 - 158 = 4*s. Is 19 <= s?
False
Let o be 1/(-1)*(4 + -2). Let w be (-2)/(-3) - 0/o. Let t = 20.9 - 20.95. Is w at least t?
True
Let f be (-3 - -10) + 196/(-29). Which is smaller: 0 or f?
0
Let m(h) = 5*h - 52. Let x be m(14). Suppose 0 = -2*y + 4 - 0. Which is greater: x or y?
x
Let h(s) = -7*s - 7 + 9*s + 6. Let m be h(2). Is 11/3 != m?
True
Let r = -32.1 + 73.1. Are -0.3 and r equal?
False
Let g be (2/(-10))/(4/(-10))*8. Let r be 4*(-5)/(-20) - (-3 + g). Is r bigger than 1/8?
False
Let j(k) = k**2 - 4*k. Let 