 4*j. Is (3/(-2))/((-6)/o) prime?
True
Let p(j) = -41*j + 5. Let c(l) = 8*l - 1. Let k(a) = -11*c(a) - 2*p(a). Let b(x) = -x**3 + 2*x**2 - 2*x + 3. Let t be b(2). Is k(t) a prime number?
True
Let h(l) = l**3 - 8*l**2 - 1 + 7*l**2 + 0. Is h(7) composite?
False
Suppose -10*m + 1396 = -8*m. Is m a composite number?
True
Let j(v) = 2*v**2 - 4*v - 1. Let s be (-10)/35 + (-52)/14. Let u be j(s). Let l = u - 14. Is l a composite number?
True
Is (-2)/17 + 356970/34 composite?
False
Let w(n) = -2*n**3 + 18*n**2 - 6*n + 5. Let f(l) = l**3 - 12*l**2 + 4*l - 3. Let j(i) = 8*f(i) + 5*w(i). Is j(-5) composite?
True
Let r = -105 + 1018. Is r a prime number?
False
Let i(h) = 20*h**2 - 3*h + 2. Is i(-3) a prime number?
True
Suppose 0 = -3*w - 3 - 99. Let c = -15 - w. Suppose -p + c + 65 = -3*s, p + s - 64 = 0. Is p a composite number?
True
Suppose 1 = 2*c - 9. Suppose 0 = -c*p + 2*p + 111. Is p a prime number?
True
Is (42/(-9))/(1*4/(-1038)) a composite number?
True
Suppose 0*v + 90 = -2*v. Let i = 256 + v. Is i a prime number?
True
Suppose -s - 2*s - 18 = 0. Is 2/(-3*s/297) a composite number?
True
Suppose -6*g - 12 = -2*g. Let t(k) = -k**2 - 7*k - 6. Is t(g) a composite number?
True
Let h(i) = i - 5. Let l be h(-6). Let p = l - -15. Suppose -p*g + 84 = 2*r - 9*g, g + 45 = r. Is r a composite number?
False
Suppose 5*z + 5*v = z + 112, 0 = -v + 4. Let k be (-72)/(-27) + (-1)/(-3). Suppose 2*r + z = k*r. Is r a prime number?
True
Let d = -1 - -3. Suppose g + 69 = 2*b, g - d*b = 4*g + 191. Let c = g + 102. Is c prime?
True
Let f be (-5)/(-2) + 2/4. Let o be -16*(f/6 + -3). Suppose 125 = 5*l - o. Is l a prime number?
False
Suppose 0 = -b + n + 980, 5*n - 977 = -b + 3*n. Is b a prime number?
False
Suppose 4*n - 120 = -4*m, -m - 5*n = -5*m + 147. Suppose -m = v - 129. Suppose -92 = -d + z, -d + z - v = -2*d. Is d a prime number?
False
Let t(g) = 21*g**2 - 10*g + 23. Is t(6) composite?
False
Let v(o) be the third derivative of o**6/120 + 4*o**5/15 + 5*o**4/8 - 5*o**3/6 - 5*o**2. Is v(-13) prime?
True
Let t be 3*1 + 6 + -3. Suppose -3*q + 5*q = 5*g - 341, 0 = -2*q - t. Is g prime?
True
Let g = 147 + 2. Is g prime?
True
Suppose -104*o + 100*o = -2588. Is o composite?
False
Suppose 0 = -2*r + 708 - 122. Is r composite?
False
Suppose -j - q - 4 = 0, 5*j - 2*q - 4 = q. Is 57/(-3)*j + 2 a prime number?
False
Let w be 2 - (-5)/((-15)/(-702)). Let m be 5/((-10)/w) + -2. Let i = m + 281. Is i a prime number?
False
Let q be (4 - 14)*(-1)/(-2). Is 6/(-15) - 1027/q composite?
True
Let y be (3 - (-64 + 0))*1. Suppose -891 - 369 = -5*d. Suppose 5*i = d - y. Is i composite?
False
Let s(y) = 596*y**2 - 5*y + 2. Is s(1) prime?
True
Let t = 10093 - 7192. Is t a prime number?
False
Let w = -1 - -2. Let s(v) = 7*v**2 + 5*v**2 + 7*v**2 - v + 3*v**2. Is s(w) a composite number?
True
Let m be (-7*5 + 1)*2. Is m/(-2) + 2 + 1 a composite number?
False
Suppose 6 = 3*x - x. Is 61/x + (-8)/(-12) a prime number?
False
Is 2512/10 + 1/(-5) a prime number?
True
Let o = -21 - -7. Let c = -3 - o. Is c a prime number?
True
Is ((-2)/4)/((-16)/20960) prime?
False
Let n = 452 - 261. Is n a prime number?
True
Let f = 269 - 75. Let q = f - -371. Is q a composite number?
True
Suppose 2*y - 7 = 2*u - 21, 4*y - u + 16 = 0. Let f(i) = -24*i - 2. Let j be f(y). Suppose -j = -2*m - 3*m. Is m a composite number?
True
Suppose 0 = 3*s + 622 - 2515. Is s a composite number?
False
Suppose -5*d + 4978 = 1353. Suppose 0 = -6*u + 11*u - d. Is u prime?
False
Is ((-6)/12)/((-2)/1676) composite?
False
Let p(f) be the third derivative of 3*f**5/5 + f**4/12 - f**3/6 + 4*f**2. Is p(-3) composite?
False
Let t(a) = 18*a**2 - 5. Let p be t(6). Is 3/12 + p/4 a prime number?
False
Suppose -3*q + 57 = -5*r - 6*q, 2*r + 3*q = -30. Let y = r - -3. Is ((-21)/(-9))/((-2)/y) a composite number?
False
Suppose -4*b - b - u = 9, 3*u = 3. Let a be (1 - 0)/(b/(-534)). Suppose 0*m = -3*m + a. Is m prime?
True
Suppose 4*h - 15 = -h. Let g = 15 + -10. Suppose -5*p = -4*v + 53, g*v - 5*p - 39 = h*v. Is v composite?
False
Let t(u) = 38*u**3 - 3*u. Is t(2) prime?
False
Suppose 0 = -3*t - s - 3*s + 330, 3*s = t - 123. Let m = -11 + t. Is m a composite number?
False
Suppose -3*x + 4*d + 14 = 0, x + 0*d - 8 = -2*d. Let j be ((-12)/(-9))/((-2)/x). Is (1 - 39)*6/j composite?
True
Suppose -249 = 5*u - 3214. Is u prime?
True
Suppose g + 3*k = 5*g - 15, -2*k - 10 = -5*g. Let x(o) = -10*o - o + g - 6. Is x(-8) prime?
False
Let j = 1 + 2. Suppose -c - 1267 = -2*x, 2*c + 2519 = 4*x + j*c. Is x prime?
True
Suppose -4794 = -5*i - 3*x + 6889, 0 = -i - x + 2335. Is i a composite number?
False
Is ((45870/(-9))/(-10))/(1/3) prime?
False
Suppose 10*b - 5*b - 1315 = 0. Suppose -2*v = 3*a - b, 5*v - 176 = 5*a + 444. Is v composite?
False
Is 4 + 1651 + -2 + -2 prime?
False
Let d(f) = f**3 - 7*f**2 - 26*f - 23. Is d(16) a composite number?
True
Suppose s + 6 - 7 = 0. Is (14 - -5)/(1/s) a prime number?
True
Suppose 0 = 2*u - 5*x - 6758, -4*x = 4*u + x - 13576. Is u a prime number?
True
Let i(a) = 58*a**2 + 2*a - 4. Let y be i(3). Suppose 2*w + y = 6*w. Is w prime?
True
Suppose -94 - 12 = -p. Is p a composite number?
True
Is (3 + (1 + -2 - 1))*3865 composite?
True
Let v be ((-3)/(-2))/(3/8). Suppose -2*n = 3*c - 0*c - 387, -3*c + 405 = -v*n. Is c prime?
True
Let s(n) = n**3 + n**2 + n + 28. Suppose 3*k + 8 = 2*t, -t = 4*k - 4*t + 12. Let d be s(k). Let p = d + 19. Is p a composite number?
False
Let z(o) = -o**3 - 8*o**2 - 13*o - 5. Is z(-13) prime?
True
Is ((-4)/6 - 13/(-3))*111 prime?
False
Suppose 2*w + 8 = 4*w. Suppose -g + 48 = 3*b, w*g - 194 = -4*b + 22. Is g a prime number?
False
Let x = 60 - 41. Is x a prime number?
True
Let g = 184 - 5. Is g composite?
False
Suppose -x + 53 = -170. Is x prime?
True
Let z = 1057 + -536. Is z composite?
False
Suppose 5 = 4*h - 15. Suppose -h*a + 0*r = 4*r - 337, 0 = -2*a - 2*r + 136. Suppose -3*l + a = 2*l. Is l a composite number?
False
Suppose -5*k + 15*k = 17330. Is k a prime number?
True
Let a(k) = 192*k**3 - 2*k - 2. Let z be a(-2). Let v be z/(-18) - (-2)/(-9). Suppose -2*q = -d + v, 3*d = 2*d - 4*q + 85. Is d a prime number?
False
Suppose -181 = -3*a + 266. Is a composite?
False
Let t = -46 - -159. Is t a prime number?
True
Suppose -11 + 5 = -3*x. Let q be 3/((0 + 1)/1). Suppose -q*b - g + 18 = -x*b, 2*b = 4*g + 12. Is b prime?
False
Let z(j) be the third derivative of j**6/4 + j**5/30 - j**4/24 + 4*j**2. Is z(1) prime?
True
Suppose 55 = s - 0*s. Is s composite?
True
Let m(j) = j - 6. Let o be m(0). Is (-31)/(-2) + 3/o composite?
True
Let l(a) = 122*a - 1. Is l(1) prime?
False
Suppose 3*w - 5914 + 1285 = 0. Is w composite?
False
Let l(q) = 0*q + 5 + q - 4 + 159*q**2. Let v be l(-1). Suppose -d = 2*d - v. Is d a composite number?
False
Is (-4240)/(-12) + 3/(-9) prime?
True
Is ((-1590)/16)/(3/(-2))*4 composite?
True
Suppose 5*w - 267 - 33 = 0. Is -1 - w/(-2 + 1) a prime number?
True
Is (56/6)/(10/15) composite?
True
Let c(z) = 7*z - 4. Let f be c(4). Suppose 2*n + 7 = -v + f, -2*v + 48 = -3*n. Is v a composite number?
True
Let l(z) = 11*z. Let x be l(6). Suppose 2*o = -x + 622. Is o composite?
True
Let w = -10 + 12. Suppose -w*a + 3*d + 286 = 0, -3*d = 5*a - 4*d - 702. Suppose -3*r + a = r. Is r a prime number?
False
Suppose 0 = j - d - 160, -2*d = -j + 5*j - 622. Is j a prime number?
True
Let j = 218 - 133. Let i = 164 - j. Is i composite?
False
Suppose 0 = -4*n + 3*x + 3078, -6*n + 3*n = 4*x - 2321. Is n composite?
True
Let b = 650 + -329. Is b composite?
True
Suppose -5*v + 822 + 533 = 0. Is v prime?
True
Let k(y) = y**2 - 2*y + 7. Suppose 5*q - 2*q - 24 = 0. Is k(q) a prime number?
False
Let o(i) = 360*i + 29. Is o(11) a prime number?
True
Is (1996/2)/2 - 20/(-5) a composite number?
False
Let l(t) = -5*t**3 - 2*t**2 - 2*t - 1. Let x be l(-1). Suppose -x*s - 2*g + 5*g + 221 = 0, s + 2*g = 47. Is s prime?
True
Let r(w) = -w**2 - 6*w + 5. Is r(-5) a composite number?
True
Let x be (-1)/(4/6 - 1). Let y(s) = 2*s**2 - 3*s + 1. Is y(x) a prime number?
False
Suppose 0 - 16 = -4*l. Let r be (-5 - 1)/(l/6). Let o(n) = -3*n + 10. Is o(r) a prime number?
True
Suppose -h + 2 = -v + 2*h, 5*h - 8 = 4*v. Let w be v/4*-2 - -1. Suppose -w*r = -4*i + 48, 2*i + 5*r = i + 23. Is i a prime number?
True
Suppose 0 = 3*k - 5*p - 121, -3*k +