 = -q*s - 85. Is i prime?
True
Is (-372)/(-52) + (-8)/52 - -140326 - -6 prime?
True
Let w(n) = 3213066*n**3 - n**2 + 150*n - 150. Is w(1) a composite number?
True
Let l = -181 - -218. Suppose -l*a = -740591 - 82326. Is a prime?
False
Let h = -211439 - -322246. Is h a prime number?
True
Let h(w) = w - 8. Let i be h(3). Let t(y) = y**3 + 8*y**2 + 5*y. Let b be t(i). Let g = 21 + b. Is g a prime number?
True
Let j(d) = 1196*d**3 + 44*d - 57. Is j(7) a prime number?
False
Suppose 0 = 5*a - 275 - 360. Is (-2 - -5)*a*380/60 a prime number?
False
Let v(b) = -b**2 + 8*b**2 - 12 - 8*b**3 + 2*b + 7*b**3 + 0*b**3. Let c be v(7). Suppose c*d + 13 - 35 = 0. Is d a composite number?
False
Is (1420/40)/(((-3)/16108)/((-12)/8)) a composite number?
True
Is 159/106*(-52970)/(-15) a composite number?
False
Suppose 88557 + 323534 = 17*j - 300056. Is j composite?
True
Suppose -1780*m + 1777*m = 2*y - 350996, y - 5*m - 175511 = 0. Is y a composite number?
True
Suppose x + 5 = 29. Suppose -40090 = -x*i + 15662. Is i a prime number?
False
Let a = -62 + 65. Suppose n = -s + 477, 2*s - s = -a*n + 1435. Is n a composite number?
False
Let i be -2*((-66)/(-12) + -5). Let s(f) = -1063*f + 6. Is s(i) composite?
False
Let i(b) = 45*b**3 - 3*b**2 - 6*b + 11. Let p = -79 - -84. Is i(p) a composite number?
False
Let k(d) = -186*d**2 + 15*d - 8. Let n be k(-7). Let v = n - -13890. Is v a prime number?
True
Suppose -439 - 113 = -8*r. Let m = 142 + r. Is m a composite number?
False
Let r be (-1 - -1)/(18/(-6)). Suppose 24*s - 26*s + 22820 = r. Let g = -8147 + s. Is g a prime number?
False
Suppose -4995878 - 7224335 = -43*v. Is v a composite number?
False
Let j(u) = -u - 8*u**2 + 267 + 254 + 10*u**2 - u**2. Let c be (-3)/(-2) - 12/8. Is j(c) prime?
True
Suppose 6*h = 6 + 24. Suppose 4*t - 21 = -s, 4*t + h = -3*s + 9*t. Let v(a) = 15*a**3 - 6*a**2 + a + 27. Is v(s) a composite number?
True
Suppose -3*y - 26*y + y + 3173156 = 0. Is y a prime number?
True
Let p(t) = 2*t**2 - 48*t - 17. Let z(r) = 27*r**3 - 4*r**2 + 2. Let x be z(1). Is p(x) a composite number?
True
Suppose -11*f - 255 = -6*f. Let o be (-6)/51 + 147/f. Is (-3)/((-9)/(-719))*o prime?
True
Let i(z) be the first derivative of 113*z**3/3 + z**2/2 + 35*z + 65. Is i(4) prime?
True
Let a = 171 + -158. Suppose a*g - 12*g = 919. Is g prime?
True
Let q(n) = -9*n**3 + 6*n**2 + 16*n. Let s(a) = a**3 - 7*a**2 + 8*a - 17. Let r be s(6). Is q(r) composite?
True
Let j be (-1 + 0)*(-4 - 1). Let t be (j - 359) + (-3 - 0). Let s = t + 1918. Is s prime?
False
Suppose 11*c = 243439 + 202666. Is c a composite number?
True
Suppose -o + x + 4 = -1, 4*o + 3*x - 20 = 0. Suppose 0*a - 5*a - o*m + 35 = 0, a + 4*m = 22. Suppose -3*i = -4*b - 2*i + 1911, -i - 953 = -a*b. Is b composite?
False
Let p be (0 - -5)*(-1258)/(-85). Suppose 67*m = p*m - 29995. Is m prime?
False
Suppose -3*y + 11576 = 5*h + 2357, -h + 3*y = -1833. Suppose t - 2819 = 5*g, 0 = -t - 2*g + 977 + h. Is t a composite number?
False
Let j(t) = -7*t - 14*t**2 + 5 - t + t**3 - 7*t. Let u be j(15). Suppose -u*x - 429 = -4144. Is x a composite number?
False
Let k = 37575 - -21758. Is k a prime number?
True
Let r(j) = 15123*j + 2. Let z be r(1). Is z/30 - (-35)/42 composite?
True
Let p = -10631 + 26978. Suppose -248*x + p = -245*x. Is x composite?
False
Let d = 18857 - 10380. Suppose -t = -2*s + d, -15*s + 12*s = -5*t - 12698. Is s composite?
False
Suppose 8*n = 6*n + 3*o + 469619, 2*n + 2*o = 469644. Is n composite?
True
Let b = 1442 - 678. Let t = b + -15. Suppose -2*s - p + t = 0, -2*p + 1483 = 4*s + 3*p. Is s a composite number?
True
Is 9654 + -261 - (-2)/(0 + -1) a prime number?
True
Let m = 327833 + -199356. Is m prime?
True
Let d(g) = g**3 + 8*g**2 + 8*g + 14. Let t be d(-6). Is -1 - -482 - (-304)/t a composite number?
True
Suppose -442*c = -447*c + 2*z + 640121, 4*z = c - 128053. Is c a composite number?
False
Is 20*16/(-600)*-10315 + 2/(-6) a composite number?
False
Is ((-164)/(-6))/(96/177264) composite?
True
Let i(k) = k**2 - 16*k - 34. Let z be i(18). Suppose -z*p = 4*p + 6. Is (-138787)/(-148) - (p + 7/4) prime?
True
Let h(u) = 255*u**2 + 220*u + 6808. Is h(-35) a prime number?
False
Suppose 963262 = 27*t - 284111. Is t composite?
False
Is (-7)/(392/(-51336)) + 2/7 prime?
False
Let l(i) = -8*i**2 + 29*i - 9. Let j(f) = 1. Let k(c) = 2*j(c) - l(c). Let d be k(13). Suppose 0 = -13*w + d + 1757. Is w prime?
True
Suppose 3*r = -s + 3882064, -12*r = -11*r - 2*s - 1294005. Is r a composite number?
False
Let q(m) = m**3 + 7*m**2 + 3*m - 13. Let a be q(-6). Let z be a + 256/(-56) - 60/(-7). Suppose -1933 = -z*v + 5744. Is v a composite number?
False
Suppose -1522 + 238 = -j. Let k be (472/12)/(((-32)/j)/(-8)). Let p = 17887 - k. Is p composite?
False
Suppose -21064 = -6*a + 140828. Suppose 0 = 571*k - 577*k + a. Is k composite?
True
Let a = 98648 - 64011. Is a composite?
True
Let y(h) be the first derivative of 1/3*h**3 + 12*h - 20 + 0*h**2. Is y(-5) a prime number?
True
Suppose -6*j - 1299 + 15237 = 0. Is j a composite number?
True
Let x(j) be the first derivative of j**3 + 2*j - 15. Let c be x(1). Suppose 0*b + y + 96 = b, -c*b = 4*y - 462. Is b a composite number?
True
Let n = -255 + 259. Suppose -4*x - 573 = -3*h, 5*h + 2*x - n*x - 955 = 0. Is h a composite number?
False
Let m = 88 + -358. Let i = 1279 + m. Is i a prime number?
True
Let c = 168 + -163. Suppose 3358 = 3*h + 5*z - 786, 6840 = 5*h - c*z. Is h prime?
True
Let p = -36 + 2. Let l = p + 237. Is l prime?
False
Suppose 279108 = -26*d + 4098950. Is d prime?
True
Let s(a) = -a**2 + 5*a + 7. Let b be s(-2). Let o(j) = -51*j + 62. Is o(b) prime?
True
Suppose 2*v - 6498 = 2*z, 0*v + 5*v - 16285 = -3*z. Let o = v + 135. Is o prime?
True
Suppose 6*r - 8*r + 3*t + 14 = 0, -10 = 5*t. Suppose -a - 12268 = -r*s + 5156, 4*s = -a + 17432. Is s a prime number?
True
Let k be (12 + 3)/(16/(-6) + 3). Suppose 44*p - k*p = -11863. Is p prime?
True
Let o = -27 - -41. Let p = o + -6. Is p/(-14) + (-5957)/(-49) composite?
True
Let k = -11 - -14. Suppose -4*r + 3*d = 19, 2*r - k*d = -21 + 4. Let a(l) = -317*l. Is a(r) a composite number?
False
Suppose 2*o = -4*v + 3780, -2*o = 2*v - 3*v - 3765. Let z = o + 1433. Is z a composite number?
True
Suppose -13*s + 9*s + 96 = 0. Suppose 3*o + x = -o + 32, x + s = 4*o. Suppose o*t - 5*t = 1114. Is t composite?
False
Let z(a) = 95*a**2 + 85*a - 6749. Is z(81) prime?
True
Let a = -9810 - -18329. Suppose -m + 1708 = 5*x, 2*x + a = 5*m + 6*x. Is m prime?
False
Is (2 - 20/(9 - 4))/((-2)/28913) composite?
True
Suppose 0 = -2*z + 11*z - 94815. Let y = -4324 + z. Is y a composite number?
False
Let o be 2 + 42/(-24) - 218/8. Let b = -55 + o. Let t = -49 - b. Is t composite?
True
Let h be (-2)/(-11) + (-1818328)/(-88). Suppose 4*j - 2*o = 27516, -4*j + 5*o = -7*j + h. Is j composite?
True
Let t(p) = p**3 + 32*p**2 + 26*p + 8. Let j be t(-14). Let y = j + 249. Is y a composite number?
True
Suppose 5*x - 1571*s + 1566*s = 1973905, 0 = 2*x - s - 789564. Is x prime?
False
Is 15/(-6)*-292091*(-6)/45*-3 a composite number?
False
Suppose 26*d = 10*d - 12*d + 1226932. Is d a composite number?
True
Let x be (11181 - (-56)/8) + 4. Is -1*10/(-2) - x/(-1) a composite number?
False
Let z(u) = 1045*u**2 + 32*u + 2. Is z(-3) composite?
False
Let h(b) = 6*b**2 + b - 3. Let p be h(1). Suppose -4986 = p*r - 51614. Is r a composite number?
False
Let c = 134 - 223. Let v = c + 81. Is (-2)/v - 2675/(-4) a prime number?
False
Is 2658*(-10)/(100/(-90)) - -7 prime?
True
Is (-2)/((-29)/(18841967/34)) prime?
True
Suppose 7*w - 22 + 1 = 0. Suppose -5*v + 96 = -d, -w*v - 2*d + 56 = -d. Suppose 8771 = -12*q + v*q. Is q a composite number?
True
Let y be 6*3/((-60)/(-70)). Suppose y*o - 186728 = 13*o. Is o a composite number?
True
Let b = -152 - -221. Suppose 0 = -5*m + b + 1301. Is m composite?
True
Let b(q) be the first derivative of 11 + 13*q + 43/2*q**2. Is b(16) a prime number?
True
Suppose 67*l + 103240 = 75*l. Suppose -7719 = -3*n - 6*x + x, -l = -5*n + 5*x. Is n a composite number?
True
Suppose 4*d - 644072 = -4*p + 263420, -5*p + 907488 = 4*d. Is d a prime number?
False
Let z(i) = 6278*i + 37. Let x be z(2). Suppose 2*l - 5*l + x = 5*b, 5*l - 2523 = -b. Is b prime?
False
Let m = 134543 - 20791. Suppose -28447 = -g + 5*f, -4*f +