1 - f*(5 - -4) - -1 composite?
True
Suppose 9*k = -0*k + 9. Let y be k*((0 - -1) + 1)/(-2). Let n(r) = -673*r + 4. Is n(y) a prime number?
True
Suppose 0 = 34*t - 35*t - 2. Let j(a) = 2*a**2 - 3*a - 5. Let v be j(t). Suppose -7711 = -v*s + 596. Is s prime?
False
Let b = 112 + -67. Let m = b + -63. Is (-786)/(-4)*(-12)/m a prime number?
True
Let a(c) = 44*c**3 - 30*c**2 + c - 26. Is a(9) a composite number?
False
Let j(r) = -38*r**3 + 2*r**2 - 32*r - 50. Is j(-11) composite?
True
Suppose 50*a - 41*a = 117. Suppose 15*k - a*k = 5006. Is k a prime number?
True
Let b(y) = y**3 - 5*y**2 - 7*y + 8. Let c be b(6). Suppose 0*d - 4*z = -4*d + 16, 0 = d - c*z - 2. Is (632 - -1)*2/d composite?
False
Let q be (-1 + 52/(-8))/((-12)/16). Let x(r) = 19*r + 103. Is x(q) prime?
True
Let w = -36982 + 53300. Is w/14 + 8/(-14) prime?
False
Suppose -5*r - 12975 = -5*j, -4*j + 2583 = 4*r - 5*r. Let p = -1856 - r. Is p a composite number?
False
Is -1 - (1 + 1) - (-9)/((-180)/(-886600)) a prime number?
False
Let i(g) = -g**3 - 47*g**2 + 83*g - 51. Is i(-50) composite?
False
Is (-2*(-3)/(-36))/(29/(-16800222)) a composite number?
False
Suppose 19*z - 6 = 16*z. Suppose z*h - 5*r - 7 - 6 = 0, -2*h + 2*r + 4 = 0. Is 261 + (3 - 4) + h composite?
True
Let g(p) = -p**2 - 5*p + 32. Let c be g(4). Let w(v) = 487*v**2 - 21*v - 9. Is w(c) a prime number?
True
Let o = 2197 + 43522. Suppose -o = 7*u - 132666. Is u composite?
False
Suppose 14*x + 12*x = 151554. Suppose -3*p + x = 3*z + 1329, -1495 = -p + 4*z. Is p a prime number?
True
Let n(p) = -14984*p**3 + 22*p**2 + 8*p + 9. Is n(-4) prime?
False
Suppose 566*i - 564*i = 3*a - 96241, 4*a = 5*i + 128312. Is a a prime number?
True
Let r(v) = 65*v - 76. Let c(z) be the first derivative of -16*z**2 + 38*z + 49. Let l(m) = 5*c(m) + 3*r(m). Is l(27) a composite number?
False
Is (-680808)/(-40) - ((-230)/(-25) - 10) composite?
False
Let i be 1/5 - 3304/(-5). Suppose -9*h = -338 - i. Let l = 412 - h. Is l a prime number?
False
Let u(v) = -20*v**3 - 7*v**2 + 18*v - 18. Let b(a) = -41*a**3 - 14*a**2 + 34*a - 37. Let g(t) = -4*b(t) + 7*u(t). Is g(6) a prime number?
False
Let d(p) = -119*p + 123. Let h be d(14). Let n = h - -2630. Is n composite?
False
Suppose 6*x - 113 = 73. Suppose -x*t + 29*t = -1474. Is t a composite number?
True
Suppose a + 237 - 313 = 0. Suppose 5*h = 7*w - 6*w - 26, w + 5*h - a = 0. Is w composite?
True
Is -6*124792/(-96) + 2/(-4) composite?
True
Suppose -20 = -2*i - 2*m, -1 - 9 = -i + 3*m. Suppose 0 = i*b - 2098 - 14992. Is b a composite number?
False
Let w = 47 - 39. Suppose 12*x - 28464 = w*x. Suppose 2*q = -4*q + x. Is q prime?
False
Let k = 5313 + 39740. Is k composite?
False
Suppose 8*p + 1 = 17. Suppose 3*l - 3*k - 925 = -k, k = -p*l + 612. Is l a composite number?
False
Let q be ((-12)/6*9)/((-2)/3). Suppose -3*k + 70194 = -q*h + 30*h, 3*k = -5*h + 70192. Is k prime?
True
Suppose 5*k - t = 305, -6*k + 4*t + 80 = -5*k. Suppose -k*o - 12047 = -67*o. Is o a prime number?
True
Suppose -13*c + 18*c + 15430 = 0. Is -1*(-6)/(-12)*c composite?
False
Let s(b) = 61874*b - 6649. Is s(7) a composite number?
False
Let n be (-390)/(-33) - 18/(-99). Suppose n*r - 7389 = -1977. Is r composite?
True
Suppose 3*v = -4*b - 105787 + 2354385, -4*b + 4*v + 2248556 = 0. Is b a prime number?
False
Suppose -f = -4*p + 2*p + 14071, 5*f + 25 = 0. Let g = 13152 - p. Is g composite?
True
Suppose -20 = -3*f - 5*t, 5*t = 4*f - 14 + 34. Suppose f = 21*k - 44*k + 497283. Is k prime?
False
Let f = -108 + 106. Is 10929/(f*(-4 - (-10)/4)) prime?
True
Let z be (-2)/3*(-403 - -10). Suppose 665 = 4*q - v, 5*q - 571 = 3*v + z. Is q composite?
True
Is 12/10*(-2985750)/(-75) + 5 a prime number?
True
Let l = 131 - 126. Suppose 3*y - 4054 = 3*i + 5591, 3215 = y - l*i. Is y a composite number?
True
Suppose -58 = 3*f - 7. Let t(z) = -6*z - 40*z + 2*z**2 - 5*z**2 - 29*z - 1. Is t(f) composite?
True
Let b = 9243 + -13960. Let o = b + 9108. Is o a prime number?
True
Suppose 18*k - 2917461 = 1543461. Is k a prime number?
True
Let k(t) = -1278*t - 3313. Is k(-38) a composite number?
True
Let l(t) = -204*t + 29. Suppose 0 = 3*b - 3*d - d - 4, 2*d + 8 = 3*b. Let r(g) = -102*g + 15. Let n(m) = b*l(m) - 9*r(m). Is n(15) composite?
False
Let x be -38 - (8 - (-1 - -9)). Is x/(-380) + 57938/20 composite?
False
Suppose 38*v = 69*v - 45528553. Is v prime?
False
Suppose -5*j + g = 7772, -g + 0 = -2. Let f = j + 2225. Is f composite?
True
Let h = 67503 - -4248. Is h a prime number?
False
Let z(d) = 177*d + 242. Let o be (-49)/(-98)*(15 - 1). Is z(o) composite?
False
Suppose 29*x = 64*x + 8*x - 1666078. Is x a prime number?
False
Suppose -86*k + 24 = -80*k. Suppose -k*v + 26501 = -5*s, -2*v = -4*s - 8538 - 4720. Is v a prime number?
True
Suppose -3*m - 4*b + 10 = -17, 0 = 5*m + 3*b - 34. Suppose 5118 = 2*d + 4*l, 12850 = m*d + 2*l - 3*l. Is d composite?
True
Suppose -4*d + 65 = 3*h, 3*h - 4*d = 4*h - 35. Let w(k) be the second derivative of 34*k**3/3 - 11*k**2/2 + 25*k. Is w(h) a composite number?
False
Let s = -1576 + 169. Let w = s + 2796. Is w a composite number?
True
Let m(w) = -3*w + 390. Let l = -16 + 16. Let v be m(l). Let n = v - 233. Is n a prime number?
True
Suppose 0 = -0*u + 6*u - 60. Let w be 552/(-80) + (-1)/u. Let l = 14 + w. Is l prime?
True
Let v = -3406 - -9853. Let g(l) = -1771*l**3 - 2*l**2 - 2*l - 1. Let j be g(-1). Suppose -3*d - j = -v. Is d a prime number?
True
Suppose 2799 - 49687 = -2*x + 32050. Is x a prime number?
False
Let s = 268164 - 154421. Is s a prime number?
False
Suppose 43*s + 284 = -267 + 35. Suppose -3*n + 5025 = g, -3*n + 3137 = 2*g - 6922. Is (g/s)/((-2)/4) composite?
False
Let c(r) = -r**2 + 6*r - 6. Let f be c(3). Suppose -5*w + 34 = f*k - 0*w, -5*k + w + 10 = 0. Suppose -k*d = u - 631, -4*d - 3*u + 636 + 202 = 0. Is d prime?
True
Let y(a) = 217*a**2 - 7*a + 5. Suppose -7 = 32*k - 36*k + x, -23 = -k - 4*x. Is y(k) prime?
False
Suppose 0 = p - 3*r - 5531, 0 = -94*p + 92*p + 3*r + 11044. Is p a composite number?
True
Let o = 1534652 + 458829. Is o a prime number?
False
Suppose 225609 = 2*o + 5*q, -o - 14*q = -18*q - 112811. Suppose 13*s - 71650 = o. Is s a prime number?
False
Let u be (-1)/3 + ((-395004)/(-9))/(-2). Let s = u - -32076. Suppose 0 = 3*w - 3*n - s, -3*w + n + n = -10131. Is w composite?
True
Let l = 0 - -3. Let g(h) = 78*h**2 + 5*h + 60. Let a(n) = -n**2 + 10. Let m(s) = -6*a(s) + g(s). Is m(l) prime?
False
Suppose 2*c + 50 - 114 = 0. Suppose 4*s = -5*w + 42, 3*s = -4*w + c - 1. Suppose -10374 = -s*v + 2743. Is v a composite number?
False
Let z(p) = -p**2 + 2*p + 39. Let o be z(6). Suppose 14*i + 3540 = o*i. Suppose 5*u - 175 = i. Is u a composite number?
False
Suppose -17*g + 3182912 = 47*g. Is g a composite number?
True
Suppose -811989 = -6376*t + 6367*t. Is t composite?
True
Let x = -5526 + 18967. Is x prime?
True
Let v be (-15)/(-9)*(-216)/(-30). Let u(t) = 53*t**2 + 51*t + 19. Is u(v) a composite number?
False
Is ((-591)/9*42/56)/((-2)/19672) a prime number?
False
Let t = 590098 + -290255. Is t prime?
True
Suppose -6 = -6*i + 4*i, 0 = -5*k + i + 10162. Suppose -5*w = p - k, 3*w - w - 5*p = 824. Is w composite?
True
Suppose 4*f - 196 + 180 = 0. Suppose -f*y = -g + 3263, 4*g - 3*y = 12685 + 367. Is g a prime number?
False
Let z(k) = 7*k - 47. Let t(q) = 11*q - 71. Let v(f) = -5*t(f) + 8*z(f). Let b be v(21). Suppose b = -6*g + 2541 + 3513. Is g a composite number?
False
Let x(r) = r**2 - 21*r - 50. Let c be x(23). Let t be (1 - c/(-8))*0. Suppose 4*q - 2*z - 1514 = t, 2*q + 0*z - 753 = 5*z. Is q prime?
True
Suppose 508302 + 1100555 = 47*p. Is p prime?
True
Suppose a = -5*i + 4*i + 64, i = -5*a + 80. Suppose 3*r + 9*r = i. Is 2077 - (r + -11)*(-2)/3 a composite number?
True
Let s(t) = t**3 + 20*t**2 + t + 9. Let j be s(-14). Suppose j = a + 102. Is a composite?
False
Suppose -7*v + 134 = -153. Suppose 38*i - v*i = 0. Suppose i*g + 395 = 5*g. Is g a prime number?
True
Let v = -30 - -32. Let m = 11 - 11. Is 3491 - (-2 - m) - v prime?
True
Let i = -846517 - -1324178. Is i a prime number?
False
Let u(h) = 110*h**2 + 31*h - 21. Let q be u(-10). Suppose 3*f + 5*l = 7998, -17*f + q = -13*f + 5*l. Is f a composite number?
False
Let q be (-32)/8 + -59 + 1. Let m = q + 38. Is ((-1089)/(-12) + 1)/((-6)/m) a prime number?
