2441 - -3981. Suppose 0 = 5*t + 5*m - u - 963, -2*t + 2954 = 5*m. Is t composite?
True
Let s = 51454 - 25833. Is s prime?
True
Let k be 3 + 0 + 2/1. Suppose -k*o = -5*v, o + 0*v + v = 0. Suppose 4*r - 5*y - 1363 = o, -r - 3*y = 4*r - 1750. Is r a prime number?
True
Suppose n - 6*n + 10 = 0. Suppose -m - 5 = 0, 5*m - 119 = -n*g + 4*m. Is g composite?
True
Let x(n) = -200*n**2 + 3*n - 2. Let o(y) = y**2. Let f(p) = 4*o(p) - x(p). Is f(1) a prime number?
False
Let c be ((-7)/(-2) - 0)/(25/50). Suppose 2*n = -4, 8*n = 2*d + c*n - 2796. Is d prime?
False
Suppose -4*d + 183 + 289 = 0. Let l = 21 + d. Is l composite?
False
Let o(h) = 1073*h**2 - 60*h - 22. Is o(-4) a composite number?
True
Suppose 122843 = 5*j - 4*n, -2*j = -113*n + 118*n - 49157. Is j a prime number?
True
Let c(q) = 18*q**2 - 79*q - 122. Is c(51) prime?
True
Suppose 4*s + 12 = -0*s, 2*w + 3*s + 5 = 0. Let u be (-2364)/(-10) - 24/60. Suppose 0 = -w*v + u - 42. Is v composite?
False
Let x = 348 - -2206. Is x composite?
True
Suppose 106*i - 96*i = 45470. Is i prime?
True
Let g = 4 + -1. Suppose -4 = -y - g*y. Is (-218)/(-1) + (y - -2) composite?
True
Let j = 291 + -880. Let a = -410 - j. Is a composite?
False
Let x = 1924 + 17. Is x prime?
False
Suppose -3*p = 3 - 30. Let z be (p - 0)/((-1)/1). Let n(o) = -18*o - 3. Is n(z) composite?
True
Suppose 0 = 6*u + 6637 - 47923. Is u composite?
True
Let b(s) be the third derivative of -17*s**4/8 - 4*s**3/3 - 5*s**2. Let h be b(-7). Suppose -733 = -2*n + h. Is n composite?
False
Let w(d) = -359*d**3 - 3*d + 57. Is w(-5) prime?
False
Suppose 0 = -4*w - 7*w + 35794. Is w prime?
False
Let z(w) = 53*w + 20. Let y be z(5). Suppose d - y = 4*g, 2*d - 4*g - 580 = -g. Is d a composite number?
False
Suppose -2*r - r - 2166 = 0. Let a = 147 + r. Is a/(-10)*4/2 a prime number?
False
Is -1 + (-6)/(-7) + (-3238600)/(-350) prime?
False
Let h = -2 - -5. Let n = 1307 + -721. Suppose -t + h*t - n = 0. Is t prime?
True
Let a = 10 - 3. Let n be (12 - a)*2/2. Suppose n*x = 528 + 557. Is x composite?
True
Let s(h) = -h**3 + 4*h**2 - 4*h + 3. Let o be s(3). Suppose -6 = -3*n - o. Suppose 14 = 2*l - 5*a, n = 3*l - 2*a - 19. Is l a composite number?
False
Let z = -38 - -40. Suppose 4*i - 2*i + 4*g - 442 = 0, z*i = -3*g + 439. Is i prime?
False
Suppose 2 = -o, -4*l + 2*l + 366 = 2*o. Suppose x - 3*a - l = -21, -4*a + 318 = 2*x. Is x prime?
False
Let a(i) = 2*i**2 + 2*i + 3. Let h be a(0). Suppose -3*x - 3*m = -137 - 1009, 0 = -3*x + h*m + 1146. Is x composite?
True
Let b(h) = -h**3 - 6*h**2 + 2*h + 14. Let m be b(-6). Suppose -2*j + 485 = 3*j. Suppose -j = m*s - 3*s. Is s a composite number?
False
Let q(s) = 4*s**2 + 15*s - 5. Let d be q(-5). Let r(n) = 27*n + 41. Is r(d) a composite number?
True
Is (1486 - 15)*(-3)/((-12)/76) prime?
False
Suppose -5*t + 3*m + 268470 = 0, -4*t - 5*m + 43814 + 170962 = 0. Suppose -t = -3*s - 0*j - j, -s + 17900 = j. Is s/88 + (-6)/16 composite?
True
Let v(u) = 364*u - 195. Is v(16) a prime number?
False
Suppose q + 0*q - 10 = -2*o, o = 4. Let v(t) be the second derivative of 31*t**3 - t**2/2 + 4*t. Is v(q) a composite number?
True
Let f = 16391 + -9322. Is f a composite number?
False
Let y(z) be the second derivative of -z**4/12 - z**3/2 + 2*z**2 + 3*z. Let a be y(-3). Suppose -2*b - 258 = -a*b. Is b prime?
False
Let s = -8741 - -17404. Is s composite?
False
Suppose -f + 4*h = -690, 3*f + 0*f - 2126 = -2*h. Is f a composite number?
True
Suppose -2*l - 28*b + 30*b = -5338, -8023 = -3*l - 5*b. Is l a composite number?
False
Let r be 0/(4 + 1 + -4). Suppose 6*i - i + 20 = r. Is (2/i)/((-4)/1624) a composite number?
True
Is (-64822)/(4 - 2)*-1 prime?
True
Let v = 817 - 441. Suppose -4279 = 18*k - 445. Let z = v + k. Is z a prime number?
True
Suppose 261*h = 298*h - 648203. Is h prime?
True
Suppose -5*o + 4*v + 1282 = 0, -o + 0*o - 2*v + 262 = 0. Suppose 3*r + 387 = 2*t, 2*r + o = t + 2*t. Let b = r + 260. Is b a prime number?
True
Let u = 1001 + -305. Let k = u - 485. Is k a composite number?
False
Let y = 867 + 5272. Is y a prime number?
False
Let i = -23 - -30. Let b(p) = -7*p**2 + 4 + 8*p**2 + i*p - p. Is b(5) a prime number?
True
Suppose -24*x = -20*x - 15332. Is x a prime number?
True
Let s(f) = 11*f**2 + 19*f - 113. Is s(26) a composite number?
False
Let j(s) = 119*s**3 - 5*s**2 - 3*s - 49. Is j(6) composite?
False
Let x(j) = 5*j + 68. Is x(3) a prime number?
True
Let q(k) = -2*k**3 - 3*k**2 - 3*k - 1. Let l be q(-2). Let h = 5 - l. Is (-40)/h + (-3)/(-1) prime?
True
Suppose -h + 449 = -436. Let x = h + 262. Is x prime?
False
Is (-22432)/((-4)/1) + 5 a composite number?
True
Let z be (-20283*1/(-12))/(1/4). Suppose -26716 + z = -5*d. Is d a prime number?
False
Suppose -u = 4*n + n + 29, -u + 1 = -n. Let c = 1 - n. Suppose -z - 635 = -c*z. Is z a composite number?
False
Let t(q) = -3*q + 37. Let p be t(11). Is 59*(0 + 14)/(p + -2) a prime number?
False
Let a(z) = z**3 - 13*z**2 + z - 13. Let t be a(13). Suppose 3*b + t*p - 386 = -5*p, -2*p - 252 = -2*b. Is b a composite number?
False
Is 9080 - 58 - (2/1)/(-2) prime?
False
Let s be (-2)/(-2) - (1 + -8). Let b be 1/(-1) + s + -5. Is (b/1)/(2/223) a composite number?
False
Let z = 61 - 55. Suppose r = -4, 3*d - z*r + 2*r - 2035 = 0. Is d prime?
True
Let a(v) = 2*v**2 - 1 + 3*v**2 - 3*v**2 + 7*v**2 + v**3 - v. Let c be a(-9). Is (4/3)/(c/276) a composite number?
True
Suppose 4*v - 2 = 10. Suppose b - 103 - 39 = 0. Suppose -4*n = -3*u + 85 + 69, v*u - b = n. Is u composite?
True
Let r(u) = 14*u**2 - 27*u + 373. Is r(24) composite?
False
Let x(b) = -48*b - 1. Let y be (-2 + 6)*2/(-4). Is x(y) composite?
True
Let l(g) = -88*g**3 + g**2 - 67*g - 303. Is l(-5) prime?
True
Suppose 520*q = 521*q - 1571. Is q prime?
True
Suppose 3 = 4*y - 3*t, -y + 3*t = -0*y - 3. Let f be (1675 - -10) + (y - 2). Let a = f - 1014. Is a a composite number?
True
Let z be 4/2*27/(-2). Let c = 33 + z. Suppose -2*m + c*m - 636 = 0. Is m a prime number?
False
Suppose -4*p + 9 = -i - 2, 3*p + 3*i - 12 = 0. Suppose 5270 = -0*b + 2*b + p*j, 2*b + 5*j - 5278 = 0. Is b prime?
False
Suppose 60*o = -2*a + 61*o + 910, -4*a = 5*o - 1848. Is a composite?
False
Let d(l) = 518*l**2 - 7*l + 11. Is d(6) prime?
True
Suppose 0*t - 4*t + 96 = 0. Let z = t + -20. Is (-445)/(-3) + z/6 prime?
True
Suppose v - 809 = 2*g, 2*v + 2*g = 1196 + 392. Is v a composite number?
True
Suppose 2*a + 0*u + 3*u = 16, 0 = -5*a - 5*u + 35. Suppose -5*d + a = -0*d, 0 = -3*p + 3*d + 228. Is p prime?
False
Suppose -5*b = -7*b. Let s = -145 - -221. Suppose -3*f + 607 - s = b. Is f prime?
False
Let l(h) = 3 - 2*h - 20*h**2 - h + 19*h**2. Let y be l(-3). Is (y - 14)*-3*1 composite?
True
Let t = -3825 - -7427. Is t composite?
True
Suppose 1471 = 3*m - 5*y, 4*m = 10*y - 12*y + 1944. Is m prime?
True
Suppose -4*c - 2*s = -17602, 3*c + 10*s - 13200 = 9*s. Is c a composite number?
True
Let b = 3761 + -6052. Let u = b - -4050. Is u prime?
True
Is (-17)/(-68) + (-213868)/(-16) a prime number?
True
Suppose -2*q + 3*g = -0*q - 40739, 2*g - 81454 = -4*q. Is q prime?
False
Suppose 10*w = 5*w + 40. Suppose 1226 = w*o - 6*o. Is o composite?
False
Suppose 1 + 1 = -2*h, -2*v - h = -3425. Suppose 0 = 27*w - 30*w + v. Is w composite?
False
Let f(q) = 2*q**3 + 7*q**2 + 13*q + 31. Is f(11) a composite number?
True
Let w(l) be the second derivative of 69*l**4/2 + l**3/3 - 7*l**2/2 + 6*l. Is w(-4) prime?
False
Let c be (-3)/(-2)*(4/(-6) + 0). Is 2*c/(4/(-878)) a composite number?
False
Suppose -7*o - 12 = -4*o. Let g be 1 + o - (-781)/(-11). Is 1*(-1)/2*g a composite number?
False
Let z = 3651 + -1973. Let n = -1107 + z. Is n a composite number?
False
Let y(v) = -657*v - 4. Let k = -88 - -85. Is y(k) a composite number?
True
Let q(m) = m**3 - 6*m**2 + 3. Suppose -6*a + g + 26 = -2*a, 40 = 5*a - 5*g. Let r be q(a). Is 47/((3/5)/r) prime?
False
Let q = -11 - -13. Suppose 2*u + 3*w + 117 = 5*u, 3*w + 83 = q*u. Suppose -2*h + 120 = u. Is h a composite number?
False
Let m(z) = -421*z - 14. Suppose 21 = 4*u - 7*u. Let h be m(u). Suppose 2*r = 5*p - h, -r - 2*r = -2*p + 1171. Is p prime?
True
Suppose 28769 = 2*j + 5*q - 6354, -4*j - q = -70273. Is j composite?
False
Suppose 162697 = -25*g + 44*g. Is g a composite number?
False
Let m = -155 - -151. Let l(x) = -3*x**3 + 3*x**2 - 6*x + 2