?
True
Suppose p - 380 = -0*p + 4*s, -4*s + 8 = 0. Let m = p + -210. Is m a prime number?
False
Is ((-190)/30)/((-2)/(187 + -1)) composite?
True
Let o be ((-450)/3)/(-3) + 0. Suppose -5 = -5*k - o. Is 45 - 3/(k/6) composite?
False
Suppose 2*f - 3395 = -5*f. Is f composite?
True
Suppose 2*n + 0*n = 5*v + 24, 0 = -4*n - 4*v - 8. Let p = n + -12. Is (p/(-4))/5*74 prime?
True
Let q be 50*(2 + (-1 - -1)). Let s = 207 + q. Is s a composite number?
False
Suppose 26 = 4*k + 6. Suppose -k*v + v = -4. Let o(x) = 80*x**3 - x**2 + x - 1. Is o(v) composite?
False
Let g(n) = n**2 + 10*n - 1. Is g(8) prime?
False
Let p be (-2 + (-21)/(-6))*-252. Let u be (-1)/(2 - (-758)/p). Let k = -100 + u. Is k composite?
False
Let n be (-24)/(-10)*(-30)/9. Let b(k) = -12*k - 11. Is b(n) a prime number?
False
Let v = 9 + -8. Let g be v + (1 + -1 - -1). Is g/3 - (-97)/3 a prime number?
False
Suppose -x + 759 = -2*l, 4*x + 2*l = -0*x + 3046. Is x a prime number?
True
Let b be 8*(-1)/3*-6. Is ((-2)/3)/(b/(-10632)) prime?
True
Is (-2720)/(-2) - 0 - -1 composite?
False
Let m(b) = -b**2 - 8*b + 11. Let i be m(-9). Suppose 807 = 5*k - i*q - 268, 0 = -k - 4*q + 193. Is k a composite number?
True
Let u = 326 - -1575. Is u composite?
False
Let h(t) = -3*t + 4. Let q be h(3). Let g = 18 + q. Is g a prime number?
True
Let u = 8 - 16. Is (-1690)/u + 1/(-4) prime?
True
Let o(s) = 128*s**2 + s + 1. Let b be o(-1). Suppose 210 = 4*z + 2*x, b + 37 = 3*z + 4*x. Suppose z = 2*m - 47. Is m a prime number?
False
Let w(m) = 112*m - 93. Is w(17) a composite number?
False
Suppose c = 1050 - 1. Is c a prime number?
True
Let r be (-15)/(-3) - 2/(-2). Suppose -r*u - 121 + 439 = 0. Is u prime?
True
Suppose d - 6*d = 4*q - 312, 2*q = 4*d + 156. Is (q/(-3))/(4/(-6)) a prime number?
False
Suppose -3*y - 9 = 5*f - 1, f = 2*y + 1. Is (-2)/y + (201 - 0) composite?
True
Is (-7 - 100/(-15))/((-1)/1893) a prime number?
True
Let m(i) = 13*i**2 - 16*i + 29. Is m(12) a prime number?
True
Let m(p) = -108*p - 2. Is m(-2) a composite number?
True
Let u = 360 - -4253. Is u a prime number?
False
Suppose 4*m + 3*l - 388 = 3*m, 0 = -4*m - l + 1519. Is m prime?
True
Let t(y) = y**3 + 6*y**2 + 6*y + 7. Let w be t(-5). Let l be -2 + -3 + -1 + 2. Is 21 + (l - 0)/w prime?
True
Let s = 18 - 13. Suppose 5*h = 5*b - 11 + 1, b = 2*h. Suppose -3*w + w - 3*p = -152, h*p = -s*w + 391. Is w a prime number?
True
Is 2/(-3)*(-43728)/32 composite?
False
Suppose -2*w - 22 = -4*k, 2*k = 7*k + 2*w - 23. Suppose -k*g - 7 = 13. Is 2/g*(-65 + -1) a prime number?
False
Let a(o) = -o**2 - 2*o - 1. Let m be a(-4). Is m/(-6)*134/3 prime?
True
Let r(o) = -o**3 - 13*o**2 - 24*o - 21. Is r(-17) composite?
False
Suppose x = 3*l + 1148, 4*x - 4*l - 1160 - 3440 = 0. Is x a prime number?
True
Let g(u) be the first derivative of -u**2/2 + 564*u + 1. Let q be g(0). Suppose -3*o = o - q. Is o a prime number?
False
Let i = -307 + 434. Is i a composite number?
False
Suppose 3*f - g + 0*g = 111, -4*f + 2*g + 148 = 0. Is f composite?
False
Let l(m) = 1 + 2*m - 2 + 6*m**2 - 6*m**3 - 7*m**2. Is l(-2) composite?
True
Suppose 5*n - 2*t = 20, -5*n + 5*t = -14 - 21. Suppose n = -5*h - 8. Is (-6)/4 + (-109)/h a composite number?
False
Suppose 6*q - 1435 = q. Is q a composite number?
True
Let y be 1935/20 + 1/4. Let j = y - -16. Is j a prime number?
True
Suppose j = 3*a + 28, 3*j - 20 - 8 = 2*a. Let d(b) = -3*b + 1. Is d(a) a composite number?
True
Is (-697)/(-5) + (-14)/35 prime?
True
Suppose -2*r + 5*s + 296 = 0, -3*r + 179 = -3*s - 283. Let x = -45 + r. Is x a composite number?
False
Let u = -6 - -3. Let f be (-2)/(u - (-15)/6). Suppose -3*z - 5*c = -105, f*c = 3*z - c - 105. Is z a prime number?
False
Let d(g) = g**3 - 12*g**2 + 3*g + 3. Is d(13) a composite number?
False
Let m(i) = -i**3 - 2*i**2 + 4*i + 4. Let q be m(-3). Suppose -q + 10 = d. Is (d/6)/(6/148) a composite number?
False
Suppose -5*q + 21 - 6 = 0. Suppose -5*b - 40 = -b - 5*g, 5*b + q*g = -50. Let u = 5 - b. Is u a prime number?
False
Let c(g) = 12*g - 7. Suppose -k + 5*t - 4*t - 5 = 0, -23 = 4*k - t. Let x be (10/6)/((-2)/k). Is c(x) a prime number?
True
Suppose 3*t - 960 = 78. Is t prime?
False
Let a = 9 + -8. Is 0 + (a - 2) + 212 a composite number?
False
Suppose -2*b = -2*i + 262, b + b = -2*i + 266. Let k be (i/(-2))/(4/6). Let f = 14 - k. Is f a prime number?
True
Let v = 11 - 19. Let i = -1 - v. Is i a prime number?
True
Let l(h) = -h**2 - h + 4. Suppose 4*u + 24 = u. Let j be l(u). Let x = j + 87. Is x prime?
False
Suppose -3*v + 2*v = 10. Let q = 17 + v. Is q a composite number?
False
Let f(p) = 2*p**3 - 8*p**2 + 8*p - 5. Suppose -3*g + 13 = -2. Is f(g) composite?
True
Let p(c) = 15*c**2 + c - 1. Is p(1) a prime number?
False
Let d(p) = -p**3 + 18*p**2 - p + 21. Is d(16) composite?
True
Let d be 506/(4/(-2)) - 1. Let b = d + 465. Is b prime?
True
Let b(f) = -2*f - 10. Let p be b(-7). Suppose -p*o + 87 = -189. Let y = -32 + o. Is y prime?
True
Suppose o + 4*r - 191 = -0*r, 3*r = 4*o - 745. Is o prime?
False
Let g(z) = -z**3 - z**2 + z + 3. Let w be g(0). Suppose 3 = -w*t + 9. Suppose -t*k + 4*k - 218 = 0. Is k a composite number?
False
Let p be 2/(-4) + (-5)/(-10). Suppose p = 2*l - 59 - 19. Is l composite?
True
Let t = 1023 - 670. Is t a prime number?
True
Suppose -3*a - a = -224. Let l = a - 19. Is l composite?
False
Suppose 4*f - 1681 - 259 = 0. Is f a prime number?
False
Let s be (-3)/18 + 291/18. Suppose -j + s = -21. Is j a prime number?
True
Let r(g) = -g**2 + 6*g - 3. Let p be r(5). Suppose p*t + 3*b + 9 = -2, 4*b - 42 = 3*t. Let n(f) = -4*f - 15. Is n(t) composite?
True
Suppose -d + 4*d = -y - 19, 0 = -2*d - 10. Let j be 3 - y/((-12)/(-231)). Suppose j = 4*n - 8. Is n a prime number?
False
Let z = -455 - -296. Let h = -88 - z. Is h prime?
True
Suppose -4*i - 2*z + 7269 = 3*z, -z = 4*i - 7249. Is i prime?
True
Let d = 39 - 20. Suppose p - 5*a = -a + 19, a + d = 5*p. Suppose -144 = -4*n + 4*x, -x + 1 = p*n - 111. Is n a prime number?
True
Suppose 3*g - 325 = -841. Let p = -85 - g. Is p prime?
False
Let p(m) = m**3 - 10*m**2 + 10*m - 9. Let f be p(9). Suppose -4*b = 3*t - 6, t + 0*b - 2*b - 2 = f. Suppose -t*i - 212 = -6*i. Is i composite?
False
Is 78/(-182) - 16726/(-7) a composite number?
False
Suppose -5*l = -10*l - 10. Is -4*(l - (-11)/(-4)) a composite number?
False
Let z be 9/2*(-34 + 2). Let t be z/(-14) + 4/(-14). Suppose -h + 4 + t = 0. Is h prime?
False
Suppose -4*o + 611 = 3*l - 22, -4*l + o + 844 = 0. Suppose 0 = 4*f - 3*c - l, -3*c + 4*c + 107 = 2*f. Is f composite?
True
Let l = -900 - -1354. Is l a prime number?
False
Suppose 36 = -2*n + 6. Let z = n - -2. Let r = z + 100. Is r a prime number?
False
Suppose 0 = 2*g - 13*g + 7359. Is g a composite number?
True
Suppose 0 = 3*f + f - 36. Let h be ((-32)/6)/(-4)*f. Suppose -h + 84 = 4*a + u, -2*a = -2*u - 46. Is a prime?
True
Let g(u) = 11*u**2 + 5*u + 5. Let a(i) = 10*i**2 + 4*i + 4. Let p(f) = 5*a(f) - 4*g(f). Is p(1) a prime number?
False
Let m be (-27)/15*(-20)/6. Suppose 0 = -o + m + 92. Suppose 0*r + 2*f - o = -2*r, -2*r + f = -89. Is r a prime number?
False
Let c be -2*(-2 - 8/(-2)). Let x(r) = -31*r + 3. Is x(c) a prime number?
True
Let c = -354 + 653. Is c composite?
True
Suppose 0*o - 2*o + 6 = 0. Let c(p) = -3*p**3 - p. Let b be c(-1). Suppose b*a - 194 = 2*z, -4*a + 2*z = -o*z - 203. Is a composite?
False
Let c = 2 + -6. Let a be c/10 + 388/(-5). Let d = 113 + a. Is d a prime number?
False
Suppose 0 = -0*x + x - 235. Is x a composite number?
True
Let i(r) = -17*r. Is i(-5) a prime number?
False
Let q be (-3)/(2*-3)*2290. Suppose -4*i + q = -275. Is i composite?
True
Let b be 4/6 + 12/9. Suppose -b*c + u + 259 = 0, 5*c + u - 585 = 59. Suppose -5*z = -5*j - 94 - 476, z + 2*j - c = 0. Is z prime?
False
Let x = 14 + -20. Let u be ((-3)/(-2))/((-3)/x). Is 11/(u/(6/2)) a composite number?
False
Let b(g) = -g**3 + 4*g**2 - g + 3. Let x be b(3). Let d(s) = -1 + 3 + x*s + s. Is d(2) a composite number?
True
Suppose -5*j = 2*s - 50, -2*j = 2*j - 3*s - 63. Let y = j + 17. Suppose 26 + y = d. Is d a composite number?
True
Let b(x) = x**3 - 7*x**2 + 9*x - 8. Suppose -5 = 5*j, 3*h - 4 = 3*j + 2. Let f be (h/1)/((-1)/(-7)). Is b(f) prime?
False
Let f(q) be the second derivative of q**4/12 + 37*q**2/2 + 3*q. Is f(0) a pri