*l + 2012, -l - 3*k + h = 2*k. Is l composite?
True
Let q = 27 - 22. Suppose q*p - 848 = k, -1 = -p - 3. Let g = -191 - k. Is g composite?
True
Suppose 0 = 5*z + 5*a - 380920, 8*z + 3*a = 4*z + 304733. Is z a composite number?
True
Let v(y) = y + 89. Let g be v(0). Suppose 5*o = 4*f - g - 45, 6 = -3*o. Let a = f - -22. Is a a composite number?
False
Let y(f) = -42*f**2 - 10*f - 4. Let j be -3*7*(-4)/(-12). Let h be y(j). Is (-5)/(-25) - h/15 composite?
True
Let r = 454 + 7480. Is r a prime number?
False
Suppose 1358 = 2*j + t - 2*t, -j = t - 679. Is j prime?
False
Let m(s) = -8*s**2 - 7*s + 28. Let j be m(17). Let o = 4312 + j. Is o composite?
True
Suppose -2*m = 5*k + 74, k - 10 = -4*m - 32. Let j(f) = -2*f - 14. Let b be j(k). Suppose 17 = d - b. Is d a composite number?
False
Let t(y) = y**3 + 8*y**2 + 31*y - 17. Let r(n) = -4*n**3 - 23*n**2 - 94*n + 50. Let o(x) = -2*r(x) - 7*t(x). Is o(14) prime?
True
Suppose -11*y = -891845 - 942449. Is y/84 + (-2)/12 prime?
False
Let a(z) = 11*z**3 - 11*z**2 - 24*z + 1. Let c be a(-4). Let y be 150/(-2*3/(-44)). Let q = y + c. Is q a composite number?
False
Suppose r + 4 = 2*l, 0*r + 2*r - 7 = l. Suppose -817 - 1553 = -r*x. Is x a prime number?
False
Let v = 9 + 5. Suppose 10*p = v*p - 1796. Is p composite?
False
Let r(d) = d**3 + 5*d**2 - 6*d + 4. Suppose 2*f + a + 3 = -5, 2*f + 3*a = 0. Let w be r(f). Suppose -w*p + 214 - 58 = 0. Is p composite?
True
Suppose 0*c + 3 = c - l, 0 = 3*c - l - 9. Is c - 44/2*-10 a composite number?
False
Suppose 3*w = -1 + 10. Let b(u) = 7 - u + 5*u + u**2 - w*u + 0. Is b(0) a prime number?
True
Let x(k) = 1 + 70*k - 3*k - 1. Is x(1) a prime number?
True
Suppose 3*i - 5974 + 1045 = 0. Is i a prime number?
False
Suppose -j + 3070 = -508. Suppose 0 = -2*q + 4*f + j, q + 2*f = 2267 - 466. Is q prime?
False
Let n be (-15)/17 - -1 - (-84210)/357. Suppose 1408 = 4*i + n. Is i prime?
True
Suppose -9*o + o = -4568. Is o a composite number?
False
Suppose 4*m = 3*m - 2*b + 4, -3*m + 12 = b. Suppose -3*j + h - 1086 = -4388, j + m*h = 1105. Let v = j + -706. Is v a prime number?
False
Suppose 0 = -39*g + 30*g + 6561. Let j = -398 + -26. Let y = j + g. Is y composite?
True
Suppose 2*s + 6*s = 24. Suppose 16 = s*d - p - 7, 0 = 3*d + 5*p - 29. Suppose d*b - 1599 = 409. Is b prime?
True
Suppose -2*r - 423 = 5*d, 3*r + d + 435 = r. Let v = r - -397. Suppose -c + v = -261. Is c a prime number?
True
Suppose -16*m = -21*m. Suppose -f + 335 + 11 = m. Is f prime?
False
Let i = 2250 - 1621. Is i a composite number?
True
Let d(s) = -s**3 + 7*s**2 + 5. Let l be d(7). Suppose -l*u = 3*f - 469, -f - 2*f + u + 493 = 0. Is f composite?
False
Suppose -z + 9849 = 3*z + 3*q, 0 = -4*q + 12. Suppose -2*i = d + 453 - 1268, 3*d - z = -i. Is d prime?
True
Let m be (-21)/(-105) - (-38)/10. Is ((-982)/(-4))/(2/m) prime?
True
Let s(h) = 35*h + 1. Let p(b) be the second derivative of b**4/6 - 5*b**3/6 - 5*b. Let t be p(3). Is s(t) a prime number?
False
Suppose 0 = -2*g - 2, 3*a + 4 = -5*g + 5. Let k(b) = -3*b - 1 + 4*b - 31*b**2 + 188*b**a. Is k(1) a composite number?
False
Suppose 67*i = 63*i + 8. Suppose 3*k + 2396 = 3*z + 2*k, -2*z + i*k = -1604. Is z a composite number?
False
Is ((-15)/(-9) + -1)/((-98)/(-1643313)) a composite number?
True
Suppose 4*h + 2*x = 4*x + 89634, -22406 = -h + x. Is h a composite number?
True
Let g(r) be the third derivative of 49*r**4/12 - r**3/6 - 2*r**2 - 7*r. Suppose 0 = -2*z + 14. Is g(z) composite?
True
Let s(o) = 257*o**2 - 1. Let y be (-36)/27*3/2. Let c be s(y). Suppose 2*b - 49 - c = 0. Is b prime?
False
Let z(c) = 9*c + 7. Let g be 0 + 1 + 6 + 1. Is z(g) a composite number?
False
Suppose -2*m - 8 = -3*m - 2*g, 0 = -2*g + 4. Suppose -5*z - q = -17172 - 2547, 0 = 4*z - m*q - 15756. Is z a prime number?
True
Let j(k) = 23*k**2 + 29*k - 35. Is j(34) a composite number?
False
Let a be -294 - 2 - (5 + 32/(-4)). Let k = a - -700. Is k prime?
False
Suppose 4*q + 429 = -287. Let w = q - -1018. Is w composite?
False
Suppose i = -18 - 18. Let q be (i/4)/(3/2). Is (-5)/15 - 230/q prime?
False
Let c = 53535 + -18694. Is c composite?
False
Let o(i) = 4590*i + 437. Is o(16) composite?
False
Suppose 104*w - 99*w = 5*y - 45285, 2 = w. Is y prime?
True
Let t(x) = -2*x**3 + x**2 + 1115. Is t(0) a prime number?
False
Suppose i - o = -0*i - 20, i = -5*o - 20. Let f = 57 + i. Is f composite?
False
Let h(c) = -c - 10. Let j be h(-4). Let q be ((-2)/j)/((-2)/(-12)). Suppose -q*l - 84 = -6*l. Is l a prime number?
False
Let a be (-6 - -5)/(1/(-3)). Suppose 0 = n - 5*t - 1054, -2*t - 4270 = -a*n - n. Is n prime?
True
Let x = -1414 - -1905. Is x a composite number?
False
Suppose -4*l = 2*r - 16, 0 = -5*r - 2*l - 2*l + 22. Suppose r*t - 3 = 7. Let p(o) = 7*o**2 + 5*o + 5. Is p(t) a composite number?
True
Let f(y) = -601*y. Let j(w) = -600*w + 1. Let x(g) = -3*f(g) + 4*j(g). Is x(-3) a prime number?
False
Let o = 11 + -5. Let i = 11 - o. Suppose -2*b + 4*r = b - 399, 0 = i*b - 5*r - 665. Is b composite?
True
Let m be 1*-1*(-18)/3. Suppose -4*u - 4*x + 4 = 0, 5*u - 17 - m = x. Is 41/2*(u + 6) composite?
True
Let a(i) = -3*i**2 - 9*i + 11. Let u(m) = 16*m**2 + 46*m - 54. Let s(j) = -11*a(j) - 2*u(j). Is s(15) a composite number?
False
Let h = 28984 - -12873. Is h prime?
False
Let i(q) = -q**3 - 22*q**2 - 2*q - 44. Let g be i(-22). Suppose g = -2*j + 790 + 824. Is j prime?
False
Suppose h + 4*q - 36 = 19, 0 = 2*h + 3*q - 105. Suppose -182 = -5*o - 3*c + 85, o + 3*c = h. Suppose g - o = 17. Is g a prime number?
True
Suppose 2*j + 2*j + 4*r - 4484 = 0, -2 = 2*r. Is 3*(0 - 1) + j a prime number?
False
Suppose -5 = -5*a - c, -c - 2 + 7 = -3*a. Let w(d) = d**3 + 5*d**2 - 7*d + 7. Let j be w(-6). Suppose a = -2*p + j + 15. Is p a prime number?
False
Let f(w) = 1736*w + 3. Is f(5) composite?
True
Suppose -5*a + 3*h = -101, 0*h - 69 = -3*a - h. Let t be ((-4)/(-10))/(a/(-220)). Let s(o) = -o**3 + 2*o**2 - 5*o + 2. Is s(t) composite?
True
Is 0 - (-48184)/16 - 1/2 a prime number?
True
Let x be (-18)/(-5)*(-10)/(-4). Let l = x + -10. Let d(s) = -131*s**3 - s**2 + 1. Is d(l) a composite number?
False
Suppose -162 = -2*c - c. Suppose -6*o + 2*o + 260 = 0. Let v = o + c. Is v composite?
True
Let d = 415 - 204. Is d prime?
True
Suppose 2*k - 2 = -b + 4, -2*k - 3*b = -14. Let n be -5 + k + (-4 - -2). Is n/4 + (-92)/(-8) composite?
True
Let p = -214 - -130. Let w = -40 - p. Suppose -2*v + y = 4*y - 39, w = 2*v - 2*y. Is v prime?
False
Let m = 36 - 30. Suppose j + 9415 = m*j. Is j composite?
True
Let n(w) = -w**2 + 4*w - 3. Let h(a) = a**2 - 9*a - 7. Let v be h(10). Let p be n(v). Suppose p = -4*x - 64 + 340. Is x a prime number?
False
Let d = 21145 + -10934. Is d prime?
True
Suppose 2*c - 14394 - 4767 = -3*o, 2*o = -2*c + 12774. Is o a prime number?
False
Suppose 4*g - 6 = -5*k, -2*g - 2*k = -k - 6. Suppose -n - 2 = -5. Suppose 3*l = 7*q - n*q - 123, g*q = -2*l + 138. Is q composite?
True
Let h = -8 + 8. Let f = h - -2. Suppose 308 = t + t - f*o, 0 = -4*t - 2*o + 634. Is t a prime number?
True
Suppose -2178 = -16*i + 718. Is i a prime number?
True
Suppose 2*q - 52626 = s + 4*s, -105270 = -4*q + s. Is q prime?
False
Let v(n) = -7*n**3 + 6*n**2 + 13*n + 13. Let h be v(-6). Is 6/(-3)*4/((-8)/h) a composite number?
False
Suppose 2*b + 2*v - 5725 = -v, 3*b = 3*v + 8565. Suppose 2*g = b + 11694. Is g/16 - 18/24 a composite number?
True
Let o(v) be the first derivative of -5*v - 4 - 3/2*v**2. Is o(-4) prime?
True
Let n = 17 - -5. Let y = 12 - n. Is (y/(-15))/((-4)/(-414)) a composite number?
True
Suppose -3*q + r + 3*r + 18 = 0, 0 = 2*q - 3*r - 13. Suppose -99 = -4*y + 3*d, -11 = q*y - 3*y - 2*d. Is y prime?
False
Let k = 701 + 1064. Is k composite?
True
Suppose t - 2916 = b, 0*b + 3*b - 15 = 0. Is t a prime number?
False
Let v(j) = 3*j**2 + 8*j + 4. Let s be v(-6). Let u be 0/((-4 + 3)/1). Suppose u = -p + s - 11. Is p a composite number?
False
Let u be (-120)/16*(-8)/3. Let y = u + 141. Is y prime?
False
Is 0 + 4 - 476806/(-22) a prime number?
False
Let j(f) = f - 8. Let b be j(12). Suppose 2*o + 3*a = -11, 2*o - 5*a = b*o + 21. Suppose s - 2*l - 334 = -3*s, -s - o*l = -91. Is s a composite number?
True
Let f be 12*(-4 - -40) + -3. Let x = 1098 - f. Is x composite?
True
Suppose -6167 = 8*d - 456447. Is d prime?
False
Supp