Is f prime?
False
Let w(l) = l**2 - l - 5. Let q be w(2). Is q/15 + (-293454)/(-45) prime?
True
Let j = -95 - -98. Suppose -4*t = -j*f - 249 - 503, -3*f = 2*t - 376. Suppose -c = -507 + t. Is c prime?
False
Suppose -2*n - 38*n + 331977 = n. Is n a prime number?
False
Let p = 0 - 1. Let y(s) be the first derivative of 202*s**3/3 + 37. Is y(p) prime?
False
Let t(l) = 3*l**2 - 2*l - 29. Let z be t(-10). Let a be (-1)/(2 + (-585)/z). Suppose 87*x = 86*x + a. Is x composite?
False
Let q(o) = 122*o + 233. Let m(i) = 8*i**3 - 3*i**2 + 2. Let y be m(1). Is q(y) a composite number?
False
Suppose 29*y - 941113 = 922848 + 376521. Is y a prime number?
False
Let i be (-912)/(-112) - (-2)/(-14). Suppose -i*z - 3 = -35. Suppose 2642 = -z*t - 2*v + 7572, -t = 2*v - 1237. Is t prime?
True
Suppose -16 = -3*r + 5*p, -3 + 13 = -5*p. Suppose 16 = 2*y - 4*a, -y = -r*a + 3*a - 8. Is -2*2/y + 1593/6 prime?
False
Let i(k) be the second derivative of -292*k**3/3 + 3*k**2/2 + 2*k. Let j(s) = s**3 - s**2 - 8*s + 7. Let z be j(1). Is i(z) composite?
False
Let x(d) = 2*d + 21. Let i be x(-5). Let z(l) = 53*l**2 - 31*l + 47. Is z(i) a prime number?
False
Let n(t) = 12*t. Let k be n(2). Let g be (516/k)/(1/12). Let v = 1097 - g. Is v a composite number?
False
Suppose -3*k = 5*m + 5 + 27, 0 = -3*k - m - 16. Let i be ((-108)/(-8) + 2)*(-280)/k. Suppose 124*g = 129*g - i. Is g a prime number?
False
Let x(g) = 20*g + 175 + 167*g**2 + 188 - 338 + 6*g. Is x(6) a prime number?
False
Let m(x) = 5185*x**2 - 62*x + 802. Is m(17) composite?
False
Let z be 280/(-1*(12/(-4))/69). Suppose -2*j + z = 2*n, -3*n + 3*j - 277 = -9955. Is n a composite number?
True
Suppose -4*s - 10 = -2*s. Let l(k) = -19*k + 19. Let d(n) = 38*n - 37. Let f(j) = s*l(j) - 3*d(j). Is f(-9) prime?
False
Suppose 3*d = -2*w - 13, d + 3*w = 4*d + 3. Let n be (-5)/d*(14 + -11). Is (-24586)/(-8) - n/20 a composite number?
True
Let m(y) = 2*y**2 - y**2 + 3*y**2 - 3*y**2 - 6 - 18*y. Let s(a) = 2*a**2 + 4. Let i be s(3). Is m(i) prime?
False
Let m(s) = 41*s**2 + 128*s - 1259. Is m(-60) composite?
False
Let g(r) = -r**3 + 9*r**2 - 13*r + 28. Let y = 158 + -175. Is g(y) prime?
False
Suppose -2*m = n - 3 - 0, -4*n + 12 = -2*m. Suppose 3*j + 4*c - 3019 = 0, 5*j + n*c + 225 = 5264. Is j composite?
False
Let i(l) = 4*l**2 + 15*l + 33. Let u(g) = -8*g**2 - 31*g - 66. Let d(c) = 13*i(c) + 6*u(c). Let m be d(21). Is m + (-2 - (-7 - -4)) a prime number?
True
Let h be -4 + 0/6 + 1567. Suppose 0 = r + 3*l - 1414, -2*r + 3*l + h + 1220 = 0. Is r a composite number?
False
Let o(l) = -2*l**2 + 7*l - 34. Let p be o(6). Is 50418/34 + p/(-544) composite?
False
Let z be (-72)/252*(-7)/1. Suppose -f - o = -125, -60 - 63 = -f - 3*o. Suppose n = -4*n - 3*c + 347, -2*n + z*c = -f. Is n a prime number?
True
Suppose 22 = d + 3*n, -2*n + 17 = -d + 2*d. Suppose -u + d*u - 36 = 0. Suppose 2*f + 476 = u*f. Is f composite?
True
Is (-2662641)/(-18) + (-18)/12 - (2 + 2) prime?
True
Suppose 4*w - 5*x - 474136 = 0, 459*x = -5*w + 454*x + 592625. Is w a prime number?
True
Is 91079*(15/((-135)/18))/(-2) prime?
True
Suppose 0 = 51*b - 55*b + 54308. Is b prime?
True
Let j = -669 + 1058. Let p = j - 179. Suppose p = 2*a + 2*y, -2*a + 0*y + 206 = 3*y. Is a a composite number?
False
Let t(c) = c**3 + 2*c + 6. Let r be t(0). Let v(s) = -2*s**2 + 13*s - 4. Let d be v(r). Suppose -j + 315 = 4*n, d*n - 267 = -2*j + 351. Is j a prime number?
True
Suppose -16*w = 41 - 121. Is (-16)/48 + w/(30/7544) a composite number?
True
Suppose z = 4*r - 19, 2*z + 2*z - 38 = -3*r. Suppose r*l + 29*l - 673505 = 0. Is l prime?
False
Suppose 6*g = 7*q - 96530 - 621947, 102635 = q - 2*g. Is q prime?
True
Suppose -2*m = n - 691991, 3459955 = 5*n + 306*m - 308*m. Is n prime?
True
Suppose 0 = 2*s + 2*r + 10, -4*s - 2*r = -s + 17. Let x(w) = -63*w + 14. Let v be x(s). Suppose -d + 4*t - v = -4*d, d + 3*t = 160. Is d a composite number?
True
Let r = 66 + -92. Let f be (-13)/r*(-1 - -237). Suppose 4*j + 0*k = 5*k + 89, 5*j - 4*k - f = 0. Is j a composite number?
True
Suppose 0 = -3*f + 664 - 670. Suppose -2*n - 33 = 3*y, -n + 1 = -5*y - 2. Is 11 + n + (-168)/f a prime number?
True
Suppose 22 - 26 = -2*h. Suppose i + 3*k = 2185, -90 = -h*i + 5*k + 4258. Is i prime?
True
Let x = 2741 + 250. Let v = 4530 - x. Suppose 10*n = 1811 + v. Is n prime?
False
Suppose -934 = -2*p - 5*j, 2*j - 2 = -6. Suppose 3*b = 2*x + p + 20, 5*b - 818 = 4*x. Suppose 0 = -k + b + 313. Is k a composite number?
False
Let w(u) = 429*u**2 - 77*u + 2941. Is w(52) prime?
True
Suppose -2*z = 14*q - 17*q + 166991, 3*z = -q + 55649. Is q prime?
True
Suppose 214 = 8*c + 182. Suppose c*h + 39996 = 139592. Is h a composite number?
True
Suppose 48*s = 18*s - 28*s + 13558022. Is s composite?
False
Let m = 596 - 1419. Let q = m + 1760. Is q prime?
True
Suppose 22*g + 5*g - 1915785 = 2886084. Is g a composite number?
True
Suppose 45*c - 48*c + 327477 = 0. Is c a prime number?
True
Suppose -4*d - 12 = 2*t, -d = -3*t + 2*d - 45. Let c be (-2606)/(-10) - t/30. Is 5/(3/c*3) prime?
False
Let s = -9093 + 17006. Suppose 0 = 3*a - h - 8228, s + 5806 = 5*a + 4*h. Is a composite?
True
Let l(j) = -7*j**3 - 40*j**2 - 462*j - 74. Is l(-57) a prime number?
True
Let l(x) = -x**3 - 24*x**2 - 43*x + 24. Let b be l(-22). Is 5/(15/1317) - b a prime number?
False
Let s(t) = 14*t + 1. Let v be 2/(-10) + (2 - 12/15). Let d be s(v). Is (-10)/4*(-3522)/d composite?
False
Let q(t) = t**3 + 3*t**2 - t. Let r be q(-2). Suppose 8605 = -r*m + 11*m. Is m prime?
True
Let t be (-14)/(-1)*(-4)/(-4 + -4). Suppose 12*z - t*z = 20. Suppose -z*a = a - 1885. Is a a prime number?
False
Suppose -4*r = -5*i + 1194232 + 2061249, 0 = 4*i - 3*r - 2604385. Is i a prime number?
True
Let y(b) = 3*b**2 - 6*b - 17. Suppose d - 15 = 3*t, 0 = -t - 3*d - 2 - 13. Let w(m) = -m**3 - 7*m**2 - 8*m - 4. Let i be w(t). Is y(i) a composite number?
False
Is (-5)/((-11)/(-1410002)*-2) + 6 composite?
True
Suppose -v = 2*x + 2778, -v - 964 = x + 424. Let n = x - -3569. Is n prime?
True
Let a(g) = -4*g**2 + 2. Suppose 0 = -0*s - 4*s - 2*t, -4*s - 5*t = 0. Let n be a(s). Suppose -n*l = 3*l + 20, 4*d + 5*l - 1844 = 0. Is d a composite number?
True
Let u = 1721 - 3950. Suppose 10 = 46*k - 48*k. Is (-2)/(-10) - u*(-1)/k prime?
False
Suppose -3*i - 5*p - 6 = 0, -5*i + 0*i + 18 = -p. Suppose -4246 + 34 = -3*r - l, -7034 = -5*r + i*l. Is r prime?
False
Suppose 51*g - 50*g - 32051 = 0. Is g composite?
False
Let t(w) = -15*w**3 - 5*w**2 - 3*w + 6. Let n(o) be the first derivative of o**4/4 + o - 5. Let d(h) = -n(h) + t(h). Is d(-5) a prime number?
False
Let o = 126 - 156. Let a(j) = j + 53. Is a(o) a composite number?
False
Let x(w) = 3*w**2 - 3*w - 12. Let o be x(5). Let n = 16 - o. Is (-3)/(-1)*1 - n a composite number?
True
Suppose 4*g = 3*j - 4*j + 64762, 0 = 2*j + 5*g - 129512. Is (-1)/2 + j/44 a composite number?
False
Let u(p) = -4681*p**3 + 2*p**2 - 2*p + 3. Is u(-2) prime?
True
Let p = -296 - -319. Suppose 5*t + 243414 = p*t. Is t composite?
False
Let b(p) = 51*p - 307. Let v be b(6). Let a be (-5078)/(-6) - 2/(-3). Is v/((-14)/(-21)) + a/2 a prime number?
False
Let j = -83 - -93. Suppose -5*w - 28 = -6*w + 5*k, -2*k - j = 0. Is (60/6*(208 + w))/2 a composite number?
True
Suppose -7*n = -l - 3*n + 94813, -n = 5. Is l composite?
False
Let a = -224 - -770. Suppose 5327 = 7*k + a. Let v = k + -480. Is v a composite number?
True
Suppose -2*r = -2*w + 8, 2*w = -3*w - 3*r + 4. Suppose w*n = 116 + 700. Suppose 5 = -q, -4*q - n = -2*t + 34. Is t composite?
False
Let c(s) = -s**3 + 6*s**2 - 3*s - 6. Let u be c(5). Suppose -3*g + 2 = -2*g, -3436 = u*j - 2*g. Is 2*1 - (j - 3) a prime number?
True
Suppose -114*y + 109*y - r + 3770905 = 0, -5*r - 2262543 = -3*y. Is y a composite number?
False
Suppose 0 = 123*k + 575580 - 10417659 - 2182032. Is k a composite number?
True
Suppose -2*h - 3*c + 128221 = 0, -192325 = -3*h - 37*c + 39*c. Is h a prime number?
True
Let v(f) = -133*f - 60. Let w be v(-14). Let b = w - 1219. Is b a composite number?
True
Suppose 4*q = 2*y + 16494, 10*y - 4 = 6*y. Let z = q - -4019. Is z prime?
False
Let c(m) = 3727*m**2 + 6*m - 6. Let o be c(1). Let h = 154 + o. Is h prime?
True
Let g be (-4)/18 - 2312/(-36). Suppose 38*m = -3023 + 14005. Let p = m + g. Is p prime?
True
Let m be (