 z, -2*p = 2*b. Is u(p) a prime number?
True
Let v be -1 + 3*(-21)/(-9). Suppose 5*o - v = -16. Let n(g) = -19*g**3 + g**2 - 4*g - 3. Is n(o) prime?
False
Let r(n) = n. Let u(a) = 24*a + 2. Let m(q) = 8*r(q) - u(q). Is m(-1) composite?
True
Suppose -5*n + 2248 = -3*g, -n + 5*g + 135 = -319. Is n composite?
False
Suppose -w = -4*w + 2631. Is w prime?
True
Let x(b) = 7*b**3 - 7*b**2 + 11*b + 2. Let p(i) = -6*i**3 + 7*i**2 - 11*i - 3. Let r(o) = -6*p(o) - 5*x(o). Is r(9) prime?
True
Suppose -4 = -3*o + 11. Suppose 0*p + 9 = 5*p - 3*l, 2*p = o*l - 4. Is p a composite number?
False
Let d = 198 + 541. Is d prime?
True
Let x(s) = 6*s + 4*s**2 + 10 + 0*s + 2*s - 5*s**2. Is x(5) prime?
False
Let k(f) be the first derivative of 23/3*f**3 - 1 - f + 0*f**2. Is k(-1) a composite number?
True
Let a be (-52)/(-8) - (-1)/(-2). Suppose -22 = -5*i + 28. Suppose -148 = -i*b + a*b. Is b prime?
True
Let u = 2 - 2. Suppose -3*s = 2*q - 203, 5*s + u*s = -2*q + 333. Is s a prime number?
False
Suppose -75 = 4*x - 5*x. Suppose -8*m = -11*m + x. Is m composite?
True
Suppose -4*s + 23 = 3*n - 3*s, -3*s + 39 = 4*n. Suppose 2*b - n*b + 776 = -3*w, b = -5*w + 171. Is b composite?
False
Let p(z) = 5*z**2 - z + 1. Let y be p(1). Suppose y*d - 282 - 118 = 0. Let w = d + 79. Is w prime?
False
Let n(o) be the second derivative of o**3/6 - 3*o**2/2 + o. Let i be n(7). Suppose -i - 2 = -z. Is z a prime number?
False
Suppose -6*s + 596 = -2*s. Is s prime?
True
Let w(p) = -p**2 - 7*p - 5. Let n(g) = g**2 - 6*g - 5. Let i be n(6). Let r be w(i). Is r/(0 - 2/(-4)) composite?
True
Let z(w) = 18*w**2 - 16*w + 17. Is z(-11) prime?
True
Let p be 1067/(-4) + 5/(-20). Let m = -137 - p. Suppose -4*v + 101 = 3*i - 2*v, 5*v = -4*i + m. Is i prime?
False
Suppose -2*o - o = -6. Suppose -6*c + 40 = -o*c. Is 4/c - 2065/(-25) a prime number?
True
Suppose -z + 3*j - 4*j = -225, 4*z + 3*j - 898 = 0. Is z prime?
True
Let y(u) = -6*u**3 - 9*u**2 + 1. Let p(m) = -7*m**3 - 10*m**2 + m + 1. Suppose -5*z + 42 = 3*o, -z + 2*o - 1 = 1. Let x(b) = z*y(b) - 5*p(b). Is x(-5) prime?
False
Let v(p) = p**2 - 2*p - 1. Let j be v(2). Is (-5)/(-2)*(45 - j) prime?
False
Let g(s) = -s**3 + 8*s**2 - 5*s - 6. Let d be g(6). Let w(j) = j**2 - 6*j. Let n be w(6). Suppose n = x - d + 1. Is x composite?
True
Let f be 84/15 - 4/(-10). Let c be 9/6*8/f. Suppose -94 = -5*i + t, 4*i = -i - c*t + 97. Is i composite?
False
Suppose 2*r = -2*r - 2*q + 14, -3*q + 5 = 2*r. Suppose 5*f = -r*y - 451, 495 - 62 = -4*y + f. Let p = 192 + y. Is p a prime number?
True
Suppose 4*o - 5*h + 1177 = -6664, -h = 3. Let c = -1341 - o. Is c prime?
False
Let z(d) = -5*d - 15. Suppose 3*h + 50 = 4*p, -3*h - 35 = -0*p - p. Is z(h) composite?
True
Let n = -4 + -7. Let q = 16 + n. Suppose 3*m - q*m + 18 = 0. Is m composite?
True
Let z be ((-12)/5)/((-5)/25). Suppose 4*w = z - 0, 4*w = 4*f + 648. Is f/2*2/(-3) a composite number?
False
Let s = 53 + 29. Is s prime?
False
Suppose 0 = -7*v + 3*v + 4. Let c be -1*v*(3 + -6). Is 1*-1 + 44*c composite?
False
Suppose 4*u - 2*i = 18, -2 + 11 = -2*u - 5*i. Suppose -5*z = -u*b + 5*b - 804, -3*b = -5*z - 1181. Is b composite?
False
Suppose -2*h + 5*c + 76 = 0, 4*h + h = -c + 163. Is h a composite number?
True
Let g = -48 - -235. Is g a prime number?
False
Let a(b) = b**3 - 10*b**2 - 2*b. Let o be -3 + (-1 - -3) + 11. Let x be a(o). Let u = x - -55. Is u composite?
True
Is (746/8)/(0 + (-2)/(-24)) prime?
False
Let v(a) = 11*a**3 - 2*a**2 - 2*a + 7. Let s(l) = -6*l**3 + l**2 + l - 3. Let h(k) = 7*s(k) + 3*v(k). Let f be h(-2). Let d = 105 - f. Is d prime?
True
Suppose 0 = l - 0 - 1. Is l/((-2)/(-64)) - 1 prime?
True
Suppose 0 = 4*r + r + 350. Let q(l) = 6*l**2 - 3*l - 4. Let m be q(-4). Let c = m + r. Is c prime?
False
Let x(k) = -k + 2. Let u be x(-4). Is 1339/u + 4/(-24) a composite number?
False
Let d(q) = -2*q - 14*q**2 + 82*q**2 + 302*q**2 - 1. Is d(-1) a prime number?
False
Let r(u) = u + u + 9*u + 3*u**2 - 2*u**2 - 8. Is r(7) a prime number?
False
Let f(o) = -50*o**3 + o**2 - 2*o - 3 + 0*o + 6*o**3 - 23*o**3. Is f(-2) composite?
False
Suppose 2*x - 3612 = -5*b, -432 = -4*x - 5*b + 6782. Is x a prime number?
True
Let w = 2 - 0. Suppose 0 = 5*k + w*u - 155, 4*k - 31 = -2*u + 91. Let s = k - 14. Is s a composite number?
False
Let b(v) = v**3 + 3*v**2 - 8*v - 9. Let m be (1 - (-1 + 3)) + 9. Is b(m) prime?
True
Let g(n) = 101*n - 6. Let o be g(4). Is (o + 12)*2/4 a composite number?
True
Suppose -4*o + 21 = -o. Is o prime?
True
Let v(l) = 22*l**2 + 2*l - 6. Is v(-10) a prime number?
False
Is (-1455)/(-10)*8/6 prime?
False
Let t(j) be the first derivative of 2*j**3/3 - 5*j**2/2 + 11*j + 4. Is t(10) composite?
True
Suppose -5*o - 185 = 135. Suppose 5*x = -129 - 16. Let a = x - o. Is a prime?
False
Suppose -b + 0 + 7 = 0. Let g(l) = l**3 - 5*l**2 - 4*l - 1. Is g(b) prime?
False
Is 3301 - 0 - (2 - 6 - -6) a prime number?
True
Suppose 7*g - 317 = 4702. Is g prime?
False
Suppose -25 = 5*p, 11120 = 5*v - 4*p + 3295. Is v a composite number?
True
Let t be 68/20 - 2/5. Suppose 0 = t*c - 684 + 51. Is c prime?
True
Let w = 18 + -70. Let k = 1 - w. Is k a composite number?
False
Let p(q) = -9*q**2 + 3*q**3 + 1 - 3 - 4*q**3. Let v be p(-9). Let t(w) = 18*w**2 - 3*w - 1. Is t(v) composite?
True
Let m(f) = -f**3 - 10*f**2 - f - 11. Let l be m(-10). Is 1 - (19 - -2)*l prime?
False
Let m(x) = -5*x**2 + 12*x + 10 - 3*x**2 - 4*x**2 + x**3. Let l be m(9). Let r = -48 - l. Is r composite?
True
Is (127/1)/((-12)/(-12)) a composite number?
False
Let j = 1662 + -385. Is j prime?
True
Let v = 40 - 77. Let p = v + 126. Is p a composite number?
False
Suppose 2*n + t + 4 = 0, -3*n = 4*t + 14 + 2. Suppose -2*z + n*z + 3*r = -1319, -2*z = r - 1307. Is z a prime number?
False
Suppose 0 = 2*g, -5*z - 3*g = 4 - 39. Is 6/21 + 131/z a prime number?
True
Let g be -1 - (-1 - -1*3). Let i be (2/(-6))/(g/45). Suppose -i*r = 16 - 51. Is r a composite number?
False
Let j(c) = -25*c + 1. Let b(h) = 26*h - 1. Let a(f) = -7*b(f) - 6*j(f). Is a(-3) a prime number?
True
Is (4518/27)/((-2)/(-3)) prime?
True
Is ((-6)/4)/((-57)/148124) prime?
False
Let m = 7 + 102. Let x = m - 52. Is x a prime number?
False
Suppose -4*o + 55 = o. Let q(s) = 14*s + 7. Is q(o) a prime number?
False
Let k = -1526 + -102. Is k/(-10) - 14/(-70) prime?
True
Is (628/6)/((-16)/(-24)) a composite number?
False
Let q(o) be the second derivative of -o**4/12 - 2*o**3 + 13*o**2/2 - 2*o. Let p be q(-13). Suppose -i + 34 + 3 = p. Is i a composite number?
False
Suppose -12 = -4*i + 2*q, -q = 5*i - 2*q - 15. Suppose k - 4*w = 113, -i*w - 226 = -2*k - w. Is k a prime number?
True
Let b(m) = -5*m - 4. Let u = -2 + -3. Is b(u) a composite number?
True
Let d = -24 + 34. Suppose -6*s = -s - d. Suppose z + 13 = s*z. Is z composite?
False
Let i(l) = -l**3 - 13*l**2 - 8*l + 1. Let w be i(-6). Let m = -120 - w. Is m prime?
True
Let b(i) = 283*i**2 + 3*i + 1. Is b(2) prime?
False
Let k = -5 - -8. Suppose -4*j - 17 = s, 4*j + 20 = -0*j. Let q = s + k. Is q a composite number?
True
Let m = -2 + 4. Suppose w - m*w = -7. Is w prime?
True
Suppose 2*x = x + 4. Suppose 2*a - h = -11 + 298, -2*a + 302 = x*h. Is a a composite number?
True
Suppose 2 = 2*w + 4. Let z be -3*2/3*w. Suppose -52 = -z*t - 0*t. Is t prime?
False
Is (-1)/(-3)*(397 + -4) composite?
False
Let k(l) be the first derivative of -1/2*l**2 - 1 + l + 9*l**3. Is k(-2) composite?
True
Suppose -2*i + 7*i + 20 = d, -3*i = d + 4. Suppose 0 = -b + d*b - 20. Is (-1332)/(-15) + 1/b prime?
True
Let p = 8 - 8. Suppose -i + 3 = -p*i, -5*x - i + 2038 = 0. Suppose z = -2*h - 125 + x, -2*h + 3*z = -298. Is h prime?
False
Let v(l) = -53*l - 3. Let n be v(-2). Suppose 5*i - 7 = n. Is i a prime number?
False
Suppose -3*a - 3*m + 246 = 0, m - 93 = -4*a + 241. Suppose -2*t - 2*o = 2*o - 202, 3*t - 289 = o. Suppose i + a = -5*u + 313, 5*i + t = 2*u. Is u prime?
False
Let h = -60 - 171. Let s = h - -352. Is s a composite number?
True
Is 4/12 - 256/(-6) composite?
False
Let l(y) = -3*y**3 + 5*y**2 + 3*y + 6. Let n be l(6). Let f = -259 - n. Suppose -6*c + c + f = 0. Is c a composite number?
False
Let x = 53 + 240. Is x prime?
True
Suppose -49 + 1 = -4*y. Let o(n) = n**2 - 5*n + 2. Let u be o(3). Is (u/y)/((-1)/33) a composite number?
False
Let w be 0 + -2 + 4 - -3. L