3 = -3*y + m*j + 54, 2*j + 6 = 0. Is y composite?
True
Suppose 4656 + 6109 = 5*t. Is t composite?
False
Let y(s) = -s**3 + 2*s**2 - 11*s + 91367. Is y(0) a prime number?
True
Let w(b) = -8*b**3 - 3*b**2 + 2*b + 3. Let k be w(-3). Let o = 929 - 1060. Let i = o + k. Is i prime?
False
Is (-2)/(-10)*125/(-50)*-3062 prime?
True
Suppose -4*z = 0, 0 = -4*w - 5*z - 0*z - 12036. Let t = 4516 + w. Is t prime?
False
Let t(o) = -o**3 - 5*o**2 - 5*o + 13. Let f be 40/18 - 12/54. Let l be -8*(-3)/(-3) - f. Is t(l) composite?
False
Let i be (-11)/3 + 4/(-12). Is (-4)/12*(3804/1)/i a prime number?
True
Is (6522/(-18))/((-5)/15) composite?
False
Let q(f) = 9*f**2 + 2*f + 7. Let z be q(6). Suppose 5*x - z - 6112 = 0. Is x a prime number?
True
Suppose 2*u + 3*l = 5*l + 196, -u - 4*l + 78 = 0. Let v = 208 + u. Is v composite?
True
Suppose -14*d - 18 = -17*d. Suppose d = 7*j - 4*j. Let y = j - -51. Is y composite?
False
Let q = -3433 + 5642. Is q a composite number?
True
Suppose -4*q + 14456 = -2028. Is q composite?
True
Let j = 7486 - 939. Is j a prime number?
True
Is -3022*(-4 - 28/(-8)) + -4 composite?
True
Let l = -27 + 25. Is 16/24*(-57)/l a composite number?
False
Suppose -16*n + 18*n = 4. Suppose n*x - 3423 + 989 = 0. Is x prime?
True
Let t = 10442 - 6062. Suppose -3*z + t = 5*h, h = -h - 5*z + 1733. Is h a composite number?
True
Let b be 9/45 - (-9)/5. Suppose 85 - 7 = b*s. Suppose -5*d + 131 = -s. Is d a prime number?
False
Let g be (-1)/(-2)*(1 + -1). Suppose -3*m - 4*y + 6687 = 0, -8916 = -4*m - 5*y - g*y. Suppose -x = -5*s - 457, -4*x + m = x + 3*s. Is x a composite number?
True
Let o = -2286 - -11135. Is o prime?
True
Let l(p) = -89*p + 59. Let k(g) = 59*g - 39. Let j(r) = -8*k(r) - 5*l(r). Is j(-8) composite?
False
Let p = 138 - 53. Is 1 + p + 18/6 prime?
True
Let l = -145 + -286. Suppose 53 = -5*c - 7. Let h = c - l. Is h composite?
False
Suppose c - 14189 = -4*w, 36*w = -2*c + 37*w + 28369. Is c composite?
True
Suppose -3 = -4*r + 9. Suppose -64 = -z - r*z. Let a(m) = 4*m**2 - 14*m - 15. Is a(z) composite?
True
Let n be 1/(-4) + (-545)/(-20). Let d be (12/(-10))/(n/(-90)). Suppose 0 = d*s - 0*s - 1172. Is s a composite number?
False
Suppose 32*j = 31*j + 3. Suppose -j*f - 5*l + 334 = 0, 6*f - 5*l = 3*f + 344. Is f a composite number?
False
Let i = 4 - 14. Let m be (-10)/(-25) + (-16)/i. Let z(x) = 51*x**2 - x + 1. Is z(m) prime?
False
Let a(x) = -x**3 + x**2 + x - 1. Let b(m) = -377*m**3 - 6*m**2 - 7*m + 7. Let w(v) = -6*a(v) - b(v). Let l be w(1). Let d = -184 + l. Is d a composite number?
False
Suppose -4*m - 14 = -3*m. Let y(x) = -x**2 - 15*x - 12. Let n be y(m). Is (n/(-6))/(21/(-14049)) prime?
True
Suppose -3*o - 35591 = d - 0*d, -59320 = 5*o + 2*d. Is o/(-36) - 6/(-4) a composite number?
False
Suppose 0 = 6*r - 2*r - 16. Suppose 4*n + 34 = -3*b + 2*b, -2*b - r*n - 52 = 0. Let g = 1081 - b. Is g composite?
True
Suppose -539 = -4*m - 35. Let l = m + -206. Let a = -27 - l. Is a composite?
False
Let l(f) = -2*f**3 - 5*f**2 - 14*f - 19. Let i be l(-11). Let j = -1305 + i. Is j composite?
False
Let p(i) = -32*i - 20. Let r be p(11). Let b = -1 - r. Is b a prime number?
False
Let a = 21 - 15. Suppose -621 = -3*p + a*p + t, -2*t = -6. Let v = 91 - p. Is v a composite number?
True
Let b = 152860 - 100923. Is b composite?
True
Suppose -375473 = -5*b - 4*q, 5*q - 69821 = -b + 5282. Is b composite?
True
Let x be (2/(-3))/((-3)/9). Suppose -4*p + 0*p + 3998 = -3*a, -x*p + 2004 = -4*a. Suppose 227 - p = -3*i. Is i a composite number?
False
Suppose 1568 = 5*w + 2*w. Suppose -5*p + 731 = -w. Is p a prime number?
True
Suppose 1134 + 110299 = 7*y. Is y a composite number?
False
Let i = 305 - -368. Is i a composite number?
False
Suppose 392 = o - 0*o - 3*h, 2*h + 1190 = 3*o. Is ((-3)/(-2))/(17/(-34)) + o prime?
False
Suppose -y = 5*v - 14820, v + 3*y = 2*y + 2960. Is v prime?
False
Suppose -5*c = -4*g - 5, 3*g - 7*g - 20 = 0. Is c/(-8) - (-137305)/40 composite?
False
Let l = 6 - 18. Is l/(-3)*(-2344)/(-32) a composite number?
False
Let h = -4758 - -12437. Is h a composite number?
True
Let y(t) = -3*t**3 - t**2 - t - 2. Let r(v) = 2*v**3 + 3. Let c(m) = 4*r(m) + 3*y(m). Is c(-5) composite?
False
Let t(f) = f**2 - 12*f - 15. Suppose -4*b + 100 = b. Let n be t(b). Suppose 270 + n = 3*s + 4*o, -4*o = -5*s + 649. Is s composite?
True
Let f = 69256 + -34835. Is f a prime number?
True
Let a(v) = -v**2 - 4*v - 3. Let m be a(-5). Let b(h) = -h**3 - 3*h**2 + 16*h - 1. Is b(m) prime?
True
Suppose -4*u - 4 = -0*u. Is 4 + (0 - 377*u) prime?
False
Let f = 22560 - 34462. Is (3 + 0/(-1))/((-33)/f) a composite number?
True
Let f = -182 - -374. Suppose 0 = 3*x + x - f. Is 0 + 312 + x/(-16) a prime number?
False
Let k = 62 - 67. Is 3718/55 - (-3)/k prime?
True
Suppose z - 2*z = -4. Suppose -z*y + 9*y + 2*r = -3102, 3*y + 5*r = -1846. Let x = -437 - y. Is x a prime number?
False
Let l = 22 - 23. Let i be -2 + 1 + 0 + l. Is (2/(-3))/(i/5403) a composite number?
False
Suppose -28*q = -343282 + 4902. Is q a prime number?
False
Let q = -65735 - -105394. Is q a prime number?
True
Let o = -4155 - -22850. Is o prime?
False
Suppose 3*h - 4 = h, -643 = -l - 3*h. Is l + 2 + -2 + -2 a prime number?
False
Suppose -c + 11 = 2*c + g, -4*c = 5*g - 11. Suppose 322 = 4*w - 5*b, -c*w - w - 3*b = -384. Suppose -w = -7*m + 811. Is m a prime number?
True
Suppose -7*a - 567 = -10*a. Suppose q = 4*x + a, -4*q + 0*x = 4*x - 816. Is q a prime number?
False
Let u be (-5)/(-10) - 23/(-2). Let p be u/(-8)*1*-2. Is 2012/6 - 1/p a prime number?
False
Suppose 4*o + 3*s - 26 = 0, s = 4*o - 4*s - 10. Suppose 4*d = -d + 2*q - 12, -2*d - o*q - 28 = 0. Is -74*3*2/d a prime number?
False
Let w(j) = j**2 + 5*j - 6. Let g be w(-6). Suppose g = z + 2*z - 9. Suppose d - 152 = -z*d. Is d composite?
True
Let k = 121 - 89. Is k/(-32) - 2820/(-2) composite?
False
Let q = -11728 + 21328. Let d = q - 5807. Is d a composite number?
False
Suppose -2*a - 1 = -5. Let z = a - 7. Let s(f) = 27*f**2 + 5*f + 12. Is s(z) a prime number?
False
Let u(b) = b**2 + 6*b + 5. Let v = 5 + -11. Let m be u(v). Suppose -4*q = -q - 2*t - 793, -5*t + m = 0. Is q prime?
False
Suppose 621 + 3993 = 3*f. Is f a prime number?
False
Let m(i) = -3517*i - 66. Is m(-5) prime?
True
Suppose 294390 = 26*u - 8*u. Is u a composite number?
True
Let c(f) be the second derivative of 7*f**4/12 - f**3/6 - f**2 + 17*f. Is c(3) a prime number?
False
Suppose 12 = -153*x + 157*x, -2*k = 5*x - 47077. Is k a composite number?
False
Suppose 201*r - 203*r - 4*o = -22942, -3*o = 3*r - 34398. Is r prime?
False
Let l = -444 - -649. Suppose -z + 0*b + 211 = b, z - 2*b = l. Is z a prime number?
False
Let f be (-20552)/7*(1 - 2). Suppose f + 1630 = 6*p. Is p a composite number?
False
Suppose -5*l - a + 4*a - 30 = 0, 4*a = 0. Let m = l - -4. Is (-12)/(-2)*(-1)/m a prime number?
True
Suppose -252*h + 248*h = -31972. Is h prime?
True
Let o(u) be the second derivative of -u**8/6720 - u**7/840 - u**6/120 - u**5/24 + 5*u**4/12 - u. Let g(p) be the third derivative of o(p). Is g(-6) composite?
False
Suppose 4*a = 9*i - 8*i + 35, -5*a - 4*i = -49. Is (2 - (-80)/(-36)) + 13781/a composite?
False
Let s be (-4193)/2*(-60)/35. Suppose -2*q + s = 4*m, 15 = -q + 3*m + 1822. Is q a composite number?
False
Let w = 266 - 145. Is w prime?
False
Suppose -4*a + 5*v - 2 - 29 = 0, 3*v = 4*a + 25. Is (-104)/6*3*139/a a prime number?
False
Suppose 0 = 3*v - m - 24149 + 3351, 3*v + 5*m = 20768. Is v a prime number?
False
Let s(v) = -16*v**3 + 3*v**2 + v - 1. Let u be s(-2). Suppose -23 - u = 2*j. Let w = j - -118. Is w composite?
True
Suppose 4*f = -3*v + 49443, 2*f - 18929 + 2446 = -v. Is v prime?
True
Let j(n) = n**3 + 11*n**2 - 14*n - 3. Let s be j(-12). Is 9423/s - (3 - (-23)/(-7)) a prime number?
True
Let v(g) be the first derivative of -3*g**2 + g - 1. Let s be v(1). Is (-5)/s*53/1 composite?
False
Suppose 283*q + 11067 = 280*q. Let j = q + 5466. Is j composite?
False
Let g(t) = 325*t**2 - 3*t + 2. Let p be g(1). Let r = p - 179. Is r prime?
False
Let l be (-13224)/(-28) + 2/(-7). Suppose -4*o + l - 20 = 0. Is o composite?
False
Suppose -18 = 3*w - 186. Let b = w - 40. Is ((-6)/(-5))/(b/2840) a composite number?
True
Suppose 882*g + 15818 = 904*g. Is g prime?
True
Let a(x) = -x**3 + x**2 + 2*x 