s o(t) composite?
True
Suppose -3*o - 45 + 63 = 0. Suppose -17*i + o*i = -43703. Is i prime?
False
Let d = 69 + -64. Suppose 23*u - 382172 = -d*u. Is u a prime number?
True
Let c(l) = -2*l**3 - 42*l**2 - 20*l - 59. Let b be c(-36). Suppose 5*y - 4*w = b, 2*y - 4*w - 15816 = -2*w. Is y composite?
True
Suppose 5*k = -3*l + 964304, 0 = -4*l - 4*k + 1733192 - 447440. Is l a prime number?
True
Let z(g) = -334460*g + 841. Is z(-1) composite?
True
Let k = 394797 - 80698. Is k a prime number?
False
Let n be (-113447)/(-2) + 190/(-76). Suppose -16*u + 37*u - n = 0. Is u prime?
False
Let g = 56 - 39. Let q = -17 + g. Is q + (-12110)/(-12) + 11/(-66) a prime number?
True
Suppose -4*v = 4*u - 148355 - 205793, 2*u - 177060 = 5*v. Is u composite?
True
Suppose 0 = 6*k - 23427 + 231. Suppose 4*t - 2*z = k, 2*z - 875 = -2*t + 1061. Is t prime?
True
Let y = 8056 + 3522. Suppose -y + 1505 = -v. Is v prime?
False
Let g(u) = -2*u + 21. Let l be g(5). Is (-2)/l + 21771/11 a composite number?
False
Let i(k) = -k**2 - 8*k - 15. Let g be i(-5). Suppose 14*c - 13*c - 9 = g. Suppose c*u = -134 + 935. Is u a prime number?
True
Let d(q) = -108252*q + 373. Is d(-2) a prime number?
True
Let c(f) = 1769*f**2 - f + 21. Is c(4) prime?
False
Let k = -301 + 544. Suppose 2*u - k = -841. Let q = -88 - u. Is q composite?
False
Suppose -290 = -15*h - 65. Suppose -3*m + h = 3*j, 2*m + j = 3*j + 10. Let n(c) = 459*c + 34. Is n(m) prime?
False
Let w(m) = 97683*m**2 + 169*m + 13. Is w(-2) composite?
False
Let s be -3 + -3 - -14 - 5. Suppose i + 2*g - 2711 = 0, g - s*g - 10814 = -4*i. Is i composite?
True
Suppose 1077330 = 41*o - 18*o - 17*o. Is o prime?
False
Is ((-279836)/6)/(6/(-9)) a composite number?
False
Let q(r) = 177*r**2 - 22*r + 122. Let h = 295 + -286. Is q(h) composite?
True
Let z = 39 + -42. Let p be 0 + -5 + z + -1. Is 3*(-53)/p*3 a composite number?
False
Let c(f) = 7*f**2 + 114*f - 2216. Is c(29) a prime number?
True
Let s = 3 - -1. Suppose -3*r = s*q - 4596, -r + 2*r - 1150 = -q. Suppose -98*y + 95*y + q = 0. Is y a composite number?
True
Let l(s) = 13642*s**3 + 18*s**2 - 49*s + 11. Is l(2) composite?
False
Is (-9)/15*(18 + 5853591/(-27)) a composite number?
False
Let x = 364356 - -238009. Is x composite?
True
Suppose -2*z = 149 - 141, -n + 2336187 = 2*z. Is n a composite number?
True
Let r(g) = 1081*g**2 + 14*g + 1090. Is r(-27) composite?
False
Suppose -9*q + 11*q = -b + 299986, -5*b = 3*q - 449979. Is q composite?
False
Suppose 0 = 163*f - 152*f - 55. Suppose -9923 = -f*m + 162632. Is m a prime number?
True
Suppose 4*j - 332969 = -h + 612928, 236458 = j - 3*h. Is j prime?
False
Let d(m) = -42*m - 253. Let c be d(-6). Is c/(2/14 - (-147440)/(-1031149)) composite?
False
Suppose 0 = 4*m + 899 + 133. Let w = m - -1008. Is (w + 5 + -4)*(0 - -1) prime?
True
Let j(m) = 3416*m - 549. Is j(13) composite?
True
Let b(d) = -2*d + 8. Let n be 1*(-4 + 4) + 3. Let z be b(n). Suppose -g + 777 = z*g. Is g composite?
True
Is ((-53810)/65)/(186/(-1209)) prime?
True
Let p(n) = -n**3 + 3*n**2 + 23*n - 12. Let g be p(7). Let l = 906 + g. Is l a composite number?
False
Suppose 4604 = -7*z + 2928 + 13275. Is z a prime number?
True
Let s(v) = -v**3 + v**2 + 3*v + 4565. Let b = 8 - 8. Let n be s(b). Suppose 4559 = 2*y + 5*l, -2*l - l = 2*y - n. Is y composite?
False
Let i be (8 - (-98)/(-21))*(-12)/(-5). Is 138940/i*(-2 + (-24)/(-10)) a composite number?
False
Let p be (8/4)/(2/172). Let c(j) = -j**3 + 11*j**2 + 72*j - 609. Let h be c(8). Let f = p + h. Is f composite?
False
Suppose -1200*x = -1202*x + 756298. Is x a composite number?
False
Let c(l) = -404*l + 4. Let w be c(3). Let z(n) = -3*n**2 + 172*n + 161. Let j be z(32). Let t = w + j. Is t prime?
False
Suppose 0 = -18*l + 10*l - 16656. Let m = l - -2993. Is m a prime number?
True
Let q = -109 - -120. Suppose -q*z + 9*z + 5038 = 0. Is z a composite number?
True
Let m = -139089 - 7017. Is 40/10 - m/6 prime?
False
Let o(a) be the third derivative of 47*a**5/15 + a**4/24 - 34*a**3/3 - 73*a**2. Is o(-9) a prime number?
False
Suppose -13*k + 1995503 - 1643061 = -2692860. Is k prime?
False
Suppose 33*y = 27*y + 252. Is 56/y*99156/16 a composite number?
False
Suppose -5*y - 2039 = -v, -2*v = 3*v - 4*y - 10195. Let z = -516 + v. Is z a prime number?
True
Suppose -18358 = -21*b + 17573. Let q = b - -1452. Is q prime?
True
Let b(y) = 1794*y**2 + 102*y - 283. Is b(9) a prime number?
True
Let y be 1185/(-10)*2/(-3). Suppose 4083 = -y*s + 82*s. Is s a prime number?
True
Suppose -3*v + 21277 = y, 0*v + 5*y - 14202 = -2*v. Suppose -2*m - 5*b + 7416 + 6760 = 0, -m = b - v. Is m a composite number?
True
Let p be ((-513)/6)/(2/(-4)). Suppose -s = -3, 0 = -5*u + 3*s + 3255 - 709. Suppose -u + p = -4*h. Is h a prime number?
False
Let d = 68 - 42. Suppose -30*m + d*m = 0. Suppose 0 = 3*o - 1143 - m. Is o composite?
True
Let g = 185 + -151. Suppose -44524 = -g*r - 8178. Is r prime?
True
Let c = 73 - 55. Suppose 13*v + 22290 = c*v. Let m = v + -1825. Is m a prime number?
True
Let w = -588 - 1115. Let x = w + 3526. Is x prime?
True
Let f be 69/18 - ((-13)/6 - -2). Suppose 3*o - 3*q - 7098 = 0, f*o - q - 12616 + 3137 = 0. Is o prime?
True
Suppose -9 = -2*y + 7. Suppose 3*z = -3*h + h + 29, 0 = 2*h - y. Suppose -6*u = -z*u + 267. Is u composite?
True
Suppose 0 = -4*g + 2303 + 4149. Let p = 3592 - g. Is p composite?
False
Let w = -430 + 416. Let v(a) = -a**3 - 6*a**2 - 12*a - 27. Is v(w) a prime number?
True
Let b = -19 + 21. Suppose 0 = -2*a + 4*m - 37 - 25, b*m = -3*a - 109. Is (-7)/(a/(-298))*(-15)/6 composite?
False
Let i be 108/(-45)*10/(-4). Suppose 2*p = -3*n + 20, -2*p + i*p - 36 = -5*n. Suppose q + k - 3502 = -2*k, -5*q = n*k - 17477. Is q a composite number?
True
Let t(x) = -33*x + 29. Let c be t(15). Let y = 583 - c. Is y a composite number?
False
Let u(a) = -a. Let g be u(-33). Is (-2074680)/(-165) + 6/g a composite number?
True
Let a(f) = 2*f**2 + 46*f + 143. Suppose 49*s - 16*s = -1155. Is a(s) composite?
False
Let b = 107534 - 53965. Is b a prime number?
True
Let m = -35679 + 53240. Suppose 5*x - 3*b = 43903, -2*x + 2*b + m = b. Suppose 5*v - x = v. Is v composite?
True
Suppose 99*v = 233*v - 4229174. Is v composite?
True
Let b = 87 + -116. Let p = 30 + b. Is (3/(-12))/p - (-13825)/20 a prime number?
True
Suppose -4*p + 1127344 = 3*u, 2*p - 1127336 = -2*p - u. Is p composite?
False
Suppose -6*q = 43 - 55. Suppose -j - q = 5. Let y = 506 + j. Is y a prime number?
True
Let j(g) = g**3 + 6*g**2 - 73*g + 187. Is j(26) prime?
False
Suppose 8*n - 27*n = -963458 + 147579. Is n a prime number?
False
Suppose -84*z = -79*z + 10085. Is z/((-6 - -3) + 2) prime?
True
Suppose 3*i - 8*q + 5*q = 21609, 0 = -4*i + 3*q + 28812. Let s = i - 3640. Is s a composite number?
True
Suppose 5*n - 963 = 4*u + 1463, 0 = -2*n - u + 960. Let f = -19 - 128. Let w = n - f. Is w prime?
False
Let z = 9 + -69. Suppose -16*l + 15*l = 5*r + 69, -4*l = -4*r - 60. Let v = r - z. Is v a composite number?
True
Let x(d) = 34*d**3 - 2*d**2 - 4*d - 5. Let y(z) = -6*z - 2. Let l be y(-3). Suppose 5*o + 10 = 5*g, 3*g + 2*o = l - 0. Is x(g) a prime number?
False
Let m(d) be the third derivative of -3*d**6/40 - d**5/10 + d**4/4 + d**3/3 + 11*d**2. Let z(f) = f**3 - 1. Let b(x) = m(x) + 6*z(x). Is b(-5) composite?
False
Let x(i) = 46*i + 9. Let k be x(38). Let j = 3346 - k. Is j composite?
True
Let l = -47474 + 88483. Is l a prime number?
False
Suppose -23*y = -44265 - 63352. Is y a composite number?
False
Is (-2)/(-3)*(-20442081)/(-418) a composite number?
False
Let p be (18/3)/1 - 3. Suppose 0 = -4*j - 4*w + 893 + 647, -2*j + p*w + 755 = 0. Let x = j + -237. Is x a prime number?
False
Let l(n) = 57*n + 30. Let p be l(19). Suppose 0 = 4*v - 5*v - x + 2, 5*v = 2*x + 17. Suppose -10*s + p = -v*s. Is s a composite number?
True
Suppose -27609*z = -27621*z + 421752. Is z prime?
False
Let p(t) = 36 - 99 - 33*t - 150*t**2 + 689*t**2. Is p(-2) prime?
False
Suppose -19*s + 11 = -20*s. Let g = s - -11. Suppose g = -4*z - 270 + 602. Is z prime?
True
Let m = 25443 + 9969. Let p = 66979 - m. Is p prime?
True
Suppose 22*b - 233577 = -5*b. Is b composite?
True
Let j = 4 + 0. Suppose 0 = 79*g - 160*g + 129*g. Suppose 5*q - 3*y + 363 = 1694, j*q + y - 1058 = g. Is q prime?
False
Is 2/19 + (40432890/570 - -2