 Suppose -4*c = -0 + i. Is 388*c*2/(-8) a prime number?
True
Suppose -4*p - 4*c = -17144, 0*p + 3*c = -4*p + 17141. Is p a prime number?
True
Suppose 3*f - 10 = 2*f. Suppose -11*z + 3 = -f*z. Suppose -6*t + z*t + 363 = 0. Is t a composite number?
True
Suppose v - 66 = -5*y - 3*v, 2*y = 2*v + 12. Is y prime?
False
Let r(q) = -q**3 - 9*q**2 - 14*q - 33. Let n be r(-8). Suppose -3*w = 2*w - n, w = 4*a - 3881. Is a a composite number?
False
Let q = -9 + 18. Let h be (q + -9)*2/6. Suppose 4*j + 20 = h, -4*u - 4*j = -2*j - 1066. Is u composite?
False
Suppose 5*p - 17567 - 948 = 0. Is (-2)/(-1) + (p - -4) a prime number?
True
Suppose -3*z = g - 13, 4*g = z - g + 17. Let p(j) = j**3 - 13*j**2 - 6*j + 16. Let v be p(11). Is (-2 - v) + z*1 prime?
True
Suppose -2*b - 3*w + 23 = 0, 2*b = -b - 2*w + 22. Suppose -2*d = 2*d - b. Is (2 + (69 - 2))*d a prime number?
False
Let q = 807 + -116. Is q a prime number?
True
Is ((-21530100)/(-40))/15 - (-3)/2 prime?
False
Suppose -4*p - 3*p = -8806. Suppose i + 4*k = -i + p, 4*k = -4. Is i a composite number?
False
Let k(f) be the first derivative of f**4/4 - 13*f**3/3 - 8*f**2 + 31*f - 11. Let q be k(14). Is 0*(q + -4) + 921 a prime number?
False
Suppose -4*w = -2*w - 6. Let o be -4 + w/((-12)/8). Let p = o - -119. Is p a prime number?
True
Let v(d) = 270*d**2 - 89*d + 12. Is v(-5) prime?
True
Is -547*((-1)/(-4))/((-2)/16) prime?
False
Let n = 374 + -788. Suppose 4*p - 3*m + 100 = 21, 0 = 2*p - 5*m + 29. Is (-4)/p + n/(-22) composite?
False
Let h(u) be the first derivative of 28*u**2 + 11*u - 13. Is h(6) composite?
False
Let u(o) = -3*o - 9. Let n be u(-8). Suppose 9*i - 4*i = n. Suppose k - 83 = i*v, 3*k - v = -6*v + 277. Is k composite?
False
Suppose 133*m - 5*n = 134*m - 5599, 0 = -2*m + 3*n + 11146. Is m a composite number?
True
Suppose -44*r + 103940 = -51248. Is r prime?
True
Suppose -8*u + 6*u = -30. Let m be u/(-20) + (-129)/(-12). Is 2095/m*4/2 composite?
False
Let l be (12/5)/(17/5 - 3). Let o(g) = 25*g**2 - 2*g - 9. Is o(l) a prime number?
False
Suppose -4*h + h = 6. Is (h/3)/(14/(-10479)) a composite number?
False
Let z(h) = -337*h**3 + 19*h**2 + 66*h - 13. Is z(-5) prime?
True
Let g(w) = w**3 - 7*w**2 - 9*w + 11. Let j be g(8). Suppose -y + 6 = y, j*y - 13 = -2*r. Suppose -r*h - 267 = -3*h. Is h composite?
True
Suppose 2*z - 38 = 3*d, -4*d + z = 2*z + 36. Let r(l) = -l**3 - 9*l**2 - 6*l + 7. Is r(d) a composite number?
False
Let h(g) = -1655*g**3 + 5*g**2 - 6*g - 1. Let l(j) = -3309*j**3 + 11*j**2 - 13*j - 3. Let f(v) = -7*h(v) + 3*l(v). Is f(1) prime?
True
Let j = -16 - -18. Suppose 0 = -5*g + 5*c, -j*c = -5*g + 2*c. Suppose g = q + 44 - 135. Is q prime?
False
Let g = 126 + -282. Let t be (-1 - 0)*(g - -14). Let x = 389 - t. Is x prime?
False
Let i = 74628 + -6671. Is i prime?
True
Suppose -2*q = w - 4*w + 133, -4*q + 103 = 3*w. Let u(z) = z**2 + 25*z + 28. Let t be u(-21). Let o = w - t. Is o prime?
True
Let j = 28495 + -3594. Is j a composite number?
True
Suppose -9*w = -12*w + 6. Suppose 6*c = 2*c + w*r + 396, -5*c = -5*r - 505. Is c a composite number?
False
Suppose -2*u + 3*b + 15 = 0, -4*u + b + 29 = -4*b. Suppose u*l + 4*l = 1270. Is l a prime number?
True
Suppose 0 = 2*z - y - 10103, -20207 = -4*z + 2*y + y. Is z a composite number?
False
Let j(f) = -854*f - 37. Is j(-6) prime?
True
Is (-340914)/(-105) + 3*(-1)/(-15) prime?
False
Is (-1)/((7/14)/((-8609)/2)) a prime number?
True
Let j(u) = -5228*u**3 + 5*u + 4. Is j(-1) a prime number?
True
Let b(l) = 5*l**2 + 2*l + 1. Suppose -5*i = 12 - 7. Let u be b(i). Suppose u*j = 2*j + 1010. Is j a prime number?
False
Let c(a) be the third derivative of -a**6/120 + 13*a**5/20 - 17*a**4/24 - a**3/6 - 10*a**2 + 1. Is c(22) a composite number?
False
Suppose 197*p - 195*p - 56698 = 0. Is p prime?
True
Let s = -93 + 445. Suppose -g - 5*o = -2485, 2*g - 4642 - s = 2*o. Is g prime?
False
Let r(c) be the second derivative of -5*c**3/3 - 15*c**2/2 + 22*c + 3. Suppose -g = -4*i + 4*g - 48, 0 = -4*g + 16. Is r(i) prime?
False
Suppose 6*v + 21451 = 64045. Is v prime?
False
Suppose n - 6814 + 363 = -3*i, 0 = -i + 4*n + 2133. Is i composite?
True
Let m(x) = -x**2 + 13*x - 16. Suppose 5 = -2*d + 25. Is m(d) a prime number?
False
Suppose -2*v + 3*z = 25, -v = 5*z - 33 + 13. Let g = -9 - v. Is (-4)/(((-16)/(-142))/g) composite?
True
Let y be (-1 + -23)*200/(-32). Let f = 1007 + y. Is f a composite number?
True
Let v(j) = -5*j. Let x be v(3). Is (20/x)/((-2)/33) a composite number?
True
Let u be 21/(-14)*27*2. Let j = u - -134. Is j prime?
True
Is (-20)/4*(-21898)/((-10)/(-5)) prime?
False
Suppose 5*t - 10 = 0, -437 = -2*z - z - t. Is z a composite number?
True
Let b(c) = 4*c**2 - 12*c. Let f be b(3). Suppose f = 5*a - 12 - 923. Is a a prime number?
False
Suppose 2*w = -5*r - 5, -r = -2*w + 9 + 4. Suppose -w*p + 1739 = z, 4*z + z + 2*p - 8580 = 0. Is z prime?
False
Let x(m) be the first derivative of -15*m**2/2 + 11*m + 7. Let w be x(-5). Suppose 0 = b - w - 455. Is b prime?
True
Let o(g) = 810*g + 9. Let y be o(5). Suppose 4*q + 4*a - 3286 = -50, -y = -5*q + 2*a. Let l = -224 + q. Is l a prime number?
True
Let w = 4215 - -512. Is w composite?
True
Let i(w) = -w**2 - 8*w + 6. Let v be i(-5). Suppose v = d + 2*c, -3*d + 5*c + 12 = -51. Is 4/6 - (-2212)/d a composite number?
True
Let t be (-292)/24*28*15. Let d = 2072 - t. Is d/24 - (-2)/(-8) a prime number?
False
Let b = -67 + 67. Suppose b = 2*f - 1239 - 95. Is f composite?
True
Let n(d) = 255*d**2 + 17*d - 7. Is n(-3) a prime number?
True
Let i = -127 + 133. Suppose -i*x + 3562 = -3992. Is x prime?
True
Is ((-1)/(-2))/(4 - (-1041381)/(-260346)) composite?
False
Suppose -18*d + 13*d = -3695. Let p = d + 14. Is p prime?
False
Let f(t) = 28*t**2 + 2*t + 8. Let g be f(-4). Suppose 4*c - g = 1404. Is c a composite number?
False
Is (-36 - -35087)/(4 + -3) a composite number?
False
Let g = 0 + 11. Is 16*10 - (g + -14) a prime number?
True
Let i(m) = -3*m - 1. Let h be i(-1). Suppose 4967 = 4*p - b - 3238, 0 = -3*p + h*b + 6155. Is p prime?
False
Let v(n) = n + 6. Let k(p) = -p**3 + 6*p**2 - 4. Let d be k(6). Let w be v(d). Is w/(489/483 + -1) a prime number?
False
Let c = -13 - -13. Suppose c = -5*a + 2*a + 3957. Is a a composite number?
False
Suppose 5*i - 2*i = -6, 0 = 5*s + 5*i + 10. Suppose 6 = 3*r, -2*t + r + 426 = -s*r. Is t composite?
True
Suppose 3*f = 3*w - 954, f + 4*w = -154 - 184. Let a = -137 - f. Is a composite?
True
Let c be (28/(-16) + 3)/((-3)/(-24588)). Is (-2)/((-3)/(-15) - 2079/c) a prime number?
True
Let c = 842 - -435. Is c prime?
True
Let m be 1 + ((-16)/(-6) - 8/12). Suppose m*x = 216 + 393. Is x prime?
False
Suppose -q + 13 = -2*q - 2*j, -4*q - 26 = -5*j. Let o(s) = -s**3 - 8*s**2 + 5*s - 2. Is o(q) a prime number?
False
Suppose -15413 = -18*k - 3191. Is k a prime number?
False
Suppose 5*z + 4*a - 5759 = 0, -5*z + 4*a + 3410 = -2341. Is z a composite number?
False
Let y(t) = 195*t**2 + 11*t - 23. Is y(6) a composite number?
True
Is (-3)/(-36)*-2 - (-137192)/48 prime?
False
Let v = 78 + -12. Let l = v - 1. Is l a prime number?
False
Let b(g) = 6*g**3 - 17*g**2 - 11*g + 5. Is b(9) a composite number?
False
Let z = 24 + -21. Let k be z*1*(-2)/(-2). Suppose -k*h = -46 - 431. Is h prime?
False
Let k be 7/((-126)/(-60))*6/4. Suppose 783 - 2248 = -k*l. Is l composite?
False
Suppose -4*t + 25*k = 24*k - 6377, 0 = -4*t - k + 6375. Is t composite?
True
Suppose 4789 = 5*w - 6*r + 5*r, -4792 = -5*w - 2*r. Is w prime?
False
Let b = 78 - 74. Suppose 6*w = 5*w - 5*q + 351, -2*w + b*q + 646 = 0. Is w composite?
False
Let u(z) = -z**3 + z - 1. Suppose 2*r = 2*t + 3*t + 12, -3*r = -3*t - 9. Let n = -3 + t. Is u(n) a composite number?
True
Let q(d) = 4*d**3 + 14*d**2 + 13*d + 16. Let i be 55/15 + (-4)/6. Let a(h) = -h**3 + 1. Let w(j) = i*a(j) + q(j). Is w(-8) prime?
False
Suppose 4*b = 4998 + 1994. Suppose 0 = 41*m - 45*m + b. Is m a composite number?
True
Suppose -4*b + 3*z + 15893 = 2*z, z - 3 = 0. Suppose 0 = -2*k - 0*k + b. Is k composite?
False
Suppose -3*j + 2713 = 2*o - 3622, -j + 3 = 0. Is o a composite number?
False
Let v = -139 + 257. Let i(n) = -40*n**2 - 2*n - 1. Let j be i(-1). Let u = v + j. Is u a prime number?
True
Let x = -2570 - -6133. Is x a prime number?
False
Let b be (-2)/11 - (-93)/(-33). Is 13