 Suppose 0 = -m*s + 3*s - 4011. Is s a composite number?
True
Suppose -11*u + 16*u - 11930 = 3*o, -o = 5*u - 11930. Is u a composite number?
True
Suppose 35*s + 12*s - 2475297 = -52*s. Is s a prime number?
False
Let f be 29/(-3)*(-11 + 593). Let i = -1343 - f. Is i prime?
True
Suppose 181*k - 204*k = -425017. Is k prime?
False
Suppose -777540 + 5334524 = 2*t - 379086. Is t composite?
True
Is 11 + -6 + 706464/8 prime?
False
Let x = 509 - 507. Suppose 24382 = 2*g - r, x*g + 3*r - 14304 - 10094 = 0. Is g prime?
False
Let s = 817698 + -101419. Is s a composite number?
False
Suppose 0 = -5*a - 3*j + 33271, 2*a + 33*j - 31*j - 13310 = 0. Is a a composite number?
False
Let n(b) = -2*b + 2. Let k be n(1). Let u be k/((6/(-3))/(-2)) - -3. Suppose s - u*w + 1351 = 5*s, -3*s + 1010 = -w. Is s prime?
True
Suppose -2 = 4*i + 10. Let t be 1 + (3 + i - -2). Suppose -n - 4*l = -6*n + 902, -n + t*l + 187 = 0. Is n a prime number?
False
Suppose 5*r - 20576 - 78014 = 5*g, 4*g = -4*r + 78848. Is r prime?
False
Suppose 37*r = 30*r + 84. Is ((-8)/r)/((-8)/8076) a composite number?
False
Let z(j) = -415*j - 6. Let y be z(3). Let r = y + 1893. Suppose -5*o = 2*c - r, 2*c = 2*o + 875 - 205. Is c a prime number?
True
Let i = 22341 - -12956. Is i composite?
True
Let a = 521852 + -349381. Is a composite?
True
Suppose 0 = 11*k + 111 - 23. Let v(l) = -14*l**3 - 7*l**2 + 21*l + 29. Is v(k) prime?
True
Suppose h + f + 3 = -2, -3*h + 2*f = 10. Is 1*h/(28/(-18263)) a prime number?
True
Let l = 201866 + 31725. Is l a prime number?
True
Let d(b) be the second derivative of -b**4/12 + 3*b**3/2 - 13*b**2/2 + 3*b + 1. Let o be d(5). Is o + 1970 + (-5 - 0) + 1 prime?
True
Let f(x) = 7*x**3 + 9*x**2 + 20*x + 1. Let s be f(-9). Let d = s - -9810. Is d a composite number?
True
Let k be (2/(-1))/(-3*(-2)/(-6)). Let u(x) = -17*x**2 + 6*x + 1. Let j be u(k). Let r = j - -58. Is r prime?
True
Let t = 13605 - -272276. Is t composite?
True
Let k = 720 + -716. Let h(u) = -6*u + 3. Let o be h(2). Is 30/o*(-474)/k composite?
True
Let y(j) = 11181*j**2 + 83*j - 1187. Is y(9) prime?
False
Let v(l) = 771*l**2 + l. Let t be v(1). Let w = t + -1204. Let h = w - -679. Is h a prime number?
False
Is (-11)/(-330)*-6 + (-1898694)/(-45) a prime number?
True
Let q(n) = 39*n**3 - n + 2. Let g be q(1). Suppose -2*t - g = -6*t. Is (1 - 14*t)/(-1) a composite number?
False
Is 1*2/4 + (-24 - (-662055)/46) composite?
False
Suppose 32*g = -41*g - 857082 + 36484805. Is g prime?
True
Let s = -88990 + 164873. Is s a composite number?
False
Suppose c + 45 = -0*u + 4*u, u - 4*c = 0. Let j = -5 + u. Suppose 4234 = j*x - 3949. Is x a composite number?
True
Let h(w) = 272*w**2 - 37. Is h(8) composite?
True
Is (-8)/(24/(-220581)) - 10 a composite number?
False
Let v = 73 + -57. Suppose 0 = -f - 7*n + 4*n + v, 38 = 3*f - n. Suppose 4*y + f = 25. Is y a prime number?
True
Suppose -391*a + 77943 = -390*a + 4*o, a - 77952 = 5*o. Is a composite?
True
Let g(k) = -60*k + 13. Suppose -2*f - 80 - 92 = 0. Let a = f - -65. Is g(a) composite?
True
Let f(r) = -21228*r - 505. Is f(-3) composite?
False
Suppose -3*x - 5*w + 30356 = 0, -2*x + 4*w = -0*x - 20252. Suppose -206*i = -200*i - x. Is i a prime number?
False
Is 615748/(-70)*(-25)/10 a prime number?
True
Let v(y) = 668*y**2 + 9*y + 101. Is v(-4) composite?
False
Let n(t) = -1972*t**2 + 13*t - 3. Let c(q) = -1973*q**2 + 10*q - 2. Let g(z) = -5*c(z) + 4*n(z). Is g(-1) composite?
False
Suppose 4*g - 859114 = -2*w, -15*w = -20*w + 15. Is g a prime number?
False
Let f(z) = 13*z**2 - 6 + 5*z - 3 - 11*z**2. Let h be f(-4). Suppose -2*v + 208 + 120 = -h*q, -4*v = -q - 646. Is v a composite number?
True
Let l(x) = -3*x**3 + 18*x**2 - 49*x - 15. Let s be l(11). Let j = s - -3624. Is j a prime number?
False
Is 205/41*411634/10 a composite number?
False
Suppose -r + c - 294 - 69 = 0, -5*c = r + 363. Let j(a) = -a**2 + 6*a + 15. Let b be j(-10). Let l = b - r. Is l prime?
False
Let c(y) = -3*y + 82. Let i be c(26). Suppose 8*x - 3*z + 71 = 9*x, 43 = x - i*z. Is x a prime number?
True
Let z(o) = -9*o**2 - 4*o + 10*o**2 + 7*o**2 - 1. Suppose 0 = -v + 1 + 5. Is z(v) composite?
False
Let o(d) = d**3 + 45*d**2 - 26*d - 127. Suppose -2*m = -s + 24 - 71, m + 224 = -5*s. Is o(s) prime?
False
Let a(m) = -67*m**2 - 12*m - 13. Let u(h) = -33*h**2 - 6*h - 6. Let l(b) = 2*a(b) - 5*u(b). Suppose 1 = -z - 2. Is l(z) composite?
True
Let y = -14 + 24. Let i(g) = 13*g**3 + 8*g**2 - 11*g + 15. Let v be i(y). Suppose v = -24*l + 29*l. Is l a prime number?
True
Suppose -3*n - 5*p = -333, -67 = -n - 3*p + 48. Let m = 109 - n. Suppose 5*o + m*o - 8696 = 0. Is o a composite number?
False
Let a be -107 - (-6 + (1 - -2 - 0)). Let t = 248 - a. Suppose v - 339 - t = -2*o, -3*o - 3442 = -5*v. Is v prime?
False
Let g = -10 - -17. Suppose 3*d = -2*q + 8, 3*d + 3*q + g = 19. Is (-6 - d)*(-669)/6 composite?
True
Let v(i) = 2708*i**2 + 201*i - 42. Is v(-7) composite?
True
Let f(h) be the first derivative of 241*h**4/4 + 2*h**3/3 - 3*h**2/2 - h - 81. Is f(1) a composite number?
False
Is 464390/(-4)*(-4 + 18/5) prime?
True
Let a = -506120 + 738861. Is a a composite number?
False
Suppose 216417 = 17*t - 14*t. Is t composite?
False
Let v(f) = -2*f**2 - 33*f - 49. Let p be v(-15). Let j(g) = 97*g**2 + 2*g - 1. Is j(p) composite?
False
Let i(h) = h**2 - 34*h - 113. Let d be i(-36). Let o = -8 - -13. Suppose -u + 479 = g, o*u = 2*g - g + d. Is u a prime number?
False
Let j(x) be the first derivative of 43*x**3 - 4*x**2 - x + 89. Is j(8) a prime number?
True
Suppose n + 8 = 10. Suppose -3*k + v + 1710 = n*k, -5*v - 1026 = -3*k. Suppose -3*p + 224 = -5*f, -3*p - p + k = 2*f. Is p prime?
True
Suppose 3*u - 3*q - 1690 = -2*u, 0 = 2*q + 10. Let o = u + 38. Is o a composite number?
False
Suppose 14*y + 24100 = -11*y. Let t = y - -1802. Is t a prime number?
False
Suppose -5*f - 4*k + 29241 = 0, -7*f + 5*f + 11703 = -5*k. Let i = -3396 + f. Is i a prime number?
False
Suppose -108*t + 430398 = -106*t - 503420. Is t prime?
True
Suppose -5*n + 25 = -2*z, 5*n - 35 = 6*z - 2*z. Suppose -n*w = -w + 8*w. Suppose -5280 = -4*u - 2*g + 15362, w = u + 3*g - 5148. Is u a prime number?
False
Let s(v) = 107*v**2 - 8*v - 356. Is s(-45) a prime number?
True
Is (3 + 2416891)*123/246 composite?
False
Let t = 46 - 43. Suppose t*o = 323 - 959. Let p = o + 375. Is p a prime number?
True
Let l = 194045 + -74898. Is l prime?
False
Suppose 14*n - 55 = 25*n. Is n - (-91 - (-3 - 4)) prime?
True
Suppose -s + 1 = 0, -4*h + 15426 = 5*s - 3*s. Let v = 6873 - h. Is v a composite number?
True
Let x be (576 + 2)*(-1)/(-2). Let p = x - 158. Is p composite?
False
Suppose 45*b - 50*b = -3*m + 1724744, 3449383 = 6*m + 5*b. Is m a prime number?
False
Suppose 2*p + 8*p = 3660. Suppose 4*v + p = 2*s, 5*s - 760 = 4*v + 161. Is s composite?
True
Let f(p) = -4*p + 14. Let k be f(1). Is (-28588)/(-14)*(k/4 - 1) a prime number?
False
Suppose -608563 = -4*n + 5*b, 3*n - 345*b = -346*b + 456446. Is n prime?
True
Let t(g) be the first derivative of g**5/20 - 13*g**4/12 + g**3/6 + g**2/2 - 13*g - 15. Let z(h) be the first derivative of t(h). Is z(14) a prime number?
True
Suppose -14 = -5*a + k, -2*a + 3*a - 4*k = 18. Suppose -4*p = 4*d - 55316, a*d - 27658 = 28*p - 27*p. Is d composite?
False
Suppose p - p - 5*p = 0. Suppose 3*b - 15 = p, 5*b = 12*u - 9*u - 10448. Is u a prime number?
True
Let j = 3772 + -1750. Suppose -417 - 2233 = 2*t. Let y = j + t. Is y prime?
False
Suppose -20*s - 5972 - 171068 = 0. Let j(w) = -12560*w**3 - w**2. Let g be j(-1). Let a = g + s. Is a a composite number?
True
Let v be 8 + -6 + -7 + -1. Is 3199 + (6 - 12/v) a prime number?
False
Let u = 336 - -64. Suppose 4*h + 540 + u = 4*z, 2*z - 3*h - 472 = 0. Is z prime?
True
Let r(j) = 3*j**2 - 24 - 13*j + 13*j + j**2 + 7*j**2. Is r(13) prime?
False
Let u = 27509 - 8388. Is u a prime number?
True
Suppose 124*d - 68*d - 85*d + 23069065 = 0. Is d a prime number?
False
Let i(v) = 11352*v**2 + 3*v + 2. Let f(j) = -6 + 4*j - 4*j**2 + 21*j**2 - 11*j**2 - 5*j**2. Let g be f(-5). Is i(g) a prime number?
True
Let v = -4413 + 14515. Suppose -2*s - 570 = -v. Is s composite?
True
Let m(a) = -4*a**3 - 6*a**2 + 16*a + 34. Let v(j) = 13*j**3 + 19*j**2 - 49*j - 100. Let t(h) = 8*m(h) + 3*v(h). Is t(11) composite?
False
Let x(t)