/(-55)*q/4. Is 20 + 330 - y/2 composite?
False
Suppose -12*y + 9*y + 12 = 0. Let t be (17610/y)/5*24/18. Let i = 3123 - t. Is i prime?
True
Suppose -237553 - 606500 = -4*y + 5*z, 2*z - 210997 = -y. Is y a prime number?
True
Suppose 26244 = p + 2*c, -4*p - 26209 = -5*p + 5*c. Suppose 5*w = 18*w - p. Is w a composite number?
True
Let z = 147 - 140. Suppose 4*t - 10670 = -z*t. Suppose 0 = 17*j - 19*j + t. Is j a composite number?
True
Suppose -13 = -2*v + w, -18 = -3*v + 4*w - 3*w. Suppose -z = -3*r - 287 - 1051, 5*z = -v*r + 6750. Is (-1)/2 - z/(-2) a composite number?
False
Let q(j) = 134*j - 89. Suppose -2*w + 4 = -4*g - 22, 4*w - 12 = -2*g. Is q(w) a composite number?
True
Let w = -434 + 906. Let i = w + 3171. Is i a composite number?
False
Let x(h) be the third derivative of 17*h**5/60 - h**4/8 + 5*h**3/3 - 21*h**2. Let w be x(5). Let o = -47 + w. Is o composite?
False
Let w(d) = 6*d**2 - 5*d + 2. Let y be w(3). Suppose -54*o - 540 = -99*o. Let t = o + y. Is t a composite number?
False
Let m(x) = -172 + 0*x + x**2 + 6*x + 165. Let u be m(-8). Suppose 2949 = -6*c + u*c. Is c a composite number?
False
Let o be -4*(1 - 0) + (11 - 9). Is (0 + o)*(-1657)/2 prime?
True
Let t(s) = 2461*s**3 + s**2 - 3*s + 1. Let w be t(1). Let v = w + -1401. Suppose 1285 + v = 4*y. Is y a prime number?
False
Suppose -14*p = -151774 - 69748. Suppose -14856 - p = -11*c. Is c a prime number?
True
Let p(g) = g - 2*g + 179*g**3 + 4*g**2 - g**2 - 2*g + 3. Let t be p(2). Let m = 3238 - t. Is m composite?
True
Suppose -5*o + 8*o = t - 2491, -4 = -4*t. Let c = o + 6727. Is c a composite number?
False
Let j(p) = 24*p**3 - 20*p**2 + 10*p - 177. Is j(10) a composite number?
True
Let n = -38 + 14. Let o = 390 + n. Is (o + -4)/(3 - 1) prime?
True
Let y be 54/10 + (-4)/10. Let z = -392 - -392. Suppose z = y*p - 5*u - 1236 - 29, 0 = -p - u + 253. Is p a prime number?
False
Let q(d) be the second derivative of 553*d**3/6 + d**2 - 8*d. Let z be q(1). Suppose 5*g - z = 3*u, -3*g - 3*u + 19 = -314. Is g a composite number?
True
Suppose 15206 = 16*z - 11*z + 4*s, 3*z - 9122 = -4*s. Let c = -1361 + z. Is c prime?
False
Let t = 8293 + -4212. Let u = t - 860. Is u a prime number?
True
Suppose 60*o - 212330 = 50*o. Is o composite?
True
Let g(s) = -8*s**2 - 234*s + 17. Let h be g(-28). Let i = 21 + -15. Suppose 3*q - 3*c - h = 0, c - i*c + 69 = q. Is q a composite number?
True
Let f(x) = -24*x - 6. Let h be f(-1). Suppose -14*g = -h*g + 6628. Is g prime?
True
Suppose -9*y + 2 = -88. Suppose -y*j = 12200 - 36810. Is j a composite number?
True
Let z(w) = 222*w**3 - 7*w**2 + 13*w + 161. Is z(9) prime?
False
Suppose 16*n + 2*q = 17*n - 42831, 128453 = 3*n + 2*q. Is n composite?
False
Let d(b) be the first derivative of 13*b**4/12 + 3*b**3/2 - b**2/2 - 14*b + 11. Let g(l) be the first derivative of d(l). Is g(6) prime?
True
Suppose -3*z = -37 + 25. Suppose -z*w + 337 + 343 = 0. Suppose -637 - w = -3*y. Is y composite?
False
Let l(u) = u**2 - 14*u + 2. Let g be l(14). Suppose -52651 = -4*z - 2*r + r, -g*r + 52650 = 4*z. Is z a composite number?
False
Let u(p) = 3*p**2 - 9*p - 5. Let g be u(7). Let v = g + -74. Suppose -4*i - 2*h = -7284, 3448 = 3*i + v*h - 2029. Is i composite?
True
Let z = 316 + -348. Is (1/(-1))/(z/96) + 71774 a composite number?
False
Let h(m) = -482*m**3 + m**2 - 1. Let t be h(-1). Let g = t - 289. Suppose -f + g + 1366 = 0. Is f a composite number?
False
Let j be (-8298)/(-3) - (-6)/3. Let p = j - 3909. Let u = 2292 + p. Is u a composite number?
False
Let t be 1*10/15 - 79/(-3). Let s = t + -24. Is (((-40)/s)/4)/((-8)/2292) composite?
True
Let j(c) = c**3 + 8*c**2 - 4*c + 6. Let i(l) = -l**2 - 11*l - 10. Let y be i(-9). Suppose -2*s + 18 = y. Is j(s) a composite number?
False
Let c(d) = 819*d**2 - 3*d + 14. Let y be c(3). Suppose 0 = -4*a + 4*h + y, 1 = -h - 2. Is a a prime number?
False
Suppose 2*x = -10, 3*x = n - 2*x + 146. Is 704/18 - (-19)/n prime?
False
Suppose 0 = -18*k + 38 + 34. Suppose -3*v + k*b + 7085 = 0, v = -0*v - 3*b + 2366. Is v a prime number?
False
Let t = 33 + -33. Suppose g = 1, 4*q + t*g + 4*g = 68. Let l = 381 + q. Is l prime?
True
Let h(s) = s**3 + 9*s**2 + 20. Suppose 12*d + 103 = 19. Is h(d) a composite number?
True
Let w = 1 - -8. Let y(b) = -4*b + 51. Let v be y(w). Is ((-3)/v)/((-3)/10905) composite?
False
Let a be 5/(60/(-9))*(0 - -8). Let x(v) = v**3 + 7*v**2 + 7*v + 9. Let i be x(a). Is i/(-2)*1652/(-6) a composite number?
True
Suppose 12*s = 25*s - 73400 - 166203. Is s prime?
False
Let i be 6/(-21) + 0 + 451920/147. Suppose -y = 5*t - 3066, -5*y = -6*y + 3*t + i. Is y prime?
False
Suppose 11*n - 176594 - 399146 = -33*n. Is n composite?
True
Let n = -196039 + 394416. Is n a prime number?
True
Let p(f) = 12*f**2 - 3*f + 4. Let r be p(1). Suppose -3 = -2*u - r. Is (-14)/(-70) - 15094/u a prime number?
True
Let l(f) = 131*f**2 - 14*f - 25. Let i(o) = 87*o**2 - 9*o - 16. Let d(b) = -7*i(b) + 5*l(b). Is d(-4) a prime number?
True
Let l = 33 - 99. Let b = -56 - l. Is -1 + 5/(b/8) a prime number?
True
Let p(n) = 2*n**3 + 8*n**2 + 2*n + 2. Let o be p(-4). Is (-152)/o*(-5436)/(-48) a prime number?
False
Let w be 2/(-19) - (0 + 1142/(-19)). Suppose -2*b - w = -2158. Is b a prime number?
True
Suppose 4*h + 5*d = -5, 4*h - 21*d = -22*d - 1. Suppose 10*t + 7*t - 144449 = h. Is t a composite number?
True
Suppose 2*b + 1068 = -2*b + o, -4*b = 4*o + 1088. Is (-1 - 1) + b*(-15)/20 a prime number?
True
Let u be (7 + -2)*18/18. Suppose -87 - 2848 = -u*a. Is a a prime number?
True
Let s(o) = 14*o - 23. Let l be s(2). Suppose 2470 = 5*v - l*k - 1265, 5*v = -4*k + 3717. Is v prime?
False
Let j(b) = 5*b**2 + 5*b + 4. Let m be j(-2). Suppose -m = -2*q - 0*q. Is 2/q - (-23457)/49 a composite number?
False
Let h(q) = -5593*q - 1206. Is h(-5) a prime number?
True
Let h = -652 + 6597. Suppose 5*b = 4*g + h, -b + 1189 = -0*b - 5*g. Is b a composite number?
True
Suppose 8*c + 390 = 18*c. Suppose 37*k - c*k = -7006. Is k a prime number?
False
Suppose -37*m - 35*m + 89860 = -68*m. Is m a prime number?
False
Suppose -287*q - 9 = -303*q - 9. Let v be (6/4)/(1/2). Suppose -3*g = -2*y + 589, 4*y + v*g - 8*g - 1177 = q. Is y prime?
True
Let j(l) = -1770*l + 31. Suppose 3*v - 14 = 2*d, -2*d = -4*v - 5 + 23. Is j(d) composite?
False
Let x(q) = -21*q - 23. Let u be x(-2). Suppose -2*k - 2740 = -4*g, 18*k - u*k = 3*g - 2065. Is g a composite number?
True
Let t(z) = z**3 - 27*z**2 + 48*z + 53. Let h be t(25). Let g(n) = 98*n**2 - n - 2. Is g(h) prime?
True
Let f(m) = 189*m**2 - 46*m + 56. Let a be f(-21). Suppose 13*r + a = 30*r. Is r a composite number?
True
Let i = 36 - 26. Suppose 3 = i*k - 9*k. Suppose 952 = k*x - 671. Is x prime?
True
Let z(k) = -k + 16. Let t be z(3). Suppose 0 = -t*w + 21272 + 34849. Let s = w + -2104. Is s a composite number?
False
Let a = -17 - -21. Let w be 84/8 - (a/(-8) - 0). Let y(u) = -u**3 + 16*u**2 + u + 15. Is y(w) a prime number?
True
Let u(z) = z**3 - 8*z**2 + 18*z - 31. Let b be u(6). Suppose 794 = l - b*g, 924 = 3*l + g - 1474. Is l prime?
False
Let h be 2/((-4)/(-62)*-1). Let r = -28 - h. Suppose -n + r*n = 164. Is n prime?
False
Let c = -12633 + 38470. Is c prime?
False
Let u be 1/(-7) - (-570)/140*2. Suppose 82648 = 16*d - u*d. Is d prime?
True
Suppose 0 = -v - 56 + 52. Is 14702/2 - (3 + v/4) composite?
False
Let q be (65/(-15) + 5)*(-3)/(-1)*1. Suppose 5*g - 8302 - 9678 = 0. Suppose -2*a = 6, -q*r - 1087 + g = -a. Is r composite?
True
Suppose -10*v + 584753 = -5993177. Is v a composite number?
False
Suppose 3*u = 4*d + 195807, 3*u + 565*d = 567*d + 195813. Is u prime?
False
Let a(f) = 134346*f**2 - 4*f + 5. Is a(1) a prime number?
False
Let l(y) = 134*y + 2*y**2 - 13 - 77*y - 80*y. Let p be l(12). Is 26/(-52)*(1 + -412 + p) prime?
False
Suppose -8973 = -m - 2758. Suppose -8668 = -11*w + m. Suppose u + w = -3*o + 6*o, 0 = 2*u. Is o composite?
True
Let c be 0 - 3/(12/9488). Let y = c + 4521. Is y prime?
False
Suppose 2*v - 6 = 0, 5*k + 3*v = 19341 + 28568. Suppose 4*u - 3*p = 32, 20 - 23 = -3*u - 3*p. Suppose y + k = u*y. Is y a composite number?
True
Suppose -17629 + 13214 = -17*b + 23006. Suppose 2310 = 5*x + 3*h, -4*x - h + 2798 - 943 = 0. Suppose x - b = -4*t. Is t a prime number?
False
Suppose 0 = 23*p - 1594832 - 4100727. Is p a prime