x, -5*c - x = -1185. Is c prime?
False
Is 67117 - ((15 - 9) + -7)*4 a prime number?
True
Let x(j) = 5652*j**2 + 572*j - 1139. Is x(2) composite?
False
Let o = 859 - 363. Suppose -o*t + 491*t + 129925 = 0. Is t a composite number?
True
Let j(v) = -v**2 - 14*v - 41. Let q be j(-9). Is q/(-4)*(3 - 10710/7) composite?
True
Suppose -46*y + n = -42*y - 21, -4*n - 4 = 0. Suppose -y*u + 3 = -17, 3*m - 4631 = -2*u. Is m prime?
False
Let k(c) = c**2 - 3*c - 41. Let f be 3*2*10*(-22)/165. Is k(f) composite?
False
Let n(w) = 3832*w - 829. Is n(9) a prime number?
False
Let n = -15654 - 1163. Is -4 + (-4)/2 - n composite?
False
Let u(z) = -67*z + 1670. Is u(21) prime?
True
Suppose -541*p - u - 237422 = -544*p, -u = -2*p + 158283. Is p prime?
True
Let t(n) = -n**2 - 6*n - 7. Let o be t(-5). Let l be (-28)/(-6) + o - 15/(-45). Suppose -l*a = 5*m - 14410, 4*a + 14445 = 5*m - 0*a. Is m a prime number?
False
Suppose -210*c + 209*c + 96371 = 2*q, -289143 = -3*c + 4*q. Is c prime?
True
Is (5/((-60)/2482448))/((-304)/228) a prime number?
True
Let x = 31787 + -21566. Is x a prime number?
False
Suppose 63*c - 39 = 50*c. Suppose -c*d = -3*s - 3910 + 75493, 0 = -4*s + 5*d + 95448. Is s a prime number?
True
Let n(s) = -2*s. Let k be n(-1). Suppose 4*p = -6 + 26. Suppose -2*f - 1154 - 578 = -4*z, -p*z + k*f + 2163 = 0. Is z composite?
False
Let i = -37 + 39. Is ((-6)/4 + -1 + i)*-40738 composite?
False
Suppose 5*s - 2*q - 1958 = 2624, 2*s - 5*q - 1837 = 0. Suppose -3*u = u + s. Let d = 387 + u. Is d prime?
False
Let y = -39477 + 65510. Is y a composite number?
True
Suppose 0 = -7*v - 22*v + 75516. Let k = 5683 - v. Is k a prime number?
True
Let v = -124514 - -313591. Is v composite?
True
Suppose 3*b + 104*b - 11270845 = 0. Is b a composite number?
True
Suppose 0 = -4*i + 5*i + 5*v - 7, -33 = i - 5*v. Let o(a) = a**3 + 13*a**2 + 9*a. Let n be o(i). Let w = n - -370. Is w composite?
True
Let x(k) be the first derivative of 13 + 7/3*k**3 + k - 1/2*k**2. Is x(7) a prime number?
True
Suppose 79*p - 1623285 + 235176 = 0. Is p a composite number?
True
Suppose 1336*t - 1276*t = 3428340. Is t prime?
True
Suppose -5*h + 4*w - 3*w = 0, -h = 3*w. Suppose -d = 2 - h. Is d - (1084/6)/(6/(-9)) a prime number?
True
Suppose 10872311 - 2436226 = 31*g - 4316292. Is g composite?
True
Is (1*-2)/((-44)/33)*11865376/48 a composite number?
False
Let r(u) = -8*u - 97. Let c be r(-12). Suppose 6*d - d + 45 = 0. Is 2483/5 - (d/(-15) + c) composite?
True
Let o(d) = 1972*d**2 + 88*d + 783. Is o(-8) a composite number?
True
Suppose 0 = 115*t - 298*t + 13279029. Is t a composite number?
True
Let q be 99 + -104 - 1/((-2)/(-2976)). Let l = -1024 - q. Is l a prime number?
False
Let b = -11493 + 108346. Is b composite?
True
Let w = -7642 + 15392. Let r = w + -12203. Let l = r - -7434. Is l a composite number?
True
Let p = 2449595 + -1459140. Is p composite?
True
Suppose 3*g = -186*t + 182*t + 137605, -5*g = 2*t - 68813. Is t composite?
True
Let f = 38405 - 78690. Let h = 3 - 5. Is (f/(-10))/(-7)*h a prime number?
True
Suppose -12*j = -3*j - 94205 - 168406. Is j a prime number?
True
Let a = 120 + -120. Let g(j) = j**3 + j**2 + j + 8485. Is g(a) a prime number?
False
Let b(m) = -1966*m**3 - 5*m**2 - 6*m. Let c(s) = 3*s**2 - 6*s - 1. Let w be c(2). Is b(w) prime?
False
Is (-3)/(6 - 3) + 22096/2 a composite number?
False
Let w = -22073 + 58754. Is w a prime number?
False
Let j = -15477 + 49804. Let b = -23676 + j. Is b a prime number?
True
Let d(p) = 1036*p**2 + 23*p - 199. Is d(-10) prime?
True
Is ((-741236832)/540 - (-1)/(-5))*(-1 + 0) a prime number?
True
Suppose -40 = -5*j + 3*m, -6*j + j - m = -20. Suppose -j*r + 3*l + 7346 = 0, r - 25*l = -21*l + 1459. Is r composite?
False
Suppose 0 = 16*v + 17*v - 66. Suppose -4*q + 35934 = 2*s, -v*s + 12*q + 35935 = 17*q. Is s a prime number?
False
Let t(l) = 62*l**2 + 19*l + 5. Suppose -5*v - 25 = 0, -5*w - 3*v - 4 = 31. Is t(w) a composite number?
True
Suppose 262225 = 5*t - 2*m, -1085*t = -1082*t - m - 157336. Is t a composite number?
True
Suppose 0 = -4*v - 4*a + 60, 4*v + a + 0*a - 51 = 0. Suppose 2*z + v = 10. Let d(r) = 821*r**2 + 3*r + 3. Is d(z) composite?
False
Suppose -6228309 + 642393 = -40*g - 2*g. Is g composite?
True
Suppose 3 = 3*b, -13 = -3*l - 0*b + 5*b. Suppose -3*y = l, -5*y - 31640 = -6*o + o. Is o prime?
False
Let i(t) = t**3 + 8*t**2 + 17*t + 27. Let w be i(-6). Is 3637*2/(-6)*w a prime number?
True
Suppose -84*t + 400 = -79*t. Suppose 0 = -4*m + 2*h - t, -80 = 4*m - 5*h + 6*h. Let v(u) = -15*u - 31. Is v(m) prime?
True
Suppose -2*r + 22 = -4*t, 5*r - 28 = -t - 6. Let w(y) = -5*y**2 + 6*y + 3. Let p be w(t). Let b = 163 - p. Is b composite?
False
Suppose 12*m = 17*m - 20. Suppose 2*i - 2*k - 1060 = 1248, i - m*k = 1163. Is i a composite number?
False
Suppose -c - 21 = 2*c + 3*z, 4*z + 7 = 3*c. Let y be c - (0 + 2 - 2). Is (4 + 970)*1 - y a prime number?
True
Let d = -43396 + 65919. Is d a composite number?
True
Suppose 70664 = 220*g - 215*g - 425591. Is g a composite number?
False
Suppose 0 = -27*o + 29*o - 5*y - 570042, -570058 = -2*o + y. Is o a prime number?
True
Let c = 71 + -66. Suppose -c*p - 15 = -650. Is p composite?
False
Let i(r) = 104*r**3 + 233*r**2 + 5*r + 389. Is i(25) a composite number?
False
Let i(b) = 9*b**2 - 2*b - 8. Let m be i(7). Let h = -835 + m. Let w = 981 - h. Is w a prime number?
False
Let a(c) = 12*c**2 + 3*c - 13. Let v = -8 + 11. Suppose 0 = -5*f - v + 23. Is a(f) a prime number?
True
Let d = 87 + -82. Suppose -9*b + 2454 = 2*r - 7*b, 3*r + d*b = 3689. Is r a prime number?
True
Suppose -5*x - 175381 = -w - 534943, 4*x = -3*w + 287661. Is x a prime number?
False
Let x be (-1 - 15310/(-5)) + -3. Let t = x - 499. Is t composite?
True
Let q = -36 - -108. Is (612/q)/((-1)/(-422)) a composite number?
True
Suppose -514902 - 744276 = 33*k - 39*k. Is k composite?
True
Let y be 5519 + -4 + 6 - 1. Let u = y - 2507. Is u prime?
False
Suppose 2*s + 4*z - 99763 - 1023749 = 0, 5*s + 3*z - 2808731 = 0. Is s a composite number?
True
Let p(a) = -2*a**3 + 2*a**2 + 1. Suppose -54*y = -50*y + 16. Is p(y) prime?
False
Suppose -a = -3*j - 162334, 3*a + 2*a + 5*j - 811730 = 0. Is a a prime number?
True
Suppose 2*o - 4*p = 265592 + 624318, -4*o + 3*p + 1779795 = 0. Is o/12 + 1/4 composite?
True
Let l(o) = -635*o**3 - 10*o**2 - 14*o + 349. Is l(-6) a composite number?
True
Suppose -6 = -n - 2*n. Let r(d) = -d**3 - 3*d**2 + 2*d. Let h be r(n). Is (h + 14)*311/(-2) composite?
False
Let r(h) = -h**2 - 13*h - 14. Let t be r(-21). Let p = -114 - t. Let x = 225 - p. Is x a composite number?
False
Suppose -5*a + 25 = 0, -5*m = -34*a + 35*a - 26820. Is m a composite number?
True
Let i(c) be the first derivative of 3*c**4/4 + 10*c**3/3 + 37*c**2/2 + 11*c - 89. Is i(17) a composite number?
False
Is (-4836104)/(-48) - (-195)/234 a prime number?
False
Let i = -856830 + 1206211. Is i composite?
False
Let r = 3448 - -51. Suppose -4*y + 3*t + 9956 = r, -5*t = 5*y - 8115. Is y a prime number?
False
Let f(u) = -9*u - 53*u + 12*u + 11. Suppose -n + 9 = -0*d - d, 3*d = -4*n + 8. Is f(d) prime?
True
Suppose 0 = 218*a - 162*a - 9193688. Is a a prime number?
True
Suppose 0 = 2*o - 5*y - 23, -7*y + 4 = -3*y. Is 4/o + (-19050)/(-14) prime?
True
Let t = 41 - 125. Let b = 137 + t. Is b prime?
True
Suppose -230291 = -3*r + 6*j - 5*j, 2*r = -4*j + 153518. Is r a composite number?
True
Let a = -639 - 396. Let x = a - -2434. Is x composite?
False
Suppose 15 + 5 = 5*t. Suppose -z - t*r + 6883 = -0*z, r = 3*z - 20701. Is z a composite number?
False
Let t = -72 - -76. Suppose -2*w = -t*w + 6. Is (-1042)/8*((-2 - 5) + w) prime?
True
Let t(w) = 114*w**2 + 8*w - 1. Suppose 0 = -5*u + 2*m - 128, -84 = 4*u - 0*u + 3*m. Let d = 27 + u. Is t(d) composite?
False
Suppose 0 = -v + 5*p + 69175, 215*v - 217*v + 138428 = 3*p. Is v composite?
True
Suppose -44*l = -39*l - 7810. Let w = l - -2631. Is w composite?
True
Let v(h) = -410 + 81*h + 800 - 412. Let y be 3/12 - 11/(-4). Is v(y) prime?
False
Suppose -50*p = -3*k - 46*p + 28975, 0 = 3*k - 2*p - 28979. Is k a prime number?
True
Suppose 21*s = 35*s - 39592. Let r = 5455 - s. Is r composite?
True
Let m be 3/36*4*6. Let v be 9/(-3) + 20/m + -2. Suppose v*p = 1919 + 596. Is p composite?
False
Let z = -16562 - -28641. Is z a prime nu