j a prime number?
True
Let o be 45/(1 - 0) - (-117)/39. Let v = o + -35. Is v prime?
True
Let u(x) = -x**2 + 10*x - 7. Let i be u(9). Suppose -5*n - 624 = 4*k - 5*k, i*n + 2514 = 4*k. Is k a prime number?
False
Suppose 4*c = 5*v + 1112 - 2727, -3*c = 0. Suppose -4*p = -2*a - 412, -5*a = -6*p + 3*p + v. Let j = p + -24. Is j a prime number?
False
Let o = -7 - -3. Let d be (30/o)/((-3)/(-4)). Is ((-5)/d)/((-2)/(-1004)) composite?
False
Let j(r) = 3*r - 5. Let f be j(3). Suppose -f*q - 844 = -8*q. Is q prime?
True
Let p(w) = w**3 + 7*w**2 - 7*w + 11. Suppose 0 = 3*z - 6 + 30. Let s be p(z). Suppose 3*k - 4*t = 2*k + 127, k = s*t + 127. Is k a prime number?
True
Let w(q) = 146*q**2 - 22*q - 7. Is w(-22) prime?
False
Suppose -10*v = -4*u - 8*v + 1581284, -5*u + 1976605 = 4*v. Is u prime?
True
Suppose 8*o - 4*o - 940 = 0. Let a = -511 + 517. Suppose a*d = d + o. Is d a prime number?
True
Let j be (-2)/6 + 32/(-12). Let f(z) = 3*z**2 - 6*z - 8. Is f(j) prime?
True
Is ((-3)/6*-8 - 6) + 3981 a composite number?
True
Let r = -1275 + 4274. Is r a prime number?
True
Let z = 16119 - 8059. Suppose -4*w + 792 + z = 0. Is w a composite number?
False
Is (-3)/(-2) + (153879/6)/11 prime?
True
Let y be 2/10 + (-6690)/75. Let h = 330 - y. Is h prime?
True
Let g be 3*(-4)/12 - -1. Suppose -2*b - b = 2*w - 163, 4*w - 2*b - 334 = g. Is w prime?
True
Suppose -5*m = -725 - 230. Is m a composite number?
False
Let k(q) = 3879*q**2 + 6*q - 1. Is k(2) a composite number?
False
Suppose -74*z - d + 105072 = -71*z, 4*z + 4*d - 140104 = 0. Is z prime?
True
Suppose -5*b = -4*d - 4*b + 67, -5*d + 4*b = -81. Let u = 268 - d. Is u composite?
False
Let o = 3920 - 1739. Is o a prime number?
False
Let r(o) = o**3 + 60*o**2 + 35*o + 55. Is r(-54) a prime number?
True
Let c = -5548 - -16599. Is c a composite number?
True
Is 490/210 - (-163544)/3 a prime number?
True
Let b(p) = -p**3 + 6*p**2 - 6*p + 7. Let m be b(5). Let q be m/(0 + 2)*2. Suppose 3*g - 15 = -x, -q*x + 5*g = 2*x + 8. Is x a prime number?
True
Let v(s) = -s**3 + 40*s**2 - 25*s + 29. Is v(34) composite?
True
Suppose 6*p + 140 = 11*p. Suppose -3*q = -2*c - 26 - p, c = -2*q + 36. Is (-4235)/(-63) - 4/q prime?
True
Suppose 9 = -7*i + 100. Let x = 92 - i. Is x a composite number?
False
Let s = 64 + -47. Suppose 14*k + 2001 = s*k. Is k prime?
False
Suppose -3*w = -w - 8, -25113 = -5*m - 2*w. Is m a composite number?
False
Let s(l) = 555*l**2 + 2*l - 7. Let j be s(2). Let v = j + -118. Is v a composite number?
False
Suppose -4*r + 7*g + 5840 = 9*g, r = -3*g + 1465. Is r prime?
True
Let z = -553 - -2594. Is z composite?
True
Suppose 26*d + 7852 - 346398 = 0. Is d prime?
False
Is 1014/5 + 2/10 a prime number?
False
Suppose 5*a - 5 = 3*b + 2*b, 2*b + 2 = 0. Let t be 2*1 - (4 + a). Is (-198)/(-1 + t) - -1 composite?
False
Let h(u) = 56*u**3 + 3*u**2 + 3*u + 3. Let i be h(4). Suppose 4*a + i = 11*a. Is a composite?
False
Suppose -2*w = 3*s - 284, -5*s + 2*w = -2*s - 304. Suppose 0 = 5*i - 4*l - 281, 0 = 2*i + 6*l - 4*l - s. Is i a composite number?
False
Suppose -3*c + 148 = 22. Suppose c = 2*o - o. Is 2908/6 + 14/o composite?
True
Let r(s) = -26*s - 1. Let k be r(1). Let x be (-60)/(-27) - (-6)/k. Suppose -370 = -d - 4*v - 31, -666 = -2*d - x*v. Is d composite?
False
Let j(y) = 11*y**2 + 28*y + 19. Is j(-10) prime?
True
Let o = 74 - 67. Suppose o*y - 1541 = 2904. Is y prime?
False
Let p(i) be the second derivative of i**4/3 + 13*i**3/2 + 19*i**2/2 + 2*i - 12. Is p(-16) a composite number?
False
Suppose 11279 = 5*u + s, 2*u - s = -4*s + 4522. Let n = u - 1206. Is n a composite number?
False
Let u = 18624 - 5783. Is u prime?
True
Suppose -3*a - 80371 = -467254. Suppose -o = 4*g + 110 + 25, 2*g + 582 = -4*o. Is 4/(-14) - a/o composite?
False
Let h(a) = 85*a**2 - 8*a - 10. Is h(-9) composite?
False
Let s(m) = 190*m - 177. Is s(29) a composite number?
False
Let d be (-78)/(-273) + (-2)/7. Suppose d = 5*j - j + 2*s - 5650, -3*s - 4224 = -3*j. Is j a composite number?
True
Suppose 5*k - 1231 = -3*d + 814, 5*k = 2*d + 2070. Suppose 6*c - 584 = k. Is c a composite number?
True
Let n(m) = -5*m**2 - m. Let l be n(1). Let r = l + -1. Let o(b) = -3*b + 1. Is o(r) composite?
True
Suppose 2*a - 145160 = -3*d, -108245 - 36931 = -2*a + 5*d. Is a composite?
True
Let t = 2 - -19. Suppose 14 = 7*z - t. Suppose -d - 333 = -m, z*m + 3*d = 2*d + 1677. Is m a composite number?
True
Let g(y) = 63*y - 22. Let k = -24 - -29. Is g(k) a composite number?
False
Let j be 18/117 - 4/26. Suppose -3*w + 214 + 263 = j. Is w composite?
True
Let y(b) = 2*b + 57. Let m(l) = -7*l + 6. Let z be m(-3). Is y(z) prime?
False
Suppose 0 = -5*t - 2*m + 62691, -2*m - 25080 = -2*t - m. Is t composite?
False
Let p(r) = -r**3 - 2*r**2 + 5*r - 7. Let f(o) be the second derivative of -o**3/3 + 3*o**2/2 - 4*o. Let j be f(4). Is p(j) composite?
False
Is (0 - 36/(-6))*167368/48 a prime number?
True
Let n(k) = 87*k**2 - 2*k - 27. Let v(o) = -43*o**2 + o + 13. Let w(j) = -6*n(j) - 13*v(j). Let z be w(3). Suppose -h + 2*h = z. Is h a composite number?
True
Suppose 179163 = 2*l + 49*l. Is l prime?
False
Suppose 0 = 43*i - 40*i - 59217. Is i a composite number?
False
Let d(z) = z**2 + 4*z + 5. Let g(o) = 3*o + 2. Let l be g(-2). Let x be d(l). Suppose 20 + 62 = u - x*h, 3*u - 230 = -h. Is u composite?
True
Suppose -s = -8 - 7. Suppose 0 = -4*t + 9*t - s. Suppose 351 - 128 = 4*c - t*f, -f = c - 54. Is c composite?
True
Suppose -f + 3*f = -42. Let l = -20 - f. Is 8/(-16)*l*-662 a prime number?
True
Suppose -t + 5*o + 2584 = 0, 5154 = -6*t + 8*t + 4*o. Is t composite?
False
Suppose -899 = 3*o - 368852. Is o prime?
True
Let m(w) be the first derivative of -w**5/20 + 5*w**4/3 - 4*w**3/3 + 11*w**2 - 11*w + 6. Let s(l) be the first derivative of m(l). Is s(18) prime?
False
Let g be -4 + 6 + (-2 - -2). Suppose 5*w - g*w = 483. Is w a composite number?
True
Let d = -14 - -18. Suppose d*v + 4*a = 9*a + 36, -18 = -2*v + 4*a. Let c(o) = -o**3 + 9*o**2 + 7*o - 10. Is c(v) prime?
True
Suppose 5*n = -5*i + 3385, 0*n + 689 = i + 5*n. Is i prime?
False
Let i(t) = 209970*t**2 + 27*t - 2. Is i(1) a prime number?
False
Suppose 78*h - 10*h - 85612 = 0. Is h a composite number?
False
Let h(v) = -v**2 - 93*v - 87. Is h(-56) prime?
False
Let x be 30*(2 + 9/6). Suppose z - 75 = 124. Let q = z - x. Is q composite?
True
Let t(u) = -5415*u + 4 - u**2 + 5431*u + 2. Suppose 18 = 3*z - z. Is t(z) prime?
False
Let f(g) = 2*g**3 - g**2 - 3*g - 1. Let w be f(2). Suppose -z + 191 = 3*m + 2*m, -2*m + 1047 = w*z. Is z a prime number?
True
Suppose -2*m + 0*m = -2460. Suppose m = 5*l - 105. Is l prime?
False
Suppose a = 4*x + 620, 5 - 17 = 4*x. Suppose 3*n - 1498 + 307 = 0. Let w = a - n. Is w a composite number?
False
Let v(z) = 75*z**2 + 10*z - 5. Let h be v(7). Suppose -p - i + 750 = 0, 2*i + i - h = -5*p. Is p a composite number?
True
Suppose 5*l - 3*f - 56481 + 1780 = 0, 2*l - 5*f = 21869. Is ((-3)/6 + 1)*(l + 0) composite?
False
Let x(o) be the first derivative of -371*o**4/2 + o**3/3 + 11. Is x(-1) composite?
False
Is 137 - 0 - (-4)/(-2 + 1) a prime number?
False
Suppose -5*z + 329 = -u, 8*u = 5*z + 3*u - 345. Let p = 12 + z. Is p prime?
False
Suppose 0 = -r + 5*o + 87721, -r + 21287 = -4*o - 66431. Is r a composite number?
True
Let q = -2 - -11. Suppose -2*r = -q*r + 483. Is r a composite number?
True
Suppose 20 = 7*m - 6*m. Suppose -m = -v - g - 3*g, -4*v + 108 = 2*g. Is (3/(-3) - 2) + v a composite number?
True
Is (-14 - -7) + 5 - -6961 composite?
False
Let z = 584 + -848. Let i(y) = -150*y + 5. Let k be i(-3). Let f = z + k. Is f a prime number?
True
Suppose -21*q + 107137 = 30760. Is q prime?
True
Suppose 0 = -5*v - g + 2103, -59 = -v + 3*g + 352. Suppose -3*u - v = -3*l, 2*u = -3*u + 25. Is l a composite number?
True
Suppose -5*n + 136370 = 3*p, -2*n - 119878 = -3*p + 16485. Is p composite?
True
Suppose -5*k - 5*o = -3350, -8*k = -9*k - 3*o + 664. Is k prime?
True
Suppose 0*i = -u - 2*i + 2631, 0 = -5*u + 5*i + 13155. Is u prime?
False
Is (-607)/(-1) + (-4)/14*-14 a composite number?
True
Let p(f) = 110*f**2 + 13*f - 236. Is p(11) composite?
False
Suppose -25*c + 17589 = -8461. Is c composite?
True
Suppose -l + 12 - 101 = 3*w, 0 = -2*w + 4*l - 64. Let b = w + 196. Is b a composite number?
True
Suppose 2*q - 166