p + 10. Let d be y(-5). Let o = b - d. Is o a prime number?
True
Suppose 18518794 = 10*m + 156*m. Is m a prime number?
False
Suppose 0*l + 5*l - 3*c = -3018, l - 10*c = -613. Is (l/117 - -5) + (-1566207)/(-39) a prime number?
False
Is 811945/11 + -11 + (-119)/(-11) composite?
True
Let n(p) = -6*p - 10. Let t be n(7). Let a = -42 - t. Suppose 18*k - a*k - 1288 = 0. Is k composite?
True
Let a(s) = 82*s**3 - 17*s**2 + 75*s - 9. Is a(16) a prime number?
True
Suppose -x + 23051 = -3726. Let w = x - -2834. Is w a prime number?
True
Suppose 0 = 2*v - 3*m, 4*v + m - 6 - 8 = 0. Suppose v*r = 1637 - 329. Let h = -225 + r. Is h composite?
False
Let l = 872 - 873. Is l*(114952/(-16))/(4/8) prime?
True
Let x be 40/(-12) - (-6)/(-9) - -3156. Suppose x = 3*q - 0*l + l, 0 = 4*q - l - 4191. Is q prime?
True
Let j = 10786 - -170925. Is j composite?
False
Let k(j) = -j**3 - 5*j - 46*j**2 + 51*j**2 - j + 2*j + 3. Let b be k(4). Suppose b*o - 670 = o. Is o prime?
False
Let x(m) be the third derivative of 769*m**4/24 - 6*m**3 - 313*m**2. Is x(7) prime?
True
Let t(x) = -51*x**3 - 6*x**2 - 5*x - 5. Let z(j) = j**3 - 5*j**2 - 4*j + 15. Let g be z(5). Is t(g) a composite number?
True
Let m(g) be the second derivative of 2*g**5/5 - g**4/12 + g**2/2 + 13*g. Let t be m(2). Suppose -t = -2*z + 7. Is z prime?
False
Is (-4*1 + -19 + 24)*189311 a composite number?
False
Suppose 5*v - 4229 - 9158 = h, 3*h = -5*v - 40181. Let j = h + 21698. Is j composite?
True
Let r be 32/(-20)*-5 + (-3 - -3). Is 0*(r + -3 + -6) - -4751 a prime number?
True
Let h(l) = l**3 + 11*l**2 - 10*l + 11. Let c be h(-12). Let a(r) = -14*r**2 - 39*r - 16. Let v be a(c). Let i = -832 - v. Is i composite?
True
Suppose 9*b - 75607 - 28514 = 0. Is b prime?
False
Let k(n) be the second derivative of -7*n**4/24 + 29*n**3/6 - 17*n**2 - 19*n. Let g(l) be the first derivative of k(l). Is g(-14) prime?
True
Let m be (220/(-275))/(1/((-10)/4)). Let l be (-699)/m*460/(-30). Suppose 0 = 4*r - y - l, r + 2*r - 3*y - 4026 = 0. Is r prime?
False
Let n be 15*9*(-2)/(-54). Suppose -3*w - y = -14037, -3*w - 1863 = n*y - 15900. Is w prime?
True
Suppose -8*a - 10 = -10*a. Suppose s - 296 = -a*f + 713, 4*s = 5*f - 989. Let t = f + 2362. Is t composite?
True
Suppose -26237 = -4*t - 5*f, -5*t + 4*f = -f - 32830. Suppose 5*g + s = 8182, -18*g = -14*g - 5*s - t. Is g composite?
False
Is (858/9 + -4)*(-1860)/(-40) a composite number?
True
Let v = 707 + -1623. Is (-2)/2*-1*(-9 - v) composite?
False
Let t be (-1)/(-13) + 863053/559. Let g = 1553 - 1041. Suppose -t = -8*y + g. Is y prime?
True
Suppose 0 = b + 2*u + 6, 3 = 4*u - 7*u. Is (0 - -701)*(b + 6)/2 a composite number?
False
Suppose 0 = -j - 3*j + 12, -51 = -3*k + 5*j. Let l(h) be the second derivative of h**4/6 - 11*h**3/2 + 16*h**2 + 700*h. Is l(k) a prime number?
False
Let c(h) = 2*h**2 + 12*h - 47. Let w be c(-14). Suppose 5*g = -0*b + 2*b - 2452, -5*b + 985 = -2*g. Let p = w - g. Is p prime?
False
Suppose 2*r - r - 2 = 0. Is (r/3)/1*(-58485)/(-70) a composite number?
False
Let b = 247 - 259. Is (168718/110)/(-1 - b/10) prime?
True
Let l be (50256/(-3))/(-8)*(-4)/(-1). Suppose 4*y + 3*c = l + 103685, -2*y + 56048 = -2*c. Is y prime?
True
Let s(u) = 28520*u**2 + 532*u - 17. Is s(-7) a prime number?
True
Suppose -411223 = -2*j - 3*d, 0 = 4*j + 14*d - 15*d - 822453. Is j composite?
True
Suppose -3*f - n + 31 = 0, 4*f + 2*n = -0*f + 44. Let m = -31 + f. Is m*((-5)/10 - 3) a prime number?
False
Suppose 0 = -0*l + 3*l - 5*o - 38057, -3*o + 15 = 0. Suppose -83*r = -85*r + 4*d + l, -5*r + 3*d = -31756. Is r composite?
False
Suppose -3547192 - 468174 = -48*a - 340534. Is a prime?
False
Let i(c) = -159514*c**3 - 13*c**2 - 12*c + 1. Is i(-1) composite?
True
Suppose -3*h + 55904 = 5*t, -3*t - 4*h + 2284 = -31254. Let l = -4697 + t. Is l composite?
True
Let s(d) = 67*d - 7. Suppose 0 = -5*k + 9*k + 264. Let q = k - -74. Is s(q) a prime number?
False
Let k = -44 - -34. Let q be -5 - 8/k*(-8 - -3). Is q/36 + 10090/8 composite?
True
Let u(i) = 19*i + 290. Let j be u(-15). Suppose j*o - 11915 = 13730. Is o a composite number?
True
Let i = 107 - -31. Let p(q) = -q**3 + 16*q**2 - 7*q - 19. Let j be p(9). Let g = j - i. Is g composite?
False
Let k(s) be the second derivative of -110*s**3 - 7*s**2/2 - 19*s. Is k(-6) a prime number?
False
Is (-258)/2451 - (-12266332)/76 a prime number?
False
Suppose 3*f = 5*c + 4385, 4*f - 6*c - 5856 = -4*c. Let m = -603 + f. Is m a prime number?
False
Suppose 18*p = 5*k + 23*p - 624395, -624395 = -5*k + 4*p. Is k a prime number?
False
Suppose 52*u - 6490606 = -42*u. Is u a composite number?
True
Let w = 621 + -626. Let j(b) = -122*b**3 + 11*b**2 - 8*b - 6. Is j(w) prime?
True
Suppose 0 = -2*t + 3*n - 9, -2*t + 6 = -3*t + 2*n. Suppose 2*s + 4*c - 8940 = 0, t = 2*s + 5*c + 724 - 9662. Is s a prime number?
False
Let h(f) = 10*f**2 - f**3 - 8*f - 16*f + 14*f - 12. Let l be h(9). Let z = l - -74. Is z composite?
False
Suppose 117*z - 9*z = 5232492. Is z a prime number?
True
Suppose 1372*k - 1350*k = 1462868. Is k prime?
False
Suppose -3*o + 550589 = 4*d, 0 = 4*o + 89*d - 90*d - 734106. Is o a composite number?
False
Suppose -19*j = -59 - 55. Let v(d) be the second derivative of 13*d**3 - 75*d**2/2 + 10*d. Is v(j) a composite number?
True
Suppose -5*h + 12 = -4*d, -11 = 3*d - 2. Suppose 12*u - 231490 - 11018 = h. Is u a composite number?
True
Suppose 0 = -4*d - 16, -4*y + 2221 = 4*d - 21463. Suppose -f - 74 = -y. Is f a prime number?
True
Let q(k) = 58*k + 11. Let f(t) = 59*t + 11. Let j(l) = 6*f(l) - 5*q(l). Suppose -5*z = -5*y + 30, -7*z = -4*y - 4*z + 22. Is j(y) a prime number?
False
Suppose -20*x = -68*x + 3972336. Is x a prime number?
True
Let w(f) = -7*f + 19. Let b be w(2). Suppose -5*g = b*d - 22780, d + g + 4*g = 4536. Is d a composite number?
False
Suppose -4*g - 18 = -0*i + i, 5*g + 25 = 0. Let a be (-8 - -6)*(i - 1). Is 674/a*(-18 + 17) composite?
False
Suppose 0 = a - 6*a - 4785. Let s = 4 + a. Is s*(2 - 3)*1 a prime number?
True
Let c(m) = 447*m - 69. Let u be c(11). Suppose -2*p - 5*d = -5041, -2*d - u = -4*p + 5294. Is p composite?
True
Suppose 1235*q - 1240*q = -2*c - 4575927, 3*q - 2745553 = -2*c. Is q a composite number?
True
Suppose -2*u - b = -7*u + 12, u + 4*b + 6 = 0. Suppose -u*w = -2*z - 6548, -2*w - 8*z + 6555 = -3*z. Suppose -t = -6*t + w. Is t a prime number?
False
Let n(p) = 2*p**2 - 7*p - 15. Let b be n(5). Suppose 3*f - 12 = b, -2*y - 1836 = -6*y - 2*f. Is y a composite number?
False
Suppose 15*i - 1438 = 392. Suppose 10*u = -i + 1092. Is u prime?
True
Suppose x + 1340 = 99. Let k = x - -2182. Is k a composite number?
False
Let i(v) be the second derivative of -v**4/3 - v**3/6 + 19*v**2/2 + 44*v. Let y be i(0). Suppose 1099 = -18*b + y*b. Is b a composite number?
True
Let x be (8/3)/((-576760)/(-576744) + -1). Is 1/((-96120)/x + 1) prime?
False
Suppose -5*z - 2*p + 6808 = 0, -19*p + 17*p - 2 = 0. Let t be 3/(6/(-4)) - -827. Let s = z - t. Is s a prime number?
False
Suppose -36*i + 2310038 = 29*i - 2485857. Is i a composite number?
False
Suppose -3*a + 5*c = 48, 4*a + 4*c + 12 = -20. Let f be (-101)/(-11) + 2/a. Is ((-570)/f + 3)/(2/(-12)) prime?
False
Suppose 0*d - 320 = -4*h - d, 0 = -5*d. Suppose 8*f - h = 4*f. Suppose j - 6*j - 3*a + 917 = 0, 5*a - f = 0. Is j prime?
True
Suppose 13*o = 17*o + 312. Let c be -6*(13/o + (-1)/2). Suppose -f + c*f = 4*y + 5219, 3*f + 2*y - 5189 = 0. Is f composite?
False
Suppose -29181 + 13676 = -3*z + 49388. Is z prime?
False
Let x(c) = 46*c**2 + 4*c - 11. Let n be x(-7). Suppose 2995 = 4*f - 3*i, 0 = 2*f - 5*f - 4*i + n. Let d = f - 111. Is d a prime number?
False
Suppose 40*d - 13679175 + 3421535 = 0. Is d a composite number?
False
Let h(y) = 3*y + 35. Let k be h(-11). Let i(s) = -71*s - 6. Let u be i(k). Let p = -61 - u. Is p a prime number?
False
Suppose -72*w + 1643 + 4045 = 0. Suppose -68*b = -w*b + 99803. Is b a composite number?
True
Is 1317845/27 - (-4)/39*637/(-882) prime?
True
Let t = -27801 - -39317. Suppose 3*z - 11515 = 2*c, -3*z + 2*c - c + t = 0. Is z composite?
True
Let l(b) = b**3 + 12*b**2 - 9*b + 57. Let s be l(-13). Suppose -35096 = -4*a - r + 13693, -s*a - 4*r = -60989. Is a a prime number?
True
Suppose 0 = t - 2 - 3, 0 = 4*h + 3*t - 47. Suppose x - 1180 = 3*i, -3*x = h*i - 