/(-12))/((-2)/8). Suppose 4*p + 1 = d. Is p a prime number?
True
Suppose -1 + 13 = 4*g. Suppose -g*i + 0*i + 177 = 0. Is i a composite number?
False
Let i be (-1 - -1)*2/4. Suppose 3*y - 50 - 28 = 0. Suppose i*d + y = 2*q + d, 3*q - 4*d - 17 = 0. Is q composite?
False
Suppose 2*c - 3*c + 220 = 0. Suppose 7*z + c = 2*z. Is (4 - 7)/(6/z) composite?
True
Suppose -y = y + 4. Is (36/42)/(y/(-14)) a composite number?
True
Suppose -4*w - 2*k = -w - 19, 2*k = 4. Suppose 3 = -w*p + 23. Suppose 2*u - p*u = -78. Is u prime?
False
Let f(z) = -59*z + 4. Let p be f(-3). Suppose 5*g = b - 196, -2*b + p = -g - 238. Is b a prime number?
True
Let o = 889 + -348. Is o composite?
False
Let l = 5 + 5. Let o(h) = 3 - 2 - 6 - l*h. Is o(-4) a prime number?
False
Let f be (-4)/(16/(-30))*2. Is (-9)/(-2)*50/f composite?
True
Suppose -1524 = q - 5*q. Is q a composite number?
True
Suppose 25 = 5*d, -h - h + d + 1 = 0. Suppose -m = -y - h + 18, 0 = -5*m. Is y a prime number?
False
Let z = 10 - 2. Suppose z*i - 6*i = 1270. Is i prime?
False
Let p(r) = -30*r + 3. Let n be p(-5). Suppose 60 = -3*c + n. Is c a prime number?
True
Let v(r) be the first derivative of -r**3/3 + 3*r**2 - 2*r + 4. Let h be v(5). Suppose z = 5*y - 111, h*z - 2*z - 119 = -5*y. Is y composite?
False
Let w(j) = j**2 + 2*j - 7. Let m(f) = -3*f**2 - 7*f + 20. Let r(l) = -6*m(l) - 17*w(l). Let z(a) = -a + 14. Let b be z(6). Is r(b) composite?
False
Let t be (-1)/((2/(-8))/(-1)). Is -15*(t - 68/12) composite?
True
Let o be 5/3 - (-4)/12. Suppose -3*u - 252 = -2*r + 10, 5*r + u - 621 = 0. Let a = o + r. Is a composite?
False
Let j(f) = -16*f - 1. Let m be j(-1). Let i = 0 + 9. Let s = m - i. Is s a composite number?
True
Suppose -2*p + 3*p = 3. Suppose a - 5*l - 142 = 0, 5*a + p*l - 797 = -l. Is a a composite number?
False
Let n = 10 - 5. Suppose -2*o - 211 = n*l - 682, o + 4*l = 243. Is o composite?
False
Is ((-27)/(-81))/(2/1266) composite?
False
Let a = -3 + -2. Let h(w) = -116*w + 7. Is h(a) prime?
True
Let c(h) = h**2 - 3*h - 3. Let r(x) = 4*x**3 + 2*x - 1. Let m be r(1). Suppose 2*k + 1 = 2*j - 5, m*j + 2*k = 29. Is c(j) a prime number?
True
Suppose -1550 = -5*j + 5*q, 2*j = 5*q - 168 + 797. Is j prime?
True
Let y = 4 - 1. Suppose -y*z = -797 + 188. Is z composite?
True
Suppose 2*f - 3*f = s + 1, f = 2*s - 4. Let z be -2 + -2 + s + 4. Is (-2)/(4/(-74))*z a composite number?
False
Let u = 47 + -2. Let t(q) = q**3 - 6*q**2 - 3*q + 6. Let s be t(7). Let n = u + s. Is n a prime number?
True
Let u = 20 + -20. Suppose -3*b + u*b - 650 = -4*k, 4*k - 5*b - 654 = 0. Is k a prime number?
False
Let c be (-2 + (-2 - -3))*-10. Suppose 0 = -2*z + c, 0*k = -k - 4*z + 18. Is 0 + k - (-22 - -1) prime?
True
Suppose 23*x = 31*x - 3880. Is x prime?
False
Let j = -1693 - -5044. Is j composite?
True
Suppose 0 = -0*d + 5*d - 35. Suppose -4*a = -y - d, 0 = -5*y + 14 + 11. Suppose a*o + 74 = 5*o. Is o a composite number?
False
Let w(k) = 50*k - 3. Let j(t) = -7 + 5 + 201*t - 2*t - 11. Let a(n) = 2*j(n) - 9*w(n). Is a(-1) prime?
True
Let o(h) = -3*h**2 - 10*h + 7. Let u(z) = 2*z**2 + 5*z - 4. Let n(y) = 3*o(y) + 5*u(y). Let k be n(5). Is (2/(-6))/(k/(-21)) a prime number?
True
Let p(x) = 642*x + 7. Is p(2) a composite number?
False
Let k be (-6)/21 + 1648/(-14). Let g = -71 - k. Is g a prime number?
True
Let b = 69 + -31. Suppose -2*k = 4*n - b, 4 = -4*k - 4*n + 80. Is k composite?
False
Let z(j) = 10*j - 3. Suppose -28 = -5*t - 3*v + 3, 25 = 5*t + 5*v. Is z(t) composite?
True
Let l(v) = -165*v + 43. Is l(-10) a composite number?
False
Let s be (5/4)/((-2)/(-8)). Let j = -331 - -994. Is j/5 - (-2)/s a prime number?
False
Suppose 4*c = -3*x + 16949, -3*c = 2*x + x - 16947. Is x a prime number?
True
Is (8/(-12)*1)/((-1)/1041) composite?
True
Let k = 6373 + -4394. Is k a composite number?
False
Let o(f) = -4*f**3 + 2*f**2 - 2*f + 2. Let n be o(2). Let j be 13/(-2)*n + 2. Suppose 2*y - 178 = 2*d + 2*d, 0 = -2*y - 3*d + j. Is y prime?
False
Suppose -5*m + 2336 = -k, m - 465 = -0*k - 2*k. Is m a prime number?
True
Let j(d) = -d**2 + 3*d + 4. Let u be j(4). Suppose u = -p - 3*v + 175, -v + 160 + 180 = 2*p. Is p composite?
True
Suppose -s - 6*s + 5201 = 0. Is s composite?
False
Suppose 4*q = -0*q. Suppose -4 = -2*u - q*u. Suppose -66 - 154 = -5*a + u*j, 25 = 5*j. Is a prime?
False
Let s = 19 - 16. Is (-6)/18 - (-238)/s prime?
True
Suppose 4*f - 32 = -4*s, 0 = -3*s - 2*f - 2*f + 27. Suppose 4*q - s*q = 3*c - 67, -c + q + 17 = 0. Is c composite?
True
Let c be (-2)/((-1208)/(-606) + -2). Let i = c + 656. Is i a prime number?
False
Is (-5643)/(-36) + 1/4 a composite number?
False
Let n(b) = 492*b**2 - 3*b + 7. Is n(2) a prime number?
False
Suppose -m - 354 = -2*m. Let q = -131 + m. Is q a prime number?
True
Let l = 256 - 111. Suppose 3*p = l + 200. Is p composite?
True
Let o(q) = q**2 - q - 1. Let x be 3*(26/6)/1. Is o(x) prime?
False
Suppose 5*k = -0*k + 20. Let q(c) = -5 + 5*c + k + 7. Is q(5) a prime number?
True
Suppose 0 = 9*o - 192 - 15. Is o composite?
False
Let n = -107 + 330. Is n a prime number?
True
Let p(h) = h - 5. Let j be p(3). Is ((-19)/(-3))/(j/(-6)) a composite number?
False
Is 4/22 - (-12869)/187 a prime number?
False
Suppose -5*b + 8 = -22. Let t(p) = p**3 - 5*p**2 - 5*p - 4. Let m be t(b). Suppose -4*w = -w - 3*r - 12, -4*r = 2*w - m. Is w prime?
True
Suppose 0 = -y - 2*y + 12. Suppose -2*o - 30 = -y*o. Is o a prime number?
False
Let o = 6 + -4. Suppose -o*u = -0*j - 5*j - 82, 5*u = -5*j + 135. Suppose n = u + 24. Is n a prime number?
False
Let j(f) = f**3 + 5*f**2 + 5*f + 4. Let z be j(-4). Suppose -d + 5*n + 25 = 4*d, z = 2*d + 3*n + 5. Is (-99 + d)*(-3 - -2) a composite number?
False
Let w = -10 + 9. Is 5*(-1 - 10)*w a prime number?
False
Let y(t) = t**3 + 5*t**2 + 2. Let b be y(-5). Suppose 0 = r - 5*c - 33, b*c + 3 = -1. Is r prime?
True
Let w = -445 - -1539. Is w/5 - 4/(-20) a prime number?
False
Is 7/14 - (-1634)/4 a prime number?
True
Suppose 5*v + 5 = 0, 0 = -4*c - 0*c - v + 19. Suppose -4*x - 5*p + 303 = 0, c*x + p + 116 = 500. Is x a composite number?
True
Let a = -910 - -1467. Is a a prime number?
True
Let u = -975 + 2564. Is u composite?
True
Suppose 4*z - 35 - 25 = 0. Suppose 5*u + 3*b - 119 = 0, 7*b = 2*b + z. Let w = 35 - u. Is w prime?
True
Suppose 2*x - 61 - 7 = 0. Is x a prime number?
False
Suppose -31 = f + 51. Let a = -45 - f. Is a composite?
False
Let y = 1583 + -1018. Is y prime?
False
Let f = 0 - -5. Suppose 0 = -7*v + f*v + 358. Is v a prime number?
True
Let g(c) = -c**3 + c**2 - c. Let r(u) = 3*u**3 - 12*u**2 + 15*u + 12. Let j(o) = -4*g(o) - r(o). Is j(-9) a prime number?
False
Suppose -3*i + z = 3, -3*i + z = 2*i + 5. Let h = 0 + i. Is 2 - (h - -1 - 53) a prime number?
False
Let c = 168 - 86. Suppose -2*d + c = -4*i, -5*d - 3*i = -3*d - 68. Is d a composite number?
False
Let v(r) be the second derivative of -r**5/20 - r**4/6 - r**3/3 + 2*r**2 + 2*r. Is v(-3) prime?
True
Let q(c) = 48*c**3 - 4*c + 1. Is q(3) composite?
True
Suppose 4*s + 7147 = 5*i - 142, -i = 4*s - 1453. Is i a composite number?
True
Let i(s) = -s**3 - 12*s**2 + 2*s - 9. Is i(-13) a composite number?
True
Let p = 5 + -5. Suppose 4*h - 3*h = -3*c + 384, c + 4*h - 139 = p. Is c a prime number?
True
Suppose 2 = -3*n - 10, -5*b - 3*n = -4433. Is b composite?
True
Suppose -4*f - 19 = -2659. Suppose -2*s - f = -4*b - 136, -3*s = 0. Is b a prime number?
True
Suppose 2*y - 12 = -y. Suppose m + y*m = 475. Is m prime?
False
Let f(z) = 3 - 10*z - 5 - 5 + 2*z. Is f(-9) composite?
True
Let l = -3 + 212. Is l composite?
True
Let p(x) = 21*x**2 + 2*x + 1. Let r be p(5). Suppose 0 = -3*u - u + r. Suppose -u = -4*b - 2*w, -b - 2*b - 2*w = -99. Is b composite?
True
Let n be (4/3)/((-2)/(-2022)). Is n/20 + 2/(-5) composite?
False
Let o = -10 - -10. Suppose -3*x - 2*f + 5*f = -1332, -x + 4*f + 447 = o. Is x a composite number?
False
Is (-1)/(-10) + (-56298)/(-20) a composite number?
True
Suppose 0*d - 2*d = -6. Suppose -3*c - 3 + 15 = 3*n, 4*c = d*n - 33. Let f = 28 + n. Is f a prime number?
False
Let f(c) = -c**3 - 9*c**2 + 12*c + 15. Let k be f(-10). Let i(o) = -o**3 - 5*o**2. Let h be i(k). Suppose h = -a + 82 - 3. Is a a composite number?
False
Let m(i) = -3*i**3 - 35*i**2 - 32*i - 10. Let j(p) = p**3 + 12*p**2 + 11*p + 3. Let x(s) = 