q, 4*k = -3*q + 28. Suppose -4*z = q*m - 380, -5*m + 271 = z - 184. Let g = m - 43. Is g composite?
False
Let w(c) = c**2 + 3*c - 3. Let f be (-9 + 6)*1/(-3). Let x be f*(-22 - -2)/(-4). Is w(x) composite?
False
Let u be (84/4)/(3/2). Let k be (5 + -6)/((-2)/u). Suppose -k*d + 423 = -4*d. Is d prime?
False
Let h(n) = 14*n**2 - 4*n + 7. Let g = 2 + 0. Suppose g*z = 3*z - 6. Is h(z) a composite number?
False
Let o = 15 - 11. Is -2*(-1)/o*1754 a composite number?
False
Let i = -146 - -277. Let u = 92 + i. Is u composite?
False
Let h = 4 + -4. Suppose h*b - 6 = -5*b - 2*f, -10 = -4*b + f. Suppose -5*x + 12 = -b*l - 63, 0 = -x + l + 15. Is x composite?
True
Suppose -40864 = -4*m - 8*q, -3*m - 3*q + 2*q = -30673. Is m prime?
False
Suppose -5*j + 25 = 0, 0 = -15*l + 13*l + 2*j + 3584. Is l composite?
True
Let d(o) = o + 1218. Let l be d(0). Suppose -f = -4*s + 5046, l = 2*s + f - 1308. Suppose -4*x = -2*v + s, -5*v - 4*x + 3155 = -x. Is v a composite number?
False
Let f be -7*(10/14 - (8 + -7)). Suppose -f*w - z = -938, 4*w - 4*z + 950 = 6*w. Is w a composite number?
False
Suppose 0 = -3*l - 2*g + 2 - 0, 3*g + 35 = 5*l. Suppose -60 = -9*x + l*x. Is 1576/x + 2/(-6) prime?
True
Let z(l) = -2*l**3 - 3*l**2 + 5*l - 1. Suppose 12 = 3*g - 36. Let d = 12 - g. Is z(d) composite?
False
Let o(l) = 9*l**2 + 2. Suppose -n + 4 + 6 = -2*y, -n - 11 = 5*y. Let f = -6 + n. Is o(f) prime?
False
Is 23119 - (-5 + (-21)/(-3)) prime?
True
Suppose -3*a - 4 = -10. Suppose u + 2*u - a = 2*f, -f = 4*u - 10. Suppose -4*d - i = 3*i - 584, 3*d + u*i - 441 = 0. Is d a composite number?
False
Let t be (-2286)/10 + 14/(-35). Let k = t - -1622. Is k a composite number?
True
Let c(v) = 273*v - 5. Suppose 7*q = 5*q + 4. Is c(q) a prime number?
True
Let l(x) = -762*x - 12. Let t be l(3). Let w = 4415 + t. Is w composite?
True
Suppose 0 = 5*a + 5*b - 71430, -5*a + 3*b + 99030 = 27640. Is a composite?
False
Let a = 14 + -7. Suppose 0 = 4*v - a*v - 9. Is (-4084)/(-3) + 1/v composite?
False
Suppose -5*s - q = -118599, 31*s = 28*s - 2*q + 71165. Is s composite?
False
Is 6269330/22 + (-13)/((-286)/(-12)) composite?
False
Let y = -3 - -5. Suppose y*o + 3*o - 19155 = 0. Suppose 3*p - 3*w = -0*p + o, 2*w = 0. Is p a prime number?
True
Let z be (4/(-6))/(40/(-60)). Is (z - (-160)/(-6))*-3 a composite number?
True
Let q be (-5)/2*(-8)/(-10). Let y(n) = 32*n**2 - 3*n - 1. Let o be y(q). Suppose -o = -r + 68. Is r composite?
True
Suppose -3*v - 3*g = -v + 3, -3*v - g = 8. Is -1*-1*(806 - v) a prime number?
True
Let v(f) = -269*f**3 - 5*f**2 - 6*f - 29. Is v(-3) a prime number?
True
Let o be (36/30)/(4/(120/9)). Suppose o*t = -0*t + 92. Is t a composite number?
False
Let t be (-5660)/2*3/6 + 3. Let u = -559 - t. Is u a prime number?
True
Let l(a) = -6 + 237*a + 418*a + 14. Is l(3) prime?
True
Let a(s) = s**2 - s. Let i(z) = -48*z**2 - 29*z - 9. Let u(r) = 4*a(r) - i(r). Is u(-8) a prime number?
True
Suppose 0*v - 119702 = -3*t - 2*v, 5*t - 199495 = 5*v. Is t/44 - (-8)/44 prime?
True
Let a be 3 + 0 - -6*(-2 - -1). Is 509*a*3/(-9) a composite number?
False
Suppose o + 2*o = -15. Let p(j) = 2*j + 12. Let b be p(o). Suppose -323 = -b*q + 99. Is q a prime number?
True
Let g = 433 + -130. Suppose 3*c - 1844 = -4*b, 13*b + 2*c - 1384 = 10*b. Let i = b - g. Is i a prime number?
False
Suppose -48 - 9 = 4*v - 3*m, 0 = -5*v + 4*m - 72. Is 3/12 + (-3153)/v composite?
False
Is (1781/(-411))/(2/(-786)) composite?
True
Let t(g) = -5 - 51*g**3 + 4 + 0 - g**2 + 2. Is t(-1) a composite number?
True
Let z(i) = -6 + 2*i + 14*i - 2*i. Let k be z(6). Let l = -47 + k. Is l prime?
True
Let d = -27 + 30. Suppose -3*z + 9 - d = 0. Suppose -3*s + 283 = 4*h, -z*s - 3*h = -4*h - 174. Is s prime?
True
Let l(i) = i - 4. Let u be l(6). Suppose y + 196 = u*h, -h + 48 = 4*y - 41. Is h prime?
True
Let q = 425 - 960. Is 12/21 + q/(-7) composite?
True
Let w(x) = x**3 + 82*x**2 - 25*x + 137. Is w(-72) composite?
False
Let t = -25 + 24. Let c be (-78)/(-24) + t/4. Suppose -498 = -c*n + 5*w, 435 - 110 = 2*n - w. Is n prime?
False
Let a be ((-6)/(-2))/(2/90). Let g = -14 + a. Is g a composite number?
True
Let j(s) = -s**2 - 15*s + 21. Let i be j(-16). Suppose 3*u = -c + 19, i*c - u = 150 - 55. Is c prime?
True
Let m(x) be the first derivative of 2*x**3/3 + x**2/2 + 7*x + 9. Is m(-3) a composite number?
True
Let v(n) = n + 1. Let d be v(3). Suppose 0 = -d*k - k + 2115. Is (-5)/10 - k/(-2) prime?
True
Suppose 6*t - 5*t = 5. Let s = t - 3. Suppose 2*a = -0*x - s*x + 664, -2*x - 5*a + 673 = 0. Is x composite?
True
Suppose 0 = -5*l + 20 + 5. Suppose -l*n = 4*s - 5424, 3*s + 2718 = 5*s + 4*n. Is s a composite number?
True
Let s(h) = -4*h - 14. Let y be s(7). Is (-276)/y - (-9)/21 a composite number?
False
Let k = -1425 + 3374. Is k prime?
True
Suppose 0 = -18*u + 4758 + 588. Suppose -43 = 2*s - u. Is s a prime number?
True
Let w = 11199 - -61568. Is w a prime number?
True
Suppose -c = -49 + 7. Suppose 4 - 1 = n, -c = -b + 3*n. Is (b/(-12))/(5/(-100)) prime?
False
Suppose 0 = -8*x + 7*x + 500. Suppose -4*g - 5*i = -1534, 3*g + x = -i + 1645. Is g composite?
True
Let v be 4 - (-2 - 9) - 4. Let p = 68 - v. Is p a composite number?
True
Suppose s - 3*c - 66 = 91, s = c + 161. Is s composite?
False
Suppose -r = -2*h + 2, 0 = -4*r + 3*h - 4*h - 53. Let v(y) = y**2 + 11*y - 9. Let z be v(r). Suppose -681 = -z*n - 66. Is n a prime number?
False
Let w(p) = 51*p**2 - 29*p + 197. Is w(10) composite?
True
Let g(z) = z**3 - 35*z**2 - 30*z - 131. Is g(36) a prime number?
False
Suppose -2*c - 3 = -c, 0 = -4*s + c - 97. Let t = s + 272. Is t prime?
False
Is (1 + (-1 - -2))/(80/35080) a composite number?
False
Suppose 8*f + 16881 = 11*f. Is f composite?
True
Is (2795 - (0 + -3))/(8/4) prime?
True
Let s = 2966 + -989. Suppose 5*m + 2*z = s, -z + 480 = 3*m - 707. Is m a composite number?
False
Let t(q) be the second derivative of q**7/1260 + 7*q**6/360 - q**5/8 + 2*q**4/3 - 6*q. Let v(p) be the third derivative of t(p). Is v(11) a composite number?
True
Let f(s) = 4055*s**3 - 3*s**2 + 12*s - 3. Is f(2) a prime number?
False
Let m(i) = -14*i**3 + i**2 + 4*i + 1. Let p be m(-4). Suppose -67 = 2*v - p. Let z = 706 - v. Is z a prime number?
False
Let v(s) = s**2 + 5*s. Let u be v(-4). Let d be 36/15 + u/10. Suppose 2*l - 196 = 3*f, -f - 14 = d*l - 202. Is l a composite number?
True
Let t(b) = 1922*b - 15. Is t(1) composite?
False
Is 0 - (-7 - 56664/4) prime?
True
Let b be (20/10)/(4/58)*-24. Let j = 1183 + b. Is j a prime number?
True
Suppose 0 = 2*n - d + 27, 2*d = -0*n - n - 26. Is ((-1899)/(-12))/((-6)/n) composite?
True
Suppose -2381 - 244 = 5*i. Let z be (i + -2)/(2/(-6)). Suppose -2*h = -y - 636, 11*h - 6*h = -2*y + z. Is h composite?
False
Let j = 27 + -31. Is ((-53)/j)/(6/24) a composite number?
False
Let a(c) = c**2 + 6*c. Let s be a(-6). Suppose s = -4*r - r + 335. Is r composite?
False
Suppose -2*o - 2*j = -237 - 205, 0 = o - 3*j - 213. Suppose m - 4*y = 397, 2*y + 1440 - o = 3*m. Is m prime?
True
Is ((-42)/28)/((-12)/14776) a composite number?
False
Let p(d) = d**3 + 30*d**2 - 20*d - 21. Is p(-26) a composite number?
False
Suppose 2*w - 46 = 26. Let z be w*9 + 12 + -10. Let u = -185 + z. Is u a composite number?
True
Let c(l) = -609*l + 6 - 75*l - 3 - 1. Let k be c(3). Is (3/(-5))/(10/k) a prime number?
False
Let c(o) = 7*o**3 + 3*o**2 - 4*o - 23. Let k(i) = -20*i**3 - 10*i**2 + 12*i + 68. Let s(w) = 11*c(w) + 4*k(w). Is s(-7) prime?
True
Suppose -70*n + 133346 = -65*n - j, -4*n = -2*j - 106678. Is n composite?
False
Let z = 1 - -2. Suppose -z*m = -n + 3, -n + 3*n = 6. Suppose 2*r - 446 = -m*r. Is r prime?
True
Let h = 7233 - 3986. Is h composite?
True
Suppose 2*p - 4*u = 3110, -4*p + 1390 + 4854 = 4*u. Is p composite?
False
Let k = -46 + 49. Suppose -3*z = -0*f - k*f - 582, 15 = -5*f. Is z a composite number?
False
Let l = -613 + 1454. Is l prime?
False
Suppose -f = 4*s - 883, -4*f + 5*s - 10*s + 3477 = 0. Is f prime?
True
Let l(o) = -o - 13. Let r be l(-9). Let t(w) = -13*w - 6. Let m be t(r). Let v = m + -3. Is v prime?
True
Let t = 510 - 261. Is t a prime number?
False
Let u be (-9)/15 - 512/(-20). Suppose -68 = 10*d - 8*d. Let o = u - d. Is o prime?
True
Let a be 0 + ((-6945)/(-27) - 2/9). Suppose 3*b - a = 2*b + 2*y, -5*y = -4*b + 1031. Is b pri