*t - 4*c = f + 194. Is t a composite number?
True
Suppose -3 = 2*u - 4*p - 19, -u + 5 = -p. Suppose 3 = i, 0 = u*c - 5*i - 2334 - 343. Is c a composite number?
True
Suppose -5*n + 4*m = -53, 5*n - 2*m = -m + 62. Suppose -7*r = -5*r - 92. Let j = r - n. Is j composite?
True
Let r(l) = 2*l**2 - 14*l - 22. Let i be r(11). Suppose -2*a + 0*a = -i. Is a a composite number?
True
Suppose -l + 2*l = 1. Let u(v) be the second derivative of 293*v**3/6 - 31*v + 1. Is u(l) composite?
False
Is (8 - -4372) + (-10)/(-2) a prime number?
False
Let n be (-2162)/(-9) + 2 + 4/(-18). Let w = -23 + 116. Let h = n - w. Is h composite?
False
Let w be 493/153 + (-4)/18. Suppose -w*j + 1790 + 2611 = 3*q, 4 = -q. Is j a composite number?
False
Suppose 4*j - 5*u = 183283, 0 = -4*j + 2*u + 107202 + 76072. Is j prime?
True
Let b(j) = 12*j**2 + j - 39. Is b(-16) composite?
True
Let k(f) = 363*f**2 - 89*f + 21. Is k(-10) a composite number?
True
Let t(k) = -1660*k + 7. Let h be t(-3). Let m = h - 2888. Is m a prime number?
True
Suppose 2*r = -r + 18. Suppose 0 = -t + m - r*m - 838, 3*t = 3*m - 2442. Is (3/2)/((-3)/t) a composite number?
False
Suppose -22*j - 55635 = -37*j. Is j a prime number?
True
Let z be 18/30*5*1. Let f be 288/(-56)*(-28)/z. Suppose 3*b - f = 3*v, -b + 0*v = -2*v - 21. Is b prime?
True
Let s(p) = -2*p**3 - 3*p**2 + 6*p - 3. Suppose 2 = 2*w - 8. Let l be w/((-2 - 2)/4). Is s(l) a composite number?
True
Let t = 133462 + -35963. Is t a prime number?
True
Let x = 396 + -265. Let q = x + -84. Is q composite?
False
Suppose k = -s + 588, -266 - 907 = -2*s + k. Is s prime?
True
Suppose -12*b + 4*b = -4456. Is b composite?
False
Let y(c) = -c**3 + 17*c**2 + 17*c + 24. Let b be y(18). Let x be 4*b/32*-84. Let g = x - -128. Is g a composite number?
True
Let w be (4/8)/(2/(-4)). Let j be (-4)/2*(-273)/26. Is (-7)/j*(w + -32) a composite number?
False
Let j(n) be the second derivative of -5/2*n**2 + 0 - 5*n + 1/2*n**3. Is j(8) a composite number?
False
Let p(z) = -603*z. Let f(t) = -3*t - 1. Let i be f(-1). Let s be p(i). Is (-2)/(-3)*s/(-12) composite?
False
Let m be -2*(-5)/((-10)/(-11)). Let i(d) = -56*d - 7. Let r be i(m). Let a = -358 - r. Is a prime?
False
Suppose -2*n = 0, -17*n + 16*n - 51124 = -4*s. Is s prime?
True
Suppose 4*u - 5*h + 7 = 0, 0*h - 4*h - 10 = 2*u. Let b = 2 + u. Is -3 + (40 - (b - 0)) a prime number?
False
Let y(u) = 15428*u**2 + 11*u. Is y(1) prime?
True
Suppose -2*w + 0*c = 2*c + 4, -w - 3*c - 10 = 0. Suppose 17 = 2*t + 5. Suppose -t*u + 56 = -w*u. Is u a prime number?
False
Suppose 2*k = -2*c - 37878, -4*k - 40502 = -4*c + 35262. Is 1 + -5 + k/(-5) - -3 a composite number?
True
Suppose -7*h + 8*h = 1269. Suppose 8*x + h = 5853. Is x composite?
True
Let p(r) = -12*r + 11. Let l be (9/(-15))/(3/(-30)). Let z(y) = 13*y - 10. Let c(g) = l*p(g) + 5*z(g). Is c(-5) a composite number?
True
Let f(b) = -94*b - 49. Is f(-15) composite?
False
Suppose 4*b - 2*r - 36 = 2*b, -5*b - 3*r + 66 = 0. Let f be b/4 - (-1)/4. Suppose 2*u = -3*k - 176 + 459, f*u + 3*k = 569. Is u prime?
False
Let m = 5207 + -3168. Is m prime?
True
Let m(k) be the third derivative of -k**6/120 + k**5/60 - 5*k**4/24 + 7*k**3/6 - 5*k**2. Let x be m(4). Let l = x + 255. Is l composite?
True
Let r(a) = 7*a**2 + 52*a - 93. Is r(20) a composite number?
True
Let k(m) = -5*m + 4*m - 55 + 57. Let q be k(-2). Suppose 2361 = 3*z + q*a, -2*z + 7*z - 5*a - 3970 = 0. Is z a prime number?
False
Let q be (4/(-12))/((-3)/(-9)). Let b = 16 + q. Let v(o) = -o**2 + 18*o + 14. Is v(b) composite?
False
Suppose 5*i = i + b + 2447, 6 = -2*b. Let d = i + -148. Is d prime?
True
Suppose -3*p = -2*q + 1, 3*q + 2*p - 42 = -q. Let t be 132/(-16) + 2/q. Let k(c) = -18*c - 5. Is k(t) prime?
True
Let j = -33260 + 68554. Is (3/(-2))/((-21)/j) a composite number?
False
Let z = -5619 + 3767. Let o = -429 - z. Is o composite?
False
Let h = -70 - -72. Suppose 4*l - 1702 = h*l. Is l composite?
True
Suppose -5*d + r = -964 - 345, -20 = 5*r. Suppose -2311 - d = -4*t. Let z = 908 - t. Is z composite?
True
Suppose -56*q + 34934 = -54*q. Is q composite?
False
Let k(z) = z**2 - z + 2. Let w be k(0). Suppose 6*g - g = h - 10, g = w*h - 2. Suppose 352 = 3*i + 3*v - 5*v, v - 1 = h. Is i composite?
True
Let s(n) = 128*n**2 - 3*n - 10. Is s(-3) prime?
True
Let d(h) = -h**3 + 4*h**2 + h - 1. Let y be d(4). Suppose 0 = -r - y*r + 3*n + 164, 212 = 5*r - 2*n. Suppose 0 = s - 27 - r. Is s prime?
True
Let p = -5 + -4. Is (-4)/p*-3 + 8174/6 prime?
True
Let x be (-91)/(-21) + 4/6. Let a(k) = 13*k**2 - 6*k - 2. Is a(x) prime?
True
Let y(n) = n**3 - 10*n**2 - 3*n + 6. Let a be y(10). Let p = a + 73. Is p composite?
True
Suppose -275*j + 271*j = -181612. Is j composite?
False
Is ((-10181)/3*-6)/(2/3) a prime number?
False
Let h(g) = 4*g**3 + 4*g**2 + 4*g - 1. Let r be h(-2). Is 5/(r/15) + 112 composite?
False
Let w = 47612 - 10335. Is w a prime number?
True
Suppose -2*l = -4*a + 2*a - 32, 4*l - a - 73 = 0. Let h = -17 + l. Suppose h*p + 2*t = 4*t + 172, 0 = -p + 4*t + 71. Is p a prime number?
False
Let p = 7 - 5. Let y(t) = -1 + p*t + 2*t + 5*t. Is y(4) a prime number?
False
Let f = 666 + 9391. Is f prime?
False
Let b be (12/(-14))/(3/(-28)). Suppose -20 + b = -4*k. Suppose -k = -2*p + 3. Is p a composite number?
False
Suppose -20 = -13*s + 11*s. Is (-86)/(-3)*(-3)/(-4)*s a prime number?
False
Suppose 3*k - 1736 = 1495. Let d = -238 + k. Is d prime?
True
Let u be (1 - 2)*0 + 12. Let b be 6350/u + (-2)/12. Suppose 0 = -5*p - 4*a + b, 3*p + a = -a + 319. Is p prime?
True
Let x be (1/4 + (-141)/(-12))/(-1). Is (-155676)/(-30) - (x/(-20))/3 prime?
True
Let b(x) = -x**2 + 11*x - 1. Let z be b(11). Let o(c) = 5*c**2 + 2*c + 2. Let r be o(z). Suppose -2*p + 42 = r*y, 0 = -5*p - 2*y + 100 + 47. Is p composite?
False
Suppose -3*k + 4*b + 57363 = 0, b = -2*k - 11241 + 49483. Is k a prime number?
True
Let i(r) = -366*r**3 - 19*r**2 + 4*r + 4. Is i(-5) prime?
True
Suppose -o = 5*f - 14, o - 4*f - 8 = -3*o. Let a be 92/22 + o/(-22). Is a + 26 - (-1)/1 a composite number?
False
Let o(z) = z**3 + 8*z**2 - 10*z - 2. Let l be o(-7). Let a = l + -8. Is a a prime number?
True
Let k = 15524 + 5823. Is k prime?
True
Let g = -4683 + 8054. Is g prime?
True
Let k(y) be the second derivative of -9493*y**3/6 - 7*y**2/2 - 29*y. Is k(-2) composite?
False
Let t(a) = -4*a + 3. Let h be t(0). Suppose -l - g = -h*l + 10071, -4*g = 20. Is l composite?
True
Let r = 38028 - 26999. Is r a composite number?
True
Let w(r) = 46*r**3 - r**2 - 3*r + 6. Let k be w(2). Suppose 0*d + k = 4*d. Is d a prime number?
False
Let f be ((-972)/(-45))/(6/20). Suppose -5*a + a = -f. Let l = 40 - a. Is l prime?
False
Let x be 10/3*((-28)/(-10) + -4). Is 2/x + (0 - 17686/(-4)) a prime number?
True
Let v(m) = 179*m**3 - 2*m**2 + 1. Suppose 6*j = 4*j + 2. Is v(j) a prime number?
False
Suppose 25*o - 33372 = 1553. Is o a composite number?
True
Let w(a) = 3*a - 3. Let o(s) = 2*s**2. Let h = 2 + 0. Let l be o(h). Is w(l) composite?
True
Suppose -3*g + 12 = -2*g. Let s = g + -6. Suppose s*w - 940 - 902 = 0. Is w a composite number?
False
Suppose 3*h + 16*u - 15*u = 216725, -3*h + 216713 = -5*u. Is h a prime number?
False
Let v(z) be the second derivative of -131*z**3/3 - 7*z**2/2 - 10*z. Is v(-4) a composite number?
True
Let j be (-6)/(-4) - 5514/12. Let h = -129 - j. Is h composite?
True
Suppose 7*w + 1 = 6*w, 0 = -5*u - 4*w + 41. Suppose 6*b + 1893 = u*b. Is b composite?
False
Suppose -2*i + 3172 = -0*r - 3*r, -r + 6372 = 4*i. Is i/16*(-2)/(-1) a composite number?
False
Suppose 0 = -5*i - a + 1017, 5*i + 3*a - 256 = 755. Let q = i + -85. Is q a composite number?
True
Let t be 1/4 + (-3)/12. Suppose 0*d + 8*d - 2552 = t. Is d a prime number?
False
Suppose -149866 = 13*h - 370515. Is h a composite number?
True
Let k(n) = -3*n + 17. Let f be k(4). Is -230*(-3)/(f + 1) a prime number?
False
Suppose 5*t = -3*j - 4205 + 15717, t - 5 = 0. Is j prime?
False
Let q = 8938 + -5039. Is q composite?
True
Let j(x) = -x**3 + 5*x**2 - 5*x - 13. Let n be j(-8). Let w = -266 + -344. Let t = n + w. Is t a composite number?
True
Let j = 10 - 10. Suppose j = -3*w + 35 + 103. Is w a composite number?
True
Let h(l) = l**2 - 148*l + 52*l**3 + 148*l. Suppose -4*j = -3*j - 1. Is h(j) prime?
True
Let l(m) = 1497*m + 5.