 = -39244. Is o prime?
False
Let d be (-194)/(-3)*(-45)/10. Let n = 472 + d. Let r = 336 - n. Is r a composite number?
True
Suppose -h = -5*h - 16. Let p = h + 9. Suppose -3*c + 0*w + 65 = w, -p*c = w - 109. Is c a composite number?
True
Let a be ((-10)/(-25))/(1/5). Let n(h) = -2*h**a - 125 + h + 16*h**3 + 125. Is n(1) prime?
False
Let r be ((-180)/(-8))/((-1)/(-2)). Let b = 32 + r. Is b a prime number?
False
Is 632242/39*(-6)/(-4) a composite number?
False
Suppose 5*m - 20 - 140 = 0. Suppose -4*t - 2*i = 0, 5*i = t + 10 - m. Suppose -2*s = -3*b + 408, 2*b - 542 = -2*b + t*s. Is b composite?
True
Let k(l) be the third derivative of 11*l**7/1260 + 7*l**6/720 + 7*l**5/30 - 13*l**2. Let r(c) be the third derivative of k(c). Is r(9) prime?
False
Let q = -637 + 2610. Is q a prime number?
True
Let k(l) = 2806*l**2 - 12*l - 6. Let z be k(3). Is z/36 - (-2)/3 prime?
True
Is 173823/((-13)/(-1)) - 4 a composite number?
False
Suppose -8*q + 2518 = -6*q. Suppose 4*i = 3*i + q. Is i a composite number?
False
Let o = -197 - -102. Let n = o - -318. Is n prime?
True
Suppose -4*v + 3 = j - 2*j, 15 = 2*v - 5*j. Suppose -s = -1, v = -m - s - s - 114. Let d = m + 207. Is d a prime number?
False
Let v(j) = -j - 2. Let z be v(-1). Let a = -94 + z. Let k = a + 133. Is k a prime number?
False
Suppose 59*g = 60*g - 406. Suppose -13*v - g = -15*v. Is v composite?
True
Suppose -343 = -2*p - 0*a - 3*a, 2*p - 353 = -a. Is p prime?
True
Let m be -11 - ((-8)/4 + 4). Let k = 14 + m. Is k*2/(6/771) a prime number?
True
Let a(s) = 7 - 4*s - s + 0*s + 3. Is a(-3) a prime number?
False
Suppose -423 - 757 = -2*v. Let i = v + -111. Is i a prime number?
True
Suppose 0*w + 5 = -5*w - q, -5 = w + q. Is -4 + w + (2940 - -2) - 3 a prime number?
False
Suppose -2*x + 1412 = 120. Suppose -3*y + 1408 = d, -2*y + 271 = 5*d - x. Is y a prime number?
False
Let t(z) be the third derivative of -z**5/60 + z**4/24 + 371*z**3/6 + 8*z**2. Let i = 43 + -43. Is t(i) a prime number?
False
Let q(t) = 2*t**2 - 6*t + 5 - 5*t**2 - 3*t + 2*t**2. Let u be q(-9). Suppose -306 = -u*v - 41. Is v composite?
False
Suppose -5*v - 3*t + 2534 = 0, -4*t = -v - 160 + 676. Let j be 0/(((-6)/(-3))/1). Suppose -3*a + 4*i + 21 + 724 = j, -2*a = 3*i - v. Is a a composite number?
False
Let y(s) = 266*s**2 + 14*s + 5. Let h be y(-8). Suppose -5*b + h = 2972. Is b prime?
True
Suppose -106200 = -5*s - 5*l, -s + 25827 = -5*l + 4605. Is s composite?
True
Suppose 3 + 3 = -2*z. Is 5 - -60 - z - -1 a composite number?
True
Let j be (-116)/(-20) - 16/20. Suppose 0*t = j*t - 3885. Suppose -2*u - z = -t, 4*u - z - 1549 = -2*z. Is u prime?
False
Let j = -13611 - -27634. Is j a composite number?
True
Suppose 4626 = 6*j + 264. Let p = -510 + j. Is p a prime number?
False
Suppose -4*t = 5*y - 430, t + 0*t = -3*y + 111. Suppose 1125 + t = 3*a. Is (-3)/3 - a/(-1) a prime number?
True
Let g(v) = 2*v**3 + 6*v**2 + 11*v - 4. Let n be g(-6). Let a = 2723 + n. Is a a composite number?
False
Let i(o) = o**3 + 2*o**2 - o + 9. Let w be i(0). Let b(t) = 126*t + 7. Is b(w) prime?
False
Suppose 4*s + 0*s - 17 = 3*k, -25 = -5*s. Suppose 2 + k = f, 3*v - 4*f = 699. Is v a composite number?
True
Let u be (-16)/4 + -4 + 2. Is 3/u + (-1345)/(-10) prime?
False
Let d = 456 + 227. Is d composite?
False
Let m(d) = -287*d + 132*d - 7 + 26 - 147*d. Is m(-2) prime?
False
Suppose 0 = 3*u - d - 2*d - 2349, 1560 = 2*u - 5*d. Is u composite?
True
Suppose -p - 4*p + 5*t = -10, 4*p = -4*t + 32. Suppose p*m = 7118 - 2508. Is m a prime number?
False
Suppose 5*z - 1419 = -q, -2*z = 2*q - 5*q + 4189. Is q a composite number?
False
Is (-327)/18*-70 + 90/(-135) a composite number?
True
Let k = 99027 - 24340. Is k a composite number?
False
Let u(p) = -p**2 - 5*p - 10. Let y be u(-4). Let v be (y + 2)/(-4 - -6). Is (299/(-26))/(v/8) a prime number?
False
Let j be (4/3)/(5/(-15)). Is 25075/51 - j/(-6) composite?
False
Let j(r) be the first derivative of 31*r**6/360 + r**5/40 - r**4/24 + 2*r**3/3 + 5. Let l(z) be the third derivative of j(z). Is l(3) a prime number?
False
Let b(q) = -12 + 12*q**2 + 9*q + q**3 - 10 + 21. Is b(-10) composite?
False
Let n(j) = 3*j**2 - 2*j + 1. Suppose 2 = c + 1. Let y be n(c). Suppose -3*z + 372 = 3*p, -367 = -3*p - 0*p + y*z. Is p composite?
True
Suppose 10*b + 50 = 5*b. Is (-24464)/b - (8/5)/4 a prime number?
False
Let y = 4 + 13. Suppose y = t + 519. Let p = -289 - t. Is p composite?
True
Let t = -388 - -231. Let m = -138 - t. Is m prime?
True
Let w be 20/(-30) + 86/3. Let d(s) = s**2 + 4*s + 8. Let m be d(-4). Is 682/m + (-7)/w a prime number?
False
Suppose 63*d + 73605 = 690438. Is d a prime number?
True
Suppose a + 0*a - 1147 = 0. Suppose a = -3*x + 2*r + 51, -r = 3*x + 1099. Let w = x - -673. Is w a prime number?
True
Let p(f) = -7*f - 17. Let s be p(16). Suppose -4*l - 4*u = -1152, 0*l = 4*l + 2*u - 1160. Let j = s + l. Is j a composite number?
False
Let x be ((-4)/((-24)/9))/((-12)/(-16)). Is (1 - 1/x)/(2/2164) composite?
False
Let w = -376 + 183. Let g(o) = 48*o + 12. Let n be g(-8). Let i = w - n. Is i composite?
False
Let r = 0 + 1. Let j be (-932 - -3)*1*r. Is j/(-7) + 10/35 prime?
False
Let j(d) = 414*d**2 + 7*d - 13. Is j(8) prime?
True
Let z(k) = 455*k + 31. Let o be z(-9). Let w = o + 5721. Is w a prime number?
True
Is (633/2)/((-39)/(-286)) composite?
True
Let x(k) = 32*k**3 + 2*k**2 + 7. Suppose 5*o - 2*c = 17, -3*c - 3 = -0*c. Is x(o) prime?
False
Suppose -y + 16 = -63. Is y a composite number?
False
Let r = -215 - -418. Is r composite?
True
Let x = 50 - 45. Suppose 2*b + 786 = x*b. Is b a composite number?
True
Let c(b) = 1991*b**2 - 2*b + 3. Let d be c(1). Suppose 0 = -5*s - 377 + d. Is s composite?
True
Let m(p) = -p**3 - 12*p**2 - p - 10. Let u be m(-12). Suppose u*v = 4018 + 556. Is v a prime number?
True
Let x(j) = 1572*j**2 + 16*j + 167. Is x(-7) composite?
True
Let h be (46/(-2))/((-9)/(-18)). Let b = h - -38. Is (-1722)/b - (-3)/(-12) a composite number?
True
Is (-1)/5 + 123039/45 a prime number?
False
Suppose 5*d - 13901 = 3*z, -4*z + 8329 = -0*d + 3*d. Is d composite?
True
Suppose c + 68236 = -8*t + 12*t, 0 = -3*t + 3*c + 51177. Is t prime?
False
Let h = 2 + -7. Let y(u) = -51*u + 4. Is y(h) a prime number?
False
Let a(q) = 248*q**2 + 2*q + 13. Is a(4) composite?
False
Suppose -4*b + 12 = 0, v + 0*v + 3*b - 3700 = 0. Is v a composite number?
False
Let a(k) = -85*k + 158. Is a(-29) composite?
True
Let a(l) = -l - 4. Let h be a(-5). Let r = 11 - h. Is (24/(-10))/((-4)/r) a prime number?
False
Let o(q) be the second derivative of 25*q**3 + 19*q**2/2 + 24*q. Is o(16) a prime number?
False
Is (-7070)/(-20) + 9/6 a composite number?
True
Let r(k) = -k**2 - 24*k - 26. Suppose -29 - 7 = 2*i. Is r(i) composite?
True
Let k be (3 - (-4 - -8))*-2145. Suppose -5*v - 280 + k = 0. Is v prime?
True
Let t(a) = -a**3 - 8*a**2 + 21*a + 18. Let m be t(-10). Suppose -4*j - 3*z + 13 = 0, -4*j - 3*z = -4*z - 17. Let l = m - j. Is l prime?
False
Let x(m) = m**3 - 3*m**2 + 2*m. Let u be x(3). Suppose -9*q = -7*q - u. Suppose -4*t - 12 = -v + 215, 0 = q*v + 5*t - 613. Is v a prime number?
True
Suppose o - 32 - 134 = 0. Suppose -2*g - 5*h = -153, 5*h - o - 145 = -4*g. Is g a composite number?
False
Let p(u) = u**3 + 14*u**2 - 16*u - 12. Let r be p(-15). Suppose 0 = r*d - 1324 - 1235. Is d a prime number?
True
Is 6 - 1*(-1550)/2 prime?
False
Suppose 0 = -2*k + 182 + 184. Let m = k + -278. Let u = m - -224. Is u a prime number?
False
Let u = -4598 - -8053. Suppose 6*o - u = o. Is o composite?
False
Suppose -198*k - 453972 = -210*k. Is k composite?
False
Suppose -i + 5274 = -10*i. Let m = 879 + i. Is m a composite number?
False
Suppose 91957 = 28*n + 27977. Is n prime?
False
Let l(v) be the first derivative of -11*v**4 + v**3/3 - 2*v**2 - 5*v - 21. Is l(-2) a prime number?
True
Let q be (2/6)/(10/90). Suppose -2*p + 3 = 2*p + q*j, 5*p = 4*j + 27. Suppose 31 = p*l - 2*l. Is l a prime number?
True
Let s(j) be the third derivative of -j**6/120 + j**5/10 - 5*j**4/24 - j**3/3 - 4*j**2. Let b be s(5). Is (1 + b)/((-4)/956) a composite number?
False
Suppose 2*p - 16 = -2. Let x(o) be the second derivative of 7*o**3/6 + 2*o**2 - 5*o. Is x(p) prime?
True
Let k = -22958 - -12330. Let z = -7392 - k. Suppose -7*y - z = -11*y. Is y prime?
True
Suppose 