Let i = -937 - -1466. Is i a prime number?
False
Suppose 4*c - 12 = -4. Suppose -7*d + c*d + 315 = 4*w, 0 = 2*d - w - 113. Is d a composite number?
False
Let i(y) = -y - 4. Let h be i(-6). Let z = 15 - h. Is z a prime number?
True
Let i(h) = -2*h**2 + 4*h - 11. Let m(n) = -n**2 + 3*n - 10. Let a(g) = -3*i(g) + 4*m(g). Is a(-5) composite?
False
Let b = -119 - -1270. Is b composite?
False
Suppose 2*t + 364 = 2*w, 0*w - 758 = -4*w - 2*t. Is w composite?
True
Let d = 21 - 15. Suppose 0 = 3*j + d, 0 = 4*z - 0*j + 2*j - 136. Is z composite?
True
Let b = -2 - -9. Let g = 4 - -1. Suppose z - 8 = 4*n + b, 0 = g*z + 3*n - 98. Is z a prime number?
True
Let j = 4345 - 1382. Is j composite?
False
Is (-55)/(-3) - (-12)/18 a composite number?
False
Suppose -3*h - 1618 = -5*h. Is h prime?
True
Let m(v) = -12*v - 2. Let h(q) = -25*q - 4. Let u(g) = 3*h(g) - 7*m(g). Is u(7) prime?
False
Suppose 260 = 2*k + 4*y, -5*k + 3*k + 305 = -5*y. Suppose -4*n - k + 480 = 0. Is n prime?
False
Let n(t) = 987*t**2 - 3*t + 1. Is n(2) a prime number?
True
Let d = 351 - 182. Let g = 22 + d. Is g prime?
True
Suppose -10 - 10 = -5*p. Suppose -p*y = -3*y - 82. Is y prime?
False
Let i be (-32)/(-5) - (-12)/(-30). Is -1893*(-2)/i*1 composite?
False
Suppose 2*b + 0 = 4. Let c(l) = b - 5 + 2 - 2*l. Is c(-7) composite?
False
Let n = 98 + 135. Is n prime?
True
Suppose -3*d = -2*d - 2, -3*d + 6 = -3*x. Suppose p + p + 3*u - 194 = x, 2*u = 8. Is p a composite number?
True
Let d be 3/(-15) - 1031/(-5). Let i = -63 + d. Is i prime?
False
Suppose 3*m + 5*d + 65 = -2*m, 5*m - 3*d + 49 = 0. Let k = -58 - m. Let x = 126 + k. Is x composite?
False
Is 4 + 0 + (4 - -201) a prime number?
False
Let a be (5/(-3))/(2/(-66)). Suppose 4*p = 315 - a. Let f = p - 46. Is f composite?
False
Suppose -14 = -s + d, -4*s - 4*d = -2*d - 44. Is (-2 + s/9)*-3 composite?
False
Suppose -b = -4, -3*b + 95 = 5*z + 2*b. Is z a prime number?
False
Let i = 710 - 377. Is 2/(-1) + (i - 0) a prime number?
True
Let h(y) = 14*y - 17. Is h(9) composite?
False
Suppose 13*c - 6*c = 3857. Is c a composite number?
True
Let g(z) be the second derivative of 28*z**3/3 - 15*z**2/2 + z. Is g(5) a prime number?
False
Suppose -14*r = -11*r - 5127. Is r prime?
True
Suppose p = 242 + 165. Is p a composite number?
True
Let u = -23 - -78. Is u a composite number?
True
Is 21/12*(21 + -1) a composite number?
True
Suppose -5*x + 4*j + 1651 = 0, 4*x = -0*x + 3*j + 1321. Is x a composite number?
False
Let l = -2318 - -3727. Is l prime?
True
Suppose 0 = -5*y + y + 748. Is y a composite number?
True
Let t = -53 + 159. Let j = t - -5. Is j a composite number?
True
Let s(d) = d**3 + d. Let p be s(0). Suppose 5*i + 252 - 1272 = p. Suppose 0 = -0*c - 4*c + i. Is c prime?
False
Let m = 4 + -43. Is m/(-1 - 2) + 2 a composite number?
True
Let u(r) = -r**3 - r**2 - r + 4060. Let f be u(0). Suppose 0*b - f = -4*b. Suppose 5*q + 0*q - b = 0. Is q a prime number?
False
Suppose 2*b = 0, -4*d + 2*b + 580 = b. Is d prime?
False
Suppose 2*w = -22 + 492. Is w composite?
True
Let b(u) = u + 2. Let w be b(5). Let i = 7 - w. Suppose i = -8*g + 3*g + 595. Is g prime?
False
Let x(c) = 49*c**2 - 2*c - 1. Let w be x(-1). Let n = -1 + 5. Suppose -n*y + 335 = y + 2*g, -y = -3*g - w. Is y prime?
False
Let a(k) = 174*k**2 - 3*k + 4. Is a(3) prime?
False
Let i(u) = 2*u**2 - u - 1. Let n be i(-1). Let a = 29 + 16. Suppose -n*y - y + a = 0. Is y a prime number?
False
Let s = 690 + -73. Let r = 1360 - s. Is r composite?
False
Let d(c) = c**2 + 16*c - 2. Let k be d(-13). Is (1 - 2)*(k - 2) prime?
True
Suppose 6*c - 705 = 3189. Is c a composite number?
True
Suppose 0 = -i - f - 3 + 16, 2*i - 11 = f. Let q(t) = 9*t**2 - t + 15. Let k(p) = -p**2 - p - 1. Let w(z) = 6*k(z) + q(z). Is w(i) prime?
False
Suppose -3 + 211 = 4*c. Suppose -3*m - 2*s + 0*s = -39, -4*m + s = -c. Is m composite?
False
Suppose -5*b + 4*b + 12941 = 0. Is b a prime number?
True
Let b be 54/10 + 2/(-5). Let d(v) be the first derivative of -v**4/4 + 2*v**3 - 3*v**2/2 - 5. Is d(b) composite?
True
Suppose 2*n - 256 = 392. Suppose p = 3*j + 136, -n - 317 = -5*p + 2*j. Is p prime?
True
Is ((-5535)/18 + 2/4)/(-1) prime?
True
Let s = -18 + 133. Is s a composite number?
True
Let c = -27 + 116. Is c a composite number?
False
Is ((-13)/26)/(1/(-158)) a composite number?
False
Let l(d) = -34*d + 23. Is l(-9) composite?
True
Suppose -8*l - 6*l + 434 = 0. Is l a composite number?
False
Let f(a) = -634*a + 1. Let i be f(-4). Suppose -3*c = 4*k - i, 0 = -c - 3*c + 2*k + 3346. Suppose 4*u + 5*n - 849 = 0, 2*u - 5*n = -2*u + c. Is u composite?
False
Let q be 14/(2/3 + -1). Is (-3498)/q - 4/14 prime?
True
Let w = 11 + -8. Let t = 19 - 12. Suppose -3*v - o = -66, 3*v - t*o - 51 = -w*o. Is v a composite number?
True
Let p(w) = w - 2. Let t be p(6). Suppose 3*z + 19 = t*y, -2*y - 1 = -z - 12. Is y composite?
False
Let f(x) = -2*x**3 + x + 1. Is f(-1) composite?
False
Suppose 4*r - 27 = r. Let a be (78/r)/((-4)/(-6)). Suppose -d = 0, 2*d + a + 76 = u. Is u a prime number?
True
Let d be (1 + 1)*(-3 - -4). Suppose -d*u + u = -329. Is u composite?
True
Let v(p) = -28*p - 1. Let m be v(1). Let r = 55 + m. Is r composite?
True
Suppose 0 = 5*a + 2*a - 2149. Is a prime?
True
Suppose 3*w - 14 = -2*v, 6*v + 2 = 5*v. Is 13804/10 + w/10 composite?
False
Suppose 1550 = -i - 3*i - z, i + 378 = -5*z. Is i/(-10) + 4/20 a prime number?
False
Let z(h) = h**2 - 8*h + 1. Let g be z(8). Let m = -1 + g. Suppose -5*p - 196 + 566 = m. Is p a prime number?
False
Is 98/(-34) + 3 - 47562/(-34) prime?
True
Let m(v) = -v**3 - 7*v**2 - 8*v - 9. Let b(w) = -w - 2. Let f be b(4). Is m(f) composite?
False
Let f(s) = -3*s - 4. Let p be 22/(-4) + 2/4. Is f(p) composite?
False
Suppose -1636 = -4*s - 0*s. Is s a prime number?
True
Let w = -4 - -16. Suppose 2*x - w = -2*g - 2*x, g = -5*x + 15. Suppose -n + 3*f + 82 = g, 5*n - 391 = f - 5*f. Is n a prime number?
True
Let i = 6 - 4. Let k be 7*((i - 3) + 2). Suppose -2*l - 155 = -k*l. Is l a prime number?
True
Let n = 0 - -14. Let t be (-572)/7 + (-4)/n. Let y = 165 + t. Is y a composite number?
False
Let x = -9 + 29. Is (58/8)/(1/x) composite?
True
Suppose 6*w - 4*w - 186 = 0. Is w a prime number?
False
Let s = -12 + 30. Let u be 0/(-1) + (-4)/(-1). Is (-5435)/(-45) + u/s a composite number?
True
Suppose 3*d - 15 = -0*d - 3*c, 0 = -4*c + 12. Suppose -t + 159 = d*t. Is t prime?
True
Is (53/2 + -3)*2 prime?
True
Let n(t) = t**3 - 7*t**2 + t + 3. Suppose -7 = -u + 5*v, 2*v = -u + 7 - 0. Is n(u) a prime number?
False
Let m(h) = 419*h - 24. Is m(9) prime?
False
Let k(r) = -5*r**2 + r. Let z be k(-4). Let t = z + 225. Let a = t - 64. Is a composite?
True
Suppose 2*k = 5*k - 12. Let a(y) = -12*y - 26. Let j(c) = -4*c - 9. Let o(g) = k*a(g) - 11*j(g). Is o(-7) a composite number?
False
Let b be 1*-3 + -1 + 392. Suppose -5*q = v - 97, -5*q = 4*v - q - b. Is v composite?
False
Suppose -5 - 1 = -3*a. Suppose -2*h - 3*h = -a*j - 16, 3*j - 5*h + 14 = 0. Suppose j*m = 22 + 20. Is m composite?
True
Suppose -h - d - 27 = -6*h, 3*h - d - 17 = 0. Suppose -t - 574 = -3*v, -3*t = h*v - 0*v - 952. Is v prime?
True
Let q be (-30)/9 + 3/9. Let d(l) = 6*l**2 + 1. Is d(q) prime?
False
Let x be (7 - -1)*(-1)/(-2). Suppose 51 = w - 2*k, -5*k = -6 - x. Is w prime?
False
Let j = -4 + 5. Let r(q) = q**2 + q. Let s be r(j). Suppose -3*i = s*b - 4*b + 146, i = b - 71. Is b a prime number?
True
Let y(h) = 180*h + 17. Is y(3) a prime number?
True
Let r(g) = 22*g + 13. Is r(3) a prime number?
True
Suppose 5*m + 0*m = 3815. Is m/6 - (-2)/(-12) composite?
False
Let p(v) = 2*v**2 - 7*v + 3. Let g be p(9). Suppose 4*q - 2*q - g = 0. Is q prime?
False
Let h be 571*(1 + -1 + -1). Let b = 240 + h. Is b/(-7) - 2/7 a composite number?
False
Let o be 2435/(-15) + (-1)/(-3). Let h = o - -241. Is h composite?
False
Suppose 2*y = -5 + 3. Let i = y + 3. Suppose -i*p + 74 = p - 2*g, -2*p + 2*g + 52 = 0. Is p composite?
True
Let s be (-27)/18*(-3 - -1). Suppose -s*d + d = -658. Is d composite?
True
Is 6 - -108 - (3/(-3) + 0) composite?
True
Let q(n) = n**3 + 12*n**2 + 10*n + 7. Is q(-6) prime?
True
Suppose -z + 4*q + 791 = 0, -4*q + 389 = -2*z + 1967. Is z a composite number?
False
Let h(m) = -250*m - 2. Let l = -13 - -10. Let x be h(l). Suppose -4*a + 3*c + x = a, -