 Is f a prime number?
True
Suppose 0 = -5*m - 209 + 1484. Suppose -4*l = -l - m. Is l a prime number?
False
Let o(p) = 16*p**2 - 7*p + 5. Let k(b) = -24*b**2 + 11*b - 8. Let t(y) = 5*k(y) + 8*o(y). Let x be -1*(-1)/(-1)*-1. Is t(x) a composite number?
False
Is 6/9*4515/14 a prime number?
False
Suppose -q + 4*l = -507, 3*q - l - 1471 = l. Is q a prime number?
True
Suppose -7*t = -6*t + 24. Let r = -4 - t. Suppose -2*i = 5*f - 7*i - r, 4*f = -5*i + 61. Is f composite?
True
Let q(m) = m**3 + 6*m**2 - 9*m - 9. Let g be q(-7). Let x = -10 - -14. Suppose g*h + 0 = -x*k + 197, 0 = -4*h - 5*k + 163. Is h prime?
True
Suppose -3*m = -6*m. Suppose 112 = 4*t - m*w - 4*w, 0 = 5*t - 4*w - 140. Let j = -9 + t. Is j a prime number?
True
Let v(x) = 7*x**3 - 6*x**2 + 2*x - 16. Is v(5) a composite number?
False
Let o(q) = -16*q - 5. Is o(-3) prime?
True
Let s be 1008/1 + 2 + 1. Is s/15 - (-2)/(-5) a prime number?
True
Suppose 0 = -4*j - 2*v - 10 - 6, 2*v = -8. Is 29 - (-3)/j*2 prime?
False
Let b be ((-34)/(-4) + -2)*116. Suppose 5*s = 4*k + 1485, -2*s - k + b - 173 = 0. Is s a prime number?
True
Let m(c) = 15*c - 34. Is m(17) prime?
False
Let g(d) be the second derivative of d**4/12 - d**3/2 - d**2 - d. Let z(p) be the first derivative of g(p). Is z(5) a prime number?
True
Let l(v) = v**3 - 18*v**2 + 19*v - 13. Let u be l(17). Let b be (11/2)/((-2)/(-40)). Let h = b - u. Is h prime?
True
Let r(k) = k + 15. Let i be r(-9). Suppose 0 = 2*y + q - i*q - 45, -5*y + 66 = 3*q. Is y a composite number?
True
Suppose -5*j - 29 = -194. Suppose -4*n = -5*f - j, -25 = -0*f + 5*f. Suppose -n*y + 33 = -77. Is y a composite number?
True
Let w(v) = 3*v - 3. Let d be w(2). Let j(u) = 21*u - 1. Is j(d) composite?
True
Suppose 0*g = 2*g - 326. Is g a prime number?
True
Suppose 4*w - 226 = 2*a + 2*w, 0 = -3*a + 2*w - 339. Is 1 - (-2 + 1) - a prime?
False
Suppose -16 = -0*t - 4*t. Suppose -k + t*k = 9. Suppose i - 3*u = -5, -k*u + 1 = i - 18. Is i composite?
False
Is ((-48)/72)/((-2)/2073) composite?
False
Let d(v) = -v**3 + 2*v**2 + 6. Let c(a) = a + 14. Let j be c(-9). Let y be d(j). Let q = -10 - y. Is q a composite number?
False
Suppose -v + 8 = -0*v. Let s = v + 6. Is s a composite number?
True
Let r(z) = z**2 - 2*z + 2. Let g(y) = -y**3 - 2*y**2 - 2*y - 5. Let n be g(-3). Is r(n) a composite number?
True
Suppose -2*n + 0*n + 754 = -2*c, -5*n + 1897 = c. Is n composite?
False
Suppose -5*v = -v - 12. Suppose -6*w = -6*w - 5*w. Is v/(3/31) + w a prime number?
True
Let a(q) = -q**2 + 6*q + 5. Let v be a(7). Suppose -h + 2 - 4 = 0. Is (4/h - -26) + v a prime number?
False
Suppose -5*x - 4*r - 97 = 0, x - r = 3*r - 29. Let w(n) = n**2 + 6. Let b be w(6). Let q = b + x. Is q composite?
True
Let z(u) = 9*u**2 + 8. Let n be z(-7). Suppose 0*k + k + 4*v = n, 5*k + v - 2245 = 0. Is k composite?
False
Let f(z) = -z**3 + 6*z**2 - z - 5. Let t be 6 + (2 + 0)/(-1). Let r be f(t). Suppose 3*g - r - 40 = 0. Is g a prime number?
False
Let q(h) = -h**3 - 8*h**2 - 7*h + 10. Let p be q(-7). Let x = -6 + p. Suppose j - 3*j + 218 = 4*v, 3*v = -x*j + 161. Is v a prime number?
False
Suppose -w + 55 = -94. Is w prime?
True
Suppose -2*f - 382 = 3*u, -1 = 2*f + 3. Let h be (9/(-6))/((-1)/122). Let r = h + u. Is r a prime number?
False
Let t(d) = 4*d + 25. Is t(11) prime?
False
Let p = -34 + 9. Let r be (2 + p)*-2 + 0. Let x = -23 + r. Is x composite?
False
Suppose 16 = 4*z, 3*l + 9 = -z + 4*z. Suppose 3*s + 19 = m - l, s = 5*m - 58. Is m a prime number?
True
Suppose 4*q + 6*y - y = -828, 0 = 5*q + 5*y + 1030. Let k = 287 + q. Is k a prime number?
False
Let y = -777 + 1528. Is y a composite number?
False
Let t = -10 - -16. Let g(k) be the first derivative of -k**3/3 + 9*k**2/2 - 3*k - 2. Is g(t) a prime number?
False
Suppose -n = -3*p + 12 + 6, p - 5*n = 20. Let i(f) = f**3 - 9*f**2 + 9*f - 6. Let q be i(8). Suppose -5*x + 101 = -4*c, p*c - 68 = -q*x - x. Is x composite?
True
Suppose -3*v = -0*v - 1557. Is v a prime number?
False
Let r be (38/(-6))/(1/(-3)). Let z = r + 0. Is z composite?
False
Let p = -202 + 434. Suppose 2*n + p - 654 = 0. Is n prime?
True
Suppose 8 = -b + 3*w, 2*w + 2*w = 2*b + 12. Let a be (159/b)/(1/(-2)). Suppose -z - 2*z + a = 0. Is z composite?
False
Let g(s) be the third derivative of -13*s**9/60480 + s**8/10080 + s**7/1680 - s**5/60 - 5*s**2. Let z(o) be the third derivative of g(o). Is z(-2) prime?
False
Suppose s + 2*s = 381. Is s a composite number?
False
Suppose 0 = -4*q - 3 + 15. Suppose q*y - 20 = 211. Is y a composite number?
True
Suppose -4*p + 3*d + 31 = 0, 0 = 4*d + 16 + 4. Let g = -4 + p. Suppose 201 + g = 3*t. Is t a prime number?
True
Let q(l) = 2335*l - 2. Is q(1) a prime number?
True
Suppose 0 = 12*o - 8*o - 1324. Is o a composite number?
False
Suppose 2*y = 776 + 1724. Let s = 1787 - y. Is s composite?
True
Let x(d) = 49*d**3 - d**2 + 5*d - 4. Let t(w) = 12*w**3 + w - 1. Let z(h) = 9*t(h) - 2*x(h). Is z(2) a prime number?
False
Let c be (-4)/(-14) + 3608/14. Let n(r) = 27*r**2 + 12*r + 1. Let y be n(-4). Let m = y - c. Is m composite?
False
Suppose -4*d = 15 - 3. Is (3/1)/d*-191 composite?
False
Let x(u) = -18*u**3 - 7*u**2 - 10*u + 20. Is x(-7) prime?
False
Let d be -3*(2 - 16/6). Suppose -d*i - 12 = i. Let g = i - -27. Is g a prime number?
True
Let q(m) = 7*m**2 + 2*m - 6. Let a be q(5). Suppose -3*r - 62 = -a. Is r a composite number?
True
Suppose 764 = -5*u + 3019. Suppose -3*k = 59 - 965. Let b = u - k. Is b a composite number?
False
Suppose 0 = -2*u + 155 - 45. Let t = u + 0. Is t prime?
False
Let w(c) = 26*c**2 - 5*c + 9. Let m be w(4). Suppose -f = -4*b + 6*b - 263, -3*b + 2*f = -m. Is b a composite number?
True
Let g = 1481 - 730. Is g a composite number?
False
Is (-8)/(-16) - (-74)/4 prime?
True
Let w be ((-12)/(-10))/((-1)/20). Let d be (-2 + -1)*w/9. Is -22*(-10)/d*2 composite?
True
Let m(n) be the first derivative of -3*n**2 + n - 1. Suppose 2*s - 25 = 3*z, 4*s = -1 - 3. Is m(z) prime?
False
Let x be (-48)/18 + 2/(-6). Is 94/(-4)*(x + 1) prime?
True
Suppose -3*i - h = 83 + 137, -h = -5*i - 356. Suppose 10 = g + c - 151, -5*c - 322 = -2*g. Let r = i + g. Is r a prime number?
True
Suppose 5*q = -126 + 1141. Is q composite?
True
Let i(u) = 12*u**3 - 3*u**2 - 2*u - 2. Let t be i(3). Let n = t + -84. Is n prime?
False
Suppose 17*k = 16*k - 2. Let y(b) = -21*b + 1. Let s(j) = 20*j - 1. Let h(x) = -4*s(x) - 3*y(x). Is h(k) prime?
False
Suppose 2*x - 157 = n, 2*x + 4*n + 69 = 221. Suppose 5*t = 5*v - 4*v + x, 2*t + 4*v - 18 = 0. Suppose 2*b = -1 + t. Is b a prime number?
True
Is (1 + 9)*(-29)/(-2) prime?
False
Suppose -5*y = -2*g - 2600, -5*y - 5*g + 2635 = -0*y. Suppose 5*o = 808 + y. Let a = o - 57. Is a a prime number?
False
Suppose 7 = -4*h + 179. Is h + (-6)/(-3) + 1 composite?
True
Let x = -3 - -1. Let c(o) = -5*o**3 - 31*o**2 + 46*o - 46. Let w(j) = j**3 + 6*j**2 - 9*j + 9. Let n(h) = x*c(h) - 11*w(h). Is n(-6) composite?
False
Is (3 + (-388)/3)*3*-1 a prime number?
True
Suppose -4*t = -4*w - 532, -3*t + 0*t = 4*w - 406. Is t a prime number?
False
Suppose -3*j = 4*q - 4 - 85, -q + 2*j + 36 = 0. Is q a composite number?
True
Let x(k) be the second derivative of k**4/12 - 2*k**3/3 + k**2 + 3*k. Let p be x(4). Suppose -b - p*b = -57. Is b composite?
False
Let p = 11 + 0. Let o(s) = -s**3 + 11*s**2 + 3*s + 13. Is o(p) prime?
False
Let u(m) = 2*m**2 + 3*m - 3. Let q(a) = -a**3 + 5*a**2 + 7*a - 7. Let v(g) = -2*q(g) + 5*u(g). Let l be 3 + (-1)/(1 + -2). Is v(l) composite?
False
Suppose 0 = -2*k + 4 + 6. Is k/3*21/1 prime?
False
Suppose 4*m - 29 = -9. Suppose 1 = q, -273 = -m*k + k - 5*q. Is k prime?
True
Let z = -3 - -5. Suppose -s = -z*o + 3*s - 2, -2 = -s. Suppose 0 = o*w - 8*w + 465. Is w a composite number?
True
Suppose 2*g = l + 4*g + 16, -l + 4*g + 14 = 0. Is ((-436)/l)/(26/195) a composite number?
True
Suppose -r - 3 + 5 = -h, 5*r = -2*h + 31. Suppose 0 = 2*i - r*x - 684, 1 = 5*x + 21. Suppose -3*n + 249 = -p, -3*p + i = 7*n - 3*n. Is n composite?
False
Let r(d) = 45*d**2 + 26*d - 16. Let m(j) = 9*j**2 + 5*j - 3. Let p(t) = 11*m(t) - 2*r(t). Is p(-6) composite?
True
Let o = -285 + 2366. Is o a prime number?
True
Is ((-3)/5)/((-6)/7530) a composite number?
True
Suppose 0 = 5*m - 8 - 12. Suppose -m*r + i + 169 = 0, -5*r + 183 = -i - 27. Suppose 4*a 