a prime number?
True
Let v = -2856 + 8878. Is v composite?
True
Let n = 2 + -26. Is 2/n*-6*1822 a prime number?
True
Let f(z) = z**2 + 11*z**2 - 5*z - z - 2 - 11*z**3 + 12*z**3. Let x = 11 + -22. Is f(x) a prime number?
False
Let m be (-138)/2*91/7. Let r = m - -2554. Is r composite?
False
Let u(m) = 2*m + 5*m + 4 - m**2 - 1 - 3*m. Let i be u(4). Suppose i*l + 295 = 8*l. Is l prime?
True
Let l(j) = 11*j**2 - 17*j - 75. Let b be l(20). Suppose -f = 3*f - 24. Suppose f*y = y + b. Is y a prime number?
True
Suppose -4 - 2 = -2*m. Suppose -1382 - 487 = -m*s. Suppose -502 = -a - 3*a + 2*h, 4*h + s = 5*a. Is a a composite number?
False
Suppose 0 = -14*j + 171058 - 64112. Is j a composite number?
False
Suppose 17*m - 4109 = -2*q + 20*m, q - 3*m - 2056 = 0. Is q a composite number?
False
Suppose 22*n - 6136 = 14*n. Is n a prime number?
False
Let g be (226 - -4) + 4/(-2). Let m = -149 + g. Is m a prime number?
True
Let u = -69 + 437. Let k = u + -211. Is k a prime number?
True
Let t be (-1)/(-4) + (-133)/(-76). Let s = 0 + 0. Suppose 6*g - t*g - 276 = s. Is g a prime number?
False
Let n(w) = w**2 + 4*w - 3. Let p be n(-4). Let t be -2*2/4 - p. Suppose -4*a = y + y - 1194, -577 = -y + t*a. Is y a prime number?
True
Let a(y) = 191*y**2 + y + 1. Suppose -3*d - 2*p = -3 + 4, -p = -1. Let x be a(d). Suppose 2*c = 5*z - 1007, -z + 3*c + x = -0*c. Is z a prime number?
False
Let x be 4/(-14)*(-14)/2. Let o be ((-1)/4)/(x/8). Is o/(-2*(-2)/(-308)) composite?
True
Let d(w) = 330*w + 73. Is d(6) composite?
False
Let o = -12 + 17. Suppose 0 = -0*d - o*d + 20. Suppose -3*x + 4*y + 265 = -144, d*x = 5*y + 544. Is x a prime number?
True
Let i(h) = -4*h**3 + 4*h**2 + h - 2. Let j be i(3). Suppose -p + 182 = -0*p. Let t = p + j. Is t a composite number?
True
Let x(n) = 1088*n**3 + 2*n**2 + n + 10. Is x(3) a composite number?
True
Suppose -5*h + m + 833 = -11232, 9652 = 4*h - 5*m. Is h a prime number?
False
Suppose -8*a + 5*a - 753 = 0. Suppose 0 = 3*n - 45 - 0. Is 1*a*n/(-15) a prime number?
True
Let n = 40 - 39. Is (751*-1)/((-1)/n) prime?
True
Let i(m) = 95*m**2 + m + 4. Let s be 2 + -6 - (48/6)/(-4). Is i(s) a composite number?
True
Let g = -5994 - -12754. Suppose 2*x + g = -2*x. Is x/(-8) + 2/(-8) a prime number?
True
Suppose 2*t + 3*z + 15 = 0, t + 6*z = z - 18. Let y be 1/(t + 67/22). Suppose -4*k + 3*k = -y. Is k prime?
False
Is (-55298 + -1)*(-1)/6*2 composite?
False
Suppose -42*b = -13*b - 2639667. Is b a composite number?
True
Let t(n) = -14*n - 13. Let q be t(-4). Let s = 168 + q. Suppose -s = -2*z + z. Is z a composite number?
False
Let k be (-3)/4*(-20)/(3 - 4). Let d(q) = -q**3 - 10*q**2 - 3*q - 29. Is d(k) prime?
False
Let d(a) = -22*a**2 - 16*a - 21. Let y be d(-14). Is (y/(-7))/(3 - 2) a prime number?
True
Let o(i) be the first derivative of i**4/4 + 4*i**3/3 - i**2/2 + 7*i + 2. Is o(3) prime?
True
Let f(d) = 2*d**3 - 6*d**2 - 3*d - 2. Let i = 7 + -4. Let l(y) = -y**3 + 4*y**2 - y - 1. Let c be l(i). Is f(c) composite?
False
Suppose -3*y - y - 5*g = -15, -2*y = -2*g + 6. Is y + (-632)/(-3) - 4/(-12) composite?
False
Suppose -53486 = -4*w - 2*s, -5*w + 6*w - 13344 = 5*s. Is w composite?
True
Suppose 6818 = 8*d - 5406. Suppose -11*x = -15*x + d. Is x a prime number?
False
Suppose 3*k - 9*n = -13*n + 144239, 2*k = -n + 96151. Is k a composite number?
False
Suppose -15208 = -2*k - 2*q, -5*k + 0*k + 4*q = -38047. Is k prime?
True
Suppose w + 4*w - 5*r = 2685, 4*w = 5*r + 2152. Let n = 3400 - w. Is n composite?
True
Let t = 35 - 15. Let w be 5/(t/8) + 129. Suppose -5*y + 5*m + 613 = 4*m, -y = -3*m - w. Is y a composite number?
True
Suppose -3*y - 6 - 9 = 0. Let u(q) = -10*q**3 + 5*q**2 - 3*q + 1. Is u(y) a prime number?
False
Let o(n) = 322*n**3 - 22*n**2 + 40*n + 7. Is o(3) a composite number?
False
Suppose 3 = -5*y - 2. Is (y + 3)*((-851)/(-2) + 1) composite?
False
Let i be (0 + 1)/((-10)/60). Let v be (40/6)/(i/(-477)). Is v*((-5)/2 - -3) a composite number?
True
Suppose -2*v + 111 = v. Suppose 2*n + 948 = 4*n. Let z = n + v. Is z prime?
False
Let b = -26 + 29. Suppose -240 = 2*f - b*f. Let v = f + 91. Is v prime?
True
Suppose -23*k = 21*k - 229988. Is k prime?
True
Suppose 4*m + 2 = -10. Let o(i) = -49*i**2 + 17*i - 1. Let f(g) = -25*g**2 + 9*g - 1. Let r(p) = 7*f(p) - 4*o(p). Is r(m) a composite number?
True
Let q be (234/7)/((-5)/(-35)). Suppose -q = -4*o + 2002. Is o prime?
False
Is 3452/3 - 74/(-222) composite?
False
Let f(m) = 3*m**2 + 3*m - 2. Let g be f(-2). Suppose g - 11 = -u. Let c(o) = o**3 - 2*o**2 - 9*o + 3. Is c(u) composite?
True
Suppose -20 = 5*o, 162702 = -3*n + 5*n + 4*o. Suppose -16*w + n = -80801. Is w prime?
False
Suppose -15 = -3*d, 0 = c - d - 5537 - 427. Is c a prime number?
False
Let w = -36 - -59. Suppose 3*x - w = -l - 0*l, 0 = -2*l - 4*x + 36. Suppose -3155 = -l*k + 3*k. Is k prime?
True
Suppose 0 = -18*k + 8*k + 290330. Is k composite?
False
Suppose 4*p = 3*d - 2*d - 18, 3*p = -4*d + 15. Let s = -2 + d. Suppose -s*y - 31 + 611 = 0. Is y a composite number?
True
Let c = 3 - 5. Let t = c + 12. Suppose -5*w + 6*a = 3*a - 739, 5*a = t. Is w composite?
False
Suppose 0 = 5*j + 3*f - 19727, 5*f = -2*j + 7419 + 487. Is j a prime number?
True
Let h(f) = 3*f + 13. Let y be h(9). Let x = -21 + y. Is x composite?
False
Let c(n) = 3*n - 16. Let h be c(7). Suppose -981 = h*q - 2666. Is q a prime number?
True
Suppose 5 = -0*r + r. Suppose r*v = 6*v - 62. Suppose -2*z + 0*z = -4*l - 124, -z + l = -v. Is z a composite number?
True
Suppose 4*v - 19*c + 20*c - 92635 = 0, 0 = v + 2*c - 23157. Is v a composite number?
False
Let y(g) = -g**3 - 18*g**2 + 2*g + 41. Let l be y(-18). Let c(u) = 411*u - 36. Is c(l) a prime number?
False
Suppose -q - 30 = 4*q. Let g be (q/4)/((-3)/(-4)). Is (-1 - g)/((-4)/(-364)) a prime number?
False
Suppose 2*k = 4*k + 8. Let d(q) = q**3 + 4*q**2 + q + 6. Let u be d(k). Is 668 + (4/u - -1) a composite number?
True
Let o(d) = d**3 - 5*d**2 + 3*d + 10. Let t be o(4). Suppose t*w - 660 = 738. Is w a composite number?
False
Let o = -15 + 26. Suppose 5*w + 3750 = 3*v, 2*v - 1452 = w + 1055. Suppose 6*i + v = o*i. Is i composite?
False
Let s(n) = -2*n**2 - 4*n + 671. Is s(0) composite?
True
Let f = -7 + 7. Suppose -7*h + 5*h + 4 = f. Suppose 3*r + 50 + 255 = 2*i, -h*i = -4*r - 310. Is i prime?
False
Let u(w) = 450*w**3 - 6*w**2 + 7*w + 3. Is u(2) a prime number?
True
Suppose 4*b + 14*t - 6690 = 3812, -2*t = -5*b + 13225. Is b composite?
True
Suppose -18 + 0 = -2*j. Let o be -1*1*j/(-3). Suppose 5*y - o*w - 286 = 0, -188 = -2*y - w - 67. Is y prime?
True
Let h(y) = -y**2 - 4*y - 1. Let n be h(-2). Is n*24/18 - -5433 composite?
False
Let f = 5818 - 2655. Is f prime?
True
Let p be (-79)/(-5*5/(-25)). Let x = 238 + p. Is x a prime number?
False
Suppose -20 = -5*i + i. Suppose -i*z + 32 = -7358. Is z prime?
False
Let f(d) = d**3 + 5*d**2 - 2*d - 5. Let u = 18 + -12. Is f(u) composite?
False
Is ((-42)/252)/((-3)/573246) a prime number?
True
Let l = -21708 + 38327. Is l a composite number?
False
Let n be (-22656)/(-20) - 3 - 3/(-15). Suppose 0 = -17*y + 19*y - n. Is y composite?
True
Let n = -8 - -8. Suppose n = -5*u + 3*i + 1567, 3*u - u + 5*i - 633 = 0. Let s = u - 109. Is s a composite number?
True
Let n = -4805 - -7971. Let x = n - 1873. Is x composite?
True
Suppose 4*n + 260 = -3*x, -7*n + 3*n = -4*x - 356. Is 134 - (18/22 - 16/x) a prime number?
False
Let x = 7479 - -93944. Is x a composite number?
True
Let c(g) be the first derivative of -g**3/3 - 33*g**2/2 - g - 7. Is c(-21) prime?
True
Let n = -18 + 15. Let v = n - -268. Let p = 556 - v. Is p prime?
False
Let f(v) = 191*v + 74. Is f(29) a composite number?
True
Let l(q) = -q**3 - 4*q**2 + 5*q + 2. Let s be l(-5). Suppose 2*b + s*b - 416 = -4*z, -4*b = z - 89. Is z composite?
False
Let a = -632 + 9295. Is a a composite number?
False
Let a(g) = 39*g**3 - 4*g - 4. Let o(t) = -40*t**3 + t**2 + 4*t + 4. Let q(j) = -3*a(j) - 2*o(j). Is q(-3) a prime number?
False
Suppose 102 = i + w, -4 = -5*w + 6*w. Is i composite?
True
Suppose 127 = -5*k + 4*k + 5*j, 3*j = -5*k - 663. Let l = k + 491. Is l a prime number?
True
Let v(q) be the third derivative of -17*q**4/6 - 13*q**3/2 - 16*q**2. Is v(-16) a composite number?
False
Suppose -13637 = -19*f + 312384. Is f a composite number?
