327, -5*s = 2*l + 7637. Is (1 + -5)/(-1)*l/(-4) a composite number?
False
Let q(w) = -w**2 - w - 287. Let x be q(0). Let i = 702 + x. Suppose 2*z - i = -c, c = -0*c + 5*z + 401. Is c a prime number?
False
Let r(p) = -p**2 + p + 2. Let n be r(-1). Suppose -2*l + 17 = -n*l + v, 3*v = -2*l + 27. Let m(y) = -y**2 + 12*y - 5. Is m(l) composite?
False
Let w(i) = 4*i - 30. Let h(a) = -a + 10. Let x(t) = 7*h(t) + 2*w(t). Let f be x(-7). Suppose 0*m - 66 = -f*m. Is m composite?
True
Suppose -266 = -3*o - 4*o. Is o a composite number?
True
Let x(n) = -n**3 + 16*n**2 + 11*n - 2. Let f be x(17). Let i = f + 1357. Suppose 5*k = 4*z - 1686, k + k = -3*z + i. Is z a composite number?
False
Suppose 0 = 7*i - 2*i - 4*s - 12791, s = -2*i + 5119. Suppose 2*k + 3911 = -i. Is k/(-55) - (-4)/22 a prime number?
True
Let b(k) = 2*k**2 + 33*k - 19 - 10*k - 19. Is b(-17) a composite number?
False
Suppose -3*k + k - u + 8 = 0, -5*k + 5*u - 10 = 0. Suppose 0 = 3*t - t - k*p - 1838, 4*p = 2*t - 1842. Is t a composite number?
True
Let i be (36/5)/((-9)/5 + 2). Is i/24*(-388)/(-3) composite?
True
Suppose 73*l = 79*l - 34422. Is l a composite number?
False
Suppose 2*i - 1225 = -3*i. Let d = i - 169. Suppose -5*f - d = -461. Is f a prime number?
False
Let d = 460 - -327. Let r = 134 + d. Is r a composite number?
True
Suppose -4*l + 3*s - 8*s - 12 = 0, 16 = -4*s. Suppose 2*f - 18 = l*b, -f - 3 = -3*f - b. Suppose 5*t + 2*i - 28 = f*t, 0 = t + 3*i - 31. Is t a prime number?
False
Let i = 4 - 2. Suppose r = -i*g + 327, g = r + 2*g - 328. Is r a prime number?
False
Is (-5736)/(-8) + -3 - -4 prime?
False
Let y(n) be the third derivative of n**4/12 - 7*n**3/3 + 6*n**2. Let i be y(6). Is (-1812)/(-9) - i/(-6) a prime number?
False
Let c(l) = -l**2 + 2*l + 6. Let w be c(0). Suppose 2*p = -i + 2*i + w, -3*i + 4*p = 12. Suppose 2*k = -i*k + 2122. Is k composite?
False
Let h(z) = 3*z + 11*z**2 - 2*z**2 + 15 - 14. Let b = 7 - 11. Is h(b) prime?
False
Let z be 2/(-4) + 86/4. Let v = -41 + 23. Let p = z + v. Is p a prime number?
True
Suppose o = 2*d + 2483, -4*o + 7383 = -5*d - 2540. Is o prime?
True
Let j = 32337 - -7366. Is j a composite number?
False
Let g = -11 + -33. Let c = g - -81. Is c a prime number?
True
Let h = -32 - -109. Is 10065/h - 4/(-14) a prime number?
True
Let r(o) = 6*o - 7. Let x be r(8). Suppose -2913 = -4*i - x. Is i a prime number?
False
Suppose u = -4*u + 4*k + 24, -3*u = 4*k - 8. Suppose -1266 = -u*c - 2*c. Is c a prime number?
True
Let b be (0 + 21)/(4 - 3). Suppose -2*q = -5*f - 13, 0*f = -5*q + f + b. Suppose 4*a + 5*c - 56 = 3, 0 = 3*a - q*c - 21. Is a a prime number?
True
Suppose 2*p - 13879 = 34849. Is 1/(p/(-6092) - -4) a prime number?
True
Let c(r) = 3*r + r + 12 - 2*r**2 + r**2 + 0*r**2. Is c(5) prime?
True
Let y(k) = -370*k**3 + 3*k**2 - 2. Is y(-1) composite?
True
Suppose 0 = -3*q + 2*s + 17, s = 1 - 2. Suppose -4815 = -q*y - 470. Is y a composite number?
True
Let s(u) = -4*u**3 + 19*u**2 - 3*u + 22. Let h be s(9). Let t = -639 - h. Is t a prime number?
True
Let p = -45271 + 66518. Is p prime?
True
Let t be -1 + (-12)/(-9)*(-12)/8. Let h(c) = 32*c**2 + 3. Is h(t) a composite number?
True
Let q(x) = -1458*x + 1. Let l be q(-2). Suppose 0 = -5*i + l + 7368. Suppose 3*a - 4*w = -a + 2700, 5*w - i = -3*a. Is a a composite number?
True
Suppose -11*u = -115 + 93. Suppose 2*b + 4*d = -b + 1205, 0 = 4*b - d - 1575. Suppose 0 = -v + u*v - b. Is v prime?
False
Let j = -39 - -40. Is (468 - 1) + 2*j prime?
False
Suppose w - 325 = 165. Is (-6)/(-4)*w/21 prime?
False
Let j(p) = -2*p**3 + 3*p**2 - 3*p - 3. Let c(n) = n**2 + 14*n - 16. Let q be c(-15). Let a be (-4)/(4/4) + q. Is j(a) a composite number?
False
Let k(g) = -g**3 + 13*g**2 - 15*g - 16. Let j be k(14). Let f = 208 - j. Suppose -2 = -2*z, 6*v - 4*v = 4*z + f. Is v prime?
True
Let s(z) = 2*z**2 - 5*z + 1. Suppose -3*v - v = -2*k + 118, -2*v + 4*k = 56. Let c be (-18)/5 + 12/v. Is s(c) a prime number?
True
Suppose 2*g - 11419 - 4517 = 0. Suppose 8*b - g = -808. Is b a composite number?
True
Suppose -34 = -3*o - 4*i, i = -5*o + 29 + 56. Suppose 2*p = 8*p - o. Is 1/p - 3040/(-15) composite?
True
Is -4*-3*46/12 a prime number?
False
Suppose 5*t - 1416 = 479. Is t composite?
False
Let s(d) = -958*d - 29. Let v(l) = 319*l + 10. Let z(n) = -6*s(n) - 17*v(n). Is z(1) composite?
True
Let q(w) = -22*w**2 + 69527. Is q(0) a composite number?
True
Let q be 144/45 - 1/5. Suppose -5*v = 4*r - 2276 - 2965, -2*r = -q*v + 3149. Is v a prime number?
True
Suppose -570 = -2*d - 118. Suppose -m = -5*r - d, -3*m - 2*r = 3*r - 618. Is m a composite number?
False
Suppose -25612 = 80*u - 84*u. Is u prime?
False
Let u(s) be the second derivative of -s**5/4 + s**4/2 + s**3 - 2*s. Let i be u(-4). Suppose 76 - i = -4*y. Is y a composite number?
False
Suppose 3727 - 19532 = 5*k. Let s = 4706 + k. Suppose -4*n + s = n. Is n a composite number?
True
Let t(u) = 197*u + 89. Is t(4) a prime number?
True
Let k = 100370 + 37791. Is k composite?
True
Let t = -34 - -38. Is (60/(-16) + t)/((-3)/(-9444)) composite?
False
Suppose 1562 = 3*d + 647. Let i = 846 - d. Is i a composite number?
False
Let z = 14532 - -1345. Is z composite?
False
Let z = -2593 - -4507. Let y = z + -1201. Is y a composite number?
True
Let b = 52 + -75. Let o(z) = -z**3 - 23*z**2 - 7*z - 4. Is o(b) composite?
False
Suppose -z - 5*z = -24. Is 43/z*(-40)/(-10) a prime number?
True
Let c(x) = 2*x**3 - 14*x**2 + 6*x - 25. Suppose 7*s + 55 = 12*s. Is c(s) composite?
False
Let c(g) = 53*g - 31. Let m(u) be the third derivative of 79*u**4/24 - 47*u**3/6 + 10*u**2. Let n(j) = -8*c(j) + 5*m(j). Is n(-4) a composite number?
True
Suppose 20 = -3*j - j. Let w be 10*(0 - 3/j). Suppose w*y = -4*h + y + 666, -4*h + 672 = 2*y. Is h a composite number?
True
Let c(q) be the first derivative of -91*q**2/2 - 100*q - 19. Is c(-23) a composite number?
False
Is 272034/54 + (-12)/(-9) a prime number?
True
Let k(t) = -t. Let p be k(1). Let o be p - 1*32*9. Let x = -128 - o. Is x composite?
True
Suppose -5*m - 2 = 3. Is ((-3784)/3 - (-1)/3)/m a composite number?
True
Suppose 23966 = -33*y + 79*y. Is y a prime number?
True
Suppose -3*s = 5*z - 5764, 0*s - 9575 = -5*s - 2*z. Is s prime?
True
Let u(g) = -102*g - 7. Let v(a) = 205*a + 15. Let h(f) = -13*u(f) - 6*v(f). Is h(3) prime?
False
Is 14036640/(-120)*(-2)/8 prime?
True
Suppose -s - y = 2*s + 73, 3*s = 3*y - 69. Let a be 3/5 - s/10. Suppose h - 215 - 133 = -5*r, -a*h - 2*r = -1109. Is h a prime number?
True
Suppose -j = j - 2*u, -j - 4*u = 0. Suppose i = 5*b + 16, -b + 4*i + 9 + 3 = j. Is b + (1 - -70) - 0 a prime number?
True
Suppose -1138*q - 251469 = -1147*q. Is q composite?
False
Let l be ((-10)/8)/(1/(-4)). Suppose -12 = 3*o, -h + 11 = l*o - 6. Is h prime?
True
Let y(j) = -j**3 + 5*j**2 - 5*j + 19. Let l be y(5). Let i(s) = 25*s**2 + 4*s + 1. Is i(l) a prime number?
True
Let t(p) = -784*p - 11. Is t(-8) composite?
True
Let w be ((-58)/4)/(3/(-6)). Suppose 79 = -2*a + w. Let j = 80 + a. Is j composite?
True
Suppose -5*q = -5*c - 2805, 959 + 167 = 2*q - c. Suppose 3*s - 356 = q. Is s a prime number?
True
Suppose -2*x + 7 = -3*h, -x - 4*h - 17 = 4*x. Let s(p) = 808*p**2 - 1. Is s(x) prime?
False
Is (6*2746/8)/((-6)/(-4)) prime?
True
Suppose -14805 = -2*u - 5*q + 410, -4*q + 15218 = 2*u. Is u prime?
False
Let v = -851 - -433. Suppose 5*q - 415 = -0*p + 2*p, -2*p - 395 = -q. Let r = p - v. Is r a prime number?
True
Is 4475/2 + -3*1/6 a composite number?
False
Let h(a) be the second derivative of 5*a**4/3 + 5*a**3/6 - 3*a**2/2 + 10*a - 2. Let f be (-3)/(-2) + 2/4. Is h(f) composite?
True
Suppose 4*z - 5*o = 1087, -o - 3 + 4 = 0. Suppose 2*u = -8, -163 - 121 = -2*y - 2*u. Let b = z - y. Is b a composite number?
False
Let o be -2*(-4 + 8) + 1. Let z(c) = 2*c**3 + 15*c**2 - 2*c - 8. Is z(o) a prime number?
False
Let l = 10816 - 6155. Is l a composite number?
True
Let s(k) = -k**3 + 9*k**2 - k + 4. Let d(w) = w**3 - w**2 - 4*w. Let m be d(3). Is s(m) prime?
False
Suppose -14*p = -103674 - 6968. Is p a prime number?
False
Let q(w) = -w**3 + 11*w**2 + 11*w + 10. Let i(o) = -3*o + 2. Let x be i(-3). Is q(x) a composite number?
False
Let h(w) be the second derivative of -4*w**3 + 11*w**2 + 14*w. Is h(-21) a prime number?
False
Suppose -50 = 3*r - 4*r + 