d(n) = -642*n - 42. Let t be d(-13). Is 0 - ((-6)/15 - t/15) prime?
False
Let v = 66 + -25. Let a = v + 12. Is a prime?
True
Suppose -k = -5*k - 592. Let g be 8 - 11 - (1 + 95). Let x = g - k. Is x prime?
False
Is ((-196)/28)/(2/(-2498)) composite?
True
Suppose -q + 0*q = -3*j + 5, -2*j - 5*q = -26. Suppose -2*n + 7*f - 2*f - 225 = 0, 0 = j*n + f + 363. Let y = -37 - n. Is y composite?
False
Let l = 6233 + -4328. Suppose -3*x - l = -6*x. Is x a composite number?
True
Suppose -47*p + 16*p + 297569 = 0. Is p a prime number?
False
Let z(i) = -1. Let l(k) = 6*k + 11. Let a(s) = -l(s) + 5*z(s). Let j be a(-11). Let n = 3 + j. Is n a prime number?
True
Suppose -4*b = 0, 6*c - 3*b - 9 = 3*c. Suppose -c*t = -1 - 14. Suppose -2*f - f = 5*x - 1468, 2*x = t*f + 581. Is x prime?
True
Is 16735*((-20)/25)/(-4) a composite number?
False
Let x(w) = 158*w + 16. Let u(k) = k - 1. Let f(j) = -8*u(j) - x(j). Is f(-7) composite?
True
Let f(i) = 92*i**2 - 23*i + 75. Is f(-10) prime?
False
Let i(z) = z + 7. Let g be i(0). Let l(p) = -p**2 + 7*p - 2. Let o be l(g). Is (-36)/(-4) + 0 - o a composite number?
False
Let c(j) = -9837*j + 197. Is c(-2) a prime number?
False
Suppose -73*b + 2*b = -5457841. Is b a prime number?
True
Suppose 6*z - 50010 = -4*z. Is z composite?
True
Let y(q) = -2*q**2 + 30161. Is y(0) a composite number?
False
Suppose 3*p - 2823 = -r + 5*p, 0 = 3*r - p - 8489. Suppose -i + d - 2*d = -941, -5*d + r = 3*i. Is i a prime number?
True
Let f(w) = -10*w**3 - 12*w**2 - 12*w + 13. Is f(-7) a composite number?
False
Let r(t) = -14*t**2 + 4*t**2 + 4 + 5*t**2 + 6*t**2 - 9*t. Is r(10) a composite number?
True
Let d(v) = 6*v**2 - 19*v - 147. Is d(34) prime?
True
Let z(j) be the first derivative of 15*j**2 - 5*j + 5. Is z(2) composite?
True
Let t(z) be the second derivative of -85*z**3/6 + 44*z**2 - 21*z. Is t(-9) a prime number?
True
Let y be 37180/15 + 1/3. Suppose 2*z = 7*l - 5*l - 990, 5*z = 3*l - y. Let u = -246 - z. Is u composite?
False
Let x(o) = 3*o**2 - 15*o - 78. Let n be x(-8). Suppose q + 3*q = 12. Suppose -215 = -3*b - 5*m + 27, -3*b + q*m + n = 0. Is b a prime number?
True
Suppose -28596 - 287489 = -35*u. Is u a composite number?
True
Suppose 3*u - 15 = 0, -5*u + 3 = -l - 3*u. Suppose l*r - 545 = 246. Is r a prime number?
True
Let u(t) be the first derivative of 99*t**5/5 - t**3/6 - 8*t - 8. Let n(m) be the first derivative of u(m). Is n(1) prime?
False
Let p be (-2 - -5)*(10 - 1). Let u be (6/9 + -1)*-3. Is 7920/p + u/(-3) composite?
False
Let i = -23616 + 39057. Is i a composite number?
True
Let q be (10/25)/((-2)/(-140)). Let z = -26 + q. Suppose -3*i - 2*b - z*b + 2029 = 0, 0 = 3*b + 6. Is i composite?
True
Let l be 8 + -1 - (-3 + (6 - -1)). Suppose -l*b = 5*p - 2553, -2*b + 3*p + p + 1702 = 0. Is b a composite number?
True
Let k be 1/(-4) - 221741/(-52). Suppose -d = 4*t + k, 2*d = 3*t - 5*t - 2132. Is t/(-18) - 2/9 prime?
True
Suppose -2*u + 4 = 2*u, -d + 184 = 3*u. Let x = d - 43. Suppose o = -5*t + 23, -46 = 4*o - t - x. Is o a prime number?
True
Let c = 15 + -12. Let r be -3 - (-12 + 3) - c. Suppose 0 = -r*h + 363 + 306. Is h composite?
False
Suppose -2*l = -2*o + 100, 0 = 2*o + 2*l + l - 115. Let b = -100 + o. Is 2*(-2 - b/2) composite?
False
Let q = 22 + -21. Suppose -1 = -2*c + q, 3*n - 260 = -5*c. Let w = n + -51. Is w prime?
False
Is 154/88 - (-410031)/12 composite?
False
Suppose a - 3*z - 3635 = 0, -a = 2*z - 999 - 2646. Is a a composite number?
True
Let y(t) = -41*t + 11. Let r(p) = p - 4. Let n be r(5). Let l be (-12)/(-18)*n*-9. Is y(l) a prime number?
True
Let y(r) = -r**2 + 2*r - 15328. Let z(x) = -x**3 - 6*x**2 + 5*x - 14. Let k be z(-7). Let l be y(k). Is (-2)/6 + l/(-12) prime?
True
Let b(s) = s**2 - 2. Let h be b(-3). Let p be 2/(-1) + (-14)/h. Is (0 + 114)*p/(-8) a prime number?
False
Suppose -2*v + 27551 = 3*z, -z + 5492 = 3*v - 3694. Is z a composite number?
True
Let z(u) = -u**3 - 2*u**2 + 10*u**2 - 4 - 5 - 8*u. Let w be z(7). Is (-1428)/w - 2/8 a prime number?
True
Suppose 3*m - 15 = 0, -2104 = 2*n - 4*m + 442. Let v = -870 - n. Is v prime?
False
Is 3 + -1 + (-183287)/(-23) a prime number?
False
Let k be -10*(162/(-15))/6*-1. Let n be (31/3)/(2/(-24)). Let s = k - n. Is s composite?
True
Suppose -3*j - 126 = -9*j. Is j prime?
False
Is ((-9082)/95)/(12/(-1230)) prime?
False
Let r = -524 + -334. Let u = r + -264. Is 4/(-10) + u/(-30) a composite number?
False
Let k = 0 - -3. Suppose -2*w - k*h - 73 = 3*w, -3*h = 4*w + 56. Let b = 123 + w. Is b composite?
True
Suppose -5*g - 21918 = -4*b, -2*b - 3*g + 2*g + 10952 = 0. Suppose -2*y + 3381 = 5*t - 10322, 2*t - b = -5*y. Is t a composite number?
False
Suppose -5*b - 15 = 0, 4*q + 3*b - b + 6 = 0. Is (2 + q)/(-8) - 1192/(-32) a composite number?
False
Is (2*3/(-18))/((-2)/7692) a composite number?
True
Let w be 7/((-28)/12) + 4. Is 1280/6 + w/(-3) a prime number?
False
Suppose 10*y + 3382 = -108. Let w = -192 - y. Is w prime?
True
Suppose 9*o - 57083 = 5*o - 3*f, -6 = 2*f. Is o composite?
True
Let j = 2059 - 676. Suppose -17*y + 2170 = -j. Is y prime?
False
Let f = 4 + 9. Suppose 6*q - q = -s + f, 2*s = 4*q + 26. Is s composite?
False
Let k = -12387 + 20674. Is k prime?
True
Suppose 5*y + o - 22 = 0, 4*y + o = 5*o + 8. Let z(x) be the first derivative of 3*x**4 - 4*x**3/3 - 5*x + 1. Is z(y) a composite number?
True
Let x(v) = v**3 + 8*v**2 + v + 8. Let c be x(-8). Suppose 12 = -c*t + 4*t. Suppose 2*i = t*i - 253. Is i a composite number?
True
Suppose 0 = -2*t + 5*q - 374, 2*t - 3*q = -2*q - 358. Is (-5 + 1)/(((-36)/t)/(-6)) a prime number?
False
Let w = 64730 - 37909. Is w a composite number?
False
Let o(z) = z**3 + 14*z**2 + 3*z - 7. Let c(k) = -k**3 - 7*k**2 - 2*k + 3. Let i(n) = 13*c(n) + 6*o(n). Is i(-5) prime?
False
Suppose 123673 = 14*m - 3*m. Is m composite?
False
Let u = -146 - -517. Let h = -148 + u. Is h composite?
False
Let x(z) = -468*z**3 + 4*z**2 + 3*z - 17. Is x(-4) composite?
True
Suppose -2*i + 4*i = -0*i. Suppose i*a - 6*a = -5262. Is a a composite number?
False
Let d(c) = 17*c**3 + 2*c**2 - 2*c + 3. Suppose -9*i - 9 = -12*i. Let k be d(i). Suppose z - 28 = k. Is z composite?
True
Let d = 44 - 42. Suppose d*x - 25 = 45. Is x a prime number?
False
Let x(b) = b**3 + 4*b**2 - b - 8. Let z be x(-3). Suppose r - 433 = 52. Suppose z*o = -o + r. Is o a composite number?
False
Suppose 0 = 3*z - 5*z. Let a be (z + 28/8)*22. Let v = 240 - a. Is v a composite number?
False
Let c = 13 - 13. Suppose -5*b + 2*r = 3*r + 102, c = -b - 2*r - 24. Is 4/10 - 4652/b a composite number?
False
Let o(m) = m**2 + m - 4. Let l be o(-3). Suppose -l - 122 = -2*c. Let g = 115 - c. Is g prime?
True
Let u(m) be the third derivative of -425*m**4/24 + m**3/3 - 3*m**2. Is u(-1) a composite number?
True
Let f(z) = z**3 + 3*z**2 - 12*z + 2. Suppose -4*s + 2*l + 6 = -8, -4 = -s + l. Suppose -4*u + s*m = -6 - 27, 4*u - m = 27. Is f(u) a composite number?
True
Suppose 69121 = 17*c - 4*c. Is c a prime number?
False
Let g = 474 + -300. Suppose 0 = l + l - 6, 4*l - g = m. Let i = m + 469. Is i a prime number?
True
Let q(d) = -d**2 + 11*d - 5. Let o be q(10). Suppose -2*c - 4377 = -o*c. Is c composite?
False
Suppose 1372 = 3*z + 37. Suppose -2*b = -z + 63. Is b prime?
True
Suppose -10 = -2*l, 3 = -3*j + 5*l - 10. Suppose j*z = -3*m + 186, 0*m - 2*z - 62 = -m. Let a = m + -31. Is a a prime number?
True
Let q = 3 + -11. Let k be 18*(3 - q/(-4)). Is (-29582)/(-126) + 4/k a composite number?
True
Suppose -4*r = 4*h - 366488, 5*r - 8*h = -6*h + 458103. Is r composite?
False
Let y(l) = 3366*l + 545. Is y(16) a prime number?
True
Let n be (278/(-1 + 0))/((-2)/(-1)). Let b = 168 - n. Is b composite?
False
Let v(y) = -65*y - 37. Let b be (28/16)/((-1)/(32/2)). Is v(b) composite?
False
Suppose 0 = -6*t + 7717 + 14897. Suppose -q + 220 = -5*z - 1027, -3*q + t = -z. Is q composite?
True
Let c = 934 + -429. Suppose -3*q + 629 = 5*j - q, -4*j - q = -c. Is j a prime number?
True
Let l(d) = d**2 - 6*d - 37. Is l(30) composite?
False
Suppose 298 = 6*w + 76. Is w a composite number?
False
Let p = 340 - -3861. Is p a composite number?
False
Let r(x) be the second derivative of x**4/2 - x**3/2 - x**2 - 9*x. Let k be r(-2). Let t = 27 + k. Is t a composite number?
True
Let v be (-2)/(-3)*(-7 - -10). Suppose 30 =