 composite number?
True
Suppose -67*a = -49*a - 88002. Is (74 + -72)/(2/a) a prime number?
True
Is 294/49*(-325154)/(-12) a composite number?
False
Suppose 5*v = 10*v - 10. Suppose v*c + 3*h = 11213, 5*c + h - 2*h = 28041. Suppose -o = -6*o - 3*p + 7000, -4*o + c = 4*p. Is o a composite number?
True
Suppose -5*k + 40307 = -4*m, 3*k - 8*k - 5*m + 40280 = 0. Is k composite?
False
Suppose 0 = -j - s - 3 + 10, -4 = -s. Suppose -5*n + 6995 = -j*y, -n - 438 = -y - 1837. Is n prime?
True
Suppose 5*g - g - 20 = 0. Suppose 0 = -6*j - g*j + 13849. Is j a prime number?
True
Let l(k) = 24590*k + 1151. Is l(6) prime?
True
Is 45/(-63)*7 + 14944/1 composite?
False
Let w(l) = 2*l**3 - 33*l**2 + 49*l + 61. Is w(77) a prime number?
True
Is (-21)/6*46983*(-8)/84 composite?
False
Let p(t) be the second derivative of t**4/6 - t**3/6 + 8683*t**2/2 + 144*t. Is p(0) a prime number?
False
Let a be 1/(-3)*(-252)/(-21). Let f(k) = -42*k**3 - k**2 - 3. Is f(a) a prime number?
False
Let p be (32/20)/(8/20). Suppose -87*o = k - 90*o - 4147, 8274 = 2*k + p*o. Is k a prime number?
False
Is ((-6)/48*97894)/((-13)/260) a prime number?
False
Suppose 0 = -2*r - 2*r + 3*v + 7811, 3*r + 4*v - 5877 = 0. Suppose 0 = -4*z, 9*z - r = -5*f + 5*z. Is f a prime number?
False
Suppose -3*l = 3*j - 606, 3*j - 317 = -5*l + 297. Suppose -7 = -2*n + 19. Let d = j + n. Is d a composite number?
False
Is (-3 - 8)/((-20)/91660) a composite number?
True
Let m(f) = f**3 - f**2 - 2*f + 16673. Suppose 0 = -3*i + 9*i. Is m(i) a prime number?
True
Suppose -11*u = 111 + 670. Is (30/(-12) - 68/8)*u composite?
True
Let u(a) = 7*a**3 - 7*a + 10 - 11*a**2 + 5*a**3 + 10*a**2 - 15*a**3. Is u(-9) a composite number?
False
Let c = 1662778 - 614135. Is c a composite number?
True
Let u(t) be the first derivative of t + 13/2*t**2 + 13/3*t**3 - 1/2*t**4 + 6. Is u(-9) composite?
True
Let b = -133648 - -47404. Is b/(-8)*6/9 composite?
False
Let l = 235006 - 126465. Is l a prime number?
True
Let w = 103809 - 40612. Is w prime?
True
Suppose 7*m + 90 = 6. Let g be ((-21)/42)/(2/m). Suppose 2*f = -3*q - 2*q + 99, -9 = g*f. Is q composite?
True
Suppose 3*w - q = -10 - 3, 4*w + 4*q - 4 = 0. Let z be ((24/5)/3)/((-8)/260). Is 2764*(w + z/(-16)) prime?
True
Let t be (-10)/(-4)*25/(1000/48). Suppose 4*g - 9*g + 40178 = t*j, -16069 = -2*g + j. Is g a composite number?
True
Let s = -18 - -76. Suppose s*v - 56*v - 28872 = 0. Is (-2 - 8/(-6))/((-24)/v) a prime number?
True
Let c = 13611 - -27710. Is c a composite number?
True
Let c(h) = 317*h + 168. Let n be c(16). Let a = -2541 + n. Is a a prime number?
True
Let d be 32/12 + (-2 - 7/(-3)). Suppose 3*j + 24 = -d. Is j + 551 - (0 + 1) composite?
False
Let n = -83 - -98. Let q(k) = 37 - n*k - 61 + k**3 - 22*k**2 + 29. Is q(24) composite?
False
Let c = -11843 + 20235. Suppose 5*i = -3*i + c. Is i composite?
False
Let u(n) = -6*n**3 - 5*n**2 - 6*n - 1. Let j be u(-5). Suppose 3*m = 2*m - j. Is 6/(-9)*m/4 a prime number?
True
Suppose -2*o + 2*i + 2 = 0, 3 = -4*o + 2*o - 3*i. Let z be (3/(-2))/((-12)/512 + o). Let f = z + -11. Is f composite?
False
Let k = -46066 + 107087. Is k a prime number?
False
Suppose 16*f = 17*f - 5. Let u be 33 - (-12)/(-20)*f. Suppose -59 = -m + u. Is m composite?
False
Let z(x) = -3606*x**3 - 12*x**2 - 23*x - 9. Is z(-2) prime?
True
Suppose -16*l + 535911 = 41207 + 41088. Is l prime?
True
Let y be (1 - (-68667)/(-6))*2. Let d = -9896 - y. Let j = d - 6470. Is j prime?
True
Let s = -566669 - -949868. Is s a prime number?
False
Let j = 1 - -1. Suppose -6*x - j*x = 0. Suppose 52*t - 54*t + 1706 = x. Is t a prime number?
True
Suppose -1217*v + 1212*v + 55583 = 2*o, -3*o - 5*v = -83382. Is o a prime number?
True
Let j(q) = 468267*q**3 + 96*q - 96. Is j(1) a prime number?
False
Suppose -462*d = -459*d - 482613. Is d prime?
False
Suppose 504*a = 494*a + 146640. Suppose 0 = 4*u + 5*l - 51797, -5*l + 1696 - a = -u. Is u composite?
False
Is -14802*1*(-5 - 116/(-24)) prime?
True
Suppose -z - 21*g + 104843 = -26*g, 2*g + 419444 = 4*z. Is z a composite number?
True
Let u = -142 - -134. Is (15814/10)/(u/(-40)) prime?
True
Suppose -70 = -11*m - 15. Is -1 + (m - (-1 + 3 + -5349)) a composite number?
False
Suppose -5*o = 4*t + 9501, o + 1528 = 4*t + 10999. Let v = t - -4206. Is v a composite number?
True
Suppose b - 5 = -h, -3*h + 21 + 19 = -2*b. Let w be ((-4)/h)/(5/(-17275)). Let f = -633 + w. Is f composite?
True
Suppose 3*g = -3*s + 269071 - 22588, 0 = g - 2*s - 82149. Is g composite?
True
Let u = 66 - 62. Let d be (6/60*-12)/(u/10). Is 3663 - (7 + d + (-1 - -1)) prime?
True
Let v = 164005 + -55262. Is v composite?
True
Suppose 21*f = -16*f + 8665301 - 1526188. Is f composite?
False
Let g = 294034 + -57999. Is g a prime number?
False
Is (-13712569)/(-1)*154/2002 prime?
True
Let c be (11068/(-4))/((-2)/14). Let z = -7292 + c. Is z a composite number?
True
Let h = 98658 + -28459. Is h composite?
False
Suppose 172*i + 16 = 176*i. Is (49641/(-3))/((5 - i) + -2) a prime number?
True
Let n be (12/5)/((-231)/(-60) - 4). Let m(a) = -21*a - 46. Let f be m(n). Let o = f - -541. Is o composite?
True
Suppose -3*s = -9 - 15. Suppose 2*h + 9971 = i, 5*i + 5*h = s*i - 29909. Let w = i + -3160. Is w prime?
True
Suppose 2*q + 2*q = 12. Suppose 3*p + q*p + 24 = 0. Is (p/8)/(2/(-2540)) a composite number?
True
Is (-14267372)/(-16) + 81/36 composite?
True
Suppose 0 = -4*o + 3*k + 1764659, 3*o - 3*k = -6*k + 1323510. Is o composite?
True
Suppose -1642074 = -2*m + 12*c - 8*c, 0 = -2*m + 2*c + 1642064. Is m a composite number?
False
Suppose 3*r + 5*l = -r + 20, l = 0. Suppose 8 = -k + 3*k, -r*k = -q. Is 6770*5/q - (-1)/2 a prime number?
True
Let s(i) be the first derivative of 2*i**3 - i - 3. Let l be s(2). Let v = l + 654. Is v prime?
True
Let u be 3 + (-1 - 6/(-6)). Is (-6)/((-18)/6521)*u prime?
True
Is 48/(-360) + (1155937/30 - 8/80) prime?
False
Let a(v) = 5452*v**2 + v. Let p be a(-1). Suppose 19*u - p = 16*u. Is u prime?
False
Suppose 2*c - 459 + 39 = 0. Let t = 31 - -30. Let g = c - t. Is g composite?
False
Let a(v) = 252*v**2 + v + 4. Let i(z) = -1182*z**2 - 20 - 12 - 6*z + 11 - 78*z**2. Let s(g) = 11*a(g) + 2*i(g). Is s(1) composite?
True
Let m = -120 - -125. Suppose 5*x + 2*z + 4261 = 3*z, m*z = x + 857. Let n = x - -1939. Is n a composite number?
False
Suppose -6*o = -18*o + 478716. Suppose -o = -4*l + 3*u, -3*l + 4*u = -0*u - 29911. Is l prime?
False
Let j be 1/((-1537)/2570 + (-27)/(-45)). Suppose -2107 = -27*p - j. Is p a composite number?
False
Suppose 5204*q - 5193*q - 540067 = 0. Is q prime?
False
Suppose 8*a - 26*a - 5670 = 0. Let c = a + 578. Is c prime?
True
Suppose -34 = -2*r - 26. Suppose -3*t + 201242 = 5*w, -r*w - 31*t = -29*t - 160994. Is w prime?
False
Suppose 32*p + 1993303 = 10537847. Is p composite?
False
Let s(o) = -59*o + 29. Let u(k) = -k - 3. Let t(d) = d**3 - 4*d**2 + d - 3. Let y be t(4). Let l be u(y). Is s(l) a prime number?
False
Let y(v) = -72*v**3 - v**2 - 1. Let i be y(2). Let h be -1 + 7 - 3 - (1392 - 5). Let a = i - h. Is a a prime number?
False
Suppose -114*c + 9140890 = -3*c - 10460711. Is c a composite number?
False
Suppose -v - 17*k = -12*k - 34212, v - 34209 = -2*k. Is v a composite number?
True
Is 8/(-14) - 110691114/(-714) prime?
False
Let c = -280 + -2158. Let z = c + 6615. Is z a prime number?
True
Is -1*(6 + 8) + 106545 a prime number?
True
Let g(l) = -693*l**3 + 2*l**2 - 5*l - 5. Is g(-4) prime?
False
Is 16/(-24)*904668/32*36/(-9) composite?
False
Suppose 4*t + 4*y - 4 = -0*t, t - 5*y = 7. Suppose 2*h - 3*h - 8938 = -t*k, 5*h + 44646 = -k. Is 3/4 + 6/((-48)/h) prime?
True
Is (50 + -40)*125638/4 prime?
False
Suppose 78*d = 79*d. Suppose 3*o + 3*f + d*f = 16053, 26735 = 5*o - 5*f. Is o composite?
True
Suppose 12415 = 5*i - y, 0*i + i - 2464 = 4*y. Let h = i + -5511. Is h/2*92/(-69) prime?
False
Let s be (1 + 1)/(-12 + 10) + -12157. Is (s/(-3))/((12/(-18))/(-1)) a prime number?
True
Suppose 6 + 6 = 6*m. Suppose 106 = -m*f - 374. Is f/(-32)*1172/6 a composite number?
True
Let z = 7 - -5. Let v(u) = -u**3 + 17*u**2 + 3*u + 18. Let f be v(z). Suppose -3*o - 63 + f = 0. Is o prime?
False
Let z = 384 - 374. Let a(w) = 66*w - 211. Is a(z) prime?
True
Let w = 85245 + 35522. Is w prime?
True
Suppose -10*m - 6404 + 28684 = 0. Suppose j = 5*i - m, 26