prime number?
True
Let b = -964 + 968. Let k(t) = -85*t - 6. Let c be k(-5). Suppose b*w = 5*w - c. Is w composite?
False
Let g(s) = -194*s + 1. Suppose 2 + 6 = 4*t - q, t = 4*q + 2. Suppose -t*y = -2 + 6. Is g(y) a composite number?
False
Suppose 5691 = -3*t - 0*x - 3*x, -4*t - 7583 = 3*x. Let r = -575 - t. Is r composite?
True
Let p = -25 - -30. Suppose p*o - 33 - 62 = 0. Is o composite?
False
Let q = -14737 - -26196. Is q a prime number?
False
Suppose 0 = -4*a + 3*n + 497, 0*a = -5*a - 2*n + 604. Suppose 5*y + 45 = c, -2*c + 2*y = -0*c - a. Is c a composite number?
True
Suppose 0 = 215*c - 213*c - 19258. Is c prime?
True
Suppose -5*x = 5*f - 5, -x + 2*f = -5*x + 6. Suppose -x*a + 4*a = 1906. Is a a prime number?
True
Let s(o) = 2*o - 11. Let k be s(8). Suppose 0 = -k*z - 299 + 1069. Let w = 177 + z. Is w prime?
True
Let u(q) be the third derivative of -5*q**2 - 1/3*q**3 + 1/12*q**4 + 1/20*q**5 + 0*q + 0. Is u(-3) prime?
True
Suppose 5*t = -2*r + 43671, 5*t - 41 = -36. Is r a prime number?
False
Let y be -151*1/(-2)*(-5 + 47). Let v = y - 1604. Is v prime?
True
Let f = -6 + 12. Suppose 5*m - 3*q - 28 = 0, 4*m - 5*q = 19 + f. Suppose -2*c - 4*h = -274, -2 = c - m*h - 125. Is c prime?
False
Suppose 0 = 222*h - 215*h - 81193. Is h prime?
False
Is (2/5*5 - 1761)*-1 a prime number?
True
Let d(y) = 86*y - 7. Let k(p) = -p**3 + 4*p**2 - 3*p + 3. Let g be k(3). Let t be d(g). Suppose 0 = 7*j - 8*j + t. Is j composite?
False
Let r(a) = -a + 1448. Let c be r(0). Let v = -627 + c. Is v a prime number?
True
Let g = -7 - -3. Let t = g + 1. Is 86*(-2)/(-2) + t composite?
False
Let v(r) = 11*r**3 + 26*r**2 - 4*r - 3. Is v(8) composite?
True
Let v(f) = 19*f**2 - 17*f - 1. Let i be v(7). Let y = i + -141. Suppose -5*m = d - 670, m + d + y = 6*m. Is m a composite number?
True
Suppose d = -i + 336, -3*d = 2*i - 2*d - 673. Is i composite?
False
Suppose 2*j + 0*j - 5*u = 24, -26 = -5*j + 4*u. Let d(q) = 7 + 2*q**2 + 2*q**3 - 5*q**j - 2*q**2 - 4*q**2. Is d(6) prime?
False
Let a(u) = 2244*u + 115. Is a(6) a prime number?
False
Let p(y) be the third derivative of -y**6/120 - 19*y**5/60 - 5*y**4/8 - 11*y**3/3 - 2*y**2. Is p(-19) prime?
True
Let a(n) = -6*n + 1. Let z(g) = g + 2 + 3 - 3 - 3. Let l be z(-6). Is a(l) prime?
True
Let a(x) = -9*x - 16. Let o be a(-2). Suppose 2*g = -6, -16 = -z + 5*g - 1. Is (-1)/o*z - -14 prime?
False
Suppose -2*x = -7*x + 101425. Is x prime?
False
Let w(y) = -723*y + 53. Let n(m) = -241*m + 18. Let b(z) = -8*n(z) + 3*w(z). Is b(-2) composite?
True
Let j(v) = 25*v**2 - 2*v - 4. Let o be j(-10). Suppose 4*x - o = 312. Is x a composite number?
True
Let j(m) = -2*m - 4. Let r be j(-4). Suppose r*v + 11 = -1, -3*a - 5*v + 129 = 0. Let o = 375 - a. Is o prime?
False
Suppose 0 = -0*m - 5*m + 115. Let h = 15 - 1. Let u = m + h. Is u composite?
False
Let b(x) = 38*x**2 - 216*x + 29. Is b(35) composite?
False
Let f be ((-34)/(-51))/((-4)/6). Is 1/(f*(-4)/844) prime?
True
Let s(h) = 5*h**2 + 7*h - 11. Let w(p) = -15*p**2 - 20*p + 32. Suppose 8*x + 51 = 5*x. Let j(n) = x*s(n) - 6*w(n). Is j(-5) a composite number?
True
Is (11197/(-3))/((4/(-6))/2) composite?
False
Let f(x) = -7*x**3 - 2*x**2 - x + 2. Is f(-8) a prime number?
False
Let w = 69 - 69. Let v(d) = d - 1. Let h be v(4). Suppose 0 = u + h*j - 124, 5*j = -5*u - w*j + 630. Is u a composite number?
False
Suppose 52*t - 686925 + 59233 = 0. Is t a composite number?
False
Suppose 3*i - 5 = -5*z, -2*i + i + 2*z + 20 = 0. Suppose 4*y = -y + i. Suppose k + d - 419 = 0, y*d + 2095 = 5*k - d. Is k a composite number?
False
Suppose -54 = 2*a + a. Let l be ((-12)/(-18))/((-4)/a). Suppose -5*p - l*h = -158 - 1097, 3*p = 3*h + 753. Is p composite?
False
Is (6337/(-2))/(22/(-44)) composite?
False
Let y = -4060 - -6807. Is y prime?
False
Suppose 2*a - 6 = -0*a. Let y(f) = 67*f - 16. Is y(a) a composite number?
True
Suppose -32*p + 79930 = -22*p. Is p a composite number?
False
Is (-46)/207 - (1 - 140944/18) a composite number?
False
Suppose 1 - 13 = 3*k. Let z(n) = -1 + 6*n**2 + n**3 + 9 + 8*n - 5 - 4*n. Is z(k) a composite number?
False
Suppose w = -d + 1 - 0, 4*w + 2*d - 6 = 0. Suppose w*c - c = 307. Is c a prime number?
True
Let y = 504 + -163. Is y a prime number?
False
Suppose -3*x = -b - 2384 - 62503, 5*b = -4*x + 86516. Is x a prime number?
False
Let x be (-116)/(-20) + 8/(-10). Suppose 0 = 2*u - x*q - 3881, 1815 - 11529 = -5*u + q. Is u a composite number?
True
Let w = -29 - -38. Suppose -4*q - 18595 = -w*q. Is q prime?
True
Let h(b) = 11 - 19 - 16*b + 10. Let o be h(2). Is 1272/o*(-10)/4 prime?
False
Let f be 2/2 - 3 - 6/(-1). Is (0 - f) + (-2 - -255) a composite number?
True
Is -3148*((-55)/33 - 14/(-12)) composite?
True
Let b = -159 + 279. Suppose b = 2*z - 572. Is z a composite number?
True
Let y(k) = 185*k**2 - 3*k - 1. Let c be y(4). Suppose -c = -5*r - 1202. Suppose 4*x - r = 223. Is x a prime number?
False
Suppose 0 = -5*m - 25, -h = h - m - 9. Let z(f) = -2 + 0*f**h - 6*f**2 + 24*f**2 - f + 1. Is z(6) a prime number?
True
Let k(h) = h**3 - 3*h**2 + 3. Let y be k(3). Suppose -3*d + y + 114 = 0. Is (-4305)/(-13) - 6/d a composite number?
False
Suppose 1731260 = 14*l + 393658. Is l a composite number?
True
Is (3179 - 13) + 2/2 + -1 a prime number?
False
Suppose 5 + 147 = 4*a. Let p = -30 + 30. Suppose p = b - a - 15. Is b composite?
False
Suppose 2*f - 2601 = -f. Let d = f - 488. Is d composite?
False
Let q = 31 - 26. Suppose 515 - 130 = q*v. Is v composite?
True
Let c = 26 - -22. Suppose -c = -3*o - 0*o. Is o/(-12) - 211/(-3) composite?
True
Suppose 3*p = -18 - 27. Is (31925/p)/5*-3 prime?
True
Let o be (-1)/((-1)/(-4) - 0). Let j be o/(-4)*(880 - -2). Let b = j + 7. Is b a prime number?
False
Suppose 2*y + 4*a = 66, -2*y + 0*y + 42 = -2*a. Let v be y/(-5) - 2/(-2). Is v/6 + (-140)/(-12) prime?
True
Let m = -19666 + 47145. Is m a prime number?
True
Let n(c) = 46*c - 11. Let f(o) = -47*o + 11. Let g(p) = -6*f(p) - 5*n(p). Let w be g(13). Suppose -5*s + 150 = -w. Is s a composite number?
False
Let u = -46734 - -66673. Is u composite?
True
Suppose -5*f = 5*t - 14580, -11*f - 14565 = -16*f - 2*t. Is f a prime number?
False
Suppose 2*j + 7 = 2*s - 1, 3*j - 28 = -2*s. Suppose 2*y - 4*m - 17 = -y, y + m = s. Suppose 0 = -y*k + 2*k - 10, -201 = -3*g - 3*k. Is g a composite number?
True
Let j(r) = 660*r + 4 - 327*r + 87*r**2 - 327*r. Is j(-5) a prime number?
False
Let j(f) = 36*f**3 + 3*f**2 - 7*f + 5. Is j(4) composite?
True
Suppose 3*p = 2*m + 118659, -m - 197765 = -5*p + m. Is p composite?
True
Let u(p) = -4*p + 5373. Let y be u(0). Suppose -16*b + 7*b = -y. Is b a composite number?
True
Let y(b) = -2*b - 1. Let r(k) = -33*k + 20. Let g(x) = -r(x) - y(x). Is g(16) a composite number?
False
Let t(p) = -32*p - 23. Suppose 0 = -4*c + 5*a - 0*a - 58, 9 = -c + 4*a. Is t(c) a prime number?
True
Suppose 34506 + 38767 = 4*a + n, 4*n = 2*a - 36650. Is a prime?
False
Suppose -10*a + 16*a = -156. Let l(b) = -7*b + 67. Is l(a) a prime number?
False
Suppose -8*r - 42 = -r. Let q(h) = 19*h**2 + 19*h - 7. Is q(r) prime?
True
Let i be 2*-4*(-12)/32 - -383. Suppose 0 = -3*l + i + 367. Is l prime?
True
Let j be (-58)/(-14) + -4 + (-135)/(-35). Suppose -j*n + 1930 = 2*r - 2*n, n = 5*r - 4837. Is r a prime number?
True
Suppose 0 = 4*m - 2*x + 24, -170*x = -175*x. Let j(a) = -167*a - 35. Let q(p) = 42*p + 9. Let w(d) = -2*j(d) - 9*q(d). Is w(m) prime?
False
Suppose -5*r + 0*r = -145. Suppose -r - 103 = -2*o - 2*p, 4*o - p - 269 = 0. Is o prime?
True
Suppose -3*g - 20 = -7*g. Suppose -g*l + 1431 = -679. Is l prime?
False
Let a be -5 - (-5)/(5/3). Is (439/(-2))/(a - -4)*-8 a prime number?
False
Suppose -2*a + 4835 = -159. Is a a composite number?
True
Let k(z) = 84*z - 1. Suppose -6*a + 18 = -6. Let x be (a/4 - -1) + 1. Is k(x) a composite number?
False
Let w be (-2)/(-10) - 21944/(-5). Is 1/(w/1097 - 3 - 1) prime?
True
Let b(o) = 66*o - 7. Suppose -i + 1 = -3*t - 13, -4*t = 5*i + 6. Let s be (-6 - -5) + 8/i. Is b(s) composite?
False
Let p(z) = 44808*z**2 - 29*z + 30. Is p(1) a composite number?
False
Suppose 5*k + w = -364, -k + 5*k = -4*w - 288. Let j = 128 + k. Is j a prime number?
False
Let w(n) = 36 + 6*n**2 - 2*n**3 + 35 + 3*n - 63. Is w(-7) a prime number?
True
Suppose -k + 0*y = -y - 4, 0 = 2*k + 3*y + 12. 