Is (7/n)/(5/40) composite?
True
Suppose 0 = -3*x + 396 + 399. Is x prime?
False
Suppose 0 = 4*p - 2*p - 1042. Let f = 970 - p. Is f prime?
True
Let f(r) be the second derivative of r**4/3 - 5*r**3/6 + 3*r**2/2 + 2*r. Let v be f(-4). Let u = v - 50. Is u a composite number?
False
Let a be 1/4 - 1236/16. Let w = 132 + a. Is w a composite number?
True
Let o(b) = b**2 + 4*b + 3. Let x be o(-4). Suppose -x*w + 2*w + 58 = 0. Is w a composite number?
True
Suppose 0 = -5*r + 3*a + 30, -2*r - 2*a = a + 9. Suppose -6*d + r*d = -1239. Is d composite?
True
Let v(g) = 56*g**3 + g**2 - g + 1. Is v(2) a prime number?
False
Let j(q) = -4 + 4*q**2 - 7*q + 4*q - 2. Let v(k) = -3*k**2 + 2*k + 5. Let u(y) = 2*j(y) + 3*v(y). Is u(0) a composite number?
False
Let k(v) = 6*v - 16. Let y(h) = h - 1. Let m(t) = k(t) - 8*y(t). Let x be m(-6). Suppose 37 = 3*g - x*l, -2*l = -5*g - l + 39. Is g prime?
True
Let r(u) = 3*u + 58. Let d(y) = 25 - 5 - 1 + y. Let t(k) = -11*d(k) + 4*r(k). Is t(-10) a prime number?
True
Suppose -p - 3*i = -7*i + 26, 4*p + 4*i = -44. Let h = p + 10. Is 5/2*h/(-1) composite?
True
Let s be ((-1)/(-2) + -1)*-272. Suppose -s + 412 = 4*g. Let t = g + -34. Is t prime?
False
Let p(w) = w - 1. Is p(10) a prime number?
False
Is 3/6 - 3121/(-2) a prime number?
False
Let z(f) = -f. Let a be z(-3). Suppose 83 = a*h + 4*l, 2*l + 44 = 2*h - l. Is h a prime number?
False
Let n = -807 - -1394. Is n a prime number?
True
Let m(x) = 17*x - 17. Is m(4) prime?
False
Let w(d) = -25*d + 16. Is w(-7) a prime number?
True
Suppose 0 = -s - 12 + 2. Let o = 23 + s. Is o prime?
True
Let r(f) = -16*f. Let p be ((-9)/(-12))/((-3)/12). Let z be r(p). Suppose 3 = -c, c = -3*d - 4*c + z. Is d prime?
False
Suppose -3 = g - 2. Let n be g - (-7 + 2/1). Is n*(0 - 106/(-8)) prime?
True
Let p = 18 - -30. Suppose 0 = -2*l + p. Suppose s - 11 = l. Is s composite?
True
Suppose -s = 3*s - 380. Is (6/(-3) - -3)*s a composite number?
True
Suppose -5*z + 2 = -8. Suppose 0 = -0*n + z*n - 62. Let v = -8 + n. Is v prime?
True
Let p = 8 - 3. Suppose p*s - 4*s = 51. Is s prime?
False
Suppose -221 = -2*l - 3*x + 282, 4*x + 20 = 0. Is l composite?
True
Let r(n) = 3*n - 9. Let i be r(7). Is (-3)/i + 50/8 a composite number?
True
Let y be 8 + 1/(-1) - 1. Suppose -475 = -y*w + w. Is w composite?
True
Suppose 3*u - 16 = 4*y - 2*y, 2*y + 2 = -4*u. Suppose k - 615 = -u*k. Is k prime?
False
Suppose 5*k - k = 16. Suppose -20 = -k*b, 4*x - 4*b + b - 1709 = 0. Is x a prime number?
True
Suppose 2*d = 10, -b - 5*d + 871 - 223 = 0. Is b a composite number?
True
Let c = 1156 - 669. Is c composite?
False
Suppose 2*r = -2*r + 64. Suppose 2*b + b = -4*n - r, -4*n + b = 0. Is n + -6*(-4)/6 a composite number?
False
Let c = 84 - 29. Let j be 65/c - (-2)/(-11). Is j/3*-7*-6 a prime number?
False
Let u(v) = -v**3 + 4*v**2 + 7*v + 7. Let a(w) = -w + 2. Let y be a(7). Let l be u(y). Let d = l - 108. Is d composite?
False
Suppose 4*r - 2*r - 446 = 0. Suppose 0*x - x + r = 0. Is x a prime number?
True
Suppose 2*u + 0 + 16 = 0. Let s = u + 7. Is ((-177)/(-12))/(s/(-4)) composite?
False
Let a = -52 + 195. Let r = 202 - a. Is r prime?
True
Let v(x) = 49*x**2 - 15*x - 25. Is v(-2) composite?
True
Suppose 5*p + 5*l + 655 = 0, 4*p + l + 518 = -0*p. Let z = p - -182. Is z a composite number?
False
Let t = -23 - -15. Let o be 2/(-12) + (-151)/(-6). Let b = o - t. Is b composite?
True
Suppose -k - k - q + 244 = 0, 3*k - q = 361. Is k prime?
False
Suppose 3*o - 2937 = -3*y, 5*o - 4*y - 4927 = -y. Is o prime?
True
Let a(p) = -99*p - 6. Let x be a(-14). Let i = -493 + x. Is i composite?
False
Suppose -3*k = 2*k - 5. Let n(m) = -m**3 + m**2 - m - 1. Let p(w) = -w**2 + 16. Let d(v) = k*n(v) + p(v). Is d(0) prime?
False
Let v(a) = a**3 - 5*a**2 + 2*a - 21. Is v(9) prime?
False
Suppose 2*t = 5*t - 381. Is t a composite number?
False
Let i be 3 - ((-2 - -1) + 0). Let u(v) = 8*v**2 + v**3 - v**3 + i*v - 8 + v**3. Is u(-7) composite?
False
Let w(s) = 11*s - s + 9 - 4. Let i be w(-5). Let c = -14 - i. Is c a composite number?
False
Suppose g + 3*g - 8 = 0. Let n be g + (-1)/((-3)/459). Suppose 0 = -2*p + 7*p - n. Is p a prime number?
True
Suppose -3 - 12 = -3*a. Suppose -510 = -a*y + 375. Is y a prime number?
False
Suppose 2*q = -2*q + m - 7, 5*m = -4*q - 13. Is (2/4)/(q/(-844)) prime?
True
Let x = -15 + 21. Suppose 3*f = 2*f + x. Is f prime?
False
Let m(l) = -l**3 + 2*l**2 + 2*l - 1. Let k be m(3). Is (-147)/(-4) - 1/k prime?
True
Let o(l) = -2*l - 4. Let m be o(-5). Is 133*(-2 - m/(-2)) a composite number?
True
Let c(a) = 93*a - 1. Let n be c(4). Let d = n + -260. Is d a composite number?
True
Suppose 5*o = d - 1673 + 4573, -4*d - 1723 = -3*o. Is o a prime number?
False
Suppose 8 = -3*z + 4*m, -2*z - 5*m = -33 - 0. Suppose -z*r = -3*g - 174, -r - g = -23 - 24. Suppose -4*p - 3*w = -439, 3*p = w + r + 281. Is p a prime number?
True
Let q(v) = -26*v + 7. Is q(-8) a composite number?
True
Suppose -g = -3*y - 12 - 5, 16 = -2*g - 4*y. Suppose 3*f - 4*t = g*f + 14, 2*t = f - 8. Suppose -f*s + 79 = -55. Is s a prime number?
True
Is 8313 - ((-16)/(-2) + 4/(-1)) composite?
True
Suppose 17 = 5*l + 3*b - 32, -5*l + 59 = -2*b. Is l composite?
False
Suppose -254 = -5*l - 79. Is l a prime number?
False
Suppose 0 = -l - 5*t + 640, 716 = -4*l + 2*t + 3254. Suppose 5*g + 0*g - l = 0. Is g prime?
True
Let o = 302 - -780. Is o composite?
True
Suppose -110 = -6*f + 1468. Is f a prime number?
True
Let g = -116 - 62. Let k = -29 - g. Is k a composite number?
False
Let f(n) = -n + 1. Let x be f(-1). Suppose -x*c = 2*c + 4. Is 158/2*c/(-1) a composite number?
False
Let i = -109 - -217. Let m be (2*1)/(16/40). Suppose i = m*v - 17. Is v prime?
False
Let v = 353 - -66. Let i = -262 + v. Is i a prime number?
True
Suppose 5*b + 3 = -2*y, 0 = -3*b + 4*y + 4 + 15. Let k be (-2 - b)/(-1)*-1. Let i = k + 7. Is i a composite number?
True
Let p be ((-8)/16)/((-1)/10). Suppose -p*v + 5*x = -930, -4*v + 190 = -x - 551. Is v prime?
False
Let d(l) = -5*l**3 - l**2 - 7*l - 1. Let u(y) = 5*y**3 + y**2 + 7*y. Let k(r) = 6*d(r) + 5*u(r). Let b be k(-4). Let j = -195 + b. Is j a prime number?
True
Let w = -220 + 347. Is w composite?
False
Let x = 19 + -15. Is 3/x - (-137)/4 composite?
True
Let l(j) = -j**3 + 5*j**2 - 2*j + 7. Is l(3) prime?
True
Suppose 4*z - 568 = 644. Is z prime?
False
Let q(r) = 13*r**2 + 3*r + 1. Let c = -7 + 5. Is q(c) a prime number?
True
Let v = 261 - 146. Is v composite?
True
Let m = -246 + 511. Is m prime?
False
Suppose 5*y - 27275 = 3*n - 9166, 0 = -y + n + 3621. Is y a prime number?
True
Let v = -5 - -8. Suppose -153 = -v*x - 60. Is x prime?
True
Let p(f) = -f**2 + f - 1. Let z(o) = -o**2 + 4*o - 5. Let u(n) = -2*p(n) + z(n). Let x be u(-3). Suppose 0 = -2*a + 4*a - 8, -5*d - 4*a + 51 = x. Is d prime?
True
Suppose -9487 = -3*u - o, -3*o - 972 + 4129 = u. Is u a composite number?
False
Suppose 3*i - 8 = -i. Suppose 0 = -3*l + 3*c + 3, -1 = i*l - 3*c + 2. Is l a composite number?
True
Suppose -1340 = -3*d - 5*g, 887 = 2*d - g - 2*g. Let w be (-24)/20*d/(-2). Suppose -3*y + 4*m = m - w, -3*y = 4*m - 239. Is y composite?
True
Suppose 4*c - 12 = -0. Is c - 3 - (3 + -634) a composite number?
False
Suppose -7 = -4*m + 5. Is 1 + 0 - (m + -21) a prime number?
True
Let p = 1 + 1. Let l(c) = c**p + 33 + 2 - 4*c + 5*c. Is l(0) prime?
False
Let f(p) be the third derivative of -p**6/120 + p**5/30 + p**4/6 + p**3/2 - 4*p**2. Is f(-4) a prime number?
True
Let y(c) = c**3 + 11*c**2 + 9*c - 6. Let v be y(-10). Let f be (-1 + v)*8/(-6). Is (12/f)/((-6)/38) prime?
True
Suppose 0 = 5*b - 2*h - 1490, -5*h + 4*h = -5*b + 1490. Suppose z = -z + b. Is z composite?
False
Suppose -4*n + 25 = n. Suppose -n*i - u = -110, 3 = -5*u - 22. Suppose 2*y = -5*g + i, -2*g - 21 = -5*y + 51. Is y composite?
True
Let n = 178 + -390. Is (1 + n)*(-6)/6 a prime number?
True
Let c(r) = 4*r + 3*r + 5 - 2*r - 1. Is c(3) a composite number?
False
Let k = 7357 - 3720. Is k composite?
False
Let g(n) = -n**2 + n + 2. Let w be g(0). Let q be -3 - (-2 - 160/w). Is ((-3)/(-3)*q)/1 a composite number?
False
Suppose -5*u = 4*w + 4, -2*w - w = 2*u - 4. Is u - -2 - (-333 + 0) a prime number?
True
Suppose -1402 = -7*n + 355. Is n composite?
False
Suppose -t + 229 = 3. Let h = t + -87. Is h prime?
True
Suppo