1 + 2) + (-240)/(-60). Let m be ((-717)/9)/(1/(-6)). Suppose -3*q = -t - m. Is q a composite number?
False
Is ((-1)/3)/((36/5929578)/(-2)) a composite number?
False
Let d(n) = 33*n**2 + 10*n - 34. Is d(25) prime?
False
Let p(d) = -23*d + 3. Let h be p(5). Let m be h/(-24)*6/7. Suppose 95 = j + m. Is j prime?
False
Suppose 0 = b - 3*a - 3377, a + 3385 = -b + 2*b. Is b prime?
True
Let y(m) = m + 6. Let l be y(-7). Let q be l - (53 + 2 + -1). Is (-383)/(-5) + (-22)/q a composite number?
True
Let z be 2 + 3482/(4 + -3). Suppose -k - 5*i + 871 = 0, 2*k = -2*k + i + z. Is k prime?
False
Let j = 41436 - 14947. Is j prime?
True
Suppose -66*g - 13*g + 285269 = 0. Is g composite?
True
Suppose 4*x + 3356 + 1885 = c, x = 2*c - 10489. Is c composite?
True
Let c(d) = 45 - 20*d - 15*d - 3*d. Is c(-17) prime?
True
Let d(o) = -105*o**3 - o**2 + 14*o + 53. Is d(-6) composite?
False
Let n(o) = -20*o + 7. Let t(w) = 10*w - 3. Let l(y) = -4*n(y) - 9*t(y). Let q(r) = r**2 + 4*r - 1. Let z be q(-4). Is l(z) prime?
False
Let p be (-594)/(-4) - 15/10. Let f = p + 10. Is f a composite number?
False
Let w be (2/3)/((2/12)/1). Is 1349 - 4*(-2)/w composite?
True
Let n(t) = 13*t - 2. Let m be n(4). Suppose -374 - m = -4*w. Suppose -5*r = -w - 1209. Is r a prime number?
True
Let h(f) = -f**2 + 9*f + 3. Let g be h(9). Suppose 4*w - g = 5*x + 5, 0 = 4*w - 2*x - 8. Is (3 - 13)*w/(-5) a composite number?
True
Suppose -5*b - 7365 = -5*v, -v - 2*b = -5*v + 5900. Is v composite?
True
Suppose 0 = h - 0 - 1. Suppose -1 - h = 2*u - 3*j, 0 = 5*u - j - 8. Suppose 4*d + 20 = 0, -u*f - 4*d + 452 = 2*f. Is f a composite number?
True
Suppose 12*m + m = 39. Suppose -d - 6*r + 752 = -m*r, -d - 4*r = -755. Is d composite?
False
Let t = 1882 - -2001. Let x = t - -1193. Is 4/(-16) + x/16 a composite number?
False
Let x = 31970 + -22281. Is x composite?
False
Let p(n) be the third derivative of -17*n**6/120 + n**5/120 + 7*n**4/24 + 8*n**2. Let x(v) be the second derivative of p(v). Is x(-3) a composite number?
False
Let z(h) = -10*h**2 + 26*h + 15. Let f be z(-11). Is f*3*1/(-6)*2 prime?
True
Is ((-15218)/(-21))/(4 - (-20)/(-6)) a composite number?
False
Let a be (-6)/(-2)*((-308)/12)/(-7). Suppose -15*y + a*y = -436. Is y a prime number?
True
Let y(d) = d + 0*d + 17*d**3 + 31 - 7*d**2 + 0*d. Is y(6) a composite number?
False
Is -6 + 9243 + (-2 - -7) composite?
True
Suppose 2*v - 3*v + 3*w + 5939 = 0, -w - 11898 = -2*v. Is v composite?
True
Let d(q) be the first derivative of 2*q**3/3 - 7*q - 6. Let k be d(-3). Suppose k + 59 = 2*h. Is h a composite number?
True
Suppose p - 2735 = -2*b, -3*p - 6*b + 5*b + 8225 = 0. Is p prime?
False
Suppose -j - 3*c - 517 = 0, 0*j - j + 3*c - 487 = 0. Let q = j - -839. Is q prime?
True
Let n = -31956 - -56503. Is n a prime number?
True
Let m be -4 + 5/(25/15). Is m - 2/(-3)*102 a composite number?
False
Let x(a) = -a**3 + 5*a**2 + 3*a - 8. Let d be x(5). Let o(h) = h**3 + 3*h**2 - 3. Is o(d) prime?
True
Let p be 2/4 - (-24055)/34. Suppose p = 2*l + 4*l. Is l a prime number?
False
Suppose 2*g = 4*f - 1035 + 23, 5*f - g - 1265 = 0. Let q = 432 - f. Is q a composite number?
False
Is 1/(5/8960) + 3 prime?
False
Suppose -4*y + 41 = -55. Suppose 1065 = y*j - 21*j. Is j composite?
True
Let x be ((-6)/(-21))/((-5)/(-70)). Let g be 25/10*x/10. Is (3 - 92)*(g - 3) composite?
True
Let c(q) = 2*q**2 - 3*q + 3. Suppose -1 = -3*n + 5. Let r be c(n). Suppose -3*w = -r*l - 63, 5*w - 84 = w + 2*l. Is w prime?
False
Let d = 15 + -9. Suppose d*n - 3*n + 3 = 0. Is -67*((-3)/n + -4) composite?
False
Let a(u) = 10*u**2. Let k be a(1). Let x(r) be the third derivative of 43*r**4/24 - r**3/2 + 2*r**2 + 9. Is x(k) a prime number?
False
Let j(q) = -q**3 + 9*q**2 + 3*q + 10. Let l be j(8). Let w = l - 21. Is w prime?
False
Let l(t) = t - 9. Let q be l(11). Let a(n) = 7*n**3 - 3*n**3 + 46*n**q - 60*n**2 + 6*n - 19 - 3*n**3. Is a(14) composite?
True
Let b(v) = -28*v + 10. Suppose -5*n + 72 = 4*d + 12, -4*d = 0. Let j be b(n). Let r = 617 + j. Is r a composite number?
True
Is -20*(4 + -3093) - -1 a composite number?
False
Suppose -2*n - q - 988 = -0*q, 3*n = -3*q - 1479. Is (n/(-12))/3*4 composite?
True
Let o(y) = y**2 - 8*y - 23. Let m = -3 + 16. Suppose 7*a = m - 83. Is o(a) composite?
False
Let k = 41 - 22. Suppose 81 + k = 4*j. Is (-4664)/(-10) + 15/j prime?
True
Suppose -9*m + 5*m + 76 = 4*q, 0 = q + 4*m - 31. Suppose 47464 = q*o - 21851. Is o a prime number?
True
Suppose 5*b - k = 26, 0 = -b - 2*k + 4 - 1. Suppose -10*u = -b*u - 2045. Is u composite?
False
Let j = 41624 + 38587. Is j a composite number?
True
Let l(j) be the first derivative of 68*j**3 + 3*j**2/2 - j - 2. Is l(2) a composite number?
False
Let x be (2*-7484)/(-4) - -2. Let g be x/(-63) - (-8)/(-14). Is ((-15280)/g)/((-2)/(-3)) a composite number?
True
Let w(u) = 3*u - 3*u + 0*u**2 + u**3 + 4*u - 1 + 6*u**2. Let k be w(-5). Suppose 15 = f + k*f. Is f composite?
False
Let d = 20760 - 12197. Is d prime?
True
Let v be 2*(-3 - (-20)/8) + 260. Suppose -5*m - i - 490 = 0, -2*i = i. Let f = m + v. Is f a prime number?
False
Let g = 118 - 113. Suppose -1419 = -g*b + 116. Is b composite?
False
Let v = -743 + 1152. Is v prime?
True
Suppose 4*o = 2*p - 0*p + 26, -o = -2*p + 1. Suppose -2*t - t = -o, -3*t = 5*z + 21. Is (z + 0)*(-22)/4 a composite number?
True
Let t(g) = g**3 - 8*g**2 - 10*g + 54. Is t(13) a composite number?
False
Let v(t) = 35*t**2 - t + 1. Suppose -4*i + 7 = -13. Suppose x - 5 = -5*r, -5*x = -3*r - 2 + i. Is v(r) a prime number?
False
Let x = 5 + -5. Suppose -b + 5 + 26 = x. Is b a composite number?
False
Suppose 5*z - 2*t - 60 = 3*t, 3*t - 76 = -5*z. Suppose -19*q + z*q = -2715. Is q a composite number?
True
Let f = -15137 - -22588. Is f a composite number?
False
Let c = -2887 - -1293. Let i = 2633 + c. Is i a prime number?
True
Is (53367/(-9)*3)/(-1) + 6 prime?
False
Let g(b) = 206*b**3 - b**2 + b - 1. Let v be g(2). Let c = v - 2715. Let d = c - -1717. Is d composite?
False
Let o(u) be the third derivative of -u**6/120 - u**5/30 - 3*u**2. Let x be o(-1). Is 276 + (x - 3) + 6 a prime number?
False
Let p = 32 - 17. Suppose p*v - 19*v = -4652. Is v prime?
True
Suppose 3*i + 214 = 2*o - i, -122 = -o - 3*i. Is o a prime number?
True
Suppose 2*l + 5*h = 13, 2*h = -0 - 10. Let i = -37 + l. Is (-554)/i + (-4)/(-18) a composite number?
False
Suppose -o = -4*t - 2*o - 8, -5*o = 5*t + 25. Let y = 18 + -19. Is (y - 1 - 31)/t prime?
False
Is (7 - 58)/((-18)/1434) a composite number?
True
Let u be (16/16)/(1/(-3)). Let x be (72/15)/(u/(-30)). Let d = 70 + x. Is d a prime number?
False
Suppose 8*h - 12*h + 268 = 0. Let b = h + 2. Is b prime?
False
Let d(c) = 538*c**3 - c + 5. Is d(2) prime?
False
Let c(f) = 9*f**2 - 7*f - 11. Let b be c(9). Suppose -3*n + b = -50. Is n a composite number?
True
Let n(o) be the third derivative of 5*o**4/24 + 2*o**3/3 - o**2. Suppose -4*i - 4*g + 0*g + 24 = 0, -27 = -2*i + g. Is n(i) composite?
False
Suppose -t + 31 = 3*t + k, 3*t + k - 24 = 0. Let b be 2/1*15/6*1. Suppose -2*h - 25 = -t*h, 0 = -5*m - b*h + 10770. Is m a composite number?
True
Let l = -44 - -29. Is (-1164 - l/(-3))*1*-1 a composite number?
True
Let u(c) = 3*c - 14. Let n be u(6). Suppose -6*p + 792 = -n*p. Is (14/4)/(18/p) a composite number?
True
Let o be (-4)/(-56)*-4 + 164/(-14). Let w(c) = 8*c**2 - 9*c + 17. Is w(o) composite?
False
Suppose 5*z = -2290 - 735. Let m = -418 - z. Is m a composite number?
True
Let i(a) = 17*a**2 + 9*a**2 - 25*a**2 - 6*a + 2. Is i(-7) a prime number?
False
Suppose -29 = -15*z + 46. Let u(q) = 89*q**2 + q - 9. Is u(z) prime?
True
Let a = 13 + -2. Let l(z) = 2*z**3 - 9*z**2 - 20*z - 8. Is l(a) a prime number?
False
Suppose 5*o + 5*c + 80 = -0*o, -2*o - c = 36. Let n = o + 22. Suppose -n*v = -7*v + 1355. Is v prime?
True
Let q(j) = -4*j**2 + 18*j - 6. Let m be q(15). Let x = 473 - m. Is x prime?
True
Suppose -20 = 5*b, -2*z + 1345 = 5*b + 149. Let a = 1007 - z. Suppose 3*d + a = 2*j, 324 = -5*j - d + 1330. Is j a prime number?
False
Let q = 29034 - -3527. Is q composite?
False
Let c(u) = -4*u - 28. Let f be c(-8). Suppose 3*o + 2*m = 1551, 1821 = f*o - 5*m - 270. Is o a prime number?
False
Let g(c) = -96*c + 4. Let k be g(1). Is (-1 + 11/2)*k/(-6) composite?
True
Suppose -40 - 2 = 6*y. Let f(q