-2*u + 2*b + 158230, -146617 - 11593 = -2*u - 3*b. Is u prime?
True
Let s be 18/(-15)*-4*(-15)/(-9). Suppose 10 - 10 = -s*y. Suppose 10*n - 2*n - 7624 = y. Is n prime?
True
Let o(l) = -106*l**2 + 5*l - 24. Let v(h) = -53*h**2 + 3*h - 12. Let m(u) = -3*o(u) + 5*v(u). Let c be m(-4). Suppose -c - 222 = -2*x. Is x prime?
True
Let o = 1775 - -2489. Suppose -u - 4270 = -3*b, -o = b - 4*b - 5*u. Is b a prime number?
True
Let t be (33/4)/((-9)/(-12)). Let g(v) = -v**3 + 10*v**2 + 13*v - 19. Let b be g(t). Suppose 4*d + 4*y - 208 = 0, -d - b*y - 201 = -5*d. Is d a prime number?
False
Let f(x) be the second derivative of -23*x**6/120 - 29*x**5/120 + x**4/6 - 8*x. Let m(z) be the third derivative of f(z). Is m(-10) prime?
False
Suppose -k - 31956 = -7*k. Let w = k + -2993. Is w a prime number?
True
Let w(m) be the third derivative of -79*m**4/4 + 7*m**3/6 + 3*m**2 - 34*m. Is w(-4) prime?
False
Let p = 503 - 508. Is (-2798)/p*(-80)/(-32) a composite number?
False
Let n(t) = 11*t**3 - 9*t**2 - 8*t + 37. Let z(y) = 2*y**3 + y**2 + 2*y - 1. Let f(v) = n(v) - 6*z(v). Is f(-19) a prime number?
True
Let y(x) = -1552*x**3 + 27*x**2 + 127*x + 685. Is y(-11) prime?
True
Let t(z) = -218*z - 2. Let k(y) = 109*y + 1. Let n(j) = 7*k(j) + 4*t(j). Let b be n(-14). Suppose 0 = 5*h - 0*h - b. Is h a prime number?
False
Let n = -187953 - -692134. Is n prime?
True
Suppose 36362 = r - 5*g, -14*r + 3*g - 291025 = -22*r. Is r a composite number?
True
Suppose 4*y - 3*g = 31 + 11, -2*y = -g - 20. Suppose -65058 = -15*l + y*l. Is l a composite number?
True
Let r = -349225 - -614886. Is r composite?
True
Let v = 4032 - 5012. Suppose -4*q = 1295 + 733. Let l = q - v. Is l prime?
False
Let w = -23721 + 40282. Is w a prime number?
True
Is 83817 + (9 - 5)*-4 a prime number?
False
Let z(r) = -92*r**3 + 4*r**2 + 79*r - 16. Is z(-5) a composite number?
True
Suppose -6*l = -3*l - 21. Let y be (l + -3)*1 - -174. Suppose 918 = 4*q + y. Is q composite?
True
Is ((-4)/8 - 0) + 259246/52 a composite number?
True
Suppose 17 = 9*x + 44. Let f be -28*(-3 - (-1 - x)). Let z = f - 57. Is z a prime number?
True
Let c = 164 + -168. Let j(q) = 119*q**2 - q + 13. Is j(c) composite?
True
Suppose 0 = -r + 4*w + 3149, 2*r + 9431 = 5*r + 4*w. Suppose r = u - 1192. Is u a prime number?
True
Let p = 1 - 5. Suppose 2*d - w = 59, -w + 208 = 211. Is d/p*-55 + -4 - -2 a composite number?
False
Let v be (-3 + (-23)/1)*(-4348)/8. Suppose 7*d - 5*d - 2*n = 14140, -v = -2*d - n. Is d composite?
True
Let v(s) = -1 + 10*s**3 + 6*s**2 - 2 - 5*s**2. Let o be v(2). Suppose -589 = -4*f - o. Is f a composite number?
False
Let v = -198888 + 524807. Is v composite?
True
Let k = 57 + -54. Suppose 2*n - 2635 = -2*d - 3*d, k*n = -d + 514. Suppose 0 = -z - 5*y + 357, -y + d = 4*z - 823. Is z a prime number?
True
Let o = -28 - -3088. Let s be o/20*((-107)/(-3) - 2). Suppose 0*c + s = 3*c. Is c composite?
True
Let b(t) = 60*t**2 + t + 3. Let i be b(5). Let w = 847 + -1852. Let f = i + w. Is f a prime number?
True
Suppose 0 = -5*d - 3*o + 15, -4*o + 6 = 2*d - 5*o. Suppose 0 = d*l + 3*w - 15, 0*w + 3*w = 3. Suppose -l*c + 645 = -c. Is c composite?
True
Let j(d) = 12*d**3 - 13*d**2 - 10*d - 80. Is j(13) a composite number?
False
Let j(u) = -77*u**3 + u**2 + 88*u + 509. Is j(-8) a composite number?
False
Is (65159/46)/((-8)/(-16)) composite?
False
Let t be 6107 + 4/(-6) + 70/42. Let g = t + -2947. Is g composite?
True
Let y be 1/(-1 + 1 - 4/(-7272)). Let r = 3295 - y. Let j = r + -836. Is j prime?
True
Let q(t) = t**2 + 3*t + 3. Let p be q(-3). Suppose -p*v - c - 13 = 0, -c + 14 = -3*v - 3*c. Is -2 + 4 + 219 - v - 4 composite?
True
Suppose -377*i - 15 = -374*i, 3759905 = 5*q - 2*i. Is q a composite number?
True
Let l = 96 - 47. Let b = l + -43. Suppose -2068 = 2*d - b*d. Is d prime?
False
Suppose 0 = -4701*l + 4652*l + 164591. Is l a composite number?
False
Let m(a) be the first derivative of 4*a**3/3 + 17*a**2 - 9*a - 23. Let z be m(-9). Suppose -973 = 2*p - z*p. Is p a composite number?
False
Let h be (-2 + 4)*(-42)/(-6). Suppose h*m = -6*m + 51580. Is m composite?
False
Let y be (-4 - -3506*(-35)/50)*5. Is (-2)/10 + y/(-5) + -5 composite?
True
Let f(x) = 25*x**3 - 6*x**2 - 2*x - 3. Let d be f(7). Let u be (4/7)/((-136)/(-476)) - 5849. Let a = d + u. Is a a prime number?
True
Let c be (3/1)/(9/(-15)). Is (-1*1087)/(c/(-3 - -8)) a composite number?
False
Suppose -3*w + 8807 = -u, -14679 = -5*w - 0*u + u. Let n = w - 1717. Is n a prime number?
False
Suppose -4*f + 2856091 = -5*g, 4*f = 4*g + 2140347 + 715749. Is f a composite number?
False
Let z be ((-6)/(-4)*-1)/(6/(-248)). Suppose -67*j = -z*j - 1270. Is j a prime number?
False
Suppose m + 2*y = 28 - 8, -3*m - 2*y = -80. Suppose -m = d - 7*d. Suppose -6402 = -4*i - d*w, 4*w = i + w - 1609. Is i composite?
True
Let x = 119 - 106. Let r(i) = 200*i - 57. Is r(x) prime?
True
Is 19/(874/50) + (-2)/23 + 389626 prime?
False
Suppose 0 = 11909*u - 11900*u - 324234. Is u composite?
True
Let z(o) = -7990*o - 14217. Is z(-94) a prime number?
True
Suppose -c - 4 = -5*c. Let k(h) = 7*h**2 - 4*h + 3. Let f be k(c). Suppose f*r + 2212 - 7738 = 0. Is r prime?
False
Let z = 98 + -84. Suppose 2978 = z*t - 12*t. Let f = 3032 - t. Is f prime?
True
Let o = 687 + -676. Let g(x) be the second derivative of 5*x**4/4 + 7*x**3/3 + 2*x**2 + x. Is g(o) prime?
True
Suppose -152*z = -155*z + 15. Suppose z*a = -5*i + 2266 + 134, -5*a + 5 = 0. Is i a composite number?
False
Suppose -x + 8*g - 11*g + 708028 = 0, 3*g - 3540056 = -5*x. Is x prime?
True
Let s(r) = 12286*r + 20. Let c be s(2). Let g = c + -13949. Is g a prime number?
False
Let n(w) = 3*w**2 - w. Let u be n(1). Suppose -4*m = 4*s - 0*m - 600, u*s - 5*m = 321. Suppose 2*y = -4*d + 2338, -d - 3*y - s + 745 = 0. Is d composite?
True
Suppose 0 = -4*s - 43*s - 570106 + 2430507. Is s prime?
False
Suppose 0 = -5*h - q + 2837, -5*h + 0*h = 5*q - 2825. Suppose 2767 = 5*v - h. Suppose 0 = 2*w - w - v. Is w a prime number?
False
Suppose 5*z + p - 2278156 = 0, 1486670 = 3*z + 3*p + 119798. Is z prime?
False
Let b = 120563 + -79554. Is b a composite number?
True
Is ((-178)/3)/((-82)/399873) a prime number?
False
Suppose 5*m = -4*t - 16, 4 = -3*t - t - 2*m. Let x be 3*(16/(-10))/t*-25. Let p = x + 259. Is p a prime number?
True
Is (-6 + 2)*1 + 91866 + 47 a composite number?
False
Suppose -2*d + 108485 - 2173576 = -21*d. Is d composite?
True
Suppose 11 = -x + 3*r, -2*x - 4*r = r - 33. Suppose -n - 560 = -k, -4*n = -k - x*k + 2797. Is k a composite number?
False
Suppose 8*a + 6384077 = 9*a + y, -3*a + 19152279 = -3*y. Is a a composite number?
True
Suppose 2*s - 4*y = 279700, -8*s + 419554 = -5*s - 5*y. Is s a composite number?
True
Let x(g) = g**2 - 39*g + 151. Is x(-94) composite?
False
Let d = 119 + -113. Let z(i) = i**3 - 8*i**2 + 14*i - 1. Let o be z(d). Suppose 0 = -o*u + 8*u + 633. Is u composite?
False
Suppose -4*t - 392 = -412. Suppose -8*n = 3*j - 6*n - 84235, j - 28074 = -t*n. Is j prime?
False
Let l = -107 - -63. Let z be ((-21)/(-2))/(2/l). Let y = 23 - z. Is y composite?
True
Suppose 8*k - 11*k = 5*y - 1315874, 3*k - 263182 = -y. Is y composite?
True
Suppose 0*f = -2*p - 5*f + 28869, -4*p + 57773 = 3*f. Suppose -2573 = 6*c - p. Is c a composite number?
False
Suppose -13 = 3*x - p, 0*x - 5*p = -x - 23. Is (x*(-36)/27)/(2/397) a composite number?
True
Let m(k) = 760*k + 6071. Is m(63) a composite number?
False
Suppose 2*p - 1 = 5. Suppose 1365 = 3*x + p*u, 5*u + 10 = -0*u. Is x prime?
True
Let n(j) = 762*j**3 + j**2 + j + 1. Suppose -11*s + 6*s + 10 = 0. Is n(s) prime?
False
Let h = 129 - 129. Suppose -9*o + 24305 - 5423 = h. Is o a prime number?
False
Is (9/(-6))/(9/(-151494)) composite?
True
Suppose 13*z - 10219 = 420016. Is z a prime number?
False
Is ((-13)/(-13))/(3/(59888 - 5)) composite?
False
Suppose 0 = 9*l - 7*l + 2*g - 789182, -32 = -4*g. Is l prime?
False
Let q be (-2)/14 - (405655/(-35) + -7). Let m = q + -3730. Is m composite?
False
Let g be 120/35*7/2. Let y = 12 - g. Suppose y = 6*d - 3306 + 1230. Is d prime?
False
Let o(f) = -f**3 - 2*f**2 + 5*f + 4. Suppose -4*w - 19 = -7. Let v be o(w). Is v*(1/(-2) - (-29)/(-1)) prime?
True
Is 135645025/375 - 8/(-6) - (-6)/(-15) a composite number?
True
Let q(t) = t**3 + 8*t**2 - t - 6. Let h be q(-8).