 + 6*t = t - 3340, 1326 = 2*g - 4*t. Is g composite?
False
Let n(z) = -4*z + 47. Let s be n(12). Is -762*(s/(-3))/(-1) a prime number?
False
Let i = 55406 + -38787. Is i a prime number?
True
Suppose i - 4*i + 3*m = 3, 0 = m - 1. Suppose i = -3*k - l + 4*l + 7485, -l + 12475 = 5*k. Is k a prime number?
False
Suppose -151795 = -5*i + 6310. Is i prime?
False
Let p be 63/(-2) + (-1)/(-2). Suppose -22 = 3*s - 5*d, 2*s + 5*d - 31 = 6*s. Let n = s - p. Is n composite?
True
Let h(z) = 1165*z**2 + 3*z + 0*z - 3*z. Let i be h(-1). Suppose 4*f - i = -f. Is f prime?
True
Is 516/387 + (-952546)/(-6) a composite number?
False
Let b(y) = 17*y. Let d be b(1). Let i = d - 13. Suppose 0 = -i*o - 143 + 1651. Is o prime?
False
Suppose -4*n - n - 22228 = 4*h, -22224 = 5*n + 2*h. Let r = -2471 - n. Is r composite?
False
Let w be (9/(-3))/((-6)/8). Is 448 + (0 - w) + 1 prime?
False
Let u be 7497/(-34) + (-1)/(-2). Let z be u/18 - 2/(-9). Is (-12)/z*(-398)/(-2) a prime number?
True
Suppose -4*j + u - 4*u + 9641 = 0, 3*j = -5*u + 7228. Is j prime?
True
Suppose 0 = 3*y - 2*w + 13, 0*y - 4*y - 2*w - 36 = 0. Let b = -12 - y. Let u(p) = 27*p**2 + 6*p - 4. Is u(b) composite?
False
Suppose -5*s - 4*w + 26 = 0, -5*s - 8 = -3*s - 3*w. Suppose 3*x - x + 5*p = 576, s*p = -8. Is x prime?
False
Suppose 5 + 0 = r. Suppose r*y - 30 + 5 = 0. Suppose 0 = y*o + z - 1023, 3*z - 59 = -o + 140. Is o a prime number?
False
Let i(h) = 121*h + 2 + 0 + 36*h. Is i(1) a prime number?
False
Suppose -4*t + 17904 = -5*q, -q + 4 = -2*q. Is t prime?
False
Let x be 1/(-2) + (-243)/(-6). Let v = 34 - x. Is (-3881)/v + 6/36 prime?
True
Let b = 17 - 13. Let i be -289 - b*(-4)/(-8). Let l = i + 844. Is l prime?
False
Suppose -4*p - 2*i + 17588 = 0, 4*p - 19*i + 14*i = 17588. Is p a composite number?
False
Suppose -44*h + 40*h = -28276. Is h prime?
True
Let m(n) = 5336*n - 13. Is m(1) a composite number?
False
Suppose l + 5*x = 64265, -12*l = -9*l + x - 192795. Is l a prime number?
False
Let y = 83 - 85. Is (-3*7/(-21))/(y/(-5042)) a prime number?
True
Let v be ((-18)/36)/(1/68). Let p be (-1 + 2)/((-2)/v). Let n = p - -16. Is n prime?
False
Let s(j) be the second derivative of -j**4/12 - j**3/3 - j**2/2 - j. Let c be s(-2). Is c/4 - 426/(-8) composite?
False
Let g = 10294 - -22049. Is g a composite number?
True
Let t(d) = 3*d - 9. Let l be t(4). Suppose 0 = -l*m - 3*m + 14358. Is m composite?
False
Let n(d) = 5*d + 3 + 0*d**2 + 0*d**2 - d**2. Let i be n(5). Suppose -4*m = -m - 6, -i*q = 5*m - 175. Is q composite?
True
Let y(f) = f**2 - 4*f - 30. Is y(17) prime?
True
Let l(s) = 19*s**2 + 162*s + 30. Is l(-32) prime?
False
Let u = -109 + 160. Let t = -122 + 238. Let l = t - u. Is l a composite number?
True
Suppose -4*k = -3*n - 228, 0*n = 4*n - k + 291. Let q = n + 409. Is q prime?
True
Suppose 0 = -4*y - 3*q + q + 114, 6 = y - 4*q. Suppose -2*w = -0*w + y. Let d = 32 + w. Is d prime?
True
Let l(p) = 2*p - 11. Let v be l(8). Suppose 0 = -v*s + x - 6*x + 40, x = 5*s - 16. Suppose -s*h = -11 - 25. Is h prime?
False
Let w(u) = 58*u**3 + 4*u**2 + 2*u - 9. Is w(7) composite?
True
Suppose 4*r = 4*a, -5*r = -a - 0*a. Suppose 0 = -9*p - 7 - 2. Is -2 + (678 - (r + p)) a composite number?
False
Is -844*((-198)/24)/3 prime?
False
Suppose 17*q + 6 = 19*q. Suppose 12 = q*g - 0*g. Suppose -5385 - 59 = -g*d. Is d a prime number?
True
Suppose -6483 = -s + 2*q, 0 = 4*s - 7*s - 4*q + 19449. Is s prime?
False
Let o(t) = -2*t**2 - 8*t + 7. Let q(g) = g**2 + 4*g - 4. Let n(u) = -3*o(u) - 5*q(u). Let k be n(-5). Suppose -k*r = -2*r - 266. Is r a prime number?
False
Let q(s) = 3*s + 29. Let n be q(-8). Let x(d) = 43*d + 8. Is x(n) a prime number?
True
Let l(q) = 25*q**3 - 9*q**2 + 14*q - 5. Is l(6) a prime number?
False
Suppose 4*i + 21 = 93. Suppose -i*r = -19*r + 479. Is r a composite number?
False
Let f be ((0/(-4))/(-3))/(-1). Let m(w) = -3*w + 2*w + f - 1. Is m(-8) a composite number?
False
Suppose 7*d - 2*g - 1455 = 2*d, 3*d - 5*g - 892 = 0. Let t = d + -78. Is t a composite number?
False
Suppose 0 = 107*h - 111*h + 3508. Is h a composite number?
False
Let i(p) = 2*p + 4*p - p**2 + 2 - 2*p + 5. Let d be i(5). Is (-2855)/(-15) - d/(-3) composite?
False
Is 56/35 - (-313954)/10 composite?
False
Let w = 13 + -1. Let l be (8/w)/2*-1293. Let g = 754 + l. Is g a prime number?
False
Let c be (-52)/(-12) - (-6)/9. Let q be ((-505)/(-1))/(c + -4). Is 4/16*(q + 3) composite?
False
Let k(u) = 7*u**2 + 22*u + 58. Is k(18) prime?
False
Let u = 51 - 51. Suppose -4*h - 137 + 1525 = u. Is h a composite number?
False
Suppose -4*z = 2*c - 37206, -30*z = -29*z + c - 9304. Is z prime?
False
Is ((-6)/18)/(5/(-49035)) a composite number?
True
Let v = 77 + -81. Is 3278/4 - 6/v - 0 a composite number?
False
Is 5982/6*(-4 + 11) composite?
True
Suppose -4*h + 130733 = -5*v, 0 = -3*h + 5*h - 3*v - 65365. Is h prime?
True
Suppose -7*i = -18*i + 36839. Is i composite?
True
Suppose -5 = 5*q + 5, 0 = -y - q + 5025. Is y prime?
False
Suppose -5*p + 2588 = -5*k + 18678, 4*p = 5*k - 16095. Is k composite?
True
Suppose -362703 - 27731 = -22*i. Is i a prime number?
True
Suppose 0 = -2*x + 2*a - 290, 0 = -x - 4*x - 5*a - 765. Let u = 366 + x. Is u composite?
True
Suppose 7*s - 5*b - 48 = 3*s, 0 = s + b - 12. Let k(g) be the third derivative of 5*g**4/3 - 13*g**3/6 + 30*g**2. Is k(s) prime?
True
Let a = 823 + -182. Is 2/(-10)*a*(2 + -7) a composite number?
False
Suppose 3*z + z + 3*k + 88 = 0, 3*z + 45 = 3*k. Suppose -i - 6 = -4. Is z*(i/2 - 6) prime?
False
Let q = -6 - -8. Let z be ((-55)/(-22))/(1/q). Suppose 0*d + z*d = 1985. Is d a composite number?
False
Let r = -971 + 1002. Is r a prime number?
True
Let a(v) = -7*v + 52. Let w(i) = -4*i + 26. Let z(t) = -6*a(t) + 11*w(t). Let m be z(-11). Let s(n) = -399*n + 1. Is s(m) prime?
True
Let q(z) = z + 1. Suppose -3*x - 5*b = -10*b + 5, 12 = 3*b. Let n(c) = 13*c**2 - 4*c - 8. Let j(v) = x*q(v) + n(v). Is j(-3) composite?
True
Let f = 79596 - 56047. Is f prime?
True
Let q(g) be the first derivative of 74*g**3/3 - 3*g + 11. Is q(2) a prime number?
True
Let g(o) = -5*o + 0*o - 11 + 2*o**2 + 5*o**2 + 0*o. Is g(11) prime?
False
Let k(h) = -154*h - 8. Let c be k(7). Let q = -715 - c. Is q composite?
True
Let c(y) = 3*y - 69. Let m be c(22). Let o(r) be the second derivative of -3*r**5/20 + r**3/2 + 7*r**2/2 - r. Is o(m) prime?
True
Suppose -15*z + 45842 + 125323 = 0. Is z composite?
False
Let c be (-27)/2*558/27. Let g = c - -1456. Is g prime?
False
Let n(g) = 124*g + 18. Let d be n(14). Suppose -o - 289 + d = 0. Is o composite?
True
Let k(z) be the second derivative of 3*z**3/2 + 7*z**2/2 - 7*z. Let f be k(-5). Let l = 85 + f. Is l a composite number?
False
Let s(i) be the second derivative of -i**5/4 - i**3/3 - i**2 - i. Let c be s(-4). Suppose g + 2*d = 23 + c, 4*g - 1408 = -4*d. Is g a composite number?
True
Suppose l - 1558 = -4*z - 365, 3*l + 2*z - 3539 = 0. Is l prime?
False
Suppose 0 = 3*q + 997 + 1640. Let f = q - -1322. Is f a prime number?
True
Let q(w) = 37*w - 8. Let n be q(9). Let l = n + -129. Suppose -2*c + 130 + l = 0. Is c prime?
True
Let s be 6/3 - (831 - 4)/(-1). Is s + 12 - ((-2)/1 - -4) a prime number?
True
Is (-2)/10 + 401492/35 a prime number?
True
Let c = 20 - 20. Is (c + 1)*(4 - 2568)/(-4) a composite number?
False
Suppose 4*k + 6 = -2*h, -6*k - 12 = 4*h - 3*k. Is (h - 0)/(1938/647 + -3) a prime number?
True
Suppose 4*j - 1 + 93 = 0. Let r = j - -129. Is r prime?
False
Suppose -4*m - 2*p = p - 123, -5*m = 4*p - 153. Let w = -1 - -4. Is m/(w - 12/8) a composite number?
True
Let k(a) be the third derivative of a**5/6 + 5*a**4/24 + 5*a**3/6 - 10*a**2. Is k(-6) a composite number?
True
Suppose 24*t = 25*t - 89153. Is t composite?
False
Suppose -1 = -3*g + 5. Suppose 0*s - g*s = 5*f - 24, 36 = 5*f - 2*s. Suppose 3*r - f*r = -102. Is r composite?
True
Let z be (-9530)/(-6) + (-8)/(-12). Let m = 4884 - z. Is m a prime number?
False
Is (127 - -10)*(10 - -1) prime?
False
Suppose 3*s + 16 - 4 = r, -s = -2*r + 9. Suppose -2*d + 5*d = r*t - 27, 2*t + d = 3. Suppose -t*m + 2045 = m. Is m a composite number?
False
Suppose 34 = 3*u - u. Let c = -14 + u. Suppose 0 = -c*t - n + 707 + 2929, 0 = -4*t - 2*n + 4846. Is t composite?
False
Let c = -3 + -1. Let y(f) = -7*f**3 + 3*f**2 + 2*f - 4. Let m be y(c). 