-5*y + 2*j, 3*y + 1415 - f = 4*j. Let k = y + 1061. Is k a composite number?
True
Let c(b) be the first derivative of -99*b**2/2 + 266*b - 256. Is c(-47) a prime number?
True
Let s(m) be the third derivative of m**7/1260 - m**6/144 - m**5/20 - 19*m**4/24 + 3*m**2. Let d(p) be the second derivative of s(p). Is d(5) a composite number?
False
Suppose -2844 = -6*o + 4548. Let h = o - -545. Is h a composite number?
False
Let a(i) = 301*i**3 + 29*i**2 - 21*i - 47. Is a(14) a prime number?
True
Suppose 59*c - 145755 = 68*c. Let u = c - -27740. Is u a prime number?
False
Suppose 0 = -2*u + 3*f + 599507, 2*f + 607672 = 2*u + 8164. Is u composite?
True
Let f = 3477 - -675. Let i = f + -1550. Suppose -o + 1593 = -i. Is o a prime number?
False
Suppose -123 = -53*x + 56*x. Let i = -35 - x. Suppose -7*k = -i*k - 1721. Is k a prime number?
True
Let y = 163 + -164. Is 32605*y/9*(-7 - 2) composite?
True
Let x = 2473 + -618. Suppose -x = -7*p - 0*p. Is p a prime number?
False
Suppose -4*f - 8 = 0, -f + 2 = -3*w + 13. Suppose w*x - 2*z + 4709 = 0, 0*x - 5*z + 3143 = -2*x. Let b = -748 - x. Is b prime?
True
Let b = 67 + -14. Let h = b - 43. Suppose s - 4*g - h = 0, 0 = 3*s - g + 2*g - 17. Is s a prime number?
False
Let f(q) = -668*q**3 - q**2 - 6*q + 12. Let v be f(2). Let p = v - -9739. Is p prime?
True
Let m(x) = -1897*x + 2608. Is m(-9) prime?
True
Suppose 0 = -6*y + 461725 + 49745. Suppose 5*o - 64260 - y = -3*m, -5*m = 3*o - 249175. Is m prime?
False
Let x = 825 - -108. Let n = x + -1716. Let c = n - -1230. Is c composite?
True
Let p = -36 + 24. Let k(z) = 17 + 10*z - 24*z + 0*z**3 - z**3 - 9*z**2 + 11*z. Is k(p) a composite number?
True
Let w(d) = d**2 + d - 28. Let v be w(-6). Is (-1 + v)*(60/12 - -764) a prime number?
True
Suppose -12*k + 32 = -4*k. Suppose -3*i - 6819 = -k*p, 2*p - i - 956 = 2455. Suppose 2*z - p = 1895. Is z a prime number?
True
Let v(w) = 47*w**2 - 7*w + 37. Suppose 253 = -26*k + 3*k. Is v(k) prime?
True
Let s be 3/(-2) + (-11)/(-2). Suppose 10 = 5*t - 2*c, s*c = t - 1 - 1. Suppose 0 = -4*x - 5*b + 7892 + 244, x = -t*b + 2031. Is x a composite number?
False
Suppose 980912 = 2*g - 68*x + 65*x, -x = g - 490461. Is g a composite number?
False
Let t(d) = -21*d**2 + 6*d + 12. Let k be t(-5). Let b = k - 293. Let c = -471 - b. Is c a prime number?
False
Is (-3449629)/(-335) - 5/(50/4) a composite number?
True
Let q = 57 + -37. Suppose 3*r = 4*v - q, 4*r = 5*v - 5 - 21. Suppose -v*x + 4*u = -8354, 3*u = -3*x + 5*u + 12515. Is x a composite number?
True
Let j(r) = 2*r**3 + 41*r**2 + 39*r - 32. Let f be j(-19). Let q = f + -63. Is q a composite number?
True
Suppose -14*d + 59*d + 2*d = 22497913. Is d a composite number?
False
Let a be ((-3)/(-4))/(1/12). Suppose -12*w + 1239 = -a*w. Is w prime?
False
Let q be ((-168)/(-4) - 2)/1. Suppose k - 90 - q = 0. Suppose 3*j - 195 = 3*p, 5*j - 3*p = 3*j + k. Is j composite?
True
Let y(z) = -4*z + 94. Let c be y(27). Is (0 - 7/c)/((-2)/(-177164)) a composite number?
True
Suppose -4*s - 2*n = -46714, 8*s - 7*s - 11671 = 2*n. Is s a prime number?
True
Suppose 3*j + 3*c = 69963, 16*c = j + 13*c - 23329. Is j composite?
True
Suppose -9*x + 29027 = 2*n - 12*x, 72555 = 5*n - 10*x. Is n a composite number?
True
Let q(n) = n**3 + 7*n**2 + 13*n + 12. Let o be q(-5). Is 4 + 2355/6 - o/(-2) a prime number?
False
Let u = 21 + -16. Suppose h = -u*h + 19176. Suppose p - h = -3*p. Is p a prime number?
False
Suppose 568459 = -45*m + 1203865 + 914799. Is m a prime number?
False
Suppose -2*s + 5*s - 44461 = 2*q, -2*s = -4*q - 88918. Is q/(-4) - (-21)/(-84) composite?
False
Let g(b) = 27*b - 2. Let r be g(-6). Let h(l) = 2*l**2 + 2*l - 9. Let s be h(8). Let q = s - r. Is q a prime number?
False
Let q = -73 + 360. Let z = q - -3012. Is z a composite number?
False
Let s(i) = -645*i - 586. Is s(-29) prime?
True
Let s(t) = 16351*t**2 - 22*t - 41. Is s(-2) composite?
False
Let v be 18/72 - 8343/(-4). Let w be 12/7 + 8/28. Suppose -4*n + v = -w*n. Is n a prime number?
False
Suppose -1063 = 5*u - 3*p - 3402, -2*p + 460 = u. Suppose -2*l = 3*b + 4464 + u, 0 = 3*l + 15. Is 1/((5 - 2)/(-3)) - b composite?
True
Let o = 331 - 319. Suppose 18*g = o*g + 1206. Is g a composite number?
True
Suppose -27720768 + 1076539 = -193*n. Is n a prime number?
True
Suppose 3*k + 6 = w + k, 0 = k + 1. Suppose 0 = -w*y + 4*b + 15768, 15770 = -51*y + 55*y - 2*b. Is y composite?
False
Suppose 0 = -2*b - 21 - 31. Let u(i) = -258*i + 275. Is u(b) prime?
True
Let u(x) = 1247*x + 11247. Is u(98) a prime number?
False
Let x be ((-80)/(-200))/(2/11185). Suppose -33*i + 4330 = -x. Is i a prime number?
True
Let f be (-13 + 38)*4/10. Suppose -f*o = -4991 - 3029. Is o composite?
True
Suppose -5665*x - 373330 = -5675*x. Is x a prime number?
False
Let u be (594/165)/((-3)/5 - -1). Let c(h) = 539*h + 20. Is c(u) prime?
True
Let o(d) = 5*d**3 - 33*d**2 + 30*d - 147. Is o(22) composite?
False
Let c(r) = 3*r**2 - 2*r - 33. Let q(g) = -9*g**2 + 7*g + 98. Let j(m) = 11*c(m) + 4*q(m). Let w be j(-7). Let k = w + 351. Is k prime?
True
Let d be (3 + 0)/(2/(-44)). Let o be 2*(14 + -1)*(-165)/d. Suppose -3*s = -1598 + o. Is s a composite number?
True
Let b(x) be the first derivative of 5/2*x**2 + 6*x + 37. Is b(4) prime?
False
Let b = 10917 - 4486. Is b a composite number?
True
Let i = -61362 - -116705. Is i a prime number?
True
Suppose 25*k - 16*k - 792 = 0. Suppose -2233 = 81*o - k*o. Is o composite?
True
Suppose 103*b = 95*b - 36272. Suppose -6*a + 2*a = 20. Is 0 + (b + -1)/a prime?
True
Let v = 26994 - 17203. Is v a composite number?
False
Suppose 5*z + 545414 = 24*z. Suppose 89856 = 25*h + z. Is h prime?
False
Let t(o) = o + 22. Let i be t(-16). Let v be ((-8)/(-2)*-1)/(i/507). Is (27/(-6) + 2 - -2)*v composite?
True
Suppose -t = 3*h - 5*t - 43, 0 = 2*t + 8. Suppose -b - h = -76. Is b composite?
False
Let o(v) = -733738*v + 1233. Is o(-2) prime?
False
Suppose 4*i + 5*n - 151078 = 0, -45569 = -2*i + 3*n + 29959. Is i a composite number?
True
Suppose 2*n = 2*r - 12, 0*n - 5*n = -3*r + 32. Let t(j) = -21*j**3 + 23*j**2 - 8*j - 33. Is t(n) composite?
False
Let y(u) = 2*u**3 + 94*u**2 + 69*u - 4. Let k be y(-46). Let g = 1803 - k. Is g a composite number?
True
Let y(x) = -3*x**2 - 15*x - 241. Let o(l) = -2*l**2 - 8*l - 121. Let f(u) = -7*o(u) + 4*y(u). Is f(28) composite?
True
Let a be 5230/25 + 18/(-15). Let x be 228/9*534/4. Suppose x = 2*v - a. Is v a prime number?
False
Let y(j) = 2*j**2 - 33*j + 21. Let n be y(16). Suppose 4*b + 1455 - 8481 = -n*c, -b = -2*c - 1763. Is b a composite number?
False
Suppose -2*k + 68 = -5*c, -k + 3*c + 108 = 3*k. Suppose 0 = 4*i + 5*v - 15581, -k*i + 27*i = -3*v + 11688. Is i composite?
True
Let w = 40 + -20. Suppose -196 = w*m - 19*m. Let q = m - -819. Is q prime?
False
Let j(x) be the third derivative of 61/20*x**5 + 1/24*x**4 - 1/6*x**3 + 0 + 0*x - 11*x**2. Is j(1) composite?
True
Let i = -54 - -58. Is (-3)/(-27) - i*1244/(-9) prime?
False
Suppose -193618 + 4262657 = 18*l - 1389587. Is l prime?
True
Let o(f) = -152953*f**3 - f**2 + 38*f + 39. Is o(-1) composite?
False
Suppose -485*x + 489*x = 5*s + 1441484, -2*s = 16. Is x a composite number?
True
Let s(x) = 3*x - 27. Let a be s(8). Let w be a/(0 + 2 + 0 + -3). Suppose 3*t + 2*c = 1985, -5*t + w*t + 2*c = -1310. Is t prime?
True
Suppose -3*n = 56*y - 51*y - 5, 0 = 5*y + n - 15. Let a = y - -1003. Is a prime?
False
Let i = 20 - 41. Let y be (-35)/i*(1 - -2). Suppose o - 1680 = -y*j, 0 = j + j - 10. Is o composite?
True
Suppose 0 = -14*f + 285134 + 764964. Is f a prime number?
False
Let l(y) = -y**3 - 8*y**2 - y - 3. Let q be l(-8). Suppose 15 = -t - q*n + 2*n, 2*n = 5*t - 10. Suppose t = -i - 0*i + 3545. Is i a prime number?
False
Let n = -45 - -47. Suppose n*c - 100 = -2*c. Is 3/(-1) + (122 - c) composite?
True
Let b(j) = 130*j - 71*j - 7 - 126*j. Is b(-2) a prime number?
True
Suppose -758 = 3*h - 3722. Let z = h + -15. Is z prime?
False
Let h = -11878 - -42879. Is h a composite number?
True
Let w be 5 + -1 + 3*4/(-12). Let o(i) = -12*i**2 - i**w - 6 + 3 - 2*i - 16 - 3*i. Is o(-13) a prime number?
False
Let k(l) = l**3 + 21*l**2 + 5. Let i be k(-21). Let u(d) = 5*d**2 + i*d**2 + 6*d - 3*d**2 + 18. Is u(-5) a prime number?
True
Suppose 2*i - 100730 = -5*i. Suppose -i = -16*p + 6*p. Is 