 prime?
True
Let k(x) = 64*x + 14*x - 5 + 16*x. Let d be k(-1). Let j = d + 226. Is j a prime number?
True
Let t be 9/((-36)/(-16)) + 1. Let w(c) = 443*c + 52. Is w(t) a composite number?
False
Let w = 155220 - 29387. Is w composite?
True
Suppose -507 = 3*d + 2556. Let x = 1800 + d. Is x a prime number?
False
Suppose -5*y + 216205 = -4*r, 0 = 4*y - 13*r + 15*r - 172964. Is y prime?
False
Suppose 0 = 4*l - 83992 - 36444. Is l a composite number?
False
Suppose 29697 + 506267 + 2439001 = 105*d. Is d composite?
True
Let o(m) = -271*m - 1415. Is o(-88) a prime number?
True
Suppose -3*d - 39066 = -5*u, 2*d - 39052 = -5*u - 2*d. Suppose -2517 = -2*i + w, 5*i + 1519 = 2*w + u. Is i prime?
True
Let c(w) = -17*w + 120. Let i be c(5). Suppose -2425101 = -i*f - 16*f. Is f prime?
False
Suppose -m = 6*v - 5*v - 9, -3 = v - 2*m. Suppose -4*f - 3*t = -332, -v*f - 13*t + 415 = -8*t. Is f prime?
True
Let n be (118/2)/(-2 - -3). Suppose -f = -n - 87. Let g = 295 - f. Is g a prime number?
True
Let r be -9445*1 + (-3 - -6). Is ((-20)/(-5) - 2)*r/(-4) a prime number?
True
Suppose 6*z - 16339975 = -17*z - 2*z. Is z a composite number?
True
Suppose 0 = -2*c + 8*c + 5526. Let m be -5 + 5 + c/1. Is (30/45)/((-2)/m) composite?
False
Let c = 851 - 683. Suppose 0 = 175*z - c*z - 12929. Is z a prime number?
True
Let n = 97654 - -14167. Is n a composite number?
False
Let j = -3 - -8. Suppose 244175 = j*h + 5*f, 0 = 19*h - 18*h - 2*f - 48835. Is h a composite number?
True
Suppose 7*j + 83839 - 224007 = 0. Suppose 6*p - 14*p = -j. Is p a prime number?
True
Let c = -77375 + 152636. Is c prime?
False
Let x be 2132972 - ((-14)/5 + (-31)/155). Is (x/(-260))/(1/(-4)) prime?
False
Let m = 45 - 43. Let q(c) = 18*c**2 - 11*c - 5 + 7*c**2 - m + 4*c. Is q(5) a prime number?
False
Let j(x) = -2*x + 29. Let l be j(11). Let w(f) = -2*f - 2 + 9*f**2 - 877*f**3 - l*f**2 - 2*f**2. Is w(-1) a prime number?
True
Suppose 29*j - 1123224 - 2990035 = 1591824. Is j a composite number?
False
Let p = 2 + 7. Suppose -246 = p*s - 30. Is -12*6/s + 1 + 250 a prime number?
False
Let v(z) = 4*z - 83. Let q be v(20). Is (1633 - -4)/(q/(-1) - 2) a prime number?
True
Suppose -w + 1 + 1 = 0. Suppose -w*b = 2*i - 4, -5*i = -3*b - 0*i + 22. Suppose r = 5*y + 484, -2046 = -b*r - 4*y + 2*y. Is r prime?
True
Let w be 553*(6 - (-54)/21). Suppose 0 = -14*i + w + 80842. Is i a prime number?
True
Let w(f) = 61*f**2 - 42*f - 497. Is w(-26) prime?
False
Let a(j) = -j**3 + 10*j**2 - 206*j + 149. Is a(-18) a composite number?
True
Suppose 0 = -2*w + 3*w - 5, 5*w = -n + 32. Is (-88*41 - -1)*(-7)/n prime?
True
Suppose 0 = -49*p + 25*p - 206424. Let y = p + 26258. Is y composite?
False
Suppose -2564216 = -4*p + 3*m, -4*p + 2564184 = 33*m - 28*m. Is p a composite number?
False
Is 1019930/174*(-2 + (1 - -4)) a composite number?
True
Let g(l) = 0*l**3 - 1375 - 2*l**3 - 14*l**2 + 15*l + 1292. Is g(-22) a prime number?
True
Suppose -4*a - 5*j - 1155694 = -7*a, -1155674 = -3*a + j. Is a a prime number?
True
Let v(u) = 26*u**3 - 20*u**2 - 6*u + 63. Let a be v(14). Suppose -3*h + 10603 = 2*o - 34347, 0 = -3*o + h + a. Is o prime?
True
Let q be (36/60 + (-223)/5)*-23. Suppose n = -0*n - 1. Is n/(((-20)/q)/5) composite?
True
Let l be (0 - 1)/((-3)/(-675)). Let i be (-200)/(-6)*l/(-6). Suppose o = k - 440, 0 = 4*k + 5*o - 537 - i. Is k a composite number?
False
Suppose 2019795 + 113446 = 5*r + 6*r. Is r composite?
True
Suppose 36760030 = 437*k - 211*k. Is k prime?
False
Let q = 121903 + -85446. Suppose -3*g - q = 2*l - 106834, 0 = -l. Is g a prime number?
True
Suppose 372 = 8*k - 1244. Suppose -2*a = 4*t - k - 18934, 0 = 5*a - 5*t - 47885. Is a prime?
False
Let b(a) = -4*a**3 + 11*a**2 - 95*a - 1. Is b(-18) a composite number?
True
Let x be (3*-1)/((-57)/95). Suppose -d = -3*y - 2441, x*d + 2*y - 12129 = -2*y. Is d prime?
False
Is ((-7)/490*-4389973)/((-8)/(-80)) composite?
False
Let k = 17261 - 1290. Is k a prime number?
True
Suppose 22 - 2 = -4*a - 4*q, -5*q = 2*a + 7. Let x(m) = -m**2 - 3*m + 1. Let g(s) = 168*s**2 - 14*s + 19. Let h(z) = g(z) - 2*x(z). Is h(a) composite?
True
Let s be (-8096)/10 - (-2)/(-5). Let t(q) = q**3 - 22*q**2 + 10*q + 5. Let a be t(24). Let h = s + a. Is h prime?
True
Suppose -4*a + 4 = -8. Suppose a*r = -0 - 0. Suppose 4*s + 4*k = -k + 5586, r = -3*s - 4*k + 4189. Is s composite?
False
Suppose -4*m + 5*i + 1381857 = 0, -2*i + 3 = -11. Is m composite?
False
Suppose -13*y + 849566 + 861147 - 603490 = 0. Is y a prime number?
False
Let i be 14510 - ((-15)/9)/((-5)/(-15)). Let j = -6489 + i. Is j prime?
False
Suppose -4*r - 2*h + 231600 = 0, 5*r - 289489 = -34*h + 26*h. Is r a composite number?
False
Suppose -5*h - 3*w = -77702, -4*h - 9*w = -10*w - 62165. Is h a prime number?
True
Suppose -57542 = 28*p - 247270. Suppose 3*y - 3*b = 2*b + p, -3*y + 2*b = -6791. Is y prime?
True
Let u = -253 - -258. Suppose 0 = h - 4*h + 12, -4009 = -3*l + u*h. Is l a composite number?
True
Let v = -3092 + 5881. Is v a prime number?
True
Let f(m) = 4*m + 50. Let h be f(-11). Is -1*h*(2 + 153064/(-48)) prime?
True
Let m(k) = 3531*k**2 + 13*k - 53. Let g be -7 - (-70)/(-8 - -15). Is m(g) a prime number?
False
Suppose -164*v - 375318 = -182*v. Is v a composite number?
True
Suppose -7*j + 3*j + 2116 = -4*x, j - 4*x - 535 = 0. Suppose 5*l - 588 - j = 0. Is l prime?
True
Suppose -50068*x = -50070*x + 10994. Is x a composite number?
True
Let s be (-26 + -18704)/(11/6 + -2). Suppose -25*u + s = -101395. Is u composite?
True
Suppose 5*h = 10*h - 10. Suppose m = 4*m - 4*z - 589, 5*m + h*z = 947. Is m composite?
False
Let h = -62200 + 105087. Is h composite?
True
Let c(u) = 1099*u - 34. Let g be c(-8). Let l = g + 14581. Is l a prime number?
False
Let a(f) = 6*f**3 - 15*f**2 + 17*f - 5. Suppose -4*z - 5*k = -32, 0 = 4*z - k - 13 - 19. Is a(z) a prime number?
True
Let i = 169710 + -69227. Is i a prime number?
True
Suppose 2*t - 20 = 4*j - 4, 5*t - 15 = 5*j. Is (63702/(-36))/(t/12) composite?
True
Suppose 448*z - 660980 = 226*z + 202*z. Is z a prime number?
True
Suppose 3312867 = -71*d + 30174368. Is d a composite number?
True
Suppose 0 = 69*j - 2187142 - 4322249. Is j a prime number?
False
Suppose 0 = -o + 2*r + 11, -19 = o - 2*o + 4*r. Suppose 32 = o*u + 188. Let x = u + 83. Is x composite?
False
Let x(v) = 36*v**2 - 119*v - 350. Is x(37) a prime number?
True
Suppose 0 = 2*x - 8 + 12. Let a be 1/2*x - -12. Let u(l) = l**2 - 8. Is u(a) prime?
True
Let l(u) = 1653*u**2 - 20*u + 40. Is l(7) a prime number?
True
Let n(x) be the third derivative of 187*x**5/30 + x**4/24 - x**3/6 + 350*x**2. Suppose -9 - 1 = -5*d. Is n(d) a composite number?
True
Suppose -196*d - 181*d = -387*d + 3337090. Is d prime?
False
Suppose v + 2*v = -3*b - 168, -v - 4*b - 41 = 0. Suppose 3*z - 8*z = -570. Let l = v + z. Is l a composite number?
False
Suppose -10 = -3*d - 3*j - 4, -4*j - 20 = 0. Let w = d + 3. Is ((993/9)/(-1))/(w/(-90)) a prime number?
False
Suppose 26572 = 4*z - 0*z - 5*y, -6643 = -z - 3*y. Suppose -5*l + 56336 = 5*q + 23171, -l = -4*q - z. Is l a prime number?
False
Suppose 0 = -5*k - 10105 + 51280. Let g = -4736 + k. Suppose -3*d + y + 453 + 1653 = 0, 5*d + 2*y = g. Is d prime?
True
Let x(s) = -1903*s - 119. Let d be x(-7). Suppose 12*a - d = -2*a. Is a prime?
False
Let u(n) = 264*n + 1. Let l be u(1). Let s(a) = -7*a + 103. Let h be s(11). Suppose 21*d - h*d + l = 0. Is d a prime number?
True
Is (-12)/(-8)*6 - -427022 prime?
False
Let m(z) = -4*z + 42 - 14 - 85. Is m(-17) prime?
True
Suppose 4*b + b + i = 0, -2*b + 4*i = 0. Suppose b = -5*f - 8 + 18. Suppose -m - a = -142 - 81, 0 = 3*m - f*a - 669. Is m a prime number?
True
Is (17*-2)/((-5)/((-322685)/(-22))) prime?
False
Suppose -48*h - 136 = -14*h. Is 279/99*639 - h/22 prime?
True
Is (254182/57*(-9)/(-6))/((-1)/(-5)) composite?
True
Suppose 3*z + 6 = 0, -2*a - a - z = -7. Suppose a*g + 3 + 25 = -4*r, 2*r + 12 = -g. Is 405 - (g - (-3 - -1)) a prime number?
False
Let i(u) = 4*u**3 - 6*u**2 - 32*u - 301. Is i(39) composite?
False
Is 1233162/35 + (-10)/50 a prime number?
False
Is (-3)/(-5) + 923867528/3020 prime?
True
Let t = 151678 - 10919. Is t a composite number?
False
Let b = -7703 - -34474. Is b composite?
True
Let r(c) be the third derivative of 17*c**4/4 + 67*c**3/6 - 18*c**2. Is r(9) prime?