6 + 0)*(-6)/(-4) prime?
True
Let n(p) = p + 33. Let k be n(-21). Let m = k - -25. Is m prime?
True
Suppose 5 = 3*r + 44. Let m = 15 + r. Suppose 95 = 3*o + m*o. Is o prime?
True
Let g(s) = s**3 - s - 1. Let z(q) = -5*q**3 + 6*q**2 + 2*q + 7. Let t(v) = -3*g(v) - z(v). Is t(9) composite?
False
Suppose -18 = -4*n + 38. Let a be ((-8)/n)/(6/(-21)). Suppose 0 = 6*h - a*h - 5*g - 446, 0 = -h + 3*g + 115. Is h a prime number?
True
Let c(p) be the third derivative of p**6/120 - 13*p**5/30 + 13*p**4/12 + 10*p**3 - 3*p**2. Is c(25) a composite number?
True
Let c be 2/(2 - 9/6). Is 586*(-4 + 18/c) a prime number?
True
Let l = -3876 + 7147. Is l prime?
True
Let h(o) = 13*o**2 - 10*o - 229. Is h(-24) a composite number?
False
Let x be 6/9*(-543)/(-2). Let z = 340 + 26. Let b = z - x. Is b a prime number?
False
Let m(i) = 7 + i - 3 + 1. Let b be m(-6). Is -2 + b/(-2)*506 a prime number?
True
Let i(v) = 422*v - 125. Is i(5) prime?
False
Suppose 7*h - 94479 = 77560. Is h composite?
True
Suppose -14015 = -16*i + 14417. Is i composite?
False
Let f = -18 + 22. Let i be 2910/40 - (-1)/f. Suppose 0 = -0*y + 4*y + d - 337, 2*d = y - i. Is y a composite number?
False
Suppose 2*t + 13 = 6*t + c, t - 8 = -5*c. Suppose 0 = 184*x - 185*x. Suppose x = -n + 2, -t*h + 4*n + 164 + 29 = 0. Is h a composite number?
False
Let j(a) = -a**3 + 2*a**2 + 3*a + 2. Let c be (-2)/(-3) - (-105)/45. Let p be j(c). Suppose 2*n + 39 = -5*y + 1351, -p*n = 3*y - 788. Is y a prime number?
False
Suppose -21 = -3*m + 4*s - 2, 0 = m - 5*s + 12. Let p(r) = 0*r + 2*r + 4*r**2 - m - 2*r**2 - r**2. Is p(-10) prime?
True
Suppose -3*i + 2*v = 4270, -i = i + 2*v + 2860. Let r = -981 - i. Is r a composite number?
True
Let o(f) = -f**3 + 27*f**2 + 36*f + 10. Is o(27) prime?
False
Let a be 4*(-6 + 3 + 0). Let z be (-2)/(-2)*(12 + a). Suppose -3*g - j + 4*j + 879 = z, 5*j + 586 = 2*g. Is g prime?
True
Let w be 1/3 + 4/(-12). Suppose -3*s = -w*j - 3*j - 18, 0 = s + 5*j - 24. Suppose 3*a + s = 0, -5*n - 5*a + 617 = -183. Is n prime?
True
Suppose 0*m = -b + 3*m + 2, -2*b + 4*m = -8. Suppose -17*k = -b*k - 6219. Is k a composite number?
False
Suppose 2*n - 3*m = 5*n + 6, 0 = 2*m. Let o be n*1/2*23. Let h = -16 - o. Is h prime?
True
Let q(p) = -3 + 10 - 2 + p. Let i be q(-11). Is i/(-4) + (-10402)/(-28) a prime number?
True
Let s be 244/(-20) + 8 - 1/(-5). Let f = 1 + -2. Is 583 + (f - (s + 3)) composite?
True
Let t(g) be the third derivative of 63*g**4 + 11*g**3/6 - 24*g**2. Is t(3) a prime number?
True
Let k(b) = -b**2 + 7*b - 13. Let p be k(2). Is 2/(-9)*-3 + (-20701)/p a prime number?
False
Let v(b) = -3*b - 11. Let m be v(-5). Suppose -2*t - 1154 = -m*z + 2900, -z = t - 1009. Suppose 2*a = z - 354. Is a composite?
True
Let g = -40 - -43. Let b be 2/(-8) - 34/(-8). Suppose -5 = b*t + 7, -4*d + 67 = g*t. Is d composite?
False
Suppose 6159 = 4*a + 5*h, -a + 2*h = -889 - 654. Is a prime?
False
Suppose w - 4062 = 349. Is w a composite number?
True
Suppose 3 = -5*g + 53. Suppose -13*y + g*y = -2991. Is y a composite number?
False
Let d be 1/5 - (-38)/10. Suppose d*y - 15 - 1 = 0. Suppose -y*m - 595 = -9*m. Is m a composite number?
True
Suppose -3*m = -24911 - 4267. Suppose -15*p = m - 46836. Is p prime?
False
Let j(m) = -156*m + 11. Let i(r) = r**3 - 5*r**2 - 2*r + 6. Let b be i(5). Is j(b) a composite number?
True
Suppose -66624 = -6*z - 19242. Is z prime?
False
Let x(q) = -14 + q + 14 - q**2 + 0*q. Let m(l) = 2*l**2 - 9*l + 2. Let b(s) = -m(s) - x(s). Is b(6) a prime number?
False
Let t = 41304 + -21161. Is t a prime number?
True
Let n(p) = -p**3 + 4*p**2 + 3*p - 3. Let d be n(4). Let x(q) = -d + 16*q - q + 3*q - 4*q. Is x(15) prime?
False
Suppose -5*d + 33 = -h, 0 = -0*d + 3*d + 5*h - 31. Is (0 - -923)/(-6 + d) a prime number?
False
Let s = -2394 - -5151. Suppose 5*i - 4571 = -3*h, 3*i - 2*h = h + s. Let f = i - 523. Is f a composite number?
True
Suppose 1857 = k - 5*h, 11*k - 7398 = 7*k + 5*h. Is k a prime number?
True
Let b(o) = 1353*o - 184. Is b(11) prime?
True
Let s = 209 - 98. Suppose -5*p + 245 = -2*d, -5*p - s - 34 = d. Let m = 189 + d. Is m prime?
True
Let h be ((-24)/60)/((-2)/20*2). Is (-1)/(2 - h - 1/697) prime?
False
Let g(x) = 11*x**2 - x - 229. Is g(-19) a prime number?
True
Let z be 796/20 + (-2)/(-10). Suppose -z*q + 41*q - 877 = 0. Is q a composite number?
False
Let h = -10 + 14. Suppose 5*z - h*w - 8645 = 0, -25 = w - 6*w. Is z a prime number?
True
Let l(h) = 2*h - 27. Let g be l(13). Let w(n) = -191*n. Is w(g) composite?
False
Let b(i) = -16*i + 9. Let p be b(-15). Let t = p - 122. Is t prime?
True
Let s = 6 + -115. Let k = s + 300. Is k prime?
True
Let c(m) = 43*m**2 + 3*m + 13. Let x = 33 + -39. Is c(x) composite?
False
Let g be 126/33 + (-22)/(-121). Suppose 18291 = -g*x + 9*x + 4*r, -r - 14637 = -4*x. Is x a prime number?
True
Let j be -2 + ((-141)/(-21) - 8/(-28)). Suppose -10522 = -j*u - 3*f - 1812, -5*u - 5*f = -8720. Is u a composite number?
True
Let o(k) = -285*k + 17. Is o(-2) composite?
False
Is 15/18 + -1 - (-21878)/12 composite?
False
Suppose 0 = -5*x + 11443 + 38947. Is x prime?
False
Let b(f) = -3*f - 1. Let u(m) = -8*m - 3. Let x(k) = -11*b(k) + 4*u(k). Let q(g) = 488*g - 1. Let v(h) = q(h) - x(h). Is v(1) composite?
False
Let o(g) = -g**3 - g**2 - 3*g + 15541. Is o(0) a prime number?
True
Suppose -31542 = -2*u + 2*m, 6*m - 63056 = -4*u + 3*m. Is u composite?
False
Let m(z) = -2*z + 3. Let y be m(4). Suppose 63 = 3*k - 33. Let v = k - y. Is v prime?
True
Let b be ((-6)/4)/(-1)*308/42. Let c(q) = 192*q + 49. Is c(b) composite?
False
Let m be (-1 - 27) + (-2 - -5). Let y be 2/(-10) + (-805)/m. Suppose -2*r + 266 = -y. Is r a composite number?
False
Suppose -y + 10 = y. Suppose -y*g = 7*x - 2*x - 25, -x = -g + 1. Let i(u) = 133*u**3 - 3*u + 3. Is i(x) a prime number?
True
Let a = 754 + -1624. Let y = 1945 - a. Suppose 16*r + y = 21*r. Is r composite?
False
Suppose y + 3 = 19. Is 0 + y + -5 + 8 a prime number?
True
Is 4/(((-4)/7)/(323791/(-91))) prime?
True
Let d(l) = 4*l**3 - 8*l**2 - 25*l - 20. Is d(23) a composite number?
True
Let r = -10 - -9. Let g be (-11)/(-5) - r/(-5). Is 102/g*2 - -1 prime?
True
Let l = 14 - -61. Suppose 5*g - l = s + 47, 0 = -g - s + 28. Is g prime?
False
Let n = 6622 + 932. Suppose n = -v + 7*v. Is v composite?
False
Let b(l) = 5*l - 65. Let w be b(20). Suppose -2*g = 4*p - 448, 3*p - 4*p = -2*g + 433. Let s = w + g. Is s composite?
True
Suppose -2 = 3*x - 11. Let v be 286/x - (-10)/(-30). Let s = 510 - v. Is s a prime number?
False
Let n = 546 - 541. Let d(z) = -4 + 2*z**2 - z**2 - 6*z + 4*z**2. Is d(n) prime?
False
Let x be 2/(-8) - (-69)/4. Let f = 16 - x. Is (-1)/(f*(-2)/(-314)) prime?
True
Is (836/(-2) - 1)/(162/(-1134)) composite?
True
Let c = -1570 + 2201. Is c prime?
True
Suppose 7*z - 2 = 5*z. Suppose 3*i - 4*i = -4*g - 1, 0 = -i - 4*g + z. Is i*(20/1 + -1) a prime number?
True
Let t(f) = -2*f**3 - 4*f**2 - 6*f - 7. Let k be t(-3). Let x(d) = -d**3 + 29*d**2 + 21*d - 22. Is x(k) composite?
False
Let v(i) = -3*i**2 + 6*i + 3. Let u(p) = -3*p**2 + 6*p + 2. Let q be (-7 - 2)/(6/4). Let f(d) = q*v(d) + 5*u(d). Is f(7) a composite number?
False
Let v = -748 - 984. Is 3*1 + 1/((-1)/v) a prime number?
False
Suppose 0 = -4*r - 20, 0 = 4*v - 4*r + 5*r - 64431. Is v prime?
False
Let s(b) = -b + 4. Let g = -4 + 4. Let i be s(g). Is (-123)/(-1) - i/(-1) a composite number?
False
Let p = -5263 + 7670. Is p a prime number?
False
Let u = -298 - -718. Suppose -p + 487 + u = 0. Is p prime?
True
Suppose 8*q = 5 + 19. Suppose q*u = 822 + 1020. Is u a prime number?
False
Suppose 391 = 5*s - 109. Let c = 1643 - s. Is c prime?
True
Let y be (3 + -2 - 3)*(-4 - -5). Let n(h) = 107*h**2 + 11*h + 1. Is n(y) a composite number?
True
Let k(p) = 3*p**2 + 14*p - 1. Let d(y) = -4*y**2 + 9*y + 3. Let b(s) = 3*s**2 - 8*s - 2. Let r(n) = 3*b(n) + 2*d(n). Let o be r(4). Is k(o) a composite number?
False
Suppose 4*l - 27 = -23. Let w(j) = 1949*j**3 - j**2 - j + 2. Is w(l) a composite number?
False
Suppose -5*v + 11404 = -3*m, -5*m = 3*v - 10*m - 6836. Suppose 2*b + 0*a = 2*a + v, -b + 2*a = -1141. Is b composite?
True
Let y(x) = -5*x**3 - 12*x + 19. Is y(-6) prime?
True
Suppose 0*u = 3*u - 4*k - 10, u + 5*k = -3. Suppose 3*j + 2*j - 25 = -u*d, 3*j + 5*d - 34 = 0. Suppos