1. Is v a prime number?
True
Let b = 3789 + -2251. Is b/12*(-12)/(-2) a prime number?
True
Let z = -161 + 71. Let a = z + 233. Is a a prime number?
False
Suppose 5*x - 65 = -2*d + d, 235 = 3*d + 5*x. Let c = d + 76. Is c composite?
True
Suppose 0 = 5*k - 4*k + 92. Is k/(-3) + (-18)/(-54) composite?
False
Is 3 - 2910/(-4)*2552/66 prime?
False
Suppose 4*n + 2*a = 3*a + 37, -12 = -4*n - 4*a. Let c(d) = -3 + 2 + 12*d**2 - 4 - 2. Is c(n) composite?
False
Let z = 87 - 62. Suppose -2*b + z = 3*b. Suppose 2*t - 87 = b*c, 2*t - 3*t + 54 = c. Is t a composite number?
True
Suppose -11043 - 41076 = -9*x. Is x prime?
True
Suppose -4*n = 2*o - 11562, 3*o - 6196 = 5*n + 11136. Is o composite?
False
Suppose -3*z + 4*c + 31497 = 0, 0 = -4*z + 5*z + 4*c - 10499. Is z a composite number?
False
Let g be (8/14)/((-12)/(-42)). Let y be (2 - 2)*g/6. Suppose -4*m + 5596 = -y*m. Is m prime?
True
Let t = 21543 - 11482. Is t a prime number?
True
Suppose -4*m + 6 = -3*t - 9*m, -5*t - 10 = 2*m. Let p be (6/4 + t)*-6. Suppose p*r - 166 = -2*y, 0 = 2*y - 5*r - 68 - 66. Is y prime?
False
Suppose -2*u - 1 = -5*s - 8, 5*u + 17 = s. Is (16/20)/(s + 3767/1255) prime?
False
Let n(t) = -2*t**3 + t. Let l be n(1). Let b(m) = -361*m. Let c be b(l). Suppose 3*h - 830 = c. Is h a prime number?
True
Let t = 4222 + -2210. Suppose -4*x = k - 293, -3*x + 840 - t = -4*k. Is k a composite number?
False
Suppose 4*c - 56428 = 2*v, 10*c - 7*c = 5*v + 141056. Is (-3)/9 + v/(-21) a prime number?
False
Let u(d) = -273*d - 4. Is u(-5) composite?
False
Let k = -42 + 28. Let v(s) = -48*s + 47. Is v(k) composite?
False
Is (-24)/60 + 114321/15 prime?
True
Let r = 5187 + 377. Is 15/(-35) - r/(-14) a prime number?
True
Let o be 7/(3 + 0 - 4). Let f = o + 9. Suppose f*g - 141 = -5*r, 82 = g + r + 4. Is g prime?
True
Let c = -27 - -27. Suppose -g - 21 + 232 = c. Is g a composite number?
False
Let r be ((-1)/3)/((-10)/(-60)). Is 118 - (0 - r - -1) prime?
False
Suppose -d + 3*t - 14 = 0, 8*d = 3*d - 3*t + 2. Let y = 7 + d. Suppose -12 = -3*q, y*b - 51 - 39 = 5*q. Is b prime?
False
Suppose -21 = 4*u + 3*t, -u + 4*t = 10 - 0. Let z be 25/3 + 2/u. Suppose -9*w + z*w = -503. Is w a prime number?
True
Let b(c) = c**3 - 3*c**2 + 2. Let j be b(3). Suppose -116 = 2*w - 3*w - j*f, 3*w - f = 334. Let h = w - 53. Is h composite?
False
Suppose 0 = l - 78*u + 73*u - 5356, -26895 = -5*l + 2*u. Is l composite?
False
Let m = 1083 - -1259. Is m a composite number?
True
Let n(i) be the second derivative of i**5/30 + i**4/8 - i**3 + 4*i. Let d(t) be the second derivative of n(t). Is d(4) composite?
False
Let h(t) = t + 13. Let m be h(-10). Is (-3)/(m/(-1)) + 1 + 1136 a composite number?
True
Let o(i) = -i**2 - 6*i - 3. Let s be o(-4). Suppose -4 - 11 = -5*w. Suppose 9 = -2*g - s*x - 2, -13 = -4*g - w*x. Is g a composite number?
False
Let c = 113 - 297. Let l be (-5)/25 - c/20. Is (-6390)/27*l/(-6) a composite number?
True
Let d(w) = -5219*w**3 + 8*w**2 + 10*w + 3. Let p be d(-1). Let s = 12187 - 8510. Let z = p - s. Is z prime?
True
Suppose m + 2*n = -20, -m = -6*m - 2*n - 60. Let q = m + 15. Suppose -q*s = -5*w - 2050, 5*w - w = 3*s - 1233. Is s prime?
False
Suppose 6*f + 4*l = 3*f + 2816, -3*f + 2*l = -2786. Suppose 1398 + f = 10*n. Is n composite?
False
Let k(m) = -m**2 + 9*m + 8. Let x be k(9). Suppose -x*h + 13*h - 15 = 0. Suppose 0 = -h*r + g + 3*g + 30, -r - g = -10. Is r composite?
True
Let a = 4970 - 3333. Is a a composite number?
False
Let n(q) = 3*q - 9. Let t be n(4). Let z be 1 + (-1 - t*-11). Suppose 144 - z = 3*v. Is v composite?
False
Is 2/14 - (-15387702)/581 a composite number?
True
Let z(k) = -k - 3. Let i be z(9). Is (-4)/i*291*13 composite?
True
Let o(d) = 2*d + 2. Let v be o(-3). Is -2*(3 + v) - (-78 - 2) prime?
False
Let j be 2446/22 + (-12)/66. Let l = j + 476. Is l a prime number?
True
Let t be (1/(-2))/(9/(-90)). Let a(u) = -u + 10. Let y be a(t). Suppose -3*j - 5*n = -0*j - 206, y = -n. Is j a composite number?
True
Let o be (-50 - 8)*(-1)/2. Let h = -103 + o. Let w = -27 - h. Is w a composite number?
False
Suppose 4*i - 27136 = -21*f + 26*f, 0 = i + 5*f - 6759. Is i prime?
True
Let i = 9 + -7. Suppose -i*a + 202 = 644. Let g = -60 - a. Is g a composite number?
True
Let h = 24 - 22. Suppose 25 = 2*j - 5*b, -7*j + 20 = -h*j - 4*b. Suppose -2*c + 3*c - 659 = j. Is c a prime number?
True
Suppose 5964 = -w + 2*w + 5*k, -5*w + 29685 = -2*k. Is w a composite number?
False
Let k(c) = c**3 + 6*c**2 - 6*c + 9. Let d be (-267)/39 - (-8)/(-52). Let a be k(d). Suppose -a*v = -4*v + 20. Is v prime?
False
Suppose -21*h + 13*h = -44072. Is h a composite number?
True
Let p be -12 + (3 + 1)/(-1). Is (-8)/2*13*p + 3 composite?
True
Let v(z) = 59 - 890*z**3 - 123 + 62 + z**2. Is v(-1) a prime number?
False
Let b be (28/21)/((-12)/(-27)). Is (-5 + 6)/(b/537) a prime number?
True
Let b(c) = -c**3 - 4*c**2 + 7*c + 7. Let g be b(-5). Let d be ((-4)/(-3))/(g/9). Let q(t) = -10*t - 9. Is q(d) a composite number?
False
Suppose 0 = 7*n + 3*n - 23530. Is n composite?
True
Suppose 2*p + 2153 = 3*p. Is p a composite number?
False
Let l be (-9)/(-3) + -3 + 4. Suppose g - 42 = l*k, -2*k = 2*g - 0*g - 124. Is g a composite number?
True
Suppose 37*f - 32*f - 73825 = 0. Is f composite?
True
Let i(f) = f**2 - 12*f + 4. Suppose -l + 24 = l. Let c be i(l). Suppose k + c*m = 141, 4*k - 2*m = 2*m + 604. Is k a prime number?
True
Suppose 2*g + 3*g = 45. Suppose 14*y = g*y + 1005. Is y a prime number?
False
Let d(g) be the first derivative of 116*g**3/3 - g**2 - g - 3. Is d(-2) prime?
True
Let z be ((-2 - -2)/3)/(-2). Suppose z*w = -4*w, -2*k = 5*w. Suppose k = 3*r + 49 - 316. Is r composite?
False
Suppose -33*j + j = -19648. Is j composite?
True
Let y(z) = -3488*z + 357. Is y(-10) a composite number?
True
Suppose -3*h - 18059 = -4*x - 51042, h - 10999 = -x. Is h a composite number?
True
Let i be (28/8)/7*8. Suppose -3*w - 5*q - 8 = 18, -2*q - i = -2*w. Is (669/(-6))/(w/4) prime?
True
Suppose -t - 3 = 0, -4*h + 2*h + 17 = -3*t. Suppose -p + w + 874 = 0, p - 3*w = -h*w + 868. Is p composite?
True
Suppose 77*f + 1621511 = 94*f. Is f composite?
False
Let k = -4747 - -2611. Let y = 3759 + k. Is y a composite number?
True
Suppose 14*u - 587903 = -9*u. Is u a prime number?
True
Let g = -20 + 22. Suppose -795 = g*s - 3217. Is s a composite number?
True
Let q = 36706 - 22925. Is q prime?
True
Suppose 35316 = 3*b + 3*k, 43*b - 45*b + 5*k = -23579. Is b prime?
True
Let d(j) = -936*j + 2. Let r be d(-1). Suppose s - r = -s. Is s composite?
True
Let j(o) = 895*o + 161. Is j(8) composite?
False
Is 109210/65 + 5 - (-4)/(-26) a composite number?
True
Let f = -8773 - -16590. Is f prime?
True
Suppose 29*f - 33*f + 101134 = 2*h, -5*f + 252825 = 5*h. Is h a composite number?
True
Let u = 5334 - 2171. Is u a prime number?
True
Let a(q) be the first derivative of 7*q**4/4 - 2*q**3 + 9*q**2/2 - 7*q - 8. Is a(4) composite?
True
Let y = -11 - -13. Suppose -3*k - 11 = 2*h, 2*h - y*k - 4 = 10. Is ((-2)/4)/(h/(-812)) a prime number?
False
Suppose a = 4*a - 27. Suppose 2741 = -a*v + 26222. Is v composite?
False
Let n = -13408 + 19307. Is n prime?
False
Let z be ((-3)/(60/(-115)))/(2/8). Suppose z + 15 = o. Is o prime?
False
Let q = 6503 - 4601. Is 12/(-8)*q/(-9) prime?
True
Suppose c + 4*r = 3877 + 7668, 4*r + 23078 = 2*c. Is c composite?
True
Let u = -38 + 22. Let r = u + 18. Is r/4 + 8330/20 composite?
True
Suppose 21 = z + 23. Let p = -7 + z. Is 577/3*p/(-3) prime?
True
Is (-1 + 1860/9)*(-11 + 26) composite?
True
Let p = 587 - 66. Is p a prime number?
True
Suppose -9 = 3*n - 36. Suppose t - 7*i - 4397 = -11*i, 3*i = n. Is t prime?
False
Suppose -3*o - 3 = -0. Let f(c) = -202*c**3 + 2*c**2 + c. Let u be f(o). Suppose 5*z - 62 = u. Is z a prime number?
True
Let g = -4930 - -8792. Is g a prime number?
False
Let i = 55248 + -22127. Is i a prime number?
False
Let n(d) = -2337*d - 259. Is n(-4) prime?
False
Let u(j) = -j**2 - 18*j - 14. Let d be u(-15). Let t = d - 22. Let a(l) = 8*l**2 + 5. Is a(t) a composite number?
False
Let o(k) = -64*k**2 - 1. Let u be o(1). Is (2314/u)/(4/(-10)) prime?
True
Let n(m) = m**3 - 11*m**2 + 2*m + 1. Let y(c) be the third derivative of -5*c**4/24 - 19*c**3/6 + 10*c**2. Let k be y(-6). Is n(k) a prime number?
True
Let y(s) = 3*s**3 +