 -1424 = -k - 4*n - 293. Is k composite?
False
Let o be (8/(-7))/(14/(-49)). Suppose -5*z = p - 5, 1 = p + o*z - 3*z. Is (p + 7)*(-85)/(-5) composite?
True
Let m = 32452 - 23039. Is m a composite number?
False
Is (-6683448)/(-680) + 2/5 prime?
True
Let h = -334 + -384. Let b = -311 - h. Is b a composite number?
True
Suppose -11 - 79 = 6*z. Is (-6275)/z + 8/12 composite?
False
Let d(r) be the second derivative of -3*r**5/4 + 2*r**2 + 383*r. Let c = -1 + -2. Is d(c) composite?
False
Is (-18143)/(1*-2*41/246) prime?
False
Let x = 4552 + 1429. Is x a prime number?
True
Suppose -6*b + 530 = -b. Suppose 5*c - b - 489 = 0. Is c a composite number?
True
Suppose 5*q + 1889 = 4559. Suppose 4*r = -2*l - 0*r + q, -4*l + 5*r = -1055. Is l prime?
False
Suppose -4*l + 260096 = 4*d, 15 = 5*d - 2*d. Is l a composite number?
True
Let f(q) = 460 + 3*q - 9*q + 7*q. Let i be f(0). Suppose i = 3*u + u. Is u a composite number?
True
Let t(d) = 146*d**2 + 14*d - 113. Is t(6) composite?
False
Suppose -64631 = -48*x + 41*x. Is x a composite number?
True
Is (-150)/(-24) - 6 - (-52771)/4 prime?
False
Let q(f) = 22*f**2 + 14*f - 5. Suppose 3*d + 3 - 24 = 0. Is q(d) prime?
True
Let s(d) = 279*d**3 - 2*d**2 + 5. Is s(2) prime?
False
Suppose 0 = 4*g + 4, -5*g + 6546 = 2*a - 9*g. Is a a prime number?
True
Let t = -11 + 24. Let n(z) = 3*z**3 + 16*z**2 - z - 7. Let q(y) = -5*y**3 - 31*y**2 + y + 15. Let p(u) = 7*n(u) + 4*q(u). Is p(t) a prime number?
False
Let c be -1 + 4 + 242*4/(-2). Is 4/2*(-6)/(12/c) composite?
True
Let u(d) = 11*d**2 + 19*d - 4. Let c be u(17). Let n = c - 479. Is n composite?
False
Let f be (-4)/(-8)*-4 + 658. Suppose -10*m + 6*m = -f. Let v = m - 73. Is v prime?
False
Suppose -p - 8 = -13. Suppose 1 = r - 3*o, 0*o = -4*r + p*o + 11. Is -2*59*r/(-8) a prime number?
True
Suppose 4*a + 3 + 23 = -2*l, -4*a = 3*l + 29. Let h(t) = -50*t + 1. Let n(w) = w - 2. Let q(g) = h(g) - 2*n(g). Is q(a) composite?
True
Suppose -3*j - 2*h + 7*h + 395 = 0, 0 = -h + 2. Suppose j = 5*z + 10*z. Is z prime?
False
Suppose -115689 + 306744 = 15*g. Is g composite?
True
Is (584 + -11)*(-87)/(-27)*3 prime?
False
Suppose -5*w + 3*s = 12, -3*s + 11 = 4*w - 1. Suppose 5*p - 8*p + 4683 = w. Is p prime?
False
Suppose -11*r + 7*r = -12. Suppose x - 58 = -3*o - r*x, 5*o - 62 = 2*x. Is o prime?
False
Let y(w) = 416*w**3 + 3*w**2 - 11*w + 7. Is y(3) a prime number?
False
Let o be 132*14/(-4)*4/(-7). Let s = -3 + 7. Suppose -s*q + 740 = -o. Is q a prime number?
True
Is (-2)/14 - 6736/(-14) composite?
True
Let j(f) = 132*f + 241. Is j(35) a composite number?
False
Suppose 6 + 2 = 2*c - 2*b, 3*b = 3. Let l(s) = -4*s**3 + 8*s**2 - 5*s + 5. Let a be l(c). Is a/(-6) - (-10)/(-30) prime?
True
Let y = 22665 - 4079. Is y a prime number?
False
Let y = -6 - -8. Suppose y*f - 12 = -2*f. Suppose -4*v - 4*d = -23 - 133, 0 = -5*v - f*d + 187. Is v a composite number?
True
Suppose 4*x = -4*p - 820, -206 = p + 4*x - 2*x. Let u be (12/9)/(8/p). Is ((-85)/u)/(2/28) a composite number?
True
Let l = -10 + 14. Suppose 16 = s + 4*h, l*s - 2*h + h = 13. Suppose w + s*w = 155. Is w a composite number?
False
Suppose -17*p + 51078 + 17483 = 0. Is p a prime number?
False
Let p = 745 - -172. Let m = p + -82. Is m a composite number?
True
Let l(m) = 112*m**3 - 2*m**2 - m + 1. Suppose -2 - 2 = -4*i. Suppose 5*v + k = 10, 0 = -4*v + 4*k + 9 - i. Is l(v) composite?
False
Let w = 20038 + -1559. Is w a composite number?
True
Suppose 3288 + 1188 = 4*u. Let o = u + -418. Is o a prime number?
True
Let o = 2 + 0. Suppose -170 = -4*n - o*m, 3*n = n - 3*m + 87. Suppose p - 5 - n = 0. Is p a composite number?
False
Let t be (1 + (-10)/2)*536/(-16). Let p = t + -88. Is p a prime number?
False
Let l = -17 + 17. Suppose 817 = 2*j - 4*w + 223, 2*j + 2*w - 570 = l. Is j a composite number?
True
Let f = 9 - 25. Let b(r) = -r**3 + 11*r**2 - 19 - 27*r**2 - 4*r + 20. Is b(f) composite?
True
Suppose 5*x = k + 7705, -2153 = -3*x - k + 2470. Suppose 4*r + x = 7201. Is r prime?
False
Let f(d) = -d**3 + 22*d**2 - 4*d + 17. Let v be f(21). Suppose -2*j = 2*m - 220, 4*m - 63 = -j + v. Is m a composite number?
False
Let f(w) = 16*w**2 + w + 30. Suppose 5*n = 5*m - 15, -58 + 7 = -5*m - 4*n. Is f(m) prime?
True
Let k = 9 + -8. Suppose 2*o = 5 - k. Is o/(-1)*(-716)/8 composite?
False
Let i = -11345 + 19536. Is i composite?
False
Let a(i) be the third derivative of -i**7/280 - 11*i**6/720 + i**5/20 - i**2. Let t(p) be the third derivative of a(p). Is t(-8) a prime number?
False
Let o(v) = 214*v**2 + 22*v - 13. Is o(-4) a prime number?
True
Is 13618188/540 - 1*(-4)/30 a composite number?
False
Let g = 51 + -32. Let o = -18 + g. Is o + 0 - (-118 - -6) a prime number?
True
Let q be (-22 + 2)/(-2 - 0). Let h be (-21)/15 - (-4)/q. Is (273/6 + h)*2 a composite number?
False
Let p(b) = -11*b + 47. Let x be p(4). Suppose 0 = -2*m - 5*j + 1970, -4983 = -5*m + x*j - j. Is m a prime number?
False
Let p(m) = 9*m**2 + 6*m + 7. Let g = 7 + -11. Is p(g) a prime number?
True
Suppose -2*x - 3*x + 2615 = 0. Let g = 894 - x. Is g composite?
True
Let u be 6*(3 + (-10)/4). Suppose 0*w - 24 = u*w. Is ((-476)/w)/((-1)/(-2)) composite?
True
Is (2/6)/((-3)/(-685827)*9) composite?
False
Let z be (-1)/(-4) - 1*36/16. Is (-642)/z + 32/16 prime?
False
Let b be (-66)/(-2) + (2 - -1). Suppose -23 = -z + b. Is z composite?
False
Let d(j) = -14*j - 5. Let u(l) = l**3 + 9*l**2 - 10*l + 1. Let i be u(-10). Let p be (i - 3)*(-9)/(-6). Is d(p) a composite number?
False
Let k = -6 + 11. Suppose -k*u + 217 = -453. Suppose 5*n - 10 = 0, -2*n + u = 4*v - n. Is v composite?
True
Let f = -2999 + 4660. Is f a composite number?
True
Let z = 6 - 22. Let m = z - -7. Let d = m - -20. Is d a composite number?
False
Let v = -6 + 3. Let j(o) = o**3 + o**2 + o. Let z(i) = 7*i**3 - i**2 - 9*i - 2. Let q(l) = -4*j(l) - z(l). Is q(v) prime?
True
Let z(y) = 186*y**3 + 1. Let t be 9*(-2)/(-12)*-2. Let f be (-4 + 0 + 1)/t. Is z(f) composite?
True
Let l(j) = -279*j - 157. Is l(-12) composite?
False
Let w(p) = 3*p**2 - 2*p - 2. Let m be w(-1). Suppose 2*t + m*t = 2825. Is t a composite number?
True
Suppose -10*r = 3*r - 333671. Is r composite?
False
Let h(m) be the second derivative of m**5/20 - m**4/2 + 2*m**2 - 3*m. Let o be h(6). Suppose o*j + 36 - 496 = 0. Is j composite?
True
Suppose b - 2*m = 12819, 2*b = -3*b - 2*m + 64107. Is b a prime number?
True
Let l = -15 - -11. Let j be ((-60)/(-35))/(l/(-14)). Is (322/3)/(j/9) prime?
False
Let u = 85 + -88. Is (18/(-12))/(u/(-4)) + 447 composite?
True
Suppose 4752147 = 11*m + 46*m. Is m a composite number?
True
Suppose 0 = 42*x - 70*x + 426468. Is x a composite number?
True
Let b(x) be the second derivative of -15/2*x**3 + 5*x**2 + 0 + 5*x. Is b(-15) a prime number?
False
Let d be (2 - 3)*(2627 - 0)/1. Let k = 6426 + d. Is k a prime number?
False
Let x be 15*(4 + (-28)/(-20)). Let h(t) = -t**3 + 6*t**2 + 5*t - 8. Let q be h(6). Let n = x - q. Is n composite?
False
Suppose 12 = -2*q - 10. Let c(b) = b**3 + 13*b**2 - 15*b + 12. Is c(q) a composite number?
False
Let z(y) = -y**2 + 10*y - 8. Let a be z(10). Let r be a/10 + 290/50. Suppose -r*t + 196 = -t. Is t prime?
False
Let z be -2*(-3 + 9*-3). Let p be 22296/z + (-2)/(-5). Let r = p - 119. Is r prime?
False
Suppose 3*x + 5*f = 24, 3*x = 2*f + 1 + 2. Let n(b) = 6*b**3 + 4*b**2 + 5*b - 4. Is n(x) a prime number?
False
Let s = 6891 + -4869. Suppose 0 = -2*z - 684 + s. Is z prime?
False
Let b = 104 + -109. Is (2 - (-2564)/(-20))*b a prime number?
True
Suppose 2*u + 10 = -0*u. Let z(q) = 5*q**3 + 10*q**2 + q - 2. Let p(v) = -v**3 - v**2 - 1. Let y(a) = 4*p(a) + z(a). Is y(u) prime?
False
Suppose -122 = 7*t - 8*t. Suppose o + 4*y - 683 = 0, 2*o = -y + 1216 + t. Is o prime?
False
Let u(x) be the first derivative of 7*x**4/4 - 2*x**3 - 3*x**2/2 + 3*x - 34. Is u(5) composite?
True
Let b = 481 - 27. Let q = 791 - b. Is q a prime number?
True
Let r be 26/39*(-402)/4. Let u = r - -137. Let o = u + -36. Is o prime?
False
Let n be 6/(-3)*3/(-6)*4406. Is (-15*(-2)/12 + -2)*n a prime number?
True
Suppose 5*v + 25 = 0, 4*z - 2*v - 14 = 16. Suppose 7 = 3*a - 5*d, -16 = -3*a + d - z. Suppose -a*n - 4 = 0, -2244 = -5*b - n - 0*n. Is b prime?
True
Suppose -5*o + 5*n = -3*o - 23, n = -3. Suppose -3*p - 2*c = -939 - 20, 1260 = o*p