(-5 + 3)*48/96*-91417 composite?
True
Let z(d) = 13*d**3 + 42*d**2 - 536*d - 2. Is z(11) prime?
True
Suppose 50*w - 149*w = -38390913. Is w prime?
False
Let o be (2 - 8)/((-54)/27). Is (3/2)/(o/16778) a composite number?
False
Let x(j) = j - 13. Let p be x(17). Suppose 3*q - 2*q + p*i + 172 = 0, -2*q - 4*i = 328. Let d = -110 - q. Is d prime?
False
Let a(u) = 132*u**2 - 2*u + 1. Suppose 0 = 3*x - 0*x - 4*x. Let j = x + 1. Is a(j) a prime number?
True
Let r = 305483 + 467274. Is r prime?
True
Suppose -29*q - v = -34*q + 1173072, -7 = v. Is q composite?
False
Let c = 9311 - 2887. Let a = c + -1338. Is a prime?
False
Suppose 3*d - 22*a - 10005 = -19*a, 4*d + 2*a = 13310. Let u = 5567 - d. Is u a composite number?
False
Suppose 1287 + 973 = 5*x. Let d = -239 + x. Suppose 3*z + 5*n = 411 + d, -5*z + 1024 = 3*n. Is z a prime number?
False
Let c = 795185 - 460392. Is c a prime number?
True
Suppose -186069 + 2656825 = 4*z. Is z prime?
True
Let s = 88899 + -29912. Is s a prime number?
False
Let y(d) be the first derivative of 5*d**4/4 - d**3 - 3*d**2/2 + 7*d + 9. Let t be y(-6). Let k = t + 2244. Is k composite?
True
Let s(i) = -i**2 + 30*i - 193. Let p be s(21). Let b(u) = -4574*u + 137. Is b(p) prime?
True
Suppose -h + 4 = -3*n, -80 = 5*h + 7*n - 2*n. Is (2/(-4))/(h/(-478038)*-3) prime?
True
Suppose -2*j - 92 = -6*j. Suppose -j = -6*f - 59. Is (0 + 2721/f)*(-5 + 3) composite?
False
Suppose -32 - 18 = -10*k. Suppose -5*f + 2837 = 2*i - 56, k = -5*i. Is f a prime number?
False
Let b = -23293 - -43113. Suppose -11*r + b = 9*r. Is r prime?
True
Suppose 2*i = 4*d - 1889344, -d - 4*i - 80550 + 552913 = 0. Is d prime?
False
Suppose 4*h + v - 285364 = 0, 5*h - 9*v = 4*h + 71378. Is h a prime number?
False
Let z(b) = 599*b - 6. Let y be z(6). Is -2 + y/3 + (0 - 5) composite?
True
Let i be ((-45)/6)/(7/(-714)). Suppose -3*t + 1011 = -i. Let c = t + -329. Is c a prime number?
True
Let u(c) = -2*c - 224. Let t be u(-35). Is (-33384)/(-14) + 1 - 66/t a composite number?
True
Let b(i) = -i**3 + 9*i**2 - 10*i - 5. Let a be b(8). Let k = -19 - a. Suppose -1744 = -k*q + 5*g, -q - 5*g + 0*g = -842. Is q composite?
True
Suppose -364*n = -361*n - 1576437. Is n a composite number?
True
Let g(a) be the third derivative of -925*a**4/24 - 31*a**3/2 - 25*a**2 - 4*a. Is g(-4) a composite number?
False
Let f be (-3)/5 - (-2)/((-40)/(-52)). Suppose -f*x = -998 + 240. Suppose 5*j - 256 = x. Is j composite?
False
Suppose 38*l - 11*l - 429698 = 728575. Is l a prime number?
True
Is 154575 + 8*(-18)/12 composite?
True
Let b = -111566 - -235485. Is b prime?
False
Let l(u) = 24*u + 209. Let a be l(-8). Suppose -71342 - 117851 = -a*z. Is z a composite number?
True
Let i be (0/((-2)/1)*-1)/(-2). Suppose 0 = -2*r - i*r + 8254. Is r composite?
False
Let o = 69235 + 31854. Is o a prime number?
True
Suppose -3*a + 1380733 = 4*f - 280124, 3*a - 1660857 = -2*f. Is a prime?
False
Suppose 2*c + 1766081 = 5*y, 42*y + 1412841 = 46*y - 5*c. Is y prime?
False
Suppose -11 = -6*b + 19. Let d(m) = -2*m**3 + 9*m**2 + 5*m + 2. Let k be d(b). Is (k + (-10)/8)*388 composite?
True
Let l(f) = f**3 + 4*f**2 - 2*f - 2. Let n be l(-2). Suppose 15*q - 13*q - n = 0. Suppose -4*r - 3*k + 2466 = -k, 0 = 4*r - q*k - 2431. Is r a prime number?
False
Is (-73092)/(-24) - 9/2 a composite number?
False
Suppose -167 = -4*g + 5*p, 5*g - 5*p - 190 = 25. Let u = g - 56. Is u/(-4) + (0 - 1 - -3018) a composite number?
False
Suppose b = 4*p + 4, -1547*b + 1546*b = -3*p - 3. Let v(l) be the third derivative of -527*l**4/24 + l**3 - l**2. Is v(p) composite?
True
Let n(j) = 6780*j + 3983. Is n(6) prime?
False
Let i = -3177 + 1345. Let h = -1291 - i. Is h a composite number?
False
Let v(c) be the first derivative of c**3/3 + 7*c**2/2 - 18*c + 24. Let j be v(-8). Let d(m) = -m**2 - 16*m - 7. Is d(j) a prime number?
True
Suppose -34*s = -31*s - 3*v - 539130, 0 = -3*s + v + 539136. Is s prime?
False
Is (6 + -5)*11565 - -4 prime?
False
Let i(q) = q**3 + 3*q - 4. Let a be i(1). Suppose a = -5*t - 5*p + 286275, 3*p - 2*p = -4*t + 229032. Suppose 12*z - t = 10697. Is z a composite number?
True
Suppose 23*k - 14*k = -242964. Let g = 45037 + k. Is g a prime number?
True
Let g = -15 + 18. Suppose g = -o - 0. Let c(v) = -122*v + 13. Is c(o) a prime number?
True
Suppose 78791 + 45936 = z. Is z a prime number?
False
Suppose -2*q = -3*r + 2057246 + 53095, -r + 3*q + 703468 = 0. Is r composite?
False
Let k(z) = -31*z**3 + 2*z + 1. Let p be k(-1). Suppose -3*n + p = -6. Suppose 2*w + 3*l = 1499, 764 = w - l + n. Is w prime?
True
Let w = 6919 + -6378. Is w composite?
False
Suppose 240*m + 5524 = 242*m. Suppose 5*l = -u + 548, 5*u + 3*l = -0*u + m. Is u prime?
False
Let f(p) = -13*p - 96. Let b be f(30). Let c = 2389 + b. Is c a prime number?
False
Let w be (-332)/6 - (-12)/36. Let b = w - -46. Let r(a) = -5*a + 10. Is r(b) prime?
False
Let u = -17 + 26. Let b be (-3678)/u - (-4)/6. Let c = -287 - b. Is c composite?
True
Let r(p) = 44*p**2 - 5*p + 122. Is r(-11) a prime number?
True
Suppose 2*r - 4*p - 14 = -3*r, 4*r + 5*p - 44 = 0. Suppose -5*m - 2321 = -r*m + 4*z, 0 = z. Is m prime?
False
Is ((-203)/126 - (-5)/45)*273164/(-6) a prime number?
False
Suppose 5*a + 2*r - 628883 = 0, 66*a - 377335 = 63*a + 4*r. Is a a composite number?
False
Let i = 8 + -16. Let w = -650 + 648. Is 2*(132/i)/(2/w) prime?
False
Suppose 2*u = -3*u + 3625. Suppose -u + 2960 = 5*s. Let c = 764 - s. Is c composite?
False
Let m(k) = k**2 + 13*k + 29. Let g be m(-11). Suppose -g*t + 928 = -4735. Is t prime?
True
Let d = 494 - 490. Suppose 2*f - 42*h = -39*h + 15754, 4*h + 31516 = d*f. Is f prime?
True
Let p(u) = 7*u**2 - 4*u - 13. Let w be p(-2). Suppose -3*o - w*y + 24*y + 18940 = 0, -3*y + 31562 = 5*o. Is o a composite number?
True
Let n(w) = 73 - 17*w + 2*w - 5*w. Is n(-24) a prime number?
False
Is 67823246/40 - 2202/14680 a composite number?
False
Let i be (-4 + 32/10)/(2/(-415)). Let z = -310 + i. Let f = 287 - z. Is f a prime number?
True
Suppose 0 = 4*o + 56 + 24. Let l(k) = k**3 + 25*k**2 - k + 11. Let w be l(o). Let g = w - 1313. Is g a prime number?
False
Let o(h) = -4*h - 3. Let y be o(-2). Suppose y*u + 4*d - 2457 = 0, -d + 1974 = 4*u - 2*d. Is u composite?
True
Is (10565304/216)/(13/351) a prime number?
False
Suppose 4*v - 38221 = 2*v + 5*i, -v - 4*i = -19091. Is v a prime number?
False
Is -1460622*(-6)/72 - (-5)/2 composite?
False
Let i = 58 - 44. Suppose -i*c + 16245 + 82637 = 0. Is c composite?
True
Let r(u) = 17*u + 7806. Let b be r(0). Let c = b + -5303. Is c composite?
False
Let y = 35 - 33. Suppose 5*v = -5*o + 1025, 4*v = -y*o + o + 835. Suppose 3*s + 3*s = v. Is s prime?
False
Let n be (14 + -26)*6/(-8). Suppose 9 = -n*w - 0. Is ((-3)/(-27)*-2103)/(w/3) a composite number?
False
Let t = 327 - 323. Is 1108 - t/(8/14) a prime number?
False
Let q(h) = 28*h**3 + 22*h**2 - 186*h + 43. Is q(14) a composite number?
False
Let g(v) be the third derivative of -7*v**6/60 - 17*v**5/120 - v**4/3 + 5*v**2. Let m(q) be the second derivative of g(q). Is m(-6) prime?
True
Let t(w) = 999*w**2 - 13*w + 34. Let l be t(8). Suppose 10*h - l = -12*h. Is h composite?
False
Let w(s) = -s**2 + 6*s. Let l be w(0). Suppose z + 4*k - 143 = l, 0 = -2*z + k + 3*k + 238. Is z a prime number?
True
Suppose x - 40531 = -4*s, 5*s - 50663 = -8*x + 6*x. Is s a prime number?
True
Let x be 120/(-48) - (-3)/(-2). Is x/(-22) + 892248/154 composite?
True
Suppose -98*b - 626540 = 97*b - 205*b. Is b prime?
False
Let n(c) = -c**3 - 2*c**2 - 10*c - 22. Let z be n(-7). Let r = z - 196. Is r composite?
False
Suppose 22*r - 2*v = 20*r + 191888, 5*r - 479744 = -3*v. Is r prime?
True
Suppose 489*b + 35793157 = 69142087 + 64696059. Is b a prime number?
False
Let p(z) = -16*z + 64*z - 35*z + 4 + 9*z**2 - 1. Is p(-16) prime?
True
Let p = -61312 - -103371. Is p a composite number?
True
Is 6 + (3 - 164652/(-3)) a composite number?
True
Let x(y) = 2196*y + 127. Is x(5) a prime number?
False
Let b = 2198 + 4534. Suppose -d + 3*d = 2*c - b, 4*d + 16829 = 5*c. Is c a composite number?
True
Let a(b) = b**3 - 27*b**2 + 26*b + 4. Let i be a(26). Is 2 + (-1381)/(-2)*(i - 2) composite?
True
Is 104817/(8/64 + (-69)/(-24)) a prime number?
True
Let o be -5 + (9 - 1) + 9287. Let f = o + 9213. Is f a composite number?