-3*r + 4*w + 6661 = 0. Is r prime?
False
Let m = 13 + 157. Let o = m + -108. Is o prime?
False
Let c(k) = 2*k**3 - k**2 - 7*k + 5. Let h(r) = r**2 + 7*r + 6. Let z be h(-7). Is c(z) a prime number?
True
Suppose 5*u + 6 + 4 = 0. Let o be ((-207)/(-15))/(u/(-10)). Suppose -2*w = -3*w + o. Is w prime?
False
Let z = 108 - -479. Is z a prime number?
True
Let y = -3 + 3. Suppose 2*q = -2*q + 240. Is q - (y + (-2)/(-2)) a composite number?
False
Let c = -171 + 358. Let r = c - 90. Is r a prime number?
True
Suppose 2*x - 3*q - 4 = -5*q, 0 = -2*x + 3*q - 6. Suppose -h + g + 186 = 0, 3*h + g - 521 - 41 = x. Is h a prime number?
False
Is 2 + 108*9 + -3 prime?
True
Let d(t) = -25*t + 11. Let p(l) = 2*l - 2. Let b be p(-3). Is d(b) a composite number?
False
Let u(z) = 16*z**3 - z**2. Suppose 3*d + 10 = -5. Let l = 6 + d. Is u(l) prime?
False
Suppose 3*b = 1020 - 261. Is b prime?
False
Let x be (12/8)/(2/4). Suppose 56 + 13 = x*g. Is g a composite number?
False
Suppose -i = 4*x + 2*i - 9, -12 = -2*x - 4*i. Suppose -s + 0*q - 4*q + 58 = x, 2*s - 4*q - 68 = 0. Is s/12*14/1 composite?
True
Is (1 - 0)*(-4 + (7 - -1058)) prime?
True
Is (-176646)/(-10) + 10/25 prime?
False
Suppose -3*u + 27 - 21 = 0. Let v(r) = r**2 - r. Let k be v(6). Is (5/5)/(u/k) prime?
False
Suppose 0 = 4*t - 10 - 6. Let h = t - 4. Is 55 + -2 - (h + -2) a composite number?
True
Is -3 + (815 - -4) + -1 composite?
True
Let v(r) be the first derivative of r**6/360 + r**5/40 - r**4/8 + r**3/3 - 1. Let k(l) be the third derivative of v(l). Is k(6) prime?
False
Let k = -1 + 3. Suppose -p + 3*y + 17 = -0*p, -2*p + k*y = -18. Suppose -4*h = -4*n - p*h + 309, -2*n + 153 = -h. Is n a composite number?
True
Suppose 0 = -2*f + 4*f - 426. Is f composite?
True
Suppose o - 7 = -4*r - 0, 5*o = -4*r + 3. Suppose 22 = r*q - 232. Is q composite?
False
Let t(l) = -12*l + 4. Let n be t(-13). Suppose -4*a - a + n = 3*d, 0 = -3*a + 4*d + 125. Is a prime?
False
Let m be (-1)/4 - 325/(-20). Is (-2)/((m/(-158))/4) prime?
True
Let o(d) = 5 - 10*d - 14 + 3. Let g = -4 - 0. Is o(g) composite?
True
Suppose u - 12902 = -4*z + 3*u, -6436 = -2*z - 2*u. Is z a prime number?
False
Is (6822/(-72))/(1/(-4)) prime?
True
Let p(l) = -8*l + 23. Is p(-10) a prime number?
True
Is -3*-1*(-1923)/(-9) composite?
False
Let r(i) = -i**3 + 2*i**2 + 18*i + 8. Is r(-7) prime?
False
Let t(m) = -m**2 + 3 + 2*m**2 + 74 - m. Suppose 0 = -4*n - 4*y - 20, -5 = -4*n - 3*y + 4*y. Is t(n) composite?
True
Let b be -1 + (1 - 2) + -2. Let q = -5 - b. Is (4 + -81)*1/q a prime number?
False
Let c(i) = -i - 11. Let u be c(-10). Let v be (-3)/u + -2 - -2. Is 376/12 + (-1)/v composite?
False
Suppose -9*z = -8*z - 185. Is z a prime number?
False
Let l = -1 - -3. Suppose -9 = -l*s - 65. Is 144/14 - (-8)/s a prime number?
False
Let v(o) = 27*o**2 + 4*o - 12. Is v(11) a composite number?
False
Suppose -3*s + 481 = 82. Is s a prime number?
False
Is (-1 + -1)*4196/(-8) composite?
False
Suppose -3*l + 2*c = -473, 3*l + 0*l = 3*c + 474. Is l a prime number?
True
Let j(a) be the third derivative of -7*a**4/8 + 4*a**3/3 + 6*a**2. Is j(-6) prime?
False
Suppose 0 = -2*o - o - 2007. Is (o/12 - -3)*-4 prime?
True
Suppose -2*k = -4*u + 315 + 1415, -4*k + 437 = u. Suppose i - 5*l = -u, -2*i = 2*i - 3*l + 1783. Is i/(-5) + 3/(-5) composite?
False
Let f = -10 + 5. Let h = 0 + 2. Is (-2)/h + (10 - f) composite?
True
Is (-1358)/(-7) + (-1 - 2) prime?
True
Let b(d) = 4 - 11*d - 2 - 1. Is b(-6) composite?
False
Let h(n) = -n**2 - 6*n. Let b be h(-5). Let x be ((-22)/4)/((-2)/4). Suppose -x = -b*c - 1. Is c composite?
False
Let d be (-303)/(-27) + 4/(-18). Is (2 - d)*(-3)/9 composite?
False
Let k = -44 + 95. Is k a prime number?
False
Let o = 1 + 4. Let w(l) = -l**2 + 8*l + 7. Is w(o) prime?
False
Let d(l) = l + 1. Let x be d(2). Is 3/9 - (-236)/x composite?
False
Suppose 0 = -4*t - 5*k + 137, 2*k - 101 = t - 4*t. Is t a prime number?
False
Let f be (-2)/6 + (-2)/(-6). Let n = f + 2. Is 37/2 + n/4 a prime number?
True
Suppose -2*v + 555 = 3*v. Suppose -4*n = -3*x - 121, -4*n + 3*x = -2*x - v. Is n a composite number?
True
Let h(m) = -m**3 - 6*m**2 - 3*m - 1. Let w be h(-4). Let k = 34 - w. Is k prime?
False
Let r be 9*((-8)/(-6))/(-4). Let k = r - -26. Is k prime?
True
Let v be (-548 + 3)*(1 + -2). Suppose -2*s + v = 3*s. Is s composite?
False
Let c be 111 + -2 + -2 - 1. Let m = -60 + c. Is m a composite number?
True
Suppose -3*p - 27 = -4*p. Let l = p - -22. Is l a composite number?
True
Suppose -2*y + 8 = 0, 0*y + 74 = 2*l - 2*y. Suppose -5*x = -l - 9. Is x a prime number?
False
Is 3/((-36)/8)*-1257 a composite number?
True
Let w be 1/((-3)/18) + 1. Let k = w - -12. Is k a prime number?
True
Let z = 263 + -9. Is z a prime number?
False
Let h = 8 + 20. Suppose l - h = -6. Is l composite?
True
Let j = -3 + -1. Suppose 0 = 3*g - 5*z - 11 + 2, -4*z - 16 = 2*g. Is (-228)/j - (g - 0) a composite number?
False
Suppose 2*r - 587 = 5*g, -3*g + g = 6. Is 4/(-2) - (-7 - r) prime?
False
Let p(t) = -t**2 - 6*t - 2. Let m = -3 + 2. Let l be m/(2/10 + 0). Is p(l) a composite number?
False
Suppose -y + 921 = 2*y. Is y a prime number?
True
Let s = 3848 + -2629. Is s a prime number?
False
Suppose w + m - 2*m = 7, -3*w + 45 = 5*m. Let v = -5 + w. Suppose 4*b - v*y - 80 = 0, -b = 3*b - 4*y - 76. Is b a composite number?
True
Suppose 0 = 5*u - 0*u - 105. Let r be 36/u + (-4)/(-14). Suppose 328 = 2*y - r*i, -2*y = 3*y - 4*i - 819. Is y composite?
False
Let k be ((-268)/6)/((-3)/(-27)). Suppose 1207 = -6*x + x + 2*b, 0 = -4*x - b - 963. Let a = x - k. Is a composite?
True
Let n = 279 + -144. Let r = n + -76. Is r a prime number?
True
Let m(g) = 9*g**2 - 11*g - 5. Is m(13) a prime number?
True
Let u(w) = 3*w - 6. Let f be u(5). Suppose 3*l + 19 = 5*o, -3*l + 2*l - f = -3*o. Is (-795)/(-6) - o/(-4) composite?
True
Let i(p) = p**3 - 6*p**2 - 7*p + 2. Let b be i(7). Suppose k + 11 = 5*z - b*z, 19 = 3*z + k. Suppose -z*n = -239 + 44. Is n a prime number?
False
Let d(k) = k + 3. Let i = 30 - 19. Is d(i) composite?
True
Suppose 2*z - 7 = 3*y, 3 + 0 = 3*z - 3*y. Is (z - -6) + (76 - 1) composite?
True
Let k(z) = 204*z**2 - 3*z - 11. Is k(-4) composite?
True
Let x = -13 - -13. Suppose -2*t + 3*t - 10 = x. Is t prime?
False
Suppose 0 = -2*b + 7*b - 20. Suppose -710 = -b*c + 782. Is c a composite number?
False
Let s = -39 - -7. Let n = s + 48. Let p = 53 - n. Is p a prime number?
True
Suppose 0 = 2*a + 3*a + 10. Let j(n) = -73*n - 3. Is j(a) prime?
False
Let t = 222 - 77. Is t composite?
True
Let i = 16 - 11. Suppose -255 = -5*d - i*w, -3*w - 15 = -3*d + 114. Is d a composite number?
False
Let w(r) = -r**2 + 89. Let y be (-5 + 2 - -2) + 1. Is w(y) prime?
True
Suppose 3*i - 7*i = -3*k - 2686, 667 = i - 3*k. Is i a prime number?
True
Suppose 5*k = 2*i - 357, -5*k = -2*i + 6*i + 351. Let w = -49 - k. Is w composite?
True
Let u(w) = -2*w + 3. Is u(-16) composite?
True
Let c(g) = 143*g**2 + 1. Let y be c(1). Suppose -2*b + 41 + 54 = -3*j, 3*b - y = 5*j. Is b prime?
True
Suppose -6*r + 161 + 769 = 0. Is r prime?
False
Let i(g) = -36*g - 1. Is i(-7) prime?
True
Let y(s) = -s**3 + 2*s**2 + 3*s - 3. Let o(g) = -3*g - 1. Let u be o(-1). Let p be y(u). Suppose -635 = -p*k - 2*k. Is k a prime number?
True
Let k(j) = 90*j - 5. Let u be k(2). Suppose -g - u = -6*g. Is g composite?
True
Let k(z) = -2*z**2 + 2*z + 6. Let n(l) = -3*l**2 + l + 5. Let r(a) = 4*k(a) - 3*n(a). Is r(11) a prime number?
False
Let w = -3 - -1. Is ((-14)/3)/(w/87) a composite number?
True
Suppose -3*s = -8*s + 15. Let b = s - 0. Is 2/6*b*19 a prime number?
True
Suppose 6*r - 1676 = -278. Is r a composite number?
False
Let t = -158 - 106. Is t/(-3) - (-3 + 2) composite?
False
Let p be (3 - 4)/((-2)/4). Suppose 5*f = y - 6 - 4, -p*y - 3*f - 6 = 0. Suppose s + 102 = 3*b - 63, y = -3*b - s + 165. Is b prime?
False
Suppose 5*s - j - 22 = -5*j, -4*s - 2*j = -20. Suppose l - s*l + 2*g = -144, 0 = -2*l + 5*g + 66. Suppose 8*d = 4*d + l. Is d a prime number?
True
Let k(l) = -321*l + 7. Is k(-2) prime?
False
Suppose 45 = 2*h - i, -5*h + 3*i + 115 = -0*i. Suppose -6 - 10 = 4*b + g, 4*g = -5*b - h. Let v(d) = -d**3 + 4*d**2 + 5*d + 1. Is v(b) a prime number?
True
Suppose -k = k - 2*a + 4, 3*k - 2*a + 3 = 0. Let z be k + 10*(-1)/2. Is (2 + -3)/(z/188) a prime nu