Is h prime?
False
Let q(o) = -395*o**3 - 14*o**2 + 10*o - 4. Is q(-15) composite?
True
Let f(a) = a - 13. Let k(u) = 1. Suppose -c - 4*l - 1 = 0, 2*l - 5*l + 28 = -5*c. Let q(w) = c*k(w) - f(w). Is q(-6) composite?
True
Suppose -t + 101 = 2*p, -8 = 3*t + 7. Suppose -2*y + 7*y = 15. Suppose -y*o + p = -58. Is o composite?
False
Suppose 3*i - w - 3409200 = 0, -3*i + 230567 = -3*w - 3178627. Is i a composite number?
True
Let l(c) = 123*c - 115. Let f be l(14). Let x = f - 506. Is x composite?
True
Suppose 0 = -3*i + 2*s + 16, -3*s = 4*i + i + 5. Suppose 3*u - i*u - 5 = 0. Suppose -u*a + 82 = 2*y - 2*a, 3*y + 3*a = 120. Is y prime?
False
Let r = -914 + 154. Let z = r - -798. Is z prime?
False
Let j(t) = 27*t**2 - 1 + 46*t - 22*t**2 + 92. Is j(-20) a composite number?
False
Let x(d) = 5148*d - 32. Let v be x(-7). Let u = -23779 - v. Is u a prime number?
True
Suppose 2*j - 539494 = 831*n - 830*n, 0 = -5*j - 2*n + 1348753. Is j a composite number?
False
Let l = 6793 + 29939. Let q = -18829 + l. Is q a composite number?
False
Let g(k) be the second derivative of k**4/12 - k**3/3 - 12*k**2 - 9*k. Let h be g(6). Suppose h = 3*y - 1345 - 1676. Is y a prime number?
False
Let p be 7 + -1 - (-1841)/(-14)*-290. Suppose 5*g - 9834 = -5*a + p, 3*g - 28779 = -5*a. Is g composite?
True
Let p = 125 - 107. Suppose -p*f + 24 = -10*f. Suppose 7*b - 5924 = f*b. Is b composite?
False
Let h = 101 - 523. Let x = h + 1099. Is x composite?
False
Let l(y) = 764*y**2 - 1. Suppose 2*p + 6 = 2*n + 2*n, 4*p - 12 = -4*n. Let b be l(p). Suppose -4*q + h = -3*h - 1012, -3*q + b = -2*h. Is q a composite number?
False
Let z(y) = y**3 - 4*y**2 - 2*y + 8. Let f be z(4). Let h be f/(6 - 2 - 2). Suppose h = 2*p - 116 - 50. Is p prime?
True
Let y = -4047 + 6671. Let i = y - -1217. Is i prime?
False
Let g = -364 - -366. Suppose 0*c + 4*c - 4 = 0. Is g*(-1)/c + 863 + 16 a prime number?
True
Suppose 4*t + 27670930 + 4296535 = 93*t. Is t composite?
True
Suppose 257*f = 219*f + 90516836. Is f a prime number?
False
Suppose -320*w + 28627533 = -23*w. Is w a composite number?
True
Suppose -204265 = -15*b + 98465. Is b composite?
True
Let w = -51 + 72. Suppose 0 = 12*o - w*o + 6327. Suppose 2*n - 131 = -2*t + 347, 0 = 3*t - 4*n - o. Is t prime?
False
Let v(b) be the second derivative of 131*b**4/12 + 5*b**3/2 - b**2 - 30*b. Let f be v(7). Suppose -7*p + 13*p = f. Is p a prime number?
True
Let a = 59 - 57. Suppose 0 = -7*n + 4*n + a*u - 1190, 0 = -u + 1. Let b = -131 - n. Is b a prime number?
False
Suppose -8*m + 16 + 56 = 0. Let g = m - 6. Suppose 7*b = 3*d + g*b - 337, 5*d - 585 = 2*b. Is d prime?
False
Let d = -24 + 29. Suppose -24 = -4*p + d*z - 4, -z - 4 = -5*p. Suppose p = 5*m - 7*m + 334. Is m a composite number?
False
Suppose 5*t - 6*j = -j - 15, 0 = -3*t + 2*j - 6. Is (t + 499)/(-5 - 18/(-3)) prime?
True
Suppose 0 = -3*v + 4*r + 1938, r + 1938 = 2*v + v. Let f = 340 - v. Is (58/(-3))/(12/f) a composite number?
True
Suppose d + 19 = 3*d - 5*p, -3*p = 9. Suppose -4*s - 1503 = 3*b + 5224, -d*b = -6. Let f = s + 4413. Is f a composite number?
False
Let w be (((-711120)/(-45))/16)/(1/3). Suppose -2*g + 5970 = a, 2*g + w = 3*g - 5*a. Is g a composite number?
True
Suppose -49*z + 33*z = -19404304. Is z a prime number?
True
Let p(u) be the third derivative of 497*u**4/24 + 13*u**3/2 + 112*u**2. Is p(14) a prime number?
True
Let x(l) = -l**3 - 4*l**2 + 4*l + 10. Let j be x(-5). Suppose 15 = j*m - 10*m. Suppose 0 = -m*r + 13*r - 3070. Is r a composite number?
False
Let n(w) = 4*w**2 + 16*w - 70. Let i be n(-27). Suppose -i = -5*f + 3161. Is f a composite number?
True
Let j(q) = q - 3. Let d be j(5). Let b = d - -9. Suppose -b*x + 7*x + 232 = 0. Is x a composite number?
True
Suppose 3*s - 10 = s. Suppose 0 = -s*l - u + 10913, 0 = 3*u - 8*u - 10. Is l composite?
True
Let v(l) = 1686*l - 11. Let f(j) = 8 - 10 + 3. Let b(a) = 4*f(a) + v(a). Is b(1) a prime number?
False
Let i(j) = -15748*j - 7637. Is i(-18) a composite number?
False
Let m = -117 + 309. Suppose 3*v - 860 = -2*v + 5*d, -3*d = v - m. Is v prime?
False
Suppose 8*i - 1236030 = -229998. Is 41/287 - i/(-7) composite?
True
Let v = -2826 - -5730. Let b = v - 1993. Is b a prime number?
True
Let x(g) = 11*g - 22. Let w be x(2). Suppose d - 3*p + 1516 - 4443 = w, 3*d - p = 8821. Is d composite?
True
Suppose 0 = -2*w + r - 2997, 4*w + 6029 = -2*r - 3*r. Let q = w - -2543. Is q prime?
False
Suppose -3*k + 30426 = -9*k. Let j = -3032 - k. Is j a prime number?
True
Let f be 4 - (-4)/((-20)/55). Let i(k) = -114*k - 75*k + 22*k - 28. Is i(f) a composite number?
True
Let i = 4 + -4. Suppose i = -3*p - l - 11, 0*p - p + 5*l + 23 = 0. Is ((-5409)/(-6) - 1)/((-1)/p) composite?
False
Let f(z) = 14*z**3 - z**2 + 53017. Is f(0) a composite number?
False
Let l(k) = -5637*k - 1034. Is l(-13) composite?
True
Is 72539 + -10 - (5 - -3) a prime number?
False
Let w(n) = 7*n + 7. Let s(k) = 6*k + 8. Let r(b) = 3*s(b) - 2*w(b). Let j be r(-3). Is ((-2)/j)/(-5 - 7180/(-1435)) a composite number?
True
Suppose t + 62407 = 4*v, 5*v - 77999 = -13*t + 11*t. Is v a composite number?
False
Suppose -v - 2*p = -20, 3*p = -4*v + 7*p + 20. Suppose -v = -2*u, 6788 = 36*b - 35*b - 3*u. Is b prime?
True
Let q = 7934 - -8583. Is q prime?
False
Suppose -2*o = -3*t + 11 - 101, 4*o - 176 = 5*t. Let f = o - -264. Let l = f - 68. Is l composite?
True
Suppose 5*c = 5*w + 715, c - 147 = -0*w + 3*w. Suppose c*y - 102775 = 136*y. Is y composite?
True
Let v(l) = 76*l**2 + 3*l + 10. Suppose 14*f = 18 - 88. Is v(f) composite?
True
Suppose 0 = 51*m - 48*m. Suppose -4*r - 5*z + 14413 = m, 9*z = 4*r + 10*z - 14425. Is r a composite number?
False
Let n(l) = l**3 - l**2 + 2133. Let w be n(0). Let f = 4466 - w. Is f a composite number?
False
Suppose 3*f - 15 = 0, -11 + 4 = -b + f. Suppose b*x - 74 = 10*x + 2*g, -2*x + 3*g + 76 = 0. Is x a prime number?
False
Suppose -13*a + 5*a - 16 = 0. Let x be (5/(5/a))/(10/(-35)). Suppose -6*m - 3 = -x*m. Is m prime?
True
Let f = 174974 - 63321. Is f a prime number?
True
Let z be (-19 - 159)/(6/27). Let c = z + 1690. Is c composite?
True
Let f(u) = 39658*u**2 + u + 2. Is f(1) composite?
True
Let n(g) = -2*g - 48. Let m be n(-18). Let a(f) = 42*f - 2. Let q be a(m). Let i = q - -865. Is i a composite number?
False
Let l(k) = 1. Let n(u) = -76*u - 2. Let h(z) = 4*l(z) + n(z). Let v be h(-5). Let d = v + -89. Is d composite?
False
Suppose 3740 - 724 = -13*w. Is (1 - w/(-3))/(1/(-9)) prime?
False
Let k(o) be the first derivative of 10*o**2 + 47*o + 12. Let y be k(-13). Let p = -22 - y. Is p a composite number?
False
Let j = 254 - 290. Is (j/54)/(((-4)/234)/1) prime?
False
Suppose 4*r + s + 17 = 0, -5*s + 30 = -2*r + 5. Let t(p) = 6*p + 32. Let a be t(r). Suppose -a*b + 3246 = -3840. Is b prime?
False
Let j(n) = 22618*n - 3515. Is j(7) a composite number?
True
Is ((11 - 882269)/(-3))/(9/(54/12)) prime?
False
Suppose -4*y + 16*d + 57600 = 15*d, 2*y - 28810 = -2*d. Is y a composite number?
False
Let j(o) = 306*o - 3. Let t(d) = 307*d - 3. Let m(q) = -3*j(q) + 4*t(q). Let b be m(4). Let u = b - 450. Is u composite?
False
Let h = -12206 - -30540. Suppose -h = -22*x + 270064. Is x composite?
False
Suppose -5*x + 502*j = 500*j - 523893, -2*x + 209574 = -5*j. Is x a prime number?
False
Let q = -58 - -47. Is (6521634/(-99))/(-6) + 2/q prime?
True
Let x(h) be the second derivative of h**6/45 + 7*h**5/120 - 5*h**4/4 + 17*h. Let d(j) be the third derivative of x(j). Is d(6) prime?
True
Let q = -1523 + 2378. Let j = 5579 + q. Is j prime?
False
Suppose -46 = h - 3*h - i, -84 = -4*h + 2*i. Let t be ((-2204)/6)/(1 - h/18). Suppose 5*a + 6073 = 5*d + t, a = -5*d + 4390. Is d a composite number?
True
Suppose -4*j - 16 = -6*j. Let f(w) = 19*w**3 + 7*w**2 - 14*w - 3. Is f(j) a prime number?
True
Suppose -5*x - 25 = 0, -79*x - 29323 = -2*j - 78*x. Is j composite?
True
Let b(l) = -74866*l - 687. Is b(-6) composite?
True
Suppose -368779 = -5*m + 706565 - 337379. Is m a prime number?
False
Suppose -5*k - 4*z = -23, 5*k + 0*z - 32 = -z. Suppose -w = -k*w + 8166. Is w prime?
True
Let i be (-120)/(-25) + 5/25. Suppose 3*k - 2*l = 241, -i*k + 365 = 5*l - l. Is k a composite number?
True
Let z(g) be the third derivative of -52*g**4/3 + 23*g**3/6 + g**2. Suppose -37*y + 44 - 229 = 0. Is z(y) 