 1. Let r(i) = i**3 + 8*i**2 + 3. Let n be r(-8). Is d(n) a composite number?
True
Suppose -3*d - 130 = -8*d. Suppose d + 31 = n. Is n a composite number?
True
Let k(z) = 19*z**2. Suppose 0 = -5*q - 2*m - 9, q = m + 5 - 4. Let g = 2 + q. Is k(g) prime?
True
Let b = -12 + 24. Let g(p) be the first derivative of 11*p**2/2 + p - 2. Is g(b) a prime number?
False
Suppose 2*j - 468 = -4*d, -4*d - 4*j + j + 472 = 0. Is d composite?
True
Let w = -4709 - -7726. Is w a composite number?
True
Let f be (0/3)/1 - 3. Is (-2)/(-3) + (-289)/f prime?
True
Suppose -480 = -3*x - 33. Is x a prime number?
True
Let p(j) = 1 + 0 + 0*j + 3*j. Let s(r) = r**3 + 9*r**2 + 9*r + 10. Let f be s(-8). Is p(f) a prime number?
True
Let m(s) = s**3 + 6*s**2 - 8*s - 8. Let p be m(-7). Let f be (3/9)/(p/(-3)). Is f*-2 + 0 - -15 a prime number?
True
Suppose 5*o - 64 = -14. Suppose 5*n + 0 - o = 0. Is 3 + 16*(4 - n) a prime number?
False
Let f(x) = -24*x + 2. Let t = -12 + 8. Let p be f(t). Let b = 151 - p. Is b a prime number?
True
Is (99 + 0)/3 - 2 composite?
False
Suppose d - 177 = 446. Is d a prime number?
False
Let k be (-34)/9 - (-6)/(-27). Let r be k/(-2) + (5 - 16). Is (-114)/r*3/2 composite?
False
Let i(m) = m**2 - 13*m + 4 + 3*m**2 + 6. Let a be i(8). Let j = a - 43. Is j prime?
False
Let m(s) = s**3 - 2*s**2 - 10*s + 12. Is m(7) a composite number?
True
Let w(m) = -3*m**3 - 6*m**2 - 4*m + 3. Is w(-4) composite?
True
Let f be 1/(((-4)/(-230))/2). Suppose -2*m = f - 437. Is m composite?
True
Suppose 0 = -3*s + 3*v + 39, v - 32 = -0*s - 2*s. Is s prime?
False
Suppose 7*x - 4*l + 40 = 3*x, 5*x - l + 38 = 0. Let j(k) be the first derivative of -k**2 + 7*k - 2. Is j(x) a composite number?
True
Suppose 0 = o - 0 - 1451. Let q = o - 631. Suppose 5*t - 4*x - x = q, x = 5. Is t a composite number?
True
Suppose 0*t + 12 = 4*t. Let y = -2 + 6. Suppose -t*g = -4*g + y. Is g a composite number?
True
Suppose 13*o - 15551 - 5522 = 0. Is o a prime number?
True
Suppose -2*p + 28 = -3*z, 7*p = 2*p + 5*z + 70. Let f = -7 + p. Is f composite?
False
Let i(w) be the third derivative of w**6/40 + w**5/30 + w**4/6 - 13*w**2. Suppose 0 = 5*z + 10, -z = 2*v + 2*z. Is i(v) prime?
False
Let k(s) = 10*s**3 - s**2 + 4. Let h be k(4). Is 6/2 - h*-1 a composite number?
False
Let f be (-3)/3*0*1. Suppose 5*k + 343 = 5*y + k, f = -4*y + 2*k + 272. Is y composite?
False
Let a = -1 - -3. Suppose -l + 7 = -3*h, -2*h + 3*h = -a. Is l/((3/(-435))/(-1)) a prime number?
False
Let k be (1 - 5 - -6) + -72. Let a = k - -147. Is a a prime number?
False
Suppose -s + 5*s + 48 = 4*v, -51 = -4*v + 5*s. Suppose -3*d + 69 = 2*r + r, 5*r - 123 = -d. Let h = r + v. Is h composite?
True
Suppose 11*q = 7*q + 716. Is q a composite number?
False
Let m be (-2)/(-7) + 6875/(-77). Suppose -2*a - 4*k - 288 = 0, -4*k - 426 = a + 2*a. Let z = m - a. Is z prime?
False
Suppose 0*v = -m - 5*v + 401, -4*m + 3*v = -1558. Is m prime?
False
Let u = -6709 - -10402. Is u composite?
True
Let b(k) be the second derivative of k**5/20 - 5*k**4/12 + 2*k**3/3 + 3*k**2 - 6*k. Suppose -j + 5*r = -10, 2*r = 3*j + r - 16. Is b(j) composite?
True
Let z be (-2)/(-3) - (-68)/6. Let v(h) = -z*h + 5 + 66*h - 3 - 3. Is v(1) composite?
False
Suppose 0 = -3*z + 998 - 77. Is z a prime number?
True
Suppose -2*j - 197 = -3*z - 3*j, 2*j + 8 = 0. Is z composite?
False
Let i(z) = z + 3. Let j be i(-3). Suppose j*x = 2*x - 110. Is x prime?
False
Let h(m) = m**3 + 2*m**2 + 8*m + 5. Suppose 0 = 2*b - b + 5. Let u be h(b). Let c = -43 - u. Is c prime?
True
Suppose 0 = -4*v - 3*k + 215, 3*v + 3*k - 113 = 49. Is v a prime number?
True
Suppose 13*n - 8*n = 215. Is n a prime number?
True
Let w(y) = 2*y**2 - 7*y - 3. Let v be w(7). Let d = 59 + v. Suppose -3*g = -0 - d. Is g a composite number?
True
Let d(h) = h**3 - 6*h**2 - 8*h + 5. Suppose -7 - 7 = -2*o. Let k be d(o). Is k + (-177)/3*-1 prime?
False
Let w = 234 + -136. Suppose w = -o + 363. Is o a composite number?
True
Let j = -5 + 3. Let f be 26*2/(-4) - j. Let g = f + 45. Is g prime?
False
Let p(o) = 8*o**3 + o**2. Let k be p(1). Let m be -1 - (0 + k/(-3)). Suppose -m*g - 232 = -4*c, 2*c - 7*c = 4*g - 290. Is c composite?
True
Suppose 2 = 2*d - d. Suppose -d*j + j = 0, -2*g - 5*j + 148 = 0. Is g a prime number?
False
Suppose -8 + 0 = 4*o. Let t be o/6 - (-3)/9. Is 57/(-1 - -2 - t) a composite number?
True
Let k(d) = d**2 - 3*d + 4. Let t be k(4). Let j = 51 + t. Is j composite?
False
Let q(s) = -26*s - 2. Let x be q(5). Let c = -55 - x. Is c a prime number?
False
Let a be ((-2)/1)/((-5)/15). Let z = -4 + a. Is 333/5 + z/5 a prime number?
True
Suppose 4*n - 2*s = -24, 0*n - 5*s + 30 = -5*n. Is (-268)/6*n/4 prime?
True
Let x = 138 - 61. Is (x/(-2))/(2/(-4)) prime?
False
Suppose -6*s + 785 = -s. Is s prime?
True
Let a be (188/3)/4*3. Let l = 11 - a. Let j = l - -67. Is j prime?
True
Is (-21)/35 - 1093/(-5) a prime number?
False
Let n(d) = -15*d**3 - 4*d**2 + 12*d + 6. Is n(-5) prime?
True
Let z = -1071 + 1658. Is z prime?
True
Is (0 - -3)*(-742)/(-21) prime?
False
Let s be 6 + -3 + -1*2. Let o be (s + -2*1)*0. Let g(l) = l**3 + l**2 + 35. Is g(o) prime?
False
Let n be ((-4)/(-6))/((-2)/(-6)). Suppose n*u + b = -0*u + 48, 46 = u - 5*b. Let c = u + -5. Is c composite?
True
Suppose 2*z = o - 149, -z - 437 - 138 = -4*o. Is o a composite number?
True
Is 80 + (-1 - (1 + -1)) a prime number?
True
Let h be 6/(-5)*(-20)/6. Suppose h*x - 48 = -y, 4*x - y - 27 - 13 = 0. Is x a composite number?
False
Suppose -3*o - 5*m - 215 = -0*o, m + 1 = 0. Is (-6)/(-4)*o/(-15) composite?
False
Suppose 6 = 3*g - 3. Suppose g*k - 4*m + 249 = 4*k, 2*k - 2*m = 518. Is k a prime number?
True
Suppose -m + 0*m = 2*g - 2715, -m - 3*g + 2719 = 0. Is m a composite number?
False
Let g = 8 + 137. Is g a composite number?
True
Suppose 15 = -2*x - 3. Let b(s) = -6*s + 1. Is b(x) prime?
False
Let a = 7 - 11. Let h be (-3 - a) + 2/2. Is (15*(h + -3))/(-1) a prime number?
False
Let l = 16 - 19. Let y(j) = -47*j - 2. Is y(l) composite?
False
Suppose 60 = -4*k - 64. Let q = k + 52. Let h = -2 + q. Is h prime?
True
Suppose 12*f - 6064 = -4*f. Is f composite?
False
Suppose -6*o + 2*o - 5056 = 0. Is ((-6)/8)/(4/o) prime?
False
Suppose 0 = 2*a - 3*a - 1. Suppose 150 = -0*p + 5*p. Is p/(-2)*1/a a prime number?
False
Let c(b) = b**3 + 6*b**2 - b - 4. Let m be c(-6). Suppose -3*a - m*a = -435. Is a composite?
True
Suppose 0*o + 2*o - 1442 = 0. Let g = 1038 - o. Is g composite?
False
Suppose 0 = 2*v - 7 - 21. Suppose -3*r - 6 = 4*w - w, 0 = 2*w - 5*r - 24. Is (w - 0) + v + 5 a composite number?
True
Let x(p) = -1. Let b(u) = 2*u + 12. Let g(a) = -3*a - 25. Let v(f) = 13*b(f) + 6*g(f). Let z(q) = v(q) + 3*x(q). Is z(4) composite?
True
Suppose 3*p - 414 - 316 = -2*h, 1472 = 4*h + 3*p. Is h a composite number?
True
Is 1168/2 - ((-36)/(-6) + -9) prime?
True
Suppose -4*j = v + 16, 14 = -2*v - 4*j - 2. Suppose 4*a - 484 = -v*a. Is a prime?
False
Suppose -2*h - 313 = -10*d + 5*d, 5 = 5*h. Suppose -d = -3*l - 0*l. Is l a composite number?
True
Is (-26881)/(-6) + 10/12 a composite number?
False
Let k = 202 - 87. Is k prime?
False
Let m be 16/6 + 10/(-15). Suppose 0 = -2*q - x + 3*x + 174, -m*q + x + 178 = 0. Let g = q - 44. Is g composite?
False
Suppose -3*c + 77 = 14. Is c composite?
True
Suppose 4*q = -2*l + 16, -5*q + 3*l = -0*q - 20. Suppose q*v - n + 113 = 0, 0 = -v - 0*v + 2*n - 30. Let j = 41 + v. Is j a prime number?
True
Let n(c) = 163*c**3 + 15*c**2 - 15*c - 15. Let g(o) = -87*o**3 + 7*o + 0*o**2 - 7*o**2 + 6*o**3 + 7. Let z(q) = 13*g(q) + 6*n(q). Is z(-1) prime?
False
Suppose -5*z - 33 = 2*a, 5 - 3 = 2*a - 2*z. Let i be (-368)/a*1/2. Let g = 263 - i. Is g composite?
True
Let l be (-13)/(-3*1 - -2). Suppose -5*y = -2 - l. Suppose -2*u + 0*o = -4*o - 122, y*o + 15 = 0. Is u a prime number?
False
Let c(h) = -h**3 + 7*h**2 + h - 5. Let w be c(6). Let o be (-55)/(-3) + 1/(-3). Suppose -d - o = -n, -d + 0*d = -2*n + w. Is n prime?
True
Let z = 1540 - 873. Let d = z + -110. Is d a composite number?
False
Suppose -2*m = -5*z + 53, 0 = -4*z + 4*m + 31 + 21. Let t = 25 + z. Is t a prime number?
False
Let i(o) = -o**3 - 6*o**2 + o + 8. Let s be i(-6). Suppose -3*y + 115 = -s*c, 4*c = 3*y - 158 + 33. Is y composite?
True
Let f(h) = 3*h**2 - 33*h + 85. Is f(30) prime?
False
L