 4*y - 24 = a. Is y prime?
True
Let i(f) = 9*f**2 - 3*f - 3. Is i(9) composite?
True
Let n be ((-2)/(-6))/(2/114). Let w = 18 + n. Is w prime?
True
Suppose v + 3*o = 431, 3*v + 3*o - 1303 = -o. Is v prime?
False
Suppose 0 = 4*t - 5*n + 2348, -8*t + 3*t - 2952 = -2*n. Let s = -381 - t. Is s composite?
False
Let p(l) = -7*l + 5. Let d be p(-6). Let a be 2/(4/(-2) - -4). Suppose -2*i - 2 - a = -z, 4*z = i + d. Is z a composite number?
False
Suppose 596 = g + 3*r, 3*r + 0*r - 9 = 0. Is g prime?
True
Let k(b) = b**2 + 2*b + 1. Let u be k(-3). Suppose 0 = h - u*h + 15. Suppose -5*l - 2*d + 125 = 0, h*l + 71 = 4*d + 196. Is l prime?
False
Is (-1)/(0 + 3/(-807)) composite?
False
Is 9*(2/(-3) + 1) a prime number?
True
Let g be ((-108)/(-14))/((-1)/(-7)). Let v = g + 577. Is v a prime number?
True
Let h = 74 - 52. Suppose -h - 2 = 4*a. Is (201/a)/((-3)/6) a composite number?
False
Let p = -625 + 1212. Is p composite?
False
Let x(b) = -b**3 - 6*b**2 + 6*b - 5. Let g be x(-7). Suppose t = -t + g. Is (12 + (-3)/(-1))/t prime?
False
Let y(q) = 126*q**2 + q + 2. Is y(3) prime?
False
Suppose 159 = 2*i - 371. Is i prime?
False
Suppose -s - 95 = -6*s. Suppose s = -o - 14. Let n = 20 - o. Is n prime?
True
Let b(o) be the third derivative of -o**6/60 + o**5/30 - o**4/12 + 2*o**3/3 - o**2. Is b(-3) prime?
False
Let l = -53 - -90. Let s = 74 - l. Is s composite?
False
Let n(j) = -3*j**2 + 19*j + 13 - 8*j**2 - 7*j**2 + 3*j**2 + j**3. Is n(14) a prime number?
True
Is (-52)/39 + (-770)/(-6) a prime number?
True
Suppose 3*q - 3 = q - 3*p, q - 7 = 4*p. Suppose -6*o + q*o = 0. Suppose -5*k - f + 166 - 59 = o, 4*k - 94 = 2*f. Is k a composite number?
True
Let x = 3 - -1634. Is x prime?
True
Is (-2)/4 - 750/(-4) prime?
False
Suppose -2*s - 4336 = -5*z, -3*z + 0*z + 2*s = -2604. Is z a composite number?
True
Let c = -110 + 212. Suppose 2*p = -p + c. Is p/3 - (-5)/(-15) prime?
True
Let o be (2/1 + -4)/2. Is -1 + (3 - (o + -88)) a composite number?
True
Let v(z) = -985*z + 3. Is v(-2) composite?
False
Let x be 504/(-30)*(-160)/3. Suppose -4*z + 4*g + x = 0, 5*g + 485 + 189 = 3*z. Is z a prime number?
True
Let u(p) = 42*p + 1. Let l be u(1). Suppose l = m - 2. Suppose -4*k = -k - m. Is k a composite number?
True
Suppose 0 = 2*g - 5*b - 25, -3*g - 2*g = -3*b - 34. Suppose 78 = -3*k - 4*c + 493, -379 = -3*k + g*c. Is k prime?
False
Let v = 31 - -27. Let o = v + 69. Is o composite?
False
Suppose -26*w = -27*w + 1693. Is w composite?
False
Is 817*1 - (8 - 6) a composite number?
True
Suppose 0 = -2*k + 4*h + 102, 259 - 106 = 3*k - 3*h. Suppose 2*o - k = -o. Suppose -2*l + 2 = c - o, 4*l = 2*c - 38. Is c prime?
True
Let m(h) = 2*h + 1. Let p be m(1). Suppose 0 = p*a - 0*a + 210. Is (a/4)/(2/(-4)) a prime number?
False
Let a be (-2)/(-2) + (3 - -7). Suppose 6*k - 7*k + a = 0. Is k prime?
True
Let s(a) = a**2 + 7*a + 8. Let j be s(-6). Suppose -8*q = 4*w - 4*q - 2540, -2*w + j*q + 1274 = 0. Suppose 2*p - y = -3*p + w, -5 = 5*y. Is p composite?
False
Suppose 3*y = 2*f + 985, -f = -y + 188 + 139. Suppose -y = -5*i + 54. Is i a prime number?
False
Let x be 1/(-3)*(1 - -5). Let y = 2 + x. Is (y/(-2) + -1)*-79 prime?
True
Let r = -167 - -380. Is r a prime number?
False
Let b(d) = -d**3 - 2*d**2 + d + 2. Suppose 0 = -2*g - 3*z - 13, 0 = -2*g + z - 1 - 0. Let w be b(g). Is w + -1*53*-1 composite?
False
Is 6/(-8) + 54754/56 a prime number?
True
Suppose 10 = -2*g, 9*g = -4*b + 12*g + 731. Is b a composite number?
False
Is (-6230)/(-20) - 2/4 a prime number?
True
Suppose 2*k - 1 = 7. Suppose -3*h = 2*o + 2 + k, h - o + 2 = 0. Is h/3 + (-70)/(-6) a composite number?
False
Let x(v) be the third derivative of v**6/120 - 3*v**5/20 + v**4/3 - v**3/6 + v**2. Let f be x(8). Let r(s) = 80*s**2 + 2*s + 1. Is r(f) a prime number?
True
Let g = -30 + -22. Let w = 117 + g. Is w a composite number?
True
Let j be -6*(-42)/9*1. Let u be 8/j + (-2)/7. Is u - -5*7/1 a composite number?
True
Suppose -4*f = x - 47, 4*f - 64 - 37 = -3*x. Suppose 2*l + x = 3*l. Suppose c - l = 4*t, -3*c + 4*t + 36 + 21 = 0. Is c a composite number?
True
Let j(v) = v**2 - 1. Let h(d) = d**2 - 5*d - 1. Let s(b) = -h(b) + 2*j(b). Is s(5) prime?
False
Let r(c) = -15*c + 2. Let f be r(-4). Suppose -n + f = 4*s, -s + 5*n = -3*s + 40. Is s composite?
True
Suppose -2*c + 4 = -4. Suppose 774 + 130 = c*j. Is j a prime number?
False
Let y be -2 - (2/(-2) - 76). Suppose -5*m + 4*a + y = 0, 4*a + 11 + 45 = 4*m. Is m prime?
True
Suppose -332 = -5*m + 243. Is m composite?
True
Let d be 400/6 + (-2)/3. Let r = 81 + -34. Let t = d - r. Is t a composite number?
False
Suppose 2 = -4*x - 2. Let u be x + (2 - -1) + -1. Is 55 - (-1 - (2 - u)) a composite number?
True
Is 1 + -37*(-250)/5 a composite number?
True
Let z = -55 - -126. Is z a composite number?
False
Let j(v) = 87*v**2 + 3*v + 11. Is j(3) a prime number?
False
Suppose 0 = 5*i - 97 - 168. Let p = 115 - i. Is p a composite number?
True
Let t(q) = -23*q**3 + q**2 - 3*q - 3. Is t(-2) prime?
True
Let r(w) = -43*w**3 - 2*w**2 + 2*w - 5. Let g(p) = 64*p**3 + 3*p**2 - 3*p + 7. Let u(d) = 5*g(d) + 7*r(d). Let m be u(1). Let q = -10 + m. Is q composite?
True
Let p(g) = g**3 - 8*g**2 - 9*g. Let j be p(9). Suppose b + 141 = 2*v - 2*b, -133 = -2*v - 5*b. Suppose j = -2*h - h + v. Is h prime?
True
Suppose 4*g - 4*o - 880 = 0, -4*o - 191 = 2*g - 643. Suppose 0 = -5*h + 4*a - 759, -5*a = 23 - 3. Let c = g + h. Is c composite?
False
Let o = 11 + -8. Suppose -4*l = a - 23, 0*l = -l + 3. Let v = a + o. Is v a prime number?
False
Let t = -9 - -13. Suppose 2*z + 5*g - 77 = 0, 5*z - t*g - 21 - 89 = 0. Is z prime?
False
Suppose c = l, 0 = -5*c + 2*c + 4*l - 2. Suppose -4 - c = -3*y. Suppose -5*r = 3*k - 382, y*r - 7*r + 381 = 4*k. Is r prime?
False
Let y(p) = -p - 4. Let t be y(-6). Let o(b) = 0*b**t + 0*b**2 + 21*b**3. Is o(1) a composite number?
True
Suppose -2*b = 5*q - 0*b - 275, -q + 78 = 5*b. Suppose -2*k - 7 + q = 0. Is k composite?
False
Suppose -3*m - 15 = 0, 3*o = -3*m + 436 + 32. Suppose 4*l - 1165 = -o. Is l composite?
False
Let b(q) = -q**3 - 5*q**2 + 4*q - 3. Let m be b(-7). Let z = -30 + m. Is z a prime number?
True
Suppose 5*u - 1276 = -4*x, -4*x - 4*u - 723 + 1999 = 0. Is x composite?
True
Let x(q) = 584*q**2 + q - 7. Is x(-2) a composite number?
True
Let z = -7 + 22. Suppose -2*u - z = -3*u. Is u prime?
False
Let d be 2 - ((-3)/1 + 11). Let a = 29 + d. Is a prime?
True
Suppose -3983 = -6*p + 3655. Is p a composite number?
True
Let c be 3/(-2*12/(-16)). Suppose 3*r - 289 = -c*a, 0 = -5*r + r - 12. Is a prime?
True
Let k = -17 + 19. Suppose -5*q + k*q = -99. Is q composite?
True
Let d = 7 - 11. Is (d/(-16))/((-3)/(-3804)) prime?
True
Let d = 5 - 3. Suppose 0 = z + d*g - 135, -5*z = -2*z - 4*g - 365. Is z a composite number?
False
Is (-3 - 10860/(-52)) + 16/104 a composite number?
True
Suppose -1983 = -5*x - 308. Suppose 0 = -6*q + q + x. Is q a composite number?
False
Let l(d) = d**3 - 2*d**2. Let v be l(1). Is (-14)/(2/(-2)) + v prime?
True
Is (-130)/60 + 2/12 + 1513 composite?
False
Is 4561/((-5 - -3)/(-2)) prime?
True
Suppose -78 = -k + 3*x + 91, -5*k - 2*x + 777 = 0. Is k a composite number?
False
Suppose z + 2*z = 9. Let i be 16 + z/6*2. Let w = i - -14. Is w a composite number?
False
Let f = -193 - -326. Is f a prime number?
False
Let p(v) = v**3 + 24*v**2 + 31*v + 1. Is p(-22) prime?
False
Let k(g) = 93*g**3 + g**2 + 7*g - 11. Is k(2) a composite number?
False
Let o(p) = 31*p + 5. Let q = 3 - 0. Let t = 3 + q. Is o(t) prime?
True
Let d(b) = 2*b + 0*b**2 + 1 - 2 + 4 + 2*b**2. Is d(-2) composite?
False
Let q(z) = z**3 + 5*z**2 + 5*z + 6. Let l be q(-4). Let i be 436/8 + l/4. Suppose 2*o = 5*u + 114, -o + i = u - 3*u. Is o composite?
False
Let j(m) = 4*m + 5. Let a(x) = -x**2 + 4*x + 2. Let p be a(4). Let h be 6 + p/4*2. Is j(h) composite?
True
Let z = 28 + -24. Is z a prime number?
False
Let z be 0 - ((3 - 0) + 4). Let x = 9 - z. Suppose 0 = 4*y - x. Is y a prime number?
False
Suppose 3*g + 4*q - 927 = 0, 5*q + 14 = g - 295. Suppose -4*x + 460 + g = t, -2*x = 4*t - 402. Is x a composite number?
False
Let v = -8360 - -13233. Is v a prime number?
False
Let l(a) = -14*a + 5. Let j be 3/9*(18 + 0). Let y be l(j). Let p = y - -198. Is p composite?
True
Suppose 5*n - 8 = n. Suppose 3*l + 2*g - 23