*2 - 15*x - 5. Let d be k(7). Let f = 162 - d. Is f prime?
True
Suppose -y - t + 68 = -124, 740 = 4*y - 3*t. Suppose -366 = -2*n + y. Is n a composite number?
False
Let r = -242 + 68. Let l = r - -589. Suppose -8*s = -3*s - l. Is s prime?
True
Suppose -3*u - 3*k = k - 1, u + 2*k = 3. Is (-1)/u + 12784/5 composite?
False
Is (10/30)/((-4)/(-816276)) prime?
True
Suppose 63332 = 2*m - 2*d, 5*m - 158338 = 5*d - 8*d. Is m a composite number?
False
Let h(k) = -32*k + 16*k + 19*k + 97*k**2 + 1. Is h(-3) composite?
True
Suppose -u - 2*u = 21. Let k(y) = -4*y + 5. Let q be k(u). Is q/(-2)*(-16)/24 prime?
True
Let b = 17038 - 11459. Is b a prime number?
False
Let f(r) = 8*r**2 - 3*r + 2. Suppose 0 = 9*c + 15 + 12. Is f(c) a composite number?
False
Let i(v) = -5*v**2 + 10*v - 12. Let z be i(-8). Let q = z + 993. Is q prime?
False
Let k(u) = 3*u**3 + u. Let x be k(1). Suppose -4*d + 6985 = -67. Suppose 2*t - x*t = -5*p + d, -4*p = -2*t - 1410. Is p a prime number?
True
Let k = -530 + 1764. Let s = -735 + k. Is s prime?
True
Suppose 0 = -4*h - 0*h - 12, -4*v + 31 = -5*h. Suppose 10*p - 5*p = 3*w + 56, -2*p - v*w + 12 = 0. Is p a composite number?
True
Let o(b) = b**2 - 11*b + 26. Let g be o(12). Is (-95)/g*674/(-5) a prime number?
True
Suppose -1630 + 510 = 2*r. Let b = r - -1449. Is b a prime number?
False
Suppose 5*o - 19482 = -517. Is o composite?
False
Let u(o) = 7*o**2 - 3*o + 6*o**2 - 10*o**2. Let h be u(2). Let w(y) = 25*y - 5. Is w(h) composite?
True
Suppose 2*y - 70838 = -4*x, -4*x + y = 6*y - 70853. Is x a prime number?
True
Let j(g) = 366*g - 323. Is j(30) a composite number?
False
Suppose 0 = -5*g + 22 - 7. Suppose -3736 = -6*l + 2*l - g*q, 0 = 4*l + 5*q - 3736. Suppose 5*j - l = 21. Is j prime?
True
Suppose 336 = 3*y - y. Suppose 0 = -13*q + 5*q + y. Is q a composite number?
True
Let h be (530 + 1)*2*1. Let o be 4 + 1/((-5)/(-2))*-5. Suppose -h = -o*c - 4*c. Is c prime?
False
Let p = 21 + -16. Suppose 0 = -2*x + p + 7. Suppose 4*w = x*w - 164. Is w a prime number?
False
Let b be 0/(1 - 8/4). Suppose 3*o - 4294 - 6989 = b. Is o a composite number?
False
Let o = 11 - -11. Is (6 - 5)*277*o/2 prime?
False
Suppose -619*b = -620*b + 51361. Is b a composite number?
False
Let v(s) = 787*s**2 - 8*s + 8. Is v(1) a composite number?
False
Suppose 0 = 3*s - 27 + 30, i + 5*s = 21630. Is i a prime number?
False
Suppose 3*x + 5 = 4*x. Suppose z - 647 = -2*j + 350, -x*j + 2491 = 2*z. Is j prime?
False
Let g be ((-6)/11)/3 + (-1836)/(-297). Is (-3)/g*4*149/(-2) prime?
True
Suppose -3*s = -0 + 12. Let n be 4*(0 - s/2). Suppose 0 = 5*y + n - 193. Is y a composite number?
False
Let z be (-7)/((-84)/(-18)) + (-29)/(-2). Suppose -z*m + 18*m = 7805. Is m a prime number?
False
Suppose -5*o + 633 = -2*o. Is (0 + (1 - -7)/4)*o prime?
False
Let t(i) be the second derivative of i**6/360 - i**5/20 + i**4/8 - i**3/6 - i. Let w(v) be the second derivative of t(v). Is w(8) a prime number?
True
Suppose -24*y = -31*y + 33481. Is y a prime number?
True
Let c(r) = -3*r**3 - 2*r + 2. Let a be c(2). Is (-13)/a - (-133)/2 a prime number?
True
Let j be (-14)/(-49) - (2 - 40/7). Suppose 9020 = 4*d - 4*g, 2*d + j*g = d + 2245. Is d prime?
False
Suppose 0 = 3*p - 9*p. Is (-2147)/(-7) + p - 10/(-35) a prime number?
True
Suppose 0*a = 4*a - 4. Is (a/4)/((-15)/(-44340)) composite?
False
Let o(u) = -u - 4*u - 5 + 3*u**2 - 2*u**2 - 4*u. Let b be o(-6). Let x = b - 14. Is x a composite number?
False
Suppose c + 12 = 4. Is 2 + c + 3 + (2955 - -1) composite?
False
Let i = 17251 + -10182. Is i a prime number?
True
Let u = 1295 + -340. Is u a composite number?
True
Let r(h) = 15*h**2 + 7*h + 9. Let k be r(-4). Let n = 432 - k. Is n a prime number?
True
Let y be 17 - (4 + 0 - 8). Let n be (-102)/(-4)*1064/y. Suppose -3*l - r - 3*r + 765 = 0, 5*l = -r + n. Is l a prime number?
False
Let m = 290 - -1181. Is m prime?
True
Is (3 + (-20)/6)/((-6)/233622) composite?
False
Let r(q) = 1368*q**2 - 2*q - 1. Let n be r(2). Suppose -3*h = -n + 1981. Is (h/(-2))/(-10 + 9) a composite number?
True
Suppose 2236 = -65*o + 66*o. Suppose b = o + 1401. Is b a prime number?
True
Suppose 9 = 2*o + o, 5*o = 4*q + 2963. Let v = q + 1068. Is v a composite number?
False
Suppose -3*a = 5*j - 3198 + 557, 0 = 5*a + 3*j - 4423. Is a composite?
False
Let u(a) = 1304*a - 7. Let y be u(3). Suppose -5*r + 5*n = -y, -2*r = 5*n - 1244 - 353. Is r/(3 - 1) + 4 prime?
True
Let u = 72 - 47. Suppose 5*o + 0 - 13 = -2*a, -5*o - u = 0. Is a prime?
True
Let i be -3 - (2/(-10) - (-624)/(-5)). Let y = i + 27. Is y a composite number?
False
Is -6 + 3 - 0 - (-22592)/4 composite?
True
Suppose 0 = -17*g + 8885 + 179900. Is g prime?
False
Suppose -4*t - 5*t - 8127 = 0. Is t/102*-6 - 10/85 prime?
True
Let z(g) = 9*g**2 - 27*g - 3. Let u(r) = 4*r**2 - 13*r - 1. Let n(d) = 7*u(d) - 3*z(d). Let y be n(10). Is (129 - 5) + (-2)/y a prime number?
False
Let r = -134 - -857. Suppose r = 3*d - 3*g, 2*d + 0*g - g - 483 = 0. Is 4/(-34) - d/(-34) prime?
True
Let c be (-6)/(-4) + (-15)/10. Is -46*(1 - 9) + 3 + c composite?
True
Suppose -5*k = u + 5569, -2*k + 4*u + 2224 = -4*k. Let h be 4/(-3 + k/(-372)). Let d = 1081 + h. Is d prime?
True
Let z = 34 - 31. Suppose 2788 = i + z*i. Is i a composite number?
True
Let o(k) = 672*k + 34. Let c be o(8). Is 10/(-85) + c/34 composite?
True
Suppose 4*w - 16 = 2*w. Is (-12)/(-8) + 4100/w prime?
False
Let d = -14 - -17. Suppose d*w - 612 = -u, -4*w + 397 = -2*w - 3*u. Is w a composite number?
True
Is (-256472)/(-4)*6/12 a composite number?
False
Let m(c) = 2*c + 10. Let b be m(-2). Suppose o - 4*j = 41, 4*j - 2 = -b. Is o a composite number?
False
Suppose 0 = -3*n + 2921 - 116. Let d = n - 456. Is d composite?
False
Let n(w) = 648*w - 23. Is n(4) a prime number?
False
Let r be 3/(24/(-148))*-2. Suppose -3*a - 5*i - r = 0, 2*i + 0 - 2 = 3*a. Is 573 - a/(-12)*6 a prime number?
True
Suppose -3*k - 34037 = -4*m, -7*k = -3*k - 20. Is m a prime number?
True
Is 12*(3 + (-130871)/(-52)) a prime number?
False
Let a = 38 + -105. Let o = 124 - a. Is o a prime number?
True
Let u = 710 + -16. Is u composite?
True
Suppose -5*r - 58551 = -4*h, 18 = r + 17. Is h a prime number?
True
Let z(h) = h**2 + 251. Let n = -29 + 29. Is z(n) prime?
True
Suppose 6*c + 8 = 2*c. Is -1*(-647)/c*-2 prime?
True
Is 296272/72 - (-3 + (-156)/(-54)) prime?
False
Suppose -6*b + 2*c + 46 = -2*b, 15 = 5*c. Let f = b - 8. Suppose 0 = -f*a - 0*a + 2245. Is a a composite number?
False
Suppose 0 = 13*u - 75940 + 8717. Is u a prime number?
True
Let d(x) = -5*x - 1. Let i be d(-1). Is ((-1110)/(-3))/(6 - i) a composite number?
True
Let t(j) = -j**3 - j**2 - 4*j - 5. Let r be t(4). Let a(n) = 3*n**2 - 7*n + 12. Let q be a(9). Let h = q + r. Is h composite?
True
Let w(q) = 87*q**2 + 4*q - 9. Let u be w(-5). Suppose -5*y + u = -8869. Is y a prime number?
True
Suppose 2*r + 15544 + 206 = 0. Let v = -2374 - r. Is v composite?
False
Suppose y - 2229 - 89680 = 0. Is y composite?
False
Let w(s) = 1177*s**2 - 151*s + 297. Is w(2) a prime number?
True
Let j(b) = 5*b**2 + 14*b - 7. Let k(a) = 11*a**2 + 28*a - 14. Let g(y) = 5*j(y) - 2*k(y). Suppose -4*x - 3*h = 54, 2*x + 32 = -x + 2*h. Is g(x) composite?
False
Let h = -31082 - -45459. Is h composite?
True
Let q be 26/6 + 4/(-12). Suppose q*j - 17 = 3*f - 7, f = -4*j + 18. Suppose j*t - t = 93. Is t a prime number?
True
Let y = 27087 + -3722. Is y composite?
True
Let j(k) be the second derivative of k**7/30 - k**6/240 - k**5/120 - k**4/3 - 4*k. Let o(a) be the third derivative of j(a). Is o(-2) a prime number?
False
Let l = 577 - -2884. Let s = l + -1990. Is s a composite number?
False
Is (1 + -14)/((-41)/943) a composite number?
True
Let d be (-29)/348 - 1043/12. Suppose 5*m - 121 = 1639. Let p = m + d. Is p a composite number?
True
Let k(t) = 6*t**2 - 63*t + 92. Is k(-21) a prime number?
False
Let j(c) be the first derivative of -c**4/4 - 2*c**3 + 15*c**2/2 - 11*c - 34. Is j(-16) composite?
False
Let t = -13 - -16. Let a(n) = -n**3 + 2*n**2 + 4*n - 3. Let p be a(t). Suppose p = -3*o + 113 + 118. Is o a prime number?
False
Suppose 4*h = 4 + 16. Is (30*21 + -1)/(h/5) prime?
False
Let p = 548 - 429. Suppose -4*c + 6 = -14. Suppose 5*g - c = 0, -3*o + p = -2*g + 16. Is o a composite number?
True
Let p = 7491 + -1852. Is p a c