b(z) prime?
True
Let v = 78 + -720. Is v/9*-3 - 3 a composite number?
False
Let d be (-1 + 1)/(-1 - 2). Suppose -3*q + 3*a + 402 = d, 293 = -3*q + 5*q + 3*a. Is q a prime number?
True
Let p(i) = i**2 - 14*i + 13. Let d be p(12). Let x = 8 + d. Is (-5 - x) + 2 + 58 composite?
True
Let d be (-20531)/(-49)*((0 - -1) + 0). Is (d + 2*(-12)/(-8))/2 a prime number?
True
Let c(v) = -870*v - 9. Let d be c(-4). Suppose -4*q = -q - d. Is q a prime number?
False
Suppose 0 = 4*q - q - 2*f - 620, -5*f + 865 = 4*q. Suppose -3*s + 0*s = 3*w - 321, 0 = 2*s + 4*w - q. Is s composite?
False
Let j = -24 - -123. Let t = j - 22. Is t a prime number?
False
Let h = 1005 - 404. Suppose -5*t + 3399 + h = -x, -15 = -3*x. Suppose -4*n = -b + t, -b + 4*b - 2394 = 3*n. Is b composite?
False
Let m(j) = j**2 - 14*j - 196. Let g be m(23). Let r(u) = 2*u + 6 + 2*u**2 - u + 0*u**2. Is r(g) a prime number?
False
Let d(o) = o**2 + 4*o - 55. Let k be d(-10). Suppose -3*n = 2*f + 967 - 7272, -2*f = k*n - 10503. Is n a prime number?
True
Suppose -27*g = -25*g - 6. Suppose 0 = -3*q + 6 - g. Let b(z) = 287*z**2 + z - 1. Is b(q) prime?
False
Suppose -5*t + 7 = -23. Let a be 261*(t/(-2) + 5). Is (1 - -1) + a/6 composite?
False
Let b = 14 - -1. Is b a prime number?
False
Suppose 5*g - 10 = 4*r, -1 = 3*g + 3*r - 7. Let p(f) = 17*f**3 + 5*f**2 - 6*f + 1. Is p(g) a prime number?
False
Suppose 2*s - 17793 = -5*x, 0*x + 2*x + 26699 = 3*s. Is s a prime number?
False
Let t = 6 - -31. Let g = -12 + t. Suppose 2*d - 4*f - 6 = 0, 3*f - g = -3*d + 5*f. Is d a composite number?
False
Let v = -9 - -12. Suppose -2*c + 295 = c + 4*h, v*c - 2*h = 289. Is c a composite number?
False
Let h(n) = -442*n - 5. Is h(-2) a prime number?
False
Let y(v) = 0*v + v - 3 + 0*v. Let h be y(7). Let b(l) = 2*l**2 - 3*l - 1. Is b(h) a prime number?
True
Suppose 28*b + 36175 = 33*b. Is b prime?
False
Let z(c) = 0*c**2 + c**2 + 6*c + 0*c**2 - 2. Let m be z(-6). Is (340/(-25))/(m/5) composite?
True
Let f = -15 + 12. Is 471*(4/f - -2) a prime number?
False
Let y = 5001 + -2912. Suppose y = 4*c - 195. Is c a prime number?
True
Let w(h) = 16*h**3. Let s be w(1). Let u(v) = -v**2 + 15*v + 5. Let d(i) = -2*i**2 + 32*i + 10. Let p(j) = 4*d(j) - 9*u(j). Is p(s) a prime number?
True
Suppose 106*p + 2*n + 28945 = 109*p, 3*p + 3*n = 28935. Is p composite?
True
Let r = 31776 + -21575. Is r a composite number?
True
Let c = 8233 + 4216. Is c prime?
False
Let g be (-3)/(-6)*(6 + -432). Let o = g - -1384. Is o prime?
True
Let r be (-6)/(-9) - 30/(-9). Is 2/(-2) + -1 + r + 113 a prime number?
False
Let i = -92537 - -149950. Is i a composite number?
False
Suppose -5417 - 3580 = -3*u. Is u a composite number?
False
Let d(z) = z**2 - 5*z + 3. Let u be d(4). Let o be u/(-3) - 8/(-12). Suppose r = o + 10. Is r composite?
False
Suppose -2*f = -7*n + 4*n + 21, 2*n - 4 = -2*f. Suppose -7*a = -n*a - 2676. Suppose 0*q - a = -2*q. Is q composite?
True
Suppose -2*x = -3*w - 46829, 4*w - 60620 = -4*x + 33068. Is x a prime number?
False
Let q = -5661 + 28418. Is q a prime number?
False
Suppose 7 = 4*m + p + 4*p, 4*m = 4*p + 16. Suppose 0*y = 3*w - 4*y + 7, 0 = 3*w - 3*y + m. Let v(k) = 6*k + 5. Is v(w) prime?
True
Suppose b + 0 = 4. Suppose -b*n = 2*h - 6*n - 902, 892 = 2*h + 3*n. Is h a composite number?
False
Suppose -4*y - 47 = 553. Is -1 + 5 - y/2 composite?
False
Suppose -6*r = -2*r. Suppose r = -5*l + u - 4*u + 108, -l = -u - 20. Is l prime?
False
Let x(y) = 2*y**2 + 131*y - 44. Is x(37) composite?
False
Let n = 3025 + 6846. Is n a composite number?
False
Let t = -38 - -36. Is ((-82)/4*52)/t composite?
True
Let d = 25 + -23. Suppose 2*n + 10 = 0, -t + d*n = 107 + 141. Is 0 + 1 - (t - 0) a composite number?
True
Suppose 47*y - 11998 = 3089. Is y prime?
False
Suppose -10 = -10*r + 5*r. Let l(z) = z**2 - 8*z + 12. Let u be l(7). Suppose -4*d = -r*w + 666, 0 = 2*w - 5*w + u*d + 994. Is w composite?
True
Let r(n) = -n**2 - 8*n + 5. Let g be r(-8). Suppose 12 = -3*a, g*a = -5*l + 1848 + 1602. Is l a composite number?
True
Let z(v) = 390*v + 19. Is z(6) composite?
True
Let y be 22/4 - 3/6. Let c be (-1)/y - 6276/(-5). Let d = c + -810. Is d prime?
False
Suppose 0 = 2*w - 10, -4*k - 2*w + 29859 = -43355. Is k prime?
True
Let k(i) = -2*i - 20. Let w be k(-11). Suppose 91 = -w*y + 729. Is y a composite number?
True
Let x(g) = -14 + 26*g - 23*g + 12*g. Is x(8) composite?
True
Suppose 5*y - 3*c - 76 = -c, -4*c - 72 = -5*y. Suppose 5*h + 10 + 2 = o, 3*h = 5*o - y. Is ((-5)/(-10))/(h/(-716)) a composite number?
False
Let v be (-1 + -322)*(3 - 6). Suppose -5*m = v - 274. Let c = m - -284. Is c prime?
False
Suppose 0 = -10*o + 27415 + 75305. Suppose -8023 = -5*u + o. Is u a composite number?
False
Let f be (3/((-30)/4))/(1/(-5)). Suppose -n + g = 2*n - 620, f*n - 395 = -3*g. Is n prime?
False
Suppose -2*f + 4*w = -14752, -2*f + 4*w = -w - 14754. Suppose 5*n = 9*n - f. Is n a composite number?
True
Suppose 0 = 90*o - 88*o - 9410. Is o a composite number?
True
Let h = -28 - -34. Let f(m) = m - 2 - 3 + 7*m + 4. Is f(h) a composite number?
False
Suppose -6*m + 7282 = 5*y - 3*m, 0 = 3*y + 2*m - 4370. Is y composite?
True
Suppose -2*s - 3*i - 15296 = -6*s, 0 = -i - 4. Suppose 5*h - 2732 = -c, 0 = 2*c + h - s - 1598. Is c composite?
False
Let j(p) = p**3 + 8*p**2 + 8*p + 4. Let q be j(-7). Is (-1942)/q + (-3)/9 composite?
False
Let h be (-42)/(-12) - (-1)/2. Suppose 3*x + 10 - 1 = 0, 3*g = -h*x. Is (g/(-6))/(2/(-381)) composite?
False
Let g be (-1 - (-10)/(-5)) + -14. Let u = g - -17. Let x(t) = -t**3 + 2*t**2 + 65. Is x(u) composite?
True
Let c = 30 - 36. Suppose -5 = -2*p - p - 2*x, 4*p + 3*x = 8. Is c/(p - (-15)/21) prime?
False
Let l = -54 + 62. Suppose -3*z - 3*k = -l*z + 1822, 0 = 4*z - 4*k - 1456. Is z composite?
True
Let m = -23825 - -34243. Is m a prime number?
False
Suppose -4*d + 5*l - 12 = 0, 0*d = -2*d + 3*l - 8. Let k(m) = 17*m**d - 2*m - m - 3 + 2*m. Is k(4) composite?
True
Suppose 2 - 6 = 2*r - 4*n, 5*n - 20 = 0. Suppose 1167 = 7*w - r*w. Is w a prime number?
False
Suppose -9*f - 13*f + 191378 = 0. Is f a prime number?
True
Let x(w) = 1401*w**3 + w**2 - w + 1. Is x(1) a prime number?
False
Let t be (-3 - 3202/4)*2. Let z = -565 - t. Is z a prime number?
False
Let m(s) = -s**3 + 44*s**2 - s + 53. Is m(34) a composite number?
False
Let m(o) be the second derivative of 3*o**4/4 + 7*o**3/6 - 13*o**2/2 + 15*o. Is m(-10) composite?
True
Suppose 7 - 747 = 10*m. Let s = m + 108. Is s a prime number?
False
Suppose -7*s + 2020 - 8915 = 0. Let z = 1784 + s. Is z a prime number?
False
Suppose 48 = 5*w - 3*w. Let a = w + -22. Suppose -y + 5*y + 2*x - 20 = 0, 0 = x + a. Is y a composite number?
True
Is 9133 + ((-5 + 6)*0)/(-2) composite?
False
Let y = -414 + 200. Let n = 1290 + y. Let k = n - 441. Is k composite?
True
Let k = 23 - 19. Suppose 13 = m + 2*q, -5*q - 9 = -m + k. Is m composite?
False
Let p be (4/(-18) + 67415/225)*5. Suppose -27*v + p = -24*v. Is v prime?
True
Suppose 0 = 7*o - 261112 - 101719. Is o prime?
False
Let t(u) = 150*u + 63. Is t(10) a prime number?
False
Let g(v) = v**3 + 11*v**2 - 11*v + 14. Let i be g(-12). Suppose 4*t - 1163 = 3*n, i*n - 1 = 5. Is t composite?
False
Let z be -2*5/(-4)*2. Let k(a) = 7*a**2 - 4*a - 8*a**2 + 16*a**2 - z + 4. Is k(4) a prime number?
True
Let l(b) = b**2 - 2*b - 12. Let z be l(6). Let v(w) = 17*w + 10. Is v(z) prime?
False
Let r(b) = b**3 - 30*b**2 + 52*b - 95. Is r(30) a prime number?
False
Is -1*(-22114)/30 - 62/465 a composite number?
True
Let m(z) = 8*z + 6. Let y(o) = -7*o - 6. Let x(p) = 7*m(p) + 6*y(p). Is x(8) a prime number?
False
Let l(u) be the third derivative of -3*u**6/40 + 2*u**5/15 - 7*u**4/24 + u**3/6 - u**2. Is l(-5) composite?
False
Suppose -2*n = w + 224, 4*n + w + 434 = -10. Let f be 6/10 - 5592/(-30). Let u = n + f. Is u prime?
False
Suppose 34 + 11 = 9*g. Is (g/2)/(10/2740) composite?
True
Let n(f) = 76*f**2 + f - 7. Is n(2) composite?
True
Suppose 0 = -5*i + 1 + 4, 5*k = 3*i + 17. Suppose -k*y + 293 + 36 = -u, 0 = 4*y - 2*u - 326. Is y a composite number?
False
Let z(g) = g - 6. Let y be z(6). Suppose y = -2*h - 9*h + 2321. Is h a composite number?
False
Let h = -15 + 18. Suppose -2*t = -3*c + t, h*c + t - 8 = 0. Suppose 0 = -4*r + 4, 0 = -c*g + 5*g + 5*r - 974. Is g prime?
False
Let 