 ((-196)/(-12))/(4/12). Let b = m - x. Is b composite?
True
Let j(y) be the first derivative of -y**2/2 + y + 4. Let o be j(2). Is (-102 + -1)*13/o composite?
True
Suppose -2*y = 0, -5*a - y = -2*y + 270. Is (0 - a) + -14 + 15 a prime number?
False
Suppose 47*k - 54*k + 217609 = 0. Is k a composite number?
True
Suppose 13*q + 462 = 1203. Let o = 0 + 0. Suppose o*p + p = q. Is p composite?
True
Let p be (-44)/16 - 4/16. Is (-1906)/p + (-11)/33 a composite number?
True
Suppose -7822 = -9*z + 18251. Is z a prime number?
True
Let n be (-1)/(-3) - 10/(-6). Let r(p) = -p**2 + 21*p - 15. Let j be r(20). Suppose j*b - n*b = 21. Is b a composite number?
False
Suppose -5*y - 70 = 5*d, d - y + 4*y + 24 = 0. Let g(k) be the third derivative of -29*k**4/8 - 11*k**3/3 + 2*k**2. Is g(d) prime?
True
Let i be (-1)/2*(9 - 9). Suppose -5*z - z + 318 = i. Is z a composite number?
False
Let z(f) = 350*f**2 + 17*f - 46. Is z(11) composite?
False
Suppose 5*u + 0*q + 16 = 4*q, -4*q + 16 = u. Suppose -5*l = 4*j - 612, -4*j + l + 576 = -3*l. Suppose 4*p - 8*p + j = u. Is p composite?
False
Let b be -2 + 6/3 + -1. Let g(q) be the third derivative of 11*q**5/6 - q**4/24 - q**2. Is g(b) a prime number?
False
Let k be 6 + -5 - (-796 + 3). Suppose 0*d - 2*d + k = 0. Is d a composite number?
False
Suppose -20 = -0*b - 5*b. Suppose l + 760 = 2*o, l = -b*o - l + 1528. Is (0 - o/6)*-2 composite?
False
Let c = -2174 + 3355. Is c a composite number?
False
Let v = -3788 - -16789. Is v composite?
False
Let i(g) = -2*g + 2. Let o be i(5). Let h = 10 + o. Suppose 131 = h*j - 47. Is j composite?
False
Let v(d) = -5*d**3 - 3*d**2 - 4*d - 2. Let r be v(-2). Let g = -78 - -222. Suppose -g = -2*s + r. Is s composite?
False
Let d(s) = -71*s**3 - s**2 + 2*s + 3. Let u be (-1 - 0)/(5*2/10). Is d(u) prime?
True
Suppose -5*m - 1368 = -7*m. Let s = 1063 - m. Is s a prime number?
True
Let a(k) = 14*k**2 + 3*k + 37. Let j be a(11). Suppose j = 3*y - 105. Is y a composite number?
True
Let x be -4 + ((-3)/12 - (-111)/12). Suppose -x*i + 2689 = -376. Is i composite?
False
Is -1*2 + -101 + 28430 a composite number?
True
Let m = 58 + -164. Is m/4*(3 + 41)/(-2) a prime number?
False
Let t = 18 + -15. Is (-1)/t - 3290/(-15) a prime number?
False
Suppose 0 = 4*z - 5*c - 1701, -5*z + 2*z = 3*c - 1242. Let o = 264 + z. Is o prime?
True
Suppose -4*a = -0*a + 44. Let m(w) = -3*w**3 - 20*w**2 - 13*w - 5. Is m(a) prime?
False
Let c = 3009 - 506. Is c composite?
False
Suppose 31 + 8 = 3*z. Suppose 2*v = -3 + z. Suppose 0*x = v*x - 265. Is x prime?
True
Suppose -771 = -2*f + 199. Is f a composite number?
True
Let n(g) = g**3 + 7*g**2 + 2*g + 4. Let x be n(-6). Let i = 6 + x. Suppose -t - 3 = -i. Is t a prime number?
True
Suppose x = 2*j + 1521, 4*x + 2482 = 5*j + 8554. Is x composite?
True
Is ((-2)/12*-67508)/((-10)/(-15)) prime?
False
Let i(n) = 235*n + 12. Is i(7) a prime number?
True
Let o(v) = -v**3 - 20*v**2 + 16*v - 54. Let h be o(-18). Let m = h + 1663. Is m composite?
False
Suppose -71*s = -68*s - 2823. Is s a composite number?
False
Is 16996672/252 + (-5)/45 prime?
True
Is (-3)/(-9 - (-355740)/39529) a prime number?
True
Suppose 5*k - 45665 = -b - 2*b, -5*k = -4*b - 45665. Is k prime?
True
Let s(c) = -c**2 - 9*c + 4. Let j be s(-9). Suppose 0*o = -j*o + 1028. Suppose 5*g - o = 4*u, 0*g + 2*g - 96 = 5*u. Is g a composite number?
False
Let h be -2 - (7 + (-9)/(-3)). Let s(a) = -2*a**3 - 11*a**2 - 6*a - 13. Is s(h) a composite number?
False
Suppose f + 3*f - 44 = 0. Suppose -422 = -f*z + 9*z. Is z a composite number?
False
Suppose -21*s = -15*s. Let i(a) = a**2 - 5*a - 2. Let f be i(6). Suppose -f*u = s, -5*p + 221 + 194 = -4*u. Is p composite?
False
Suppose 0 = -230*a + 220*a + 40510. Is a prime?
True
Let t(v) = -v**3 + 13*v**2 + 2*v + 9. Let k(z) = -z**3 + 5*z**2 - z - 3. Let s = 20 + -17. Let p be k(s). Is t(p) composite?
True
Let j(v) = 30*v + 13. Let q = -6 + -5. Let k = q - -18. Is j(k) prime?
True
Suppose 1595 = 5*b - 70. Suppose -703 - 121 = -4*c. Let t = b - c. Is t a prime number?
True
Let v be (-7)/((-98)/744) - (-10)/(-70). Suppose v = 2*c - 2393. Is c a prime number?
True
Let o(f) = f**3 + 9*f**2 - f - 6. Let y be o(-9). Suppose -y*m + 9473 = 3458. Is m composite?
True
Let q(v) = -v**3 + 10*v**2 - 8*v - 17. Let c be q(9). Is 6/c - 1337/(-28) a prime number?
True
Let f = -86 - -120. Let u = -1 + f. Is u a composite number?
True
Let z(h) = -h**3 - 7*h**2 + 17*h - 7. Let x be z(-9). Suppose x*n = -n + 795. Is n composite?
True
Let c(r) = 554*r - 231. Is c(8) prime?
True
Let l(w) be the third derivative of -w**5/60 - w**4/2 + 8*w**3/3 - 5*w**2. Let h be l(-13). Suppose h*g - 65 - 82 = 0. Is g prime?
False
Let a = 843 - 545. Suppose a = 15*f - 13*f. Is f composite?
False
Let f be (-11 - -10 - 2/(-8))*8. Is (9 + -4 + f)*-139 a composite number?
False
Let x = -23 - 22. Let c = x + 83. Let q = c - -31. Is q composite?
True
Suppose -4*j = -j - 5*x - 889861, 0 = -2*x + 8. Is j a prime number?
True
Let q(f) = f**3 - 4*f**2 - f + 3. Suppose 2*z + 8 = -3*k - k, 3*k + 8 = -z. Let u be 6 - (k/(-4) + 0). Is q(u) a prime number?
True
Let q(p) = 4*p**2 + 59*p + 62. Is q(-25) prime?
True
Let c = -3 - -10. Suppose 5*h - 9 = 1. Suppose -h*s - 475 = -c*s. Is s prime?
False
Let q(z) = -210*z + 1. Let j(p) = p**2 - 14*p - 1. Let l be j(14). Is q(l) a prime number?
True
Let l be (-18)/(-2) - (-3 - -4). Suppose d = 5*k - 34, -d = d + l. Is (-12)/(-18) + 4070/k a prime number?
False
Let g(y) = -46*y**3 - 3*y**2 + 5*y - 5. Let z be g(2). Let b = 854 + z. Is b a composite number?
False
Let y be ((-1)/2)/(2/2292). Suppose -99 = -g - 3*d, 5*g - 8*g + 2*d + 286 = 0. Let i = g - y. Is i a composite number?
True
Is 4167/(-6)*-174 + 6 a prime number?
False
Let o(w) = w**3 - 17*w**2 - 19*w + 20. Let z be o(18). Let d be (1 + 2)*(-2)/z. Is 285*(12/d)/(-12) a prime number?
False
Suppose 7*k - 4*k - 45 = 0. Suppose 3*d - 4*d = k. Let m = d - -142. Is m a prime number?
True
Let p be -3 + 1 + -2 - -4. Let r be 3 + (p - 1264)/(-4). Let m = r + 182. Is m prime?
False
Let o(l) = -3647*l. Suppose -c + 1 = -v + 5, 2*v + 12 = -2*c. Is o(v) a composite number?
True
Suppose -28 + 0 = -7*a. Let u = -1 - -3. Suppose -a*o = -u*b - 3*o + 67, -o - 1 = 0. Is b composite?
True
Let l = -410 + 653. Suppose 4*y = 4*w - 2992, -378 - 386 = -w - 3*y. Suppose -5*m + l = -w. Is m prime?
True
Suppose s = 2*j - 1084 + 9633, -j = 3. Is s composite?
False
Let t = 39111 - -30940. Is t composite?
False
Let j = -61 - -65. Suppose -j*g = -0*g + 5*y - 6147, 5*g - 5*y - 7740 = 0. Is g composite?
False
Suppose -12 = -7*l + 5*l. Suppose 3*b + 3 = l*b. Is b/((-4)/124)*-1 a composite number?
False
Suppose -3*k + 22 = -20. Let m(w) = -9*w**2 - 3*w - 2. Let r be m(-1). Let n = k + r. Is n composite?
True
Let g be (-2)/((-4)/(-242)) + -3. Let n = 294 + g. Suppose -5*u + n = -0*u. Is u a prime number?
False
Let t = -1268 + 2107. Is t a prime number?
True
Let x = 25 - 27. Let c be ((-3216)/32)/(1/x). Let d = c + 10. Is d composite?
False
Let f = -23245 + 14560. Is (14/7)/(6/f*-3) composite?
True
Suppose 0 = -31*m + 28*m + 12. Suppose -m*n + 2755 = n. Is n a composite number?
True
Suppose 49*u = 40*u + 4743. Is u a prime number?
False
Let v(y) = -11*y**3 + 2*y**2 - 10*y - 4. Let l be v(-4). Suppose 3*w = 4*t - 905 - 96, -2*w = 3*t - l. Is t composite?
True
Suppose -776 = -5*p - 3*b, -766 = 2*p - 7*p + 2*b. Suppose j + 3*y = p, 2*j - 2*y = 512 - 180. Is j composite?
False
Suppose -3*y + 42 = 3. Suppose y*s - 13610 = 3*s. Is s a composite number?
False
Let n = 218285 - 152970. Is n prime?
False
Suppose -4*t + p + 16294 = 0, 2*t + 0*p = -p + 8144. Is t composite?
False
Let q be (-3 - -2091) + 1 + -4. Suppose 0 = 5*h + q + 2560. Let z = 1306 + h. Is z a composite number?
True
Let g = 6 - 3. Suppose -2*j + g*j + 1 = 0. Let o = 4 + j. Is o a prime number?
True
Is 45510/33 - 13/143 composite?
True
Suppose 5*o + 18*d = 23*d + 66230, o - 13245 = 2*d. Is o prime?
False
Let m be (44/22)/(-1 + 2). Let b be 0 - 3 - (m - 0). Let y(w) = -59*w - 2. Is y(b) composite?
False
Let q(i) = -3 + 5 + 178*i - 15. Let x be q(-8). Let v = 2392 + x. Is v a composite number?
True
Let p be 73*38 - (2 - -1). Suppose 3*s = 4*z - 3234, -2*s + 5*z - p + 615 = 0. Is s/(-3) + (-1)/3 prime?
True
Suppose -2*