ite number?
False
Let h(i) = i**3 - 6*i**2 - 4*i - 9. Let r be h(7). Is 71*2 + r + -9 prime?
False
Let a(y) = 28*y**2 + 1. Let q be a(-1). Let h = q + -361. Let g = -67 - h. Is g a composite number?
True
Is (7178/(-12))/((-19)/114) prime?
False
Let j(d) = -d**2. Let r(u) = -6*u**3 - 18*u**2 - 2*u + 7. Let z(v) = -6*j(v) + r(v). Let n be z(-6). Let s = n - 382. Is s a composite number?
True
Let t = 19 + -22. Let c(j) = 3*j + 5. Let w be c(t). Is (113/(-2))/(w/8) a prime number?
True
Suppose 4*a + 222 = 1094. Is a a prime number?
False
Let r = 11616 + -5267. Is r composite?
True
Suppose 2*d + 3*f - 3927 = 0, 7*d - 7839 = 3*d - 3*f. Suppose 5*q + 5*b - 2*b = d, -396 = -q + b. Is q a prime number?
False
Suppose 5*g + 4 = 19. Suppose -x - 301 = -4*d, -g*d - x + 227 = -2*x. Is d prime?
False
Suppose 20*p = 50*p - 55410. Is p a prime number?
True
Let p(c) = -3*c + 4. Let g be p(-2). Suppose -6 = 3*s + 3*l, s + l + 2*l + g = 0. Suppose 3*b = s*m + 675, 3*b - 4*m = 4*b - 211. Is b prime?
True
Suppose -3*d = 89*d - 51244. Is d a composite number?
False
Let c(i) = 8*i**2 + 42*i + 73. Is c(-31) prime?
False
Let c(b) = -b**2 - 11*b - 19. Let o be c(-9). Suppose -146 - 126 = 4*j. Is ((-22)/(-8))/(o/j) prime?
False
Suppose -12065 = -5*n - z, n + 3*z - 2404 = z. Let c = 4168 - n. Is c composite?
True
Suppose 4*k - 1 = 75. Suppose 5*i - k = 1. Suppose -4*u + i*b = -1012, -10 = 3*b - 4. Is u a prime number?
True
Let b be (20/4 - 2)*1. Suppose 1089 + 1110 = b*j. Is j a prime number?
True
Let q(b) = 2*b**3 + 2*b**2 - 2*b**2 + 7 + 2*b**2 + 0*b**3. Suppose -x - 25 = -5*w, x = 3*x. Is q(w) a prime number?
True
Let l(j) = 3 + 9*j + 5*j - 2. Let x be l(7). Suppose 3 = -4*b - 2*d + x, 32 = 2*b + 5*d. Is b a composite number?
True
Let v(q) = -38*q + q**2 + q**2 - 3*q**2 + 59 - 106. Is v(-19) a prime number?
False
Suppose -13 = -j + 3*o, 0 = -2*j + 3*o + 3 + 11. Let q = 143 + -67. Is j/(2 - 148/q) a composite number?
False
Let p be (120/16)/((-6)/(-4)). Suppose 5*a - p*v - 365 = 0, 0 = -2*a + 5*v + 45 + 89. Is a a composite number?
True
Let o(j) = -j**3 + j**2 - 2*j + 822. Suppose -2*y - q = 0, -y - 2*q = q. Let v be o(y). Suppose 5*p - v = 3*p. Is p a composite number?
True
Let n = 14 - 4. Let l be ((-51)/(-3))/(5/n). Suppose 5*x = 291 + l. Is x prime?
False
Let b(x) = -139*x + 5. Let l be b(-3). Is l/8 - 9/(-36) prime?
True
Let q be (0/(-8))/(0 + 1). Suppose 4*v - v = q. Suppose v = -5*u - 0*h - h + 71, 0 = 3*u + 4*h - 29. Is u a prime number?
False
Let w(q) = -1153*q**3 - 3. Is w(-2) a prime number?
True
Let j(p) = -6*p**3 - 9*p**2 + 7*p + 9. Suppose 7*n = -4*n - 110. Is j(n) a prime number?
True
Let x be (-2 - (-4030)/(-4))*-2. Suppose 22*j - 25*j + x = 0. Is j prime?
True
Let x(b) = b**3 + 8*b**2 + 9*b. Let f be x(-6). Suppose 0 = 5*j - l - 74 - 60, f = j + 2*l. Is j prime?
False
Suppose -181 = 3*a - 21520. Is a prime?
False
Is (-120864)/72*12/(-16) composite?
False
Let h(n) = 74*n**3 + n**2 + 3*n - 1. Let u be h(2). Let j = 7 + 143. Let m = u - j. Is m a composite number?
True
Is ((-27)/108)/(-1 + 132321/132324) prime?
True
Suppose -116*n + 72 = -113*n. Suppose 29*z - 3235 = n*z. Is z a prime number?
True
Let g = 4 + -1. Suppose 5 = 2*n - g. Suppose 2*y - 625 = -n*i + 5*y, 2*i - 2*y = 312. Is i a prime number?
True
Suppose 0*q = 4*q - 2*l - 16186, -4*q + 16211 = 3*l. Is q composite?
False
Let q = -26 + 32. Is 1405/45 - q/27 a prime number?
True
Let z(c) = 42*c**2 + 10*c + 41. Is z(-4) prime?
True
Let x be (-7276)/(-12) - (-2)/3. Let p = 2266 - x. Suppose -p = 3*r - 6*r. Is r composite?
True
Let g = -10 - 0. Let u = 13 + g. Suppose -36 = -3*l + 3*r + 171, -u*l + 197 = 2*r. Is l prime?
True
Let r = -30 + -11. Let k = r + 360. Is k a prime number?
False
Let n(i) = -i**3 - 10*i**2 - 13*i + 16. Let h be n(-8). Is 202/(6/h - 119/(-84)) a prime number?
False
Let n(r) = r**3 + 7*r**2 - 9*r - 8. Let f be n(-8). Suppose w + 5*w - 3342 = f. Is w prime?
True
Suppose -6*s + 1 = -17. Let u = 13 - s. Is u a prime number?
False
Is 7 + -13 + 127*17 a composite number?
False
Let c(f) be the second derivative of -f**5/5 - 11*f**4/12 - 2*f**3 - 5*f**2 + 19*f. Is c(-7) a prime number?
True
Is 2 + 2 - 0 - -1099 a composite number?
False
Let j be (3 - 1) + (-2202)/15*-5. Let f = 2495 - j. Is f composite?
False
Is (-822)/(-2) + (-5)/((-35)/(-14)) a composite number?
False
Suppose 4*x = 2*h - 8, 5*h - 3*x - 3 = 17. Suppose 3*b = 5*d + 2*b - 3614, -2872 = -h*d - 4*b. Suppose 5*q - d = 733. Is q a prime number?
False
Suppose 89102 = 37*f - 11*f. Is f a prime number?
False
Let n(s) = 6 + 7*s**3 - 6*s - 8*s**3 + 2*s**3 - 5*s**2. Let j be n(6). Let i(k) = 2*k**3 + 6*k**2 + 4*k + 7. Is i(j) a prime number?
False
Let d(b) = -b**3 + 4*b**2 + 6*b - 2. Let t be d(5). Suppose -t*l = -l - 2*a - 6750, -3*l + 10097 = 4*a. Is l a prime number?
True
Suppose -2599 = 6*z - 7*z. Is z a composite number?
True
Let v(q) = 2*q**3 + 3*q**2 + 6*q - 4. Let i(r) = 2*r - 23. Let p be i(15). Is v(p) a composite number?
True
Let u = -11 + 11. Let z(i) = -469*i**3 - i**2 + u*i - i - i - 3 + 2. Is z(-1) composite?
True
Suppose 4*p = 5*p - 4, -7 = -3*c - p. Suppose 0 = n + c - 3. Suppose -s - 104 = -x, 4*x - 561 + 141 = n*s. Is x a prime number?
False
Suppose -o = 3, 4*m - 162973 = 3*o + 2952. Is m a composite number?
False
Let g(u) = 25*u**2 + 10. Let w(p) = -p + 3. Let b be w(8). Is g(b) a prime number?
False
Let p(w) = -w - 3. Let u be (-3 - (-10 + 0))/(-1). Let c be p(u). Suppose c*l + 0*i - 2020 = -2*i, -3*l + 1515 = -i. Is l composite?
True
Suppose 6*o + 351999 = 3*n + 2*o, -586670 = -5*n + 5*o. Is n prime?
False
Suppose 2*v - 294 = -2*b, -5*b = 3*v - 581 + 134. Let k = 623 + v. Is k a prime number?
False
Let x be (-66)/3 + 1 + 0. Suppose -m + 2142 = 2*m. Is ((-14)/x)/(4/m) prime?
False
Let z(b) = -2*b**2 - 10*b - 9. Let m be z(-6). Let n be (-6)/m - (-19534)/(-14). Is 4/(-14) - n/7 prime?
True
Suppose -3*c + 2340 = c. Let d = 1064 - c. Is d a composite number?
False
Let a = -94 + 95. Is (0 + a - 1) + 77 prime?
False
Let p(w) = w + 2. Let a be p(-3). Let y = -3 + a. Is (-3)/(3*y/1724) prime?
True
Suppose 3*k = -4*n + 11911, k - 3987 = 2*n - 0*n. Is k composite?
True
Let z = 1676 + -139. Is z prime?
False
Let x(a) = a**3 - 2*a**2 - 10*a + 8. Let w be x(9). Suppose -3*u + 2435 = w. Suppose -5*g = -u - 2215. Is g composite?
True
Let r(s) = 6*s**2 + 17*s + 25. Is r(14) a prime number?
True
Let q(k) = 156*k**3 - 5*k**2 + 9*k - 23. Is q(6) a prime number?
True
Let w(o) = -o**3 + 21*o**2 - 36*o - 69. Is w(-38) composite?
True
Let h = 6 + -6. Suppose 2*i - 3*p + 13 - 33 = h, 4*p = i - 20. Suppose -332 = -0*b - i*b. Is b a composite number?
False
Suppose 37 + 23 = 5*y. Suppose 11*s - y*s = -4400. Suppose 4*r - 4412 = 4*m, -m + s = 4*r - 2*m. Is r composite?
True
Let k = 15444 - 22937. Let r = k + 11776. Is r composite?
False
Let s be (2 - 0)/(75/10 - 7). Suppose 4*c + 4*i - 3381 = -i, -s*c + 3*i + 3341 = 0. Is c a composite number?
False
Let f be (-11105)/(-20) - 3/12. Let z = f + 584. Is z a prime number?
False
Suppose 3*j - 5*j = 624. Let y = 699 - j. Suppose -4*f + y + 337 = 0. Is f a composite number?
False
Suppose 4*t = -i, -3*i + 5*i = -t. Let w be 0 + 40 - (0 + t). Let c = w - 21. Is c a prime number?
True
Suppose -2*m - 5*l = -686, 4*m + 4*l - 1732 = -m. Suppose -m = -5*t + 2467. Is t composite?
False
Let u(d) = -133*d + 51*d + 5 + 190*d + 178*d. Is u(3) composite?
False
Let o(f) = 19*f**3 - 8*f**2 + 16*f - 71. Is o(6) composite?
True
Let m = 68 - 62. Let o(n) = 2*n**3 - 3*n**2 + 10*n - 13. Let x(t) = 6*t**3 - 10*t**2 + 30*t - 38. Let c(j) = -17*o(j) + 6*x(j). Is c(m) prime?
False
Let j = 8 + -8. Suppose 7*i + j*i - 9779 = 0. Is i a prime number?
False
Let n(y) = 58*y**2 - 2*y - 2. Is n(-6) a prime number?
False
Suppose 3*x + 8 = 5*h, -h - 4*x = -3*x. Is 612 + (h - (1 + 3)) + 4 composite?
False
Let z(v) = 66*v**2 + 1 - 68*v**2 - 2*v**3 + 3*v**3 + 3*v. Let l(x) = x + 13. Let c be l(-10). Is z(c) a prime number?
True
Let c be (-9)/6*2 - -6. Suppose -4 = -g + c. Let b(j) = 3*j**2 - 3*j - 11. Is b(g) a prime number?
False
Let r = -202 - -1184. Is r a prime number?
False
Let u(m) = 19*m + 9*m**2 - 188 + 15*m**2 + 200. Is u(-7) a prime number?
False
Let c = -13303 + 33144. Is c prime?
True
Let k be (-2)/(-3)*(14 + -41