/238 - 2) + 544801/17. Suppose 5*t + 3*u - 36367 - m = 0, 4*t + 5*u - 54739 = 0. Is t a prime number?
True
Suppose a - 3*m - 17 = 0, 0 = -3*a + 2*a - 3*m - 1. Let o(k) = k**3 + 5*k**2 - 5*k + 4. Let f be o(-5). Let j = a + f. Is j a prime number?
True
Let l(q) = -10*q - 5. Let i be l(-3). Suppose -i = -5*x + 20. Is (-174)/(-4)*(96/x + -2) a composite number?
True
Let c = 2681 + 1119. Let a = -2041 + c. Is a a composite number?
False
Suppose -5*a + 0*a + 8260 = 4*h, 0 = 3*a - 4*h - 4956. Suppose -i - 99 = -a. Is i prime?
True
Let n(w) be the second derivative of 7*w**2 + 30*w + 0 - 131/2*w**3. Is n(-3) prime?
True
Is 8/(-76) + (-10 - 101501959/(-247)) a prime number?
True
Let q(o) be the third derivative of 11*o**5/5 + o**4/4 + 25*o**3/6 - 82*o**2. Is q(-3) a prime number?
False
Suppose -8*y + 294460 = 16*y - 484316. Is y prime?
False
Let n(y) = 2*y**3 - 33*y**2 + 20*y - 9. Suppose 40*a - 47*a + 154 = 0. Is n(a) a prime number?
False
Let z(g) = g**2 - 4*g. Let o be z(3). Let d(l) = -705*l - 6. Let q be d(o). Suppose 3*k - q = -816. Is k composite?
False
Suppose -269*h + 121209851 + 37236798 = 0. Is h a composite number?
False
Let k = -12641 + 23220. Is k a prime number?
False
Let v(a) be the third derivative of a**5/20 - a**4/6 + 53*a**3/6 + 100*a**2 - 2. Is v(12) a composite number?
True
Let d(r) = -2*r**3 - 8*r**2 - 17*r - 41. Let n be d(-11). Let m = n - 689. Is m composite?
False
Is 2 - -26074 - (-840)/120 composite?
False
Let m(l) = 13*l**3 - 68*l**2 + 6*l + 1718. Is m(51) composite?
False
Let s = 338 + -339. Is (-10)/(-5) + s + 4889 + -1 composite?
False
Let n = -241 + 239. Is 7574/42 - n/3 prime?
True
Suppose 2 = -4*h - 5*l + 3, 5*h - l = 23. Let w(q) = 667*q + 63. Is w(h) prime?
True
Suppose 24*s = 5384286 - 848742. Is s a prime number?
False
Suppose 3*n = -d + 1305781, 5*n - 16*d - 2176279 = -12*d. Is n composite?
True
Suppose -1134047 = -5*t - 4*m, 226819 = -208*t + 209*t + 4*m. Is t a composite number?
True
Suppose 0 = -7*s + 558778 + 21949. Is s a composite number?
True
Suppose -p + 38341 = -2*d, 4*d + 153071 = 5*p - 38640. Is p a prime number?
False
Let r be 2212/12*24/(-5 + 1). Let v = r + 1945. Is v composite?
False
Let z(s) = s + 17. Let q be z(-7). Suppose -q = h - v + 3*v, -v = 5. Suppose h = -4*d + 2200 - 332. Is d prime?
True
Let h be (36 + 0)*64246/21. Is 2/((-28)/(-6)) + h/21 prime?
False
Let f(w) = 1967*w**2 + 18*w + 53. Let q be f(-10). Suppose 675*t + q = 688*t. Is t a prime number?
True
Let y(c) = -c**3 + 2*c**2 + 6*c - 9. Let f be y(3). Suppose 0 = -5*d + 4*u + 5487 + 110, -4*d + 4*u + 4480 = f. Is d composite?
False
Let x = 224983 - 93690. Is x composite?
False
Suppose 5*h - b + 4661 = 0, -4*h - 5067 = -b - 1339. Is 0 + 0 - -3 - (-1 + h) composite?
False
Suppose 0 = 57*w - 3284001 - 2699745. Is w a prime number?
False
Suppose -69456336 = -229*j + 53319953. Is j a prime number?
True
Let y(i) = 604*i**2 + 905*i - 40. Is y(-59) a prime number?
False
Let u = -42333 + 135418. Suppose -u = -788*k + 783*k. Is k a prime number?
True
Let o = -85 - -58. Is ((-15)/o + (-8)/36)*1461 prime?
True
Let p(s) = s**3 + 7*s**2 + 11*s - 1. Let k be p(-3). Suppose 0 = 5*r + k*r. Suppose r*l - 255 = -3*l. Is l composite?
True
Let q(v) = 4*v - 537. Let w(o) = o**2 + 8*o - 1075. Let l(t) = -5*q(t) + 2*w(t). Is l(0) a composite number?
True
Let q(n) = -7 + n**3 + 2*n - 8*n - 6*n**2 + 17*n**2 + 10*n. Let d be q(-5). Suppose -z - 2*b = -d, 173 + 75 = 2*z + 3*b. Is z a composite number?
False
Let r = -6120 + 14267. Is r a composite number?
False
Suppose -36*f - 435321 + 4808133 = 0. Let v = f - 69032. Is v a composite number?
True
Let i = 201142 + -138683. Is i prime?
True
Suppose -33*b + 36*b = 6. Suppose b*u - 6493 = 3*v, -3*v - 70 - 3172 = -u. Is u a prime number?
True
Let n = -451 + 453. Suppose -n*o + 0*o = -5*s - 29803, 3*o + 4*s = 44693. Is o a composite number?
True
Let c(o) be the first derivative of o**3/3 + 7*o**2/2 + 5*o - 25. Let x be c(-7). Suppose x*p = 546 + 509. Is p prime?
True
Suppose u = -4*p + 12 + 5, 5*u + 2*p - 31 = 0. Suppose -5*y + u*w = -46675, 5*y - 8*w = -9*w + 46675. Is y a prime number?
False
Let k(h) = h**2 - 4*h - 22. Let i be k(10). Suppose -186 = 11*q - 5*q. Let b = i + q. Is b a composite number?
False
Let p be (-1)/((-1)/(-19283)) - 6. Is 6 - 7 - (p + -9) a prime number?
False
Let a(o) be the first derivative of 2*o**3/3 + 3*o**2 + 7*o + 16. Let y be a(6). Suppose -y = w - 352. Is w composite?
True
Let v be 8 + 5/(-5) + 1. Suppose 3*a = -2*b + 14, 4*b - v*b - 5*a = -26. Suppose -b*k = 2*n - 6*n + 2856, -4*n + 2891 = 3*k. Is n a prime number?
True
Suppose 308065 = 5*x + 2*b, 53*x = 54*x + 3*b - 61600. Is x prime?
False
Let z(i) = -i + 20. Let a be z(16). Suppose -a*s + 458 = 2*m, 111 + 128 = m + 4*s. Suppose -4*t + m + 929 = 0. Is t composite?
True
Is (120407536/(-2552))/((-2)/11) a prime number?
True
Suppose -38*n = -985480 - 845968. Suppose -k + 2*k + t = 12049, 4*k - n = -t. Is k prime?
True
Suppose 0 = -23*p + 1048282 + 562439 + 1738838. Is p a composite number?
False
Suppose 5*i - t = 541239, -i - 3*t = 20311 - 128546. Is i prime?
True
Let w be (9 + -5)*2/4. Suppose j = 3*d - 30, 2*d + j - w*j - 21 = 0. Let o = 95 - d. Is o prime?
False
Suppose 5*b = -15, 0 = -2*s - 2*b + 3139 - 85. Let h = s + -679. Is h a prime number?
False
Suppose 3*d = 2*z - 969436, 3*z + 28*d - 1454169 = 30*d. Is z a composite number?
False
Let n be (-2)/(3 + 122/(-41)). Let h = 290 + n. Suppose 4*f + 4*p - h = 6*p, 163 = 3*f - 5*p. Is f composite?
True
Suppose -3*d = -4*f - 13, -d = -3*d - 4*f + 2. Let r(t) = -20 - 2*t - t**2 + 6 + 6 + 7 - 703*t**d. Is r(-1) prime?
False
Suppose -12*x + 19 = -5. Suppose 0 = c + 2*c - o - 3, -x*c - 3*o = 9. Suppose 0*i - 6*i + 474 = c. Is i a prime number?
True
Suppose -6 = 3*m + 5*b - 3, -5*m + b = -23. Let f be (-2)/(-6)*29433 - (-2 + m). Suppose -3*k + f = 4*w, -4*w + 9813 = 4*k - 5*k. Is w a prime number?
False
Suppose 23607 = 5*y - 2*o, 3*o + 14166 = 4*y - y. Suppose 52*w - 53*w - 4*k = -y, w + 2*k - 4731 = 0. Is w prime?
False
Suppose -510456 - 21905 = -19*c. Is c prime?
True
Let a = -41 + 14. Let s be (4 + -4)/(-7) - (1 - a). Is (-7)/(s/(-8)) - -253 prime?
True
Let u(m) = 8*m**3 + 4*m**2 + 3*m - 8. Suppose -16 = 4*v, 5*v = -q - 4*q - 10. Suppose -4*w = -2*x - 10, -3*x + q = 3*w - 10. Is u(w) a composite number?
True
Suppose -6 = p, l - 253189 = 3*p - 19334. Is l composite?
False
Let s(m) = -m**3 - 4*m**2 + 8*m + 14. Let i be s(-5). Is i/(-2 + 5115/2559) a prime number?
True
Let a(t) = -t**3 + 4*t**2 - 20*t + 2. Let l be a(7). Let x = 0 + 8. Let y = x - l. Is y a composite number?
False
Let r(i) = i**2 + 5*i - 20. Let p be r(-7). Is 1*2/p*3*-2479 prime?
False
Let s(y) = y**3 - 3*y**2 + 17*y - 41*y - 131 + 20*y + 15*y**3 + 21*y. Is s(8) composite?
True
Let o = -947246 + 2215959. Is o a composite number?
False
Suppose -64335 + 8553 = -18*c. Let f = c + -1390. Is f composite?
False
Let f = 3083 + 2304. Is f composite?
False
Let a(u) = 3*u + 1. Let g be a(0). Suppose -4*f = -3*k - 4741, -4*k = -5*k + g. Is f prime?
False
Suppose -7*v + 6*v - 8 = 0. Let c be 969*v*5/30. Let d = c + 2875. Is d a prime number?
True
Let b = 57078 + -29659. Is b a composite number?
True
Let p(o) = -13*o**3 - o**2 - 2*o - 1. Let v be p(-1). Suppose -3*i + 2925 = 3*q, -15*i = -2*q - v*i + 1966. Is q composite?
True
Let w = 57159 - 33386. Is w prime?
True
Let i(k) = 2*k**3 - 120*k**2 - 39*k - 192. Is i(65) prime?
False
Let y(x) = -2398*x**3 - 6*x**2 - 67*x - 475. Is y(-6) a prime number?
False
Let f = 212480 + -142429. Is f a prime number?
True
Suppose 9 - 649 = -k - 4*h, -3*k + 4*h + 1872 = 0. Let b = -237 + k. Is b composite?
True
Is 266322 + 3 - 1*4/(-1) composite?
True
Is (20/12 - (16/(-3) + 6))*65749 composite?
True
Suppose -5*v + 24 = 9. Suppose -y - 4*k - 720 = -v*y, -y + 356 = -3*k. Is y/(-24)*(-1 - (-57)/(-6)) composite?
True
Let k(d) = d**2 - 5*d + 8. Let g(w) = -6*w - 1. Let j be g(-1). Let z be k(j). Suppose -3278 = -z*v - 3*v. Is v prime?
False
Let u = -1801184 + 3142111. Is u prime?
False
Suppose -105997 = -55*o + 470788. Is o composite?
False
Is 1359169/3 + 10*3/(-9) composite?
False
Let v = -427 + 432. Suppose -3*y = -8 - 4. Suppose 1 = p, 4*k = y*p - v*p + 1677. Is k a prime number?
True
Let p = -5157