Let f(b) = 4*b + 21. Let o(m) = -m**2 - 2*m - 1. Let k be o(2). Let y be f(k). Is (5/y)/(2/(-1110)) prime?
False
Suppose -5*v + 44793 = 2*t, -17*t + 4*v = -15*t - 44838. Is t prime?
True
Let m be (9/18)/(1/8). Let u be ((-1)/m)/(3/(-24)). Suppose -u*q = 3*q - 105. Is q a prime number?
False
Let p = -174 + 928. Let d be p/7 - 14/(-49). Let o = d - 51. Is o a prime number?
False
Let o = -10469 - -24846. Is o a composite number?
True
Suppose 5 + 6 = -3*m + 4*q, 0 = 2*m + 5*q - 31. Suppose -4*r = -m*r - 341. Is r a prime number?
False
Suppose 2*w - 5932 = -572. Suppose 8*p = -72 + w. Is p a prime number?
False
Let y(j) = 4*j**3 - 19*j**2 + 51*j - 15. Is y(17) a prime number?
True
Let l = -19 - -31. Let i be (262/(-3))/(8/l). Let h = -80 - i. Is h prime?
False
Is ((-2)/(-10))/((-23)/(-818915)) composite?
False
Suppose 4*k = 5*l + 22411, 24*l + 11233 = 2*k + 27*l. Is k composite?
True
Is (-55980)/(-12) + (-2)/1 a prime number?
True
Suppose 1299 = 4*c - 5*r, 0*c - 2*r = c - 341. Is c a prime number?
True
Suppose 0 = -12*b + 11*b + 7. Is (b + 0)*3043/17 prime?
False
Let j be 0/((-2)/(-4)*6). Suppose -h + 3*g + 15 = j, -5*h - g + 98 = -57. Is (-5)/h*2*-159 composite?
False
Is (0 + 12125 - -11) + 7 prime?
True
Let l = 100 + -94. Suppose 0 = 9*v + l*v - 27585. Is v a composite number?
True
Let f = -3591 + 13072. Is f a composite number?
True
Let r = 45 - 58. Let s = r - -224. Is s a composite number?
False
Suppose 60*j - 49*j = 16973. Is j composite?
False
Let a(n) = 2790*n + 835. Is a(7) prime?
False
Suppose 100*r = 60*r + 893480. Is r prime?
False
Let o = -8 + 12. Suppose o*p + 15 - 63 = 0. Let i = p - -1. Is i a composite number?
False
Let p(o) = o**3 - 8*o**2 + 7*o + 2. Let w be p(7). Suppose s = w*f - 659, 5*f - 1973 = 4*s - 330. Is f a prime number?
True
Suppose 5*k = 2*k + 27. Let d = k - 29. Is (-210)/d*76/6 prime?
False
Suppose h - 30 = -4*h. Let r be (32/10)/(8/20). Is 1042/8 + h/r prime?
True
Suppose 2*k + 0*f - 30 = 5*f, 4*k = 2*f + 28. Suppose -705 = -3*v - 2*z, -k*v + 3*z + 1175 = -2*z. Is v composite?
True
Let b(u) = 915*u + 52. Is b(3) a composite number?
False
Is 1621*3 + (-162)/81 composite?
False
Suppose 0 = -m - 2, -m - 3480 - 117 = -5*k. Suppose k = 5*n - 6. Is n composite?
True
Suppose 17*f + 2229 = 73408. Is f a composite number?
True
Let d(z) = -z**2 + 10*z - 4. Let y be d(6). Let c be (y/(-30))/(4/498). Let j = c - -162. Is j composite?
False
Suppose 6*t - 1602 = 3*t. Suppose -8*z + t = -5978. Suppose 5*n = -239 + z. Is n prime?
False
Let b(h) be the first derivative of 13 + 2/3*h**3 - 2*h + 63*h**4 + 1/2*h**2. Is b(1) a composite number?
True
Let j = 4 - -2. Let z(p) = 54*p + 2. Let m be z(j). Suppose 0 = 4*b + m - 1330. Is b composite?
False
Let i(k) = -3*k - 10. Let y be i(-5). Suppose 4*r = 5*b + 1070, y*r - 1333 = b + 3*b. Let d = -132 + r. Is d a composite number?
True
Suppose 0 = 4*p - 3*q - 30923, 3*p + p - 30928 = 4*q. Is p a prime number?
True
Suppose -2*j - 3*k = j - 285, -j = 3*k - 93. Suppose 4*m + 16 = 0, 3*p = 5*m - 85 - j. Let r = p - -118. Is r prime?
False
Suppose 4*r + 69 = -27. Let d be 6/(-4)*(-32)/r. Is 4485/10 - d/4 composite?
False
Let s(i) = 103*i - 8. Let n(p) = -p**3 + 6*p**2 - 7*p + 4. Let u be n(4). Let t be -2 + u - (-4 + 1). Is s(t) a prime number?
True
Suppose 7*i = 12*i - 240. Suppose 0 = -3*t - b + i + 125, -3*b + 224 = 4*t. Is t prime?
True
Suppose 6 = -3*d - 0*d - 3*k, 22 = -d - 5*k. Suppose 0 = -6*j + d*j + 1467. Is j a prime number?
False
Let x = -6 + 263. Suppose -4*q + 671 + x = 0. Suppose 2*j - q = 82. Is j prime?
True
Let m = 17 + -12. Suppose 15 = f + m*t, 2*t - 7*t = -3*f + 5. Suppose 0 = -4*u - 0*r + f*r + 1635, 0 = -5*u + 5*r + 2050. Is u prime?
False
Let x = -863 + 1261. Let k = x - 111. Is k composite?
True
Suppose 131745 = 19*j - 1250486. Is j prime?
False
Suppose 14*w - 19*w + 198270 = 0. Is (-6)/(-24) - w/(-8) a prime number?
True
Let g(f) = -7*f - 3. Let s be g(-2). Is 294 + -3 + -3 + s a composite number?
True
Suppose 4*r = -12, -y + r + 366 - 125 = 0. Let s = 69 + y. Is s a composite number?
False
Let y(z) = -z**2 + 657. Let d be y(0). Is (-4)/((-4)/(-3)) + d + -1 composite?
False
Let h(l) = -l**2 + 13*l - 15. Let g be h(13). Let y = 1 + 0. Is (y + -30)/(g/45) a prime number?
False
Suppose 78892 = -54*t + 1651318. Is t prime?
False
Let a(q) be the second derivative of -q**5/20 + 11*q**4/12 + 17*q**3/6 + 2*q**2 - 17*q. Is a(-9) a prime number?
True
Let q(v) = v**3 + 2. Let n be q(0). Let z(x) = -1 + n + 3*x - 4*x + 119*x**2. Is z(1) a composite number?
True
Let n(a) = 6*a**2 - a + 14. Let k(l) = -2*l**2 - 5. Let p(y) = 8*k(y) + 3*n(y). Is p(-4) composite?
True
Suppose -17*r + 15*r + 5*f = -5430, 4*r - 2*f = 10828. Is r a prime number?
False
Suppose 595 = -5*i + c, -3*i - i - c - 467 = 0. Let a = i - -175. Is a a composite number?
True
Let f(s) = -s**2 - 22*s - 16. Let i be f(-23). Is (-84)/i - 2/13 - -1941 a prime number?
False
Let y be (-6)/(-4)*(-6)/9*-2. Suppose -y*r + r + 53 = 3*m, 5*r + 3*m = 265. Is r prime?
True
Let u = 3859 - -1288. Is u composite?
False
Suppose -2*x = 10, u - 4*x = -2 + 20. Let b be (u - -3)/((-3)/(-15)). Suppose -b*r = -404 + 9. Is r a prime number?
True
Let n(a) = -3470*a - 167. Is n(-8) a composite number?
True
Suppose 57 = 6*t - 111. Is 12/t - 8853/(-21) prime?
False
Let x = -712 + 3383. Is x composite?
False
Let x be 30/5 + -2 - -153. Let c = x - -2280. Is c composite?
False
Suppose -2*o + 357 + 431 = 0. Is o a prime number?
False
Let u = -5158 + 15635. Is u a composite number?
False
Let w(c) = -49*c - 14. Is w(-19) a prime number?
False
Suppose 4*r = 2*r + 20. Is ((-3026)/r)/(11/(-55)) composite?
True
Let r = 4 - 2. Suppose -392 = -r*d + 590. Is d a composite number?
False
Suppose 0 = 4*j - j + z - 875, 0 = 5*j - 4*z - 1481. Is j a composite number?
False
Suppose 4 = 17*n - 30. Let d = 0 - 0. Is (d - -3) + 112 - n prime?
True
Let q(m) = -m**2 + 4*m + 6. Let l be q(5). Suppose -y = l, 5*u + 4*y - 22 = y. Suppose -2*t = -u*t + 102. Is t prime?
False
Let h be (-2)/((-1)/(-5)*2). Let u = 0 - h. Suppose -u*f = -0*f - 475. Is f a prime number?
False
Let p(n) = -246*n**2 - 2*n - 1. Let f be p(-1). Let k be (-4)/22 - f/77. Suppose -k*w - 27 = -5*b, -3*w - 9 = b - 0*w. Is b a prime number?
True
Let p = -11 - -15. Suppose -3*o + 2288 = k - 698, -4*k = -p*o - 11928. Is k a composite number?
True
Suppose -24*w = 2*f - 28*w - 71454, 3*w = 4*f - 142913. Is f a composite number?
False
Suppose -10277 = -7*c - 26020. Is 4/(-14) + c/(-7) composite?
True
Suppose -4*h + 2*h - 26 = 0. Let c = h + 11. Is (-12)/(-8) + c/(-4) a prime number?
True
Suppose 4*m - 25408 = v, 0 = -m - 5*v + 1013 + 5360. Is m prime?
True
Let i = -10 + 10. Is 6207 - ((i + -8)/1)/2 composite?
False
Let a(g) = 8*g**3 + 3*g**2 + 5*g + 3. Let i be a(-3). Let y be (0*(-1)/2)/6. Is (11 - i) + (-3 - y) composite?
True
Suppose -3*o = -8*o + 15. Suppose o*y = -r - 0*r + 18, 5*y - 31 = -2*r. Suppose 3*u - 179 = -y*x, x - 33 = -0*x - 2*u. Is x prime?
True
Is 5/(-15) - 1862724/(-9) prime?
False
Let a(l) = l**3 - 3*l**2 + 8*l + 19. Let r = 70 + -56. Is a(r) a composite number?
False
Let r(w) = -2*w**2 - 2*w + 2. Let c = -15 + 12. Let k be r(c). Let m(b) = 2*b**2 - 14*b - 3. Is m(k) composite?
False
Suppose -5*y + 11508 = v - 5*v, 0 = -4*y - v + 9219. Suppose y + 3604 = 4*i. Is i prime?
False
Let y(q) = 33*q + 5. Let k(p) = -p**3 + 6*p**2 + 8*p - 2. Let i be k(7). Suppose i*c - 4*c - 6 = 0. Is y(c) composite?
True
Let v(m) = m**2 - 9*m - 51. Is v(-37) a composite number?
True
Let p = 1 - 61. Is (-48)/p + (-13602)/(-10) prime?
True
Let n(i) be the first derivative of -i**4/4 + i**3/3 + i**2 + 291*i + 31. Is n(0) a composite number?
True
Let n(c) = -c + 16. Let r be n(7). Let y be r/(-2)*10/(-15). Suppose -3*v = -1 - 2, -v + 112 = y*u. Is u prime?
True
Let j(f) = 2*f**2 - 22*f + 17. Let d be j(10). Is 1082*(7/2 + d) composite?
False
Let j(q) = q**3 - 17*q**2 - 17*q - 18. Let s be j(18). Suppose 4*i - 6169 + 1125 = s. Is i prime?
False
Let s(r) = -420*r - 165*r - 17 + 190*r. Is s(-4) a composite number?
True
Let o(p) = 24*p**2 + 6*p - 1. Is o(5) a prime number?
False
Suppose 0 = -217*w + 219*w - 118306. Is w a composite number?
True
Suppose -19*h + 46724 = -2437659. Is h prime?
False
Suppose 21*o - 148822