3*x = 5*u - 0*u - 5, 5*u = 5*x - 5. Suppose 0 = 3*d - x*d + 3*n, -2*n + 26 = 3*d. Suppose 25 = i - 3*g, -4*g = i - d*i + 103. Is i prime?
True
Let v(p) = p**2 + 7*p + 5. Let o be v(-6). Let t(a) = 0*a**2 + 20*a**2 + 0*a - 4*a + 5*a. Is t(o) composite?
False
Suppose -12 = 4*z, 14 = y - 5*z - 10. Let c = 10 + y. Is c composite?
False
Suppose -2*a + 0 = -10. Suppose -r = 3*r - 5*o - 91, a*o + 53 = 2*r. Is r prime?
True
Let x(u) = u**3 - 11*u**2 - 5*u - 5. Let k be x(8). Let g = k - -85. Let a = -75 - g. Is a prime?
False
Suppose 0*o - 84 = 2*o. Let p be o/(-4)*(-6)/(-9). Is 2/(-7) + 555/p a prime number?
True
Let w(f) = -6*f**3 - 5*f**2 - 2*f - 4. Is w(-5) a prime number?
True
Let h(j) = j**3 - 5*j**2 - 3*j + 5. Let k be h(5). Let q = 15 + k. Is (-15)/q*(-28)/6 a prime number?
False
Suppose y + 0*y = 0, -4*y + 25 = -5*t. Let n(p) = -4*p - 7. Is n(t) prime?
True
Let j(h) = -h**2 + 5. Let i be j(0). Suppose 6*b - 3*b + 5*u = 0, i*u = b. Is b + (76*1 - -1) composite?
True
Suppose -b + 350 = 4*n, 0 = -5*n - 3*b + b + 439. Is n a composite number?
True
Suppose -k + 37 = -21. Is k composite?
True
Let p(g) = -2 - g**2 + 7 + 3*g**2 - 4*g. Is p(-7) prime?
True
Let a be 12/(-20)*(2 - -3). Let f(w) = -11*w + 4. Is f(a) composite?
False
Is -2*(-2 - (-508)/(-8)) prime?
True
Suppose 20635 = 21*a - 28946. Is a composite?
True
Let w be 1/((-3)/(-186) - 0). Is (-4)/(-12) - w/(-3) composite?
True
Let c(f) = 30*f**2 + 2*f - 5. Let n be c(-6). Let g = -756 + n. Is g composite?
False
Let d = 13 + -8. Suppose -2*x - x + 164 = p, d*x - 275 = -2*p. Is x composite?
False
Suppose -1208 - 3653 = -z. Is z prime?
True
Let h = -70 - -37. Let w = h + 116. Is w composite?
False
Let i(g) = 3*g**2 - 2*g. Let l(u) = 4*u**2 - 3*u + 1. Let d(s) = 3*i(s) - 2*l(s). Let h be d(2). Let p(f) = 2*f**3 + 2*f**2 - 4*f + 3. Is p(h) prime?
True
Suppose 1674 = 2*b - d, d + 2*d = -b + 851. Is b prime?
True
Let r = 6 + 0. Let l(g) = g**3 - 6*g**2 + 2*g - 9. Let v be l(6). Is (2/r)/(v/711) prime?
True
Suppose -3 - 1 = k. Let h = 10 + k. Is h composite?
True
Suppose -4*g + 2*g - 9 = -5*h, -4*h = 5*g - 27. Suppose -h*j = -2*m - 2*m - 139, 2*j - 91 = 3*m. Is j composite?
False
Suppose 5*u - w - 2*w - 59 = 0, u - 15 = -w. Let n = -2 + u. Let x(q) = 4*q - 6. Is x(n) a composite number?
True
Suppose -f + 5 = 4*w - 7, 26 = 3*w + 5*f. Suppose -10 = 5*u, 2*n + w = 5*n + 2*u. Is n a composite number?
False
Is 2761 + 0 + 3 + (4 - 1) composite?
False
Let z(n) = -3 + 0 + 1 + 18*n. Is z(6) a composite number?
True
Let p(b) = -5*b - 3. Let f be (-56)/12 - 2/6. Let o be p(f). Is 1074/22 - (-4)/o prime?
False
Let f = 9 - 3. Suppose -2*g + f = g. Is g composite?
False
Suppose 0 = 3*r - 2460 + 441. Is r composite?
False
Let m(v) = v**2 - 4*v. Let h be m(5). Suppose -h*x = -4*x - 120. Let n = x - 51. Is n prime?
False
Let x = -1311 + 3212. Is x composite?
False
Let t(w) = -12 + 11*w**2 - 3 + 3 - 7*w. Let b be t(-8). Suppose 2*k - 3*v = -0*k + 499, -5*v = -3*k + b. Is k composite?
False
Let p(h) = -h + 5. Let r be p(0). Suppose -f + 5*u = -3, -u = -r*f + 4*u + 15. Is (-116)/(f - 2 - 3) composite?
True
Let w = -3538 - -5931. Is w prime?
True
Suppose 55 + 220 = 5*c. Suppose 4*d + c = 371. Is d prime?
True
Let y = -91 + 600. Is y a composite number?
False
Let h = -125 - -222. Is h a prime number?
True
Let q = -9 - -15. Let h be (3/q)/(1/32). Let m = -3 + h. Is m a composite number?
False
Suppose 2 = -4*m - 2*y - 2, 0 = 2*m + 4*y - 4. Is -11*(m + 7)*-1 prime?
False
Let v = -3 - -3. Suppose v = -2*l - l + 12. Suppose -345 = -5*c - 5*d, l*c - 6*d - 258 = -d. Is c a composite number?
False
Suppose -4*v = -3*v. Suppose v = -3*x - 5*p - 19, 4*x + p + 9 = 6*x. Suppose -x*t - 33 = -a, -t = -2*t. Is a a prime number?
False
Let h = 0 - -4. Suppose 7 - 24 = -h*x + m, -m = 3*x - 18. Suppose 151 = 4*p - 3*l - 137, x*l - 187 = -3*p. Is p prime?
False
Suppose 3*f = -5*a + 2*f + 965, 3*a - 3*f - 597 = 0. Is a composite?
True
Let s(x) = 41*x - 62. Is s(9) a composite number?
False
Let z = -33 - -18. Let q = -50 + 25. Let u = z - q. Is u composite?
True
Let j = -67 - -176. Is j composite?
False
Let x = 1 + -1. Suppose -2*d - 2*r + 268 = x, 2*d + 4*r - 403 = -d. Is d a prime number?
False
Let q be (-3)/(-2)*(-8)/(-6). Suppose l - 5*l + q*u + 116 = 0, 52 = 2*l + 2*u. Let g = l + 11. Is g composite?
True
Is (2/(-4))/(3*1/(-3246)) a composite number?
False
Suppose 6*q = 478 + 212. Is q prime?
False
Suppose -4*o + 292 + 540 = 5*m, -4*o - m + 816 = 0. Is o a prime number?
False
Is (8630/25)/(2/5) prime?
True
Suppose 158 - 22 = 4*k. Is k/1 + (-2)/(-2) prime?
False
Suppose -4*r + 2 = -14. Suppose r*n - h - 4*h - 10 = 0, 4*h - 8 = 0. Suppose -2*b = -3 + n, -4*a - 5*b = -71. Is a prime?
True
Let a = 227 + 480. Is a a prime number?
False
Suppose -92 + 12 = -4*w. Suppose w = 6*d - d. Suppose 0 = -s - 0*z + 3*z + 18, -4*z + 56 = d*s. Is s composite?
True
Suppose 2*c = -3*n + 274, 2*n + c + c = 186. Let w = -37 + n. Is w prime?
False
Let f(k) = 47*k + 18. Is f(7) prime?
True
Let w = -649 + 1642. Is w composite?
True
Let f be (-19)/(-7) + (-22)/(-77). Is f/(0 + 3)*1097 prime?
True
Suppose c = -2*x - 1, -c - 2*c + 21 = -2*x. Suppose -t - t = g - 1, c*t = g - 1. Suppose t = 8*q - 3*q - 395. Is q prime?
True
Is (39 - -14)/((-1)/(-2)) prime?
False
Let d be (0 - -18)*(-118)/(-6). Suppose d = r + 2*r. Suppose -v + 46 = 3*z, 9*z - 4*z = -3*v + r. Is v a composite number?
False
Let h = -13 + 16. Suppose h*o = -4*u + 549 + 301, o - 426 = -2*u. Is u a prime number?
False
Suppose 1255 + 1621 = 4*q. Is q a composite number?
False
Let q(p) be the first derivative of -p**3/3 - 11*p**2/2 + p - 6. Is q(-5) a composite number?
False
Let o(l) = -l**2 + 5*l + 6. Let n be o(7). Let z(u) = -2*u - 11. Let a be z(n). Suppose 176 = a*k - 69. Is k a prime number?
False
Is (1*3)/(-7*8/(-69944)) a composite number?
True
Is (-1)/4 - 22323/(-28) composite?
False
Suppose -2410 = -2*x - 3*x. Suppose -5*z + 633 + x = 0. Is z composite?
False
Let v(b) = b + 9 + b + 0*b - b. Let k be v(-4). Suppose 0 = k*d - 0*d - 55. Is d a prime number?
True
Is ((-1)/(-1))/((1 - -2)/15081) a composite number?
True
Let g(l) be the third derivative of -l**6/120 - l**5/30 - 5*l**4/24 - l**3/6 + 5*l**2. Is g(-4) prime?
False
Let h = 13 - 9. Suppose 2*a - 3*a - 3 = 0, -h*x = 4*a. Is (-155)/(3/x + -2) a prime number?
False
Suppose -2035 = -4*q - q. Is q prime?
False
Let g(s) be the first derivative of -s**4/4 + s**3 + 7*s**2/2 + 6*s + 2. Let q be g(-5). Suppose 6*t + 4*n = t + q, t = -3*n + 43. Is t prime?
True
Let i(j) = 2*j**3 - 2*j**2 - 6*j - 2. Let l(p) be the first derivative of -p**3/3 - p**2/2 - p + 1. Let d(x) = i(x) - 3*l(x). Is d(3) a composite number?
True
Suppose 6*c - c - 45 = 0. Suppose 3*q + 4*b = b + c, 4*b + 23 = 3*q. Is (-2 - (q - 2))*-2 prime?
False
Suppose 4*z - 9 + 1 = 0. Let g be (-14)/(-6) - z/6. Suppose -3*i = -4*i + 3*u + 41, -3*u - 67 = -g*i. Is i a composite number?
True
Suppose 5*b + 25 = 2*q, 2*q - b + 5*b = -20. Let f be q/(-3*2/3). Suppose f = 3*p + 12, 0 = o + 3*o + p - 100. Is o composite?
True
Suppose -d + 4*d - 33 = 0. Let s(a) = a**2 - 11*a + 3. Let n be s(d). Suppose -2*j - n*j + 4*r + 121 = 0, -5*r + 105 = 4*j. Is j composite?
True
Suppose w + 1108 = 2*m - w, -5*m = -2*w - 2761. Is m a prime number?
False
Let r(g) = -15*g**3 - 4*g**2 - 4*g + 8. Let n(p) = 14*p**3 + 3*p**2 + 3*p - 7. Let q(w) = -5*n(w) - 4*r(w). Is q(-2) prime?
False
Let b(g) = 21*g - 5. Is b(4) a prime number?
True
Let n be (-68)/(-18) + (-6)/(-27). Suppose -n*v = 4*h - 116, 0 = 4*v + 21 - 1. Let k = -24 + h. Is k composite?
True
Suppose -5*a + 0 = -3*g + 2, 2 = -5*g + 3*a. Let n = g + 0. Let s = n + 4. Is s a prime number?
True
Is (-11838)/4*(-44)/66 a prime number?
True
Suppose 0 = 7*y - 2*y - 3595. Is y a composite number?
False
Let o = 84 - 139. Let y = o - -177. Is y composite?
True
Let u = -3 + 5. Is u + -3 + 75*2 composite?
False
Let y be (-4)/(-14) + (-1202)/(-7). Let k = -1 - -4. Suppose 0 = -k*h + y + 185. Is h a composite number?
True
Suppose -573 - 74 = -d. Is d composite?
False
Let f(p) be the third derivative of p**6/120 + p**5/10 + p**4/12 - p**3/6 - 7*p**2. Is f(-4) composite?
False
Let j(k) = -k + 12. Let t be j(10). Suppose -t*m = -66 - 128. Suppose -158 = -5*g + 5*o + m, -g + 71