1*t + 13715. Is t composite?
True
Let r(l) = 17*l + 21. Suppose 3*y - y = 4*z + 54, -3*y = -2*z - 85. Let s = y + -13. Is r(s) a prime number?
True
Let p(c) = 3*c**3 + 2*c**3 - 2 - 2*c**3 + 3*c**3 - c + c**2. Let j be p(2). Let a = j + 79. Is a a prime number?
True
Let v(s) = 76*s - 7. Let o be v(2). Is 6*-1*o/(-10) a composite number?
True
Let m(n) = -20*n + 5. Suppose -4*o + 15 = a - 6*a, -4*a + 19 = 3*o. Let t be a/(15/(-12) - -1). Is m(t) composite?
True
Let n(b) be the first derivative of -73*b**2/2 + 2*b + 69. Let k(g) = -g**3 - 3*g**2 - 2*g - 3. Let p be k(-2). Is n(p) a prime number?
False
Let u(f) = -f**3 + 29*f**2 + 44*f - 15. Is u(17) prime?
True
Suppose 6*o = 2*o + 4*m - 12, -4*m = -2*o - 12. Let r(i) = -i**3 + 641. Is r(o) a composite number?
False
Suppose 5*s + r = 577 + 811, -5*r = 3*s - 824. Suppose 2*f - s = 516. Is f a composite number?
False
Let b = -1188 - -1322. Is b prime?
False
Let x = -189 + 11075. Suppose 5*f + 0*f + 2188 = h, -2*f + x = 5*h. Suppose -h + 614 = -4*s. Is s composite?
True
Let p = -15 + 17. Suppose 2*x = 3*x - 253. Suppose b - y = x, -y - 506 = -p*b - 2*y. Is b prime?
False
Let z = 46467 + -31550. Is z composite?
True
Let r be (-2)/5 - 454/(-10). Let x = r + 82. Is x a composite number?
False
Let v(b) = 32*b**2 + 7*b - 4. Let l be v(-2). Let f = l - 71. Is f a prime number?
False
Let s(g) = 5*g**2 + 101*g + 107. Is s(-34) prime?
False
Let g(u) = 16*u - 4. Let r be g(5). Suppose -2*q = -2*m + q + r, 2*q = 2*m - 80. Let i = m - -9. Is i a composite number?
False
Let b = 65 + -111. Is 1 - (18 - 2)*b prime?
False
Suppose -372995 - 363530 = -25*q. Is q prime?
False
Let o(i) = 8*i**2. Let q be o(1). Let d(l) be the second derivative of 17*l**3/6 - 9*l**2/2 + 11*l. Is d(q) a composite number?
False
Let n = 6864 + -4385. Is n a composite number?
True
Let m = -35 + 38. Suppose -n - 769 - 1692 = -5*j, -m*j + 5*n = -1459. Is j prime?
False
Suppose -7*g + 3*g - 64 = 0. Let d be g/(-6)*(-36)/8. Is -2*(-3)/d*-694 composite?
False
Suppose 12*y + 110741 = 4*a + 17*y, y = -a + 27686. Is a a prime number?
True
Let u = 24 - 6. Let f = u + -15. Suppose -5*y - 312 = -3*j - 2*y, j - 100 = -f*y. Is j a composite number?
False
Let v be (-94)/(0 - 6/300). Suppose -2396 = -4*h + v. Is h composite?
True
Let k = 15 + 59. Let s = 147 + k. Is s composite?
True
Is (-756520)/(-50) - 2/(10/(-3)) a composite number?
False
Let l = -15656 - -39013. Is l a composite number?
False
Let o = -135843 + 204706. Is o prime?
True
Let c(q) = -39*q**2 - 3*q + 14. Let u be c(-5). Is 2/1*u/(-4) composite?
True
Let o(v) be the first derivative of -445*v**2/2 - 6*v + 4. Let l be o(-5). Suppose 4*w - l = 3*w. Is w prime?
False
Let p be (-15)/35 + 850/7. Let s = p + 322. Is s a prime number?
True
Let z(y) = -y + 0*y + 89 + 0*y + 20. Let r be 0*(-1 - (-2)/4). Is z(r) a prime number?
True
Suppose -5*b + 2 + 13 = 0. Suppose 0 = j, 3*g - j = -b*j + 12. Suppose 0 = g*a - 61 - 135. Is a prime?
False
Suppose -180 = -f - 3*n, -f + 0*n + 5*n = -148. Is 3/2*f/18 prime?
False
Let x = 424 - -79. Is 14/(-21) + x/3 a composite number?
False
Let o(i) = -2*i - 7. Let g be o(-5). Let q(l) = 13*l**2 + l + 0*l**3 - 12 + 3*l**g - 4*l**3 - 4. Is q(11) a prime number?
False
Suppose 14*b = 425374 + 20064. Is b composite?
False
Let a(b) = 9*b**3 - 4*b**2 + 3*b - 2. Let y be a(2). Suppose f = -2, -3*x + 2*f - 13 = -4*x. Let m = x + y. Is m composite?
True
Let b = -16 + 18. Is (439/b)/(3/6) a prime number?
True
Suppose -5*t - 5*u = -18085, 4*t - 3*u = 12134 + 2306. Is t prime?
True
Suppose 1290351 = 29*d + 22*d. Is d a composite number?
False
Let d(u) = -u**3 - u**2 + u + 204. Let k be d(0). Let h = k - 416. Is 3 - 2 - h - -2 prime?
False
Let p = -33 + 36. Suppose 2*v - 37 = -p*f, 5*v - f - 35 = 3*f. Is v a composite number?
False
Suppose -4*h + 26479 = -3*l, 2*h - 7877 = 3*l + 5364. Is h a composite number?
False
Let i(s) = s - 2*s - 7*s - 17 + 13*s**2. Is i(-6) prime?
True
Suppose -580 = -2*g - 2*a, 5*g + 2*a - 3*a = 1480. Is g a composite number?
True
Let s(l) = -5*l**2 + 32*l. Is s(5) a composite number?
True
Is 2*((-897)/(-6) + (3 - 6)) a prime number?
True
Let p(n) = n + 5. Let d be p(0). Is 6907/d + (-14)/35 a prime number?
True
Let g = 1880 + 4377. Is g composite?
False
Let a(i) = -i**2 + i + 3. Let k be a(0). Suppose 0 = 4*y + k*y - 4445. Is y prime?
False
Let w(y) = y**2 - 15*y - 20. Let i be w(17). Suppose 15*m = i*m + 391. Is m composite?
True
Let f(u) = u**3 - 6*u**2 - 6*u - 5. Let z be f(7). Suppose 5*q - 13 = -3*m, -2*m + 6 = z*q - 0*m. Is (1/3)/(q/84) prime?
False
Suppose -4*q = 3*q - 14. Suppose 2*a - 950 = -2*z, 3*a + 3*z + q*z = 1417. Is a composite?
False
Let i(x) = -x**2 - x + 34. Suppose -2*o + 4*w = 0, 4*o - 2*w = 2*o. Is i(o) a composite number?
True
Suppose -c - 189 = -30. Let b = c - -1496. Is b composite?
True
Suppose -b - 20 = -c - 3*c, -2*c - 4 = 3*b. Is (914/b)/((-2)/4) composite?
False
Suppose 22205 = -75*k + 80*k. Is k a composite number?
False
Suppose -5*q - 2*w + 62223 = 0, -111*w = -3*q - 106*w + 37309. Is q a composite number?
True
Suppose 47*a = 426768 + 1668445. Is a a composite number?
False
Let j(x) = 14*x - 13. Let n be j(-4). Let l = -249 - -143. Let o = n - l. Is o prime?
True
Suppose -2*v + 12 = 2. Suppose 5*r + 9 = -3*y, -v*r = -10*r - y - 3. Suppose 232 = -r*j + 4*j. Is j a prime number?
False
Let v(p) = -353*p - 4. Let a be (-2)/14 - 20/7. Is v(a) a prime number?
False
Suppose 224*q - 239*q + 69555 = 0. Is q prime?
True
Let d be 1/(-2) - 3/(-6). Suppose -i + 4*i = o - 18, -3*i - 3*o = 6. Is d + 214 + 15/i a prime number?
True
Let s = 2402 - -633. Is s prime?
False
Let b(p) = 6*p**3 + 2*p**2 - 8*p - 11. Is b(10) a composite number?
True
Let m be (-8)/(-4) + -2 + 5. Suppose -2*n = 5*p + 811, -m*n + n - 2*p = 1662. Is -2 - 0 - 1 - n composite?
True
Suppose j - 4*j + t + 14 = 0, 2*j + 3*t = -9. Suppose -3710 = 2*g + j*g. Is g/(-21)*6/4 a composite number?
False
Suppose 0 = -26*l + 53*l - 284283. Is l prime?
True
Suppose -3*u + 817 = -266. Let v = u - 579. Let b = -131 - v. Is b a prime number?
False
Let p = 1624 - -532. Let l = 3135 - p. Is l a prime number?
False
Let b be ((-2)/(-6))/(4/36). Suppose -5*c = 12 - 37. Is b - (c + -4 - 503) a prime number?
False
Let m = -1417 - -2359. Let y = 1861 - m. Is y a prime number?
True
Let v(r) = -3*r**3 + 4*r**2 - 4*r + 12. Is v(-13) prime?
True
Let f be (15/2)/5*-2. Let i(l) = -l**3 - 2*l**2 + 3*l + 2. Let c be i(f). Suppose -y = -4*m - 54, -c*y + 2*m = -7*y + 380. Is y composite?
True
Suppose -b = -4*b - 519. Let j = b + 391. Let m = j + 75. Is m composite?
False
Suppose -3*t - 15637 = -2*q, 3*t = -2*q - 14209 - 1432. Let z be (t/52)/((-1)/(-4)). Let f = -252 - z. Is f a prime number?
True
Let a(w) = -1. Let i(k) = -5*k**2 + 2*k - 5. Let f(o) = 4*a(o) - i(o). Let d = -674 + 666. Is f(d) composite?
False
Let x = -33 - -21. Let w be 6/(-9) - 20/x. Is w/3 - (-9620)/30 a composite number?
True
Suppose q - 12038 = 3*y, 3*q - 5*y = 7*q - 48237. Is q prime?
False
Let n(z) = 349*z**2 + 2*z + 44. Is n(-7) a composite number?
True
Is (-26)/(-65) - (-73626)/10 prime?
False
Suppose 3*n = 563 + 199. Is n composite?
True
Suppose 0 = -38*z + 33*z + 515. Is z composite?
False
Let i(y) be the third derivative of 11*y**5/60 + y**4/24 + 10*y**2. Is i(-1) a prime number?
False
Let r(l) = l + 4. Let w be r(0). Suppose 1 = -3*m + w, 4*m - 344 = -b. Suppose 8*n - 4*n = b. Is n composite?
True
Suppose -3*t = -1348 - 2735. Is t composite?
False
Let w(m) = 16*m + 119. Let k be w(-6). Suppose -5*b + 112 = 2*p, 0 = -3*p + 5*p - 4*b - 148. Let z = p - k. Is z prime?
True
Suppose -5 = -4*m + 15. Suppose -m*f = -162 - 2603. Is f a composite number?
True
Let j = -2 + 2. Let h(i) = i**2 - 3*i + 379. Is h(j) a composite number?
False
Suppose 0 = -g, z + 6*g + 296 = 7*g. Is 22/(-8)*(2*z)/4 a composite number?
True
Let v(w) = -4*w**3 - 4*w**2 - 3*w. Let j be 10/4*(-16)/20. Is v(j) composite?
True
Let c = -151 - -848. Let n = 1319 - c. Is n a prime number?
False
Let s be -2 - 0 - (0 - 0). Let j(r) be the second derivative of 4*r**4/3 + 2*r**3/3 + r**2 + 9*r. Is j(s) a prime number?
False
Suppose -u + 3*q = -14482, 54*u = 51*u - 4*q + 43407. Is u a prime number?
False
Let d = -12 - -10. Let s be (4/d)/(1/(-2)). Suppose -9 = 3*x, 