 h a composite number?
False
Let x(f) = -f**3 + 7*f**2 + 6*f + 17. Let p be x(8). Is ((-5)/5)/(p/(-253)) a composite number?
True
Let w(q) = 96*q**2 - 9*q + 5. Let i be w(9). Suppose -2*v - 3*v - i = 0. Let h = 2193 + v. Is h prime?
True
Let y(h) be the third derivative of h**6/120 - h**5/15 + h**3/3 + 2*h**2. Is y(6) a prime number?
False
Let c(u) = 61*u**2 - u + 2. Let t(j) = -31*j**2 - 1. Let p(o) = -4*c(o) - 9*t(o). Let b = 515 + -517. Is p(b) composite?
True
Suppose 0 = 7*t - 5*t - 10. Suppose 4*p = -3*u + 275, -t*u = -5*p - 181 - 324. Is u prime?
True
Let m be (12/(-36))/((-2)/6). Let r be 46/m - 0/(-1). Let k = 31 + r. Is k a composite number?
True
Let s be (10/(-4))/(4 + (-27)/6). Let v(n) = 5*n**3 + 2*n**2 + 13*n - 7. Is v(s) composite?
False
Suppose 8*k - 28615 - 37489 = 0. Is k a prime number?
True
Let r(k) = 2588*k**2 - 6*k - 25. Is r(-3) composite?
True
Let t = 220 + 101. Is t a prime number?
False
Suppose 0*a = 3*a + 2*d - 8, 3*a - 5*d = 1. Suppose -5*f - 5 = -5*l, 2*f = -0*f - a. Suppose -i + l*r + 4*r = -465, -4*r + 2229 = 5*i. Is i composite?
False
Let w(v) = -v + 7. Let j be (-108)/(-21) + 3/(-21). Let x be w(j). Suppose -2*q - 234 = -p, 3*p - x*q = 3*q + 698. Is p a composite number?
True
Let n = 9783 - 6190. Is n prime?
True
Let i(s) = 2492*s - 25. Let t be i(3). Suppose 5*d - t - 4224 = 0. Is d composite?
True
Is (196/42 - 4)/(2/10389) a prime number?
True
Let a(t) = t**2 - 6*t. Let w be a(6). Suppose w = 4*n - 12, 13 = h + 5*n - 5. Suppose 0 = -5*b - h*v + 1243, 2*b - 490 = 4*v - 7*v. Is b composite?
False
Let q(y) = -y**3 + 6*y**2 - 7*y. Let z be q(4). Suppose 2*a - 3*v = 2098, 0 = 3*a - 0*a - z*v - 3145. Is a prime?
False
Let m = 3934 - 1835. Is m a prime number?
True
Suppose 4*x = 0, 0 = -4*h - 8*x + 6*x + 23356. Is h a composite number?
False
Let x(n) = 19*n**2 - 41*n**2 + 19*n**2 - 15 - n**3 - 3*n. Is x(-6) composite?
True
Let o = -18 - -20. Is (-30096)/(-63) + o/7 a composite number?
True
Let c(q) = -q + 22. Let v be c(20). Suppose -v*x + 1168 = -2*r - 102, -x = 5*r - 611. Is x a prime number?
True
Let z(y) be the second derivative of 89*y**4/4 + y**3/3 + y**2/2 + 4*y. Is z(2) prime?
False
Let i(o) be the second derivative of 13*o**5/60 + 7*o**4/24 + 5*o**3/6 - 5*o**2/2 - 5*o. Let q(v) be the first derivative of i(v). Is q(-4) a composite number?
True
Suppose 7*b - 460 = 3*b. Suppose 3*n = w - b, 185 = -5*n + w + 2*w. Let l = n + 89. Is l composite?
True
Let k(t) = 3870*t + 293. Is k(6) prime?
False
Suppose -261 - 315 = -3*k. Let t = k - -439. Is t a prime number?
True
Let q(j) = 4*j**2 - 7*j - 5. Suppose 18 = y + s, -3*s - 15 = -3*y + 15. Suppose 0 = -3*f - 3*w - 27, y + 19 = -3*f - 5*w. Is q(f) prime?
True
Let t(f) = -93*f**3 - f + 13. Is t(-4) composite?
True
Let j be (-8)/(-3)*((-7)/2 - -2). Is (410/j + 3)*-2 a prime number?
True
Let t(l) be the second derivative of l**4/12 - l**3/6 - 7*l. Let b be t(1). Is (-1)/((-4 + b)/92) a composite number?
False
Let n(k) = -22*k - 21. Let o be n(-6). Suppose -v + 36 = -3*x, 0 = -4*v + 2*x - x + o. Suppose 4*g = -2*t + 56, t - 19 = 4*g + v. Is t composite?
True
Suppose 17*o - 648 = 6985. Is o prime?
True
Suppose 0 = 4*f, 5*k - 2*f - 10455 = -6*f. Suppose -k = 19*t - 22*t. Is t composite?
True
Let n be 21 - 26 - 258/(-2). Let j = -105 + n. Is j a prime number?
True
Let t = 2501 - 3729. Is t/(-2)*(-1 + 15/6) a composite number?
True
Let x(p) = -3*p - 10. Let n be x(-5). Suppose r - 4*i - 3 = 0, 2*r - 2 = r + n*i. Is r prime?
True
Suppose -4*z + 4*v = 4, 3*v + 7 = 4. Let p(f) = -9*f + 1. Is p(z) a prime number?
True
Suppose 7*r - 3*r = -3*u + 53406, -3*r = -2*u - 40063. Is r prime?
False
Let f(m) = m**2 + 5*m - 3. Let l be f(-6). Suppose -c - 11 = c - l*d, 4*c + 2 = 2*d. Suppose -4*x - 43 = c*r - 101, -3*r - 3*x = -90. Is r a composite number?
False
Let o = 1596 + -799. Is o a prime number?
True
Is 21/14*((-845664)/(-18) - 2) a composite number?
True
Suppose -248 = -4*w + 532. Suppose -3*i = -6*i + w. Is 17498/i + (-2)/10 composite?
False
Let n(y) = -4*y**3 + 3*y**2 + 28*y - 13. Is n(-9) a composite number?
True
Let i(u) = -8*u**3 - 4*u**2 - 9*u**3 - 4 - 2*u + 2*u. Is i(-3) prime?
True
Let l be (1/(-1))/(4/(-8)). Suppose 3*k + 178 = l*z - 2*k, -4*z + k = -374. Is z a composite number?
True
Let l be (21/14)/(((-3)/(-92))/(-1)). Let k = -15 - l. Is k composite?
False
Let k = 6106 + 12625. Is k prime?
True
Suppose 4*o + 8*z + 4 = 4*z, 5*z + 45 = 5*o. Suppose 5*r - k = 4308, 2*r - 1722 = -o*k + 5*k. Is r prime?
False
Let z = 3351 - -2205. Suppose h + 3691 = 2*p, -9*h + 4*h + z = 3*p. Is p composite?
False
Let a = 7283 - 1726. Is a composite?
False
Suppose -9*s + 10 = -26. Suppose -s*y - 2*y + 2946 = 0. Is y a prime number?
True
Suppose -25*a + 22449 = -22*a. Is a composite?
True
Let m = -18 + 13. Let o be m/1*8/(-10). Is (-4)/(-16) - (-219)/o a composite number?
True
Let u(h) = 3*h**2 - 21*h + 163. Is u(24) a prime number?
False
Suppose 6268 = 212*n - 208*n. Is n prime?
True
Is 12/4 + (-1)/((-2)/100408) prime?
True
Let y(h) = -7*h**3 + 2 + 15 + 18 - 25*h - 1 + 32*h**2. Let k(x) = 3*x**3 - 16*x**2 + 13*x - 17. Let s(n) = -5*k(n) - 2*y(n). Is s(14) composite?
False
Suppose 47*u = 314857 + 68052. Is u prime?
True
Let a = 33134 + -21415. Is a a composite number?
False
Let y = 12176 - 7137. Is y a composite number?
False
Suppose 2953 - 12318 = -5*b. Let n = b - 396. Is n a composite number?
True
Let d(q) = 574*q**2 - 5*q - 4. Is d(3) a composite number?
False
Let g(m) = 3*m + 1. Let l be g(-5). Let p(q) be the third derivative of -q**6/120 - q**5/5 + 19*q**4/24 + 13*q**3/6 + 18*q**2. Is p(l) a prime number?
True
Suppose -11 = -4*k + 9. Suppose -7*q + 346 = -k*q. Let y = 120 + q. Is y a prime number?
True
Let f(p) = 10*p**2 - 3*p + 2. Let v be (-8 - -5)*12/(-9). Suppose i - 3*i - 4*s + 2 = 0, 5*i - 11 = -v*s. Is f(i) a prime number?
True
Suppose -2*t + 2608 = 3*w, -2*t + w + 801 + 1799 = 0. Let v = t - 414. Is v composite?
False
Let u(t) = -t**2 + 20*t - 7. Is u(12) prime?
True
Let n be 5*-1 - (4 + -3). Let i(k) = -19*k**2 - k - 1. Let v(d) = -37*d**2 - 3*d - 2. Let b(z) = 7*i(z) - 4*v(z). Is b(n) a composite number?
True
Let j be (-4)/(-6)*(-3 + 0) - -6. Suppose 0 = 4*b + u - 43894, -2*b = -2*u + j*u - 21950. Is b prime?
True
Suppose 4*y = -2*k + 32, -2*k = 3*y - 2 - 22. Let i(j) = 81*j + 61. Is i(y) a composite number?
False
Let n = -17259 - -25076. Is n a prime number?
True
Suppose -5*d + 680 = 3*a, -5*a = d - 9 - 149. Suppose 0 = -2*x - x + 15. Suppose o - d = -2*n, 5*n = 3*o - x*o + 266. Is o a composite number?
True
Is ((-39106)/(-13))/((-352)/(-2288)) prime?
True
Let y(k) = -9*k - 8*k + 13*k + 24*k**2 - 5. Is y(6) composite?
True
Suppose 0*l = 4*l + 1740. Let h = l - -976. Is h prime?
True
Let u = 5416 + 398. Suppose 4*v + 2892 = x, -u = x - 3*x + 2*v. Let h = x - 1951. Is h prime?
False
Suppose l - 14359 = -5*r, -2*l + 28692 = -19*r + 16*r. Is l a composite number?
True
Let b be (-119)/(-28) - (-3)/(-12). Suppose 90 + b = r. Is r composite?
True
Let g = 749 + -76. Is g a composite number?
False
Let y(z) = -z - 50. Let j be y(-15). Is 11/((15/j)/(-3)) a prime number?
False
Let y = 1 + 9. Suppose 3*p + y = -2*p. Is ((-3)/p)/((-9)/(-708)) a prime number?
False
Let x = 28 - 25. Suppose 2 = 4*i + p - 5, -p + 5 = x*i. Suppose 7*m + 5*j - 2170 = i*m, j - 3 = 0. Is m a composite number?
False
Let l = -20 - -20. Suppose -r + 0*r + 194 = l. Suppose 2*n - r - 132 = 0. Is n composite?
False
Let r = -791 - 64. Let d be r/(-5) - (-6)/(-2). Let v = d + -117. Is v a prime number?
False
Let b(c) = -c**2 + 16*c - 2. Suppose j - 13 + 0 = 0. Is b(j) a prime number?
True
Is (6/(-12) - -1)*12394 composite?
False
Let u = 8 - 2. Let y = u - 46. Is 3 - -2*(1 - y) a prime number?
False
Suppose 6*k = 5*r + 10*k - 46, -5 = -r - 5*k. Suppose -12*v = -r*v - 52. Is v a composite number?
True
Suppose 0 = 3*d - 42 + 6. Let s(w) = -3*w**2 - 47*w + 1. Let x(t) = -t**2 - 24*t - 1. Let n(f) = -4*s(f) + 9*x(f). Is n(d) prime?
True
Let d(p) = -58*p**3 - 8*p**2 + 10*p + 10. Is d(-4) prime?
False
Is (-8)/(-24) + (-2530480)/(-24) a composite number?
False
Suppose -5*q = 2*q. Suppose q = -5*b + 5*u - 3*u - 68, 5*b = -4*u - 44. Let d = b - -227. Is d a composite number?
True
Suppose -28 = -2*o - 4*l, l - 2*l - 2 = 0.