 ((-230)/(-70) + h/(-7)) prime?
False
Suppose 0 = -5*p + 3*h + 40339, -3*h + 5906 = -4*p + 38176. Is p a prime number?
True
Let u be 1/1 + (-24)/(-6). Suppose j + 3108 = u*j. Suppose -j = -9*g + 6*g. Is g composite?
True
Let f(q) = 2*q**2 + 2*q. Let k be f(-2). Is (3/9)/(k/5748) prime?
True
Let u be 0 + (-1 - 2) - -7. Suppose -3*s + 3*z = 12, u*s + s = -4*z + 16. Suppose s = -d - 2*d + 33. Is d a prime number?
True
Suppose 2*m - 39 + 17 = 5*x, -19 = m + 5*x. Is (-5)/((-5)/m)*803 composite?
True
Let u(b) = 3*b**2 + 4*b - 5. Let d be (8/(-3))/((-3)/9). Let c = 2 - d. Is u(c) composite?
False
Let a = 5 - 3. Suppose 0 = 2*d - 0*c + c, 0 = c + a. Is (0 + d)*(-6 - -20) a composite number?
True
Let v(m) = -26*m**2 - m + 2. Let w be v(-2). Let z = w + 179. Is z prime?
True
Suppose -22 - 5 = -3*w. Suppose -8*k = -w*k - 88. Let f = 146 + k. Is f a prime number?
False
Let r = -26 - -42. Is (0 - -2836)*4/r a prime number?
True
Let f(m) be the third derivative of 11*m**5/30 - 13*m**4/12 + 53*m**3/6 - 22*m**2. Is f(16) a prime number?
False
Let p = -47033 - -254010. Is p prime?
False
Let z(k) = -2*k. Let i be z(-4). Let t = -5 + i. Suppose 0 = h - 5*n - 64, 0 = -t*h - 3*n + 25 + 221. Is h a composite number?
False
Suppose -3*k + 4*x - 91 = 0, 8 = -2*k + 5*x - 55. Let b = k - -31. Suppose 2*v - 103 = -b*o + o, -o + 91 = -2*v. Is o a composite number?
False
Let q = -38 - -44. Let h(v) = 55*v**2 - 3*v - 1. Is h(q) prime?
False
Let o = 42770 - 27511. Is o a prime number?
True
Suppose -i + 5*r + 2270 = 0, 4*i - 10244 = r - 1240. Let j = -2548 + 999. Let n = i + j. Is n composite?
False
Let y(f) be the first derivative of -5*f + 15/2*f**2 + 4. Is y(8) a prime number?
False
Let l = 1395 - -210. Suppose -4*k - 2436 = -3*n - 9*k, -2*n + 3*k + l = 0. Let x = -556 + n. Is x a composite number?
False
Suppose 1011043 = -83*q + 3244158. Is q composite?
True
Let t(o) = 2*o**3 - 5*o**2 - o - 7. Let r(v) = -v**3 - v**2. Let j be r(-2). Is t(j) composite?
False
Let z = 248211 + -137348. Is z prime?
True
Suppose -12 = -3*h, 4*f + 2*h - 16 = 8. Suppose g = -f*g + 10. Suppose -g*l = 3*l - 1185. Is l a prime number?
False
Let n = -87 + 114. Is 42*(n - 4) - 1 prime?
False
Suppose 38 = k - 4*j, j = 2*k + 3*j - 26. Is 12/k*54846/12 composite?
True
Let k(y) be the third derivative of 0*y - 1/24*y**4 + 11*y**2 + 97/3*y**3 + 0. Is k(0) a composite number?
True
Let d = 26 - 22. Suppose -3*r + 3*x + 9441 = 0, 0 = -3*r - d*x + 3957 + 5456. Is r a composite number?
True
Let c(r) = 4 - 2 - 4 + 0 + 15*r. Let n be c(-1). Let w = n + 28. Is w a composite number?
False
Let x(q) = -23 + 2*q**2 + 2*q**2 + q**2 + 59. Is x(17) composite?
False
Suppose q = -2*v - 2*v - 67, -5*v - 86 = 2*q. Is (-14 - v)*446/4 prime?
True
Suppose i + 2*i = 633. Is i a prime number?
True
Let g = -1200 + 7447. Is g prime?
True
Let j be (2/(-4))/((-4)/872). Let q = j - 18. Suppose -r + q = -0*r. Is r prime?
False
Suppose 2*o - 19213 = -11*u + 16*u, -o = -4*u - 9611. Is o a prime number?
False
Suppose 0 = -4*i + 3*d + 26, -3*d + 2*d = 3*i - 13. Suppose -3*k + i*k = 1318. Is k a prime number?
True
Let o(m) = -21*m - 33. Let w be (-9)/6 - (-34)/(-4). Is o(w) a prime number?
False
Suppose -40*m + 29*m + 5093 = 0. Is m prime?
True
Suppose j + 5*w = 31863, 5*j - 3*w = -7*w + 159399. Is j a prime number?
True
Let j = 2749 + 250. Is j a composite number?
False
Is 111/(-185) - 52196/(-10) a composite number?
True
Suppose 4*p + 837 + 742 = n, -p = -3*n + 4693. Is n composite?
True
Suppose -63*h + 32888 = -139417. Is h prime?
False
Let k be (-1*149)/(-1 - 24/(-22)). Is ((-3)/2 - -1)*(-3 + k) prime?
True
Let b = 1068 - 516. Is b/253 + 2/(-11) + 49 prime?
False
Suppose 1910 + 884 = 2*u. Is u a composite number?
True
Let d = 12 - 13. Is (6 - (-20)/(-4))/(d/(-301)) a prime number?
False
Let m(c) be the second derivative of c**5/5 - c**4/12 - c**3/3 - c**2/2 - 4*c. Suppose -5*s = -4*y - 20 - 10, -3*s - 5*y + 18 = 0. Is m(s) a prime number?
False
Suppose r = -3*f + 105, 3*r + r - 3*f = 435. Suppose 5*z + 5 + 1 = c, -3*z + r = 3*c. Is c prime?
True
Suppose 2*b = 25 - 7. Let i be 441*((-6)/b)/(-1). Suppose -5*c + 749 = -s, 2*c - s + i = 4*c. Is c prime?
True
Let w = 104 - 172. Is 10897/5 - (w/(-20) - 3) a prime number?
True
Suppose -2*n + 9843 = 5*p, -5*p - 19626 = -4*n - 3*p. Is n a prime number?
True
Suppose 5*w + 0 = 10. Let z(l) = 1 + 4*l**2 - 3*l**2 - 397*l**3 - 2*l**w. Is z(-1) composite?
False
Let n be (-8 + 4 - 0) + 508. Suppose -n = 3*d - 1797. Is d a prime number?
True
Let c(t) = 31*t + 285. Is c(46) composite?
True
Suppose 7*l - 42662 = -9405. Is l composite?
False
Suppose 10 = 5*i + 5*m, 0 = -3*i + 4*m - 2*m - 19. Is (9/(-15))/(i/195) composite?
True
Suppose -4*z + 12311 = -5533. Is z a prime number?
False
Let g = -19845 + 27942. Is g a prime number?
False
Suppose -3*g + 27 = 2*n, -g - 4*g = -n - 19. Is 8/n - (-2012)/12 prime?
False
Let d = 25505 - -7706. Is d composite?
False
Let o = -40724 - -81129. Is o prime?
False
Suppose -y + 5*g = 3*y - 17545, 5*y + 4*g = 21921. Is y a composite number?
True
Suppose 0 = 4*v - 8 - 12. Suppose 0 = -v*j + a + 582, -4*a - 14 = -6. Let x = j + -57. Is x prime?
True
Let z = 2422 - -499. Is z prime?
False
Suppose 0 = 2*r - 2*n - 0*n - 22, 3*n = 5*r - 51. Let y be 56/(-21)*r/(-6). Suppose -3*v = -8*t + 4*t + 584, -y*v = 5*t - 761. Is t composite?
False
Let w(m) = -12*m**3 - 4*m - 10. Let c be w(-2). Is -3*(c/(-12))/((-2)/(-8)) prime?
False
Suppose -5*o + 1966 + 6139 = 0. Let b = 3218 - o. Is b prime?
True
Suppose 0*c + 6 = c. Let g be 14/c + 8/12. Suppose r + 4*v = 107, g*v - 565 - 21 = -5*r. Is r a prime number?
False
Let w = 4 - 9. Is w/(((-8)/(-1226))/(-4)) a composite number?
True
Suppose -3*b - 4*s - 68 = -6*s, b + 8 = -3*s. Let w be (558/(-15))/(3/b). Suppose -g + w = -0*g - k, -5*g = k - 1258. Is g a prime number?
True
Suppose -3*j = -716 - 1633. Is -2*(-6)/(-3) + j a prime number?
False
Let p = -2 - -5. Let d(g) = -g**3 + 18*g**2 - 22*g + 24. Let c be d(15). Suppose z - t + p*t = c, -2*z + 4*t = -778. Is z prime?
True
Let n be -2 + -1 - (-1917)/9. Let t = 11 + n. Is t a prime number?
False
Let n be (-2 - -1) + (0 - -4). Suppose n*x = 2*x + 3422. Is x/3 - (-7)/21 a composite number?
True
Suppose -d = 2*d - 30540. Suppose 5*a = 5845 + d. Is a composite?
True
Suppose -5 = z + 1. Let v be (-15)/z*12/15. Suppose 0 = 4*o - v*i - 3*i - 1016, -i - 762 = -3*o. Is o composite?
True
Let p(d) = 39*d - 28. Let y be p(12). Suppose 0 = -5*b + 25, -4*x - 5*b + y = -397. Is x a composite number?
True
Suppose -y + 5*l + 3865 = 4*y, 3*y + 2*l = 2304. Let a = -441 + y. Is a prime?
False
Is 146208/2 + 4 + -18 + 9 prime?
False
Suppose -b = 2*u - 31419, -29*b + 28*b + 4*u = -31413. Is b composite?
True
Suppose -2*t + 2313 = -5069. Is t a composite number?
False
Suppose 5*m - 27746 = 3*y - 3858, 19106 = 4*m + 2*y. Is m a composite number?
True
Suppose 0 = -3*s - 3*w + 151308, -s + 3640 + 46786 = 3*w. Is s a composite number?
False
Let h(x) = 68*x**3 - 3*x**2 - 1. Let r be h(3). Suppose 3*p = 5*t - 1373 - r, -629 = -t - 3*p. Is t a composite number?
True
Let r be (-2)/4*(0 - 0). Let i(s) = -s - 1. Let v(q) = q**2 + 2*q + 151. Let u(p) = 2*i(p) + v(p). Is u(r) composite?
False
Suppose 0 = 5*k - 6*k - h + 5577, 0 = -2*h - 4. Is k a prime number?
False
Suppose 4*c - 10*x + 5*x - 20588 = 0, 5*c - 5*x - 25735 = 0. Is c prime?
True
Suppose 4*f = -2175 + 49627. Is f a prime number?
True
Let t be -5*(-42)/180 - (-2)/(-12). Suppose -4*v + 146 = 3*p, t - 5 = 2*p. Is v prime?
False
Let a(s) = 19*s - 14. Let o = -15 + 28. Is a(o) a prime number?
True
Let v(z) = z**3 + 8*z**2 + 6. Let f be v(-8). Let l be 2/f + (-2)/6. Suppose -4*i - 405 + 1409 = l. Is i a prime number?
True
Suppose 11 = 5*r - 9. Is 3 + -1 + 193 - r a composite number?
False
Suppose -10 = -r + 5*q, -5*r + 6 = -4*q - 23. Suppose 2 = r*o - 3. Is (-1*o)/((-9)/2277) a prime number?
False
Let c(y) = -y + 3. Let w be c(-5). Let r = w - 9. Is -121*1/r*1 composite?
True
Let l = 9799 + -2478. Is l a composite number?
False
Let r(j) = -j**2 + 9*j - 15. Let t = -13 + 19. Let i be r(t). Suppose 2*g = -i*h - 2*g + 401, 3*h - 406 = -5*g. Is h composite?
False
Let p(n) = -n**3 - n**2 + 2. Let a = -9 + 9. Let o be p(a). Suppose 0 = 4*y - 5*c - 1046, -o*c + 160 = -2*y 