 (v/76)/(1/(-8)) composite?
True
Let o be 4 + -12*(-6)/18. Is (o + -5 + 55)/((-2)/(-67)) prime?
False
Suppose -25*b + 38*b = 0. Is (6 - 8) + (4117 - b) - 6 composite?
True
Suppose 10*p + 0 - 30 = 0. Suppose -5*m = p*z - 5740, -4*m + 2*z + 4594 = 4*z. Is m prime?
True
Let p(f) = 709*f + 9. Let m(q) = -4*q**2 - 5*q - 4. Let h be m(-2). Let i(w) = -w**2 - 11*w - 9. Let u be i(h). Is p(u) composite?
True
Let i(q) = 4639*q**2 + 2*q + 6. Let d be i(4). Suppose -d = 47*y - 53*y. Is y composite?
False
Let i = -286 + 126. Let g be ((-2)/5 - i/150)*3. Is -3 + 82/((-3)/(-12)*g) a composite number?
True
Is 5/((-6)/24*-4) - -243444 composite?
True
Is -5 - 40011/(-2)*(-164)/(-123) a composite number?
False
Let i(u) = -7*u**3 + 22*u**2 - 12*u + 8. Let y(x) = 2*x**3 + x + 1. Let j(w) = i(w) + 3*y(w). Is j(18) prime?
False
Let o(j) = 205*j - 10. Let d(c) = -68*c + 3. Let n(f) = 7*d(f) + 2*o(f). Suppose 2*p + 5*w = -12, 24 = -4*p - 2*w - 0*w. Is n(p) a composite number?
False
Suppose 0 = 5*d - 68475 - 75910. Is d composite?
True
Suppose 0 = r - 3*b - 490, 2*b + 493 = 2*r - r. Suppose -2360 = -3*v + r. Is v prime?
True
Suppose 4*y + 9*o = 49736 + 57641, -26843 = -y - 2*o. Is y a prime number?
True
Suppose 9 = -t + 21. Suppose -t*x = 3*x - 21165. Is x prime?
False
Let l = -45 + 47. Let y be 5/(5*l/4). Suppose y = j, j - 385 = -4*g + 245. Is g prime?
True
Let y(s) = 15645*s - 1172. Is y(25) a composite number?
False
Let b(t) = -t**3 - 5*t**2 - 10*t - 10. Let y be b(-3). Is 6/y*(-21)/63 - -11108 prime?
False
Let q = -1021 + 1712. Suppose -2*s - 4*r + 4427 = -q, -4*r + 7687 = 3*s. Is s a prime number?
False
Let p = -8811 + 20360. Is p prime?
True
Suppose -77499 = -3*b - 4*r, -b + 4403 = 3*r - 21420. Is b a prime number?
True
Let o = 42 - 78. Let z = o - -3583. Is z a prime number?
True
Let x = -20 + 30. Let n(u) = -u**3 + 9*u**2 + 8*u + 18. Let d be n(x). Is -4 - d - (4 - 619) a prime number?
True
Suppose 0 = 2*a + 6*c - 9248, -c - 23104 = 35*a - 40*a. Is a a composite number?
False
Let k = 1500564 + -24262. Is k composite?
True
Suppose 0 = 62*s - 632187 - 324287. Is s prime?
True
Let g(k) = 335*k**2 + 35*k - 719. Is g(18) a composite number?
True
Let b(o) = 3*o**3 + 3*o**2 + o - 1. Let s be b(-1). Let n be (-268)/8 + 3/(-6). Is (0 - (-2)/s)*(-647 - n) composite?
False
Suppose -16*z + 8*z = -48. Suppose z*j = 2274 + 2160. Is j composite?
False
Is (-2137490)/(-15) + 6/(-18) a composite number?
True
Let k = 105 - 101. Suppose 5*j = -4*n + 22, -n + k*j = 2*n - 1. Suppose -5*z - 10 = 0, -n*d + 5*d - 5*z = 828. Is d a composite number?
False
Let z be ((-10)/7)/(-5) - (-254336)/56. Let x = z + -2948. Is x a composite number?
True
Suppose -258 + 1686 = -4*u. Suppose -12*n = 731 + 15517. Let q = u - n. Is q a composite number?
False
Let l = -8420 - -20421. Is l prime?
False
Suppose 3*z + 23 = 4*z - 4*y, z + 2 = -y. Is (12/(-108)*z)/(1/(-969)) composite?
True
Suppose 0 = -3*x - 12*x - 4*x + 1088947. Is x a composite number?
True
Suppose -1724706 = -4*j + d, 5*d = 4*j + 267504 - 1992202. Is j a composite number?
True
Suppose -12*m = -4*r - 7*m + 3511263, 1755632 = 2*r - 2*m. Is r a composite number?
False
Let c(p) = 145*p**2 + 2*p + 2. Suppose -5*n + 24 = -9*n. Let k be n/(-27) + 88/(-72). Is c(k) composite?
True
Let c(t) = 3243*t + 144 - 2541*t + 33. Is c(8) composite?
True
Suppose -79*d + 81*d = 21100. Suppose -i - 3*p = -d, -4*i + 29356 = -5*p - 12793. Is i a composite number?
True
Let t(q) = -220*q**3 + 10*q**2 + 75*q + 21. Is t(-6) prime?
False
Let m = 752 + -492. Suppose m*x = 261*x - 5. Is 2241/(x - 4) + -4 composite?
False
Let w(q) = 10001*q - 1532. Is w(29) a prime number?
False
Let p(q) = 5*q**3 + 201*q**2 - 4*q + 87. Is p(-40) prime?
True
Let z be 140/(-56) + 41889/6. Suppose 2*t - 17137 = z. Is t prime?
False
Let t(d) = 83*d**2 - 58*d + 7 + 102*d**2 + 58*d - 29*d**2. Is t(-6) a prime number?
True
Let f(a) = a**2 - 3*a - 6. Suppose 3*k - 126 = 2*m, 6*k - 203 = k + m. Let z = k + -56. Is f(z) prime?
False
Let t(d) be the second derivative of -d**3/6 + 13*d**2/2 - 28*d. Let q be t(9). Is 30446/12 - (q - 23/6) prime?
False
Let g(q) be the third derivative of q**4/24 - q**3/6 - 10*q**2. Let f be g(-1). Is (f + 3)*(3 + 428 + 0) a prime number?
True
Let o(k) = 2042*k + 673. Is o(14) composite?
True
Suppose 5*g + 5*f + 5 + 0 = 0, g - 3 = 3*f. Suppose g = 4*x + 98 - 9742. Is x prime?
True
Suppose -10*d + 59 = 9. Suppose 4*m - 4*r = 400, -d*m + r + 149 + 339 = 0. Suppose 2*h = 2, -3*s + 64 + m = 2*h. Is s a composite number?
False
Let o(j) = 1271*j - 602. Is o(25) a composite number?
True
Is 21/2*(-1455914)/(-51) a composite number?
True
Let v be (9 + 16)/(30/12). Suppose 3*a - 4*t = 3491, 0 = 5*a - 0*t - 2*t - 5809. Let s = a - v. Is s prime?
True
Let u(p) = -4*p + 5. Let g be u(1). Is ((-8458)/(-4) - g)/(6/28) a prime number?
False
Let q(d) = -d**3 - 3*d**2 + 12*d + 2. Let k be q(-5). Let p(c) = 18*c**2 + 34*c - 3. Is p(k) a prime number?
True
Let m(u) = u**2 - 10*u + 5. Let p be -2 + (-9)/(-3) - -9. Let z be m(p). Suppose 390 - 20 = z*l. Is l a composite number?
True
Let k(h) = -h**3 + 14*h**2 - h - 4. Let o be k(14). Is 48747/12 + o/24*-1 a prime number?
False
Let n = 8888 - 3319. Let a = n + -3608. Is a prime?
False
Let z = 44 - 48. Let d be (0 - z)*(-11)/4. Let p(m) = 3*m**2 - 2*m - 27. Is p(d) prime?
False
Is ((-3)/(-2) - 1)/(196/24157784) a prime number?
True
Suppose -5*y + 1413043 = -q - 33164, -5*q + 1446195 = 5*y. Is y a composite number?
False
Let h = 61 + -70. Let s be 12*((0 - 1) + (-12)/h). Suppose -907 = -s*x + 617. Is x composite?
True
Is (2 - 3*3) + 60668 + 60 a prime number?
False
Let b = 500 - 497. Suppose -60633 = b*d - 12*d. Is d a prime number?
True
Suppose -o + 79737 = 5*r, 14*r - 7*r - 28 = 0. Is o a composite number?
True
Suppose 0 = -6*y - 269 + 245. Let b(x) = -427*x**3 + 4*x**2 + 12*x + 11. Is b(y) a composite number?
True
Let j = 57 - 52. Suppose j*m - 1251 = -s, 2*m - 6324 = 5*s - 10*s. Suppose s = 8*o + 250. Is o a prime number?
True
Is (4 - (-20)/(-8))*(4 - (-18880220)/30) composite?
False
Let s = 158568 - 88820. Suppose -2*h - 34889 = -4*y + 3*y, -2*h + s = 2*y. Is y prime?
False
Let v(s) = 103*s**3 + 2*s**2 + s - 20. Let a(r) = 207*r**3 + 3*r**2 + 3*r - 39. Let b(y) = -3*a(y) + 7*v(y). Is b(4) composite?
False
Let k(s) be the third derivative of 30*s**2 + 0*s + 0 - 1/3*s**4 - 7/40*s**6 - 3/2*s**3 + 1/30*s**5. Is k(-4) prime?
True
Let p(i) = -3*i**2 - 10*i - 5. Let y be p(-2). Suppose 15423 = y*u - 36270. Is u a composite number?
False
Let w(s) = -61*s - 21*s - 364*s - 375*s + 15. Is w(-2) prime?
True
Let m(u) = -1669*u**3 - 9*u**2 - 47*u - 18. Is m(-5) composite?
True
Let q(t) = 10485*t + 197. Is q(16) prime?
False
Let c be ((-152)/(-171))/((-1)/(-9)). Suppose 0 = -j + x + 3689, 5*j - 18481 = -c*x + 4*x. Is j a prime number?
False
Let a(h) = -5*h - 40. Let w be a(-9). Suppose f + 10*z = 5*z + 1506, 25 = w*z. Is f a composite number?
False
Suppose 0 = -4*u - 12, 5*o = 4*o - 2*u - 13. Let x be (o - 3)*(-16)/10. Suppose x*y - 1796 = 12*y. Is y a composite number?
False
Suppose 9*m = 7*m + 195630. Suppose -19*j + 518684 = m. Is j a composite number?
True
Suppose 5*f = -2*m + 21750, 4*f - 23534 = 4*m - 6162. Let o = 2775 + f. Is o a composite number?
True
Let q = 55657 - -96870. Is q a prime number?
False
Let a(q) be the first derivative of q**3/3 + 17*q**2/2 + 44*q + 13. Let c be a(-14). Is 1/(-3)*-3 + (574 - c) prime?
False
Let x(f) be the third derivative of -2*f**6/3 - f**5/30 - f**4/24 - f**3/2 - f**2 + 21. Is x(-2) prime?
True
Let o(a) = 377*a**3 - 32*a**2 + a - 35. Is o(6) composite?
False
Suppose -9619*x + 266694 = -9616*x. Is x composite?
True
Is 1280670 + (-176)/(-33) + (-10)/(-6) composite?
False
Suppose 0 = -2*u + 2943 + 17267. Suppose 3*d = 836 + u. Is d composite?
True
Suppose l - 55497 = o + 836, 4*o - 168999 = -3*l. Is l prime?
True
Suppose 167 = -4*g - j, -6 + 74 = -g + 5*j. Let i = 153 - g. Let r = i + 81. Is r prime?
True
Suppose 0 = 2*m + 22 - 32. Suppose m*z - 663 - 214 = -2*q, -z - 2233 = -5*q. Suppose q = n + n. Is n a prime number?
True
Let t(h) = -449*h**3 + h**2 - 14*h - 3. Let z(r) = 450*r**3 - r**2 + 16*r + 4. Let s(j) = -6*t(j) - 5*z(j). Is s(2) a prime number?
False
Let r = 57 + -57. Suppose -3*g - 5618 + 2018