rime?
False
Let x = 4395 + -3056. Let d = -740 + x. Is d composite?
False
Let y be 133*3/6*6. Let t = 1061 - y. Is t composite?
True
Let f = -925 + 2660. Suppose -u + 9 = 2*g, -g - 4*u = -2*g. Suppose g*t - f = -t. Is t prime?
True
Let o be 11 + -17 - (-1 - 3). Let y(a) = -176*a + 1. Is y(o) prime?
True
Let t(c) = -9*c + 10. Let x be t(5). Let z(w) = -w**2 + 4*w. Let o be z(4). Let j = o - x. Is j composite?
True
Suppose 5*k - 2*k = 0. Suppose v - 1 + k = t, 15 = -3*t - v. Is 2/t*(-266)/7 composite?
False
Let g = 2854 + -1689. Suppose 0 = -5*c + 750 + g. Is c a prime number?
True
Let b(t) = -6*t + 58. Let z be b(6). Is z - (-6 - (0 - 5)) composite?
False
Let q = 1350 - 1259. Is q composite?
True
Let m = 2 - -3. Suppose 37 = m*t - 33. Is t a prime number?
False
Suppose 83541 = 3*p - 39342. Is p composite?
False
Is (8 - (3 - -2))/((-12)/(-223988)) prime?
True
Suppose -9151 = -13*t + 7242. Is t/3 - 12/9 a prime number?
True
Let d(f) be the second derivative of 5*f**3 + f**2 + 11*f. Let g be (2/3)/((-1)/(-3)). Is d(g) a composite number?
True
Let m be (1822*-2)/((-4)/2). Let p = -983 + m. Is p composite?
False
Suppose -9024 = -9*y + 25*y. Let f = y + 983. Is f prime?
True
Let z(r) = -r + 8. Let s be z(4). Is ((-18)/15)/(s/(-10)) composite?
False
Let k(c) = 188*c**2 + 27*c - 49. Is k(-6) a prime number?
False
Suppose -4*q - 1 + 13 = 0. Let d be (3 - (-1 - -10)) + q. Is 4/(-6) + (-95)/d a composite number?
False
Let c(p) = -p**3 + 6*p**2 + 2*p - 9. Let s be c(6). Suppose -6*y + 15 = s*o - y, o - 3 = -y. Suppose 4*w - w - 69 = o. Is w composite?
False
Let v(q) = 7*q**2 - 13*q - 5. Let h be v(17). Suppose 4*o - 11129 = -h. Is o composite?
False
Let d(n) = n**2 - n + 8. Let p be d(0). Let r(s) = s**3 - 7*s**2 - 8*s. Let u be r(p). Is (u/1 - -1)*67 prime?
True
Let w be 2634/12 - (-1)/2. Let o = 613 - w. Is o a composite number?
True
Let s(n) = 4471*n**3 - 4*n**2 - 4*n + 9. Is s(2) composite?
False
Let d(n) = -6*n. Let x be d(1). Is 309*6/10 + x/15 prime?
False
Suppose -4*u + 446 = -2*u. Is u a composite number?
False
Let v(g) = -g**3 + 7*g**2 + 9*g + 4. Let b(d) = d**3 + 4*d**2 - 6*d. Let w be b(-5). Suppose -w*k + 28 = -k. Is v(k) a prime number?
True
Is 2037/15*(6 - 1) a composite number?
True
Let l = 9620 + 67403. Is l composite?
False
Let v = -73 - -78. Let b(n) = 240*n + 13. Is b(v) composite?
False
Suppose 2*v - v + 4*k = -18, v - 4*k = 14. Let a(q) = 0*q**2 + 3*q - 2*q**3 + 0*q**2 + 1. Is a(v) prime?
True
Let w(s) = 4. Let y(c) = c. Let i(x) = -w(x) + y(x). Let q be i(0). Is q + 1 + (-9 - -263) a composite number?
False
Let r = -53 - -52. Is 3 + 674 + 2*(r - -2) a prime number?
False
Let d(g) = -112*g**3 - 2*g - 1. Let i be d(-1). Let u(q) = -i*q - 83*q + 41*q + 2 - 5. Is u(-2) a prime number?
True
Suppose -6*q + 7677 = -2*q - 5*u, 5*u - 7627 = -4*q. Suppose 234 = 3*i - 0*i. Suppose 5*k - q = -i. Is k a composite number?
False
Is 1*-4*(-159511)/68 a prime number?
False
Suppose 45*l + 7217 = 290672. Is l composite?
False
Suppose -37799 = -3*g - 4*c, -4*g - 25206 = -6*g - c. Is g a composite number?
True
Let s = 2704 - 1011. Is s a prime number?
True
Let v = -17 + 32. Is (-12170)/v*3/(-2) a prime number?
True
Let j = -38 - -89. Suppose 20 = p - j. Is p a composite number?
False
Let d(r) = r**3 - 13*r**2 - 1. Let j be d(13). Let n be 5*j/2*-2. Suppose -p = -z - 151 + 15, n*p = -4*z + 662. Is p prime?
False
Suppose 0*l = 5*l - 10. Suppose -p + 225 = d - 0*p, -l*d = -2*p - 470. Let n = d + -89. Is n a composite number?
True
Suppose -3*v = -0*v - 24. Let f = v + -5. Suppose 2*o - 2*y - f*y = 429, -3*o = 5*y - 656. Is o prime?
False
Suppose -40 = 10*g - 14*g. Suppose g*p = 6*p + 444. Is p prime?
False
Suppose h + 37*y - 36189 = 39*y, 2*h - y - 72375 = 0. Is h prime?
True
Suppose 5*z = 5*r - 6652 + 63222, 4*r = 3*z - 33945. Is z composite?
False
Let b be (3/(-9))/(1/(-1437)). Suppose 4*r - 29 = -3*s, 0 = -2*s + 3*s + 5*r - 28. Suppose 2*j + 4*d = 950, 0 = j + d + s*d - b. Is j a prime number?
False
Let p = 38 + -9. Let k be -3*(19 + 1)/(-1). Let y = p + k. Is y prime?
True
Let t be (1 + -6)*(-3 + (-78)/(-30)). Suppose 0 = -5*q - 4*r + 6283, 0 = -5*q + 3*q + t*r + 2506. Is q a prime number?
False
Let z = -72 + 46. Suppose 0 = -16*b + 6*b - 1490. Let s = z - b. Is s a prime number?
False
Let c(n) = 14*n - 8. Let u(z) = 15*z - 9. Let j(w) = 4*c(w) - 5*u(w). Is j(-4) a prime number?
True
Let k = 1037 + 3290. Is k composite?
False
Suppose 3*i + 2*y - 56699 = 0, 4*i - 58*y + 53*y = 75591. Is i prime?
True
Is (-49)/28 + 215590/8 composite?
False
Suppose 4*b = 4*a + 28608, 0 = 4*b + 14*a - 17*a - 28603. Is b prime?
False
Let b be (2/(-5))/((-1)/5). Let h be (-300)/78 - (-6)/(-39). Is (-596)/h - 6/b composite?
True
Let x = -15 + 21. Let h(z) = -55*z - 14. Let k(p) = p - 1. Let u(v) = x*k(v) + h(v). Is u(-11) a composite number?
True
Let g = -2 - -22. Let i(d) = 13*d + 5. Let m be i(g). Suppose -17*f = -18*f + m. Is f a prime number?
False
Let o = -159 + 159. Suppose o = -3*b + 1654 - 517. Is b prime?
True
Let q(p) = -p - 1. Let g be q(5). Let h be ((-2)/g)/(4/24). Suppose 384 = h*w + 2*w + 4*j, 2*j - 286 = -3*w. Is w a composite number?
True
Suppose 0*i + 2*i - 842 = 0. Let l = -154 + i. Suppose 23 + l = 2*q. Is q prime?
False
Is ((-303704)/(-10))/(4/10) + 5 composite?
False
Let f(s) = 99*s - 95. Is f(6) prime?
True
Is 2831*9 + 70/7 prime?
False
Is ((-15933)/(-94))/(6/1436) composite?
True
Suppose -65*p = -4*p - 1168577. Is p prime?
True
Suppose d - 1009 = 5*u, u = -3*u - 3*d - 811. Let x = u + 689. Is x composite?
False
Let o be ((-4)/(-8))/(2/68). Let q(m) = 0 + 1 + 0*m + o*m**3 + 2*m + m**2 - 178*m**3. Is q(-1) a composite number?
True
Is (12414/8)/(7/(280/15)) a composite number?
True
Let j be 0 - 3 - 1*-7. Suppose 3*h - 506 = h. Suppose 4*x + 4 = 0, r - j*x = -2*r + h. Is r prime?
True
Let k = -2 - -2. Suppose 5*u - 3*p - 2176 - 210 = k, 2*u - 949 = 3*p. Is u composite?
False
Suppose 0 = 3*k - 2*l - 2537, -k - 3*k + 3416 = 4*l. Suppose 4*o - 2135 = -5*z - o, -2*z - o = -k. Is z a prime number?
False
Let q(v) = v**3 - 15*v**2 - v + 21. Let o(d) = 7*d - 13. Let h be o(4). Let j be q(h). Let l(b) = 3*b**2 - 2. Is l(j) a prime number?
False
Let n(p) = -249*p - 80. Is n(-17) a prime number?
True
Let x(v) = 3*v**3 - 2*v**2 + 2*v - 1. Let i be x(1). Let k(z) = 152*z + 24. Let s be k(4). Suppose -i*p = -10*p + s. Is p composite?
False
Let r(s) = -s**3 - 3*s**2 + 2*s + 2. Let k be r(-4). Suppose -4*j - j = -75. Is 534/j + (-6)/k composite?
True
Let h = -66 + 163. Let m = 187 + h. Suppose -3*f = f - m. Is f a prime number?
True
Suppose 4*p + 3*x = 62029, 2*p - 7*x + 2*x - 31047 = 0. Is p composite?
False
Let z = 11 + -5. Let r = -8 + z. Is r/(-2*2/634) prime?
True
Let v be -182 + 3*3/(-9). Let i = v + 592. Is i a composite number?
False
Let q(w) be the second derivative of w**5/20 + w**4/12 + w**3/6 + w**2 + 4*w. Let d be q(-2). Let x = d + 39. Is x a prime number?
False
Let n(y) = -4*y**3 + 2*y**3 + 7*y**3 + 10*y**2 - 13*y + 19 - 6*y**3. Is n(-10) prime?
False
Let v(a) = -4043*a - 7. Let z be v(-3). Let m = -5175 + z. Is m prime?
True
Suppose -2*a + 11611 - 2992 = -3*d, 4*a - 17248 = 4*d. Is a a composite number?
True
Is (974744/(-32))/(14/(-56)) composite?
False
Let x = -5 + 10. Suppose -x*k = -1119 - 866. Is k prime?
True
Let m = 5 - 1. Suppose m*y - 1121 = 1331. Is y composite?
False
Let u(m) = 65*m + 12. Let z be u(10). Suppose 0 = -6*h + z + 142. Is h a composite number?
True
Suppose 0 = -g - f + 58849, 5*f = -2*g - 19616 + 137320. Is g prime?
False
Let a(n) = -2 - 2*n + n + 0*n + 2*n. Let u be a(6). Suppose j = 4*l + 79 - 10, 4*j + u*l = 216. Is j prime?
False
Suppose 5*x + 2 = 3*x. Let l be 3*2/(-3) + x. Is -1*(l - (-2 + 126)) a prime number?
True
Suppose 3*z - 9782 = -35*q + 34*q, 0 = 2*z - 10. Is q a composite number?
False
Let g(m) = 22*m - 95. Is g(37) a prime number?
True
Let f = 25 + -15. Let n = f + 21. Is n prime?
True
Let u = -29 - -35. Suppose 11*k = u*k + 3925. Is k composite?
True
Let h = 684 - -2577. Is h a prime number?
False
Suppose -3*v = 3*a + 2*v + 4349, v + 1 = 0. Let o = a - -3249. Is o prime?
True
Let n(x) = 9*x**2 - 18*x - 20. Is n(-11) prime?
False
Let c = 35 + -33. Suppose 0 = -c*p + 3*p - 402. Suppose -p = -7*o + 1439. Is o prime?