Suppose 12*v + 144 = 8*v. Is 2936/(-12)*v/8 a composite number?
True
Suppose -6*l - 2*l = -6*l. Suppose -t - 640 = -5*w, l = w - 2*w + 5*t + 152. Is w prime?
True
Let t = 4570 + -2391. Is t composite?
False
Let j = 7 - 3. Suppose 12 = -3*i, -4*i + 13 = j*t - 287. Is t a prime number?
True
Let h(u) = 67*u**2 + 66*u - 502. Is h(9) a composite number?
False
Let a be -2*(3 + -4)*(2 + 0). Suppose 0 = -a*p - 2*p + 3270. Is p composite?
True
Let q be ((-52)/8)/(2/(-4)). Let b = q - 9. Suppose b*l - 5*r = 2248, 2*r + 1675 = 3*l + r. Is l a prime number?
True
Suppose 11092 = -5*v + m, 5*v - 2*m + 11098 = -3*m. Let h = 3200 + v. Let a = h - 62. Is a composite?
False
Let v = -4 - 1. Let y(a) = -a**3 + 2*a**2 + a - 9. Is y(v) a prime number?
False
Let v be 26*((-3)/(-6) + 0). Suppose v = -5*h - 2*j, 2*j = -4*h - 1 - 9. Is -2 - 12/(-1) - h a composite number?
False
Let j(a) = a**2 + 12*a - 2. Let g be j(-12). Let d(k) = -1. Let x(h) = -17*h + 102. Let r(c) = 102*d(c) + x(c). Is r(g) a prime number?
False
Suppose m + 1943 = 4*s, -13*s - 5*m = -16*s + 1470. Is s composite?
True
Suppose r + 2*u = 398, 0*u - 792 = -2*r - 2*u. Let f = 1209 + r. Is f a composite number?
True
Let y(t) = 6*t + 13. Let u be y(11). Is (-6)/(1 - 81/u) a composite number?
True
Let j be ((-2)/(-4))/(13/(-4) + 3). Let u(m) = -553*m - 7. Is u(j) a prime number?
False
Let o be (-1 + 3698)/((3 - -2)/5). Suppose -o = -5*n + 3*c, 5*c = -3*n + c + 2195. Is n a prime number?
False
Suppose 108 = -7*l - 11*l. Is 37*(-6)/12*l prime?
False
Let o = -9352 + 82091. Is o a prime number?
True
Let h(q) = -30*q**2 + 3*q - 1. Let y be h(3). Let p = 97 - y. Is (2 - 2) + (p - 4) a prime number?
False
Is ((-50)/100)/(1 + 2147/(-2146)) composite?
True
Suppose -6292 = -y + 8689. Is y a composite number?
True
Suppose 3*n - 8*n + 25 = 0. Let r be ((-15)/9)/n*3. Is (-51 + -3 - r)*-7 a prime number?
False
Let y(l) = -l - 1. Let p(j) = 94*j + 28. Let g(t) = -p(t) - 3*y(t). Is g(-6) a prime number?
True
Suppose 3*j + 1198 = -h, -274 = j + 3*h + 136. Let k = -234 - j. Suppose -2*y + k + 134 = 0. Is y a prime number?
True
Let g(i) be the second derivative of 13*i**3 + 11*i**2/2 + 4*i. Is g(7) prime?
True
Let d(g) = 9*g. Let w be d(-2). Let h be 8519/63 + 4/w. Let u = -76 + h. Is u composite?
False
Let s be 1/(-6)*1 + (-122)/(-12). Let i = s + 11. Is i a prime number?
False
Let b = 2066 + 7641. Is b a composite number?
True
Suppose -4059 = -10*x + 2411. Is x a prime number?
True
Suppose 7*i + i = 48. Suppose -953 = -3*y - w, 1575 = -y + i*y + 5*w. Is y composite?
True
Let s be 23/3*(15 + -3). Suppose c + s = 3*c. Let b = 72 - c. Is b a composite number?
True
Let l be (-686752)/(-112) - (-2)/7. Let n = l - 3601. Is n composite?
False
Suppose -o - 1595 = 7*y - 9*y, -2386 = -3*y - 5*o. Suppose -640 = -4*k - 3*i, -i + 4*i - y = -5*k. Is k a composite number?
False
Is 6/((-30)/(-75925))*1 a prime number?
False
Let m(j) = 79*j**2 + 11*j - 97. Is m(6) a composite number?
True
Let h(z) = 11*z - 13*z + 2 - 7*z**2 + 1. Let x be h(-4). Let n = -42 - x. Is n a prime number?
True
Let l(x) = x**3 - 9*x**2 - 11*x - 12. Is l(13) a composite number?
False
Let w(m) = 441*m - 6. Suppose -g = i - 7, 3*i = -g - 0*i + 13. Let l be w(g). Suppose 2*u = 8*u - l. Is u a composite number?
False
Suppose -5*b + 4*b = -4*t + 3270, -3*t - 3*b = -2445. Is t a prime number?
False
Let v(w) = 472*w**2 + 8*w - 13. Let a be v(10). Suppose 0*x + a = 11*x. Is x prime?
True
Let x(q) = 2*q**2 - 15*q + 7. Let k be x(7). Suppose -3*m + 3*s + 56 - 2543 = k, 4150 = -5*m + 4*s. Let f = -223 - m. Is f composite?
True
Let k(v) = v**2 + v - 32. Let b be k(-7). Suppose 3*t - 2816 = -w, b*t - 3*w + 1889 = 12*t. Is t a prime number?
True
Let t be (-7482)/(-8) - 4/16. Suppose 0 = 5*v - 2*w - t, -2*w - 5 = 5. Is v a composite number?
True
Let y be 6/(-4)*(27817/(-3) - 7). Suppose 5*b + 1734 = y. Is b a composite number?
False
Is ((-9354)/(-8))/(5/40*6) prime?
True
Let v(m) be the first derivative of m**4/4 + 19*m**3/3 + 4*m**2 - 27*m - 50. Is v(-8) composite?
False
Suppose 7*s + 96 = -s. Is 1234/3 + 4/s prime?
False
Let i be (-1 - 1) + (3 - 1). Suppose -w + 2*w + 225 = i. Let h = w - -402. Is h prime?
False
Let m(g) = -451*g**3 + 13*g**2 + 33*g + 2. Is m(-3) a prime number?
True
Let g be 10/25 + 1956/10. Let d = g + 68. Let b = 527 - d. Is b prime?
True
Let c(h) = -h**3 + 16*h**2 + 18*h - 12. Let g be c(17). Suppose -s - z + 319 = 0, -3*z = g*s - 0*z - 1589. Suppose 5*t - t = s. Is t composite?
False
Suppose 0 = 12*w - 15*w - 6. Let y = w - 7. Is (-4 + 231/y)*-6 prime?
False
Let n(b) = b**3 + 2*b**2 - 2*b - 2. Let j be n(-2). Suppose -7*w = -j*w - 5. Is -46*w*2/(-4) prime?
True
Let t be (-2)/(-4) - 10/20. Suppose -5*g - 15 = 0, 5*g + t*g + 605 = 2*y. Is y a composite number?
True
Let h(g) = g - 1. Let o(r) = 6*r - 4. Let u(t) = 3*h(t) + o(t). Is u(8) a prime number?
False
Let r(m) = -m**3 - 8*m**2 - 9*m + 1. Let l be 12/(-3) + (-1 - 2). Let w be r(l). Let c = 44 + w. Is c composite?
False
Let m = -406 + 688. Suppose m = 6*b - 1116. Let w = 444 - b. Is w prime?
True
Let n(z) be the first derivative of -z**4 - 5*z**3/3 - z**2 + z + 5. Is n(-5) composite?
True
Is -2 + -2 - (-35224)/8 a composite number?
True
Is -1*3/(-6) + 60506/4 a prime number?
False
Let l be ((-5)/15)/(3/45). Is l/5*1543*-1 composite?
False
Let m = 10409 - -2958. Is m composite?
False
Suppose 8144*p - 8140*p - 336220 = 0. Is p prime?
False
Let h(q) = 25*q**3 - q**2 + 3*q - 1. Let j be h(3). Suppose 234 - j = -2*u. Suppose 585 = 5*p - u. Is p a composite number?
True
Let z(j) = -j**3 + j**2 - 2*j + 487. Let m(c) = c**3 + c**2 - c - 1. Let p be m(1). Is z(p) a composite number?
False
Let z(v) = -v**2 - 2. Let y be z(0). Let s(q) = -q**3 - 2*q**2 - 2*q. Let h be s(y). Is (-968)/(-6) + h/(-12) a composite number?
True
Suppose 12*w - 1137554 = -10*w. Is w a composite number?
True
Suppose 73*g = 83*g - 531830. Is g a composite number?
True
Suppose 0 = 5*b - 47 - 8. Let h be (24/(-8))/(3963/1986 + -2). Suppose 0 = 13*s - b*s - h. Is s a prime number?
True
Let u(o) = o + 17. Let j be u(-6). Is (j - 149)/(2/(-1)) prime?
False
Suppose 64 = -3*w - 278. Let u = w + 191. Is u composite?
True
Let k(o) = -48089*o - 21. Is k(-2) composite?
False
Let v = 3529 - -5362. Is v composite?
True
Let l = 1075 + 1924. Is l a composite number?
False
Let y(z) = z**2 + 6*z + 703. Let m be y(0). Suppose 3*q = m + 950. Is q prime?
False
Is (-4257)/(-9) + -3 + 1 a composite number?
True
Let b(d) = 45*d**2 - 4*d - 22. Is b(-3) a prime number?
False
Suppose 0 = -33*m + 34*m - 2845. Is m composite?
True
Let c(u) = u - 7. Let b(d) = d**2 + d + 5. Let y be b(-3). Let r be c(y). Suppose -2*z + r*z - 794 = 0. Is z prime?
True
Suppose 22*z = 14*z + 69304. Is z a prime number?
True
Let h = 6 - 14. Is h/14 + 8930/70 prime?
True
Let h = 11404 + -6143. Is h a composite number?
False
Suppose -o = -0*o - h, -h = -3*o. Suppose o = -k + 2*k. Suppose 0 = -4*w - k*w + 228. Is w composite?
True
Let j(o) = -o**3 + 11*o**2 - 11*o + 6. Let z be j(10). Is (-1)/z*(-84)/(-7) + 2000 prime?
True
Let r = 14 - 12. Suppose -4*n - 4*s + 45 = s, -25 = -n - 4*s. Suppose -i + 26 = 2*z, 2*z - 24 = -r*z + n*i. Is z a prime number?
True
Suppose -p + 84 = -4*g, 0*p + 452 = 5*p - 4*g. Let k = p - 41. Is k composite?
True
Let m = -35 + 25. Is 6 + (-295)/m + (-6)/(-4) a prime number?
True
Let n be 33 - (1 - 4 - 0). Let g be n/2*20/12. Suppose 3*x - 351 - g = 0. Is x prime?
True
Let h(k) = -3*k + 4. Let a be h(2). Let p be (a/6)/((-4)/(-12)). Is (38/6)/(p/(-9)) prime?
False
Let h be -3*(80/(-12))/4. Suppose 3 - h = 2*k. Is (-24)/(-8) + k + 77 a prime number?
True
Suppose 3*q + 2*q + 22181 = u, 0 = -u - q + 22169. Is u prime?
True
Suppose -4*z = 2*h + h - 3, 3 = -2*z + 3*h. Let y = 3 - z. Let v(s) = 10*s**3 - 2*s**2 - s - 2. Is v(y) prime?
False
Let z(y) = -239*y + 76. Is z(-5) prime?
False
Suppose -6*x + 52847 = 4541. Is x a composite number?
True
Let k = -2 - -6. Let y be (-4 + 0)/(k/64). Let c = 119 + y. Is c prime?
False
Let h be ((-1)/3 + (-130)/(-120))*-12. Is -1 + (-11)/h + (-48988)/(-36) prime?
True
Suppose -4*l + l + 12 = 0. Suppose -7 + 21 = l*v - 3*q, -10 = -v + 4*q. Suppose -2*h = v*h - 1228. Is h composite?
False
Let g(l) = 3*l**3 - 3*l**2 + 15*l + 5. Is g(6) c