mposite number?
True
Let v(n) = -2*n**3 - 2*n**2 + 3*n - 2. Suppose -5*y = 4*g - 10, -6*y = -3*y - 2*g + 16. Let b be -7 - -4 - (0 - y). Is v(b) a prime number?
False
Let s be (-6)/(-33) + 8/(-44). Suppose s = -2*k - k + 15. Suppose k*b - 222 = -b. Is b composite?
False
Let z(p) = 12 + 354*p**2 - p + 10 - 24. Is z(-1) prime?
True
Is (-2)/(6/15) + (16112 - 8) prime?
False
Let i(s) = -4*s**3 - 2*s**2 + 5*s + 1. Let p be i(-4). Is 2/3 + p/3 a composite number?
True
Let f = 82 + -52. Let a = 49 - f. Is a prime?
True
Let f(c) = -59*c - 20 + 169*c - 6 + 7. Is f(7) a prime number?
True
Let j(w) = w**2 - 1. Let n be j(1). Suppose -3*h = -n*c - 2*c - 961, -5*h - 2*c = -1591. Is h prime?
False
Suppose 10 = -4*f + 9*f. Is f/4*2 + 178 a prime number?
True
Suppose -907 = -i - 3975. Is i/(-4) + (-1 - 3) a prime number?
False
Suppose 19632 = 9*u + 7*u. Is u composite?
True
Let t = -42028 - -85719. Is t prime?
True
Let q(b) = -b**3 - 7*b**2 + 9*b + 10. Let w be q(-8). Suppose 2*t - 5*j = -5, 2*t + 12 + w = -4*j. Is ((-2095)/25)/(1/t) a prime number?
True
Suppose 3*p + 0*p = 3*v - 39363, 3*v - 39363 = -2*p. Is v a prime number?
True
Let z(r) be the first derivative of -5 - 1/4*r**4 - 9/2*r**2 + 11*r + 10/3*r**3. Is z(8) prime?
True
Let v = -8 + -37. Let b = 1592 - v. Is b a prime number?
True
Let i(y) = -y**3 + 7*y**2 - 9*y + 17. Let u be i(6). Is 2 - -971 - (u - 3) prime?
True
Let q(d) = -120*d - 3*d**3 - 9*d**2 + 112*d - 2 + 2*d**3. Let p be q(-6). Is (1 - 0)/((-2)/p) composite?
False
Suppose 14*i - 4*i + 1010 = 0. Let j be -152*(1 - 2 - -2). Let m = i - j. Is m a prime number?
False
Let z(j) = 167*j - 18. Suppose 4 = c + 3*y - 4*y, 2 = 2*c - 4*y. Is z(c) a prime number?
True
Let l(q) = -q + 12*q**2 + 0 - 4 - 3*q. Let u be l(-3). Suppose 5*b - u - 439 = 0. Is b prime?
False
Let w = 1044 - 409. Is w a prime number?
False
Suppose 0 = -3*v + 5*i + 276, 2*i = -v - v + 168. Let o = 295 - 161. Let a = o - v. Is a a composite number?
False
Let i be 1 + (0 - 1)*281. Let z = 573 + i. Is z composite?
False
Let g = 1873 - -520. Is g composite?
False
Suppose -3*n = 3*g + 3, -n + 10 = 2*g - 5*n. Let z(k) = -1 + 0 + 407*k + 3. Is z(g) a composite number?
False
Let s = 48 + -37. Suppose 16*h - 635 = s*h. Is h composite?
False
Suppose -10*j = -8*j - 4. Suppose -z - 2*w + 0 - 6 = 0, -3*w - j = 5*z. Suppose 2*u + o - 237 = -4*o, -119 = -u - z*o. Is u a composite number?
True
Is 3830382/36*6/9 composite?
True
Let d(q) = 203*q**2 + 7*q - 7. Is d(-9) a composite number?
True
Let k(w) = -512*w + 7. Is k(-3) a prime number?
True
Let p be ((1934/(-8))/(-1))/((-9)/(-36)). Suppose 3 = x - 0*x. Suppose 2*o - 3*k - p = 0, x*o - k + 1913 = 7*o. Is o prime?
True
Let r = -407 - -766. Is r prime?
True
Suppose -95413 = -4*m + 49167. Is m prime?
False
Let n = 538 - 321. Let a = n + -132. Is a prime?
False
Let p be (-3 - 0)*70/(-5). Suppose -2*q = p - 1012. Is q a prime number?
False
Let n(r) = r + 5. Let a be n(-13). Let v(o) = 3*o**2 - 6*o - 17. Is v(a) prime?
True
Let r(j) be the third derivative of j**4/12 - j**3/2 - 5*j**2. Let l be r(4). Suppose 3*d + h - 108 = 0, l*d - 5*h - 163 = 37. Is d prime?
True
Suppose -2*h = -965 - 1363. Let t = 3869 - h. Is t composite?
True
Let q(s) = 17657*s**3 + 2*s**2 - 2. Is q(1) prime?
True
Let m(i) = -10*i**3 - 16*i**2 - 14*i + 5. Is m(-6) prime?
False
Let j = 19 + -19. Suppose -82 = -3*v - 4*c + 34, 4*v - c - 180 = j. Is (-3 + v/(-16))*-12 composite?
True
Let o = 1091 + -571. Suppose -229 = -4*n + 5*f + 290, 4*f = 4*n - o. Is n a composite number?
False
Is (-2)/(-2)*(-12 - (-5662)/2) a composite number?
False
Let d = 24637 + -13040. Is d a composite number?
False
Suppose 0*z - 17 = -z - 3*g, 0 = -z - 2*g + 12. Suppose -16 = -z*n + 98. Is n a prime number?
False
Suppose -26*b = -12*b - 13874. Is b a composite number?
False
Suppose -14707 = -24*b + 11669. Is b a prime number?
False
Suppose 0 = 5*u + 4*m - 104, 3*u = 3*m + 37 + 47. Let i be (-16)/u - 68/6. Let w = i + 50. Is w a prime number?
False
Suppose -3*i + 12250 = 5*q, 3*q - 4*i - 7736 = -386. Suppose -q = -4*n + n + h, -4*h = 20. Is n a prime number?
False
Let p = 19321 - 9594. Is p a composite number?
True
Let w be 2*-1 + 3 + 2. Suppose 5*y - 2*q = q + 178, -w = 3*q. Is y a composite number?
True
Let h(w) be the first derivative of w**4/4 + 14*w**3/3 - 9*w**2/2 + w + 14. Is h(-14) a prime number?
True
Suppose 3*n - 3*p - 30 = 0, -2*p - 35 = -4*n - n. Is n/(-1)*563/(-5) a prime number?
True
Suppose 0 = 4*s + 2*z - 45 - 181, 4*s - 3*z = 231. Suppose 3644 = s*q - 53*q. Is q a prime number?
True
Suppose 17770 = -1890*n + 1892*n. Is n a prime number?
False
Is ((1 - 4) + 2)/((-1)/983) prime?
True
Suppose -4*m = -2*x - 2*m + 2186, 4*x + 3*m = 4372. Suppose 0 = 8*v + 141 - x. Is v a prime number?
False
Let m(i) = 2*i + i**2 + 1 + 0*i**3 - 7*i**3 - 4 - 2*i**2. Let a be m(-3). Suppose s + 4*c = a, 407 = s + s - 5*c. Is s a prime number?
True
Let g(k) = 15*k - 3175. Let o(z) = -7*z + 1587. Let d(i) = 6*g(i) + 13*o(i). Let j be d(0). Suppose 11*q - j = 8*q. Is q composite?
True
Let x be (2 + (1 - 3))*1. Is 1935 + (x + -2)*-1 a prime number?
False
Suppose -o + 7 = 27. Suppose 7*f + 444 = 3*f. Let r = o - f. Is r prime?
False
Let r be (1245/(-6))/((-15)/6 - -2). Suppose 0 = -m - 4*m + r. Is m prime?
True
Is 3*10/6 + 1122/3 composite?
False
Let h = 6298 - -15159. Is h prime?
False
Let s be (-15)/(-10)*(0 - 2 - 4). Is (1361*(1 + 0))/(s/(-9)) a prime number?
True
Let t(w) = 379*w - 2. Suppose p - 14 = 4*a - 8*a, 5*p + a - 13 = 0. Let c be (3 + -3 - 1) + p. Is t(c) composite?
True
Let q = 13 + -10. Suppose q*o + 186 + 276 = 0. Let z = 185 - o. Is z composite?
True
Let b = 971 - 506. Suppose -k + 269 = -2*x, -2*k - 4*x + b + 49 = 0. Is k/(1 - (1 - 1)) a composite number?
False
Let g be 20/6*6/4. Suppose -2*c + 6*c + p = -375, 3*c = g*p - 287. Is c/(3/3 + -3) a prime number?
True
Let k(u) = 2*u**3 + 41*u**2 - 10*u + 67. Is k(-20) composite?
True
Let v(g) = 47*g**3 - 4*g**2 - 6*g + 92. Is v(5) prime?
False
Let o be (-34)/(-4) - 24/16. Suppose -3 + o = 2*i. Suppose -i*b - 4 = 2*b, 2*u = -4*b + 106. Is u composite?
True
Let o(h) = -78*h - 35. Let j be o(-24). Let r = 3316 + j. Is r composite?
False
Suppose 4*s + 2*b - 2791 = 7031, 0 = s - b - 2457. Suppose 2*c = -6*c + s. Is c composite?
False
Suppose 5*i = -3*n + 62, -n - 2*i + 4*i + 28 = 0. Let l be -4*(-3)/n*298. Suppose -5*f + l = -186. Is f a prime number?
True
Is ((-8)/(-2) - (5 + -2448))*1 a prime number?
True
Suppose -5*y + 3424 = 2*p, 2*p - 6*p = 4*y - 6836. Is p a prime number?
False
Let n(t) = 100*t**2 - 30*t + 1. Is n(-10) composite?
False
Suppose -2*h - 225 = -3*k, -5*h - 545 = -3*k - k. Let g = h - -232. Is g a composite number?
False
Suppose 6*j = 9*j + 1092. Let a = -242 - j. Is a composite?
True
Suppose 21 = 4*c - 7*c. Let p = 124 + -64. Let k = p + c. Is k composite?
False
Suppose 0 = 3*d + 2*p - 28490 - 30183, d - 19581 = 4*p. Is d composite?
True
Let f = 8 + -14. Let c = f - -10. Suppose -4*r + 236 = -c*l, 4*r + 236 = 8*r + 4*l. Is r a prime number?
True
Let j = 23 - 31. Let h(z) = -z**3 - 8*z**2 - 2*z - 12. Let x be h(j). Suppose 344 + 524 = x*k. Is k a composite number?
True
Let f be 3/2*(-14)/3. Let j be (18/f)/((-14)/98). Let o = j + 29. Is o composite?
False
Let o(t) = 452*t**2 + 14*t - 47. Is o(4) a prime number?
False
Let l(f) = -f**2 - 2*f + 12. Let u be l(-5). Is (-40)/200 + u/(15/(-956)) prime?
True
Let u(m) = m + 1985. Is u(0) a composite number?
True
Let c be 5/((-10)/592) + -2 + 1. Is (-15613)/(-9) - 66/c composite?
True
Let s = 4105 + -2336. Is s prime?
False
Let c(z) = 1705*z - 137. Is c(4) a prime number?
False
Let h(a) = -236*a + 9. Let y(j) = -707*j + 27. Let b(w) = 11*h(w) - 4*y(w). Is b(5) prime?
True
Let w be 2*(-2)/8*-6. Let j be (-711)/6*(-26)/w. Let p = j + -648. Is p composite?
False
Let o(m) = 4*m + 2*m + 4*m + m**2 - 6. Is o(7) a composite number?
False
Let y = 3262 + -2319. Is y prime?
False
Let d(h) = -h**3 - 5*h**2 + 6*h + 4. Let y be d(-6). Suppose 9 = -k + y*k. Suppose -2*l = 2*g - 256, k*g = 5*l - 2*g - 690. Is l a composite number?
True
Let q(n) = -n**3 + 0 + 4*n + 3*n**2 - 2*n + 2 - 4. Let s be q(2). Suppose -711 = -s*g + 411. Is g a prime number?
False
Suppose -40 = -5*p - 5*r, 0*r + 6 = -3*p + 3*r. Suppose -