 Let k = d - 58. Let n = k + 88. Is n prime?
True
Is 5/(-40) - 6*92889/(-48) prime?
False
Let s = 926 - 154. Let d = s - 123. Is d a prime number?
False
Let y(r) = 86*r**2 - 6*r + 47. Is y(-9) a prime number?
False
Let v(w) = -1086*w - 247. Is v(-9) prime?
False
Suppose -3*c = 657 - 1962. Suppose -u - c = -4*u. Is u a prime number?
False
Let y(x) = 3*x**2 + 12*x + 4. Let k be y(-4). Let i be (-12)/(k*5/(-2410)). Suppose 7*b = -3*v + 4*b + i, -v = 5*b - 494. Is v a prime number?
True
Let b = 28 + -27. Let z(d) = 178*d**3 - d. Let q be z(b). Suppose 3*o - 306 = q. Is o a composite number?
True
Is 491536/208 + 4/(-26) composite?
True
Let a = 3 + 2. Suppose 4*s = 3*s + 4. Suppose -w = -s*t + 511, 5*t - 566 = a*w + 54. Is t a composite number?
True
Suppose -2*l = -4*f + 258826, -130*l + 131*l - 258817 = -4*f. Is f prime?
False
Let x(i) = 190*i - 3. Let o be x(-4). Let r = 1665 + o. Suppose 5*g = 3*n - r, 0*g = n - 2*g - 301. Is n prime?
False
Let m be 7/21 - 1/3*4. Is ((-27396)/(-30) - 2) + m/5 prime?
True
Suppose 45*d + 208 = 41*d. Suppose 0*u - 132 = 4*u. Let h = u - d. Is h a composite number?
False
Let v(a) = 5*a**3 - 11*a**2 + 20*a + 37. Is v(11) prime?
True
Suppose -3*o + 0*n + 41 = -5*n, 4*n = 8. Let d = o - 13. Suppose d*l - 765 = 55. Is l a prime number?
False
Let c be (-2)/(-3) - 130/(-30). Let q be -2 - c/(5/(-2)). Suppose q = -4*b + 420 + 472. Is b a composite number?
False
Is -5*1*(8 + -1159) composite?
True
Suppose a - 8 = -0*n + 4*n, -2*a + 6 = 2*n. Let l be (-22)/n + (0 - -3). Is 6/(-10) + 12140/l a prime number?
False
Is (0 - (31 - 2))*(-4145 - 32) a prime number?
False
Let p be (-14)/(-91) - 50/(-13). Suppose p = 5*r - 11. Is (-332 + r - -2)/(-1) prime?
False
Let q be ((-6)/(-4))/(6/16). Let p(o) = 2*o**2 + 5. Let i be p(0). Suppose -i*b = q*c - 1021, 2*c - 264 = c - 3*b. Is c prime?
False
Suppose 2*t - 140 = t. Let a = t - -18. Is a a prime number?
False
Suppose 14*d - 9*d = 10. Suppose -2133 = -d*m - 7*m. Is m composite?
True
Suppose -3*l + 13644 = -3*m, -3 = 72*m - 69*m. Is l composite?
False
Suppose -3*w - 3*l + 87 = 0, 7*l - 4*l - 59 = -2*w. Suppose -108591 = 7*p - w*p. Is p a prime number?
True
Let g(u) = -24*u**3 + 5*u**2 - 16*u + 8. Is g(-9) composite?
True
Suppose -2*m = -4*m + 1900. Suppose 3*v - 2*q + m = 7*v, -925 = -4*v + 3*q. Is v prime?
False
Let b = 14 - 22. Let r(h) = h**3 - h**2 - h + 1. Let x(l) = -3*l**3 + 11*l**2 - 8*l - 13. Let u(w) = 4*r(w) + x(w). Is u(b) a composite number?
False
Suppose 3*m = -3, 2*d + 2*m - 1491 + 159 = 0. Is d composite?
True
Let k(u) = 288*u**2 + 8*u + 11. Suppose 5*o + 0*o - 4*q + 19 = 0, 4*q - 4 = 0. Is k(o) prime?
True
Suppose -2791 = -15*w + 24224. Is w a composite number?
False
Let r(s) = 63*s + 29. Let d = -16 + 28. Is r(d) prime?
False
Let j = 412 + -274. Suppose 4*o + c = 6*o + 276, -o - 2*c = j. Let t = 7 - o. Is t prime?
False
Let i = -907 + 1610. Is i a prime number?
False
Suppose 2*r - 7849 = 3093. Is r a prime number?
True
Let r be 6 - 4 - 0 - -8. Suppose -5*w + r*w = 7910. Suppose 2*f = 4*s - 6*s + w, -4*f - 5*s + 3164 = 0. Is f a composite number?
True
Let d(i) = 78*i**2 + 8*i + 179. Is d(-15) prime?
True
Suppose -2*p + 24 = -l + 2*l, -3*l = 2*p - 32. Suppose -p*s - 58385 = -15*s. Is s prime?
True
Let k be -4*(2/4 + -1). Suppose -486 = k*i + 2*p, -2*i - i - 728 = 4*p. Let f = i - -1803. Is f prime?
True
Let g = -7406 - -28708. Is g composite?
True
Let s(f) = 16*f**2 - 30*f + 13. Is s(9) a composite number?
False
Let m = 1 + 4. Suppose 2*z - 4 = 0, -t = -m*z + 2 + 5. Suppose 4*l - 87 = -w, t*l - 75 = -w - 3*w. Is l composite?
True
Suppose -15857 = -3*v - 5*u, -2*u - 1 - 9 = 0. Suppose 0 = 4*w - 2*w - v. Is w prime?
True
Let r(p) be the second derivative of -1/20*p**5 + 0 - p - 1/6*p**3 + 3/4*p**4 + 3/2*p**2. Is r(7) prime?
False
Let v(r) = 11*r**2 + 2*r + 57. Is v(10) a composite number?
True
Let w = -21 - -23. Suppose w*d + 2*d + t - 2161 = 0, -d = -4*t - 553. Is d composite?
False
Let c(y) = 4*y - y**2 + 11*y - 18*y - 4 - 175*y**3. Is c(-3) prime?
True
Suppose 0 = g + 5*x - 2*x + 6, 3*x + 18 = 3*g. Suppose -l + g*r = -215, l + 2*r - 199 = r. Is l a prime number?
False
Let m = 23 - 37. Let o(j) = -j**2 - 15*j - 9. Let t be o(m). Suppose 197 + 311 = 2*a - 5*f, -t*a = 4*f - 1303. Is a composite?
True
Let w be 2 + -2 + (-1 - -1). Let v be 3 + 0 - w - 0. Let i(u) = 31*u + 4. Is i(v) prime?
True
Suppose 5*u - 26815 = -4*g, -2*u - 4*g = g - 10709. Is u a composite number?
True
Suppose 2*r + 24 = 5*r. Suppose -11*p + 12 = -r*p. Suppose p*o = -o + 15. Is o a composite number?
False
Suppose 0 = 2*y - 5*c - 3027, 0 = -y - 3*c - 229 + 1715. Is y a prime number?
False
Let w be 14/4 - (-1)/2. Let x be -84*4/(-16)*-2. Is (-5322)/x + w/14 a prime number?
True
Suppose 0 = 3*k - 2*z - 1663 + 380, 3*z - 851 = -2*k. Suppose 0 = -3*h + k + 95. Suppose -7*q + 445 = -2*q + 5*x, 2*q - h = -3*x. Is q a prime number?
False
Suppose -5*d + 8287 = -26208. Is d prime?
True
Suppose 4*r = -4*z + 36, 11 + 18 = 4*r - 3*z. Let m(t) = t**3 - 3*t**2 - 11. Let v be m(r). Let q = v - 150. Is q a composite number?
True
Let n = -1592 - -2935. Let s = n - -1116. Is s a prime number?
True
Let l(b) = -13*b**3 + 5*b**2 - 2*b - 43. Is l(-6) a composite number?
False
Let u be ((-1)/2)/((-3)/216). Suppose 0*p = -3*p + u. Is 53 + (3 - p/4) composite?
False
Let j be (4 - (-1500)/(-4)) + -5 + 5. Let i = j + 1162. Is i composite?
True
Let f(b) = -2 + 3 + 8 + 0 - 217*b. Is f(-4) a composite number?
False
Suppose 3*f + 6*x - 10945 = 4*x, -2*f + 7290 = -2*x. Is f prime?
False
Suppose -5*o + 3567 = -6*r + 2*r, -3*r - 5*o - 2719 = 0. Let u be -533 + 1*(1 + -4). Let a = u - r. Is a a composite number?
True
Let m(b) = -b**3 + 12*b**2 - 9. Let n be (-6)/2 + 1 + 12. Is m(n) prime?
True
Let q be (9 - 8)/(1/(-6)). Is ((-34497)/q)/(-3)*-2 a prime number?
True
Let h(j) = -3*j**2 + 0*j + j**3 + 5*j - 3*j + 5. Let z be h(6). Suppose -o = -294 - z. Is o a composite number?
False
Is 1691 + (-1 - (-4)/(8/6)) a composite number?
False
Let k(d) = d**2 + 9*d + 14. Let u be k(-2). Let l be (2/(-2))/(1/(-6)). Suppose -10*o + l*o + 88 = u. Is o composite?
True
Suppose 0 = 3*g + 2*f + f + 3, 0 = -4*g - f + 8. Let s(r) = 35*r**2 + 2*r + 6. Let t be s(g). Let q = t + -136. Is q a composite number?
False
Suppose -20*k + 21*k - 305 = 0. Let s = k - 216. Is s a prime number?
True
Suppose -4 = m - 13. Suppose -2*v - 133 = -m*v. Is v a prime number?
True
Suppose 0 = 4*m + 5*b + 3, 0 + 3 = -b. Suppose 4*c + 3*v = -183 + 1474, 2*c - m*v = 641. Suppose 0 = 3*q + q, 2*u = q + c. Is u a composite number?
True
Suppose 1612 = 3*i + q, -3*q - 912 = -2*i + 159. Let r = 469 + i. Is r composite?
True
Suppose -3*j - 4*b + 1 = 0, 4*j - 3 = -2*b + 15. Let x(m) = -2*m**2 + 5*m - 7. Let l be x(j). Let g = 137 + l. Is g prime?
True
Is ((-26)/(-10))/((-34)/(-1870)) prime?
False
Is (1 - -1)/(-16 - (-161388)/10086) prime?
False
Let j = 6 - 6. Suppose 7*w - 5*w - 7776 = j. Suppose 4*q = 5*u + 2995, 178 = -5*q - 5*u + w. Is q prime?
False
Suppose 2*i = 4*i - 5910. Suppose v = 5*n + 561, 0*n + i = 5*v + 5*n. Is v a composite number?
True
Let z(u) = 46*u**3 + 9*u**2 + 5*u - 19. Is z(5) a prime number?
True
Let s(n) = -n**3 - 7*n**2 - 10*n - 3. Suppose -z = 5*z + 42. Is s(z) prime?
True
Let u = 33 - 20. Let y = -8 + u. Suppose -y*x - 44 = -7*x. Is x a composite number?
True
Suppose v = -3*d + 151, -3*v + d + 509 = -4*d. Is v prime?
True
Suppose -5*u = 4*c - 1883, 3*u + 1923 = 3*c + c. Suppose -c = -8*t + 443. Is t composite?
True
Suppose 0 = 5*s + 55 - 55. Suppose -2807 = -2*p + l, p = -s*p + l + 1404. Is p composite?
True
Suppose -3*c + 8*c - 2*i - 4193 = 0, 3 = 3*i. Is c a prime number?
True
Let i be 3 - (-2 + 4) - -1. Let b be (i/6)/(1/12). Suppose -1765 = -q - b*q. Is q composite?
False
Let h = 385 - -756. Is h a prime number?
False
Let y be -6*((-2)/(-4))/1. Let p be 4*((-36)/16 - y). Suppose -4*q = p*d - 440, 4*d + 136 = q + 7. Is q composite?
False
Let l = -1625 - -2628. Let j = -397 + l. Suppose -3*t + 1302 = -5*o, -j = -4*t - 4*o + 1162. Is t composite?
False
Let k(j) = -11*j**3 - 5*j**2 + 2*j - 10. Let z(c) = -5*c**3 - 2*c**2 + c - 5. Let v(q) = 6*k(q) - 13*z(q). Let s be 4/(-10) - (-46)/(-10). Is v(s) prime?
False
Let n = 22274 - 13311. Is n a composite number?