- 10*w - 3. Is a(7) composite?
True
Let z(w) = -w - 1. Suppose 2*a + 6 = -0*a. Let l be z(a). Is l/10 - 578/(-10) prime?
False
Suppose -4*h + 2 = 4*f + 26, -2*f + 58 = -5*h. Is (-10053)/(-45) + 4/h composite?
False
Suppose 0 = 4*q - 7484 + 228. Is q a composite number?
True
Let x = 3333 + -1160. Is x prime?
False
Suppose -3*k - 3 = 3. Suppose 2*c + 10 = -2*b, -3*b + 4*c - 22 = -0*b. Is k*(141/b + 0) a prime number?
True
Let p = 10207 + -6088. Is p prime?
False
Is (148/6)/(18/27) prime?
True
Is 10/(-2)*(-226)/5 a prime number?
False
Suppose -3*s = -1675 - 902. Is s a prime number?
True
Suppose 5 = -5*p - 0. Let o(z) = -4*z**3 - z**2 - z - 1. Let f be o(p). Is 2/f + (-2212)/(-12) prime?
False
Let i(z) = -2*z**2 + 10. Let j be i(0). Let r(h) = 8*h + 3. Is r(j) composite?
False
Suppose 3*r = 4*w - 793, -5*r - 194 = -w - 0*w. Is w a composite number?
False
Let r = -16 - -24. Suppose 18 = u - r. Is (-2)/(-2 + 48/u) prime?
True
Suppose 26 - 11 = -5*w. Suppose -d + 39 = -3*f - 0, -2*f + d = 25. Let y = w - f. Is y composite?
False
Let q(k) be the third derivative of -1/24*k**4 + 0*k + 0 + 1/6*k**3 - 2*k**2. Is q(-1) a prime number?
True
Let t = 5944 + -3365. Is t composite?
False
Suppose -3*h - 6 = 2*f + f, 0 = 3*f - 3*h + 24. Let d = -9 - f. Is 42/d*(-4)/6 prime?
True
Let y(d) = -102*d + 1. Let x be y(1). Let v = x + 192. Is v a composite number?
True
Suppose 2*w + 1769 = 5*r, 5*w - 96 = 4*r - 1501. Is r a prime number?
False
Suppose -5*n + 4*c + 46 = 0, 5*n - 2*c - 38 = -0*n. Is (759/n)/(2/4) composite?
True
Let x(g) = 51*g + 20. Is x(14) composite?
True
Let m = 1025 - 1560. Let a = -377 - m. Is a a prime number?
False
Suppose -5*o + 8*o + 8 = 2*q, -4*o = q + 7. Is o/(-4)*0 - -119 composite?
True
Let r(z) = 147*z - 17. Is r(8) a prime number?
False
Let c be 1*-2*129/(-6). Suppose c = 3*i - 5*t - 605, 5*i - 1067 = 4*t. Is i prime?
True
Is 12/(-8) - (-505)/2 composite?
False
Let l = -165 - -405. Let k be (2/4)/(3/l). Is k/4 - 0/(-1) a prime number?
False
Suppose -5 = 3*h + 640. Let o = h + 375. Suppose 16 = -4*i, -4*i + i - o = -4*r. Is r composite?
False
Let j(i) = 2*i. Let f be j(-1). Is 284/(-12)*(-1 + f) a prime number?
True
Suppose -3*z = -2329 + 76. Is z a composite number?
False
Let n(z) = 21*z**2 - 5. Is n(-12) a prime number?
True
Let n = -265 + 476. Is n a prime number?
True
Let r(i) = -i**3 + 5*i**2 + i - 7. Let v be r(5). Let x be (v/3)/((-4)/6). Is x*2*(-2 - -4) prime?
False
Let u = -353 - -1072. Is u a prime number?
True
Let q(r) = -685*r + 3. Let t(o) = -228*o + 1. Let b(j) = -2*q(j) + 7*t(j). Let h be b(-1). Suppose 0 = -3*n + h + 388. Is n composite?
True
Suppose -5*i = -3*i. Suppose 4*f + 2*q - 270 = 0, -5*f + 4*q + 221 + 136 = i. Is f a prime number?
False
Let f(a) = 8*a**2 + 5*a + 2. Let j = -1 - -7. Let n(t) = t**2 - 6*t - 3. Let s be n(j). Is f(s) a prime number?
True
Let v(n) = -5*n + 4. Let z be v(4). Let y = 194 - 85. Let r = y + z. Is r a composite number?
True
Let i = 6 - 9. Is 2073/(-9)*(i + 0) prime?
True
Suppose -4*c + c + 9 = 0. Let q be c/(-6)*(-2 + 0). Let j = 11 - q. Is j a prime number?
False
Suppose -3*o = 3*t + 9, 5*o = -t + 6*t - 45. Let w = -3 - o. Suppose 0*d - w*d = -993. Is d a prime number?
True
Let r(x) = x**3 - 21*x**2 + x + 54. Is r(25) a prime number?
True
Suppose -3*b = -4 - 5. Suppose s - n + 149 = b*s, 5*n - 79 = -s. Is s a prime number?
False
Is (-1 - -100*5) + -2 a prime number?
False
Let p be (3 - (-1 - -3))*138. Let l = -19 + p. Is l prime?
False
Let c be 9*5*3/(-9). Let u be (20/c)/(4/(-6)). Suppose -u = -5*a + 4*a. Is a composite?
False
Let f be (12/(-9))/(1/(-3)). Suppose 2*o - f*b = -o + 65, 3*o + 2*b - 53 = 0. Is o a composite number?
False
Let h be (10/6)/((-2)/(-18)). Suppose -5*w + h = -0*w. Suppose -4*x = -w*z + 149, 5*z + x = 2*x + 254. Is z a composite number?
True
Suppose -5*o - 315 = -0*o. Let s = o + 172. Is s a composite number?
False
Let p = -1 - -9. Suppose -5*u + 18 = -b, 9 = 3*u + 2*u + 2*b. Suppose 0 = p*n - u*n - 475. Is n a prime number?
False
Suppose -5*a - 184 = -d, -18 = -2*d + 2*a + 374. Is d composite?
False
Let k be 1*((-2 - 1) + 163). Let w = 34 + k. Is w prime?
False
Let v = -1838 - -2587. Is v composite?
True
Let z be (-102)/(-4) - (-3)/(-6). Let k be (-4)/(-18) - (-680)/18. Let b = k - z. Is b a prime number?
True
Suppose -3*q + 9 = 0, -q - 5 = -m - 15. Let y = -5 - m. Let i(c) = 18*c**2 - 2*c - 1. Is i(y) a composite number?
False
Suppose -167 = -6*i + 235. Is i prime?
True
Suppose -5*r = 2*v + 148 - 982, 5*v + r - 2108 = 0. Is v composite?
True
Suppose -191 = -3*c + 4*u, -c = -2*u - u - 62. Suppose d + c + 110 = j, 4*d + 521 = 3*j. Is j composite?
False
Let q(z) = 4*z**2 - 12*z + 25. Is q(11) a prime number?
False
Suppose 5*y - 33 = -5*n + 22, -3*n = -12. Suppose -v - 2 = -y. Suppose 0 = -0*h - 2*h + 3*x + 77, 4*h - 159 = v*x. Is h a composite number?
True
Let u(i) = i**2 + 6*i - 16. Let c be u(-8). Suppose c = -4*f + 145 + 51. Is f composite?
True
Suppose 3*b = 2*b - 1. Is (-1)/((1/1117)/b) prime?
True
Let a = 1 - -2. Suppose -a*w - 14 = -4*w. Is w composite?
True
Let p(t) = -t**3 + 19*t**2 - 5*t - 28. Is p(15) a prime number?
True
Let d = -684 - 332. Is (2 - 1)/((-8)/d) composite?
False
Suppose 0 = -c + 687 + 300. Suppose n - c = -2*n. Is n a composite number?
True
Let i = 239 + -94. Is i composite?
True
Suppose -r = 5*c - 1469, 0 = 4*c - 2*c + 4*r - 602. Is c a prime number?
True
Suppose -c + 509 = 4*p + 60, 0 = -4*c - p + 1871. Is c composite?
True
Let g be 4/(-4) - -1*3. Is (0 + 14)*23/g a composite number?
True
Suppose -t - 42 + 247 = 0. Is t a composite number?
True
Let l(d) = -d - 5. Let w be l(-7). Suppose w*a - 62 = 4*b - 8*b, 5*a - b = 111. Is a a prime number?
True
Let h(m) = 395*m**3 + m**2 + m - 2. Is h(1) a prime number?
False
Suppose 5*v - 4*y + 5122 = 7*v, 7681 = 3*v + 5*y. Is v a composite number?
False
Suppose -p = 5*i - 3760 - 6382, -3*i + 6078 = -3*p. Is i/18 + 1/3 composite?
False
Let y(d) = -4*d - 23. Let g be y(-7). Suppose -16 = -6*x + 2*x, 0 = 3*h - 3*x - 525. Suppose 0 = -g*r + 2*q + h, -5*r + 61 = 2*q - 130. Is r prime?
True
Let i(z) = z**2 + z. Let j(o) = -o**3 + 10*o**2 - 9*o - 10. Let a(c) = -i(c) - j(c). Let x be a(10). Is (102/x)/(1/(-5)) a composite number?
True
Let u(s) = -138*s - 2. Is u(-2) prime?
False
Is -2 + -2 - 71*-1 composite?
False
Let i be (8 - -2)*(-4)/(-8). Suppose 0 = 5*y + i*p - 15, 0 = 2*y + 4*p + p - 6. Suppose -6*j + j = -y*w + 106, w = -4*j + 41. Is w a composite number?
False
Let d = 0 - -50. Let c be (-6)/(-4) + 1/2. Suppose -c*p + d = -16. Is p composite?
True
Is 17/34 + (0 - (-234)/4) composite?
False
Is (2/6)/((-1)/(3*-215)) composite?
True
Let v be 6/24 - 62/(-8). Let g = v - 12. Let n(f) = 3*f**2 + 1. Is n(g) composite?
True
Let y = -67 + 224. Is y composite?
False
Suppose b = -3*b + 72. Let x(a) = -a + 41. Let p be x(0). Let l = p - b. Is l a composite number?
False
Let h(b) be the third derivative of 11*b**4/8 + b**3/6 - 2*b**2. Suppose 0 = 6*m - 10 + 4. Is h(m) a prime number?
False
Let q(r) = -r**3 - 7*r**2 + 9*r + 9. Let j be q(-8). Is (-17 + 2/j)*-1 composite?
True
Let x = 14 - -7. Is x composite?
True
Suppose -a + 4*s = -90, -3*a + 2*s - 4*s = -242. Is a prime?
False
Suppose -r + 0*r - 670 = 5*v, r - 268 = 2*v. Is (v/((-3)/(-3)))/(-2) prime?
True
Suppose 1314 = 8*p - 4102. Is p prime?
True
Let f(n) = n**2 + 5*n - 8. Let r be f(-7). Let d(i) = 12*i + 5. Is d(r) composite?
True
Suppose 3*v - 12 + 153 = 0. Let r = -33 - v. Is r composite?
True
Let o(h) = -h**3 + 4*h**2 + h - 1. Let q = 8 + -4. Let b be o(q). Suppose 0 = -b*z - 4*p - p + 84, p = 4*z - 135. Is z a prime number?
False
Let a = -3 + 7. Suppose -j + a = -49. Is j prime?
True
Let c = -192 - -745. Is c a prime number?
False
Suppose 4*f = -f. Suppose -4*k + 21 - 1 = f. Suppose 4*b = -3*u + 26, k*u - 9 - 13 = 4*b. Is u prime?
False
Suppose -4*t + 7*t = -2*i + 6739, 0 = -3*t - 4*i + 6749. Is t a prime number?
True
Is (9937/(-38))/((-1)/2) a prime number?
True
Suppose -226 = v + 4*h - 6*h, 2*v - 5*h + 452 = 0. Is 1/(((-4)/v)/2) a prime number?
True
Suppose -v = -0*v - 39. Let k be 1/((-3)/v) + 2. Let r = 21 + k. Is r a prime number?
False
Let j be (-2)/((-12)/(-669))*2. Is j*(0 - (-1 - -2)) a composite number?
False
Is (0 + 61)/((-1)/174*-6) 