e number?
True
Suppose 3*a - 2*m - 56330 = -15569, -3*a + 40764 = -m. Is a prime?
False
Let c(n) be the first derivative of 3*n**2/2 - 9*n - 6. Let d be c(4). Suppose -39 = 2*t - d*t. Is t a prime number?
False
Suppose 0 = -5*y + 3*j + 33691, -13468 = -2*y - 4*j + j. Is y prime?
True
Suppose 2*z = 3*z - 4*s - 6, 2*z - 5 = s. Suppose -3 = -w, z*w = -5*g + 4*w + 1349. Is g prime?
True
Suppose -16 = 4*m, -2*g + 65328 = 2*g + m. Is g a composite number?
False
Suppose -13*d + 45*d - 4695008 = 0. Is d a composite number?
False
Suppose 2*x + 35042 = 16*x. Is x composite?
False
Let p be ((-8)/(-20))/((-3)/(-30)). Suppose 5*x - 3499 = -3*j, -x = -p*x + 6. Is j a composite number?
False
Suppose -8*n = -13*n + 3505. Is n composite?
False
Let d(s) = 108*s - 25. Let p be 5*-1*(-32)/20. Is d(p) composite?
False
Let v = 1744 + 2653. Is v a composite number?
False
Let u(h) = 7*h**2 + 36*h + 9. Is u(-14) a composite number?
False
Let u(t) = -t + 12. Let v be u(10). Suppose -5 = -2*q + y, -v*y + 3 - 5 = 4*q. Is (1/(-2))/(q/(-66)) composite?
True
Let f = 6574 + 9597. Is f composite?
True
Let d(k) = 3*k + 2. Let x be d(-1). Let r(g) = -336*g + 1. Is r(x) a prime number?
True
Let d(u) = 35*u**3 + 13*u**2 + 10*u + 4. Let a be d(8). Suppose 35*q = 31*q + a. Is q a composite number?
True
Let x = 2271 + 4790. Is x a prime number?
False
Suppose -2*r + 1062 + 5616 = 0. Suppose o - 2*i - 2344 = 1025, -4*i + r = o. Is o composite?
False
Suppose -4*s + 148 = -0*s. Suppose 4*o = -a - 4*a + s, -3*a - 3*o + 24 = 0. Suppose 2*v = 2*r + 472, 10*r + 941 = 4*v + a*r. Is v a prime number?
True
Let j(f) = f**2 - 6*f + 3. Let h be j(6). Let d(l) = -l**2 + 9*l - 2. Let p be d(6). Suppose -h - p = -t. Is t a prime number?
True
Let u(n) = -12*n**2 + 15*n - 5. Let q(c) = 13*c**2 - 14*c + 4. Let i(k) = 4*q(k) + 3*u(k). Is i(8) prime?
True
Suppose 4 = -5*b - 2*s, -b + 6*b + 6 = -3*s. Suppose 2*q - 6*q - i + 10 = b, 19 = 5*q - 2*i. Is q - 1 - 0 - -753 a composite number?
True
Suppose 11 = -4*m + 27. Suppose -2*b + 0*l = 2*l - 1400, -m*l - 3509 = -5*b. Is b a prime number?
True
Suppose 4*s - 608 = -3*z, -2*s = -0*s + 2*z - 306. Let n = 1034 - 166. Let d = n - s. Is d a composite number?
False
Let z(u) = 2*u**2 + 3*u - 10. Let g be z(-4). Is ((18/g)/(-3))/((-1)/415) prime?
False
Let b = 4 + -5. Let n be -2 + 610 - (0 - b). Is (-2)/(-3) + n/3 prime?
False
Suppose -2410 = -0*a - 2*a - 2*o, -o = 1. Suppose -5*c = 5*d - 2645, 5*d + 2*c = a + 1451. Let u = d + -372. Is u a prime number?
False
Suppose 2*c + 3*c = 0. Suppose 3*f = -l - c*l + 1212, 6008 = 5*l + 2*f. Suppose 0 = -3*t + g + l, 386 = t - 5*g - 0*g. Is t a composite number?
False
Let p be (0 - -2) + (-5 - -7). Suppose -t = -p*t + 1380. Let v = t - 301. Is v prime?
False
Let m(w) = -w**2 + 11*w - 13. Let a be m(9). Suppose j = -a*p + 5754, 4*j - 377 = -p + 770. Is p composite?
False
Suppose 20*o + 383870 = 30*o. Is o a prime number?
False
Suppose 36 = 4*g + 8. Let d(v) = v**3 + v**2 + 2*v + 9. Let w be d(g). Suppose -6*r = -r - w. Is r a prime number?
True
Let i(u) be the third derivative of -5/3*u**3 + 3/10*u**5 + 3/8*u**4 + 0*u - 2*u**2 + 0. Is i(5) prime?
False
Let b(m) = 684*m**2 - 9*m + 1. Is b(4) prime?
True
Let r = -38 + 39. Is r/(((-20)/(-148))/5) composite?
False
Suppose 2*j + 10 + 18 = 0. Let n be (21/j)/(1/(-138)). Suppose -245 = -4*y + n. Is y composite?
False
Let j be (-1)/(3*(-3)/(-9)). Is ((-334)/(-8))/((2/(-8))/j) prime?
True
Suppose -2*r - 5598 = -m, -m + 16783 = 2*m + 5*r. Suppose -61*y - m = -65*y. Is y a prime number?
True
Is (36/3 + -38)*1847/(-2) composite?
True
Let i = -134 - -130. Let g(x) = -1 - x - 4*x - 5*x. Is g(i) a prime number?
False
Let f(p) = 243*p + 1. Is f(2) composite?
False
Suppose -12610 + 19 = -9*f. Is f a prime number?
True
Suppose -106416 = -44*z + 113012. Is z a composite number?
False
Let j(v) = v**3 + 8*v**2 + 11*v - 4. Let c be j(-6). Is 1 - 2 - c*-73 prime?
False
Suppose -5*s + 101296 - 4451 = 0. Is s a prime number?
False
Suppose 2*y + 12 = 5*y. Suppose y*n - 278 = 534. Is n a composite number?
True
Suppose 0 = 3*i - 4*q - 40035, -q - 13346 = 19*i - 20*i. Is i a composite number?
True
Let f = 9 - -3. Suppose -3*n - f = -j, -4*j = -2*n - 13 - 5. Suppose 3*t - j*y - 141 - 93 = 0, -3*t + 239 = -2*y. Is t prime?
True
Suppose 0 = -16*a + 10*a + 16530. Suppose v - 2*v - 4*m = -a, -2749 = -v - m. Is v composite?
True
Suppose 19*z - 17*z = 2302. Is z prime?
True
Let c(z) = 2*z**3 - 3*z**2 + 7*z - 13. Let x = -27 + 37. Is c(x) a prime number?
False
Let g(h) = h**3 + 13*h**2 + 4*h + 4. Let u be g(-11). Suppose k - u = 358. Suppose -d - 4*d + k = 4*y, -447 = -3*y + 3*d. Is y composite?
True
Let q(r) = -8*r - 54. Let g be q(-7). Suppose -y + 5440 = 4*u, u - 1353 = -4*y + g*y. Is u a composite number?
False
Is (-14083 + -26)/(-2 - -1) a composite number?
True
Suppose m + 2 - 6 = 0. Suppose j - 96 = 3*v + 79, -m*j = -2*v - 730. Suppose -3*d - 5*a = -j, 3*d = 8*d - 4*a - 245. Is d prime?
True
Suppose -3*f + 224712 = 6*b, 6*b - 4*f = 9*b - 112361. Is b a prime number?
False
Let g be ((-4)/(-6))/((-2)/(-15)). Suppose u - g*q = -37, -5*u = -0*u + 3*q + 269. Let a = 97 - u. Is a a prime number?
True
Suppose 14 = -18*z + 25*z. Suppose 5*o + 4*n - n + 36 = 0, -2*n = -4*o - 20. Is -2 + (-1641)/o*z a prime number?
False
Is ((-24902)/(-3))/(5/(-75)*-10) a prime number?
True
Suppose -12*u + 9*u + 2*o + 18571 = 0, -u + 6162 = 5*o. Is u a composite number?
True
Suppose 2*f + 8*p = 7*p + 5208, 5*p = -2*f + 5200. Is f prime?
False
Let x = 2793 + -1923. Suppose 0 = -6*p - 0*p + x. Is p a composite number?
True
Let l(f) = 14*f**2 + 20*f - 321. Is l(34) a composite number?
True
Suppose 37*n = 41*n - 8180. Is n a prime number?
False
Let i be (2188/(-8))/(1/8). Let j = 3983 + i. Is j a composite number?
True
Suppose 21*w + 17622 = 23*w - 2*d, -3*d + 35216 = 4*w. Is w prime?
True
Let w = -136 + 295. Let k be 1/3*w/(-1). Let g = k - -132. Is g a composite number?
False
Let n = -20827 + 31570. Is 3/18 + 2/36*n prime?
False
Suppose -2*a = x - 10825, -3*x - a = 4*a - 32478. Is x composite?
False
Suppose r - 3*v = 8251, r + 3*v + 41303 = 6*r. Is r prime?
True
Let c(j) = -j**3 + 2*j**2 + 4*j + 3. Let n(q) = q - 1. Let x be n(-3). Let z be c(x). Suppose 4*r - 5*v - 346 = 0, 279 + z = 4*r + 3*v. Is r composite?
False
Suppose 0 = -268*w + 270*w - 7010. Is w a composite number?
True
Is 34/(8 + 3906/(-489)) a prime number?
False
Let v(u) = 3*u + 1 - 3 - 3. Let k be v(3). Suppose 0 = -5*q - k*f + 815, 0*q = 5*q + 2*f - 815. Is q a composite number?
False
Suppose -18725 = 20*v - 612265. Is v prime?
False
Let z be ((-33)/(-22))/((-3)/8). Is 105655/35 - z/14 composite?
False
Suppose -8*y + 13228 = -34396. Is y a prime number?
True
Suppose -2*r + 345 = -629. Is r a composite number?
False
Let r = 46 + -48. Is (-2)/(-9) + (10870/(-45))/r a prime number?
False
Let i = 12 + -10. Suppose -2 - i = -2*g. Suppose 479 = 3*c - g*a, 0 = c + 2*c + 5*a - 451. Is c composite?
False
Let b be -6*((-1)/2 + 1) + 2055. Suppose 0 = -p + 4*k + b + 755, -3*k = p - 2842. Is p prime?
False
Suppose -4 = -2*b, 510 + 7 = -3*f + 2*b. Let k = f + 668. Is k a composite number?
True
Suppose 0 = -9*l + 2*l + 105609. Suppose 4*s - l = -s - 4*r, 0 = -5*s - 3*r + 15089. Is s a prime number?
True
Let l = -57065 - -89964. Is l a prime number?
False
Let a(g) = 2135*g**3 + 5*g**2 - 8*g + 9. Is a(2) prime?
True
Suppose -33*r + 1818 = -27*r. Is r composite?
True
Suppose o - 2*h - 7133 - 3201 = 0, 4*o + h - 41336 = 0. Is o prime?
False
Suppose -4*x + 2240 = x. Suppose 2*r - o + 2*o = x, 4*o - 238 = -r. Let m = 45 + r. Is m prime?
False
Suppose 3*w + a - 2*a = -17, 5*a - 25 = 0. Let j be (5 + w)*7 + -2. Suppose 198 + 147 = j*q. Is q a composite number?
True
Let i(n) = n**2 - 11*n + 6. Let s be i(11). Suppose -165 = -s*a + 22833. Is a composite?
False
Let p = -15 - -16. Let q(h) = 47*h**2 - 2*h + 1. Let t be q(p). Suppose 0 = -4*z + 30 + t. Is z prime?
True
Let d = 418307 + -232948. Is d prime?
True
Let x = -5215 - -12452. Is x a composite number?
False
Let y(v) = -98*v**3 - 4*v**2 + 5*v - 4. Is y(-3) a prime number?
True
Suppose -9*z = -12*z + 33. Suppose -1092 - 6311 = -z*i. Is i a prime number?
True
Suppose -a - 347 = -2*s, 5*s + 4*a = -0*s + 874. Suppose 4*o - s = -26. Is o 