 4*c + j*p = 758, 0*p + 4*p = 20. Is c a composite number?
True
Suppose -720 = -19*j + 24*j. Let o = 481 + j. Is o a composite number?
False
Let b(p) = 480*p**2 - 18*p - 5. Is b(4) a composite number?
False
Suppose -4*s = 3*v - 3335, v + 4 - 837 = -s. Is ((-1)/4)/((-11)/s) a composite number?
False
Is (-2120796)/(-372) - (-12)/(-186) prime?
True
Let z be (-1140)/(-48) - 2/(-8). Suppose -i - 25 = -z. Is i - ((4 - 1) + -791) composite?
False
Suppose w - 21547 = -3*f - 3*w, -4*w = -5*f + 35869. Is f a prime number?
True
Let w = -752 + 1258. Let j = -283 + w. Is j a prime number?
True
Suppose -5*n - 3*y + 642 + 1230 = 0, y = -n + 376. Is 4 - 1*n/(-4) a prime number?
True
Let d = -51 - -31. Let c be (d/(-30))/((-2)/24). Is 644 - (-2 - (c + 3)) composite?
False
Suppose 2*z - 1276 = -680. Is z a composite number?
True
Let n be 12*((-1)/(-2) + 0). Suppose -w = -n*w + 100. Suppose -3*s + w = -l + 231, l - s - 219 = 0. Is l a prime number?
True
Let v = 14 - 10. Suppose -2*w = 2*o + 2, -4*w + 5*w + 13 = -5*o. Suppose -5*f = v*k - 381, 5*f - w*k - 208 - 179 = 0. Is f prime?
False
Suppose -10225 = -y - 1482. Is y composite?
True
Is (-2)/(2/(-915)) - (1 + -5) composite?
False
Let d = 421747 + -267962. Is d composite?
True
Let p(m) = -120*m + 1 + 29*m - 62*m. Suppose -h - 18 = -4*r, r = h + 3*r - 6. Is p(h) prime?
True
Let m be 6 - (-7)/((-7)/6). Let b(z) = -4*z + 120. Let q(x) = -5*x + 121. Let r(t) = 6*b(t) - 5*q(t). Is r(m) composite?
True
Suppose -3*j = 5*v - 1776, -2*v = -4*j + 2029 + 313. Is j prime?
True
Let v = 48 + -46. Suppose 5*f - m - 1 = 0, 5*f - 4*f + 5*m + 5 = 0. Suppose v*b + t - 105 = -f*t, -b = 3*t - 40. Is b a prime number?
False
Let v(k) = -49*k - 2. Let q(u) = -u**2 + 13*u + 8. Let m be q(14). Let x be v(m). Suppose -n + x = 2*n - 5*c, -466 = -5*n - 2*c. Is n composite?
True
Let t be -2 + 6/(12/(-14)). Let v be (6/t)/((-4)/30). Suppose 8*s - 291 = v*s. Is s prime?
True
Suppose v - 2794 = -5*s, -v - 3*v + 11291 = -3*s. Is v prime?
True
Suppose -3*t + 4 + 11 = 0. Suppose 4*n + 8 = 4*i, 3*n - 14 = -t. Is i/10 + (-306)/(-4) prime?
False
Suppose -b = 7*b - 18328. Is b a composite number?
True
Let n = 43 - -7. Suppose 4*q - 2*p - n = 0, q + 0*p + 1 = -4*p. Let x = 94 - q. Is x a prime number?
True
Let a = -871 - -11754. Is a prime?
True
Let u = -26 + 27. Let r be (-16965)/(-27) - u/3. Suppose -2*x + 6*x = r. Is x a prime number?
True
Let m = -139 - -79. Let r be (-1)/6 + 230/m. Is r/14 + 1507/7 prime?
False
Let d(h) be the second derivative of h**5/20 - 5*h**4/12 - 4*h**3/3 + 9*h**2/2 - 2*h. Let q be d(6). Is q/((-9)/(-489))*-1 composite?
False
Let i(y) = -y**3 - y**2 + 2*y + 839. Is i(0) a composite number?
False
Let c = 7 - 4. Suppose -2*s = c - 9. Suppose 0*h - s*t + 194 = 4*h, h = 2*t + 43. Is h a composite number?
False
Suppose 3*m + 3198 - 24875 = -5*q, -5*m + 8686 = 2*q. Is q a prime number?
False
Let m be -1 + -1 + 4/(-2). Let p be (-5319)/m + 2/8. Suppose -p = -4*n + 1194. Is n prime?
True
Suppose 7*t - 30 = -3*t. Is (1/t)/(1*4/1068) a composite number?
False
Let d(o) = 4875*o + 29. Is d(4) a composite number?
True
Let i = 28662 + -15947. Is i a composite number?
True
Suppose 0*b = -b + 8. Suppose 0*o = 2*o. Is 41/(4/b - o) a prime number?
False
Let g(j) = 541*j**2 - 2*j + 2. Suppose -3*h + 5 = 2*h. Suppose 0 = -i + 1, h = -4*k + 8*i - 3*i. Is g(k) prime?
True
Let h = -145 - -1614. Is h a prime number?
False
Suppose t + 5 = 0, 6*t = 5*b + 3*t + 5210. Let o = 2106 + b. Is o prime?
True
Let r(c) = 2*c - 2. Let m be r(2). Suppose 54 = 41*p - 69. Suppose -m*q = p*q - 565. Is q a prime number?
True
Suppose -2*q + 3*h + 2053 = 0, 4*q - 2*h + 606 - 4692 = 0. Is q prime?
True
Suppose 81*d - 79*d - 4654 = 0. Is d a prime number?
False
Let x(f) = 65*f + 5. Let y be -2*(3 + 5/(-2)). Let u be (-1)/2*(-11 + y). Is x(u) prime?
False
Suppose 0*l + 25 = 5*l. Suppose l*f = -j, 2*f + 23 = 4*j - f. Suppose -10*r + j*r + 1585 = 0. Is r prime?
True
Suppose 222 = -n - 274. Let s = -19 + 21. Is s/2*(9 - n) a prime number?
False
Let j(x) = 3*x**3 + x**2 - 19*x - 16. Is j(9) a prime number?
True
Let c = 10 - 8. Suppose -3*q + 25 = c*q. Suppose 9 + 13 = g - 3*d, q*g + 2*d - 42 = 0. Is g composite?
True
Let o = -3774 + 8357. Is o a composite number?
False
Suppose 22 = 3*m - 2. Suppose m*n - 1024 = -360. Is n a composite number?
False
Is 29150/77 - 3/(-7) a composite number?
False
Suppose -2*t - 3*t = 0. Let h(a) = -3*a**2 + 9*a - 9. Let i(u) = -u**2 + 4*u - 4. Let p(w) = 2*h(w) - 5*i(w). Is p(t) a composite number?
False
Suppose 0 = -i - 5*k - 13, -4*k - 2 = 10. Suppose 0*b - i*b - 5*p = -667, 0 = 2*b + p - 663. Is b composite?
False
Suppose t + 3*t = 4*z - 80888, 5*t - 80861 = -4*z. Is z prime?
True
Let x(i) = -482*i - 16. Let v(m) = 161*m + 5. Let k(p) = 10*v(p) + 3*x(p). Let l be k(1). Suppose 5*c - 13 = -3*t + l, 2*c - 53 = 5*t. Is c a composite number?
True
Let j(z) = 262*z**2 - 19*z + 5. Is j(6) a prime number?
True
Let s = 8 - 5. Suppose -884 = -s*y - y. Is y prime?
False
Suppose 2*h + 184 = -n, -4*n + 7*h - 791 = 4*h. Is 1*n*(2 + -2 + -1) a prime number?
False
Suppose 3*n + 1224 = h, -3*n = -0*n - 12. Let d = h + -149. Is d a composite number?
False
Let z = -74 + 25. Let r = 101 + z. Suppose -330 = -2*u + r. Is u a prime number?
True
Let a be 30/(-9)*(-18)/10. Suppose 0 = -y - 3*u + 2, 4*y - 8 = -2*u - 0*u. Suppose y*s - 20 + a = 0. Is s composite?
False
Suppose 0 = -2*h - 47 - 109. Let l = h + 239. Is l composite?
True
Is (-2 - -3)*(67 - 9) a composite number?
True
Suppose 298957 = 58*t - 447445. Is t composite?
True
Let k(p) = 21*p - 149. Is k(30) a composite number?
True
Let w = -1559 - -2356. Is w a composite number?
False
Suppose -4*y + 211086 = 2*b, b + 9*y = 4*y + 105549. Is b prime?
False
Suppose -4*d - 4*k + 8056 = 0, -10100 = -2*d - 3*d + k. Suppose d = 54*g - 51*g. Is g composite?
False
Let h(l) = -9*l**3 + 5*l**2 + 6*l. Let p be h(-5). Let v = p - 547. Is v a composite number?
False
Let m(a) = 3692*a**3 - 2*a**2 + 4*a - 3. Is m(1) a prime number?
True
Let v(d) be the third derivative of 19*d**5/60 + 3*d**4/8 + 7*d**3/6 + 5*d**2. Is v(15) a composite number?
True
Let q(u) be the second derivative of u**3/6 + 33*u**2/2 - 31*u. Is q(6) a composite number?
True
Suppose 2*p = -2, -4*q = -0*p - p - 17. Suppose 518 = -2*k + q*k. Is k a prime number?
False
Let l = 6 - 4. Let r be l + (-4)/(-1) - 1. Suppose -r*z - 165 = -w, -4*w - z + 257 + 319 = 0. Is w composite?
True
Let j = 24 - -7. Let h = 33 - j. Suppose -h*u + 874 = -2*g, 0*u = 5*u + 2*g - 2199. Is u a composite number?
False
Suppose 15*u - 13367 = 100678. Is u a composite number?
False
Suppose -4*u + 52 = -0*u. Let b = 3 - u. Is (12/(-2))/(b/355) a composite number?
True
Let k(g) = 549*g**2 - g + 6. Let c(t) = -548*t**2 + 2*t - 5. Let b(s) = -3*c(s) - 2*k(s). Is b(2) a prime number?
True
Let u = 2671 - 424. Let o = u - 3871. Let m = o - -2375. Is m a composite number?
False
Let w be (84/(-35))/((-3046)/1015 - -3). Suppose -w - 1878 = -6*t. Is t composite?
False
Let r(i) = i**3 + 8*i**2 + 6*i - 4. Let q(y) = 3*y + 4. Let j be q(-4). Let t be r(j). Is -2 - 6*t/8 prime?
True
Let s(d) = 2*d**3 + 14*d**2 + 14*d + 2. Let w(m) = m**3 + m**2 - 1. Let k(o) = -s(o) + 5*w(o). Is k(11) a prime number?
False
Let f be -26 - (-3 - 1 - 0). Let s = f + 24. Suppose 494 = -0*o + s*o. Is o a prime number?
False
Suppose 77*b + 3302 = 79*b. Is b a composite number?
True
Let w = 60 - -81. Suppose w = 5*r - 109. Let d = r + -31. Is d composite?
False
Suppose a = 889 + 1012. Is a prime?
True
Let s be 2 + -4 - 47 - -1. Let v(j) = j**2 - 8*j - 105. Let k be v(-12). Let d = s + k. Is d a prime number?
False
Let i be (-1)/(-2)*(-284)/2. Let b = -923 + 922. Is b*i/(4 + -3) a composite number?
False
Suppose 4*b = 7*b - 3972. Let w(j) = -j**3 + 11*j**2 + 16*j + 5. Let y be w(11). Suppose b = 5*c - y. Is c a composite number?
True
Let a = 384 + -1062. Let v = 115 - a. Is v prime?
False
Let x(t) = t**2 - 8*t + 11. Let u be x(3). Is ((-1)/u)/(5/(-117680)*-4) a composite number?
False
Suppose -3*k = -10*k. Suppose k = t - 10*t + 3357. Is t composite?
False
Let x(h) be the first derivative of -h**7/840 + 11*h**6/360 + h**5/10 + 13*h**4/24 + h**3/3 - 3. Let m(f) be the third derivative of x(f). Is m(10) prime?
True
Suppose 5