 -2616 = -4*v - 3*t - 2*t. Is v a composite number?
True
Let s(t) = 2*t - 2. Let x be s(2). Suppose -2*u + x = -u. Suppose b + v - 18 = 0, -3*v = -3*b + u*b + 34. Is b composite?
True
Suppose 16*y - 23894 = -10*y. Is y prime?
True
Let p be (4 + 1)*(-9)/(-45) + 3. Suppose p*q = q - 4*g + 3441, -4*g = -4*q + 4616. Is q a prime number?
True
Let l(d) = 6*d**3 - 6*d + 12*d - 4*d**2 + 2*d**3 - 2. Is l(2) a prime number?
False
Let z = 11 - 11. Let g be z/3*(-1)/(-2). Suppose g = 4*v + 4*f - 340, 6*v - 3*v + 5*f = 255. Is v composite?
True
Let u(k) = 12*k**2 + 9 + 11*k - 5*k**2 - 15 + 5. Is u(7) a prime number?
True
Suppose -g + 202 = 4*v + 4*g, -2*v + 2*g = -110. Suppose -2*i = 2*i + 72. Let y = i + v. Is y a prime number?
False
Let i = 249 - -272. Is i a prime number?
True
Let f = -1010 + 3447. Is f a prime number?
True
Let f(o) = o**2 + 5*o - 5. Let w = 2 - 7. Let p be f(w). Is 0 + 1 + (-340)/p a composite number?
True
Suppose -b + 3*w - 18 = -4*b, -2*w = 5*b - 45. Suppose -b*x = -1108 - 1301. Is x a composite number?
True
Let x(k) = 2*k + 4186. Let j be x(0). Let b = -2779 + j. Suppose -3*u + b = -0*u. Is u composite?
True
Let k(l) = -7*l**3 + l**2 + 3*l + 5. Let r be k(-2). Suppose -60*p + r*p + 2933 = 0. Is p a composite number?
True
Let x(r) = 3810*r**2 - 27*r - 16. Is x(-5) a prime number?
True
Suppose -2*x + 6240 = -10*x. Let k = 125 - x. Is k a composite number?
True
Suppose 21*s = 69*s - 676560. Is s a prime number?
False
Let t = 987 + -79. Suppose u + t = 3*u. Suppose 5*l - 232 = -2*c, -3*c - c - 5*l + u = 0. Is c a prime number?
False
Let l(v) = -v**3 - v - 300. Let f be l(0). Let d = -84 - f. Suppose 124 = 4*n - d. Is n composite?
True
Suppose -13*n + 118 = -376. Is (-3 + 16)/(2/n) a composite number?
True
Let g(a) = -a**2 - 14*a - 5. Let b be g(-10). Let m = -50 - -110. Let c = m - b. Is c a composite number?
True
Let q be (-6)/9*(-3 - (-45)/6). Is q/(-18) + 0 - (-1450)/12 a prime number?
False
Let m = -5 + 9. Suppose -5*c = m*s - 59 + 22, 0 = -c - 4*s + 17. Suppose -c*y + 153 = 4*t, -t + 4*y = 3*t - 144. Is t composite?
False
Let m = 1990 - 1457. Is m a prime number?
False
Suppose -2*y = -26 - 174. Suppose -y = -5*z + 5*h, h - 73 = -4*z + 22. Is z composite?
False
Let z(m) = 19*m + 4. Let p = -6 - -9. Let o be z(p). Let g = o - 42. Is g a composite number?
False
Let u = 1549 - -1000. Suppose -3*h + 558 = 3*a - 2001, -3*a = -2*h - u. Is a a prime number?
False
Suppose 6*v + 6 = 4*v. Let b be 62/v*9/2. Let h = b - -150. Is h a composite number?
True
Let b = -8 - -6. Suppose 109*p = 101*p + 16. Is ((b - p) + 3)*-541 a composite number?
False
Let y = -2517 + 4916. Let o = y - -419. Is o a composite number?
True
Suppose 15*t - 930226 - 140939 = 0. Is t prime?
True
Let l(h) = -h + 89. Suppose 7*j - 2*j = 0. Suppose -2*y + j*y = 0. Is l(y) a prime number?
True
Suppose 0 = -4*t - 4*u + 61052, -4*t + 76610 - 15562 = 3*u. Is t prime?
True
Suppose -3*t - y + 39 = 0, -4*t = -2*t + 4*y - 16. Let p = 289 + -289. Let k = t - p. Is k prime?
False
Let p = 11 + -7. Suppose 17 = 4*b - j, -b - 2*b = -4*j - 16. Suppose -238 = -3*g - p*r, g - 88 = b*r - r. Is g a prime number?
False
Suppose 0 = -5*t + 57662 - 1597. Is t a composite number?
False
Let s(f) = f**2 - f - 8. Let t be 3/(-9)*0/(-1). Let c be s(t). Is (-4455)/c + 6/48 composite?
False
Let x be ((-20)/6)/((-2)/(-3)). Let c(m) = -118*m - 3. Is c(x) composite?
False
Let g be -1 + (1 - 1)/2. Let f(i) = 6*i**2 + 2*i + 1. Let q be f(g). Suppose 0 = -3*o + q*l + 454, o + 4*l - 128 = l. Is o composite?
True
Is -36 - -28 - 19527/(-1) prime?
False
Let a(l) = l**3 + 8*l**2 - 2*l - 12. Let h be a(-8). Is h/(-30) - 125176/(-120) composite?
True
Let f(y) = -y**3 + 11*y**2 - 8*y + 2. Let u(c) be the first derivative of c**3/3 - 3*c**2 + 3*c + 5. Let w be u(7). Is f(w) a composite number?
True
Suppose 18328 = 60*f - 52*f. Is f a composite number?
True
Suppose 7*q = 11*q - 4*y - 52528, 5*q = 3*y + 65662. Is q a prime number?
False
Let r = 212 + -17. Let c = r + -8. Is c prime?
False
Let j = -696 + 290. Let o = j - -657. Is o prime?
True
Is 11788/(-6)*(23 + (-441)/18) composite?
True
Let b = -9 + 16. Suppose 0 = -l - 2*k + 8, 4*k - b*k = -3. Suppose p = l*p - 185. Is p a prime number?
True
Let z(j) = j**2 - 95. Let w be z(0). Suppose -4*a + 1075 = -s - 1530, 0 = -5*a + 3*s + 3251. Let v = a + w. Is v composite?
False
Let d(t) = -205*t - 95. Is d(-18) a composite number?
True
Let l = -24 + 16. Let p(t) = 10*t**2 - 13*t - 5. Is p(l) a prime number?
True
Let x = 3574 - -23017. Is x a composite number?
False
Let x(i) = -4*i**3 - 38*i**2 - 5*i - 105. Is x(-36) a prime number?
False
Suppose -h = -t - 4*t + 9, -3*h + 11 = 4*t. Suppose 5170 = t*o + 4*b, -5*o = 2*b - 0*b - 12901. Is o prime?
True
Is (2 + 1 + 2918)*45/45 prime?
False
Let p be 6/4*(-108)/(-9). Suppose 0*z - p = -z. Is (-6)/(-27) + 2894/z a prime number?
False
Let g be ((-2)/3)/((-15)/(-90)). Is 24210/20 + (-2)/g composite?
True
Suppose -3*x + 24 = 4*a - x, -4*a + 5*x + 10 = 0. Suppose -u + 267 = -3*b, -a*u + 153 + 1162 = 5*b. Suppose -u - 26 = -2*w. Is w a prime number?
False
Let c be (-2 - -1)/(1/(-2)). Let r be 2 + 3 - (1 + c). Suppose r*b - 33 = -5*a, 2*b - 4*a = -2*b + 80. Is b composite?
False
Let l be 0 + (-8)/(-3 + 1). Let s(q) = 112*q - 3. Let i be s(l). Suppose 2*k + 3*k - i = 0. Is k composite?
False
Let s(u) = u**3 - 4*u**2 - 9*u - 16. Let y be s(6). Suppose 4*m = y*b + 1680, -m + b = 2*b - 426. Is m a composite number?
True
Let u(n) be the third derivative of n**6/120 + n**5/30 - n**4/12 - 7*n**3/6 - 9*n**2. Is u(12) a composite number?
True
Let t be (4/(-6))/((-1)/6). Suppose 12*o = t*o. Suppose 3*w + o*y = -2*y + 771, -w = 2*y - 257. Is w composite?
False
Let g(i) = 91*i**3 + 6*i**2 - i - 61. Is g(8) a prime number?
False
Let t(k) = -69*k + 5. Let a be 2/5 + 252/(-30). Is t(a) composite?
False
Let l = 31 - 26. Suppose -l*n = -189 - 31. Let v = n + -5. Is v a prime number?
False
Suppose -4*q + 9 = -q. Suppose q*l + 0*l = 45. Is l a prime number?
False
Let q = -46 - -81. Let d = q - -72. Let y = -12 + d. Is y prime?
False
Let b(w) = 3318*w + 95. Is b(4) composite?
False
Let x(w) = -w**2 - 3*w + 4. Let p = -9 - -5. Let l be x(p). Suppose l*c = 6*c - 978. Is c a composite number?
False
Let o(d) = 146*d**2 + d - 2. Let b be o(2). Let m be 2/(4*1/634). Let y = b - m. Is y prime?
False
Let t be 0 - 2 - (10 + -1). Let j(b) = 4*b**2 + 15*b + 22. Is j(t) a composite number?
True
Let c = -3629 + 6475. Is c prime?
False
Let k be 1 - 3 - -2 - 0. Let s(l) = 3*l**2 - 5*l**2 - l + l**3 + k*l. Is s(3) a composite number?
True
Let c(v) = v + 1. Let s be c(2). Suppose s*h - 12 = -3. Is 1 - -253*1 - h a prime number?
True
Let t = 22 + -12. Let u = -5 + t. Suppose u*x - 337 = 4*x. Is x composite?
False
Let f = 3437 - -636. Is f a composite number?
False
Let a = 39253 - 18720. Is a a prime number?
True
Let p be -22*16 + 1 + -3. Let t = -65 - p. Is t composite?
True
Let q be 2/(2/3)*5. Is (-11500)/(-14) + q/(-35) a composite number?
False
Let d(j) = -5*j**3 - 17*j**2 - 11*j + 23. Is d(-10) prime?
True
Let h = 1 + -12. Suppose -193 = 7*y + 115. Let t = h - y. Is t a composite number?
True
Suppose -178*y + 9527 = -171*y. Is y a prime number?
True
Let s(m) = m**3 - m + 1. Let d(j) = 5*j**3 + 15*j**2 - 18*j + 13. Let c(b) = -d(b) + 4*s(b). Is c(-16) composite?
False
Let o(v) = 6*v + 4. Let l be o(-4). Is (8/l)/(2/(-1970)) a composite number?
True
Let o(j) = 2*j**2 + j**2 - 10*j - j**2 + 10 + 1. Let d be o(7). Suppose -d = -p + 160. Is p prime?
True
Suppose -17786 + 88108 = 7*b. Is b composite?
True
Let y = 428 - -4679. Is y a composite number?
False
Is 61930/6 + (-12)/18 prime?
True
Let b = 12187 - 3284. Is b a prime number?
False
Let w = -416 - 852. Let b = -481 - w. Is b a composite number?
False
Let f(r) be the second derivative of -r**5/10 - r**4/3 + r**3/3 + 5*r**2/2 + 2*r. Suppose 10*u + 52 = 2. Is f(u) a prime number?
False
Suppose c - 2 = 3*y, -5*c - 5*y + 9*y + 21 = 0. Is (c + (-6)/1)*-3491 composite?
False
Suppose 5*i - 2*i = 3*v + 33, 0 = -i + 5*v - 5. Suppose i = 7*d - 2*d. Is 1/((-4)/(-1044)*d) a prime number?
False
Suppose 3*r - b - 839 = 394, 4*r + 2*b - 1644 = 0. Is r a composite number?
True
Let d be 75/(-45)*3/(-5). Is (18 + d)/((-8)/(-56)) a compos