 prime?
False
Let x = 18 - 13. Suppose 4*h + 617 = -x*y + 5772, 0 = h + 2*y - 1291. Is h a prime number?
False
Suppose 0 = -3*j + 4*j - 1259. Is j a prime number?
True
Let c = 4 - 0. Let z(v) = -v**3 + 7*v**2 - 7*v + 6. Is z(c) composite?
True
Let h(z) = 2*z**3 - 4. Let f be h(3). Suppose -2*x - 2*a = -24, 5*x + 3*a = 14 + f. Is x a composite number?
True
Let v = 1074 + -565. Is v composite?
False
Suppose 3*q = q + 222. Suppose b - q = -2*b. Is b prime?
True
Let j = 1 + -79. Let g be 10845/65 - 2/(-13). Let c = j + g. Is c composite?
False
Let a = -190 - -341. Let h = -74 + a. Is h a prime number?
False
Suppose 12 - 3 = q. Let h(a) = 3*a**3 + 13*a**2 - 21*a - 22. Let u(s) = -4*s**3 - 20*s**2 + 31*s + 33. Let k(i) = 7*h(i) + 5*u(i). Is k(q) composite?
False
Let i(b) = -1 + 6*b + 2*b + 2*b. Suppose 7*h = 9*h - 16. Is i(h) a prime number?
True
Let p(a) = -a + 2. Let y be p(-6). Let k(b) = 3*b**2 - 6*b + 5. Is k(y) prime?
True
Let b be (-3)/6 + (-6)/4. Let k(z) = z**2 - 1. Let j be k(b). Suppose 2*a + 3*v = 166, -3*a + 320 - 71 = -j*v. Is a a composite number?
False
Suppose 3*t - 5 - 1 = 0. Suppose 0 = -0*p + t*p - 104. Let s = p + -17. Is s composite?
True
Let l be 2 - ((2 - 0) + -2). Let g = 0 + l. Suppose 88 = g*u + 5*s, -u - s = -4*s - 22. Is u a composite number?
True
Let k(v) = -v**3 - 7*v**2 - 2*v - 13. Is k(-8) prime?
True
Let q(o) = 82*o - 3. Is q(2) a prime number?
False
Let o(b) = 4*b**2 + 2*b + 7. Let p = 18 + 3. Let y be (-111)/p - 4/(-14). Is o(y) composite?
False
Suppose 3*m + 1 = -4*q, 3 - 8 = -5*m. Is ((-5)/(10/68))/q composite?
True
Is -2 + 32625/5 + -2 a prime number?
True
Suppose 3*c + 3*k + 20 = -2*c, -c = 4*k + 4. Let u = c - -9. Suppose 4*p - 3*v - 30 = 11, -4*p - u*v = -49. Is p a composite number?
False
Is ((-177)/6 - 0)*(-88)/4 a composite number?
True
Suppose 0 = 3*v - 3*b - 48, b = -4*v + 28 + 11. Is v a composite number?
False
Suppose -u + 13 = 4*v, -4*v + 0*v + 2*u = 2. Let m(o) = o - 14. Let p(x) = 3*x - 29. Let h(c) = v*p(c) - 5*m(c). Is h(-6) composite?
True
Let p(b) = b - 3. Suppose -4*y = -1 - 27. Let o be p(y). Suppose -k - o*k + 165 = -4*u, -4*k - 4*u + 168 = 0. Is k a composite number?
False
Let i(y) = -y**3 + 2*y**2 + 4. Let p be i(3). Let q = 3 - p. Is ((-14)/(-3))/(q/156) a composite number?
True
Let m(b) = b**3 - 13*b**2 + 9*b. Let r be m(10). Let q = 409 + r. Is q a prime number?
True
Suppose 2*t + 0*a - 886 = -a, -3*t + 1329 = 5*a. Is t a prime number?
True
Let h(w) = 4*w**3 - w**2 + 7*w - 12. Let d be h(5). Suppose -d = -5*l + 1547. Is l prime?
True
Is 4 + (2 - 1 - 17288/(-4)) prime?
True
Suppose 289 = 5*z - 451. Suppose -58 + 206 = 4*a. Suppose z = 5*j - a. Is j a composite number?
False
Suppose 1 = -g - 3*z - 0, 6 = -3*z. Suppose 75 = -0*u + g*u. Is u a prime number?
False
Suppose -55 + 1 = -f. Suppose 0 = 3*n + f - 759. Is n prime?
False
Let q = 1048 + -555. Let s = q - 278. Suppose 4*o = -3*k + s, -k - 2*k + 227 = o. Is k a prime number?
False
Suppose -4460 = -22*p + 18*p. Is p a composite number?
True
Let d be 696/(-18)*(-3)/2. Suppose -o = -g - 20, g + 3*g + 2*o = -86. Let u = d + g. Is u prime?
True
Let n(d) = 10*d - 7. Let z be n(7). Suppose 0 = o + 5, -l + z = l - 5*o. Is l a composite number?
False
Let w = 622 + -357. Let c = 187 - w. Let m = c - -112. Is m composite?
True
Let c = 36 + -12. Suppose 4*r + 15 = -5*p, 0*p + 3 = -4*p - 5*r. Let k = c - p. Is k a composite number?
False
Let k = -9 - -9. Suppose -4*h = -5*v - k*v + 815, v + 3*h = 182. Is v composite?
False
Is 4 + (4 + 0 - 1) prime?
True
Suppose -2*r = -4*r + 530. Is r composite?
True
Suppose -15 = -6*b + 3*b. Suppose 804 + 421 = b*x. Suppose -680 = -5*o + x. Is o composite?
True
Let p(l) = -l + 1. Let k be p(6). Is 2/k + 557/5 prime?
False
Let x(a) = 10*a**3 - 19*a**2 - a - 10. Let p(m) = -3*m**3 + 6*m**2 + 3. Let j(n) = -7*p(n) - 2*x(n). Is j(4) prime?
True
Suppose k = -5, -6*u + 2*u = 3*k - 1157. Is u a prime number?
True
Let c = -17 + -5. Let o = -3 - c. Suppose -2*u - o = -3*u. Is u composite?
False
Is 2510/6 - 2/(-3) a composite number?
False
Suppose 11*o = 12*o - 965. Is o composite?
True
Let q be (-1)/(-1) - 2/(-2). Suppose 2*j + 6 = q*p + 2, -3*j - 5*p + 26 = 0. Suppose -2*b + 4*g = -162, -7 + 17 = j*g. Is b prime?
False
Let d(g) = 10*g**3 + 0 - 2*g**2 + 2 + g - 2. Is d(2) composite?
True
Suppose -2*c = -3*c. Suppose c = -p - 1, -5*p + 4 = -x + 24. Is x a composite number?
True
Suppose -1878 = -5*s + 3*f + 794, -4*s + 3*f = -2137. Is s composite?
True
Suppose 0*q = 2*q - 10. Suppose 0 = x + q*t - 1, -4*x + t = -t - 92. Is x a prime number?
False
Is -4*((-2212)/16)/1 composite?
True
Let y(s) = -s**3 - 6*s**2 + 7*s + 7. Is y(-8) a prime number?
True
Suppose 2*w = 3*w - 6. Suppose -u = -w - 31. Is u a prime number?
True
Suppose 0 = -3*k - 0*k + 243. Let y = k - 38. Is y composite?
False
Suppose 32 = 4*s - 3*b, b = -3*s - 0*b + 37. Is s a prime number?
True
Let c(k) = k**2 + 7*k - 1 + 2*k**2 + k + 0*k**2. Is c(-8) composite?
False
Let z(j) = 51*j - 2 + 3 - 5. Is z(3) prime?
True
Let k be ((-1)/2)/(8/(-48)). Let a be 8/(-6)*63/(-6). Suppose -a - 43 = -k*l. Is l a prime number?
True
Let l be 2 - 1 - 4*-1. Suppose 558 = l*f - 137. Is f prime?
True
Let m = 12 + -5. Let u(w) = w**2 - 8*w - 8. Let o be u(10). Suppose d - o - m = 0. Is d prime?
True
Let h = 0 - 0. Suppose 10 = 5*z, h = 4*a - 2*a + 5*z - 972. Is a prime?
False
Let n = 31 - 17. Let m = -7 + n. Is 40/2*m/4 composite?
True
Let b(y) = -4*y**3 + 2*y**2 + 1. Suppose -4*z + 0 + 7 = -5*o, -5*o - 13 = -z. Is b(o) a prime number?
True
Let j(k) = 2*k**2 + 3*k - 3. Let z be j(-3). Suppose 3*y - z = y. Suppose y*b - 6*b - 41 = -s, 0 = -2*s + 2*b + 74. Is s prime?
False
Let g = 192 + -127. Is g a prime number?
False
Suppose 7 = 5*c - 23. Suppose -s - 319 = -c*s + 2*d, -5*s + 5*d = -310. Is s a prime number?
False
Let o = 379 - 177. Is o prime?
False
Suppose r - 12 = -2*a, -19 = 2*r - 4*a - 3. Let l(x) = -5 + 2*x + x**2 - 2*x + 2*x + x**r. Is l(-6) a prime number?
False
Suppose 13*p - 18*p + 11255 = 0. Is p a composite number?
False
Suppose 65 + 75 = 4*w. Suppose 5*p = 4*h + 62, -6*h = -2*p - h + w. Is p prime?
False
Let y(j) be the third derivative of j**4/24 - j**3/3 + j**2. Let h be y(6). Is 2/h + (-21)/(-6) composite?
True
Let s(i) = -2*i - 3. Let f be s(-4). Suppose -2*q - 4*p + 38 = 0, 0*q + 5*q - 2*p = 83. Suppose -q - 41 = -j + g, f = 5*g. Is j a composite number?
False
Let k(m) = m**2 - 2*m - 9. Suppose 16 + 36 = -5*b + 3*g, 8 = 2*g. Let f be k(b). Suppose -f - 39 = -2*d. Is d composite?
True
Let j = 50 + -225. Let p be j/(-10) - (-2)/(-4). Suppose 71 + p = 4*v. Is v composite?
True
Let q(c) = -2*c + 2. Suppose 0 = -3*u + 2*y, 10*u = 5*u + y + 7. Let s be q(u). Is (-1)/(s/290) - 2 a prime number?
False
Let b(v) = -v**3 - 12*v**2 - 2*v - 8. Is b(-13) prime?
False
Let b(l) = 2*l**2 - 5*l + 5. Is b(-18) a prime number?
True
Suppose 3*x = -3*p + 5913, 621 = x - p - 1354. Is x a prime number?
True
Let m be 2 + 3/((-3)/3). Let b(q) = q - 13. Let y be b(6). Let l = m - y. Is l a composite number?
True
Let j(x) = 6*x**2 - 8*x - 1. Let s be 101/11 + (-18)/99. Is j(s) a prime number?
False
Let q(u) = -u**3 - u**2 + 5. Is q(-4) prime?
True
Let x be 5 + -7 + (1553 - 0). Suppose 0 = 4*m - x - 317. Is m a composite number?
False
Suppose 2*y - 9 + 3 = 0. Let w(s) = s**3 + 4. Is w(y) prime?
True
Let n = 822 + -353. Let d = n - 330. Is d composite?
False
Let d = 5426 + -2905. Is d a prime number?
True
Let s(h) = h + 10*h**3 - 3*h**2 + 0*h**2 - 10*h**3 - 12*h**3 - 3. Is s(-3) prime?
False
Let z be (-944)/4*14/(-2). Suppose -5*i + 0*i = c - z, i = -2*c + 334. Let m = i - -1. Is m a composite number?
False
Suppose 16*y - 1334 = 14*y. Is y a prime number?
False
Is (-4)/(-2)*-1 + 1735 prime?
True
Suppose -o + 3 = 4*g + 1, -g = 2. Is o a composite number?
True
Let u = 41 - 4. Is u composite?
False
Suppose 0 = -3*b - 3*a - 1 + 4, 4*b = 2*a + 4. Suppose -2*t - t + b = -z, -3*z = -t - 13. Suppose z*r - 169 = 166. Is r a composite number?
False
Let f(k) = -3*k - 2 + 7*k**2 + 9*k**2 - 1 - 1. Is f(-3) a composite number?
False
Let i(o) = -35*o + 1. Let q be i(1). Let h = q + 65. Is h prime?
True
Let x be (-6798)/27 - 6/27. Let p = x - -491. Is p prime?
True
Let k(w) = 134*w - 11. Is k(8) prime?
True