+ 29. Is v/(t/8) + 3 prime?
True
Let k(p) = -3*p + 7. Is k(-4) prime?
True
Let c(d) be the second derivative of 11*d**5/10 + d**4/6 - 5*d**3/6 + 3*d**2/2 - 4*d. Is c(2) composite?
True
Let s(c) = 34*c**2 + c + 2. Is s(-3) a prime number?
False
Is (3 - 4)/(-4 - 8716/(-2180)) a composite number?
True
Suppose -k - 15 - 8 = -2*j, 21 = -k + j. Let f = k + 76. Is f composite?
True
Let u(p) = -p**2 - 3*p - 2. Let l be u(-2). Suppose l = -z - 6 + 2. Is (z/(-10))/((-5)/(-325)) prime?
False
Suppose 0 = -2*b - 7 - 35. Let l = b + 34. Is l prime?
True
Suppose r - 52 = 33. Is r prime?
False
Let f(v) be the first derivative of 7*v**4/4 + 2*v**3/3 + v**2/2 - v - 1. Is f(2) composite?
True
Let y(g) = g**2 + 5*g + 4. Let c be y(-5). Let s = -11 + c. Let l(z) = -z**3 - 7*z**2 - z + 6. Is l(s) prime?
True
Suppose -483 = -4*k - 5*l, -5*k = -l - l - 645. Is k a prime number?
True
Let y(i) = i**2 - i - 4. Let z be y(3). Suppose 4*g - d - 17 = 0, d + 4*d + 19 = -2*g. Suppose -z*v + 595 = g*v. Is v composite?
True
Suppose 0 = -p + 15 + 25. Let c be (2/5)/(2/p). Is (-4)/c - 15/(-2) composite?
False
Suppose -3*b - 24 = -5*b. Let h be (-286)/(-3) - 4/b. Suppose -q + 2*r + 452 = 3*q, -q + 5*r + h = 0. Is q composite?
True
Suppose 0*r + 44 = 2*y - 5*r, 0 = -2*r. Is y a composite number?
True
Let f be (-18)/(-4)*8/12. Let i be f - 0 - (1 + -2). Suppose q = -i*q + 185. Is q a prime number?
True
Let j(f) = -33*f**3 - f**2 - 7*f - 7. Let q(u) = 50*u**3 + u**2 + 10*u + 10. Let n(h) = -7*j(h) - 5*q(h). Is n(-2) composite?
True
Let f(o) = -4*o**2 + 5*o**2 - 2 - 7*o**3 - 2*o - 2*o**2 + 3*o**2. Is f(-3) composite?
False
Let l(k) = k + 5. Let s be l(-5). Suppose s = -3*a + a + 238. Is a a composite number?
True
Suppose 8*y - 16 = 4*y. Let f = 4 - y. Suppose f = 4*b + 2*u - 40, 47 = 5*b + 4*u - 0*u. Is b a composite number?
False
Let j(x) be the first derivative of -x**4/4 - x**3 + x**2/2 + 2*x - 1. Let s be j(-5). Suppose s = 2*y - 23. Is y a composite number?
True
Let j = 293 - 209. Suppose -f + 4*i = j, 48 = -5*f + i - 334. Let c = 203 + f. Is c a composite number?
False
Suppose 10*c = 7928 + 7182. Is c composite?
False
Is 380/3 + (-10)/(-30) prime?
True
Suppose -3*g - 475 = -5*k + 2*g, -467 = -5*k - 3*g. Suppose -k = -3*q + q. Is q a composite number?
False
Let z(w) = -w**2 + w - 4. Let u(y) = y**2 - y + 3. Let p(c) = 2*c - 7. Let j be p(5). Let d(v) = j*u(v) + 2*z(v). Is d(6) a composite number?
False
Let p(s) = 6*s**2 + 11*s - 6. Is p(-5) composite?
False
Let h be 0 - 1 - 1*5. Let d(a) = -58*a. Let m be d(h). Suppose -m = -4*k + 4*y, -1 = y + 1. Is k a composite number?
True
Let z = -18 + 10. Let d(q) = -11*q**2 - 18*q + 19. Let h(t) = 5*t**2 + 9*t - 9. Let k(g) = -4*d(g) - 9*h(g). Is k(z) prime?
True
Let g = 16 + -16. Suppose -5*m + 25 = g, 2*b = -0*m + 4*m + 354. Is b prime?
False
Let d(c) = 45*c + 1. Suppose 2 = k - 0*k. Is d(k) prime?
False
Let q be 3/2 - 797/(-2). Is (3 - 2)*(q + 1) a composite number?
False
Suppose k + p + p - 707 = 0, -k + 2*p + 699 = 0. Is k a prime number?
False
Suppose -2*x + 3*v = 7, 4*x - 2*v = 2*x - 4. Is (36/8 - x)*10 prime?
False
Let m(y) = -2*y**2 - y - 2. Let u be m(-2). Let p(w) = -w**2 - 20*w - 8. Let j be p(u). Suppose -172 = -4*n + j. Is n a composite number?
True
Is (2348/6)/((-2)/(-3)) prime?
True
Let f = 2022 + -1135. Is f a composite number?
False
Let n be (-148)/6*(-99)/(-6). Let c = 812 + n. Suppose 4*l + 2*p + 3*p - 306 = 0, -5*p = -5*l + c. Is l composite?
False
Suppose 0*n = 5*n - 4595. Is n composite?
False
Let l(u) = 83*u + 22. Is l(13) composite?
True
Let j be 9 - (-4)/((-12)/9). Let s(g) = -1. Let v(x) = 294*x + 5. Let o(h) = j*s(h) + v(h). Is o(2) prime?
True
Suppose 14 = 5*o - 3*l, -5*l + 0*l + 22 = 3*o. Suppose o*p + 92 = 3*h - 74, 5*p + 222 = 4*h. Is h a prime number?
False
Suppose -4 = 3*k + 2. Is -1 + ((-2)/k - -13) prime?
True
Suppose 9*a - 79038 = -9*a. Is a prime?
True
Let w(q) = -7*q - 4. Let t be w(4). Is (t/6 - 1)*-3 a composite number?
False
Suppose -i - 4 - 4 = 0. Let r = 11 + i. Let a(n) = 6*n**2 + n - 2. Is a(r) composite?
True
Let d(a) = -69*a + 3. Let h be d(-5). Let t = h + -49. Is t a prime number?
False
Suppose -2*o - 20 = 2*g + 3*o, 3*g + 20 = -5*o. Suppose g = m + 4*m - 285. Is m prime?
False
Let t(s) be the third derivative of s**6/24 - s**5/30 - 5*s**4/24 - s**3/6 - s**2. Let z be t(4). Suppose -c = 2*c - z. Is c prime?
True
Let g(j) be the second derivative of -j**5/20 + 5*j**4/12 - j**3/3 - j**2/2 - 2*j. Is g(3) a composite number?
False
Suppose 4*n = 7*n - 5*d - 3790, -5*d + 2485 = 2*n. Is n a composite number?
True
Suppose -2*b = 4*p - 6, -3*b - 3*p - 15 = -8*b. Suppose -b*s + 10 = -155. Is s prime?
False
Is (6/(-8))/(5/(-2180)) prime?
False
Let f = 18 + -21. Is (f + 6)*110/15 composite?
True
Let r(c) = 2*c + 4. Let t(p) = p + 2. Let i(y) = -6*r(y) + 13*t(y). Let f be i(-2). Suppose -z + 101 = 4*z + 4*u, f = 4*u + 4. Is z prime?
False
Suppose 3*i + 4*u - u - 525 = 0, 4*u = 2*i - 362. Is i prime?
False
Let y = 275 + 266. Is y a prime number?
True
Let a(x) = -87*x**3 + x**2 + 2*x + 1. Let u(f) = f + 2. Let s be u(-3). Is a(s) a prime number?
False
Let v(n) = -2*n**3 + 3*n**2 - 2. Let y be v(-3). Let w = y - 12. Is w a prime number?
True
Let k be (9/6)/((-1)/(-2)). Let l(p) = 2*p**3 + 5*p**2 - 5*p + 2. Is l(k) composite?
True
Suppose 4*j + 889 = 4*s - 1707, -5*s + 3254 = 4*j. Suppose -s = -3*h - 4*z + 241, h - z = 290. Is h a prime number?
True
Suppose 5*w - 429 = -3*f, -5*f = 5*w - 265 - 170. Suppose 0 = -0*l + 4*l - w. Is l a composite number?
True
Suppose a = -2*a - 13587. Is 0 - -2 - a/7 prime?
False
Let g(o) = 12*o**3 + 8*o**2 + 12*o + 5. Is g(11) composite?
False
Suppose 0 = -3*a - 353 + 926. Is a composite?
False
Is 1152 + 1 + (2 - 1) + -3 prime?
True
Suppose -2*s + 7*s - 5695 = 0. Is s a prime number?
False
Let l(m) = -60*m - 4. Let j be l(-3). Suppose 27 + j = d. Is d prime?
False
Let p = -49 - -236. Is p prime?
False
Suppose 7*g - 5048 = -g. Is g prime?
True
Let j(g) be the third derivative of -g**6/120 - g**5/60 + 85*g**3/6 - 6*g**2. Is j(0) a composite number?
True
Let b be (1/(-2))/((-2)/404). Let n = 240 - b. Is n composite?
False
Suppose 1465 = 5*t + 4*z, z + 1450 = 5*t + 2*z. Let i = 494 - t. Is i a composite number?
True
Suppose -3*l - a + 3453 = a, -5*l - 3*a = -5755. Is l composite?
False
Let x(a) = 5*a - 4. Let m(z) = -1. Let j(l) = -2*m(l) - x(l). Is j(-8) composite?
True
Let v(j) = 2*j**3 - 8*j**2 - 13*j - 9. Is v(10) a composite number?
False
Suppose 0 = -0*b - 4*b - d + 846, 213 = b + d. Is b composite?
False
Let l be (1 + (-388)/12)*-3. Let s = 152 - l. Is s a prime number?
False
Suppose -n + 32 = 3*n. Suppose -3*p = -n*p + 385. Is ((-2)/2)/((-1)/p) composite?
True
Let f(x) = x**2 + 5*x + 13. Suppose 0*z = 2*z + 22. Is f(z) a prime number?
True
Suppose -4*f = -4*x + 141 + 1811, -2455 = -5*x + 2*f. Is x composite?
True
Suppose 4*c + o = 109, -3*o + 0*o + 75 = 3*c. Suppose -4*f + 2*f + 4*j = -c, -5*j = 2*f - 10. Suppose -f = -v + 37. Is v prime?
True
Let o be (1/(-2))/(1/(-2)). Is ((-57)/6)/(o/(-2)) a prime number?
True
Suppose 2914 - 335 = w. Is w prime?
True
Let u(v) = 22*v**2 - 6*v - 5. Is u(4) a prime number?
False
Let l be (-2)/13 - 246/(-78). Suppose 0*y - 2*y + 992 = -l*m, -m = -3*y + 1495. Is y a prime number?
True
Let r = -21 - -36. Is r composite?
True
Suppose -5*a = 5*o - 2120, 0 = -o - 5*a + 628 - 184. Is o composite?
False
Suppose -71 = -2*a - 201. Let i(q) = q**3 - 6*q**2 - q + 2. Let b be i(5). Let u = b - a. Is u composite?
False
Suppose -5*l + 2*y = -4955, 0*l + 2*l - 1981 = y. Is l prime?
False
Suppose 0 = 11*k - 8*k - 8223. Is k a composite number?
False
Let s = 112 + 157. Is s prime?
True
Let y(z) = 4*z**2 - 7*z + 7. Let p be 2/(-7) + (-30)/(-7). Let g(s) = -5*s**2 + 8*s - 7. Let j(v) = p*y(v) + 3*g(v). Is j(6) a composite number?
False
Let t be 1*2/4*20. Let r(a) = 9*a**2 - 4*a - 10*a**2 - 4*a + t. Is r(-8) composite?
True
Suppose -3*r + 5*b = -11, -b + 6 = 5*r - 3. Let h(s) = 0 + r - 2*s + 7*s**2 + s**3 - 6*s**2. Is h(2) prime?
False
Let c(j) = 3*j + 13. Suppose -13*s = -10*s - 30. Is c(s) prime?
True
Let a(z) = -2*z + 2. Let u be a(5). Let b = 8 + u. Suppose -2*g + 96 = -5*m, b = 3*m + m + 16. Is g a prime number?
False
Let s be 3396/28 + 2/(-7). Let 