4*d(v) - 5*n(v). Let b be a(6). Suppose -7*q = -b*q + 958. Is q a prime number?
True
Suppose 13 = -5*w + 208. Suppose -w*s + 32*s + 17059 = 0. Is s a prime number?
True
Let q(r) = r**2 - 236 + 236 - r + 2333*r**3. Is q(1) a prime number?
True
Suppose -4*i + 20 = 0, -i - 268 = 14*h - 17*h. Is h a prime number?
False
Is (8 - 78/6) + 7126 prime?
True
Suppose -x + 616 = x. Suppose x = -3*r + 2999. Suppose -u - 2*u + r = 0. Is u composite?
True
Suppose -k - w + 14 = 0, -5*k + 82 = -2*w + 3*w. Let x(i) = i**2 - 3 - 2*i**2 - 16*i + i**3 - 15*i**2. Is x(k) a composite number?
True
Let m(z) = -z + 11*z**3 + 3*z - 1 - 4 + 8*z**3. Is m(6) a prime number?
True
Suppose -2*j + 3109 = -3*d, j - 5*d + 1574 = 2*j. Suppose 3*s + 0*f + 4*f - 4691 = 0, -f = -s + j. Is s prime?
False
Suppose -11*c + 146588 = 41*c. Is c composite?
False
Let u(i) = -1 - 6 - 2*i**2 - 5*i**2 - 3*i**3 + 4*i**2. Let r be u(-3). Let f = 15 + r. Is f a composite number?
True
Let h be (1 + -2)/(2/16). Let o(u) be the first derivative of u**3/3 + u**2 + 3*u + 40. Is o(h) a prime number?
False
Is 670359/45 - 46/(-345) prime?
True
Suppose 0 = h - 3. Let w(r) = -3 - 5 + h - 23*r + 2. Is w(-4) a prime number?
True
Let g(b) be the first derivative of b**6/120 + 7*b**5/60 - b**4/12 + b**3/2 + 7*b**2/2 + 9. Let y(f) be the second derivative of g(f). Is y(-4) prime?
True
Suppose 198185 = 1527*q - 1522*q. Is q composite?
True
Suppose -9*a = 4489 - 20086. Is a a prime number?
True
Let z(n) = n**2 + 6*n + 17. Let r be z(-19). Let s = -167 + r. Is s prime?
True
Let v = -2840 + 8329. Is v a composite number?
True
Let t(c) be the third derivative of -c**6/120 + c**5/5 + c**4/8 - 5*c**3/6 - 10*c**2. Let l be 3*8/3 + -3. Is t(l) prime?
False
Let r(v) = -374*v + 495. Is r(-26) a composite number?
True
Let w = 121 + -118. Suppose 6*r = w*r + 345. Is r composite?
True
Suppose -5*r - 190 = -0*r. Let j = -26 - r. Is (-2)/3 - (-620)/j a composite number?
True
Let i(j) = 4*j - 2*j - 2*j - 2*j + 30. Let p be i(14). Suppose -p*t + 2*k = -2*k - 2738, 3*k = 4*t - 5456. Is t prime?
True
Let a(y) = -y - 1. Suppose 0 = 3*q - 6 + 3. Let m(x) = 3*x**2 + 5*x - 5. Let d(t) = q*m(t) + 3*a(t). Is d(-9) prime?
False
Let o(l) = -l**2 - 9*l - 9. Let f be o(-6). Is f/3 - (-374 - 2) a composite number?
False
Let w(v) be the second derivative of -v**5/20 - v**4/2 - v**3 - 5*v**2/2 + 2*v. Let t be w(-5). Suppose 4*i - 540 = -4*u, -u + t*u = -3*i + 401. Is i prime?
False
Suppose -3*i + i = -898. Suppose -l - p + i = -0*p, 2241 = 5*l + 4*p. Is l prime?
False
Suppose -15876 = -3*i + 86007. Is i a prime number?
True
Let t = 19 + -19. Let b(v) = 2*v + 3. Let d be b(t). Suppose -d*s + 2*h + 2*h + 1009 = 0, 4*h = s - 347. Is s a composite number?
False
Let f = 3179 - 1880. Let d = 2330 - f. Is d composite?
False
Let o(a) = -a**2 + 13*a + 14. Let s be o(13). Suppose s*x = 13*x. Suppose 4*r = x, 0*f + 3*f - 5*r - 111 = 0. Is f a prime number?
True
Let s = -1813 + 5300. Is s composite?
True
Let w = 3780 - -5135. Is w a prime number?
False
Let o be ((-2)/(-4) + -1)*-12. Suppose -18 = -w - 4*w + 4*u, -2*u - o = -w. Suppose -127 = -2*a - 5*b + 2, -5*a - w*b + 333 = 0. Is a prime?
True
Suppose 32 = -6*l + 164. Let n = l - 26. Let u = 195 + n. Is u a prime number?
True
Is (-5)/(-4) - (-23517)/268 a prime number?
True
Let o(k) = 3*k**2 - 4*k + 1949. Is o(0) prime?
True
Suppose 5*i = -10736 + 2226. Let j = -411 - i. Is j composite?
False
Suppose j - 2*j + 12 = 0. Let r(l) = 2*l - 14. Let o be r(j). Suppose -9*v - 149 = -o*v. Is v prime?
True
Let x(b) = 8*b**2 + 6*b. Let f(r) = -r**3 - 7*r**2 - 5*r + 1. Let s(k) = 3*f(k) + 2*x(k). Is s(-4) a composite number?
False
Let d(k) = k + 3. Let u be d(-3). Suppose 5*m + 132 - 562 = u. Is m composite?
True
Let p(g) = -604*g - 37. Is p(-6) a composite number?
True
Let j(c) = -c**3 + 9*c**2 + 9. Let i be j(12). Suppose -2*b - 5632 = -7*b - 4*q, -b - 5*q + 1139 = 0. Let d = i + b. Is d a composite number?
False
Let v(g) = -14*g - 38. Let q be v(-3). Suppose 808 = 4*i - q. Is i a prime number?
False
Let a(b) = 23*b**2 - 10*b + 74. Is a(9) composite?
False
Let b(x) = -10*x**3 - 30*x**2 - 29*x - 128. Is b(-21) a composite number?
False
Let u = 80 - -31. Suppose -2*w - 5*g - 1 + 61 = 0, 3*g = 3*w - u. Is w prime?
False
Let x = 4 + 1. Suppose 52 + 70 = 2*s - 4*d, -x*d = 2*s - 149. Suppose -4*q = -5*q + s. Is q a prime number?
True
Let z be ((5 - 11)/(1 - 2))/2. Suppose 5*k = 5*a - 11970, z*k + k - 2369 = -a. Is a a composite number?
False
Let j(g) = g**3 - g. Let n be j(1). Let y = n + -4. Is 1145/9 + y/18 a composite number?
False
Let z(t) = 113*t + 4. Let f be z(-2). Let k = f - -967. Is k composite?
True
Suppose 3*d + 5 = 11. Suppose 0 = d*n + 13868 - 722. Is (-4)/24 - n/18 a composite number?
True
Let z(i) = -i**2 + 20*i + 20. Let g be z(21). Is (((-94)/3)/g)/((-2)/(-33)) composite?
True
Suppose 2*w - 5*o = 4, 3*w + 5*o = -0*o + 6. Let p(j) = -j + 10. Let n be p(3). Suppose w*b - n*b = -515. Is b prime?
True
Suppose -v = -5*y - 2, -18 = -2*v - 2*y - 2*y. Suppose v*w = w - 4590. Let x = -298 - w. Is x prime?
True
Suppose d + 14*d = 77115. Is d composite?
True
Let t = -6772 - -9785. Is t a prime number?
False
Let q(v) = 21*v**2 + v - 1. Let u be q(2). Suppose 3*b - 4*b - 2*l + u = 0, -5*l + 252 = 3*b. Is 1*b*(-3 + 4) a composite number?
False
Let q be (-16)/48 - (0 + (-3838)/3). Let x = -742 + q. Is x a prime number?
False
Let s(o) = 209*o**3 - 5*o**2 + 35*o + 7. Is s(4) composite?
True
Let y = -18 - -13. Let x(u) = -62*u + 7. Is x(y) prime?
True
Let p be 1/((-1)/(-4))*2. Suppose -p = -6*f + 10. Suppose -2*n + 649 = -f*h, -2*n + 4*h + 629 = 5*h. Is n prime?
True
Suppose 3 = -4*k + 3*v, 0*k - 8 = -k - v. Suppose -6 = k*c - 0*c. Is 1/c + (-969)/(-6) prime?
False
Let j(n) = 467*n - 2. Let v(f) = -2*f + 29. Let a be v(12). Is j(a) a composite number?
False
Let h(z) = 223*z**3 + 7*z**2 - 11*z + 29. Is h(4) prime?
True
Let h be 9/4*-2*(-1 + 11). Let z = 586 + h. Is z a prime number?
True
Suppose -13*i + 23031 = -4*i. Is i composite?
True
Let b = 783 - -10154. Is b composite?
False
Let k(d) = 2*d**2 - 19*d + 13. Let v be k(9). Let l(h) = 14*h**3 - 8*h**2 + 10*h - 1. Is l(v) prime?
False
Is (-3 - (9 - 4)) + 20751 composite?
False
Let v(c) = -c - 2. Let n be v(-2). Suppose 7*a = 3*a + q + 11, -a + 2*q = 6. Suppose b + 577 = a*g, n = g - 3*g - 5*b + 261. Is g a composite number?
True
Suppose 5*s = 2*s. Suppose 0 = 5*l - h - s - 23, 2*h + 6 = 0. Suppose 0 = -l*j + 679 + 349. Is j a prime number?
True
Suppose 1786 = 5*s - 219. Suppose 83 = -6*t + s. Is t composite?
False
Suppose -2*h = -0*o + 2*o - 1920, 0 = 2*h - 3*o - 1915. Suppose 0 = -5*d + h + 486. Is d composite?
True
Let r(b) = -b - 5. Let n be r(-10). Suppose n*o - 3*o = 350. Suppose -5*x = -10*x + o. Is x a composite number?
True
Let s be -12*(-4)/8 - 1. Suppose s*t - 2*t = 3507. Is t prime?
False
Let n = 13 - 16. Is 56 + (3/n - 2) + 2 a composite number?
True
Let w = -753 - -1312. Is w prime?
False
Let a(c) = -62*c - 127. Is a(-24) prime?
True
Let n(j) = j**3 - j**2 + 4*j - 8. Let m be n(0). Is (-17284)/m + 1/2 composite?
False
Let n = 69689 + -49008. Is n composite?
False
Suppose -131125 - 7473570 = -85*l. Is l prime?
False
Is 1 + 5 + 0 - (-4217 + -4) prime?
False
Suppose 36 = c - 7*c. Let p(r) = -312*r + 43. Is p(c) prime?
False
Suppose 2*y - 5 = -5. Suppose 2*q - 3*h = -0*q + 1679, y = -4*q - 2*h + 3366. Is q a prime number?
False
Suppose -4*n + 160008 = 3*h, 0 = -0*h - 4*h + 5*n + 213344. Suppose -4*u = -h + 21396. Is u a composite number?
True
Let b = 1587 - 220. Is b prime?
True
Let b = 14766 - 8820. Suppose 0 = k + 5*t - 2000, 0 = 3*k - t - 2*t - b. Is k a composite number?
True
Let l be (-7738)/(-4) + (-1)/(-2). Let y be 3/(-6) + 103*(-188)/(-8). Suppose 6*u - y = -5*m + u, 4*m + 5*u = l. Is m a prime number?
False
Let g be 129/(-2) - (-21)/42. Let t = g + 98. Is t a prime number?
False
Suppose 3*r + r = 12. Suppose r*u - 55 - 60 = -2*m, -3*u = -2*m + 121. Is m a composite number?
False
Let n = 3045 + 3729. Let m = -3755 + n. Is m composite?
False
Let h = -27 - -26. Is 94*(0/1 - h) prime?
False
Let h be (-91)/(-35) + 4/10. Suppose h*q = -5*a - 49, q + 4*q + 31 = -2*a. Is (a/(-12))/(4/318) prime?
True
Let x be -26 + (-1)/(-1)*-2. Let c be (-153)/2*x/21. S