 prime number?
True
Suppose -3*y - 10 = 2, 4*y + 24 = 4*v. Suppose 12372 = 2*a - 5*u + v*u, -4*u + 8 = 0. Is a prime?
False
Suppose 0 = 8*o - 123 + 83. Suppose p = -o*p + 19794. Is p a composite number?
False
Is (14 - 15)*(1/1 + -47456) composite?
True
Let q = -71 + 65. Let f be (-36)/84 + (-1)/(14/q). Suppose f = 3*m - 4*m + 199. Is m composite?
False
Is 21/(-126)*(-151896)/2 composite?
True
Let i(p) = -8*p - 9*p - 6*p + 23 + 16*p. Let d be -3 - (8 - -3)/1. Is i(d) a composite number?
True
Let y(t) = 3436*t**2 - 34*t - 869. Is y(-14) a composite number?
False
Suppose 4*r - 309 = -3*s, 4*r - 162 - 44 = -2*s. Let u = s - 109. Is (11158/35)/(u/(-15)) prime?
True
Suppose -5*k + 3*v + 539521 = 7*v, 0 = -k + 4*v + 107861. Is k prime?
True
Is 34286571/363 - (-4)/(-11) prime?
False
Suppose -2612179 = 16*c + 151*c - 13669917. Is c prime?
False
Is 22/55 - 0/5 - 177225057/(-45) composite?
True
Let i = 187205 - 119386. Is i composite?
False
Let t(b) = 2*b**2 + b + 1. Let s be t(2). Suppose -21 = 5*k - s. Let j = k - -143. Is j a composite number?
True
Let x = 788 - 2164. Let n = x - -4449. Suppose 9*p - n = 2*p. Is p composite?
False
Let c(s) be the first derivative of 2183*s**2 + 11*s + 19. Is c(2) a composite number?
True
Suppose 3*l + o = 128389, -64*o + 62*o = 4. Is l composite?
False
Let d = -256 + 240. Is -22036*((420/d)/5 - -5) composite?
True
Let l = 71 - 75. Is ((-751)/4)/((-85)/20 - l) composite?
False
Let z(i) be the third derivative of i**6/120 - 31*i**5/60 + 23*i**4/8 - 83*i**3/6 + 12*i**2 - 1. Is z(40) prime?
True
Let z = 49 - 44. Suppose -4*x + 2*x + 3*q + 1521 = 0, 4*q + 3813 = z*x. Suppose -7*g - x = -5*m - 3*g, 4*g - 648 = -4*m. Is m a composite number?
False
Let w = 278614 + -155805. Is w a composite number?
True
Let h(l) = -l**2 + 17*l - 28. Let p be h(15). Suppose -4*z = -3*u - u + 2376, 4*u - p*z - 2366 = 0. Is u prime?
False
Is (-30)/(-75) - 1969506/(-10) a prime number?
False
Let k(j) = 1577*j**2 - 142*j + 27. Let x be k(5). Suppose 5*g = 3*s + 23, 3*s - 3*g + 17 = -2*s. Is (s/2 + 1)/(33/x) composite?
False
Suppose 0 = -3*f - f - 5*g + 2314277, 0 = 2*g - 10. Is f a prime number?
True
Let h be 52/16 + -3 + (-91)/(-4). Suppose -4*z = 4*a + 12, -5*a + 8 = -2*z + h. Let i(f) = -f**3 - f**2 + f + 382. Is i(z) a prime number?
False
Suppose -20 = 5*h, -3*z - 6762 = 2*z + 3*h. Suppose -5*r = -3*k + 11823, 0 = k - 496*r + 494*r - 3941. Let b = k + z. Is b a prime number?
True
Suppose -20 = -5*q - 5*q. Suppose -q*s - 4520 = -s. Let n = -571 - s. Is n composite?
True
Let f = -24334 - -42447. Is f composite?
True
Let k = -137407 - -283754. Is k a prime number?
True
Let y(j) = 18*j - 122. Let u be y(7). Suppose u*s = 5*b + 9987, -b - 10007 = -8*s + 4*s. Is s composite?
False
Suppose -75*v - 88851 = -68*v. Let o = -8282 - v. Is o prime?
False
Suppose 29 = -2*t + 27. Is (t/3*-1)/((-7)/(-86457)) a prime number?
False
Let s(h) = 5*h**2 + 16*h - 247. Is s(-42) prime?
True
Let j(l) = 212*l - 6. Let p = 35 - 32. Let c(k) = 211*k - 5. Let u(h) = p*c(h) - 4*j(h). Is u(-2) a composite number?
False
Suppose 0 = -5*c + 324 + 261. Let y be (-2)/9 - (-4823)/c. Suppose -q = -8 - y. Is q a composite number?
True
Suppose -5*w + 211869 = j, 0 = -j - w + 353483 - 141622. Is j a prime number?
True
Suppose -6*x = -4 + 40. Is (-18 - 1)/(x*(-8)/(-3216)) a prime number?
False
Let w = 56 - 8. Suppose w*i + 765 = 51*i. Let j = i + -121. Is j composite?
True
Suppose -2*v = -7693 - 10905. Suppose 2*o = y - v, 2908 = y + 2*o - 6403. Is y composite?
True
Let q(w) = -33083*w - 1271. Is q(-6) a composite number?
True
Let f(m) = 5212*m**2 + 18*m - 51. Is f(4) composite?
True
Suppose -235623 - 96219 = -42*o. Is o a prime number?
True
Let t = -55 - -68. Suppose -11*w - t = 2*w. Is 1/(1/11) - (w - -1) prime?
True
Suppose -l - 20 = -5*l. Suppose 2*r + t = 20740, -l*r + 3*t = -45603 - 6236. Is r a prime number?
True
Suppose -8*w + 12880 = -3120. Let t(c) = 23*c**3 + 5*c**2 - 3*c - 1. Let a be t(-4). Let y = w + a. Is y composite?
False
Let x = -122 + 126. Suppose 5*c - x*t - 5203 = 0, 0 = 23*c - 24*c + 4*t + 1047. Is c a composite number?
False
Let k(b) = 5*b - 68. Let z be k(5). Is 1 + z*(-79 - -4) composite?
True
Let z = -3078 + -2331. Let b = z - -8143. Is b a prime number?
False
Suppose -55*y - 40 = -15*y. Let t(g) be the first derivative of 36*g**3 + g - 2. Is t(y) prime?
True
Suppose 21*y - 8779486 - 7672450 - 836755 = 0. Is y prime?
True
Suppose 3*x + 24 = 3*a + 6*x, 5*x = 25. Suppose -4*b + 4*s = 17688, -s - 7693 - 5589 = a*b. Is ((-25)/(-10) - 1)*b/(-3) prime?
True
Let f = -11134 - -17737. Is f + 7 + 8/(-8) a composite number?
True
Let j(w) = 8288*w**2 - 44*w - 107. Is j(-2) a prime number?
False
Suppose 0 = -26*f + 2108418 + 1260575 + 2084897. Is f a prime number?
False
Suppose 26*d - 27*d = -10. Suppose d*v - 2324 = 19506. Is v a composite number?
True
Let i(u) = -7*u**3 - 380*u**2 + 25*u + 459. Is i(-71) a composite number?
False
Suppose c = -4*c - 2*m - 15, 2*c + 5*m + 27 = 0. Let v be c + 2 + (-26)/(-13). Suppose -v*t + 2265 = 4*j, 4*t - j - 3752 = -t. Is t a prime number?
True
Let l = 243 + -237. Suppose l*g = 90970 - 22216. Is g a composite number?
True
Let m(f) = -22*f**2 + 28*f - 24. Let i be m(-13). Let r = -328 - i. Is r a composite number?
True
Is (-20756)/(-5)*1645/188 a composite number?
True
Let j = 24220 + -13842. Suppose j = c - l, -4*l - 6312 = 3*c - 37453. Is c prime?
False
Let u be 1/((-72)/(-10) + -7). Suppose -u*l = 3*g - 2414, 1453 + 468 = 4*l - g. Is l a composite number?
True
Let f(q) = 7*q + 19. Let d be f(10). Let m(k) = -28*k + 84*k - 26*k + d*k + 2. Is m(3) prime?
True
Let i = 898578 - 588959. Is i a prime number?
False
Suppose 2*b + t = 11, b - 3*t = -0*b + 2. Suppose -p - 4 = 0, -4*p = b*w - p - 8. Suppose -w*r + 51 + 289 = 0. Is r composite?
True
Let y(p) = -5880*p - 197. Is y(-11) a prime number?
True
Let n = -537 + 4802. Suppose 34033 + 1541 = -33*y. Let x = n + y. Is x a composite number?
False
Let t = 61856 + -32067. Is t a prime number?
True
Suppose 0 = 2*s - 2*g - 138, -5*s + 357 = -3*g + g. Let v be (-2 + -2*s)*(-11)/22. Suppose 3*f = f + v. Is f composite?
False
Is -453626*1*-1*(-4)/(-8) prime?
True
Let l(p) = -p**3 + 2*p**2 + 9*p - 4. Let d be l(-4). Suppose d*w + b = 57*w - 903, -20 = -5*b. Is w prime?
True
Suppose -3049913 = -30*q + 25*q - 3*j, 0 = 4*q - 4*j - 2439892. Is q a composite number?
False
Let w(o) be the third derivative of 665*o**4/4 - 47*o**3/6 - 5*o**2. Is w(3) a prime number?
True
Suppose -75*y + 15069537 = -8936388. Is y a prime number?
False
Suppose -5 = s - 2*k, 12*k - 10 = 10*k. Suppose r + 4*z - 1570 = 0, s*r - z - 7867 = -4*z. Is r a prime number?
False
Is 71633/(1*((-4)/(-4 - -6))/(-2)) a prime number?
True
Suppose -15354 = 19*n - 12574 + 20248. Let m be ((2 + 3359)*1)/(-1). Let q = n - m. Is q prime?
False
Let p(f) = 10*f**3 + 11*f**2 + f - 91. Is p(15) a composite number?
True
Let x(n) = 7246*n - 1805. Is x(9) a prime number?
True
Let g(w) = -167*w + 91. Suppose -74 + 228 = -11*k. Is g(k) composite?
True
Suppose 183*i - 8958268 - 944819 = 2598924. Is i composite?
True
Let p(b) = -8795*b - 342. Is p(-7) prime?
True
Let q = 55 - 53. Suppose -1 = q*d + 3, -4*f + 40 = -4*d. Let c(b) = 9*b**2 + 9*b - 17. Is c(f) prime?
True
Suppose -288*m + 286*m + 474628 = 2*u, u - 237323 = -4*m. Is u a composite number?
True
Suppose 0 = 17*s - 1997698 - 3251919. Is s a composite number?
False
Suppose -28*u - 127904 = -4*i - 32*u, 5*u = 15. Is i a prime number?
True
Let i(u) = u**3 + 4*u**2 + 3*u + 5. Let y be i(-3). Suppose 0 = 3*x - 7*x. Suppose -2*k - y*w + 271 = x, -k = -3*k + 4*w + 226. Is k prime?
False
Let c be 52/13 - ((-6)/(-3) - 907). Let o = -424 + c. Is o prime?
False
Suppose -37*s - 89*s = -55*s - 19792457. Is s a prime number?
True
Let l(a) = a + 1. Let i(q) = -4*q + 10. Let n(u) = -i(u) - 2*l(u). Let p be n(7). Suppose 2*s - p*c - 576 = 0, 4*s - 3*s - 278 = 3*c. Is s composite?
False
Let r = -459 - -446. Is (-340 + r)/(2/(-10)) a prime number?
False
Is 6/(-4)*((-11815948)/6)/19 a prime number?
True
Let p(q) = 6656*q**2 - 98*q + 793. Is p(7) composite?
False
Let i(k) = 7*k + 0*k - 4 - 3*k**2 + 0*k**2 + 2*k**2. Let c be i(6). Suppose c*w - 91 = w. Is w a composite number?
True
Is 46253 - -3*2*(-56)/(-42) a pr