Is x prime?
True
Let k(y) = 3*y**3 - y**2 - 4*y + 7. Let x be 72/20 + (-2)/(-5). Suppose -3*v + a + 12 = 0, x*v + 7 = 3*v + 4*a. Is k(v) prime?
True
Let i be ((-32)/(-12) + 3)*3. Let y = i + 32. Is y prime?
False
Suppose 0 = 41*q + 26*q - 3313351. Is q a composite number?
True
Suppose -o - 4*r - 14 = 0, o = 6*o + 3*r - 15. Let s(l) = -l**2 + 7*l - 3. Let t be s(o). Is 1/(-2)*(t + -1537) a composite number?
True
Suppose 0 = 98*p - 128*p + 422340. Is p a prime number?
False
Let i(f) = 1 + f + f**2 + 3*f**2 - 3*f**2. Let n(d) = 10*d**2 + 4*d + 10. Let v(m) = -6*i(m) + n(m). Is v(3) composite?
True
Let o(h) = h**3 + 6*h**2 - 6*h + 10. Let g be o(-7). Suppose 12*p = 11*p + 10. Is (-99)/(-6)*p/g a composite number?
True
Let l(x) = -x**3 + 3*x**2 - x + 3. Let u be l(3). Suppose n + u + 3 = 0. Let h = 1 - n. Is h a composite number?
True
Suppose 4*g - 4*h = 24808, -12374 = -2*g - 3*h - h. Is g a composite number?
False
Let x be 2/6 + (-167)/(-3). Let f = x + 108. Let q = f + -90. Is q prime?
False
Let m be ((-2)/6)/((-7)/273). Let b = -8 + m. Suppose b*g - 5*y - 175 = 0, -5*y - 22 = 2*g - 64. Is g a prime number?
True
Let x(w) = 18*w**2 + 20*w - 28. Let s be x(12). Suppose -4*n = -12888 + s. Is n composite?
False
Suppose -5*a - 8 = 2, 4*n - 5*a - 362 = 0. Suppose 2*t + n = 2*d, d = -4*d - 4*t + 229. Let w = 100 - d. Is w a prime number?
False
Suppose -2*v + 9*v = 8533. Is v a prime number?
False
Let f(h) = -101*h**3 + h**2 - h - 1. Let g be f(-1). Suppose g - 1618 = -4*x. Is x prime?
True
Let j(p) = 4*p**2 - 7*p + 4. Let c(z) = -3*z - 1. Let d be c(-1). Suppose d*b = 6 + 4. Is j(b) a prime number?
False
Let c = 21563 + -10384. Is c a prime number?
False
Suppose 26*b - 116697 = 5*b. Is b a prime number?
True
Let h(y) = y**2 - 13*y + 8. Let f be (-4)/((-12)/(-9)) - -15. Let i be h(f). Is (-112)/i - (-2 + -1) prime?
True
Let b(w) be the second derivative of -43*w**5/20 + 13*w**4/12 + w**3/2 - 9*w**2/2 + 10*w. Is b(-4) composite?
False
Suppose -2*f - 2*f = 1032. Let k be (-4 - -3 - 2)*794/(-6). Let j = f + k. Is j prime?
True
Suppose -5*f + 3*c + 27436 = 0, -5*f + 14097 = -c - 13345. Is f a composite number?
True
Is ((-11488)/32)/(1*(-3)/15) composite?
True
Let r(d) = 80*d**3 + 2*d**2 + 9*d - 22. Is r(5) a prime number?
False
Suppose 2*n - 41335 = -r, 20*r - 22*r = 2*n - 82668. Is r composite?
False
Suppose -21*g = 25*g - 1054090. Is g composite?
True
Suppose -1461910 = 82*d - 15924168. Is d composite?
False
Let v(g) be the second derivative of -25*g**3/6 + 3*g**2 + g. Let d be v(-7). Let t = 286 + d. Is t prime?
True
Suppose -56*t = -47*t - 107847. Is t prime?
False
Let j be (-1)/1 - 26/13. Is 1 - (1539/(-2))/(j/(-8)) prime?
True
Suppose -3*d = -0*d - 12. Suppose d*b - 109 = -3*t, -3*t = -4*b + 2*t + 117. Is 4/((-16)/(-7))*b a composite number?
True
Let f = -22 + 33. Suppose -f - 1 = -3*g. Suppose -4*w = g - 48. Is w a prime number?
True
Suppose -24 = -5*g + 4*k, -6 + 3 = -2*g - 5*k. Is (g - 3/(-1))*787 composite?
True
Suppose -4 = -2*u, -2*u - 34 = 4*x - 3*u. Let h = x + 11. Suppose -157 - 38 = -h*m. Is m a composite number?
True
Let k(i) = -785*i - 4. Let s be k(3). Let u be (6/4)/(8/17824). Let r = s + u. Is r a composite number?
False
Let a be 1/6 + 604/(-24). Let i = a + -47. Is -1 + -3 - (i - 1) composite?
True
Let z(v) be the third derivative of v**5/12 + 7*v**4/12 - 3*v**3 + 27*v**2. Is z(13) composite?
False
Let s(g) = g**3 - 11*g + 20. Let n be s(-9). Let h = 1089 + n. Is h a prime number?
True
Let l(u) = 35*u**2 + 0 + 0 - u + 7 - 6. Let k be l(1). Suppose k + 79 = 2*r. Is r a composite number?
True
Let f = 389 + 512. Is f a prime number?
False
Suppose -3*q = -25008 + 1485. Is q prime?
True
Let q = 227 - 153. Is q prime?
False
Let t(a) = -a**2 + 7*a + 4. Let k be t(7). Suppose 18 = k*m - 18. Let x(f) = 6*f + 5. Is x(m) prime?
True
Is 1/((0 + -4)/(-51716)) a composite number?
True
Suppose 2 = 3*x - 1. Is (-1)/x - (-1264)/2 a composite number?
False
Is 9 + 31/((-93)/(-244584)) a composite number?
True
Let k(z) = -5*z**2 - 5*z - 3. Let y be k(-3). Let v be y/(-9) - (-1)/3. Is 89*(v - 6/2) prime?
True
Let f(c) = -c**3 - 6*c**2 - c - 11. Let a be f(-9). Let p = -523 - -913. Let q = a + p. Is q a prime number?
True
Suppose -2*f + 771 = f. Let i = 362 - f. Is i/2 - (-9)/(-6) prime?
False
Let y(k) = k**2 - 3*k - 1. Let w be y(4). Let b = 2463 - 1358. Suppose -1022 - 87 = -3*l - z, w*l + 2*z - b = 0. Is l composite?
True
Let u be (-46*(-4 - -3))/(1*2). Suppose 65 = 3*p + u. Is p prime?
False
Let j be ((-12)/5)/(2/(-10)). Let n = j + -8. Suppose -4*p + 1172 = -a, -a + 586 = 6*p - n*p. Is p prime?
True
Suppose 2*q = 3*q - 4*d - 7055, -3*d - 12 = 0. Is q composite?
False
Suppose -8*a = 5*a - 13117. Is a a composite number?
False
Suppose -7*g + 31813 - 6585 = 0. Suppose -4*p + 16685 - g = 5*u, 2 = 2*u. Is p a prime number?
False
Suppose 60 = -s + 6*s. Let r = s - 63. Is (14/2)/((-3)/r) a prime number?
False
Let q = -42820 - -85383. Is q composite?
True
Let i(c) = -c**3 + 26*c**2 - 44*c - 7. Is i(22) composite?
True
Let y(v) = 107*v**2 + 24*v + 117. Is y(-10) a composite number?
True
Let g = -24 - -24. Suppose g = 3*z - 2*b - 1517, 217 = 2*z + 5*b - 788. Is z composite?
True
Let u(m) be the first derivative of 73*m**5/10 - m**4/12 + m**3/3 - m**2/2 - 2*m - 4. Let o(g) be the first derivative of u(g). Is o(1) composite?
True
Let i = 35353 + -19712. Is i a prime number?
True
Suppose -2*l + 6*l - 60 = 0. Suppose 0 = 3*d - 3*s + 2 - 17, -5*d - 15 = 3*s. Suppose d = 3*y + l, 3*u + 2*y = -2*y + 751. Is u composite?
False
Let u(k) = 6*k + 37. Let g be u(-7). Let q(h) = -10*h**3 - 7*h**2 - 7*h - 9. Is q(g) a composite number?
True
Suppose 3*c - 1 = 2*c. Suppose -2*k + 18 - 4 = 4*t, -5*k - 3*t + 7 = 0. Is (c - -369)*k/(-2) a composite number?
True
Suppose -f + 4*f = 4*c - 15, -4*c + 25 = -5*f. Let o be 3/f - 2846/(-10). Let t = o - 73. Is t composite?
False
Is 2581*(-7)/(-3 + -4) a prime number?
False
Let y(v) = 11*v**2 + 21*v + 49. Let f be y(-15). Let a = 3102 - f. Is a prime?
False
Let v = 69 - 66. Suppose 6*k - 11145 = v*k. Is k a composite number?
True
Let k(y) = 2843*y - 286. Is k(9) composite?
False
Let p = 3986 + -2589. Is p prime?
False
Suppose -3*m + 13957 = 1426. Is m a prime number?
True
Let y(r) = 3*r**2 + 3*r + 7. Let b(o) = o + 1. Suppose -4*s - 3*i - 35 = -6*i, s - 15 = -4*i. Let f(c) = s*b(c) + y(c). Is f(-7) composite?
False
Suppose 0 = -6*z + 10*z - 30676. Is z composite?
False
Suppose z + z + 6 = -2*w, -5*z - 35 = -5*w. Suppose -w*y = -376 - 382. Is y a composite number?
False
Let b = 38061 + -14962. Is b a prime number?
True
Let w(a) = 27*a**2 - 66*a + 13. Is w(10) prime?
True
Let q(j) = 401*j - 433. Is q(6) a composite number?
False
Let m(k) = 6*k - 16. Let o(t) = -7*t + 15. Let a(q) = 2*m(q) + 3*o(q). Let z(c) = -19*c + 25. Let n(l) = -9*a(l) + 4*z(l). Is n(15) a composite number?
True
Let l = -574 + 969. Suppose 4*k + k - l = 0. Suppose -y + k = -99. Is y a prime number?
False
Let y(w) = 2638*w - 3. Is y(2) a composite number?
False
Let g(t) be the first derivative of 2*t**3/3 + t**2/2 - 10. Let r(n) = 1. Let y(h) = g(h) - 4*r(h). Is y(-2) a composite number?
False
Let t = 18637 + -12002. Is t composite?
True
Let k(n) = 21*n**2 - 3*n + 7. Suppose -3*l + 2*f = 2*l - 34, -2*l - 5*f + 2 = 0. Is k(l) prime?
False
Let m = -6 - -6. Suppose 2*f + 0 - 56 = m. Suppose 126 = 2*t + f. Is t composite?
True
Let u(z) = z**2 + 11*z + 17. Let q be u(-5). Let c(x) = -51*x + 22. Is c(q) a prime number?
False
Let l(v) = 18*v - 356. Let j be l(20). Let c be 2/8 + 23/4. Suppose 2*o = 4*n - c*n + 2890, 5*o - j*n = 7189. Is o prime?
False
Let n(t) = -23 + 23*t + 4*t**3 + 6*t**3 - 12*t**3 - 18*t**2 + 3*t**3. Is n(17) composite?
False
Let p = -29 + 34. Suppose 4*g = 2*k + p - 23, -2*k - 4*g = 6. Suppose -24 = -a - k*c, 4*a + c = 179 - 50. Is a a composite number?
True
Let g = -4545 + 40780. Is g prime?
False
Suppose 0 = 3*p - 6*p - 6, -4*x = 3*p - 2. Let y be 2*1/((-2)/(-188)). Suppose -x*w + 66 = -y. Is w a prime number?
True
Let o = 1063 - 158. Suppose 0 = -45*t + 50*t - o. Is t a composite number?
False
Suppose -234 = -22*j + 96. Let f = -8 - -12. Suppose f*n - 3*d = 12, -5*n + j = 2*d - d. Is n a composite number?
False
Let j be ((-32)/12)/(-4)*(1 + 23). Supp