v = 125 + m. Is v prime?
False
Suppose 14383981 = 117*b - 890018. Is b a composite number?
False
Let x = -14465 + 27994. Suppose -2411 = -20*c + x. Is c composite?
False
Let g = 10986 + -19395. Is g/(-4) - ((-351)/36 + 9) prime?
False
Let d(l) = -711*l + 16. Let t be d(-9). Suppose 4*g = -2*n + 26734, g - 5*n - t - 263 = 0. Is g a composite number?
True
Let q = 3714 - -14837. Is q prime?
False
Let j(t) = 3157*t**2 + 11*t + 701. Is j(-10) a prime number?
True
Suppose 3*h - 4 = h. Suppose 131*a + h = 132*a. Suppose -y = -5*f - 74, 5*f - 82 - 51 = -a*y. Is y a composite number?
True
Suppose 3*m - 6300 = 3*t, 3*m - 7*m - 4182 = 2*t. Suppose o + 48 = -118. Let j = o - t. Is j a composite number?
False
Suppose 0 = -5*w - 5929 + 599. Let u = w + 2059. Is u a prime number?
False
Let v be (-2)/((-12)/(-171))*52/(-39). Let a = 42 - v. Suppose f - 227 = -2*t, a*f - 874 = 5*t - 5. Is f composite?
True
Suppose 0 = -w + 19 - 5. Let f be (288/w)/6 + 6/(-14). Suppose -o = 2, 1748 = 4*x + f*o + 606. Is x composite?
True
Let p(z) = -4*z - 51. Let b be p(-15). Let m(o) = 1782*o + 7. Is m(b) a composite number?
True
Let f(u) be the third derivative of 37*u**4/2 - u**3/2 + 3*u**2. Let c be f(1). Let v = c + -238. Is v a composite number?
True
Let u(j) = -16*j**2 - 4*j + 24. Let t be u(8). Let q be t/(-8)*(-121)/(-3). Let p = 12486 - q. Is p composite?
False
Let l = -56886 + 214399. Is l a composite number?
False
Let w = -1378 + 2095. Suppose 3*f = -o + 239, w = 2*o + o + 3*f. Suppose o = -z + 945. Is z a composite number?
True
Let m(n) = -198*n + 14. Suppose -5*a + 20 = 4*h + 73, 5*h = -3*a - 37. Let x be m(a). Let y = -787 + x. Is y a prime number?
True
Let y(p) = 1973*p**3 - 3*p**2 + p + 1. Let w = 6 + -5. Let t be y(w). Let c = -627 + t. Is c a composite number?
True
Suppose 15110 = v - 4*u, -3*v = -29*u + 27*u - 45350. Is v a prime number?
False
Let j(z) = 20*z**3 + 2*z**2 + 60 - 6*z**2 - 26 + 33 - 7*z. Is j(6) a prime number?
True
Let o = -194658 - -315407. Is o composite?
False
Let c be (559/(-86))/(1 + (-10)/8). Suppose 107705 = c*g - 13*g. Is g a composite number?
True
Let t be (-112166)/(-4)*(-3 + 5). Suppose -t = 14*c - 31*c. Is c a composite number?
False
Let g(f) = f + 8. Let x be g(-4). Suppose -x*h + 2*t + 8 = 0, h + 6*t + 4 = 5*t. Is (1 - (1987 + h))*(-31)/93 a prime number?
False
Suppose 7938*d = 7942*d - 28. Let u(b) = 139*b + 14 - 13*b + 11. Is u(d) prime?
True
Let u(q) be the second derivative of -11*q**5/10 - q**4/6 - 5*q**3 - 17*q**2/2 - 110*q. Is u(-5) a composite number?
False
Suppose 5*f + 608487 = p, p + 113*f - 608503 = 110*f. Is p a composite number?
False
Let y = 674 + -342. Is 2*y/(-8)*-1 a prime number?
True
Let t(s) = 11*s**3 + 3*s**2 + s + 10. Let z(w) = -w**2 - 13 + 2*w**2 - 6*w + 0*w**2. Let m be z(8). Is t(m) a composite number?
False
Let h = 260 - -69083. Is h prime?
False
Let t = -374176 - -668711. Is t prime?
False
Suppose 4*v + 367 - 5919 = 0. Let j = 2144 + -1207. Let u = v - j. Is u a prime number?
False
Let l be -6 + 2211 + (0 - -1 - -2). Suppose 0 = -n - 3*h + l, 3*n - 4*h - 2447 = 4177. Let m = n + -1109. Is m composite?
True
Let b = -52 + 58. Suppose -3*q - 3*g = -6204, -4*q + b*g - 5*g = -8282. Let r = q + -527. Is r prime?
True
Let s(h) = 18746*h - 1289. Is s(3) prime?
True
Let z(q) = 16*q - 25. Let u be z(2). Suppose 11*b = u*b + 10132. Is b prime?
False
Let m(f) = -860*f**2 + 8*f + 3. Let q(o) = 430*o**2 - 4*o - 2. Let l(i) = -6*m(i) - 11*q(i). Let a be l(2). Let s = 2759 - a. Is s prime?
False
Suppose 0 = 4*g + 3*t - 9, -5*g + 2*t - 6 = -g. Suppose g = -10*d + 3257 + 933. Is d a prime number?
True
Suppose -p - 2808 = -9*p. Let i = p - -2546. Is i a composite number?
False
Let m(d) = -2697*d**3 - 3*d**2 + 5*d + 12. Let h be m(-3). Suppose -26199 = 6*b - h. Is b a prime number?
False
Let f = 13682 - -2007. Let l = -8038 + f. Is l a prime number?
False
Let x(z) = 60*z**3 - 2*z**2 - 1. Let n(m) = 61*m**3 - 3*m**2 - m. Let f(s) = 3*n(s) - 4*x(s). Let w be f(-3). Suppose 0 = 4*g - w - 397. Is g a prime number?
False
Let n = 21256 + 18141. Is n composite?
False
Suppose 15 = 5*i, 3*i = -4*f + 6*i + 275. Let d = 76 - f. Suppose 0 = 3*o + 3*u - 2523, 0 = 3*o - d*u - 2860 + 361. Is o prime?
False
Suppose 193286 = 5*x - 3*y, -24*y = -28*y + 12. Is x composite?
True
Let p be 2/7 + (-114)/(-168)*4. Suppose 0 = -5*m + a + 18, 5*m + p*a + 3 - 9 = 0. Suppose m*q - 1450 = -3*c - 490, 4*c - 1281 = -3*q. Is c a prime number?
False
Let a(r) = -5*r**2 + 12*r + 5. Let l be a(3). Let c(m) = 34*m**2 - m - 19. Is c(l) composite?
True
Let w be (0/(-3) - -10) + -4. Is w/4*1552 - -5 a composite number?
False
Let a = -91225 + 170648. Is a composite?
False
Let p(y) = -48*y - 1. Let l be 1/2*74 + 3. Let x = -44 + l. Is p(x) composite?
False
Let d(q) = 49*q**2 - 7*q + 6. Let y be d(4). Suppose 13*b - 11*b = y. Is b a composite number?
True
Let j(i) = 18*i**2 - 19*i - 3. Let y be (3 - (6 - 2))*(-8)/4. Let h(b) = -b**3 + 19*b**2 - 20*b - 2. Let v(q) = y*h(q) - 3*j(q). Is v(-12) composite?
False
Suppose -829107 = -5*d - 206*v + 204*v, 497464 = 3*d + v. Is d composite?
True
Let w(i) = -18950*i - 615. Is w(-8) composite?
True
Let j = 3467 + 1394. Is j a composite number?
False
Let g(y) = -8474*y + 487. Is g(-15) a composite number?
False
Let z(u) = u**2 + 14 + 0*u**2 + u - 18 + u. Let j be z(3). Suppose 0 = j*k - 2947 - 2388. Is k prime?
False
Suppose -1279378 + 309998 = -13*c - 3*w, -4*c = -5*w - 298253. Is c composite?
False
Suppose 11812 = 5*s + 4*j, -5*s + 3*j + 7806 = -3985. Is s - 6/(-2 + 4) a prime number?
True
Is (-682)/248 - (-510415)/4 prime?
True
Let d(y) be the third derivative of -y**6/40 - y**5/15 + 5*y**4/12 + 41*y**3/6 + 74*y**2. Is d(-14) a prime number?
True
Let b(x) = 5329*x**2 + 4729*x**2 + 2978*x**2 - 1 - 2*x. Is b(1) a prime number?
True
Let c(o) = -o**2 - 10*o + 11. Let j be c(1). Suppose 0 = -4*y + 2*z + 1404, j = 3*y - 11*z + 8*z - 1047. Is y a composite number?
False
Let l(i) = 208*i**2 - 90*i - 75. Is l(22) composite?
True
Let z(o) = -o**2 + 43*o - 54. Let b be z(23). Let u = b - -147. Is u a composite number?
True
Suppose 0 = -5*c - 26*c + 11904. Suppose 2*l - c = 5*z, 3*l - 68 = -3*z + 487. Is l composite?
True
Let j(b) = 8*b**2 + 61*b + 70. Let h(y) = 3*y**2 - 29. Let d be h(0). Is j(d) a prime number?
False
Suppose 9*v + 0 = -36. Is 19917/45 + v/(-10) a composite number?
False
Let i(w) = w**2 + 19*w - 4. Let a be i(0). Let f(d) = -108*d - 21. Is f(a) a prime number?
False
Suppose 643514 = 145*c - 1387791. Is c a prime number?
True
Suppose 0 = 4*o - 5*k - 8, 2*o + 7 - 1 = 5*k. Suppose 0 = -7*n + o + 7. Suppose -n*h - 635 = -7*h. Is h a composite number?
False
Let p(n) be the first derivative of -828*n**2 - n - 1. Let c be p(-1). Suppose -c = 5*q - 4370. Is q prime?
False
Suppose 62*q - 12048980 = -61*q + 103*q. Is q prime?
False
Let q(t) = 826*t + 41. Let h be 4 + 0 + 3 + -5. Is q(h) prime?
True
Let r = 10 - 12. Let a be -2*3 - -4 - -7. Is a/(-10) - 1107/r a composite number?
True
Suppose 4*t = -w - 3, -w + 0*t - t = -3. Suppose x + 59 = 3*b, -b + 2*b = -w*x - 7. Is (-2)/3 - (-21414)/b a composite number?
True
Let a(z) be the first derivative of 11/3*z**3 + 9 + 5*z - 13/2*z**2. Is a(5) a prime number?
False
Suppose 0 = -j - 5*q + 4239, -21129 = -5*j - 7*q + 4*q. Suppose 5*k = m - 4*m + 3192, 4*k + j = 4*m. Is m a prime number?
False
Suppose 0 = 27*j - 26*j - 46*j + 7919055. Is j prime?
True
Suppose -a - p = -0*a - 5, 0 = -3*a - 4*p + 16. Suppose 2*w - 412 = -0*w + 2*u, 3*w + a*u - 653 = 0. Suppose 6*l - 5*l = w. Is l prime?
True
Suppose 2*u + 7 + 63 = 4*m, -4*m = 3*u - 55. Suppose -4*b + m = -0. Is (666/b)/9*1*26 composite?
True
Let m(t) = t**3 - 7 - 17*t - 14 + 32*t**2 + 10 - 16 - 20*t. Let a = -7 + -18. Is m(a) composite?
False
Let n(l) = l**3 + 25*l**2 + 52*l - 57. Suppose 3*x = -2*o - 47, -19*o = -21*o + 4*x - 40. Is n(o) a composite number?
False
Let p(c) = 2224*c**2 - 8*c + 5. Is p(2) a composite number?
True
Let g(u) = -u**3 + 165*u**2 - 729*u - 333. Is g(110) composite?
True
Let s be 1 + (335 - -2) + -4. Suppose -5*f + 601 = t, -5*f - 5*t + 251 = -s. Suppose 4*x - f = 147. Is x a prime number?
True
Suppose 16*y = 12*y - 128. Let a be (8/y)/((-3)/24). Let g(i) = 37*i**2 - i + 3. Is g(a) prime?
True
Suppose d = 