5*v - 4*l = 2*v - 2467. Let t = 644 - v. Is t prime?
False
Is (-4 + 2)*(-9 - -7)/((-16)/(-730724)) a composite number?
False
Let x be 17664/5 - 1 - 20/25. Let p = x + -40. Is p a composite number?
False
Let l be 8/10*(8 + (-110)/20). Suppose l*o + 52838 = 4*m, m - 18020 + 4828 = -3*o. Is m a prime number?
False
Let a = -231 + 237. Suppose -t = -a*t + 15, -t = 5*y - 142018. Is y a prime number?
True
Let o(l) = 638*l - 2143. Is o(66) prime?
False
Let c = 447 + -443. Suppose -4*w + 8161 = b, -w - c*w + 10175 = -4*b. Is w a prime number?
True
Is (28359 - 910) + (1 - 11/1) a prime number?
False
Suppose -6*o = -1261 - 4253. Suppose -4431 = -4*q - a, -2*q + o = 5*a - 1274. Is q a prime number?
True
Suppose 0 = -28*m + 37*m. Suppose 4*s - 20*s + 129568 = m. Is s a composite number?
True
Suppose 3*z + 2*d = 188, 2*z + 191 = 5*z + 5*d. Suppose 0 = 68*p - z*p - 12. Is (p + 15/(-6))/(5/(-10810)) a composite number?
True
Let b(j) be the first derivative of -7*j**4/2 + 3*j**3 + 5*j**2 + 11*j + 45. Is b(-6) a prime number?
True
Let o(n) = -n**3 + 16*n**2 + 38*n + 8. Let r be o(13). Is (3 + -12 - -6) + r*6 a composite number?
True
Suppose -2*v - 5*w = 26, 0 = v - 3*v - 4*w - 20. Let m be 3554/(2 - 0 - 1). Suppose 0*r + v*r - m = 0. Is r prime?
True
Let n be 854/84 + 3/36*-2. Let c(z) = 122*z**2 + 17*z - 75. Is c(n) prime?
False
Let m(a) = -a**3 + 37*a**2 - 35*a - 17. Suppose 2*w - 32 - 32 = 0. Is m(w) composite?
True
Let p = -17 - -14. Let k be p + (2 - 2) + (-1 - 0). Let g = k - -263. Is g prime?
False
Let x be -9 - -7 - 3/((-9)/12). Suppose x = 2*m, 2*t - 2225 = -9*m + 14*m. Is t a prime number?
False
Suppose 77*h + 44040 = 81*h. Suppose 2*s + 4 = -4, -h = -5*u - 5*s. Is u composite?
True
Let x be -3 + (-4 - -3) + 9. Suppose 5*w - 4 = 6, -4*n - x*w = -38294. Is n composite?
True
Let t = -79350 + 835715. Is t a prime number?
False
Let k(z) = 1222*z - 967. Is k(20) prime?
True
Suppose -w - 56100 = -2*m, 0 = -4*m - 84*w + 81*w + 112210. Is m composite?
False
Let l(m) = m**2 + 12*m + 5. Let z be ((-3)/(-2))/(3 - (-189)/(-60)). Let q be l(z). Is 9/q - ((-47052)/20 - 1) a composite number?
True
Let m(x) = -6*x**2 - 16*x + 40. Let t be m(9). Let v = t + 2089. Is v prime?
True
Let a(h) = 201081*h - 12784. Is a(9) prime?
False
Suppose 5*x = -6*g + 956819, 0*x + 3*x - 574095 = -3*g. Is x prime?
False
Is (3 - 5 - -1303726) + (59 - 48) a composite number?
True
Suppose 256*d - 258*d = -10. Let r(h) be the third derivative of 23*h**4/12 - 9*h**3/2 - h**2. Is r(d) composite?
True
Suppose -87*t - 83*t + 16538177 = -3*t. Is t a prime number?
False
Is (3*(-22)/33 - -1)*-9491 a composite number?
False
Suppose 30 = 3*b - 5*u, 4*u - 3*u + 8 = b. Suppose 4*r - b*w + 4*w - 21336 = 0, -r + 5353 = -5*w. Is r a prime number?
True
Let f be (46/(-92))/((-2 + 0)/12). Let n be (-61 - f)*142/(-4). Is n/6 + 6/18 a prime number?
True
Let t(z) = 15581*z + 126. Is t(11) prime?
True
Suppose 0 = 5*r - 4*f - 385441, -f = -11*r + 9*r + 154177. Is r composite?
True
Let l(s) = s**2 - 11*s - 21. Let d be l(13). Let u(n) = -12*n - 9. Let c(i) = -47*i - 37. Let o(g) = 2*c(g) - 9*u(g). Is o(d) a prime number?
False
Let k(u) be the first derivative of 25*u**2/2 + u + 13. Let d be k(1). Let j(s) = 68*s + 55. Is j(d) a composite number?
False
Is ((3 + 68/(-20))*5)/(42/(-6209553)) a prime number?
True
Suppose 3*p + 0*p + 216 = 0. Let g = p + -49. Is g/22*1*11*-2 composite?
True
Let y(m) = 771*m - 9. Let a be y(-4). Let j be a/(-7) + (144/28 - 5). Suppose o = -5*z + 556, -5*o + z - j = -3144. Is o prime?
True
Let w = 47 + -161. Let q = 104 + w. Is (q/40)/(2/(-3112)) a prime number?
True
Suppose -6*p + 15*p = 24390. Suppose -3*v - p = -u, v + 13592 = 6*u - u. Is u prime?
True
Suppose -2*y = 3*y + 225. Let h = -41 - y. Suppose -h*j - 4*t = -796, 2*j + 4*t = t + 403. Is j prime?
False
Suppose -1201998 = -p - 3*p + 103238. Is p composite?
False
Let n(k) = -86*k**3 - 16*k**2 - 24*k + 5. Let u be n(-11). Suppose 6540 + u = 19*t. Is t a prime number?
False
Let l(y) = -79*y**2 - 2*y + 8. Let s(q) = 78*q**2 + q - 7. Let j(r) = -6*l(r) - 5*s(r). Let i be -4*6/(-3) + -2 + -1. Is j(i) a prime number?
False
Let v = -2 + 2. Suppose -y = 3*i - 5 + 9, 2*i - 16 = 4*y. Suppose v = -i*k + 8*k - 2192. Is k a composite number?
True
Suppose 4 = x + 3. Let p be ((-46)/x)/((-44)/1474). Suppose 2*g - r - 611 = 0, -2*r = 2*g + 3*g - p. Is g prime?
True
Let i(c) be the third derivative of 867*c**6/10 + c**5/30 + 5*c**4/12 - 11*c**3/6 + 18*c**2 + c. Is i(1) a prime number?
False
Let k(u) = u**2 - 1. Let r(b) = 315*b**2 - 3*b - 2. Suppose -9 = -3*d + 3*j - 6*j, 5*d - 3*j = -1. Let f(c) = d*r(c) - 5*k(c). Is f(-2) composite?
False
Let h be 2*(0 + -1)*(-41084)/8. Let u = h + -3737. Suppose 3*i - 5*d - u = -i, -i + 5*d = -1641. Is i a prime number?
False
Let c = 2504 + -1531. Let o = 1914 - c. Is o a prime number?
True
Let y(z) be the second derivative of z**4/3 - 17*z**3/3 + 7*z**2/2 - 20*z - 1. Is y(25) prime?
True
Let r be (-1 + -3)*(-4)/8. Let c be (-2 - 55)/(r/((-16)/(-12))). Is (1242/(-27))/(4/c) prime?
False
Suppose -18*p + 109874 = 2*o - 17*p, -109894 = -2*o + 4*p. Is o a prime number?
False
Let g(u) be the second derivative of -586*u**3/3 - 363*u**2/2 + 110*u - 1. Is g(-12) prime?
False
Let x(j) be the first derivative of -4 + 27/2*j**2 - 25*j. Is x(16) composite?
True
Suppose 199 + 81 = -5*y. Is (-72)/y + -1 + 12437/7 a composite number?
False
Let u(r) be the second derivative of -r**4/12 + r**3 - 2*r**2 + 13*r. Let s be u(4). Suppose s*c - 5*a = -3*a + 1518, -4*c + 1517 = -a. Is c a prime number?
True
Suppose -1952 - 370 = -9*u. Suppose 2*a - u = -3*f, 2*f + 330 = 6*f - 2*a. Suppose 551 = 5*p - f. Is p a composite number?
False
Let v = 53 - 50. Is 3223/(v - (-3 - -11)/4) prime?
False
Let t(n) = 23*n**2 - 23*n - 6. Let p(s) = s**2 + 8*s + 13. Let h be p(-8). Let z be t(h). Let j = 5341 - z. Is j a prime number?
True
Let v(u) = u**2 - 5*u + 25. Let j(d) = -d**3 - 12*d**2 + d + 15. Let h be j(-12). Suppose 4*p + 3*w = -43, -2*p - 48 = p - h*w. Is v(p) a composite number?
True
Suppose 5*y - 6*o = -2*o + 4839, -2*y + 1930 = -3*o. Let s = 5506 - y. Is s prime?
False
Let f = -55 + 54. Let t be (-4 - f/1) + (11 - 3). Suppose d + 1492 = t*d. Is d prime?
True
Let g = 68 - 124. Let d = g + 56. Suppose 8*a - 1910 - 5762 = d. Is a composite?
True
Let m = 223221 - 64600. Is m a composite number?
False
Is 235412770/918 + (-3)/(162/(-4)) a composite number?
False
Let n(c) = 181710*c**3 + 4*c**2 - 6*c + 3. Is n(1) a prime number?
True
Let x = 5951 - 1556. Suppose 1309 - x = -2*r. Is r composite?
False
Is ((-91)/14 - -6)/(8/4351264*-2) prime?
True
Let j be (-4 - -10 - 5) + (4 - 0). Suppose 4042 - 14171 = -2*d - o, -j*d + 5*o + 25285 = 0. Is d composite?
True
Let t(g) = -4699*g - 1615. Is t(-24) composite?
True
Let l(w) = 66067*w**2 - 18*w + 82. Is l(5) composite?
False
Let n(y) = 10*y**3 + 4*y**2 + 1. Suppose 5*b - 5 = 4*b. Suppose b = 2*g - 1. Is n(g) a composite number?
False
Is (5585850/(-1125))/(4/(-130)) a prime number?
False
Suppose 10869068 = -151*l + 16293053 + 12659624. Is l a composite number?
False
Let p be 0 + -3 - 207441/(-13). Suppose -2*f + 10*v + 7974 = 8*v, -v = -4*f + p. Is f a prime number?
True
Suppose -5*s + 131135 = 5*f, 52454 = 62*s - 60*s + 5*f. Is s a composite number?
False
Let n = 143799 - 16325. Is n a prime number?
False
Let t be (0 - 0) + 29 - 1. Suppose -5*k + 10 = j, -5*j + 12 = 3*k + t. Suppose -k*u + 1213 = -2348. Is u composite?
False
Let j = 366 - 158. Suppose -5289 = -21*q - 1740. Let z = q + j. Is z a prime number?
False
Suppose -2*z - 2*x + 122 = 0, 13*z + 62 = 14*z + 2*x. Is 87744/z - 5 - 4/10 composite?
True
Let s = -5 - -9. Suppose -s*t - 320 = 4*a, -5*a + 2*a + 92 = -t. Let r = t + 561. Is r a composite number?
True
Let d(m) = -2*m**2 - 10*m + 3. Let i be d(-5). Suppose 0*u - 28573 = -i*u - 2*n, u - n - 9531 = 0. Is u a composite number?
True
Let t be (-1)/((-1)/(185/5)). Let p = -34 + t. Is (-6316)/(-10) - p/5 prime?
True
Suppose 5*m - 28 = j, -17 = -4*m + 2*j - 3*j. Let y be m - ((-9)/15 - 12/30). Suppose 32236 = y*o - 2*o. Is o composite?
False
Let v(c) = -c**2 - c + 21. Let s be v(0). Let y(d) = d**3 - 89*d**2 - 88*d - 184. Let r be y(90). Is s + 5/(10/r) a composite number?
False
Suppose n - 