
Let z(c) = -148*c**3 - 4*c**2 - 2*c + 1. Let v(p) = 148*p**3 + 5*p**2 + 2*p - 1. Let g(y) = -4*v(y) - 5*z(y). Is g(1) a prime number?
True
Suppose 4*g = 8*g + 4. Let y = g - -3. Suppose 147 = u + y*u. Is u a prime number?
False
Suppose -4*w - w + 3*i = -30, 2*w = 5*i + 31. Suppose w*y - 3 = -0*y. Is (3/(-6))/(y/(-46)) a composite number?
False
Suppose f = d + 47, -79 = -4*f - d + 129. Is f prime?
False
Let f be 1/1 - 2/2. Suppose f*b = 3*b - 102. Let j = b - -3. Is j prime?
True
Let x = 6 - 4. Let f(r) = -2 - 3 - 4*r - x*r + 3*r**2. Is f(6) a composite number?
False
Suppose -3*s = -d - 218, -s + 0*d = 3*d - 86. Is s a prime number?
False
Let g be (-4)/18 - (-106)/(-9). Let p be ((-10)/3)/(4/g). Is 2/p - (-458)/10 composite?
True
Let m(g) = 51*g**2 - 4*g + 7. Let o be m(-5). Suppose 4*p + 318 = o. Suppose 3*i = -3*b + p, -6*i = -b - i + 64. Is b prime?
True
Let q be (-1)/((-1)/(-2)) - -4. Is 142 + (q - (5 - 2)) a composite number?
True
Let u be (0 + 2/(-3))*-3. Let l(b) be the third derivative of b**6/30 + b**5/60 - b**4/12 + b**3/2 - 3*b**2. Is l(u) prime?
False
Let r(g) be the third derivative of -g**4/12 + 7*g**3/6 + g**2. Is r(-9) prime?
False
Let y(p) = p**3 + p**2 + 6*p - 6. Let g be y(6). Let b = g + -77. Is b composite?
True
Let s = -49 - -77. Suppose -3*p + p + s = 0. Is p composite?
True
Let q(b) = b**2 + b + 1. Let g(d) = -2*d**2 - d + 2. Let f be g(-2). Is q(f) composite?
False
Let f be 3 - (2 + -1)*-1. Is (-5)/(-2)*(f - -34) composite?
True
Suppose k + 37 = -35. Let s = 125 + k. Is s a prime number?
True
Is (-66)/(-33)*(-1061)/(-2) composite?
False
Suppose a - 4 = -0. Suppose -1 = a*b - 17. Suppose 0 = -4*h, -b*k + h = -h - 12. Is k prime?
True
Let m = 8 - 4. Suppose 0*d - m*d + 148 = 0. Is d composite?
False
Let c = -13 + 3. Is 688/20 - 6/c composite?
True
Suppose 0 = 3*o - 6*n + 7*n - 18424, -4*o + 24552 = 4*n. Is o prime?
True
Let b(y) = -28*y. Let q be b(-6). Let w = q - 112. Is 5/(10/w) + -2 prime?
False
Let x = 1568 - 706. Is x a composite number?
True
Let k(p) be the second derivative of -1/2*p**3 - 1/4*p**4 - 3/5*p**5 + 2*p + 0 - 1/2*p**2. Is k(-2) a composite number?
False
Is 1/(-3*5/(-8115)) a composite number?
False
Let j be ((-78)/8)/((-1)/(-16)). Let f = -87 - j. Is f prime?
False
Is (-476)/(-6) + (-3)/9 composite?
False
Is (182 - -9)/(1/2) a prime number?
False
Is (0 - -1)*(-3 + 86) composite?
False
Suppose 2*h - 172 - 250 = 0. Is h composite?
False
Let f(x) = -9*x + 27. Let t(a) = -4*a + 13. Let y(i) = 6*f(i) - 13*t(i). Let m be y(-6). Let k(h) = 17*h + 6. Is k(m) a composite number?
True
Let w = -5 + 6. Suppose -4*q = -19 - w. Suppose -5*c + q*s = -60, -5*s = 2*c - c - 30. Is c composite?
True
Suppose v = -v + 422. Is v composite?
False
Suppose -8 - 17 = -5*s. Is 2/4*790/s a prime number?
True
Let h(i) = 2*i**3 + i**2 + i - 3. Let f(b) = -b**2 + 1. Let s(o) = 5*f(o) + h(o). Let l be s(2). Suppose -8*p + l*p = -124. Is p prime?
True
Let x be (4/(-5))/(10/(-25)). Is (x/5)/((-2)/(-130)) a prime number?
False
Let v(i) = -38*i + 11. Let a = -1 - 5. Is v(a) composite?
False
Let r be 3/((-2)/((-2964)/9)). Let b be (0 + -6)*2/(-3). Is r/14 - b/14 a composite number?
True
Let x = 2 - 0. Let p(z) = 2 + 2 + 2*z**x - 7*z + 4. Is p(7) prime?
False
Let d(r) = -r**3 + 7*r**2 - 2*r + 3. Let t be d(3). Let a = -20 + t. Is a composite?
False
Suppose -9*l + 462 = -555. Is l prime?
True
Let u(n) = n**3 - 4*n**2 - n + 5. Let y(i) = -i**3 - 7*i**2 - 6*i + 5. Let o(g) = -2*g + 6. Let q be o(6). Let a be y(q). Is u(a) prime?
False
Let r be 282/54 - (-4)/(-18). Let w(m) = 3*m - 1. Let l be w(r). Is ((-21)/(-14))/(1/l) prime?
False
Suppose 40*b - 37*b = 1167. Is b prime?
True
Let b(c) = 9 - c**3 - 4*c**2 - 4 - c**2 + 3*c**2. Is b(-4) prime?
True
Let d(w) = -w**3 + 5*w**2 - w - 2. Let o(r) = -r**3 - 2*r + 1 + 5*r - r**2 - 2*r. Let f be o(-2). Is d(f) composite?
False
Let m = 150 + 51. Is m prime?
False
Suppose 3573 = -l + 4*l. Is l composite?
True
Let p(t) = -t**3 - 7*t**2 - 5*t + 8. Let k = -11 + 4. Is p(k) a composite number?
False
Let q(u) = -32*u + 27. Is q(-17) composite?
False
Let f(l) = -l**2 - 8*l + 4. Let x be f(-8). Let o(u) = u**2 + 1. Let c be o(-5). Suppose k - p = 3*p - 5, -2*k - x*p + c = 0. Is k a composite number?
False
Suppose -3*p - 5*v = -5*p - 132, 0 = 2*p + 5*v + 132. Let a = p - -511. Is a a prime number?
False
Suppose 6*d = 8*d - 12. Is d a composite number?
True
Let c(v) = -2*v**3 - 4*v**2 - 2*v + 3. Let t be c(3). Let a = t + 26. Let j = a - -146. Is j a composite number?
False
Let z be -1 + 2 - 1/1. Suppose 4*o - o - 5*d - 786 = 0, -3*o + 4*d + 783 = z. Is o prime?
True
Suppose 0*z - 27 = 3*z. Let k = -2 - z. Is k prime?
True
Let k(q) = -q**3 + 7*q**2 - 3*q + 7. Let i be k(6). Suppose -v + t = -i, t + 4*t - 7 = -v. Is v a prime number?
False
Suppose 3*d = -579 - 360. Let w = d - -518. Is w prime?
False
Suppose -7*p + 3763 = -4*p - t, 0 = -3*t - 12. Is p a prime number?
False
Suppose -5*q + 125 = -5*x, 4*q - 5*x - 57 = 48. Let k be (-27)/1*q/(-15). Let w = 2 + k. Is w a prime number?
False
Let b(t) be the third derivative of t**6/120 - 11*t**5/60 - t**4/3 - 11*t**3/6 + 5*t**2. Is b(12) a prime number?
True
Let t(o) = o**3 - 11*o**2 - 13*o - 13. Let b be t(15). Let k = -1394 + 911. Let m = k + b. Is m composite?
True
Suppose 0 = -3*x - 11 - 4. Let o = x + 10. Suppose o*v + 23 = 78. Is v a prime number?
True
Suppose 2*k - 315 = o + 31, -865 = -5*k - 4*o. Let u = -86 + k. Is u prime?
False
Suppose -5*t + 67 = -5*w + 22, -4*t = 4*w - 36. Let h = 48 - t. Is h a prime number?
False
Suppose -2*n - s + 823 = 0, 4*n - 2*n = -4*s + 838. Is n a composite number?
False
Let o = 46 - 33. Is o a prime number?
True
Suppose 0*m - m + 115 = 0. Is m composite?
True
Suppose 3*u + 3 - 15 = 0. Suppose 4*a - 14 = -2*h, u*a - 2*h = a + 28. Is a a composite number?
True
Suppose 1879 = 3*p + 418. Is p composite?
False
Let g = 1128 - 599. Is g a prime number?
False
Let u(k) = 29*k**2 + 2*k + 10. Is u(5) composite?
True
Let v(y) be the third derivative of y**6/120 - y**5/20 - y**4/4 + 11*y**3/6 - 5*y**2. Is v(6) prime?
True
Suppose 89 = -4*l + 5*l. Is l composite?
False
Suppose 44 = p + 2*u - 83, 0 = 4*p + u - 508. Is p composite?
False
Let r = 3396 - 1663. Is r a prime number?
True
Is -4*(111/(-6) - -3) a prime number?
False
Let t be 130/15*6/(-4). Is 10734/26 - 2/t prime?
False
Let r(i) = -13*i + 1. Is r(-6) a prime number?
True
Suppose 3*q = -w + 188, -2*q + 127 = 3*w + 11. Suppose -3*x = 5*g - q, 3*g - 76 = -3*x - 16. Let z = -7 + x. Is z a prime number?
True
Let o(q) = q. Let f(p) = p**2 - 3*p - 1. Let v(n) = f(n) + 3*o(n). Let l be v(1). Is -15*((-2)/3 + l) a prime number?
False
Suppose 0 = -0*s - 2*s + 8. Let m(u) = 3*u**3 + 5*u**2 - 4*u + 1. Let g(j) = 7*j**3 + 10*j**2 - 9*j + 2. Let z(o) = s*g(o) - 9*m(o). Is z(6) prime?
False
Let q(d) be the second derivative of 3*d**4 - d**3/3 - d**2/2 - d. Is q(2) prime?
True
Suppose -3*x = x - 4*u - 1960, 979 = 2*x - u. Is x a composite number?
True
Suppose 0 = 5*q - 4*q - 46. Is q a prime number?
False
Let g be 1 - 1 - -2*1. Let k(v) = -4*v**3 + 5*v + 0 - 4 + 14*v**3 - 2*v**g. Is k(3) prime?
True
Let n(m) = m - 3. Suppose -7 = -2*z - 1. Let l be n(z). Is (l + 3)*12 - 1 composite?
True
Let i(y) = 2*y**2 - 9*y - 29. Let l(h) = h**2 - 5*h - 14. Let f(x) = -4*i(x) + 9*l(x). Let a be f(10). Suppose a*t - 275 = -5*t. Is t a prime number?
False
Let u(c) = -c - 6. Let x be u(0). Is 3/(-2)*268/x a prime number?
True
Let l = -6 + 6. Suppose -2*z + 40 + 34 = l. Is z prime?
True
Let t be 7/14*(0 + 0). Suppose -2*k + 6*l = l - 203, 0 = -5*k + 5*l + 530. Suppose t = -5*g + 146 + k. Is g a prime number?
False
Let y(u) = 3*u**2 + 1. Let g be y(-1). Let l be 26/g - (-2)/(-4). Suppose -4*q + b + 44 = 0, 2*q + l*b = b + 22. Is q a composite number?
False
Let j(f) = f**2 - 2*f + 3. Let p be j(-7). Let z(d) = -6*d + 8. Let k be z(6). Let a = k + p. Is a a prime number?
False
Let h be (-3)/(-6) + 7/2. Suppose -79 = -3*r + 4*z + 172, h*z = r - 73. Is r a prime number?
True
Let t = -10 - -13. Suppose -2*m = -4*y - 226, 3*y = -t*m + m + 212. Is m composite?
False
Suppose -2*o + 220 = 2*o + 4*a, -4*o + a + 230 = 0. Suppose 5*t + k = -2*k + 268, -t - 4*k = -o. Is t composite?
False
Suppose -5 = -0*r - 5*r. Let g be ((