 + r. Suppose 0 = m*h - 4*h - 75. Is h prime?
False
Let b = -36 - -21. Let d be 25*((-9)/b + -1). Let l = d + 303. Is l composite?
False
Is -1*(2 + 2 + -2 - 3523) composite?
True
Let f(o) = 484*o + 13. Is f(4) prime?
True
Suppose -3*p = -0*z - 5*z - 224, z + 3*p + 34 = 0. Let i = -8 - z. Is i prime?
False
Suppose 0*p = -4*p + 2924. Is p a prime number?
False
Let n = 103 - 36. Let z = n + -34. Is z a prime number?
False
Let v be (-5)/((-5)/4) - 3. Let p(x) = 64*x**2 - 3. Let z(m) = -1. Let f(j) = p(j) - 4*z(j). Is f(v) a composite number?
True
Suppose -3*m = 4*i - 7*m - 5024, 2*i + m = 2524. Suppose -4*k + 3*h + 1001 = 0, 5*k - h + 6*h - i = 0. Is k prime?
True
Let d(b) = 990*b**2 - 4*b - 1. Is d(-1) a prime number?
False
Let v = 419 - 46. Is v prime?
True
Suppose -5*h + 508 = -272. Suppose -5*a - h = -1211. Is a a prime number?
True
Suppose 0 = -3*g - g - 5*n + 385, -3*g + 282 = -3*n. Suppose -12 + g = o. Is o prime?
True
Let t(d) = d + 6. Let f be t(-3). Let z be 2/4*(1 + f). Let y(u) = 12*u**2 + u - 1. Is y(z) composite?
True
Let p(u) = -3*u**3 - 2*u**2 - 2*u - 3. Let s = -9 + 5. Let d be p(s). Let y = 376 - d. Is y composite?
False
Let b be 2/(-6) - 74/(-6). Suppose b*f = 7*f. Suppose f = -5*d + 47 - 2. Is d a prime number?
False
Suppose 5*u - 10*u = -1255. Is u a composite number?
False
Let l(o) = -o**3 + 9*o**2 + o - 12. Let u be l(9). Let q = u - -6. Suppose 855 = q*s + 3*y, -2*s - 4*y + 904 = 338. Is s prime?
False
Suppose -3*f - 5*g = -290, 7*f - g - 94 = 6*f. Is f composite?
True
Let f = -9934 + 16323. Is f a prime number?
True
Suppose 5*b - 6307 = 3*t, 3*t + 1247 = b + 6*t. Is b prime?
True
Suppose -6*v + 5*v = -249. Is v composite?
True
Let u(w) = -w**3 - 13*w**2 - 13*w - 3. Let c be u(-12). Let f = c + 5. Is f a composite number?
True
Suppose -8*p - 12*p + 208540 = 0. Is p a composite number?
False
Let d(i) = 5*i**2 + i - 5. Let b(m) = m**2 - m. Let p(h) = 6*b(h) - d(h). Is p(10) a composite number?
True
Let l(q) = 3*q**3 - 3*q**2 + q - 2. Let s be l(2). Suppose -s = 3*t + t. Is 2 + t + -1 - -205 a prime number?
False
Is 803/7 - 20/(-70) a prime number?
False
Suppose -4*p = -1066 - 426. Is p prime?
True
Let d be (-28)/6*9/(-6). Let t = 16 - d. Is t composite?
True
Let k(s) = s**2 + s + 100. Let i be k(0). Suppose 6 = 2*u - i. Is u a prime number?
True
Let u(n) = n**3 + 9*n**2 - 4*n + 1. Is u(-5) composite?
True
Let c(p) be the second derivative of 19*p**4/12 + p**3/3 - 5*p**2/2 + 5*p. Is c(4) a prime number?
True
Is (-109)/(-2) + 4/8 a prime number?
False
Suppose -5*t + 2*u + 21 = 0, 3*t + 4*u = 6*t - 21. Suppose 2*s = -t*s + 1470. Let y = s - 175. Is y prime?
False
Let q(l) = -2*l**2 + 2*l + 3. Let r be q(-2). Let a = 13 + r. Is 12/6*62/a a prime number?
True
Let w(d) = 3*d**2 - 2*d + 1. Let m be w(-4). Suppose 9 = 3*b - m. Is b composite?
True
Suppose 0 = y - 6 + 21. Let a = y - -46. Is a a prime number?
True
Suppose 4*k - v - 1162 = 0, -4*k - v + 1158 = -0*v. Suppose -x = -102 - k. Suppose -2*c = c + n - 295, -4*c + x = n. Is c a prime number?
True
Let x(y) = -y**2 - 7*y + 10. Let h be x(-8). Let r(d) = 5*d**2 - 20*d - 13. Let u(m) = m**2 - 5*m - 3. Let z(a) = h*r(a) - 9*u(a). Is z(-11) prime?
True
Let c be 16/(-20)*(-34 + -1). Suppose h + 3*r - c = 4*r, 0 = h + 3*r - 12. Suppose 3*o = 69 - h. Is o a composite number?
True
Let w = -6 - -3. Let p = w + 5. Is 19/(p*1/2) prime?
True
Suppose -3*z = d - 390, 2*z - d - 271 = 2*d. Is z a composite number?
False
Suppose -3 = -i - 2*i + a, 13 = 5*i + a. Suppose -i*f - 2*p = 2 - 18, 4*f - 24 = -2*p. Let q(k) = k**3 - k**2 - 4*k + 1. Is q(f) a composite number?
True
Let z(o) = 42*o**3 + o**2 - o + 1. Is z(2) a prime number?
False
Is (-892)/(-8 - -4) + 0 a composite number?
False
Let w = 4 + -2. Suppose w + 13 = 5*f. Suppose 6*m - f*m - 4*d = 91, 2*m + 3*d = 89. Is m composite?
False
Suppose -2*r + 76 = 2*r. Let s = 52 - r. Is s prime?
False
Suppose -4*a + 8 = -3*u, -5*u - 14 + 6 = -4*a. Is -10*(3 - 11/a) prime?
False
Suppose 4*v = -12, -3*v - 1620 = -5*u + 2*v. Is u a composite number?
True
Let f be (-2 - -9)/(2 - 1). Suppose -f*d - 92 = -3*d. Is (-2 - -2) + -1 - d composite?
True
Let r(q) = -q**3 - 5*q**2 + 3*q - 8. Is r(-7) composite?
True
Suppose c - 4*c = -9. Is c/4 - (-74)/8 composite?
True
Let z(k) = -k**3 + k**2 - k + 341. Is z(0) a composite number?
True
Let v(j) = j - 1. Let b(i) = -31*i + 15. Let z(f) = -b(f) - 6*v(f). Let u = -5 + 11. Is z(u) composite?
True
Let h = 532 - 355. Is h a composite number?
True
Let w be (-18)/(-9)*(0 - -1). Is w/((-6)/9) - -148 a prime number?
False
Suppose -2*o + 1752 = -2*q, -4*o - 2*q + 3522 = -0*o. Is o a prime number?
False
Suppose 4*h = -4*x - 145 - 27, -5*h = -3*x + 231. Let m be h/(-6) + 2/(-4). Let t = m + 46. Is t a composite number?
False
Suppose -x + 3*x + 24 = 0. Is (-5526)/x*(-4)/(-6) composite?
False
Suppose 4*q = 3*g - 20, 3*g - 2*q - q = 18. Suppose -2*l + g*l - 18 = 4*j, -3*j + 14 = 4*l. Suppose -l*v + 4*y = -31, v - 7*y + 2*y = 2. Is v prime?
True
Suppose 3*w - 1198 = -4*f, 3*w - 85 + 1295 = 4*f. Is f a prime number?
False
Let x be 4/(-10) + (-25131)/(-15). Suppose 5*u - 4*c = -0*c + x, 1630 = 5*u + 5*c. Is u a composite number?
False
Suppose -8*m + 659 + 2357 = 0. Is m composite?
True
Suppose -7*n + 17303 = -3*n - 5*m, -2*n = -4*m - 8650. Is n a composite number?
False
Let t(f) = 19*f**2 - f - 19. Is t(-8) a composite number?
True
Let l(r) = 533*r. Is l(1) composite?
True
Let b = 174 + -76. Let r = -9 + b. Is r prime?
True
Is 10/(-4)*(-20052)/45 + 1 a composite number?
True
Let k(t) = -18*t**2 - 8*t + 3. Let c(n) = -n + 3. Let f be c(4). Let q(h) = -h**2 + h - 1. Let y(x) = f*k(x) - 6*q(x). Is y(-2) a prime number?
False
Suppose k = -3*d + 1, 7*k = 4*k + 4*d + 16. Suppose 0 = -3*y + 3*l - 7*l + 6, -4*y = 4*l - k. Let t = y + 9. Is t composite?
False
Let c(g) be the third derivative of 0*g + 0 - 1/6*g**3 - 19/12*g**4 - g**2. Is c(-1) a composite number?
False
Let p be ((-9)/(-36))/((-2)/(-24)). Let c(n) = 9*n**2 - 4*n. Is c(p) prime?
False
Let t = -11 + 15. Suppose 3*v = t*g - 287, -6*v + 11*v = 15. Is g prime?
False
Let t(r) = 330*r - 322*r - r**3 - 12*r**2 - 13 + 2*r**3. Let y = -4 - -16. Is t(y) a prime number?
True
Suppose -4*q - 511 = -f, -422 - 591 = -2*f + 5*q. Is f prime?
True
Let o(h) = 2*h**3 - 3*h**2 - 4*h + 4. Let d be o(3). Let r = d - -78. Is r a prime number?
True
Suppose -q = 4 - 2. Let g(t) = 2*t**2 - 2*t - 3 - t + 17*t**2. Is g(q) prime?
True
Suppose -5*r - 1131 = -156. Is ((-2)/3)/2*r prime?
False
Suppose -6*a - 7*a = -2678. Is a composite?
True
Let j be ((-2)/(-3))/((-3)/(-27)). Suppose 3*p = j + 3. Suppose z = d - 74, 391 = p*d + 2*d + 2*z. Is d a prime number?
False
Let q(g) = g**2 - 11*g - 1. Let f be q(11). Is (1 - -2) + (-34)/f prime?
True
Suppose 0*b - 5*b + 43065 = 4*g, 0 = 4*b - 4. Is g prime?
False
Is (3 - 2)/((-4)/(0 - 1988)) prime?
False
Suppose -5*q + y = 10, -4*y - 8 = -4*q - 0. Let u(j) = -39*j - 2. Is u(q) a prime number?
False
Let o be 42*(-2 + (-1 - -1)). Let r = 5 - o. Is r composite?
False
Let n = -84 - -142. Is n a prime number?
False
Suppose -i + 220 = 3*i. Is i a prime number?
False
Suppose -93 = -x - 26. Is x prime?
True
Suppose 3 = p - 1. Suppose p*l = 117 + 199. Is l composite?
False
Let v(x) = x**2 - 3*x - 11. Let t be 26/(-3) + 8/12. Is v(t) composite?
True
Let s(k) = k + 9. Is s(10) a prime number?
True
Let h(y) = 14*y**2 + 8*y - 1. Let m(t) = -41*t**2 - 24*t + 3. Let k(z) = 17*h(z) + 6*m(z). Let s be k(6). Is (s/(-20))/(2/8) a prime number?
True
Let h = 15 - -21. Let l be 1210/18 + (-8)/h. Suppose g = -0*g + l. Is g composite?
False
Let l(v) = -19*v + 5. Let w(t) = t. Let h(z) = -l(z) - w(z). Is h(8) prime?
True
Let y be 3 + 1*(3 - 4). Suppose -2*q = f - y*f - 2, -23 = -5*q - 2*f. Is q*12 - (0 + 1) prime?
False
Let z(t) = -t**3 + 2*t**2 + t. Let u be z(2). Let f be ((-28)/1)/(1 + -2). Suppose 0 = 2*r + u*r - f. Is r composite?
False
Suppose 0 = r - 3*r + 6. Let b(d) = 5*d**2 - 5*d + 3. Let f be b(3). Suppose -r*v + f = -24. Is v composite?
False
Suppose -2*l + 551 - 32 = -5*z, -1083 = -4*l - 5*z. Is l a composite number?
True
Let w(z) = -21*z**3 + 2*z**2 - 2*z - 1. Is w(-2) prime?
True
Let v(z) = -13*z**3 - 8*z**2 + 10*z + 3. Is v(-8) a prime number?
True
Is -1 + -1 + (-5 - -213