 - 1814 = -4*z + 3061, s*z = -o + 4877. Is z a composite number?
True
Suppose -4 = 2*c + 28. Let z be 34/(-119) + c/(-7). Suppose -z*t - 194 = -980. Is t prime?
False
Let z(q) = -q - 1. Let p be z(-4). Suppose -p*t + 12 = -7*t. Is ((-2)/t)/((-2)/(-27)) a prime number?
False
Let c be (-14)/(-6) - (-5)/(-15). Suppose -265 = -c*m + 29. Suppose n = -n - 3*r + 293, n = -2*r + m. Is n prime?
False
Let i = 25 - 20. Suppose -105 + 288 = t - 3*b, 5*t - i*b = 865. Suppose 0 = 5*y + 3*u - t, 3*y + u = -4*u + 104. Is y a composite number?
True
Let z = 5 + -3. Let p be 1*(-8)/z + 2. Is (382/p)/(3 - 4) composite?
False
Let u(d) = -2*d + 21*d**2 - 2*d + 41*d**2 - 32. Is u(-5) prime?
False
Let g = 15 + -7. Let v = g - 8. Suppose -5*c + 0*c - 2*t + 155 = v, 0 = -2*t. Is c composite?
False
Let s = -10 - -13. Let b be 1 - (-1 - (3 - s)). Is -3 - (-1)/(b/200) a composite number?
False
Suppose 2*j - 3*u - 21 = j, -4*u - 16 = 0. Let x(d) = 59*d + 5. Let w be x(j). Let s = -349 + w. Is s a composite number?
True
Let s(z) = 106*z + 36. Let x(o) = -107*o - 35. Let r(n) = -3*s(n) - 4*x(n). Let f be r(10). Suppose -5*d + f = -823. Is d a composite number?
True
Let k be 0/(-1 + 5) - 0. Suppose k*z = 3*z - 12. Is ((-1270)/40)/((-1)/z) a composite number?
False
Suppose 87 = 5*z + 107. Is (1147 + 10)/((-2)/z*2) prime?
False
Let d = -37 - -50. Suppose 2928 = -d*r + 16*r. Suppose -2*t + r + 754 = 0. Is t a composite number?
True
Suppose 12*s - 19 = 29. Suppose -528 - 452 = -4*o. Suppose -k = s*k - o. Is k composite?
True
Let x be 195/6*(-528)/15. Let y = x - -1631. Is y a prime number?
True
Suppose -1082 = 12*v - 14*v. Is v composite?
False
Suppose -2*k - 269 = -3*b, -k + 4*b = -3*k - 234. Is -1*3*k*1 prime?
False
Suppose 0*s = -5*s + 4*j + 1096, -2*s - j = -428. Suppose 3*h + 4*b = 381, -2*h = 3*b - s - 38. Is h composite?
False
Is 7069/(-3)*(16 - 19) a composite number?
False
Suppose -9*d = -5*d - 24. Suppose -2*m = -d*m + 72. Is -33*69/m*-2 prime?
False
Let w = -4 + 9. Suppose 3*l - w*l + 6 = 0. Suppose 0 = j + 3*p - 182, j - l*p + 2*p - 178 = 0. Is j a prime number?
True
Let h = -14462 + 24429. Is h a prime number?
True
Let g(s) = -s**3 - 36*s**2 + 24*s + 60. Is g(-37) composite?
False
Suppose 0 = 2*f - 11 + 33. Let i(h) be the second derivative of h**5/20 + 5*h**4/4 + 5*h**3/2 + 6*h**2 - h. Is i(f) prime?
True
Suppose 0*k - 2*h = k + 1, k + 4*h - 5 = 0. Let u be (-101)/k - 24/(-42). Is (-38)/(-285) - (-6643)/u prime?
True
Let r(f) = -83*f - 13. Suppose -8 = 4*o - 2*o. Is r(o) prime?
False
Let x = -2870 - -6259. Is x a prime number?
True
Is ((-22644)/(-8))/1 - (-2)/4 composite?
True
Let n = 5885 + -1099. Is n a composite number?
True
Suppose -2*s = 5*j - 48972 - 33761, -7*j + 165469 = 4*s. Is s a prime number?
False
Let t(n) = -20*n + 11. Is t(-6) composite?
False
Suppose 2*a + 1 = -3. Let u be ((-26)/6)/(a/300). Suppose -5*w + 0*w + u = 5*j, -4*w + j + 505 = 0. Is w composite?
False
Is 32111 - (-54)/(-12 + 3) prime?
False
Let i be 0*((-10)/4 - -2). Let r(a) = a + 2957. Is r(i) a prime number?
True
Let p be (-2084)/2*(-2)/16*4. Let h be (-19)/(1*(2 - 3)). Suppose h = -2*a + p. Is a prime?
True
Suppose 6*a = -11 - 1. Let b be (-372)/8 - (-1)/a. Let t = 12 - b. Is t a composite number?
False
Is (-1)/((-3398)/(-1133) - (1 + 2)) a prime number?
False
Suppose -5*m + 4*n + 2510 = -0*m, 1506 = 3*m + 2*n. Is m prime?
False
Let i be 2/3*(9 - 3). Suppose 4*f = -3*h - 4, -i*f - 8 + 0 = 4*h. Suppose 587 = 5*v + 3*s, f*v - 2*s = -0*v + 222. Is v a prime number?
False
Suppose 0*k = 3*k + 168. Let y = k - -127. Is y a composite number?
False
Let n(t) = 37*t**3 - t**2 - 10*t + 10. Let g be n(4). Suppose -6454 = -8*a + g. Is a composite?
False
Let j(c) be the second derivative of 1/6*c**4 + 8*c**2 + 4*c - 17/6*c**3 + 0. Is j(11) composite?
False
Let l(r) = -291*r. Let v be l(-9). Suppose v + 876 = 3*n. Is n composite?
True
Let z(u) = -1678*u**2 + u. Let a be z(-1). Let g = a - -2507. Suppose -5*s + 2893 = g. Is s a composite number?
True
Let b = -2 + 6. Let k(p) = 13*p**2 + p + 5. Let m be k(b). Suppose -z + 55 + 144 = 4*y, -z + 2*y + m = 0. Is z prime?
True
Let a = -1979 + 1409. Let b be -2*2/(-1*(-8)/2302). Let y = a - b. Is y prime?
False
Suppose -3 - 12 = 5*p. Is (-2 - p)*(307 - 0) composite?
False
Suppose -4*o + 3975 = -2709. Is o a composite number?
True
Let x = 10072 - 1187. Is x a prime number?
False
Suppose 4*r = -d + 361, 5*r + 2*d = -255 + 710. Let o = 462 - r. Is o prime?
True
Let r = -21 + 24. Suppose 552 - 2437 = -r*s + 4*t, -5*s - 5*t + 3200 = 0. Is s a composite number?
True
Let k = -9 - -8. Let c be k/(-2) + 88/16. Suppose 29 + 13 = c*y. Is y a prime number?
True
Let w(j) = -7*j**2 + 8*j - 5. Let c be w(7). Let y be c/(-24) - 2/12. Suppose 0 = 4*q + y, -3*m = -5*m - q + 443. Is m prime?
True
Suppose -d = 5*x - 61041 + 19133, -5*x = 4*d - 41902. Suppose -x = -16*l + 10*l. Is l prime?
False
Suppose -8*r + 975 = 2511. Let c = -46 - r. Is c a composite number?
True
Suppose 4*q + 39*l - 13957 = 40*l, 2*l - 10465 = -3*q. Is q composite?
True
Is (-4)/3*16537884/(-176) prime?
True
Suppose 9*u - 2172 = 1266. Let l = u - 241. Is l a composite number?
True
Let k(p) = 14*p**2 + 52*p + 589. Is k(46) composite?
True
Is -1*11459/(-21) - (-4)/(-6) prime?
False
Let w(o) = 439*o + 91. Is w(12) composite?
True
Let q(j) = 6787*j + 72. Is q(2) composite?
True
Let l(y) = -2*y + 29. Let n be l(12). Suppose -n*i + 9057 = -4478. Is i prime?
True
Suppose t = -2*q - t + 22, -2*q = t - 19. Is q/16 - 2106/(-4) a prime number?
False
Let f(c) = -326*c + 23. Let b(r) = -163*r + 11. Let u(m) = -9*b(m) + 4*f(m). Is u(10) prime?
False
Let v(u) = -u**3 + 2*u**2 + u + 2518. Let z be v(0). Suppose -z = -3*s - 4*w, -4*s - 4*w = s - 4194. Is s a composite number?
True
Let w be 6/27*2*6*-6. Let o(v) = -87*v + 49. Is o(w) composite?
True
Let b be -2 - -2 - 372*2. Let d = 1651 + b. Is d composite?
False
Let p(j) = -4*j - 10. Let y be p(-3). Is (191/y)/((68/(-24))/(-17)) composite?
True
Is 4*(7 - 13716/(-16)) composite?
False
Let d = 45 + 1. Suppose 4*j = -4*w + 24, -2*w = -4*j + 22 + 8. Let u = d + j. Is u composite?
False
Let t(w) = -w**3 + 84*w**2 - 5*w + 187. Is t(39) prime?
True
Let t(q) = -6*q + 9. Let a be t(4). Let o = a + 16. Is o/(4/(-12)) - -60 composite?
True
Let s(k) = -2*k**3 + 12*k**2 - 6*k - 9. Let r be s(-9). Suppose r = 4*w - 2545. Is w a prime number?
False
Let a = 504 + -51. Suppose q - a = -4*h, 0 = 2*q - 4*h + 2*h - 906. Is q prime?
False
Suppose 0 = 4*p + p - 1960. Let y = 555 - p. Is y a prime number?
True
Let j(g) = 30*g + 5 - 11*g - 11*g. Is j(6) composite?
False
Suppose 0 = 4*o + 3*l - 8, -6*o + 5*l = -o - 45. Let c(t) = t**3 + 6*t**2 + 2. Let u be c(-6). Suppose -o*v + 52 = -0*j - u*j, -4*j - 14 = -v. Is v prime?
False
Let h = 13 - 4. Let a = h - 4. Suppose 357 = -a*w + 8*w. Is w a prime number?
False
Suppose 0 = 2*c - 12 + 4. Suppose 14*i = c*i + 3580. Is i a prime number?
False
Suppose 0 = 2*o - 2*j, 2*o - 4*j - 1 = 3. Is ((-530)/40)/(o/24) composite?
True
Let i(z) = 29*z**2 - 3*z + 4. Let n be i(-3). Suppose -t = -5*w + t + 1385, w = t + n. Let a = w - 92. Is a prime?
False
Let j(u) = u**2 + u. Let c be j(0). Suppose -4*i - 4 - 24 = c. Let v(t) = 9*t**2 - 5*t - 3. Is v(i) prime?
False
Suppose 0*t + 4*t + 108 = 0. Let p = t + 30. Suppose 0 = p*g - 5*g + 818. Is g a composite number?
False
Suppose 2*q + 2300 = -3*p, 7*p + 2*q + 3064 = 3*p. Let n = 1321 + p. Is n prime?
True
Suppose -5*l + 2*g - 33 = 0, 12 = -2*l + 3*g - g. Let j = -3 + -11. Is 3387/2 - l/j a composite number?
False
Let u = -99 - -74. Is 15/3*(-39085)/u a composite number?
False
Let o(a) be the third derivative of 3/8*a**4 + 3/20*a**5 - a**2 + 1/6*a**3 + 0*a + 1/120*a**6 + 0. Is o(-6) a composite number?
True
Let n = 12 - 12. Suppose n*y = 4*y - 8. Suppose -y*s + 38 = -0*s. Is s composite?
False
Let j = -21 - -32. Suppose 8*g = j*g - 1275. Suppose -2*m + g = 3*m. Is m composite?
True
Suppose -1570 + 7481 = j. Is j a composite number?
True
Let s(r) = 165*r - 8. Let o(a) = -494*a + 23. Let h(v) = -4*o(v) - 11*s(v). Is h(15) prime?
True
Suppose -i = -1 - 2. Suppose y = 3*a + 649, 0*y - i*y - a + 1947 = 0. Is y composite?
True
Suppose 8*g - 5662 = 11962. Is g a prime number?
True
Is (-27)/18*-136844*2/12 composite?
Fals