Let r(c) = 304*c + 10. Is r(4) composite?
True
Let l(g) = -g + 1. Let v(w) = 9*w - 10. Let t(q) = -6*l(q) - v(q). Let h be t(4). Let o = -5 - h. Is o composite?
False
Let y = -1 + 3. Let h be ((-3)/y)/((-6)/(-16)). Is (2/h)/((-1)/28) prime?
False
Suppose 0 = 7*d - 3*d - 4460. Suppose d = 3*h + 2*h. Is h a composite number?
False
Let y(k) be the third derivative of k**5/30 - k**4/3 - 2*k**3/3 - 3*k**2. Let m(z) = z**3 + z**2 + 1. Let b(g) = -m(g) - y(g). Is b(-5) a composite number?
False
Is -2 + (2000/2 - 5) prime?
False
Let m(t) = -5*t**3 + 6*t**3 + 7*t**2 - t - 3*t + 5*t + 6. Let x be m(-7). Let y = 22 + x. Is y a composite number?
True
Suppose 0 = 2*l + 5*o - 93, -4*o + 11 = 31. Is l a prime number?
True
Let f be (55*-2)/(8/12). Let y = -7 + -81. Let o = y - f. Is o a prime number?
False
Suppose -5*u = 3 - 13. Is 1 + u + -5 - -523 a composite number?
False
Let t(u) = 7*u + 6 - 6. Is t(2) prime?
False
Let f = 0 - -6. Suppose 4*j = -2*q + 122, -f*q - 2*j + 226 = -2*q. Suppose w = 5*v - q, -4*v + 4*w = -0*v - 60. Is v a composite number?
True
Let f = 4 - 0. Suppose -c = -2*c + f. Is 10/c - (-6)/4 prime?
False
Let v = -77 + 344. Is v a composite number?
True
Suppose 0*u = 4*u + 124. Is (-1*1)/(1/u) a prime number?
True
Let k = -1 - -4. Suppose 5*z + 3*s - 18 = 13, k*s = -3*z + 15. Is (212/z)/(1/10) a composite number?
True
Suppose 449 = 5*w + 2*o, -8*w = -5*w + 2*o - 271. Is w a composite number?
False
Let j(s) = -8*s - 1. Let y be j(1). Let q = y - -13. Is ((-33)/6)/((-2)/q) a composite number?
False
Suppose -5*w = -5*u - 235, u + 153 = 3*w + 4*u. Let z = -125 + w. Let q = 21 - z. Is q prime?
True
Suppose -4*v - v = -65. Let z(h) = h**3 - 13*h**2 + 11*h + 2. Is z(v) a prime number?
False
Let o(t) = 6*t**2 + 3*t - 4. Is o(3) a composite number?
False
Let a = -8656 + 12138. Is a prime?
False
Let z(d) = d**3 - 9*d**2 + 8*d + 3. Let l be z(8). Suppose 2*n + 0*n - 166 = q, 0 = l*n - 2*q - 249. Is n composite?
False
Let f be (0 - -8)*(-2)/(-4). Suppose -t + f*t = -4*q + 303, 3*t + 399 = 5*q. Let n = 191 - q. Is n composite?
False
Let w(m) = 8*m. Let i be w(1). Let y(d) = d - 5. Let u be y(i). Suppose 3*s - 4*g - 350 - 117 = 0, u*s = -3*g + 474. Is s a composite number?
False
Let q(t) = -t**3 - t**2 + 2. Let f be q(0). Suppose -2*h - f*b = -108, -h - 42 = -2*h - 5*b. Is h composite?
True
Let l(k) = 2*k**2 + 8*k. Let f be l(-4). Suppose f = -x + 1 + 268. Is x a prime number?
True
Is (-2)/((-3)/((-55308)/(-8))) composite?
True
Let p(m) = 3*m - 2*m + 2*m + 1. Let w(x) = x**3 + 3*x**2 - 4*x + 4. Let f be w(-4). Is p(f) a composite number?
False
Suppose -5*t + 47 = -33. Let b = t + 53. Is b a composite number?
True
Let b(x) = 22 + 17*x + 24*x + 23*x**2 + 1. Let f(p) = 4*p**2 + 7*p + 4. Let h(o) = 6*b(o) - 34*f(o). Is h(-6) a prime number?
False
Let g = 53 - 20. Suppose -g = -3*j + 30. Is j composite?
True
Let p be 5 - (-2 - (0 - 2)). Is 46/(-1*(-2)/p) a prime number?
False
Let o = -333 - -640. Is o a composite number?
False
Suppose -3*g - 9 - 6 = 0. Let s(d) = -6*d + 4. Is s(g) a composite number?
True
Suppose 0 = u - 4*i - 115 + 15, -5*u + i + 424 = 0. Suppose -2*t + 350 = -u. Is t prime?
False
Let l be -2*(-1)/2*2. Let b = l + 2. Suppose b*o - 14 - 24 = 3*p, -2*o - 4*p + 30 = 0. Is o composite?
False
Let g = -125 + 594. Is g composite?
True
Let u(w) = w**3 + 15*w**2 + 7*w + 13. Is u(-14) a prime number?
False
Let g(z) = z + 5. Let i be g(0). Suppose -4*c + 181 = -i*b - 302, 5*b + 229 = 2*c. Is c a prime number?
True
Suppose y - 5 = -2*a, y - 11 = 5*a - a. Let k = 13 - y. Is k a composite number?
True
Let t(j) = -j**3 + 11*j**2 - j + 5. Let x be t(7). Is x + -1 + (8 - 10) a prime number?
True
Suppose -2*x + 4*u + 16 = 0, 2*x - x + 2*u = 0. Is x/(-10) + (-154)/(-10) a prime number?
False
Let y be 24/9*(-99)/4. Let d = y - -257. Is d a composite number?
False
Suppose -l = -18 + 7. Is l prime?
True
Let d(o) = -o**2 + 11*o + 7. Suppose -s + 12 - 1 = 0. Is d(s) a prime number?
True
Let h(x) = 248*x**2 + 2*x + 13. Is h(4) composite?
False
Let h = 4 + 1. Suppose h*t = f + 268, 3*t - 3*f - 156 = -4*f. Is t composite?
False
Let y(d) = d**3 + d**2 + d + 2. Let m be y(0). Let v be (m/3)/((-4)/36). Is (106/v)/((-1)/3) a composite number?
False
Suppose 0 = -3*t + 4*z - 6*z + 19, -5*t - 5*z + 40 = 0. Suppose 15 = t*r - 2*r. Let a = r - -70. Is a composite?
True
Is (-2 - 1837)*(3 - (2 - -2)) composite?
True
Suppose -5*b + 5 = -5*p, 0 = 4*b - 3*p - 10 + 3. Let a be (3/6)/(1/12). Suppose -g - 4 = 0, b*c = 3*g - a*g + 208. Is c prime?
False
Let m be 21/((3/18)/1). Suppose -m - 87 = -3*w. Is w a composite number?
False
Let f = -37 - -7. Let l = 56 + f. Is l composite?
True
Is ((-1)/(1/89))/(-1) composite?
False
Suppose 5*z = 6*z + 7. Let a(v) = -18*v + 1. Is a(z) composite?
False
Suppose 9225 - 2215 = 10*h. Is h a composite number?
False
Let v = 9 - 9. Let y be v + 6/4*2. Suppose 4*i - 168 = y*j + 2*j, -5*i + 205 = -5*j. Is i prime?
True
Let b be (-30)/(-1) + 3 + -5. Suppose -5*x - b = -363. Is x a composite number?
False
Let z(k) = k**3 + 15*k**2 - 15. Let o be z(-15). Let x(g) = g + 4. Let v be x(-4). Let i = v - o. Is i prime?
False
Suppose -9 - 5 = -2*k. Is k composite?
False
Let l(m) = 72*m - 23. Is l(11) a prime number?
True
Let x(n) = 9*n**2 - 14*n + 17. Let p(j) = 3*j - 7. Let g be p(5). Is x(g) composite?
True
Is (-139)/(3/3)*-1 composite?
False
Let s = 156 - -60. Suppose -1186 = -5*w - s. Is w a prime number?
False
Let q = 30 + -15. Suppose j + 2*j + 75 = 5*l, -l + q = 3*j. Is l prime?
False
Is ((-447)/6)/((-3)/66) composite?
True
Suppose -7*u + 120 = -2*u. Let x = -14 + u. Is x a composite number?
True
Let z be 30449/(-4) + 3/12. Let m be z/14 - 4/14. Let r = m - -767. Is r a composite number?
False
Suppose -5*s + 2*o + 5 = 0, -3*s + 2*o + 2 = 3. Suppose -2*c - s*j = -13, 3*c + 0*j - 7 = -2*j. Is (-78)/(c*3) - 1 a prime number?
False
Let v(b) = -b + 111. Suppose -4*l = -h - 2, 5*h = -l + 6*l - 10. Is v(l) a composite number?
True
Suppose 2*h = 3*g - 8*g + 53, 2*g - 26 = -2*h. Let t(z) = 8*z + 13. Is t(g) composite?
True
Suppose 0 = -2*c - 5*q - 112, q = -2*c + 6*q - 112. Suppose -w - 138 = -2*w - 4*m, 3*m = -w + 141. Let k = w + c. Is k a prime number?
False
Suppose 0 = n - 2*v, -2*n + 2*v - 6*v + 8 = 0. Let x be ((-5)/n)/((-1)/2). Suppose -x*q + 69 = j + j, 0 = -j - 5*q + 22. Is j a prime number?
True
Is 34/4*(-12 + 46) a composite number?
True
Is 793 - (5 - (9 - 4)) prime?
False
Suppose -2*k - 147 - 56 = -v, -4*v + 822 = 2*k. Is v prime?
False
Suppose 8 = 4*b - 8. Suppose 0 = -0*p + b*p - 220. Is p composite?
True
Suppose -3*v + 18 - 3 = 0. Suppose 2*q - 2*y + 402 = 4*q, 0 = -5*q - 2*y + 1017. Suppose -q = -v*n + 40. Is n prime?
False
Let z(d) be the first derivative of d**5/60 - d**4/6 + d**3/6 + 3*d**2/2 + 2. Let q(n) be the second derivative of z(n). Is q(7) prime?
False
Suppose -2*q - 12 = 2*q. Let h = 18 + q. Is h composite?
True
Suppose 4*z + 107 = y, 0 = -y + 6*y - 5*z - 610. Let t = y + -62. Is t a composite number?
True
Suppose -58*i = -55*i - 5277. Is i a composite number?
False
Let c = 27 + -18. Suppose -14*u + c*u = -185. Is u a prime number?
True
Let w = -9 + 37. Is (w/6)/((-12)/(-522)) prime?
False
Let d(r) = 4*r**2 - r. Let u be d(-2). Is 1/(-3) + 2292/u prime?
True
Suppose 1115 = 7*w - 2*w. Is (w/(-2))/(1/(-2)) a composite number?
False
Is 4 - (-9*10 + 1) composite?
True
Suppose 0 = -12*b + 3369 + 3987. Is b a composite number?
False
Let f(t) = 16*t - 1. Let r be (-2)/(-6) - (-30)/18. Is f(r) composite?
False
Let v(n) = -5*n**2 + 14*n - 15. Let r(c) = 3*c**2 - 7*c + 7. Let i(s) = 7*r(s) + 3*v(s). Is i(3) prime?
True
Let z(l) = 2*l**2 + 2*l + 5. Let g(h) = -h**2 - 2*h + 1. Let y be g(-2). Let f = y + -7. Is z(f) composite?
True
Let n = -957 - -1568. Is n composite?
True
Let m be (-11)/(-5) + (-3)/15. Let s = 2 - m. Suppose b + 2*b - 33 = s. Is b prime?
True
Suppose 3*i = -34 - 20. Let z be (-122)/6 + 12/i. Let c = z + 52. Is c prime?
True
Let i be (1 - 0)/(-1) - -3. Suppose 0 = -i*s + 54 + 24. Is s composite?
True
Let z = -5 - -21. Let n be 111*(z/6 + 1). Let i = -288 + n. Is i prime?
False
Suppose 2*y - 4*c - 3 - 1 = 0, -c + 2 = 0. Is 16 + (y/(-2) - -2) composite?
True
Suppose 186 = -2*q + 4*l, -4*l - 202 = 4*q - 2*q. Let r = q + 143. Is r