Is q composite?
True
Suppose 0 = -16*k + 71 - 7. Suppose -3*w + 4*n - 525 = -k*w, 2693 = 5*w + 3*n. Is w prime?
True
Let c = 62 - 60. Suppose -p = c*z - 10, -3*p - 20 = 2*p. Suppose 19 - 2308 = -z*l. Is l a composite number?
True
Suppose -19*h + 9 + 48 = 0. Suppose 5*z + 0*z + 3*j = 8680, -z - h*j = -1748. Is z prime?
True
Let a(z) = 29*z**3 - 10*z**2 - 41*z - 53. Let q be a(-22). Is (1 - q/18) + (-70)/84 a composite number?
False
Is (14236/6)/(13/(71214/44)) prime?
False
Let w be 21/(-84) + (-1003218)/(-8). Suppose -w = -8*y - 16938. Is y prime?
False
Suppose 85*i = 94*i - 126018. Suppose -15426 - i = -4*n. Is n prime?
False
Let o(t) = 2*t**3 + 5*t**2 - 3. Let g be o(0). Is 1 + 2950 + g/(9/(-6)) a composite number?
False
Is 7 - (-1 + 3)*87157/(-14) prime?
False
Suppose 2*p = 11*p - 1476. Suppose -7*y - 1305 = -p. Is (-1)/(4/y)*4 a composite number?
False
Let g(t) = 2795*t**2 + 3*t - 3. Is g(2) a composite number?
True
Suppose 5*a - 1432051 = 3*v, 0 = 861*a - 866*a - 2*v + 1432091. Is a prime?
False
Suppose -4*v = 5*r - 127949, -2*v + r + 63970 = 5*r. Is v composite?
False
Let j = -113 - -87. Let c be (-45660)/j - 2*1/13. Suppose -6835 + c = -3*d. Is d a prime number?
True
Let l = -101 - -104. Suppose -z = 0, l*v - z - 11 = -5. Suppose 1173 = v*k - 581. Is k a prime number?
True
Let k be (1 - 0)/(1/(-5)). Let f be 25/k*(-274)/1. Suppose 3*j - 3751 - f = 0. Is j a prime number?
False
Let o = 17 + -12. Suppose o*v = -5*l + 100, 4*v - 2*l - 10 - 40 = 0. Suppose v*t = 19*t - 932. Is t a prime number?
True
Let u = -3000 + 6545. Is u composite?
True
Suppose 16*r = 41*r - 1338940 + 154415. Is r a composite number?
False
Suppose -14*q + 1068829 = -845147 + 103370. Is q prime?
False
Let m(y) = -10156*y - 2575. Is m(-6) composite?
True
Let l(s) = -78*s - 35 - 2 + 11*s - 78. Is l(-11) a composite number?
True
Let s(o) = 3*o**2 + o + 1. Let a be s(1). Suppose 0 = -x - 2*v - 7 + 12, 5*x = -a*v + 40. Is (-9 + x)/(4/2798) a prime number?
True
Suppose 610076 = -125*o + 2119701. Is o a composite number?
True
Let n be (-4)/6*(25 + -19). Let l be 10/n*(-592)/10. Suppose -2*s + 74 = m, -4*s - 2*m + l = 2*m. Is s a prime number?
True
Suppose -464378 - 2175757 - 1006449 = -72*h. Is h a composite number?
False
Let f = -1675357 - -2386854. Is f a prime number?
True
Suppose 71*d - 72*d + 4*u = -203753, -2*d - 2*u = -407526. Is d a composite number?
False
Let s(v) = v**2 + v + 2. Let t be s(-2). Suppose f + h - 55 + 1045 = 0, t*f = 3*h - 3981. Is f/6*(0/(-3) + -2) prime?
True
Suppose -5*a + 690691 = 216566. Suppose 9*y = 4*y + a. Is y prime?
False
Suppose 15*v + 5*g = 14*v + 31, 3*g + 32 = 4*v. Suppose -9*i - 3*z = -v*i + 5863, -11730 = -4*i + 2*z. Is i prime?
False
Suppose 8196 = -20*n - 10584. Let a = -12055 - n. Is (-3)/(-2)*a/(-6) composite?
True
Let l = 247 + -46. Suppose -208*n = -l*n - 55538. Is n prime?
False
Let m = -153 + 156. Suppose 4*j - 9749 = -s, m*j - 2*j - 2442 = -5*s. Is j a composite number?
False
Suppose -2*l - 3*i = -631178, -2*l + i + 1262356 = 2*l. Is l a composite number?
False
Suppose 2*n - 82*b - 54718 = -83*b, 4*b = 4*n - 109460. Is n prime?
True
Let p be (-4)/14 + 0 + 516/42. Is ((-162990)/p)/(-15)*5*2 a composite number?
True
Let w(h) = -136*h + 20*h - 47*h - 29 - 28*h. Is w(-6) a prime number?
True
Is (-69)/(-207)*(3 - 3 - -6724389) composite?
True
Suppose -13*c + 20*c - 9366 = 0. Is (c - -1)*(-9 + 9 - -1) composite?
True
Suppose 5*z = -15, -5*m + 331340 = -0*z + 5*z. Is m composite?
False
Suppose 3*d - 14*q + 244 = -15*q, -5*d = -q + 420. Let g = d + 172. Is g a composite number?
False
Let j be ((-1420)/(-6))/((-2)/6). Suppose -49537 - 40766 = -31*x. Let n = x + j. Is n a prime number?
True
Suppose 0 = 36*x - 17*x + 91*x - 14515490. Is x composite?
False
Suppose 44 = 5*m + 29. Suppose 0 = -5*k - m*q + 21436, 0 = -2*q + 77 - 83. Is k prime?
True
Let k be 2*(-74 - -1)*12/(-24). Is (k/(-146))/(2/(-268)) prime?
True
Let l = -207785 - -336822. Is l a composite number?
False
Is (1/4)/((-48)/(-26826816)) composite?
True
Let l(q) = -86*q**2 - 5*q - 13. Let d(j) = 86*j**2 + 4*j + 15. Let h(k) = -5*d(k) - 6*l(k). Is h(5) prime?
True
Suppose -165*u + 200440379 - 76050674 = 0. Is u a prime number?
False
Let m(d) = -407*d**3 - 4*d**2 + d + 1. Suppose -2*w + 9 = -z, w + 7 = -5*z - 5. Is m(z) composite?
True
Suppose -2*v - 16 = d - 3, 3*v = -12. Let j(k) = k**2 - k + 11. Let p(l) = 12. Let r(b) = 5*j(b) - 4*p(b). Is r(d) a composite number?
False
Let c(h) = 5*h**3 - 42*h**2 + 135*h - 55. Is c(26) a prime number?
False
Suppose 11*t = 19*t - 192. Suppose -3 = m + 3*u - 0, 2*u + t = 3*m. Is 712/m - 11/(-33) a composite number?
True
Let g be -3 + 212/(2/1). Suppose 3*n = -5*a + 289, -364 = -3*n - n + 4*a. Suppose 4*j - g - n = 0. Is j prime?
False
Suppose -204*v = -201*v - 45. Suppose -22*m = -v*m - 8099. Is m prime?
False
Suppose 2*a + 64769 = 5*m, -4*a + 8*a = -4*m + 51832. Is m a prime number?
False
Let r(x) = 3250*x + 46. Let g be r(2). Suppose 301 = -u + g. Is u prime?
False
Is 858/198 + 582914/3 prime?
True
Let z(s) = 12*s - 2*s**3 - 67 + 9*s + 48 + 10*s**2. Is z(-8) prime?
False
Let g = -10 + 4. Let n be ((-21)/14)/(g/32). Is ((-8)/n)/(2/(-998)) prime?
True
Suppose -4*h + 24429 + 3699 = 0. Is (-2)/4*h/(-5 + -1) composite?
True
Suppose -2*i + 5*i + 15 = 0. Let l = 9 + i. Is (-4 - (l + -318)) + (-3)/1 composite?
False
Suppose 2*j + 5*v = -221812 + 705478, -1209227 = -5*j + 3*v. Is j a prime number?
False
Suppose 49 = -39*q + 32*q. Is q/(-3 + 26810/8939) a composite number?
True
Suppose 82740 = 7*f + 4291. Suppose -j - 68*v + f = -66*v, v + 22429 = 2*j. Is j a prime number?
True
Suppose 2*v - 126571 = 5*p, 23*v = 28*v + 5*p - 316480. Is v composite?
True
Suppose -12*a + 8*a = -x - 643130, a - 2*x = 160793. Is a composite?
False
Suppose -3*c + 61104 = 3*j, -5*j + 83293 + 18548 = 4*c. Is j a composite number?
False
Let h(u) = -112*u - 3. Let x(j) be the second derivative of -2*j**3/3 + 11*j**2 + 24*j. Let b be x(7). Is h(b) prime?
False
Suppose -2*k + 444 = -3*o, 9*o - 13*o = -4*k + 884. Suppose -228*m = -k*m - 112635. Is m composite?
True
Let p be (-28)/7 - 2032 - 2. Is 3/(-5) - p/5 a composite number?
True
Let i(c) = 1188*c + 2969. Is i(15) a composite number?
False
Let j = -398 + 401. Suppose -725 + 11696 = 3*k - j*l, 4 = 2*l. Is k composite?
False
Suppose -4*d + 2*b + 47096 = 0, -5*b - 23524 = 14*d - 16*d. Is d prime?
True
Suppose -4*a = 4*o - 38340 - 22556, 0 = -3*o + 5*a + 45696. Is o a composite number?
False
Suppose 6*f - 5*w - 138807 = 214527, -2*f + 5*w + 117778 = 0. Is f a prime number?
True
Suppose -5*w = -4*a + 13, -2 = 6*w - 4*w. Suppose a*x + 4*y - 33420 = 0, 8*x - 6*x - 33428 = 4*y. Suppose 17*z - 13*z - x = 0. Is z a composite number?
True
Let s be ((-48)/(-10))/(10/(-150)). Let y be s/(-60)*-5*1/(-2). Suppose 0 = y*f - f - 1354. Is f a prime number?
True
Suppose 55*w - 27648025 = -2717130. Is w composite?
False
Let g = -24 + -10. Let m = g - -39. Is ((-12)/8)/(m/(-130)) composite?
True
Suppose 2*l - 100006 = -2*f, 9*f - 6*f = -3. Suppose 24964 + l = 8*m. Is m a composite number?
False
Suppose q + 9 = -4*w, -31 = -2*q + 5*w - 10. Suppose -4*k = n - 21, 4 + 11 = q*n. Suppose 0 = -k*j + 7*j - 7449. Is j a prime number?
False
Let k = 125759 - -40764. Is k a composite number?
True
Let o = 52014 - 863. Is o prime?
True
Suppose 0 = 5*w - 5, 2*w + 7043 - 1981 = 2*p. Let x = -1653 + p. Is x a composite number?
True
Let n(q) = 2*q**3 + 4*q - 17*q**2 + 0*q**2 + 57 - 4*q**3 - 6*q**2 + 0*q**2. Is n(-22) a composite number?
False
Suppose -5*z = -4*m - 90, -3*z + 4*m + 31 + 23 = 0. Let p(n) = n**3 - 9*n**2 - 2*n + 7. Is p(z) composite?
False
Suppose -3*h - 9 = 96. Suppose 0 = 3*r + 181 + 101. Let j = h - r. Is j a composite number?
False
Suppose 15*x - 18*x = -6. Suppose x*i = 16 + 14. Suppose i = -5*u, o - u - u - 125 = 0. Is o a prime number?
False
Let o be 64/3*(-1314)/(-4). Let s = -3247 + o. Is s a composite number?
False
Let w = 8686 - 4699. Let h(v) = -v**2 - 33*v + 418. Let n be h(-43). Is (w/n)/((-21)/28) a composite number?
False
Suppose -3*l + 5*c + 2110295 = -2704040, 7*l = 2*c + 11233371. Is l prime?
False
Suppose 0 = -2*q + 4*f + 167662, -5*q + 57374 + 361817 = 2*f. Is q a prime number?
False
Suppose 3*q - b - 299730 = 15060, 0 = -q 