
True
Is (((-21)/6)/(-7))/((-12)/(-207384)) prime?
True
Let k be -12*3/(0 - -6). Let v(j) = -j**2 - 6*j + 5. Let i be v(k). Suppose 0 = i*q - q - 5924. Is q a prime number?
True
Suppose 0 = -5*g - 4*d + 35715 + 29406, -g + 5*d = -13001. Is g composite?
True
Let a(l) = 10*l + 2. Let q be a(-8). Let v = -72 + q. Let m = -95 - v. Is m a composite number?
True
Let z(f) be the second derivative of 3*f**4/2 + f**3/6 - f**2/2 - 4*f. Let d be z(-3). Suppose 0 = 2*o - 4*o + d. Is o a prime number?
True
Suppose j - 4 = -0. Suppose 0 = v - h + 1 - 2, -7 = 2*v - 5*h. Suppose 3*a - 1349 = -j*t, v*a + 1794 - 466 = 4*t. Is t composite?
True
Let o(w) = -4*w**3 + w**2. Let y = -2 - -3. Let a be o(y). Let d(t) = 58*t**2 + t + 2. Is d(a) a composite number?
False
Let m = -66 + 72. Is 2/m - (-20928)/18 composite?
False
Let f(m) = m**3 - 7*m**2 - 7*m - 10. Let q be f(8). Let r be -3 + 1/q*-542. Suppose 0 = -0*h + 3*h - 5*x - r, -4*h - 3*x = -367. Is h composite?
True
Let c(n) = -440*n + 941. Is c(-64) a composite number?
False
Suppose 2*p - 36 = -0*p. Let k be 1*-1*(-1 + -4). Let a = p - k. Is a composite?
False
Let j = 53 - 756. Let w = j - -1190. Is w a composite number?
False
Let p(b) = 7*b**3 - 4*b**2 + 7*b + 115. Is p(14) a composite number?
False
Suppose -11843 = -2*a + 4*r - r, -5*a + 5*r + 29610 = 0. Is a a composite number?
False
Suppose -2*t + 3*o = -12 - 1, -2*t = -o - 3. Let j be t/4 - (-108)/48. Suppose -184 = -4*z - j*a, 2*a + 145 = 3*z - 0*z. Is z a prime number?
True
Let l(g) = -4016*g**3 - 4*g**2 + 4*g + 3. Is l(-2) a composite number?
True
Suppose -5*b - 9*b = -63854. Is b prime?
True
Let y(w) = 18*w**2 - 16*w - 8. Let m be y(-9). Suppose 33 = -7*z + m. Is z a composite number?
False
Suppose 0 = -3*b + 6. Let c be (-1)/((b/158)/(-1)). Let d = -53 + c. Is d prime?
False
Let m = 33 - 27. Is ((4/m)/1)/((-44)/(-80322)) composite?
False
Suppose -5*p + 2 + 28 = 0. Suppose 0 = p*a - 3033 + 699. Is a a prime number?
True
Suppose -2*y + 4*d + 15 + 17 = 0, -5*y = -4*d - 50. Is (-204)/(-9)*y/4 a prime number?
False
Suppose 2*x = 6198 - 1272. Is x composite?
True
Suppose 0 = 2*f + 1 + 17. Let d(k) = 2*k**2 + k. Let m be d(f). Suppose 5*c - 2*t - 109 = 688, -2*t - m = -c. Is c a prime number?
False
Suppose -5*u = 2*b + 35, -u = 3*b - 2*u + 27. Let f = b + 17. Is 471/f + (-18)/63 prime?
True
Suppose 0 = -22*k + 21*k + 1249. Is k composite?
False
Let s = 12 + -31. Let x = s + 22. Suppose -154 = -4*w - g + x*g, 83 = 2*w - 3*g. Is w composite?
False
Let g(s) be the second derivative of 111/10*s**5 - 1/6*s**3 - 4*s + 1/2*s**2 + 1/12*s**4 + 0. Is g(1) a composite number?
False
Suppose 5*n - 13*n + 280 = 0. Suppose -4*u - 2*x + n = -1, -u - x + 8 = 0. Let z = u - -36. Is z composite?
True
Let v = 43 + -31. Suppose -2*s = -l - l + 6, -v = 4*s + 5*l. Is 36 - (-1)/(s/9) composite?
True
Is (-19035 + 1)*10/20*-1 a composite number?
True
Let x be (-2 - 0)/(7/2219). Let q = x - -1187. Is q composite?
True
Let o(k) = 3*k**3 - 6*k**2 + 9. Let z be o(4). Suppose -f + 526 = -z. Is f a prime number?
True
Suppose -4*o = 12, 3*m - 4*o - 27 = -2*m. Suppose 0*p + m*p = 4881. Suppose 3*v - 4*v + p = 3*q, 533 = q - 2*v. Is q a composite number?
False
Is 38161*1 + (-10 - -29 - 22) prime?
False
Let c(s) = -2*s**2 - 12*s + 10. Let t be c(-7). Is (-1)/2 + (-446)/t prime?
False
Let s(g) = -78*g - 521*g + 130*g + 4. Is s(-1) prime?
False
Suppose 0 = -r + 3*y - 22, r = -4*y + 3*y - 6. Let x = 327 + -320. Is x + r + (-6)/(-1) composite?
False
Is (3/(-4))/((-72)/273120) a prime number?
False
Let h(b) = -3*b**3 - 2*b**2 - 1. Let a be h(-4). Suppose -2*d + a = -139. Is d composite?
False
Suppose -23695 = -15*v + 16520. Is v a composite number?
True
Suppose -5*v + 3*v + 30 = 0. Suppose 5*o + 2*s = s + v, -2*o + 2*s = -6. Suppose 2*r = 2*c - 130, 3*c - 177 = -0*c - o*r. Is c a composite number?
True
Let w(l) = -4*l**2 - 4*l + 2. Let j be w(-2). Let r be (3 + j)*(-236)/6. Let i = -65 + r. Is i a composite number?
False
Suppose -y + 7 = -a - 5*y, 3*a - 21 = 2*y. Suppose 0 = 3*j + 3, -3*v - 218 = -4*v - a*j. Is v composite?
False
Let s(w) = 3*w**3 - 3*w**2 + 11*w - 4. Let m = 36 + -29. Is s(m) composite?
True
Let u be ((-28)/35)/((-3)/(-90)). Let i = 20 + u. Is (-100)/30*66/i composite?
True
Let g be 16 + -4 + -3 + 3. Suppose -z = -k, -z + 3*k = -k + g. Suppose 0 = 4*r - z, -3*h - 3*r = h - 187. Is h a prime number?
False
Suppose -t + 2 = -0*t + 4*c, 0 = 4*t - 5*c - 29. Suppose -2*z + t*z = 1968. Let p = 785 - z. Is p a prime number?
True
Let q be 13 + -9 - (1 - -175). Let m = q - -459. Is m a composite number?
True
Let b(w) = 4*w - 20. Let f be b(5). Suppose 615 = 5*t + 4*p, -3*t - p = -f*t - 376. Is t a composite number?
False
Let c = -1148 + 2026. Suppose -w + 273 + c = 0. Is w a composite number?
False
Is (-5915172)/(-465) + 1/5 a composite number?
False
Let h(l) = -146*l - 19. Is h(-1) composite?
False
Let y be (-48)/9 - 1/(-3). Let n(d) = -d**3 + 2*d**2 - 2*d + 2. Is n(y) a prime number?
False
Suppose -4*z - 3*h + 3632 = 500, z = -3*h + 792. Let f = 306 + z. Let u = f + -565. Is u prime?
True
Let b = -3283 - -1944. Let w = 1880 + b. Is w a composite number?
False
Let w(g) = 913*g**2 + g - 1. Let l be -6 + 9 - (2 - (-2 + 2)). Is w(l) a composite number?
True
Let b = -147 + 147. Suppose 5*f - 5*y - 15750 = b, 2*f = -0*f + y + 6305. Is f a prime number?
False
Suppose 3*m = 4*t + 3, t - 2*m = -4*t + 5. Suppose -3*l + 2619 = 3*j, 4*j - 869 = t*j - 2*l. Is j composite?
False
Suppose -3*p + 2 = -2*p. Suppose -7 = 5*l - 22, 2699 = 5*s - p*l. Is s prime?
True
Let q(d) = -347*d - 126. Is q(-17) a composite number?
True
Let i(h) = 154*h - 3. Let c be i(-4). Let m(x) = -x**2 + 10*x + 11. Let y be m(11). Is (3 + (-4 - y))*c a composite number?
False
Let o(b) = -6*b**2 - 5*b - 5. Let p be o(-1). Is 4/p - (0 + (-881)/3) prime?
True
Let t(f) = f**2 + 7*f + 6. Let r = 17 - 23. Let z be t(r). Suppose z = -3*g - 4*w + 512 + 213, -2*w + 10 = 0. Is g composite?
True
Suppose -4*h + 10743 = -2717. Is h a prime number?
False
Let c(t) = 409*t - 17. Let u be c(11). Let n be 2/13 + u/(-234). Let a = 14 - n. Is a prime?
False
Let w(b) = -b**2 + 16*b + 39. Let i be w(18). Suppose -77 = -i*m - 20. Is m prime?
True
Is (-8394)/(-2)*1*5/15 a prime number?
True
Let r(t) = t**3 + 12*t**2 + 17*t + 25. Suppose -6*h + 25 = -v - h, 5*v + 2*h = -44. Is r(v) a composite number?
True
Suppose 0 = -2*p + p + 3395. Suppose -2*y + p - 1297 = 0. Is y prime?
True
Let n = -198 - -899. Is n a composite number?
False
Let u = 9 - -9. Suppose r = -5*w - u, -3*r + 6*w - 3*w = -18. Suppose 3*f + 2*o - 2347 = -r*f, f - 3*o = 466. Is f prime?
False
Let r(j) = -2*j**2 + 29*j - 6. Let c(w) = 2*w**2 - 29*w + 6. Let q(n) = 7*c(n) + 6*r(n). Is q(23) prime?
True
Let k(h) = -8*h + 28. Let q be k(4). Is (30/(-18) - -1)*4614/q prime?
True
Suppose 3*z - 5*g - 20 = 0, -3*g - 4 + 16 = 3*z. Suppose -z*b - 6778 = -21293. Is b a prime number?
True
Let j be (-3)/(-3)*-2 - -122. Let l = -89 + 92. Suppose -l*o = -j - 81. Is o composite?
False
Let t be 1*(0 - -2 - 3). Let y be 0/((t - -2) + 0). Let g(o) = o**2 + 613. Is g(y) prime?
True
Let m(k) = k**3 - 3*k**2 - 10*k + 23. Is m(7) composite?
False
Let p be (-8)/20 + (-64)/(-10). Suppose p*d = 2423 + 3943. Is d composite?
False
Suppose -13*z + 51346 = -33115. Is z composite?
True
Let t(p) = 10*p**2 + p**3 - 15 + 10*p + 7 + 4*p. Let b be t(-8). Is (1074/(-15))/(b/(-20)) a composite number?
False
Let c = 2349 + -1588. Suppose 2*m = m + c. Is m a prime number?
True
Suppose 8752 = -21*l + 5*l. Let r = 840 + l. Is r prime?
True
Let p be (2/(-5))/(8/(-10))*16. Suppose -p*x + 21 = -6931. Is x a prime number?
False
Let o = 2 - -2. Suppose -5*p + 330 = o*r, -2*p + 3*r + 132 = 5*r. Is 9926/22 + (-12)/p a composite number?
True
Let g(y) = y**3 + 17*y**2 + 7*y - 8. Let n be 12/10*65/26. Suppose -33 = -0*a + n*a. Is g(a) prime?
True
Suppose -31*t = 135490 - 648447. Is t prime?
True
Let u(b) = b + 6. Let m be u(-3). Suppose t - 5*f - 397 = 0, 0 = -m*t - 3*f + 801 + 390. Is t a composite number?
False
Suppose -9*x = -55 - 1637. Suppose -3*q + 571 = -2*r, q - 3*r - x = -0*r. Is q prime?
True
Suppose -11*l - 23640 = 9030. Let i = -1235 - l. Is i composite?
True
Suppose 6*w = 12*w - 10326. Is w composite?
False
Let k be 8/(-6)*9/(