*r = 60014 + 44160, -w + 52097 = 4*r. Is w prime?
True
Suppose -10*c - 14 = -11*c. Suppose -c*q + 13226 = -5772. Is q a prime number?
False
Let r = -21070 + 55193. Is r a composite number?
False
Let n be 1*(-2)/6*0. Suppose -k + 2 = n, 4*a - 9268 = -k - k. Suppose -8*s + 716 + a = 0. Is s a composite number?
False
Suppose 0 = -2*r + 2*m + 12 - 8, -32 = -4*r - 4*m. Suppose -w = 5*p - 2979, -r*w + 0*w + 14807 = 3*p. Is w composite?
True
Suppose -13*y - 700 = 7*y. Let k(x) = 3*x**2 - 36*x + 36. Is k(y) prime?
False
Let l(w) = -7*w**2 - 4*w - 4. Let n(j) = 8 + 15*j**2 - 10*j**2 + 7*j + 10*j**2 + j**3. Let o(k) = -5*l(k) - 2*n(k). Is o(-3) prime?
False
Suppose 3*a + 5*v - 841 = 0, 3*v = -3*a - a + 1125. Suppose -i - a = -2663. Suppose 3*c - 2040 - 1163 = -4*f, 3*f = 2*c + i. Is f a prime number?
True
Let s(p) = 10013*p**2 + 101*p - 405. Is s(6) composite?
True
Let q(y) = y**3 + 2*y + 5. Let u be q(0). Let i(j) be the second derivative of 10*j**3/3 + 31*j**2/2 + 2*j - 159. Is i(u) a prime number?
True
Let u(o) = 43*o**2 + 4*o + 4. Let b(k) = 86*k**2 + 7*k + 8. Let y(c) = -4*b(c) + 9*u(c). Is y(-5) prime?
True
Let i = -25362 - -40331. Is i prime?
True
Let g(k) = -1046*k**3 + 4*k**2 + 23*k + 12. Let v be g(-3). Let w = v + -12800. Is w a composite number?
True
Is 12039 + ((1 - 0)*12/(-6) - 0) prime?
True
Suppose 0*g = -g - 1, -21488 = -4*w + 4*g. Let u = w - 1970. Is u prime?
False
Is -2*-3*137929/66 composite?
False
Let n = -906 - -909. Suppose 3*j = -5*i + 24218 + 10100, -n*j + 6854 = i. Is i prime?
False
Suppose 4*q = 5*p + 473549, 0 = 2*q - 2*p - 2*p - 236782. Is q composite?
True
Suppose 0 = 11*y + 5570 - 37206. Is 30/12*(0 + y/10) composite?
False
Let v be (-4)/((-12)/9) - -4. Is (-4306)/4*(-9 + v) composite?
False
Let g be 12/(-18) + (-39)/9 - -5. Suppose 593317 = -g*b + 17*b. Is b composite?
True
Let s = -53 + 46. Let c(w) = -w**2 - 6*w - 7. Let k be c(s). Let f(n) = 4*n**2 + 7*n - 13. Is f(k) composite?
False
Let s(u) = 4*u + 1. Let g be s(1). Suppose 0 = 15*k - 9443 + 9383. Suppose k*l - g*l + 158 = 0. Is l a prime number?
False
Let s(r) be the first derivative of 15565*r**3/3 + 2*r**2 - 2*r - 103. Is s(1) a prime number?
False
Let v be (-6 + 3)*-1 - 1. Suppose 0*y - v*y + 2460 = 0. Suppose c - y = -5*c. Is c composite?
True
Let j be 24/(-5)*(-148980)/312. Suppose 0 = 3*k + q - 15, q = 5*k - q - 25. Suppose 2*t - t + j = 3*g, k*t = -15. Is g prime?
False
Let n = -103875 - -204406. Is n composite?
True
Let a(s) = -274*s - 21. Let w(f) = 16 - 5*f**2 + 6*f**2 + 0*f**2 + 13*f. Let m be w(-11). Is a(m) prime?
False
Let j = 53712 + -23419. Is j a composite number?
False
Let y(t) = -227205*t**3 + 2. Is y(-1) prime?
True
Suppose -2297 = -4*f + 3*n + 2639, 5*n + 1217 = f. Is f prime?
True
Suppose -5*d - 16*t + 49 = -17*t, d - 2*t - 17 = 0. Suppose j + d*j - 25990 = 0. Is j a prime number?
False
Suppose 2*c - i - 7423 = 0, 5*c - 8*c - 2*i = -11131. Suppose 9*l - 8*l = c. Is l a composite number?
True
Suppose 0 = 153*v - 22782804 + 33070098 - 89949345. Is v composite?
True
Let m(r) = -r**2 + 53*r + 195. Let i be m(56). Let o = 1016 - 350. Is o/i*21/2 composite?
True
Let f(g) = -159*g**3 + 7*g**2 - 4*g - 4. Let l be f(4). Let a = -6869 - l. Suppose 0 = -5*n + 5*b + 3812 + 1533, -3*n + b = -a. Is n a prime number?
False
Suppose 30420 = -12*v + 362112. Is v a composite number?
True
Suppose 2*v + 6573 = -3*s, 3*v + 2*s = 7*v + 13186. Let y = v - -5243. Is y composite?
False
Let p be (3 - (-107973 - -4)) + -3. Is p/101 - 1/(-2)*0 prime?
True
Let y = -19 + 16. Is -6*2/12*y - -103 composite?
True
Let u(q) = q**2 + q - 2. Let g be u(1). Suppose -3*m + g*m + 12 = 0. Suppose -h - m*o + 474 = 49, 4*h - 1757 = 3*o. Is h composite?
True
Let h = -279 - -241. Let f(o) = -12*o - 147. Is f(h) composite?
True
Let d be 1/(-3) - (42810/(-45) + 3). Let r be 2 + (-1 - (-2 + 0)). Suppose -5*h + 3*h - d = -2*a, r*h - 2410 = -5*a. Is a composite?
False
Suppose -5*a - 5*t = -4*t + 28, -15 = 5*t. Let p be (((-35)/21)/a)/(1/12). Suppose o - 103 = 2*n, -5*n + 470 = p*o + o. Is o a prime number?
True
Let t(s) = 123*s + 28 - 63*s - 58*s. Let w be t(-13). Suppose w*b - 4*b + 1842 = 3*a, -5*a - b + 3070 = 0. Is a prime?
False
Let v(a) = -3*a - 17. Let p be v(-4). Is 20/p + (-2231)/(-1) composite?
True
Suppose -2*c = 240 + 2452. Let s = c + 2337. Is s composite?
False
Let g(b) = -b**3 - 20*b**2 - 34*b + 42. Let z be g(-18). Let v be (30388/z)/(18/(-54)). Is (-32)/24 - v/6 a composite number?
False
Let f = 261 + -251. Let i(l) = -l**3 + 15*l**2 - 14*l + 11. Is i(f) prime?
False
Suppose -126 = 11*g - 14*g. Suppose 39*u - g*u - 12 = 0. Is (-1 - u) + 142*4 a composite number?
False
Suppose -12*t - 88371 - 94653 = 0. Let f = -9625 - t. Is f composite?
True
Suppose 5*w = -t + 23, 0 = -5*t - 4*w + 169 + 51. Let r = 48 - t. Suppose 0 = -r*f + 4*f - 4*j - 2252, -5*f + 2829 = 2*j. Is f a prime number?
False
Let q(a) = 2616*a**2 + 12*a + 25. Is q(9) a prime number?
True
Let j(z) = 3*z**3 + 5*z + 5. Suppose 4*x = 12 - 16. Let g be j(x). Is -1 + 1154 - (g - (4 - 3)) a prime number?
False
Let p = -131574 + 225827. Is p a prime number?
True
Suppose 0 = -13*z - 3*z + 118952 + 112296. Is z composite?
True
Let o = -614 + 616. Is (-452508)/(-308) + (o/(-11) - 0) a prime number?
False
Let r(w) = -62995*w + 208. Is r(-1) a prime number?
False
Let q be 5/((-125)/(-385) - (-6)/(-33)). Is (q - 27)*2518/16 a prime number?
True
Let t = -1713 + 1719. Suppose 4*d - 1288 = 4100. Suppose 0 = -3*p + t*p - d. Is p a composite number?
False
Let y(m) = -527*m + 1. Let j be y(6). Let b be (4/(12/j))/(1/3). Let w = 4816 + b. Is w a composite number?
True
Let g be ((-90)/(-12))/((-1)/(-2)) - -2. Let u(f) = 105 + 39*f + 13*f + g*f - 67. Is u(7) a prime number?
True
Suppose 5*x + 5*v - 233798 - 909342 = 0, -685812 = -3*x + 5*v. Is x a prime number?
True
Let l(n) = 23*n**2 - 575*n + 139. Is l(-83) prime?
False
Let k(q) = 526*q**2 + 2*q + 2. Let h be k(6). Suppose 5*w - h = 5*r + 38360, -4*r = 4. Is w a prime number?
False
Let c be (-5090)/50 + 1/(-5). Suppose 2122 + 370 = -4*f. Let u = c - f. Is u prime?
True
Let n be (-4)/30 + (-5671)/(-795). Suppose 6*r + n*r = 447629. Is r a composite number?
True
Suppose -839661 - 197923 = -16*n. Is n a prime number?
True
Suppose 3*a - 161713 = -2*y, -4*y + 157*a - 156*a = -323391. Is y a prime number?
True
Let f = 2042 + 2295. Suppose -f = -8*j + 30535. Is j composite?
True
Let r be ((-124)/93)/(-3*(-2)/423). Let x = 397 - r. Is x composite?
False
Let l be (-31)/(-8) - (-5)/40. Suppose -447 = -l*r + 429. Let f = 668 + r. Is f a composite number?
False
Let c(y) = 5*y - 18. Let b be (1/(-5)*8)/(6/(-15)). Suppose 42 = 2*k - b*i, 2*i - 6*i - 64 = -4*k. Is c(k) composite?
False
Let n(u) be the first derivative of 370*u**3/3 + 5*u**2/2 + 24*u + 12. Is n(-7) a prime number?
True
Suppose 8*d + 3 = 27. Suppose 0 = -h - 4, -d*b - 2*h = -5*h - 18. Suppose 114 = b*u + 28. Is u a composite number?
False
Let w be -31 + (9 - (-3 + 5)). Is (-3233317)/(-138) - (-20)/w prime?
False
Let k be -1 + (-4 + 6 - -3896) - 0. Suppose -5*l = 4*h + 18108 + k, -l - 5*h - 4422 = 0. Let x = l + 6430. Is x a prime number?
False
Suppose 572 = -3*u + 665. Suppose -27*w + u*w = 12148. Is w a composite number?
False
Let h be 10/(-1)*15/30. Let y be 1433/h - 2/5. Let u = 414 + y. Is u a prime number?
True
Let z be -1 + 4 + 5 + -11. Let q be (-1)/z + 28/(-12) + 424. Is q/(-3)*(18/(-4) + 3) a prime number?
True
Let b = -38538 + 67569. Is b prime?
False
Let t = 716272 - 255779. Suppose 22*d - 33*d = -t. Is d a composite number?
False
Is ((-12)/48 - (-2)/(-4))*1153624/(-6) prime?
True
Let o(r) = 88*r - 3. Let a be o(2). Suppose 118 = -11*h - 388. Let v = a + h. Is v a composite number?
False
Let a(n) = n**2 - 30*n + 89. Let c be a(25). Is (13887/c)/(-1 + (-3)/(-4)) prime?
True
Suppose -59*a - 9*a = 28*a - 3650784. Is a a composite number?
True
Let g(b) = 3*b**3 + 73*b**2 - 32*b - 71. Is g(-19) a prime number?
False
Is (-42 - -35)/((-14)/19658) a prime number?
True
Suppose 3*a - 18 = -5*v, 3*v = 4*a - 4 + 9. Suppose -2*z + 10 = 3*z. Suppose -z*o = 5*x - 1245, 5*x + 357 = v*o + 1627. Is x prime?
True
Suppose -3*c = 4*m - 127000, 2*c + 180188 = 5*m + 21461. Is m prime?
False
Let f(b) = -b**3 + 15*b**2 - 15*b + 24. Let t be f(