-4*v + 3*v + j = 5*r. Is v prime?
True
Let y = 13687 + 9972. Is y prime?
False
Let l be ((-6)/(-15))/(4 - (-42)/(-10)). Let h(n) = 1499*n**2 + 9. Is h(l) a composite number?
True
Suppose -35*k + 51*k = 128576. Suppose -3*s = w - k, 2*w - w - s = 8040. Is w composite?
False
Let c be (222/8)/((-3)/(-120)). Let y = -2876 - -4729. Let r = y - c. Is r composite?
False
Suppose -2*h + 113 + 28 = r, -4*h + 4*r = -300. Suppose -4*s = q + s - 1, 4*q + 3*s - h = 0. Is (1022/q)/((-6)/(-99)) a prime number?
False
Let l be (-26421 + 5)/(-1) + 2. Suppose 5*a + 6258 = l. Let c = a - 2815. Is c composite?
False
Suppose 0 = -29*q + 1578073 + 476316. Is q a prime number?
True
Let d = -83 + 85. Is (1/(-1))/(d/(-3358)) a composite number?
True
Let k = -4676 - -206. Let a = k + 8333. Is a prime?
True
Let f(y) = -y**3 - 26*y**2 + 54*y. Let l be f(-28). Suppose -3*w + 44 = 2*u - l, 2*w - 75 = -3*u. Is 12/w + 4868/5 composite?
True
Is 4918*((-195)/(-286) - 6/33) composite?
False
Suppose -3717 = 5*j - 1077. Let a = -1961 - -2886. Let c = j + a. Is c a prime number?
True
Is 1/2 + (-88414540)/(-536) a prime number?
True
Suppose 0 = 2*s + 4*n - 77990, 2*s - 5*n - 77981 = -0*n. Suppose -w = 4*g - 48525, -2603 = 3*g - 3*w - s. Is g a composite number?
True
Suppose 8*i - 21 = 11*i. Is (-1 - 4 - i)/(6/31461) a composite number?
False
Let y(m) = 8*m + 109. Let w be y(-13). Is 89/445 - (-347934)/w prime?
False
Suppose 4*w - 9119 = -5*v + 107598, 2*w + 2*v = 58356. Is w prime?
True
Suppose 0 = 2*w + 2*s + 6, 3*w - 2*w + 3 = 4*s. Let c(n) = 85*n**2 - n + 195*n**2 - 7 + 3*n. Is c(w) prime?
False
Let b(n) = 33*n**2 - 7*n + 11. Let t be b(-8). Let w = 3846 + -2298. Let o = t - w. Is o a prime number?
True
Let c = -59 + 63. Suppose c*b - 3896 = 14900. Is b a prime number?
False
Suppose 7*u + 5*b = 2*u + 299310, -u + 59852 = -b. Suppose -4*y + u = -3707. Is y prime?
False
Let v = -4224 - 665. Let c = 7092 + v. Is c a composite number?
False
Let u(q) = 2*q**3 + 11 + 5*q**3 + q**2 - 6*q - 3*q**3 + 4*q - q**3. Suppose 3*f - 3 - 9 = 0. Is u(f) a prime number?
True
Let w(y) = y**3 + 4*y**2 - y. Let q be w(-4). Let b be 8/6*1/q*-6. Is 14*42 + b + 1 a composite number?
False
Let k be (1 - -7)*16/32. Suppose -6*m + 28 = k. Suppose 0 = 2*h + 2*b - 5226, -3*b = 4*h - m*b - 10432. Is h prime?
True
Suppose 5*v + 2*r - 121259 = -23556, -3 = 3*r. Is v prime?
True
Let c be 1 + -6 + -177*(-1113)/9. Suppose -5*k + 27355 = f, 5*f = 7*k - 3*k - c. Is k prime?
True
Let o = 1285089 + -914528. Is o a prime number?
True
Suppose 2*n = -5*q + 28, -2*n = -q - 3*n + 8. Suppose -2*h - 3*h = 3*v - 4432, 4*v - 3544 = -q*h. Suppose 0 = 14*o - 15*o + h. Is o a prime number?
True
Let m(a) = -9*a + 12. Let f be m(-3). Suppose 8*p = f + 1. Suppose -4*r + r + 6 = 0, 0 = -5*w - p*r + 3695. Is w a composite number?
True
Let g(r) = -r**3 + 15*r**2 + 20*r. Let l = 51 - 35. Let x be g(l). Is -1*(-3 + x*(-2)/2) a composite number?
False
Let v be 109/1*(2 - 1). Suppose -96*q = -v*q + 46839. Is q prime?
False
Suppose -587369477 = -355*j + 53327778. Is j a prime number?
False
Let h be 0 + 0 + -36 + 39. Let t(g) = -g - 5. Let k be t(-5). Suppose k = -2*p, 5*p + 16 - 253 = -h*c. Is c a composite number?
False
Suppose 5*c = -4*p + 923885, 46*c - 184777 = 45*c + 2*p. Is c composite?
False
Suppose -q + 24*q + 22*q = 8100090. Is q a composite number?
True
Suppose -179865 = 5*q - 10*q. Let r = -15694 + q. Is r composite?
True
Let g(p) = -10284*p + 3097. Is g(-16) prime?
True
Suppose -y = -d, 5*y - 2*y - 35 = -4*d. Suppose -d*k + 596 = -4964. Suppose 4*n - 2*v - k = 0, 0 = 2*n - 5*n - 5*v + 834. Is n prime?
False
Let y = -455 - -972. Let a be (-2)/6 + y*(-3)/(-9). Let t = 2375 - a. Is t prime?
True
Let a = 99 + 18. Suppose -4*n - a - 559 = 0. Let q = n - -722. Is q a composite number?
True
Suppose -14926983 + 5023958 = -55*h. Is h prime?
False
Let g(d) = d - 23. Let v be g(29). Suppose -16*z = -v*z - 61130. Is z prime?
True
Suppose -31*b + 1472718 = -1816475. Is b prime?
True
Let i(k) = 32429*k - 11989. Is i(22) a prime number?
False
Suppose -270*f - 51 = -271*f. Is (361004/70)/(-3 + f/15) composite?
False
Suppose 10 = -23*u + 28*u. Suppose u*c + 2438 + 736 = 3*l, 0 = -4*l + 2*c + 4232. Is (3 + -7 - -1) + l prime?
False
Suppose 0 = -2*d, -l + 261 = 4*d - 8*d. Let v = 224 + -232. Let i = v + l. Is i a prime number?
False
Suppose f - 3*q - 47914 = 0, 0 = -3*f - 12*q + 10*q + 143665. Is f prime?
False
Is (1 + -3)/10*-279445 prime?
True
Let y(k) = -5*k**3 + 2*k**2 - 10*k + 10. Let q(l) = 11*l**3 - 5*l**2 + 21*l - 19. Let n(d) = 3*q(d) + 7*y(d). Is n(-14) a composite number?
True
Suppose i + 2*h + 1350 - 4265 = 0, -4*i - 4*h + 11672 = 0. Suppose 0 = -8*k + 4239 + i. Is k a composite number?
True
Let t = 7876 - 3341. Is t a prime number?
False
Suppose 268*a = 254*a + 518. Suppose -11*h = a*h - 281040. Is h a prime number?
False
Let r be (-3)/4*1 - 281490/(-88). Let x = r - 731. Is x a composite number?
False
Suppose 2*r = 4*l + 16, 14 - 31 = 3*l - 4*r. Let h(f) = f**2 - f - 8. Let i be h(l). Suppose 3*o + 4*j - 2626 = 3525, -2*j = i. Is o composite?
False
Is (38/114)/((-2)/(-690474)) prime?
True
Is 55747626/264 - (-3)/4 - -11 prime?
True
Suppose -48*m + 12*m = -5364. Suppose 0 = m*x - 157*x + 110680. Is x a composite number?
True
Suppose 38*l - 375995 = 287323 - 137512. Is l composite?
True
Suppose 0 = -n - f + 1059, -4*n - 5*f = 472 - 4703. Let k = -751 + n. Let v = 440 - k. Is v a composite number?
False
Suppose 14*c - 475550 = 4*c. Suppose -2738 = -q - 3*w + 6773, -w + c = 5*q. Is q prime?
True
Suppose 138*r = 134*r - 268. Is (1 - 2)*-1522 - r/67 composite?
False
Let b(u) = -22308*u + 5591. Is b(-10) a composite number?
True
Let p(l) = 16928*l - 767. Is p(3) a prime number?
False
Let a = 17738 + 153317. Is a prime?
False
Let p = 547849 - -36246. Is p a prime number?
False
Let q(m) = 799*m**2 + m + 23. Is q(5) a composite number?
True
Let m = -538 + 273. Let u be m - (1 + -1)/(11 + -13). Let z = 154 - u. Is z a composite number?
False
Let g be (-130)/13 + (1 - 0). Let m be 1223 - (-6 - g/3) - 2. Is (-15)/(-20)*m/3 + 1 composite?
False
Let n(z) = -6*z**3 - 2*z**2 + 1. Suppose 5*a - 4 = 1. Let p be n(a). Let q(w) = 8*w**2 + 4*w + 7. Is q(p) prime?
False
Let b(l) = 10*l**2 + 5*l + 8. Let y be b(-3). Suppose -2*h + y = 5*k, k = 2*k - 3*h - 3. Suppose 407 = 5*a - 3*a + 5*d, 3*d - k = 0. Is a a prime number?
True
Let i = 431388 - 34487. Is i prime?
False
Suppose -k = -2*n - 761, 0*n + n + 393 = 3*k. Let v(b) = 11*b - 59. Let i be v(0). Let o = i - n. Is o composite?
True
Let s = 636569 + -323868. Is s a prime number?
True
Suppose o + 33 = 5*w, 0*o - 5*o = -3*w + 275. Suppose -6*c - 239 = -89. Let n = c - o. Is n a composite number?
True
Suppose 0 = 17781*n - 17782*n + 81803. Is n composite?
True
Let o = -362588 + 529231. Is o composite?
False
Let p(u) = 9*u**3 + 13*u**2 - 2*u - 1. Let z be (-6)/(-10) + (-4 - (-252)/30). Is p(z) a prime number?
True
Let f = -172 + 110. Let y = -45 - f. Suppose y*t - 11*t = 762. Is t prime?
True
Suppose 0 = -5*k - 2*z + 36, 2*k = -2*k - 3*z + 26. Suppose -8 = 10*b - k*b, 3*f - 22 = 4*b. Suppose 819 = f*h - 8479. Is h composite?
False
Let v be (-172 + 2)*(3 - (13 + -5)). Let p = v + -1803. Let u = 1384 + p. Is u composite?
False
Let t = 16 + -12. Suppose -t*d = 4*a - 34 - 22, -4*a + 2*d + 32 = 0. Is a prime?
False
Let c(b) = 1075*b + 1191. Is c(64) a composite number?
False
Suppose 3*f - 12 + 3 = 0, -p + 141852 = 4*f. Suppose 17*r + 26393 - p = 0. Is r a prime number?
True
Let h = 2514 - -3. Is h a composite number?
True
Suppose -4*c + 4*a - 28 = 0, -62 + 7 = 5*c + 5*a. Let n(l) = 4 - 7*l + 9*l**2 - 3*l + 4*l. Is n(c) prime?
True
Suppose 0 = -5*s - 10, 8 = -3*j + 8*j + s. Suppose j*v - 564 - 724 = 0. Suppose 3*c - 1962 = -w, -3*w = c - 6*w - v. Is c a prime number?
True
Suppose 2*a = -2*f + 190308, -59132 = -a + 3*f + 36042. Is a a composite number?
True
Suppose -s - 16422 = -7*s. Suppose 3*k + o = s, -5*k + 7*o - 4*o + 4571 = 0. Suppose a + 234 = k. Is a composite?
True
Suppose 21*f = 9*f - 12*f + 8431272. Is f a composite number?
True
Let d be 0/(-2) - (-108)/2. Suppose 182*q - 184*q = 99012. Is 6/27 - q/d a prime number?
False
Suppose -2*s - 62665 = -7*s + 2*t, 4*s - 4*t = 50132. Suppose 237 = 10*n - s. Is n