*w**3 - 87*w**2 + 28*w + 35. Is q(16) a prime number?
True
Suppose 4*l = 3*l + 5, j - 5*l + 21 = 0. Suppose -j*g + 0*g = -20. Suppose -5*s + 700 = g*o, 3*o + 2*s + 80 = 501. Is o a composite number?
True
Suppose -5*z = -k - 14 - 2, 3*z = -5*k + 4. Let w be (k/((-3)/(-1674)))/1. Is (-6)/21 - w/42 a prime number?
True
Suppose 31*b + 926 = 151. Is 4*(-5835)/b - 2/(-5) composite?
True
Suppose -37*h + 5533595 = -1135026. Is h a prime number?
True
Let i = 449 - 440. Is (331/2)/(1/(11 - i)) a prime number?
True
Let d(x) = x**3 - 4*x**2 - 5*x + 2. Let g be d(5). Let u(y) = -y + 48 - 2*y - y**g - 9*y - 24. Is u(-7) composite?
False
Let k(q) = 8765*q + 46. Let o(y) = -8764*y - 45. Let l(c) = 4*k(c) + 3*o(c). Is l(1) a prime number?
False
Let k be ((-679)/(-14))/(3/48). Suppose -50*u - k = -58*u. Is u prime?
True
Let p(g) = -1909*g**2 - 27*g - 9. Let x(l) = -3819*l**2 - 56*l - 16. Let b(c) = -13*p(c) + 6*x(c). Is b(-2) a prime number?
True
Suppose 4*r - 2971974 = -2*x, -27*r = -2*x - 22*r + 2971938. Is x a composite number?
True
Suppose 2*j - 21259 = t + 22114, 86740 = 4*j - 4*t. Suppose -14662 = 10*l + j. Is (2 - 1*9/3)*l composite?
True
Let g(l) = 488021*l**2 + 113*l - 113. Is g(1) a prime number?
True
Let p(y) = 3*y + 18. Let a be p(-5). Suppose 0*t + a*t = 3261. Is t composite?
False
Let u(z) = 329*z**2 - 10*z + 27. Let s be u(3). Let c = -499 + s. Is c a prime number?
True
Let j be 1 + -225 + (12 - 13). Let h be -3 + j/(-5) + -4. Suppose h = -7*r + 927. Is r prime?
True
Let a(w) = 575*w**2 - 22*w + 99. Is a(4) a prime number?
False
Suppose -188*y - 1320 = -182*y. Is (-36780)/y + (-4)/22 a prime number?
True
Let j(w) be the second derivative of 2*w**3/3 + 8*w**2 + 2*w. Let a be j(-5). Is a/18 - 1145/(-9) a composite number?
False
Suppose -3*l + 3 = 0, -3*q + 3750 = -2*l - 559. Let i = -694 + q. Is i a prime number?
True
Is ((536178/8)/(((-27)/36)/(-3)))/3 prime?
True
Is (61400/(-160))/(10/(-88)) a prime number?
False
Let n(i) = 14*i - 11. Let r(q) be the first derivative of 5*q**3/3 + 22. Let x be r(1). Is n(x) a prime number?
True
Let d be 10/(-1) - (-2)/(-1). Let t = 38 + -50. Is (-1948)/d - 8/t a composite number?
False
Let s be (-79794)/(-88)*2*(3 - 1). Let j = s + -1786. Is j a prime number?
False
Let s(y) = -7*y**2 - 31*y - 5. Let k be s(-4). Suppose 2*h = -k*r + 6*r + 10275, 2*r - 4*h - 20518 = 0. Is r composite?
False
Let p(o) = -o**3 + 27*o**2 - 51*o + 28. Let y be p(25). Suppose -2*i + 35535 = 3*q, -505 = -q + y*i + 11329. Is q composite?
True
Let w(c) = 5603*c - 6. Let d be w(-1). Let a = -826 - d. Is a composite?
False
Suppose g + 12 = -2*g + 3*u, 4*u + 16 = 0. Is (g/(-12))/((-2)/(-6999)) a prime number?
True
Suppose -1877517 = -20*w + 1701623. Is w composite?
True
Let q(i) = -79*i - 7. Let w be q(-10). Suppose 4*l - d + w + 13 = 0, -4*d = -5*l - 995. Is l/(-3 - -2) - (-3 + -1) a composite number?
True
Let a(d) = 1937*d**2 + 577*d**2 + 1271*d**2. Is a(-1) a prime number?
False
Let q = 138682 - 47075. Is q composite?
True
Let z be -64*1*2/(-4). Suppose 8 - z = 2*d. Let m(v) = -v - 5. Is m(d) a prime number?
True
Let s be (-246175)/(-10) + (-6)/4. Let c = -13965 + s. Is c a composite number?
False
Let d(q) = -24*q + 4. Let i be d(-4). Suppose -9*t + x + 96 = -4*t, -5*x - i = -5*t. Let y(h) = h**2 + 16*h + 20. Is y(t) a prime number?
False
Let y = -87215 + 163600. Is y prime?
False
Let b(m) = 23*m**2 - 3*m - 4. Let d be b(-1). Let z be 30/165 - (-152918)/d. Suppose -64*u - z = -67*u. Is u a prime number?
False
Suppose -67*o + 68*o - 5 = 0. Let l = 5 - o. Suppose -3*h = -5*m + 2773, -2*m + 3*m + h - 561 = l. Is m a prime number?
True
Let c be (-72)/(-20) - (-2)/5. Suppose -i - 24 = -c*i. Suppose 1226 = i*w - 2030. Is w prime?
False
Let q be 2/14 + (17244/(-21))/(-6). Suppose -l = 4*j - 596 + 22, -j + 3*l = -q. Is j a prime number?
False
Let h = -83 + 83. Suppose 5*d - 15 = -h. Is (10/(-20))/(d/(-462) + 0) a composite number?
True
Suppose 2*t - 2105 = -5*u, -u + 499 = -3*t + 95. Suppose 4*b + u - 1255 = 0. Is b prime?
False
Suppose -3*p = 4*s - s - 3621, 0 = -4*p - s + 4840. Let u = 15112 - p. Is u a composite number?
False
Let u(q) = q**3 + 104*q**2 - 36*q - 83. Is u(-24) composite?
False
Suppose -135 - 217 = -4*v. Suppose -11*p + 7*p = -v. Suppose -19*y + p*y = 795. Is y prime?
False
Let o(l) = -173*l - 17. Let n be o(-27). Let y = n + -1727. Is y prime?
True
Let l = 30531 - 12284. Is l prime?
False
Let b(d) = 8 + d + 34 + 3*d**3 - 39*d + 8*d - 68 - 18*d**2. Is b(13) a composite number?
True
Let a = -293 - -297. Is (-4545171)/102*a/(-6) a prime number?
False
Suppose 0 = 5*n + 4*t + t - 25, -3*t + 15 = -3*n. Let d(q) = -q**2 - 5*q + 3. Let j be d(-5). Suppose n = -0*f + j*f - 921. Is f a prime number?
True
Let n be (-2)/(-8) + 1/(-4). Is 4 - (n - (-91803)/(-3)) a prime number?
False
Suppose 16 - 12 = f. Suppose 0 = -3*h - h + 3*p + 9499, -9494 = -f*h + 2*p. Is h a prime number?
True
Suppose 0 = -3*v + 19*h - 24*h - 74, -3*v = 4*h + 76. Is v/(-6)*(-12033)/(-42) prime?
False
Suppose -39*z + 43*z + w = 7100, 3*z - 5325 = w. Let x = -714 + z. Is x composite?
False
Suppose 2*t - 6*t + 14421 = -5*q, q - 18048 = -5*t. Suppose 2*g - 8*s + 9*s = 7173, -t = -g + 4*s. Is g a prime number?
False
Suppose -59*h + 55*h = -32. Suppose 193*a - 195*a = -h. Suppose 0 = t - 4, 6*t = -3*x + a*t + 7121. Is x prime?
True
Let v be (-18)/(-81) + 34/9. Let k(s) = -8*s**2 + 9*s - 45. Let b(r) = 4*r**2 - 4*r + 22. Let w(o) = v*k(o) + 9*b(o). Is w(-8) prime?
False
Let p(o) = -1838*o - 305. Let c be p(14). Let s = c - -62546. Is s prime?
False
Suppose -3*q = 2*q + 5*h - 5030, -2*q = h - 2007. Suppose -2*j = -5*z + 1337, -83*j + 85*j = 8. Suppose -q = -10*l + z. Is l a composite number?
False
Suppose 23*h = 123 + 61. Suppose 0 = l - 4*s - 11557, h*s = 11*s + 6. Is l a composite number?
False
Let q = -150739 + 394088. Is q a prime number?
False
Suppose 0 = 3*m + 3*p - 2 - 4, 3*p = 12. Let y(h) = h + 4. Let g be y(m). Suppose -g*b - 1584 = -4*f - 0*f, -2*f - 4*b + 782 = 0. Is f a composite number?
True
Suppose -o - 3*o = 0. Let m be 116/30*1 + (-10)/(-75). Suppose o = 3*p, -m*a = -0*p + 3*p - 4460. Is a composite?
True
Let f(t) = 107*t - 6 + 13 + 49*t - 15*t. Is f(4) a prime number?
True
Is (-4)/6*(2/(-8) - (-26846663)/(-172)) composite?
True
Suppose 10 + 8 = 6*q. Is 7*23*(q - (-7 - -9)) prime?
False
Suppose -2*m + 5*t = -314165 - 174275, 1221151 = 5*m - 4*t. Is m a prime number?
False
Suppose -5*n - 2 = -22. Suppose 0*r - 2*g = -n*r - 1434, 692 = -2*r - 4*g. Let y = r + 745. Is y composite?
False
Let a be ((-10)/(-20))/(1/(-722)). Let b = -24 + a. Let k = b + 878. Is k prime?
False
Suppose -4*r = -0*r + 5*q + 4905, -r - 1245 = 5*q. Suppose -1976*s + 3615 = -1991*s. Let m = s - r. Is m prime?
False
Let u(k) = -6 + 71*k - 2*k**2 - 67*k + 7*k**2. Suppose -2*m = 2*a - 14, 0 = m - 0*a + 2*a - 9. Is u(m) prime?
True
Suppose 3*d + 2*d - 12570 = 5*x, 0 = -2*x. Suppose -3*z + d = -z. Suppose -2*u = u - z. Is u prime?
True
Let f(h) be the second derivative of 348*h**3 + 11*h**2/2 - 5*h. Let n be f(1). Let m = -1186 + n. Is m a composite number?
True
Let d(b) = 0*b**3 - 7*b + 0*b**3 - 8*b**2 + 5 - 12*b**3 + 0*b**2. Is d(-4) a composite number?
False
Suppose -34*c = -54*c + 2925020. Suppose x - c = -16*x. Is x a composite number?
True
Suppose -42*v + 1224379 = 36*v - 65*v. Is v a composite number?
True
Suppose 0 = k - 13 + 12. Let i = k - 2. Is 0 - (-183 - (i + 5)) a composite number?
True
Let b(w) = -6276*w - 1007. Is b(-30) a prime number?
True
Suppose -4*o + 2 + 2 = 0. Let t be 8/(o + -1 + (-4)/(-2)). Suppose t*h = 2*z - 3154, -4*z + h - 5*h = -6248. Is z a prime number?
True
Let s(n) = 3223*n**2 - 16*n + 4. Is s(-3) a composite number?
False
Is (-18 - 255/(-17))/(3/(-123427)) a prime number?
True
Let g(j) be the second derivative of j**4/12 + 5*j**3/2 + j**2 + 20*j. Let m be g(-15). Suppose -m*n + 2996 = 2*l, -5*l = n - l - 1495. Is n a composite number?
False
Let z = 14202 - -21151. Is z a composite number?
False
Let b(w) = 5*w - 53. Let j be b(17). Let g = 27 - j. Is (g - 1028/(-16))*8/3 a prime number?
False
Let f(z) = z**2 - 10*z - 13342. Let l be f(0). Let x = 19019 + l. Is x a composite number?
True
Let d(m) = 971*m - 1. Let t be d(1). Let i be ((-48)/(-32))/(1/86). Let 