 a prime number?
True
Suppose -10*j + 6*j - 5*p = -78373, 3*j = -2*p + 58785. Is j a prime number?
True
Let a(z) be the first derivative of 178*z**3 - z**2 - z - 12. Is a(-1) a prime number?
False
Suppose -5*o = -0*l - l + 101, 5*o + 505 = 5*l. Let n = l + -54. Is 5/(-4)*(3 - n) a composite number?
True
Let v(w) = w**3 - 3*w**2 - 5*w - 6. Let s be v(5). Suppose s*n + 19749 = 64798. Is n composite?
False
Let k(a) = 10*a + 16. Let h be k(5). Suppose -8*c + h = -6*c. Is c composite?
True
Suppose 2*b = o + 29185, -6*b + 4*b + 29191 = -3*o. Is b a prime number?
True
Suppose -27*d + 31*d + 4240 = 0. Is (d/5 - 3)*-1 a composite number?
True
Is (-186060)/(-66) - (4 + (-172)/44) prime?
True
Is 440446/18 - (-64)/(-288) a prime number?
True
Let d be 8*-6*12/(-24). Suppose 20*z + 2492 = d*z. Is z a prime number?
False
Is 4/48 - (-213655)/60*1 a prime number?
False
Suppose 152*a = 159*a - 125797. Is a prime?
True
Suppose 0 = -12*z - 21*z + 16269. Is z a composite number?
True
Let s = -2952 + 4407. Is (0 - 2)/((-6)/s) a prime number?
False
Let d = 14 - 9. Suppose g = -3*v + 3826, -3*v + d*g + 6410 = 2*v. Is v a prime number?
True
Let o(s) = s**2 + 8*s - 6. Let f be o(-8). Let g(c) = -c**3 - 2*c**2 + 9*c + 5. Is g(f) prime?
False
Suppose p = 2*p + 303. Let u = 508 + p. Is u prime?
False
Let g(x) = 53*x + 11. Let h be 4 - (9 - (-1 + 2)). Let r be g(h). Is -3 + (-3 - -8) - r prime?
False
Suppose 0 = -4*q + 4*r + 4, 5*q - 9 = -2*r + 17. Let w = 1 - 0. Is (3 + 70)*q + w a prime number?
True
Let n(v) = -v**3 + v**2 - 1. Let c(o) = 3*o**3 - 6*o**2 + 9*o + 8. Let w(r) = c(r) + 2*n(r). Let s(x) be the first derivative of w(x). Is s(6) prime?
False
Suppose 4*r + 14 = 38. Let b(a) be the first derivative of -a**4/4 + 7*a**3/3 - 2*a**2 - 3*a - 1. Is b(r) prime?
False
Suppose 3*w = 338 + 907. Is (w/2)/(3/6) prime?
False
Suppose 3*n + o + 387 - 2962 = 0, -1720 = -2*n - 4*o. Suppose 2*z + 44 - n = 0. Is z a composite number?
True
Let d(h) = 92*h**2 + 28*h - 35. Is d(9) a composite number?
False
Let k(t) = 3 + t + t**2 + 1 + 4*t - 2. Let m be k(-4). Is (2/3)/(m/(-279)) composite?
True
Let y be ((-4)/12)/(98/33 + -3). Suppose 1663 = y*q - 7984. Is q a prime number?
True
Let p(q) = 4*q**3 - 7*q**2 + 8*q - 4. Let l be -4*4/(-8) + 0. Suppose l*v + 1 = -2*t + t, 3*t - 2*v = 21. Is p(t) prime?
False
Let a(g) = -g**3 + 16*g**2 - 14*g - 5. Let l = -19 + 33. Is a(l) a composite number?
False
Is 22/(-187) + (-936844)/(-68) a composite number?
True
Suppose 5*a - 14 = g + 21, -4*a = -3*g - 39. Suppose -2*o = -3*i + a, 2*i = -i. Is ((-1)/(o/471))/1 a composite number?
False
Let c = 5477 - 496. Is c composite?
True
Let u(q) = 41*q**3 - 2*q**2 + 2*q + 2. Let l = -35 - -38. Is u(l) a prime number?
True
Let m(s) = 995*s - 357. Is m(8) a composite number?
False
Suppose 3 - 5 = -i. Suppose 0 = 4*a + i*a - 3786. Is a prime?
True
Suppose 10*c - 53797 - 66273 = 0. Is c composite?
False
Suppose 5*h + 3308 = 33088. Suppose 0 = 3*o + 4*s - 3591, 5*o + 0*s - h = 3*s. Is o prime?
True
Let t be (-5)/(-10) + 3138/(-4). Let u = -13 + 10. Is 1/u - t/21 a composite number?
False
Suppose 17*m + a = 14*m + 3380, -a = -2. Is m a composite number?
True
Let u(h) = 6*h**3 + 2*h - 6. Let g be u(3). Suppose -2*z = 5*y - 2767, g + 1495 = 3*y - 2*z. Is y a composite number?
True
Let j = 16 + -12. Suppose -x = -j*o - 13 - 144, -3*x + 481 = -2*o. Is x composite?
True
Suppose -4*w - 5*y + 105 = 0, -2*y = w - y - 25. Suppose -22*v + w = -27*v. Let f(d) = 3*d**2 + 2*d - 3. Is f(v) prime?
True
Let i(f) = -f**2 - 10*f + 11. Let l be i(-11). Suppose l = -a + 272 + 623. Is a a composite number?
True
Let u = 515 + 654. Is u prime?
False
Suppose 5*v + 32 = 3*v. Let q(i) = -5*i + 29. Is q(v) composite?
False
Let w = 59 + -27. Let z = -22 + w. Is 4/z - 672/(-20) composite?
True
Suppose 2*t - 11 - 3 = 0. Let i(d) = -50*d + 3. Let m(u) = -149*u + 9. Let p(r) = 17*i(r) - 6*m(r). Is p(t) prime?
False
Is (5 - 5) + (-3 - -2)*-6187 a composite number?
True
Let r(x) = -x. Let n be r(4). Let c be 28 + (n - -4)/(-4). Is (c/6)/((-14)/(-903)) composite?
True
Suppose 0 = 2*t - 10, -46*t = -3*w - 49*t + 35100. Is w a composite number?
True
Is (12/(-6))/(-2*(-2)/(-74246)) a composite number?
False
Let v(y) = 23*y + 2. Let b be v(2). Let j = 145 - 145. Suppose -2*k + 4*g = -b - 46, -5*k + g + 217 = j. Is k prime?
True
Let c be 2/((-1 + 0)*-2). Is (c/3*2)/((-14)/(-31017)) composite?
True
Is 4227 - -1 - 9/(-36)*-4 prime?
False
Suppose 3*q - 6*q + 60 = 0. Is (1186*(-5)/q)/((-1)/2) composite?
False
Let g(p) = -390*p - 38. Is g(-10) composite?
True
Suppose -c = 3*g - 3411, 6*c - 4*g - 17150 = c. Suppose -9483 + c = -9*f. Is f composite?
False
Suppose -6*b = -29 + 11. Suppose -h = 4*t - 133, 3*h + 0*t - 459 = b*t. Is h composite?
False
Suppose -8542 = 38*i - 40*i. Is i a composite number?
False
Suppose 4625 + 2459 = -2*z + 2*c, -c = -3*z - 10626. Let t = -1641 - z. Is t a composite number?
False
Let d be 6*4/(-16)*-4. Suppose -d*g + 8*g - 178 = 0. Is g a composite number?
False
Let n(a) = 808*a**3 - 3*a**2 + 2*a - 7. Is n(2) prime?
True
Suppose 0 = -16*r + 27*r - 78133. Is r prime?
True
Let v(n) = 153*n + 13. Let m be 5/((-20)/(-12)) - 1. Is v(m) a prime number?
False
Suppose -97*d - 10770 = -103*d. Is d a prime number?
False
Suppose -20 = -5*t + 3*n - 0*n, -n = -4*t + 16. Let x(q) = q**2 - 6*q + 2. Let a be x(t). Let b(h) = -2*h**3 - 7*h**2 - 7*h - 1. Is b(a) a composite number?
True
Suppose 0 = -2*p - 2*p. Suppose q + 6 = -q, -w + 3*q + 9 = 0. Suppose p = -w*i + i - 55. Is i a prime number?
False
Suppose -3*m = 4*i - 23, -5*i = -3*m + 3 + 2. Suppose -4*o - m*o = 0. Suppose -p + 707 = -o*p. Is p prime?
False
Let z(c) = c**3 - 9*c**2 - 8*c - 16. Let o be z(10). Suppose -4*q = 0, -2*w + q - o*q = -1108. Is w composite?
True
Suppose 4*a + 12 = 5*a. Let g = 15 - a. Let n = g - -11. Is n a composite number?
True
Suppose -a + 3*p = -4*a + 3, 0 = a + 2*p - 6. Let c be a/(1 - (5 - 2)). Is (c + -7)*(-21)/3 a composite number?
True
Let j be (117/52)/(3/(-32)). Let f = 18 + j. Let a(u) = 4*u**2 - 7*u - 9. Is a(f) composite?
True
Let x(t) = -27 + 13 + 52*t - 29. Is x(14) composite?
True
Let x(y) = 70*y - 17. Let b be x(-5). Let h = b - -608. Let q = h + -114. Is q composite?
False
Let w = 5266 - 3655. Suppose 4*h - 649 = w. Is h prime?
False
Suppose 0 = -8*k + 3*k, 5*b + 5*k = 20. Suppose b*a + 20 - 8 = 0. Let z(r) = -41*r + 4. Is z(a) a prime number?
True
Suppose 7*a = 11*a + 38176. Is ((-2)/4)/(1 - (-9548)/a) a composite number?
False
Suppose -4*i + 3*i = 2*z - 575, -5*i + 15 = 0. Let j = 917 - z. Is j a prime number?
True
Let v(q) = q**2 + 9*q. Let f be v(-4). Is 8/20 + (-5252)/f composite?
False
Suppose -9 = 3*u - 33. Let j(t) = -9 - 8 + u + 118*t. Is j(5) a composite number?
True
Let q = -26 - -41. Let s = 36 - q. Suppose 18*m = s*m - 1011. Is m a prime number?
True
Let r = 10170 + -1607. Is r a composite number?
False
Let a = -3270 + 6203. Is a a composite number?
True
Let n(p) = 339 + 2*p**2 + p**2 - 4*p**2 - p. Suppose 3*g = 6*g + 6*g. Is n(g) prime?
False
Let w be 1*6*(-3)/(-6). Suppose 0*q = 2*q + w*y - 393, 0 = 4*q + 4*y - 792. Suppose 211 = 4*s - q. Is s prime?
True
Let a be (3/2)/(6/208). Suppose 24*l - 112 = -16. Is 4308/a - l/(-26) a prime number?
True
Let f be 6/(-18)*(1 - -1292). Let l = 276 + -484. Let a = l - f. Is a composite?
False
Let x(n) = 42*n**3 - 15*n**2 + 37*n + 13. Is x(6) a prime number?
False
Suppose -2*h - 5 = 9. Let j be 0 - h - (-2 - 1). Is ((-2)/4)/(j/(-740)) prime?
True
Let z(y) = -30*y + 23*y**2 + 15*y + 3 + 13*y. Let d be z(3). Suppose 2*a - 2*x = d, 3*x + 202 = 2*a - x. Is a a prime number?
True
Let i = -2439 - -28822. Is i prime?
False
Suppose 0 = 4*n - n. Suppose 0 = 4*q - n*q. Is q/(4/2) + 37 composite?
False
Let g = -44 + 128. Suppose a + 20 = g. Let i = a - -99. Is i a prime number?
True
Let l = -1568 - -2301. Is l a composite number?
False
Let d(v) = 7007*v - 10. Is d(1) composite?
False
Let z = 1012 - 375. Suppose -5*b + 828 = -z. Is b composite?
False
Suppose -u = 3*q - 493, 5*u = -5*q + 1104 + 1311. Let m = 439 + u. Is m a prime number?
False
Let w = 2275 + 880. Is w a prime number?
False
Suppose 0 = p - 0*p - 3, p = 2*o - 1. Suppose o*h - 68 = 110. Suppose 2*a - 83 = h. Is a composite?
True
Suppose -3*p = 