umber?
True
Let i(r) be the second derivative of r**5/20 - r**4/6 + 11*r**3/6 + 7*r**2/2 - 17*r. Is i(8) composite?
False
Let r(q) = q**3 - q + 1. Let f be r(0). Suppose -f = 2*l - 23. Suppose -6*s - 385 = -l*s. Is s a composite number?
True
Is -2 + -1 + 7 - -1167 a prime number?
True
Let w be (-287)/(-5) + 4/(-10). Suppose 16 = -57*z + 49*z. Is 7/(w/(-29) - z) a composite number?
True
Suppose 5*r + 4*z + 2 = -30, 3*r - 3*z + 30 = 0. Let w(k) = -16*k - 7. Is w(r) a prime number?
False
Suppose -v = -4*b - 60, -113 = -4*v + 2*b + 85. Let n be 2/4 + (-9)/18. Suppose 4*h + n*h + 4*z = v, -32 = -2*h + 2*z. Is h composite?
True
Suppose -a + 419 = -1194. Let d = a + -873. Suppose 4*t - d = -0*t. Is t a composite number?
True
Suppose -1 - 1 = i. Let l(s) = s**2. Let t be l(i). Suppose 5*k - 343 = 2*h, 110 + 93 = 3*k - t*h. Is k prime?
False
Suppose p - 11 - 42 = 0. Let r = -88 + p. Let x = 72 + r. Is x composite?
False
Let x be 0/(0 - -2 - 4). Let i be (-3 - -3) + x + 3. Suppose -i*u + 47 = -22. Is u a composite number?
False
Suppose 0 = m - 3*x - 27, 2*x + 2 = m - 20. Suppose -3*v = -5*i + m + 21, 4*v + 22 = 3*i. Is i composite?
True
Suppose 3*l - 11 = -4*b + 104, -b + 40 = -3*l. Let w = b - 8. Suppose -w - 20 = -d. Is d a prime number?
True
Suppose -12*l + 60 = -9*l. Suppose -l*w - 5735 = -25*w. Is w composite?
True
Let a = 40 - 67. Let u be (-156)/(-16)*(-320)/(-30). Let o = u + a. Is o a composite number?
True
Let n be -2*4/(-8)*2879. Suppose 551 = -8*q + n. Is q a prime number?
False
Let b(a) be the first derivative of 27*a**3/2 - a**2/2 + a - 7. Let s(q) be the first derivative of b(q). Is s(4) prime?
False
Let q be (-5)/25 + (77172/10 - 2). Is ((-2)/1)/((-10)/q) a prime number?
True
Let v(x) = x**2 + 4*x - 3. Let r be v(-5). Suppose r*n - 5 = 3. Suppose n*h = -5*k + 378 - 43, 0 = -3*k + 4*h + 201. Is k composite?
False
Let g be 12/(-42) - (-216)/21. Is (8/g)/(12/3270) composite?
True
Suppose -9060 = -5*l + r + 67793, -5*l + 4*r + 76847 = 0. Is l a prime number?
False
Suppose 0 = 17*u - 270319 - 512514. Is u prime?
True
Let u = 12997 - 8330. Is u a composite number?
True
Suppose 3*l + 18567 = 3*x, -x + 6189 = -2*l - 0*l. Suppose 0 = p, -5*h = 2*p - 254 + x. Let k = 1668 + h. Is k prime?
False
Suppose 0 = 5*z - 3*z + 4, 613 = g - z. Is g composite?
True
Let l(w) = 833*w - 48. Is l(2) composite?
True
Let r(h) = 53*h**3 + 10*h**2 + 4*h - 9. Let i(q) = 158*q**3 + 29*q**2 + 11*q - 26. Let l(j) = -6*i(j) + 17*r(j). Is l(-2) prime?
True
Let q(i) = -3 + 0 + 2 + 0 + i**2. Let k be q(-1). Suppose 2 = f, 3*r + k*f - 341 = -f. Is r a prime number?
True
Let k = -3674 + -1121. Let m be ((-2)/2)/((-4)/40). Is (12/m)/((-14)/k) composite?
True
Let b be -3*2/3 + -8. Let m be b/(-50) - 111/5. Is (-1465)/(-9) - m/99 a composite number?
False
Let w(p) = -10*p + 2*p + 127*p**2 + 187*p**2 + 11. Is w(4) a composite number?
False
Is 20144 - ((-32)/272 + (-19)/(-17)) prime?
True
Let h = 228 - -1633. Is h a prime number?
True
Let o(g) = -2 + g - 1 + 3*g**2 - 2*g + 4. Let y be o(1). Suppose 145 = b - 3*r, y*r - r - 8 = 0. Is b a prime number?
True
Suppose 21*k + 0*k = 2618049. Is k composite?
False
Let f be (-3 + 3)/(2 - 1). Suppose -14*y + 19*y - 745 = f. Is y composite?
False
Suppose -7 = 5*y + 4*u - 52, -35 = -5*y - 2*u. Is 5262/(-30)*y/(-1) a prime number?
True
Let l(x) = 2*x**2 + 3*x - 8. Suppose 5*r = 2 + 3. Suppose -g - r = -8. Is l(g) prime?
False
Suppose 0*h = -h - 3*p + 71, 5*h - 440 = 2*p. Suppose -4*m = -2*m - h. Suppose 190 = o - m. Is o composite?
False
Suppose 0 = -5*t + 3*a - a + 23, 1 = -t - a. Suppose -63 = -6*h + t*h. Let q = h + 17. Is q a prime number?
False
Let p be (3*1 - 1)/(54/(-17091)). Is ((-28)/(-4))/((-3)/p) prime?
False
Let b(v) = -131*v - 5. Let l = 12 + -9. Suppose 2*w + 7 = l. Is b(w) prime?
True
Suppose 0 = 3*v - 7*v + 8. Let i(f) be the first derivative of f**4 + f**3/3 - f**2 + 3*f + 6. Is i(v) prime?
False
Let m = -1133 + 2310. Is m prime?
False
Is 20/80 - (593900/(-16) - -2) prime?
True
Let r(b) = 143*b + 6. Let f be r(-1). Let l = f - -2470. Is l prime?
True
Let k be -41*-5*((-12)/(-5) + 0). Suppose n - 341 = 3*u, 3*n + 2*u - k = 553. Is n composite?
False
Is (0 - 0) + 16086/(12/2) a prime number?
False
Let m(y) = y**3 + 2*y**2 - 2*y + 3. Suppose -n - 19 = -5*a, 9 = 2*a - n + 2. Is m(a) prime?
False
Let r = 1 + 1. Is 88/24*138/r a composite number?
True
Suppose -z + 3*z + 10 = 2*h, 5 = -3*z + h. Suppose -d + z*d = -12. Is d/18 + 1183/3 a composite number?
True
Let b(t) = -t**2 - 3*t + 35. Let w be b(-8). Is 3628/w*50/(-20) prime?
False
Suppose 0 = -3*r + 46 + 152. Suppose -48 = a - 4*w, -2*w + r = 3*a - 5*a. Is 48 + (-7)/(a/(-8)) a composite number?
True
Suppose -6*r + 52367 = r. Is r a composite number?
False
Suppose -6 + 22 = t - 5*o, -5*t + 80 = 3*o. Suppose 2*p - 598 = -t. Is p composite?
True
Let z be 620/22 + (-4)/22. Let c be 4/(-14) + 23976/z. Suppose 5*x - u - 6140 = c, -2*x - 5*u = -2793. Is x a prime number?
True
Let a be (2 - 0)*1/2*-41. Let u = a - -54. Is u a prime number?
True
Suppose -5*z + 5268 = -1717. Is z composite?
True
Is (95/40)/((-5)/(-29720)) composite?
True
Suppose -21*d - 5296 = -13*d. Is (d/3)/(9/(54/(-4))) a prime number?
True
Let b = -2650 + 11679. Is b a prime number?
True
Suppose 135*f - 152*f + 486863 = 0. Is f a prime number?
False
Let b be (19 - 16)*(-5)/(-3). Suppose -b*u + 5 = -5. Suppose 3*d - 649 = 2*s + 432, 712 = u*d + 3*s. Is d prime?
True
Suppose 0*x + b = -3*x + 5037, 0 = x + 2*b - 1679. Is x composite?
True
Let s(v) = 298*v**2 - 4*v - 1. Let x(g) = g**2 - g. Let q(b) = s(b) - 4*x(b). Is q(-1) composite?
False
Let t(y) = 6*y**2 + 51*y**3 - 52*y**3 - y + 15 + 5*y**2. Let o be t(11). Suppose -o*g + 177 = 45. Is g prime?
False
Let l(g) = 28*g**2 - 17*g - 193. Is l(20) prime?
True
Suppose u - 2 = -d, -5*u - 1 - 1 = -d. Let o be -14*d/21*-3. Suppose 2*c = -0*c - 4*p + 310, c - o*p - 137 = 0. Is c a composite number?
False
Suppose 32*q - 520197 = 149275. Is q composite?
False
Let j(a) = 5*a**3 + 6*a**2 + 3*a - 12. Let b(x) = 2*x**3 + 3*x**2 + 2*x - 6. Let h(t) = 7*b(t) - 3*j(t). Is h(-7) a prime number?
True
Let b(k) be the first derivative of k**4/3 + k**3/3 - 5*k**2/2 + 4*k + 7. Let n(p) be the first derivative of b(p). Is n(7) a prime number?
False
Suppose -2*k + 10 = 3*k, -12 = -2*d - 2*k. Suppose -3*v + 0*a + 6 = d*a, v + 3*a = -3. Suppose -w + v*w = 955. Is w prime?
True
Let h = 169 + -614. Let s = 938 + h. Is s a composite number?
True
Let k(s) = 3*s - 3*s - 1 + 12*s**2 + 3 - 3*s. Let r be k(5). Suppose 94 = d - r. Is d a composite number?
True
Let u = -8 + 10. Suppose 887 + 519 = u*z. Suppose -2*g + z + 367 = 0. Is g composite?
True
Suppose 4*u - z + 7877 - 25562 = 0, -4*u + 17681 = 3*z. Is u prime?
True
Let x(y) = 490*y + 19. Is x(6) prime?
False
Suppose -5*l + 4*v + 927 = -3007, 5*v - 20 = 0. Let x = l + -417. Is x prime?
True
Suppose 0 = -4*k - 3*q + 24333 - 6838, -3*q = 2*k - 8749. Is k composite?
False
Is 86/(-1247) - 131865/(-29) a prime number?
True
Suppose 2*l - 9082 = -3*y, -3*l + 13883 - 260 = -4*y. Is l prime?
False
Is (-1992)/16*3460/(-30) prime?
False
Let w(b) = 10 - 4*b**2 - 14*b + 19*b**3 - 17*b**3 - 7*b**2. Let d be -6*(-4)/16*6. Is w(d) composite?
True
Suppose 6*o - o = 0. Suppose o = -0*q - 6*q + 96. Let h(g) = g**3 - 16*g**2 + 7*g + 15. Is h(q) composite?
False
Let c = 2365 - 48. Is c a composite number?
True
Let h = 29880 - -14471. Is h prime?
True
Let v = 2736 - 1186. Let s = -557 + v. Is s a prime number?
False
Let s(q) = 4*q**2 + 1. Let n be s(1). Suppose g = -4*j + 675, -2*g + 2742 = 2*g - n*j. Is g a prime number?
True
Suppose 5*l - b = 34531, 4*l - b - 19783 - 7841 = 0. Is l a prime number?
True
Let m(z) be the second derivative of -65*z**3/6 + z**2/2 + 14*z. Is m(-12) a prime number?
False
Let k = 39 + -23. Suppose -9*m - 483 = -k*m. Is m composite?
True
Let b = 89 - -555. Let f(g) = -8*g**2 - 27*g - 16. Let y be f(-9). Let n = b + y. Is n a composite number?
False
Let i be (-8)/10*25/(-10). Let z be 7 - -2 - (i + -2). Is (z + -8)/((-1)/(-239)) a prime number?
True
Suppose 42*b - 57*b + 23145 = 0. Is b prime?
True
Let f(c) = -3*c**3 - 6*c**2 - 14*c + 6. Let d be f(-8). Suppose -5*u + 779 = -2*u + 4*p, 5*u - d = -p. Is u composite?
True
Is 2081/((9/36)/((-1)/