 n a prime number?
False
Suppose -n = 5 - 9. Suppose -2*k - 5*v + 893 = -2*v, 0 = 4*v - n. Is k a prime number?
False
Suppose 7*u - 10*u = 3861. Let v = -754 - u. Is v a prime number?
False
Let a(d) = -45952*d - 161. Is a(-1) prime?
False
Let m(s) = 1 - 8*s + 4*s + 7*s. Let t be (-2)/(-8) + 282/24. Is m(t) prime?
True
Suppose 0 = -4*x + 30 + 18. Let m = -10 + x. Suppose m*j - 97 = -5. Is j composite?
True
Let o be 0*7/21 + 12/(-2). Is 22*((-819)/o + -2)/1 a composite number?
True
Suppose -2*a + a - 3*s + 7568 = 0, 3*s = -5*a + 37852. Suppose 0 = -2*f + 4*j + 5026, 2*f - 5*f = 2*j - a. Is f composite?
False
Let x be (0 + (-3 - -2))*1 - -4. Suppose -195 = -x*s + 2*c, 3*s - 118 = c + 80. Is s prime?
True
Let w(y) = 993*y + 47. Is w(20) a prime number?
False
Let p = 11523 + -1696. Is p a prime number?
False
Let i be (-10)/15*9/(-6) + 2. Suppose d = i*t + 6*d - 6938, 4622 = 2*t + 4*d. Is t composite?
True
Let q(z) = 8*z**2 + 20*z - 49. Is q(12) prime?
False
Let b = -6 + 13. Let j be 2775/b - (-3)/(-7). Let y = -281 + j. Is y a composite number?
True
Let p be (-13)/39 + 10/3. Suppose -p*b = 3*a - 2145, b + 5*a - 1418 = -b. Is b a prime number?
True
Let i(y) = y + 1. Let v be i(1). Suppose -j + 3*t = v*t - 192, 5*t - 930 = -5*j. Suppose -5*c + j = 2*u, 4*c + 0*u = -u + 150. Is c composite?
False
Let y = 6912 - 2209. Is y a prime number?
True
Suppose -1720 = -6*y + 566. Suppose y = 3*i - v, -4*i - 3*v + 254 = -2*i. Is i composite?
False
Is (-8)/(-28) - (-603387)/21 a prime number?
False
Let x = 94 + -94. Suppose -4*t + x*c - 5*c = -1518, 5*c - 10 = 0. Is t a prime number?
False
Suppose -3*t = 5*t - 16. Is ((t - 3) + 2)*1345 a composite number?
True
Is ((-102)/30)/(1/(-1795)) composite?
True
Suppose 4*f - 24 = -2*f. Let l(j) = 116*j - 15. Is l(f) prime?
True
Let h be 2/(-5) - 19520/(-50). Suppose -4*k - k = -20, 3*v - 3*k + h = 0. Let p = v + 385. Is p composite?
True
Let h = 9608 + -23834. Let p be (-2)/3 + h/(-9). Suppose 3*w = 7*w - p. Is w a composite number?
True
Let d be (-2)/(-3)*(-9)/2*-49. Let k = d - -368. Is k a prime number?
False
Let q(v) = -v**3 - 6*v**2 - v - 1. Let g be q(-6). Suppose -g*b - 223 = -5*d + 232, -4*d - b = -354. Suppose -5*u + 4*u = -d. Is u a prime number?
True
Suppose -3*y + 698 = -238. Suppose 9*r + y = 5181. Is r a composite number?
False
Suppose 0 = 4*k - 7*a + 2*a - 65, -3*k = 2*a - 66. Suppose -k = -5*c, 3*z = -2*c - c + 804. Suppose 4*i = z + 208. Is i a prime number?
False
Suppose -410*d = -391*d - 605701. Is d a composite number?
True
Let f(r) = r**2 - 49. Suppose -i + 3*i = 0. Let a be f(i). Is -2*(-2)/(-4)*a a composite number?
True
Let i be (10/3)/((-18)/(-27)). Suppose i*u = -0*u - 5*w + 215, -4*u = -3*w - 158. Suppose 0 = 5*x - 74 - u. Is x prime?
True
Suppose 3 = 3*d + 4*o, -5*d + d + 5*o - 27 = 0. Is d/((-3)/2293)*1 a prime number?
True
Let k = 4799 + -2340. Is k prime?
True
Suppose -7*w - 626 = -1557. Let m = 168 + w. Is m prime?
False
Let c(h) = h**3 - h**2 + 2*h - 11. Let z be c(0). Let u be 1322/z + 8/44. Let g = -67 - u. Is g a prime number?
True
Suppose 2*q + 1986 = 5*q. Is q a prime number?
False
Let v(f) = 94*f - 99. Is v(28) prime?
False
Suppose -361 = -14*b - 5*b. Suppose 0 = -15*k + b*k - 9452. Is k a prime number?
False
Suppose -9*f - 650 = -4*f. Let g = f + 212. Is g prime?
False
Suppose 6 = 2*c, 2*j - c + 7 = -2. Is 2720/(0 + 4) - j composite?
False
Suppose o - 4*q = -0*q + 4361, -13138 = -3*o + q. Is o prime?
False
Suppose m - 6 = -m. Suppose -m*z = -4 - 5. Suppose -125 = -z*f + 112. Is f a composite number?
False
Suppose 7*v - 24 = 4. Suppose -2*y - 2535 = -v*d - 207, d - 591 = -4*y. Is d a prime number?
False
Let t = -21 + 20. Let q = t + 4. Let p(l) = 5*l - 1. Is p(q) composite?
True
Suppose 4*g = -3*i - 37, -3*g - 5*i = 2*g + 40. Let w = g - -15. Suppose -2*d = w*d + 2*f - 2218, -5*d = -3*f - 2756. Is d a prime number?
False
Let z(f) be the third derivative of 3*f**5/20 + 5*f**4/24 - f**3/2 - f**2. Suppose -2*n = 5*h - 33, -n - 5*h = -5*n + 21. Is z(n) a prime number?
False
Let h be ((-3)/(-9))/((-1)/(-9)). Suppose -93 + 510 = -h*o. Let l = -8 - o. Is l composite?
False
Let p(q) = q**3 + q**2 + 7*q - 1. Suppose -26*k = -25*k - 6. Is p(k) composite?
False
Let s be 11*-1 - (-28)/7. Let l(n) = 2*n**2 - 1 - 1 + 3*n**2 + 8*n. Is l(s) composite?
True
Suppose 3*z = -4*l, 2*z + 7 = -1. Let i = -5 + 7. Suppose i*o - 5*o = a - 346, 2*a + l*o = 677. Is a composite?
False
Suppose -3*g = -5*b - 7248, 14 = -b + 11. Is g composite?
False
Let u(p) = 13*p - 14. Let k be u(8). Suppose 23 = d - 5*w, 4*d = 5*w + 62 + k. Is (3 - -5)*d/4 a prime number?
False
Suppose 0 = 2*i - s - 121 - 39, 0 = 5*s + 10. Suppose -2*r = -3*r + i. Suppose k + r = 2*k. Is k composite?
False
Suppose 4*n - 40*s - 132 = -44*s, 5*s = n - 57. Is n a composite number?
False
Suppose -5*j - 200 = -1915. Suppose -j = -0*u + u. Let o = -84 - u. Is o a composite number?
True
Let a be (2 - -1335)/((-3)/6). Let o = -1613 - a. Is o composite?
False
Suppose 22*f = 7*f + 23145. Is f composite?
False
Suppose -14*o + 51313 = 13877. Let t = o + -1265. Is t prime?
True
Is (-20133)/6*76/(-6) composite?
True
Let a be ((-8)/(-4) + 0)*107. Let s be (-4)/(-1*8)*a. Let u = s - 54. Is u prime?
True
Let t(f) = 3*f**2 - 2*f + 15*f**2 - 5 - 4 + 5*f. Is t(4) prime?
False
Is (-6)/12*(-6558 - -10) prime?
False
Let c be 1546/((-3)/((-18)/(-4))). Is c/(-11) - 2/(-11) a composite number?
False
Let m = 15 + -8. Let i = m - 2. Suppose 2*n = -3*z + 321, 0 = -3*n - i*z - 39 + 521. Is n a composite number?
True
Let c(o) = o**2 + 7*o - 7. Let r be c(-8). Let i(k) be the first derivative of 109*k**4/4 + k**2/2 - k + 2. Is i(r) a prime number?
True
Let k(d) = d**2 + 2*d + 322. Let u be k(0). Let l = -99 + u. Is l a prime number?
True
Let a = -29 - -52. Let o = 27 - a. Suppose 0 = 4*j + h - 187, 68 = o*j - 5*h - 101. Is j a prime number?
False
Let f be (4/6)/(46/(-483)). Is f/((-7)/(-1213))*(0 - 1) a composite number?
False
Let v = 37680 + -6593. Is v a prime number?
False
Let q(p) = p**3 - p - 1. Let v(g) = -3*g**3 + 4*g**2 + 7*g. Let k(w) = -4*q(w) - v(w). Let j be k(-3). Is j/(-2) + 122/2 a prime number?
True
Let d be -3*1*(-6)/(-9). Suppose 0 = -y + 6*y - 2525. Is (-8)/10*y/d prime?
False
Let t(i) = -i**3 + 3*i**2 + 6*i - 5. Let p(w) = 2*w**3 - 9*w**2 - 18*w + 15. Let m(g) = -3*p(g) - 8*t(g). Let y be m(4). Let f = y - 108. Is f composite?
True
Suppose -3*g + k + 42434 = 0, -7*k - 56607 = -4*g - 0*k. Is g a composite number?
False
Let d(m) = 5*m**2 + 22*m - 18. Is d(-13) composite?
False
Let a(t) = t**3 + 5*t**2 - 2*t - 1. Let b be a(-5). Let f = -7 + b. Suppose 2*x - 20 = -3*z, 5*z = -f*x + 20 + 4. Is x composite?
False
Let m(w) be the third derivative of 7*w**7/720 + w**6/180 + w**5/12 - 7*w**2. Let r(q) be the third derivative of m(q). Is r(6) a composite number?
True
Let d = -96 + 98. Suppose -2243 = -d*n + 1619. Is n prime?
True
Let j = 72622 - 47045. Is j prime?
True
Is 2660 + ((-23)/9 - 4/9) a composite number?
False
Let c = 71 - 738. Let r = c + 181. Let a = -221 - r. Is a a prime number?
False
Let m = 57362 - 14571. Is m a prime number?
False
Let o(a) = a**2 + 16*a + 5. Let f(h) = -h**2 - 16*h - 6. Let k(s) = -6*f(s) - 5*o(s). Let p be k(-9). Let y = 114 + p. Is y composite?
True
Let a(c) = c**3 + 13*c**2 + 17. Let l(z) = -z**3 + 11*z**2 - 11*z + 14. Let r be l(10). Suppose -q - 47 = r*v, -3*v = 3*q + 24 + 9. Is a(v) a prime number?
False
Let x(m) be the third derivative of m**5/60 + m**4/24 + 211*m**3/6 - 10*m**2. Is x(0) composite?
False
Let s = 953 + -2053. Is (1 - s) + 12/(3 - -3) composite?
False
Let m(v) = -352*v + 10. Let p be m(-10). Suppose p = j - 1251. Is j a prime number?
False
Suppose 1 = 2*i + 2*m - 3*m, -2*i + 2 = -2*m. Let y(j) = -896*j**3 - 2*j - 3. Let x be y(-1). Suppose i = -z - 4*z + x. Is z prime?
True
Let s be 2/(-1) + 0*2/(-8). Is 1486*(-3)/6*(-3 - s) a prime number?
True
Let q = -7 + 7. Is (q + 1)/(2 - 69/35) composite?
True
Suppose -3*c - 412 = a, 129 = -4*c + 3*c - 2*a. Let k = 434 + c. Is k a prime number?
False
Let k(s) = -4*s**2 - 8*s - 11. Let v(b) = 5*b**2 + 7*b + 11. Let g(q) = -4*k(q) - 3*v(q). Let i be g(-10). Is (2 - 111/i)*-1 composite?
False
Let b(i) = -i**3 + 16*i**2 - 17*i + 19. Let k = -3 + 14. Is b(k) prime?
False