2 + 1 - 4*r**2. Is s(-2) composite?
True
Let z(c) = -c + 10. Let v be z(8). Suppose v*y - 7 = 23. Is y prime?
False
Let p(u) = 375*u**2 - 3*u + 1. Let q be p(-3). Let o be q/45 - 4/18. Let d = o + 4. Is d composite?
False
Suppose 3*b - 940 = -4*l - 2*b, -l + 2*b + 235 = 0. Is l composite?
True
Suppose -3*q + 7531 = -t, 5*q - t - 11166 = 1383. Is q a composite number?
True
Suppose 0*y = -5*y + 4*d - 5380, 3*d + 1076 = -y. Let t = -535 - y. Is t a prime number?
True
Suppose 0 = -p + 3*a - 10, 0*p = 3*p + 4*a - 35. Suppose -h + 52 = 2*f + 9, -5*h - p*f = -235. Is h prime?
False
Suppose 6*q + 2*k = 5*q - 131, 4*k + 125 = -q. Let l = q - -220. Is l composite?
False
Let x(c) = -c + 8. Let w be x(6). Suppose w*v - n = -2, n = 3 + 1. Is 3/(-6)*-422*v composite?
False
Suppose 3*m + 403 = 18574. Is 6/(-4) + m/18 a prime number?
False
Is (-38052)/(-60) + (-2)/10 a composite number?
True
Let z = 88 - 29. Let q = z - 40. Is q prime?
True
Suppose 5*z - 301 = -v, v + 3*z - 279 = 26. Is v composite?
False
Suppose -5*p + 353 + 77 = 0. Is p prime?
False
Let m(r) be the first derivative of r**2/2 + 97*r - 13. Suppose -x = 3*x. Is m(x) prime?
True
Let u = -3 - -5. Suppose -6*l + u*f = -3*l - 159, -5*f = -5*l + 270. Suppose 3*o - l = -3*w, -50 = -4*o + 2*w - 0*w. Is o a prime number?
False
Suppose -2*m + 6*y + 114 = 2*y, 0 = -5*m - 5*y + 300. Suppose 5*d - 3*d - 5*a = 115, d - m = 4*a. Is d a prime number?
False
Suppose -4*x + 0 + 24 = 0. Suppose -w - 295 = -x*w. Is w composite?
False
Is 6/15 - (-1703)/5 a prime number?
False
Suppose 2*t - 174 = -2*d + 5*d, 5*t + 4*d = 435. Is t prime?
False
Let u be (2 + (-3 - -7))*3. Let n(q) = 20 + 22*q**2 - u - q**2 + 4*q. Is n(-3) prime?
True
Let g(s) = 6 - 1 - 16*s**3 + 4*s - 6 + s**2. Is g(-2) prime?
False
Suppose -3*n = -8950 - 9245. Is n composite?
True
Suppose -5*n = 46 - 6. Let z = 29 + n. Let p = 42 - z. Is p a prime number?
False
Let s be (-4)/8 + (-10)/4. Let r = s + 0. Is (-1 - -1)/(-1) - r prime?
True
Let x(t) = 26*t - 15. Is x(6) a prime number?
False
Suppose 28 = -0*k - k + 4*h, -4*k - 40 = 2*h. Is (-4)/k*-3*-33 a composite number?
True
Suppose 181 - 57 = i. Is (i + 0 - -3) + 0 a prime number?
True
Suppose -2*f = 2*w + 2, 0*w - w = -3*f - 19. Let u(l) = 6*l**2 + l. Let b be u(-1). Suppose -n - 50 = -b*k - 0*n, -4*k + w*n = -24. Is k composite?
False
Let l(q) = q**3 + q. Let x(h) = 16*h**3 + h**2 - h - 1. Let u(k) = 4*l(k) + x(k). Is u(2) a prime number?
False
Let k = 8 + -4. Let h = k + 0. Let o(l) = 2*l**2 - l - 3. Is o(h) a composite number?
True
Suppose -6*f + 2*f = 2*o - 556, -f - 3*o + 139 = 0. Is f a composite number?
False
Let j(f) = f**3 - 13*f**2 - 13*f - 7. Let w be j(14). Let v = -16 - -60. Let l = v - w. Is l a composite number?
False
Suppose 3 = p - 2. Suppose -5*u + 45 = p*v, 5*v - 1 = 24. Suppose 5 = x - u. Is x composite?
True
Is 8/12*8862/4 composite?
True
Let w(a) = -29*a + 32. Let r(q) = -10*q + 11. Let l(u) = 11*r(u) - 4*w(u). Is l(5) a composite number?
False
Let x be (-2)/((0 + -1)*1). Suppose 6*f = x*f + 652. Is f composite?
False
Let p(q) = 13*q**2 - 5*q - 5. Let h(b) = b**3 + b**2 - b - 2. Let w be h(-2). Is p(w) a composite number?
False
Let q = -21 - 566. Let w = q - -850. Is w prime?
True
Let d = 206 - 145. Let s = d - -6. Is s composite?
False
Suppose 2*s - w + 11 = 7*s, 0 = 3*s - 3*w - 21. Let p(j) = -2*j**2 + 6*j**3 + 0 + 1 + 24*j**s + 9*j**3. Is p(1) prime?
False
Let i(y) = -2*y**3 - 3*y**2 - 6*y - 2. Let z be i(-5). Let x = z - 144. Is x composite?
False
Let r(s) = 2*s**2 - 3 + 3*s - 3*s + 2. Let w be r(-1). Suppose -w - 331 = -4*t. Is t composite?
False
Suppose -3*c + x = 0, -4*c = c - x. Suppose c = -11*a + 6*a + 1835. Is a prime?
True
Let i(u) = -22*u - 11. Is i(-4) a prime number?
False
Let l(d) = 4*d**3 - 6*d**2 + 3. Is l(4) composite?
False
Let b(g) = -g**2 - 6*g - 6. Let z be b(-4). Let j = z - 3. Is 50 - 1 - (j + 1) composite?
True
Is 427*1/(1/1) prime?
False
Suppose 541 = -4*w + x - 4*x, -4*w + 4*x = 576. Let m = -196 - -104. Let y = m - w. Is y a composite number?
False
Suppose 3*d = 4*d - 333. Let j = 60 + d. Is j a prime number?
False
Let j be 1*(36 + 1 + -4). Let g = j + 0. Is g a composite number?
True
Suppose -14*q = -26929 - 5593. Is q a prime number?
False
Let t be 128 + 1 - (1 - -1). Suppose t - 34 = 3*y. Let n = y + 36. Is n composite?
False
Suppose -4*x = -3*x - 249. Is x a composite number?
True
Let f(o) be the third derivative of 4*o**2 + 0*o + 13/6*o**3 + 7/24*o**4 + 0 + 1/60*o**5. Is f(-9) a prime number?
True
Let k(t) = t**3 + 2*t**2 - 5*t - 3. Let r be k(-3). Let s = 4 - r. Is 1/s + (-1 - -35) a prime number?
False
Let a = 21 + 62. Let t be ((-5)/(-15))/((-1)/(-111)). Let r = a - t. Is r prime?
False
Is (308/(-21))/(6/(-9)) a prime number?
False
Suppose -n + 5*n = 4*t - 2792, -n = 2*t - 1384. Is t composite?
True
Suppose -j = 4*a - 3114, -2*a = -4*a + 4*j + 1566. Is a a composite number?
True
Let z(d) = d**3 + d + 390. Let h be z(0). Suppose g - h = -5*a, -89 = -3*a + 2*a + 2*g. Is a a composite number?
False
Let x(r) = -r**2 - 11*r - 4. Let i be x(-11). Let c(q) = 6*q**3 - 2*q**2 - q + 2. Let s(j) = 2*j**3 - j**2 + 1. Let p(o) = -4*c(o) + 11*s(o). Is p(i) prime?
True
Suppose 3*o = -0*o + 48. Let i = 84 - o. Suppose -2*v + 3*v = 3*s - 234, -s = 3*v - i. Is s a prime number?
False
Suppose -2*o + 3*x + 1 = -9, 17 = -5*o - 3*x. Let p = 4 + o. Is 3 + (1 - 3/p) composite?
False
Suppose 6*n = n. Suppose z + k = -k - 10, 5*z - 5*k - 25 = n. Suppose -w + 15 = -z*w. Is w composite?
True
Let f(t) = -11*t - 9. Is f(-14) a prime number?
False
Let l(g) = g**2 + 6*g + 1. Let w be l(-7). Let h(t) = -t**2 + 4*t + 11. Let z be h(w). Is z/(-14)*(-106)/(-3) a composite number?
False
Let y(d) = d**2 + 1. Suppose -o + 3*k - k = -3, 2*o + 2*k = -12. Let x be y(o). Suppose -2*a = -32 - x. Is a prime?
False
Suppose -239 = 3*l + 85. Let v = 167 + l. Is v prime?
True
Suppose 4*h - 649 = -5*n, -2*n = -0*h - 5*h + 803. Let r = -64 + h. Is r a prime number?
True
Let m(s) = 30*s**3 - 2*s**2. Let q be m(-2). Let r = 107 - q. Is r a prime number?
False
Let p = 536 - 273. Is p a composite number?
False
Let x be ((-12)/(-1))/2 - 3. Suppose 0 = x*q + 4*g - 82, 0 = q + 3*g + 22 - 56. Suppose q - 82 = -4*r. Is r prime?
False
Let t be 4/(-14) + 12/42. Suppose l = -t*y - 5*y + 19, -4*y - 38 = -2*l. Is l composite?
False
Suppose 0 = -4*q - u - 2*u + 120, 0 = -q + u + 23. Let g be (-20)/(-9) - 6/q. Suppose 0*m = -g*m + 194. Is m a composite number?
False
Let f(h) = -4*h**3 - 2*h**2 + 2. Let z be f(-2). Suppose 18 = 2*g - z. Suppose 0*v + v - g = 0. Is v a composite number?
True
Let b = 3548 - 939. Is b composite?
False
Let d(c) = 3*c**2 + 10*c + 9. Is d(-10) a composite number?
True
Let c(s) = s**3 + 2*s**2 - 12*s + 3. Let u be c(-6). Is ((-12)/18)/(1/u) prime?
False
Suppose 0 = -z + 50 - 3. Suppose -10 - 14 = 2*i. Let o = z + i. Is o composite?
True
Let c(u) = 11*u**3 + 11*u**2 - 11*u + 755. Let n(b) = -5*b**3 - 5*b**2 + 5*b - 377. Let j(z) = -6*c(z) - 13*n(z). Is j(0) prime?
False
Is 2 + -1 - (2 + -38) prime?
True
Suppose 3*h + 5*t = 932, -288 = 2*h - 3*h + 4*t. Let r = -23 - -26. Suppose -r*p + 269 = -h. Is p a prime number?
True
Suppose -4 = v, -1792 = -4*p + 3*v + 1536. Is p a prime number?
True
Let z(o) = o - 2. Let g be z(4). Let w be ((-20)/g)/((-4)/26). Let n = w + -18. Is n prime?
True
Suppose f = -4*w + 931, 0*f = 2*f + 5*w - 1871. Is f composite?
True
Let v(d) = -10*d**3 - 2*d**2 - 13*d - 19. Is v(-8) prime?
True
Suppose 10*b - 2447 = 9*b. Is b a prime number?
True
Let d(r) = r**3 - 6*r**2 + 8. Let a be d(6). Suppose 0 = 3*v - a - 1. Suppose -b + 3 = 0, v*i - b = -2*b + 156. Is i a composite number?
True
Suppose 2*a + 254 = 3*a. Is a a composite number?
True
Suppose 5*p = -3*l - 0 + 1, -3*p = -3*l - 15. Let r be p/6*3 - 0. Suppose -3*i = -4*f + 66, 2*i + r = -f + 12. Is f composite?
True
Let z(d) be the second derivative of d**4/4 + d**3/2 + 7*d**2/2 - 2*d. Let b(x) = -4*x**3 - x**2 + x - 1. Let q be b(1). Is z(q) a composite number?
False
Suppose 573 = 2*k + k - 5*f, 5*f + 382 = 2*k. Is k a composite number?
False
Suppose 5*t = -2*g - 0*g + 255, -5*t - 3*g + 255 = 0. Is t composite?
True
Let p = 348 - 616. Suppose 0 = -2*z + 5*f + 185 + 708, -f = -5*z + 2290. Let g = z + p. Is 