8535*v - 6131. Is y(8) a composite number?
True
Suppose 0 = 7*l - 55 - 36. Suppose l*t = -28756 + 89843. Is t a prime number?
False
Suppose -59 + 17 = 6*m. Let b be m*2/3*1*3. Let i(f) = -65*f + 43. Is i(b) a composite number?
False
Let f be 371202/5 - ((-52)/20 - -3). Suppose 3*m - f = -22436. Suppose -5*v = -v - m. Is v a prime number?
False
Let s(q) be the second derivative of -16*q - 91/20*q**5 + 0 + 1/3*q**4 + 5/6*q**3 + 5/2*q**2. Is s(-2) a prime number?
True
Let m(v) be the first derivative of -v**4/4 - 13*v**3/3 + 10*v**2 - 32*v + 125. Suppose -4 = 2*o + 26. Is m(o) a prime number?
False
Let f(r) = -r**2 - 14*r + 2. Let b be f(-14). Suppose 5 = -0*j - j - 2*t, -5*j = -b*t - 23. Suppose 506 = 3*u + n, -j*n - 115 - 538 = -4*u. Is u composite?
False
Suppose -131*t + 64*t = -3069739. Is t prime?
True
Let n(h) = -973*h - 436. Let g(y) = y**2 - 8*y - 44. Let v be g(11). Is n(v) a composite number?
False
Let k = 37 - 31. Let n(o) = -22*o**3 - k + 5 + 4 + 4*o - 2. Is n(-3) a prime number?
False
Let r(m) = 3*m**2 + 31*m - 37. Let h(j) = j**2 - 23*j - 22. Let x be h(24). Suppose 0 = 4*w - x*w - z + 50, 0 = 4*w - 3*z + 102. Is r(w) composite?
False
Suppose 70*o + 25 = 71*o - d, -d = 5*o - 107. Suppose -10*h = o*h - 26528. Is h a composite number?
False
Suppose -133*f = -131*f + 12, 2*o + 2*f = 562562. Is o a composite number?
True
Suppose 18*c - 1934252 = -35972. Suppose -2*q - 18*q = -c. Is q a composite number?
False
Let k(u) = 41882*u - 303. Is k(1) a composite number?
False
Let w(l) = 401*l**3 - 14*l**2 - 4*l - 97. Is w(8) prime?
False
Let w = -207 - -211. Suppose 2*n = 3*p + 2557, -p = -w*n + 4*p + 5113. Is n prime?
True
Suppose -16*y + 12*y + 89924 = 0. Is y prime?
True
Suppose 164*m = 33*m + 7366523. Is m composite?
True
Suppose 4*j = -9*j + 156. Is (39/j)/13 - (-73174)/8 composite?
True
Suppose -71*g + 77*g - 1224 = 0. Is 36*g + 50/10 a prime number?
True
Let n = -53 + 41. Is -4 - -170*(-126)/n a prime number?
False
Suppose 2*k - 8 = 0, -5*p + 3*k = 8*k - 570. Is 5 + 188740/p - 4/(-22) composite?
False
Suppose -13 = 5*f - 58. Let t be 12/(-18)*f/(-2). Suppose -t*l = -8*l + 4265. Is l prime?
True
Is 2/(7/(3866499/18)) composite?
True
Let o(i) = 7062*i - 889. Is o(5) prime?
True
Suppose 0 = -47*p + 10958914 + 11227205 + 177562. Is p a composite number?
False
Let y = -13229 - -5567. Is (y/(-48))/(1/8) composite?
False
Let i(q) = -214*q - 17. Let k be i(-6). Suppose -9*n + k + 1640 = 0. Is n a composite number?
True
Suppose -3*p + 232291 = -2*w, -28*w + 30*w - 309712 = -4*p. Is p a prime number?
False
Let o(q) = -3*q**3 - q**2 + 7*q + 10. Let k(d) = -4*d**3 - 2*d**2 + 6*d + 9. Let s(b) = 4*k(b) - 5*o(b). Is s(-8) a prime number?
False
Suppose -2*r - 3*r + 766440 = 0. Suppose -3*s + r - 34563 = 0. Suppose -s = 13*q - 18*q. Is q a prime number?
False
Let h(a) = 81935*a - 208. Is h(1) prime?
True
Let y = 131331 - -115156. Is y composite?
True
Let r(z) = 8103*z**2 + z + 2. Let v be r(2). Suppose 0*c - 64827 = -2*i - 5*c, i + 5*c - v = 0. Is i prime?
True
Suppose -2*s - h + 0*h = -12, 5*h - 35 = -5*s. Let d(i) = 77*i + 15. Let y be d(s). Let n = -163 + y. Is n prime?
False
Let k(w) = 306*w - 67. Let a be k(7). Suppose -9987 = -4*d - 5*r, 2*d - 7091 = 2*r - a. Is d prime?
True
Let b be (-3 - (-28)/8)/(1/(-12)). Let z be (-14)/105*-20 + 4/b. Suppose z*t - 6654 = -4*t. Is t composite?
False
Let t be ((12/(-18))/(4/(-6702)))/1. Let z = -427 + t. Let x = -433 + z. Is x composite?
False
Let q(j) = -j**3 - 12*j**2 - 8*j + 38. Let a be q(-11). Suppose -a*v + 2*u + 27275 = 0, 2*v - u - 10910 = -0*v. Is v composite?
True
Let d = 339 + -333. Suppose -4*g = -578 - 5774. Suppose -2*n - g = -d*n. Is n a prime number?
True
Suppose r + 1020 = -3*r. Let q = 489 + r. Suppose -20*s + q = -14*s. Is s a composite number?
True
Let o be (-630)/(-180)*(-4)/(-7). Let k(y) = 469*y**3 + 4*y**2 - 2*y - 3. Is k(o) a composite number?
False
Suppose 2*j + 126 = 310. Suppose j*z = 107*z - 279555. Is z a prime number?
True
Let h be (3 - (1 + 3 - 0))*-461. Let x = 1148 - h. Is x a prime number?
False
Suppose -4*y + 379 - 139 = 2*u, 0 = 5*u + 3*y - 607. Suppose i + i + u = 0. Let g = i + 188. Is g prime?
True
Is (-1901)/(-3)*(-4 + 60 - -1)/1 prime?
False
Let l(j) = 3*j**2 - 2*j + 8. Suppose 50 - 5 = 9*k. Let t be l(k). Suppose 4*q - t - 75 = 0. Is q a prime number?
True
Let n = 61 - 47. Suppose u = n*u. Suppose 3 = -2*c + c, -3*h - 5*c + 246 = u. Is h a prime number?
False
Is 169738/(-3)*429/(-286) composite?
False
Let n be 2/(6/(-8127)) - (2 + 1). Let u = 6419 + n. Is u composite?
True
Is (-4 + (-63)/(-14))/(-4*1/(-91736)) composite?
False
Is (135957/(-4))/(282/(-376)) composite?
False
Let h(j) = j**3 - 12*j**2 + 20*j + 18. Let o = 28 + -18. Let p be h(o). Is (7942/p - 10/45) + 2 prime?
True
Suppose 0 = 4*u + 4, a - u = 63987 - 12199. Is a prime?
True
Let m(y) = -2*y**3 - 6*y**2 - 5*y - 6. Let w be m(-3). Suppose -11*r = -w*r - 14806. Is r prime?
False
Suppose 0 = 4*g - 13*x + 11*x + 782, 2*g + 387 = 5*x. Let r = 1433 + g. Is r a prime number?
True
Let q = -33 - -38. Suppose -3*b + 113 = t - 236, q*b - 585 = -t. Is b a composite number?
True
Suppose -3*v - 2*r + 195776 = -5011, -3*r - 133858 = -2*v. Suppose 5*x = -2*h + v, -4*x + 3*h = -35725 - 17832. Is x a prime number?
False
Is (-5)/(-75) - (-4)/(-10) - 395756/(-6) prime?
False
Let d be 77780/(-3)*15/(-10). Let r(y) = -32*y + 120. Let p be r(4). Is 44/16 + -3 - d/p a composite number?
False
Let y = 207643 - 85442. Is y a composite number?
False
Let j = -6503 - -10366. Is j a composite number?
False
Let v(b) = 525*b**3 + b**2 + b - 1. Let c be v(1). Suppose c = -0*o + o. Let s = o - -105. Is s a prime number?
True
Let u = 3143 + -1135. Suppose u = 4*a + 4*a. Suppose 0 = -2*c + a + 195. Is c a composite number?
False
Let z be (-4)/(-8) - (-21)/6. Suppose -c - 2672 = -z*b, -6*b + 3*b = 2*c - 2015. Suppose 36*s + b = 37*s. Is s prime?
False
Let n(i) = i**2 + 10*i - 21. Let p be n(-12). Suppose 4*w - 2357 - 31907 = -p*q, -2*w - 4*q + 17142 = 0. Is w prime?
True
Let s(l) = 8*l**2 - 37*l + 163. Is s(-36) composite?
False
Let k(x) = x**3 + 48*x**2 + 37*x + 47. Is k(-36) a composite number?
True
Let q = -8874 + 13435. Is q prime?
True
Let l = -150 - -153. Suppose l*y - 97 - 988 = -4*q, -y - 3*q = -365. Is y a composite number?
False
Let k = 48369 - 72303. Is 2/((-215418)/k + -9) prime?
True
Let z(f) = 7439*f + 4 - 5 - 10391*f. Is z(-1) a prime number?
False
Suppose -2827*l - 3904 = -2831*l. Let s = 3952 - 2035. Let u = s - l. Is u a composite number?
False
Suppose d + 5*b = 36, d - b = 2 + 4. Let z(x) = 2*x - 4. Let f be z(d). Suppose -170 = -20*i + f*i. Is i a prime number?
False
Let p = 41 + -19. Let w = -612 + 1176. Is (p/(-4))/((-6)/w) a composite number?
True
Let n(d) = 135794*d - 127. Is n(1) composite?
True
Let w(g) = g**2 + 13*g + 67. Suppose -9*v = -6*v + 120. Is w(v) a composite number?
True
Let w = -23090 + 35091. Let a = 1648 + w. Is a a prime number?
True
Let r = -244306 + 436613. Is r a composite number?
False
Let b be 16/(-6)*(-847881)/(-124). Let n = b - -27257. Is n a prime number?
False
Let o be 3005/7 + (-4)/14. Suppose 0 = 7*k - 432 - o. Is k a composite number?
True
Let k(q) = 35*q**2 - 2*q - 14. Let r be ((-184)/16 + 9)/((-1)/2). Is k(r) a prime number?
False
Suppose -3*d = t + 6, 3*t = 2*d + 3*d + 24. Suppose -3*h = -3*m - 3780, 6*m - t*m + 3774 = h. Is (m/(-4) + 0)/(6/24) a composite number?
True
Let p(u) = -35029*u**3 + 7*u**2 + 63*u + 107. Is p(-2) a composite number?
True
Suppose 42 = -u + 3*u. Suppose -2*h - u = -3*m, m - 8 = -4*h + 13. Suppose 5*a = -m + 564. Is a a prime number?
False
Suppose 13692200 = 66*d - 4539178. Is d composite?
True
Let a(w) = -w**2 + 2*w - 13440. Let c be a(0). Is 6 + c/(3 + -6) a prime number?
False
Let s = 349641 - 80282. Is s a prime number?
False
Suppose -4*y = -4649 - 15867. Is y composite?
True
Suppose -3*x = -5*c - 51, 0 = 2*x + 5*c - 7 - 2. Let o = 13068 + -13037. Suppose 3*u + x = n - 27, -u = n - o. Is n prime?
False
Is 212/6*(9747/114 - -48) prime?
False
Let c(q) = 13*q**3 + 3*q**2 - 20*q + 25043. Let x(v) = -6*v**3 - v**2 + 9*v - 12521. Let o(m) = -4*c(m) - 9*x(m). Is o(0) prime?
True
Suppose 5*q - 133675 = -i, 22*q = 24*q - i - 53470. Is q a prime number?
False
Let