 (-279)/15*-131 + (-6)/(-15). Let a = i + -1714. Is a composite?
True
Let z = 5318 - 723. Is z a composite number?
True
Suppose -3*m + 4*m = -8. Let x(t) = -22*t**3 - 45*t**2 - 69*t + 3. Let b(w) = -5*w**3 - 11*w**2 - 17*w + 1. Let r(s) = 9*b(s) - 2*x(s). Is r(m) prime?
True
Let g be ((-348)/3)/(4/(-14)). Let c = 209 - g. Let k = c + 384. Is k a prime number?
False
Let q = -258669 + 421426. Is q a composite number?
True
Let y = 98422 + -64883. Is y a prime number?
False
Let f = 112124 - 29389. Is f composite?
True
Let h(l) = 94*l**2 + 4*l - 1. Let r be h(-10). Is 2/13 - r/(-91) a composite number?
False
Suppose -4*r - 3*u + 24360 = -16150, -10 = 5*u. Is r a prime number?
False
Suppose 4*n - 3*o - 22 = 0, -4*n + 12 = -4*o - 12. Suppose n*p = -4*d, -3*p - 3*d - 4 = p. Is -446*(p + 28/8) prime?
True
Suppose -3*b + 20 = b. Suppose 2*r + b*d = 9, -4*d + 3 = -1. Suppose 0*p + 154 = r*p. Is p a prime number?
False
Let o be 16/(-10)*(-190)/2. Suppose -55 = -3*z + o. Is z a composite number?
True
Suppose -28*v + 20551 = -17445. Is v prime?
False
Let i(a) = a**2 - 8*a - 7. Let g be i(9). Suppose 3*p - 8600 = -2*r, 0 = 3*r + g*r + 5*p - 21505. Is r a prime number?
False
Let u(p) = 5*p**2 - 9*p - 7. Let q(w) = -w**2 - 3*w - 4. Let d be q(-5). Is u(d) a composite number?
True
Suppose -49*a + 25786 - 7215 = 0. Is a composite?
False
Suppose -18*m = -m - 1071. Is (36/m - 14962/42)*-3 composite?
True
Is 30/(-3) + 0 + 4047 a prime number?
False
Suppose 163*x - 156*x - 23471 = 0. Is x a prime number?
False
Let m(y) be the third derivative of -451*y**4/24 - 27*y**2. Is m(-1) prime?
False
Let t(o) = 2*o**2 - 2*o**3 + 14*o - 15*o + 3*o**3 - 1. Let v be t(-1). Let i(s) = 82*s**2 + s - 1. Is i(v) a composite number?
True
Suppose -2*u + 5*m + 11447 = 0, 190*m = -5*u + 187*m + 28664. Is u a prime number?
False
Let p = 16 - 14. Suppose 3*c - 30 = -p*c. Is 0 + -1 + (1956 - c) composite?
False
Suppose -36*u - 20*u = -106568. Is u a prime number?
False
Suppose -3*v - 4*q + 3*q = -20861, q = -5*v + 34771. Suppose 0 = 5*b - v - 1060. Is b composite?
True
Let u be (-2)/6*-3*5. Suppose u*g - 21 = -126. Let n = g + 24. Is n composite?
False
Is (8/(-7) - (-1)/7) + 42822 a prime number?
True
Let j(k) be the second derivative of 47*k**4/12 + k**3 + 9*k**2/2 + 5*k. Is j(-4) prime?
False
Let p(r) = 49*r**2 - 14*r - 17. Let b be p(7). Suppose -4*c + b = 2*c. Is c composite?
True
Let a(y) = -y**2 + y + 6. Let t(n) = -2*n**2 + 2*n + 13. Let m(o) = -5*a(o) + 2*t(o). Let z be m(-5). Suppose -92 = -3*h - z. Is h a composite number?
True
Let o(b) = 29*b**2 - 383*b + 9. Is o(-7) a composite number?
False
Is (28506/14)/(558/2604) a composite number?
True
Let d = 1637 + -932. Let v = d - -1006. Is v a composite number?
True
Suppose 4*t = -2*a - 0*a + 28, 13 = 5*t - 3*a. Let j = 473 + -470. Suppose 3*l - 194 = -j*v + 2*v, -2*v + t*l = -333. Is v a prime number?
True
Suppose 0*o = 3*o + 27. Suppose 4*i + x - 23 = 0, 0*i - 2*x = -4*i + 14. Is (471/o)/(i/(-15)) composite?
False
Let g = 1988 - -1799. Is g prime?
False
Is 12/(192/(-12104))*-2 a composite number?
True
Let w(q) = -7539*q**3 - 2*q**2 - q + 1. Let u be w(-1). Suppose -5*b + u = -4*t, t - 6027 = -5*b + b. Is b a composite number?
True
Let w(q) = -468*q - 2. Let o be w(-4). Suppose i - 3*i = -o. Suppose c = -2*g + 182 + 195, 0 = 5*g + 4*c - i. Is g composite?
False
Suppose 5*w + 23 = 2*m, 5*m - w + 0*w = 69. Let s be 7/(98/12)*m. Is (-3)/(s/(-256)) - 2 prime?
False
Let m = 6 - -12. Suppose -20*o + 678 = -m*o. Is o composite?
True
Suppose 2*r + 4*f = 35682, -35677 = -186*r + 184*r - 3*f. Is r prime?
False
Let b(o) = -o**2 + 15*o. Let q(z) = z**3 + 5*z**2 - 10*z - 9. Let m be q(-6). Let j be b(m). Suppose j = s + s - 1366. Is s prime?
True
Suppose 5*a - 15043 = -2*a. Is a a prime number?
False
Is ((-10)/(-15))/((-14)/(-250383)) a prime number?
True
Let j(w) = 70*w - 11. Let b be j(4). Let o = b + 412. Is o prime?
False
Suppose -974 = -h + 2859. Is h prime?
True
Is ((14/(-6))/(-7))/(3/16542) composite?
True
Suppose -4*y = 1 + 7, 4*z = -4*y + 9508. Suppose -4*l + 297 + z = 0. Is l a composite number?
True
Suppose 0 = -3*z + 4*v + 5711, -5*z - 3*v = -5*v - 9537. Is z composite?
True
Let n = -14030 - -23481. Is n prime?
False
Let b(f) = 63*f**2 + f + 9. Let u be b(-3). Suppose 2*m - u = -5*i, m = -m - 4*i + 578. Is m prime?
False
Suppose -4*v - 7843 = 5*t, -4*v = 5*t - 9*t + 7852. Let l = v - -3669. Is l composite?
True
Let q be 1*(-1 - -2)/(5/10). Suppose q*n = -3*r + 152, r - 60 + 378 = 4*n. Is n a prime number?
True
Is 5 + 474222/18 + 6/18 prime?
False
Let l be (-60380)/(-12) - (-2)/6. Is (l/(-12))/(4/(-6)) composite?
True
Let r(a) = -9*a**3 + a**2 - a - 1. Let o be r(-1). Suppose -3*k = -5*k + o. Suppose k*p = 3*p + 574. Is p a composite number?
True
Let s(r) = -180*r + 19. Suppose 0 = v + 3*v - 4*y + 48, 0 = -3*v + 5*y - 26. Is s(v) prime?
True
Suppose -s = -2*c + 7976, -c - 1754 = -s - 5741. Is c a composite number?
False
Let i(b) = -b + 2. Let r be i(8). Let k = r + 3. Is (k + 5 + -1)*57 composite?
True
Let g = 1 + 12. Suppose 0 = -3*d + u + u + 16, 0 = d + 3*u + g. Suppose -8 = -w + d. Is w composite?
True
Suppose -6*g + 53 = -1399. Let z = g - 103. Is z prime?
True
Suppose -9*h + 5*h = 8. Let k(g) = -112*g. Let l be k(h). Suppose -4*c = -0*c - 4*v - l, 5*c = -4*v + 298. Is c composite?
True
Suppose 115622 - 9897 = 25*p. Is p a prime number?
True
Is ((-2400)/(-640))/(6/12952) a prime number?
False
Suppose 24*y + 20264 = 26*y. Suppose 21*k = 17*k + y. Is k a composite number?
True
Let h be 5 + -3 + 1 + 0. Suppose -4*w = 4*a - 152, 3*a - 114 = -h*w - 2*w. Is a a composite number?
True
Let g be (22/8 - 3)*-316. Let y = 170 + g. Is y a composite number?
True
Let t = 3659 - 2040. Is t a composite number?
False
Let x(s) = -s + 1. Let r be x(-6). Suppose 3*i + r + 2 = 3*z, -4 = 2*i. Is 1759/1*(z + 0) composite?
False
Let q(z) = 135*z**2 + 27*z + 11. Is q(-5) composite?
False
Suppose 0 = 3*g + 9, 5*g - 330 = -5*u + 1250. Suppose -208 + 4330 = 9*h. Let a = h - u. Is a a prime number?
True
Suppose 3*r = t - 4*t + 66, -5*r = t - 102. Suppose 90 = -5*m + r. Is 14/49 + (-5442)/m a prime number?
True
Let i = 844 + 218. Let u = i - 253. Is u a prime number?
True
Let n(d) = 18*d**2 + 13*d - 195. Is n(22) composite?
False
Suppose 11*q - 14*q = -6516. Let y = q - 1499. Is y a composite number?
False
Let w(v) = v - 9. Let i be w(-5). Let g = 11 - i. Suppose 2*l = 7*l + 3*p - 460, 0 = -5*p + g. Is l a composite number?
False
Let l(y) = -319*y. Let h be l(-3). Suppose 18*b - 28 = 11*b. Suppose -m - h = -b*m. Is m a prime number?
False
Let v = -167 - -272. Let w be 252/v*75/(-2). Is -1735*(3 + w/25) composite?
True
Suppose 4*k = m + 283715 - 61900, 0 = k - 5*m - 55468. Is k prime?
False
Suppose -19189 = -2*a + 3*v, -4*a - 4*v + 5*v + 38353 = 0. Is a a prime number?
True
Let d = 11 + -3. Let u be 0 - d/(-12)*-6. Is 38/u*(-7 - -5) a composite number?
False
Let x(v) = 34*v - 16. Let y be x(-8). Let o = y - -579. Is o a composite number?
True
Let i(x) = 242*x + 39. Is i(4) a composite number?
True
Let k(p) = -p**3 + p**2 - p. Let h(t) = -5*t**3 - 8*t + 1. Let m(d) = -h(d) + 4*k(d). Let s be m(-4). Let r = -8 - s. Is r prime?
False
Let w(s) = s + 9. Let o be w(-8). Let b(c) = -249*c - 1. Let p be b(o). Let n = -101 - p. Is n a prime number?
True
Let u(y) = -1063*y - 375. Is u(-8) composite?
True
Let p be (0 - 1)*(33 + 1). Let a be 65/13 - (1 + 165). Let x = p - a. Is x prime?
True
Let z(k) = 2*k**2. Let o be z(0). Suppose o = -3*d + d + 46. Is d composite?
False
Is (8202/21)/(((-6)/(-7))/3) composite?
False
Let k = 488 - -1292. Suppose -k = 19*c - 13769. Is c composite?
False
Let p(s) = s + 6. Let d be p(-6). Suppose l = -d*l - 18. Is (-2)/6 + (-4776)/l prime?
False
Let w be (-2 - (-4)/4)*-10436. Suppose 26*z = 22*z + w. Is z prime?
True
Let w = 2125 + -906. Is w composite?
True
Suppose -2*a - l + 2*l + 14 = 0, 5*a - 50 = -5*l. Suppose q + a = 445. Is q a prime number?
False
Suppose -54 = -5*v - 4*v. Suppose 0 = v*k - 82 - 122. Is k prime?
False
Let u be ((-30)/4)/(-5) - 45/(-18). Suppose 3400 = u*p - 1876. Is p a prime number?
True
Let x(y) = y**3 - 7*y**2 - 12*y - 9. Let c be x(10). Suppose c = z - 155. Is z a prime number?
False
Let n(q) = 44*q**3 + q**2