
Let v be (-6 - -6)/(-3 + 0). Suppose -m - m = v, -5*z + 6295 = -4*m. Is z prime?
True
Let s = -10 - -12. Let y be 6 - (-2 + -1)*-1. Suppose y*n - 2355 - 11 = -v, s*n + v - 1579 = 0. Is n a composite number?
False
Is 4/(-3) + 87670/30 composite?
True
Suppose 2*m = 4*m. Suppose m = -12*a + 15*a - 6. Is (-2)/(a/3) + 226 a prime number?
True
Let v(n) = 1 + 49*n**2 - 18*n**2 - 4*n + 2. Is v(5) a prime number?
False
Suppose 4*r - 4*w - 5964 = 0, -3*r + 10*w - 5*w + 4469 = 0. Suppose -3137 = -2*j - 3*c, -2*j + c + r + 1624 = 0. Is j prime?
False
Let v = -555 - -856. Suppose -3*u = 365 + v. Let t = 413 + u. Is t a prime number?
True
Let v be 4847 + (4 - -1 - 0). Suppose -4*c + v = -5*h, -h = c - 952 - 261. Is c prime?
True
Let s(f) = 2*f**3 + 24*f**2 - 15*f + 69. Is s(26) prime?
False
Suppose 2*k - 4037 + 982 = 3*u, -3*u - 1526 = -k. Is k a prime number?
False
Is (-78)/(-117) - 76432/(-3) composite?
True
Suppose z + 5*f = -z - 241, -3*z = f + 329. Let g = z + 299. Is g prime?
True
Suppose -33397 = -4*p - 3*a, -9211 = 3*p - 3*a - 34285. Is p composite?
False
Suppose 0 = 17*b - 29*b + 66684. Is b a prime number?
True
Let l = 6 - 13. Let z(q) = 10*q**2 + 6*q - 5. Is z(l) a prime number?
True
Suppose h = 2*w - 18, -2*h + 6 = 14. Suppose 5*i - 3 - w = 0. Suppose 76 = i*g + 2*g. Is g a composite number?
False
Let v = 1326 + -658. Suppose 2*a = -2*j + 180, 0 = -5*a - 4*j - 217 + v. Is a a composite number?
True
Let i = 6137 - 2550. Is i composite?
True
Suppose 0*k - 5*k + 3*w + 418 = 0, 4*k - 334 = 2*w. Suppose f - k = 6. Is f prime?
True
Let g = -8 - -13. Let q(c) = -c**2 + 4*c + 5. Let p be q(g). Suppose p*d = 5*k - d - 577, -3*k + 355 = -5*d. Is k a prime number?
False
Suppose -2*f + 2*g = -18118, 0 = -5*f + 41*g - 38*g + 45295. Is f a composite number?
False
Let l = -43 + 37. Is (l/(-4) + -1)*674 a composite number?
False
Suppose 0 = -l + 24 + 7. Suppose -5*a + 20 = 0, -199 = -4*h - a - l. Let u = 160 - h. Is u a composite number?
True
Let n = 32 + -27. Suppose -2*t + 5*b = -4719, -b = n*t + 4*b - 11780. Is t a prime number?
True
Suppose t + 4*d = 1854, t - 5*d + 0*d - 1836 = 0. Suppose -3*l + 15657 = -5*a + t, -l - 3*a = -4585. Is l a prime number?
True
Let s = -1570 + 7193. Is s prime?
True
Let h = -236 - -332. Let b = 125 + h. Is b composite?
True
Let x(k) = -22*k + 2. Let g be (-15)/4*(-4)/3. Let q be x(g). Let r = q - -313. Is r prime?
False
Is ((-8442)/(-4) - 4) + 15/(-10) prime?
False
Is (-280)/1540 - (-2)/(44/103470) prime?
True
Suppose 0 = 5*v - 0*v, -4*v + 160 = -5*x. Let o = 18 - x. Let l = o + 5. Is l prime?
False
Let j(q) = -2*q - 22. Let h be j(-11). Suppose h*m + 10 = 5*a - 2*m, 4*a - 36 = -4*m. Suppose -a*n + 0 = 8, -y = 4*n - 683. Is y composite?
False
Let i = 24 - 29. Is (-3)/i + (-442)/(-5) prime?
True
Suppose 0*z + z = -3*n + 33, -4*n - 70 = -5*z. Suppose -4*o = -o - 4*b - z, 7 = 5*o + b. Suppose -3*x + 4*p = -x - 414, -846 = -4*x + o*p. Is x a prime number?
False
Let v be ((-45)/30)/((-3)/3898). Let z = -1378 + v. Is z a composite number?
False
Is (-14)/(-77) - 34809/(-33) a prime number?
False
Suppose 7*g - 1495 = -158. Is g composite?
False
Let v(b) = 4*b**2 - 3*b + 25019. Is v(0) prime?
False
Let c(o) = 335*o + 51. Let m be c(-18). Let v = -2386 - m. Is v prime?
True
Let z(v) = -52*v**3 - 3*v**2 + 8*v + 6. Is z(-4) a prime number?
False
Suppose 7*k = 3*k - 256. Suppose 0 = -c - 27 - 0. Let d = c - k. Is d prime?
True
Suppose 3*p = -3*r + 6, 0*p = -5*p + r + 10. Suppose 2*v - p*s = 1 - 5, -4*v = 3*s + 8. Is (v/6 + 0)*-969 composite?
True
Suppose 10 = -15*n + 130. Is (-6)/n - 17085/(-12) prime?
True
Let v = -3074 + 8061. Is v composite?
False
Let m be ((12/9)/(-2))/((-2)/(-3)). Let p(b) = 2164*b**2 + b + 2. Is p(m) a prime number?
False
Is 1 + 1938 + -7 + (-14)/(-2) composite?
True
Suppose 4*a = 2*a + 4. Suppose 3*o + 301 = 4*o - a*g, 4*o - 1216 = 4*g. Is o composite?
False
Suppose -3*y - 4*t = -486, t + 670 = 4*y - t. Suppose -4*g + 2*g - 3*d = -174, 2*g - d = y. Suppose -3*w + 825 - g = 0. Is w a composite number?
True
Let f = -4577 + 7556. Is (((-28)/3)/14)/((-2)/f) composite?
True
Let x(w) = w**2 - 8*w - 9. Let v(f) = -1 - 9*f + 2 + 4 - 13 - f**2. Let b be v(-6). Is x(b) composite?
False
Let t(m) be the first derivative of 33*m**4/2 - m**3/3 + 5*m**2 - 6*m - 31. Is t(3) a prime number?
False
Let p = 100005 - 27334. Is p a composite number?
False
Let z(h) = 620*h + 7. Let u be z(2). Suppose -u = -3*k + 1990. Is k composite?
True
Let n be 0/(((-4)/2)/2). Suppose 2*h = a - 6, 0 = 5*a - h - h - 14. Suppose -2*c - a*c + 212 = n. Is c prime?
True
Let h(b) = -731*b + 90. Is h(-7) a prime number?
False
Suppose -26913 = 24*x - 280857. Is x composite?
True
Let o(v) = -15 + 0 + 32*v + 188*v - 26*v. Is o(5) a prime number?
False
Suppose 0 = -u + 6*u. Suppose 5*o = -4*w + 288, -w + 2*o + 33 + 52 = u. Is w composite?
True
Let w = -286 - -8949. Is w composite?
False
Suppose -2*g + 2*k = -17238, k - 37425 = -5*g + 5694. Is g prime?
True
Suppose 4*s - 8719 = -0*h - h, -2*s - 4*h = -4370. Is s prime?
True
Let p(b) = -848*b + 27. Is p(-23) composite?
False
Let l be (36/(-30))/((-2)/25). Let u be ((-5)/l)/((-1)/885). Suppose -4*f + u = f. Is f prime?
True
Let o = 17436 - 6322. Is o a composite number?
True
Suppose 4*o = -3*d + 568, 3*o = o - 4*d + 274. Is o a composite number?
True
Let c(a) = 20*a**2 - 6*a - 18. Let p be c(-2). Suppose 6 = -3*b + 5*b. Suppose -p = b*q - 5*q. Is q prime?
True
Let r be (-3)/(-2)*320/15. Suppose -2*x + r = 3*g, -2*x + 3*g + 100 = 2*x. Is x a composite number?
True
Let q = -16479 + 27858. Is q composite?
True
Let a(f) = -2*f**2 + f + 3. Suppose -c - 2 - 1 = 0. Let s be a(c). Is (-6)/s - (-940)/6 composite?
False
Suppose c + 1 + 3 = 0. Let x be 327 + -2 + (-12)/c. Suppose 2*d + x = 6*d. Is d prime?
False
Let n be ((-1)/((-2)/6))/(45/120). Is n/(-4) + 4 + 1*633 composite?
True
Let b(h) = -17 + 52 + 95 - h. Let z be b(0). Let g = z + -44. Is g a prime number?
False
Suppose -5*c - 2531 = -1041. Is c/(-4)*14/7 composite?
False
Let h(b) = -1159*b**3 - 2*b**2 + 2*b - 1. Let n be h(1). Let l = n + 1957. Is l a composite number?
False
Let n(f) = -11*f**3 - 3*f**2 - 48*f - 13. Is n(-6) composite?
False
Let u be ((-24)/9)/(-4)*3. Let o(s) = 5 + 0 - 2 - 2*s + 76*s**2. Is o(u) a prime number?
False
Let l(u) be the second derivative of 3/2*u**3 + 0 - 2*u - 1/2*u**2 + 1/6*u**4. Is l(-7) a composite number?
True
Let p = 27250 - 17053. Suppose 7*l - p = 9599. Suppose -9633 = -5*t - l. Is t a prime number?
True
Let c be 92 + -1 + 2/1. Let h = c - -91. Suppose h = 2*i - 2*j, -i + 68 = -4*j - 21. Is i composite?
True
Suppose 0 = 3*s - 10633 - 14669. Let x = s + -5407. Is x a composite number?
True
Let i(x) = x**3 + x**2 - x + 5. Let a be i(0). Let t = a - 7. Is -37*(-3 + t/(-1)) a composite number?
False
Let s = -34165 - -59832. Is s prime?
True
Let x(b) = b**2 + 2*b + 3. Let m be x(-3). Suppose -i = -m*i + 1240. Let d = -115 + i. Is d prime?
False
Suppose -11117 = -h - 2176. Is h composite?
False
Suppose 2*q - 409 = q. Let i(c) = -c**3 - 7*c**2 + 19*c + 5. Let z be i(-7). Let y = q - z. Is y a prime number?
False
Let f(s) = -s**2 + 4*s - 2. Let k be f(2). Suppose 0*h - 12 = -4*h + 4*n, 9 = 3*h + 5*n. Suppose -h*l = k*l - 170. Is l composite?
True
Suppose 3*n + 27 = 3*k, 12 = k + k + n. Suppose -a = 3*t - k, 3*a = -8*t + 4*t + 16. Is 2 - (-6*2)/t a composite number?
True
Let s be 6/(-9)*1*-3. Suppose -s*v + 767 = -891. Is v a prime number?
True
Let a = 16905 + -10018. Is a a prime number?
False
Let v be (87 + 5)/(1*2). Let j = -1 + v. Suppose -50 = -5*r + j. Is r composite?
False
Is 3/(6/23116) + 3 a composite number?
True
Let r(s) = s**2 - 6*s - 11. Let z(v) = v**2 - 6*v - 11. Let x(y) = 4*r(y) - 3*z(y). Let g be x(8). Suppose -8*b + g*b = -93. Is b a composite number?
False
Let r(a) = -a**3 - a**2 + 1. Let x be r(1). Is (x + 3768/9)*3 a prime number?
False
Let m be 0 + 3 - (0 + -691). Let l = -306 + m. Suppose -4*u - l = -1560. Is u a prime number?
True
Let r(u) = 42*u**2 + u + 61*u**2 - 7*u - 2 + 0*u. Is r(-3) prime?
False
Let b(k) = -26*k + 2. Suppose 2*w = 2 - 0. Let g be b(w). Is g/(-60) - (-1446)/10 prime?
False
Suppose -29*l = -41*l + 5316. Is l a prime number?
True
Let m = 18 + -24. Let u = m + 61. Is u prime?
False
Suppose