number?
False
Let z(b) = -b**2 - 6*b + 2. Let s be z(-6). Let x(l) = -6*l + 3*l - 3 + 5*l**s - 4*l**2. Is x(-4) a prime number?
False
Suppose 3*q + q = 0. Suppose 254 = -q*p + 2*p. Is p a prime number?
True
Let b(y) = y**3 - y**2 + 14*y - 37. Is b(10) a prime number?
False
Let a(v) = -v. Let y(l) be the first derivative of 3*l**2/2 - l + 1. Let u(q) = -5*a(q) - 3*y(q). Is u(-4) a prime number?
True
Let p be (-26)/(-2) + (-5 - -3). Let y(a) = -a**3 + 12*a**2 - 10*a - 9. Let f be y(p). Suppose f*s - 1257 = -s. Is s prime?
True
Let n(w) = w + 6. Let a be n(-3). Suppose -a*i - 33 = -2*i. Let x = i - -46. Is x prime?
True
Let n(t) = -t**2 + 12*t - 14. Let u be n(10). Suppose u*d - d = 385. Is d composite?
True
Let v(f) be the first derivative of -44*f**2 - f - 7. Is v(-1) prime?
False
Suppose 7*y - 10*y + 4191 = 0. Is y composite?
True
Let l(z) = -82*z**3 - 5*z**2 + 4. Let g(w) = w**2 - 1. Let v(n) = -4*g(n) - l(n). Is v(1) prime?
True
Suppose 2*q + i = 146, -6*q = -q - 5*i - 380. Suppose 5*u = 36 + q. Is u a composite number?
True
Let p = -96 - -275. Is p a prime number?
True
Let u be (-13)/(-5) + 10/25. Suppose 3*z = -0*z - u. Is (2 + 2 + z)/1 composite?
False
Let r(g) = -3*g**3 + 2*g**2 + 7*g - 5. Is r(-6) composite?
False
Suppose 2*m = 1132 + 138. Is m a composite number?
True
Suppose -331 = c - 2*c. Is c prime?
True
Let c be (-5 - -4)*-1 - -70. Let l = 106 - c. Is l a prime number?
False
Let k(d) = d**3 - 2*d**2 - 8*d + 5. Suppose -4*t = -3*r + 37, 3*r - t = 2*t + 33. Is k(r) a composite number?
True
Let o(g) be the first derivative of -5*g**3/6 + 3*g**2/2 - g - 1. Let a(l) be the first derivative of o(l). Is a(-10) prime?
True
Let s be 2/(3*(-3)/(-18)). Suppose -3*q + 720 = s*y + 2*q, 2*y = 2*q + 378. Is y composite?
True
Suppose -15 = -c - a, 0 = 3*c - 2*a + a - 61. Suppose -n + 3 = -4*b + c, n = 0. Suppose -4*v = b*l - 664, 3*v + l - 473 = 3*l. Is v composite?
True
Let z(r) = -4*r**3 - 6*r**2 - 6*r - 3. Is z(-5) composite?
True
Let a be 3 + 1 + -1 + -15. Is (-8)/a*633/2 composite?
False
Let a(j) = 3*j**2 - 3*j - 5. Is a(-9) composite?
True
Let l(m) = -m**2 + 8*m + 3. Let t be l(8). Suppose -268 = -4*k + j, -k - 4*j - 134 = -t*k. Is k composite?
False
Suppose -d - z + 47 = -44, -180 = -2*d - z. Is d prime?
True
Let d(y) = y**3 + 11*y**2 + 4*y - 1. Let j be d(-7). Suppose -j = -f - 22. Is f a prime number?
False
Suppose 1069 - 217 = 2*q. Suppose 2*h + 4 = q. Is h composite?
False
Let o = -159 + 65. Let r = 161 + o. Is r a composite number?
False
Suppose 6*g = 2*g + 1772. Is g prime?
True
Let j = -92 + 145. Is j prime?
True
Let v(p) = 2*p**3 - 4*p**2 + 16*p + 27. Is v(14) a prime number?
False
Let q = 95 + 358. Is q a prime number?
False
Let c = 53 - 0. Suppose -c - 52 = -3*t. Suppose -6*o + t = -o. Is o prime?
True
Let n(l) = -93*l - 2. Let f(w) = -46*w - 1. Let q(j) = -5*f(j) + 3*n(j). Is q(-2) a composite number?
False
Suppose -3*v = v. Suppose -5*q + 4*l - 13 = -41, -q + 4*l + 12 = v. Suppose q*s + 51 = 235. Is s prime?
False
Let b = 351 + -232. Is b a composite number?
True
Suppose 5*p = -0*p + 5*q + 35, p - 15 = 5*q. Let f be 1 - 0 - 2/2. Suppose f*k = p*k - 325. Is k prime?
False
Suppose 5*o + h - 659 = 0, 3*o - 277 - 112 = h. Is o composite?
False
Let q(c) be the first derivative of c**4/4 - c**3/3 - c - 2. Let p be q(2). Suppose -5*t + 412 = k, p*t - 3*k - 323 + 65 = 0. Is t a prime number?
True
Let o = 964 + -633. Suppose -3*c + 2*c + o = 0. Is c composite?
False
Let p = 2542 - -477. Is p composite?
False
Let r be (-4)/(-10) - (-173)/5. Suppose i = 6*i + 10. Let t = r + i. Is t a composite number?
True
Suppose -3*o = 15, 5*a - 3 - 12 = 3*o. Let c be 45/9 + 0 + a. Suppose -c*u + 0*u + 415 = 0. Is u composite?
False
Let k = -917 - -3636. Is k a prime number?
True
Let m = -20 + 4. Let x be 12/m + (-79)/(-4). Suppose w = 4*l - l + 5, x = w + 4*l. Is w a prime number?
True
Suppose 0 = -2*j + 336 + 26. Is j composite?
False
Is 14/((-285)/291 - -1) a composite number?
True
Let m = -4 - -9. Suppose 12 = 4*d + 2*w, m*d + w - 2 = 4*d. Suppose 0 = 4*l - 5*u - 311, l = 5*l - d*u - 312. Is l composite?
False
Is (-974)/((-2 - -2) + -2) composite?
False
Suppose -3*u + 16 = u. Suppose u*v + 15 = -4*w - w, 0 = 4*w + 12. Suppose 4*c - 9 - 179 = v. Is c composite?
False
Suppose 10*s - 1496 = 8*s - 2*p, 3*s - 2242 = -5*p. Is s a composite number?
True
Let i(z) = 15*z**3 + z + 1. Let v be i(-1). Let u be (-4)/3*v/10. Suppose 0 = -3*j + 2*t + 271, -u*j - 3*t + 92 = -93. Is j prime?
False
Let w be 2/8 + 473/(-4). Let v = w - -245. Is v a composite number?
False
Let s = -36 + 58. Suppose -5*b + 152 = -3*q, -5*q + 14 = b - s. Is b prime?
True
Suppose -4*d = -2*d - 6. Suppose f + d*f = 2260. Suppose -5*l + f = -0*l. Is l composite?
False
Let y be (0/1)/(-11 + 9). Is (3 - y)/(-3) + 182 composite?
False
Let s(d) = d**3 - 2*d**2 + 2. Let u be s(-2). Let l = u + 24. Is l a composite number?
True
Let i be 2/3 - (-266)/6. Let n = i + -32. Suppose 4*r + n = 149. Is r prime?
False
Let x = 307 - 84. Is x prime?
True
Let d = -2 - -2. Suppose d = -0*l + l - 2, -3*n + 101 = l. Is n a prime number?
False
Let f = 30 - 43. Let h = f - -26. Is h a composite number?
False
Suppose 0 = 5*k - 2*g - 21, 5*k - k + 3*g = 3. Suppose 0 = k*q + 2 - 8. Suppose -q*p + 33 = u, 3*u - 6*u + 5*p + 121 = 0. Is u a prime number?
True
Let b be (1/2)/(4/(-64)). Let s be (b + 4)*5/(-4). Let x = s - -1. Is x prime?
False
Let p(v) = v**3 + 2*v**2 + 6*v + 2. Is p(7) a prime number?
False
Let c(y) = -64*y. Let z be c(1). Let t = z + 117. Is t prime?
True
Suppose 4*t - 4*a + a = 5128, -2*t + 2554 = -4*a. Is t composite?
True
Suppose 0 = 2*z - 5*d - 8397, -3*z = 2*d + 3*d - 12658. Is z a prime number?
True
Let z = 12 - -43. Is z prime?
False
Suppose 3*t + 3*v - 3429 = 0, 4*v - 1232 + 5772 = 4*t. Is t a composite number?
True
Let z be (-4134)/(-24) + (-1)/4. Let s = -38 - z. Let f = 331 + s. Is f prime?
False
Let j be ((-684)/(-8) + 1)*2. Suppose 3*p + 4*i + j = 6*p, 0 = 2*p - 2*i - 116. Is p a composite number?
False
Suppose -l - 16 = 2*l + 2*w, -5*l - 5*w = 35. Suppose -2*q + 5 = -y, -4*q - y = 2*y - 5. Is q*(l - 549/(-6)) a composite number?
False
Suppose -405 = -5*w + 5*t, w - 4*w - 2*t = -263. Is w prime?
False
Suppose -5*d + 2*w + 421 = -2*d, 3*d + w = 433. Is d prime?
False
Let i(s) = 52*s**2 - 1. Let b = 10 + -7. Suppose -14 = v + 5*j - 0*j, -j = b. Is i(v) a prime number?
False
Let a = 1 - -3. Suppose a = 2*c - 0. Suppose 0 = c*p - 30. Is p a composite number?
True
Suppose 580 = 3*o - a, -4*o - 5*a + 556 = -o. Let h = o + 28. Suppose -2*l = -162 - h. Is l prime?
True
Let b(k) = k**2 - 2*k - 175. Let x(r) = -2*r**2 + 2*r + 174. Let h(i) = -3*b(i) - 2*x(i). Is h(0) a composite number?
True
Let k(l) = 3*l**2 - 3*l + 2. Is k(5) prime?
False
Let p(t) = t + 5. Let z(r) = -r - 1. Suppose -3*h - 2*q - 31 = 0, 3 = -q - 2. Let o be z(h). Is p(o) prime?
True
Let y = -581 - -895. Suppose 0 = v + 2*o - 163, -3*v + 2*o + y = -v. Suppose -x + 4*x = v. Is x composite?
False
Suppose -5*s + a - 24 = 11, 5*s + 50 = 4*a. Let j(v) = -v + 2. Let h be j(s). Is 1/(-4) + 618/h a composite number?
True
Let x(b) = 5 - 2 + 2 - 2*b**3 - 3 - 3*b. Let c be x(2). Let m = c - -41. Is m a prime number?
False
Let b(z) = 0 + 4*z - 5 + 117*z**2 + 2 - z. Is b(2) prime?
False
Let t(z) = 5*z**2 - z - 2. Suppose -l + 7 - 3 = 0. Is t(l) a prime number?
False
Let m(d) = -d**3 + 6*d**2 + 2*d - 9. Let l be (-8)/20 + (-32)/(-5). Let h be m(l). Suppose h*t - 23 = 148. Is t prime?
False
Suppose h + 5 = -8. Let p = h + 28. Is 192/p + 1/5 a prime number?
True
Let l = -102 - -191. Is l composite?
False
Let b = 134 + -74. Suppose 729 = 3*u - b. Is u prime?
True
Let g(a) = -a - 3. Let w be g(-8). Suppose -505 = -w*s - 50. Is s a composite number?
True
Let w = -5496 + 8553. Is w composite?
True
Let f(g) = -2*g**2 + 7*g - 4. Let a(n) = 3*n**2 - 15*n + 9. Let v(b) = -6*a(b) - 13*f(b). Let p(w) = 2*w - 9. Let y be p(6). Is v(y) prime?
True
Let d(j) = 81*j**3 - 7*j**2 + 7*j - 7. Let c(o) = 40*o**3 - 3*o**2 + 3*o - 3. Let f(r) = 5*c(r) - 2*d(r). Is f(1) composite?
False
Is 0/4 + -1 + 159 a prime number?
False
Let h(i) = i - 6. Let l be h(4). Is (2 - 195/2)*l a composite number?
False
Suppose -h = -3*a + 254, a - 6*a = -5*h - 440. Is a prime?
True