 = 2*o - c*g. Suppose -d - 16 = -o. Is d a composite number?
True
Suppose -13118 + 2996 = -6*g. Suppose 0 = 3*t - 2 - g. Is t prime?
True
Let m = -350 + 529. Is m prime?
True
Let x(y) = -6*y + 134. Let w be x(22). Let u(p) be the first derivative of 5*p**4/2 + p**2 + p - 1. Is u(w) a prime number?
False
Let t(u) = -u**3 - 11*u**2 + u + 16. Let k be t(-11). Is (-11262)/(-15) - 2 - (-1)/k prime?
False
Let d be 3/1 - (2 + 5). Let j(q) = -q**3 - 5*q**2 - 5*q + 1. Let y be j(d). Suppose 0 = v - 92 - y. Is v composite?
False
Suppose -4*w - 3*h = -7, -2*w + 3 = -4*w + 5*h. Let a = w + -1. Is (a - 1)*(-1 + -22) composite?
False
Suppose 0 = 5*t - 2*t - 33. Let q = 18 - t. Suppose -1 = -3*j - 2*i + q, -5*j + 10 = 4*i. Is j a composite number?
True
Suppose 3*b - 760 = 5*s, -s = 5*b - 2*s - 1252. Let a(m) = -m + 0*m**3 + b + m**3 - 7 - 10. Is a(0) composite?
False
Is 5*((-12655)/(-25) - -4) prime?
True
Suppose 2*f - 2*s - 6300 = 0, -3*f + 4*s = 5408 - 14863. Suppose g + 4*g - f = 0. Is g composite?
True
Let x(i) = -19*i - 1. Let n be x(-1). Let y be (2 + n)*1/4. Suppose -y = m, -1070 = -5*c - 0*m - 3*m. Is c a composite number?
True
Let y(r) = -r**2 + 3*r + 18. Let z be y(6). Suppose z*m - 1270 = -10*m. Is m prime?
True
Let g = -27 - -27. Suppose g = 12*o - 8*o - 5836. Is o composite?
False
Let j(r) = 17*r**3 + r**2 - 2*r + 1. Let w be j(1). Let s = w - 11. Suppose 0 = s*l - 7*l + 563. Is l composite?
False
Suppose -3*r - 2*v + 14 = -v, 4*v - 21 = -5*r. Suppose 0 = -2*f - r - 1. Is 106/((2 - f) + -3) a composite number?
False
Is ((-46488)/2)/(-4)*(-10)/(-30) prime?
False
Let a(s) = -s + 53. Let i be a(11). Let v = i - -637. Is v prime?
False
Let w = 4579 + -2474. Is w prime?
False
Let j(n) = n**3 + 4*n**2 + n - 4. Let l be j(-3). Suppose 4*m + 6 = -l*f, 0 = 2*f - 7*f - 4*m + 3. Suppose f*a + 1249 = 2*c, a - 5*a - 4 = 0. Is c prime?
False
Let l be -2 + (-10)/(-6) + 27215/15. Suppose 2*m - 4*w - l = 0, -4*m + 1975 = 5*w - 1679. Is m a composite number?
False
Let d = 16 + 557. Is d a prime number?
False
Suppose 3*g - 8*g + 27534 = u, -g = -2*u - 5509. Is g prime?
True
Let o(g) = -2*g**3 - 14 - 10*g**2 + 1 - 3*g**2 - 5*g + 7*g**2. Is o(-8) composite?
True
Let h be 1/(-3) - 22/(-3). Suppose 0 = -4*f + 3*n + h, 3*f + 6*n - 24 = 2*n. Is 12/8 + 466/f composite?
True
Let c = -61 - -65. Suppose 7*j - 6092 = -3*x + 2*j, c*x - j - 8161 = 0. Is x prime?
True
Suppose 2*s - 12 = -0. Let n(i) = 11*i - 11. Is n(s) prime?
False
Let o be 9/((-30)/24 - 1/(-4)). Is -3*1*(46497/o)/11 composite?
False
Is 802 + -8 + 2 + 1 a prime number?
True
Let o(g) = g**3 + 7*g**2 - 8*g + 3. Let i be o(-8). Suppose 3*j + 3*m - 1476 = 0, -i*j = -5*m - 369 - 1099. Is j prime?
True
Is ((-4808720)/32)/(-7) - 1/2 composite?
False
Suppose 3*z - 5*y + 17 = -8, -4*z - 18 = y. Let k be (-12 + 7)*2/z. Suppose 0 = 2*t + 4*a - a - 130, -k*a - 306 = -5*t. Is t a prime number?
False
Let i = 14 - 11. Let g = 4124 - 2094. Suppose -343 - g = -i*t. Is t a prime number?
False
Let p(v) = 1040*v - 5. Let a be p(2). Suppose 5*z + 5*u - a = 0, -2*z - u + 781 = -53. Is z a prime number?
True
Let u be ((-72)/5)/(-1 + 635/650). Suppose 2359 - u = 5*c. Is c a composite number?
False
Is (17 - 23) + (-12448)/(-2) a prime number?
False
Is (7045/10)/((-6)/(-12)) a composite number?
False
Let a(n) = 138*n - 9. Suppose -5*o + 43 = 18. Is a(o) composite?
True
Let g(j) = 366*j**2 - 3*j - 2. Let w be (-1 + 0)/(12/12). Is g(w) a composite number?
False
Is 2 - -2 - (-6 + -13441) a prime number?
True
Let b(f) = -3 + 2 - 33*f**3 + 2 - 3*f**2 - 3*f. Let n be 23/(-92) + (-14)/8. Is b(n) a prime number?
False
Let r be -3*10*(-6)/9. Let b be (-2)/(-8) + (-2865)/r. Let y = b + 484. Is y prime?
False
Suppose 0 = -22*j + 20*j + 5638. Is j a prime number?
True
Let l = -62 - -330. Let n = -9 + l. Is n a composite number?
True
Let x(w) = 17*w**2 - 15*w + 23. Let m be x(-15). Suppose -4*a + m = -1195. Is a a composite number?
True
Let q(i) = -17*i - 16. Let k be q(-9). Suppose 6*z = p + 3*z - k, 0 = 4*z - 16. Is p a prime number?
True
Suppose -4*k = -3*n - 2077, 3*k + 4*n + 2597 = 8*k. Suppose 18 - 3 = -5*d, -k = -5*z - d. Is 21960/z - 4/26 composite?
False
Let y(s) = 4*s + 2. Let z be y(-1). Let q = 306 - 750. Is q/z - -1*1 composite?
False
Suppose 4*w = 51 - 19. Suppose 1052 = w*i - 3356. Is i composite?
True
Let j be 4/(-8) + (-50228)/(-8). Let q = -1497 + j. Is q composite?
True
Let r = 4087 + -2348. Is r a composite number?
True
Suppose -3*s + 18 = 3*u, -41 = -3*s + 4*u + 12. Let c = -320 + 595. Suppose -6*b + s*b = c. Is b a prime number?
False
Suppose -y + 1535 = -0*y. Suppose -2*d - 3*d = -y. Is d a composite number?
False
Suppose -2*l + 14 = 44. Is 3*-1*17525/l a composite number?
True
Suppose z - 14 = -10. Let p = -5 + z. Is p/(4/(-628)) + 2 composite?
True
Suppose -15*p + 9*p = 36. Is p + 3 - (-650)/5 prime?
True
Let x = 8598 + -1531. Is x prime?
False
Let b(w) = 203*w + 313. Is b(36) a composite number?
False
Suppose 31785 - 4734 = 3*q. Is q a prime number?
False
Suppose -h + 12904 = 5*f, 7747 = 3*f - 6*h + 2*h. Is f a composite number?
True
Let y(o) = -815*o - 66. Is y(-7) a prime number?
True
Suppose 0*k - 4348550 = -50*k. Is k a prime number?
False
Let m = -98 - -163. Suppose -1488 - m = -v. Is v a prime number?
True
Suppose 3 = -t + 11. Let f(i) = -2*i + 12. Let r be f(t). Let g(q) = 13*q**2 - 4*q - 1. Is g(r) prime?
True
Suppose -4*j = 3*k + 4216, 2*k - 1401 = 3*k - 3*j. Let n = 2119 - k. Is n a prime number?
False
Suppose 1 = -3*r - 8. Let j = 1 - r. Suppose -5*h - 390 = -j*g + 2, 3*h = 3*g - 291. Is g a composite number?
True
Suppose j - 8 = -q - 0*q, 3*q - 15 = 0. Suppose 2*i - 267 = -j*h, -3*h = -0*h + 15. Is i a prime number?
False
Let v be -14*1/(-2) - 3. Is v + -1*(4 - (-1786)/(-2)) composite?
True
Suppose 58*r + 5345 = 63*r. Is r prime?
True
Let h be 1 + -2 + 2 + 2. Suppose -c + h = 4, -3*s + 3*c = -12. Is s a prime number?
True
Let b be 30483/5 + 1*(-2)/(-5). Suppose -8*x = 329 - b. Is x composite?
True
Let r be ((-2)/(-6))/(1/(-12417)). Let i = -2454 - r. Is i a composite number?
True
Suppose 27166 = 14*i - 9360. Is i a composite number?
False
Let x(c) = 7*c**2 + 3*c + 6. Let y(d) = 6*d**2 + 3*d + 5. Let s(l) = 5*x(l) - 6*y(l). Let h be s(-3). Suppose h = -9*v + 4*v + 170. Is v prime?
False
Suppose 809 = -k + 13638. Is k a composite number?
False
Let g(x) = 3232*x - 127. Is g(7) a prime number?
False
Let o(b) = -2*b - 13. Let m be o(-9). Suppose 4*y - 3385 = -5*w - 0*y, 0 = m*w + 3*y - 3380. Is w a composite number?
False
Suppose -97048 - 23680 = -8*f. Is f composite?
False
Let v = 428 + -642. Let c = -926 - -1403. Let s = c + v. Is s a composite number?
False
Suppose 2*l - 3*l + 716 = 0. Suppose 0*a = -4*a - 3*o + 730, 0 = 4*a - 4*o - l. Is a prime?
True
Let k be (-7)/14 - 1/(-2). Suppose k = 5*r + 165 - 4240. Is r a composite number?
True
Is (-36)/(-342) + (-1059567)/(-57) + 0 a prime number?
False
Suppose -5*a + a + 2*b = -50564, 12641 = a + b. Is a a prime number?
True
Let a(g) = -179*g + 4. Let k(z) = 89*z - 2. Suppose -6*x - 6 = -5*x. Let i(r) = x*a(r) - 13*k(r). Is i(-3) composite?
False
Let n = 53 + -46. Suppose n*y = 3*y + 1588. Is y a composite number?
False
Suppose -4*v = 2*r - 39866, 5*r - 57933 = -4*v + 41744. Is r a prime number?
True
Let x be 95/35 + 1/((-7)/(-2)). Suppose -x*s = -4*s + 331. Is s a composite number?
False
Let r(q) = 3*q**2 - q - 39. Is r(12) prime?
False
Suppose -3*l + l - 3514 = -x, -4*l = -x + 3520. Suppose x = 13*a - 9*a. Is a a composite number?
False
Let s(o) = -2*o**3 - 17*o**2 - 6*o - 3. Let g(r) = -4*r**2 - 12*r + 2. Let w be g(-4). Is s(w) prime?
True
Let p(k) = -2*k**3 - 4*k**2 + 3 - 9*k - 9 - 3. Is p(-8) a composite number?
True
Suppose -2*a + 3*a = 19. Suppose a*m = 16*m + 9. Suppose h = 2 + 3, -1217 = -m*v + 2*h. Is v a prime number?
True
Let h = 2800 + 3883. Is h prime?
False
Let n = 22 + -16. Suppose 6*q - 2*q - n = f, f - 10 = -4*q. Suppose -252 = -f*s - 3*u, 0 = 5*s - 4*u - 765 + 112. Is s prime?
False
Suppose o = 3*j - 653, 0 = 3*j - o + 6*o - 659. Suppose 0 = 3*x + 2*x - 10. Suppose -x*a + 0*a = -j. Is a a composite number?
False
Let l(x) = -19*x - 2. Let r be (-2 + 0)/((-3)/3). Suppose 0 = 4*u + 3*s + 25, 0 = r*u + 2*u + 2*s + 26. Is l(u) a prime number?
True
