True
Let o(i) = -17455*i - 35. Let x be o(-8). Is (1/(-3))/((-41)/x) a composite number?
True
Let z(d) = -36853*d + 365. Is z(-2) composite?
False
Let f = -22830 - -34523. Is f composite?
True
Is 4/(-26) - 436123740/(-2028) prime?
True
Let i(n) = 57*n - 244. Let q be i(7). Suppose 163*m - 24632 = q*m. Is m a prime number?
True
Suppose 2*r - 159420 = -2*z, 3*z + 4*r - 402186 = -163056. Suppose -12*f + z = 18*f. Is f a prime number?
True
Let v(j) = -44*j**3 - j**2 - 3*j - 2. Let s be v(-1). Let t be ((-52)/8)/(3 + (-134)/s). Let n = 352 - t. Is n prime?
False
Suppose 5*c + k - 30974 = 190313, -2*k = -4. Is c composite?
False
Let u = -73 + 78. Suppose u*z = -5*t + 20, t = -2*z + 1 + 7. Suppose t = 11*w - 7*w - 1660. Is w composite?
True
Suppose -2614960 = -143*d + 63*d. Is d a composite number?
False
Suppose -384 = -12*x - 0. Suppose -x*u = -17*u - 192795. Is u composite?
False
Let g be 1/(-2 + 3) + (-1 - 3). Let z be (g/9)/((-4)/36). Suppose -z*y = y + 4*f - 2232, 3*y - 4*f = 1667. Is y prime?
True
Suppose 3*z = -3*h + 198051, -h + 4*z + 198065 = 2*h. Is h a composite number?
True
Suppose -x = 0, 0 = 3*c - x + 5 - 17. Suppose -6478 = -4*p - 2*w, 3*p - c*w = -p + 6472. Is p a prime number?
True
Is (-1682706 + 4)/(-14) - -6 prime?
True
Suppose 2*g - 3*g = -2*n, 0 = 3*n + 2*g + 7. Let y(c) = -330*c**3 + c**2 + 4*c + 2. Is y(n) a composite number?
True
Let v = -2 - -16. Let a be v/6 + (-30)/(-45). Suppose 5*c - a*y = 12197 + 21654, -4*c + 27074 = y. Is c prime?
False
Suppose -88*a + 41*a + 2942858 = 0. Is a a prime number?
False
Let j(h) be the third derivative of 7*h**5/60 - 41*h**4/12 + 11*h**3/3 + 49*h**2. Is j(12) a composite number?
True
Let q be (6 - 7)*68/(-2). Let t = q + -30. Suppose 4*v - 432 = -t*x, x + 24 = 2*v - 177. Is v a prime number?
True
Let b be (-225455)/2 - 38/76. Is 2/10 - b/210 composite?
True
Suppose -4*l = -3*l + d + 3, 2*l + 4*d + 6 = 0. Let b(k) = -k**3 - k**2 + 6*k + 1. Let o be b(l). Is 7136/(-16)*(10/(-4))/o composite?
True
Suppose -2*y + 2*x - 268 = 246, 4*x + 257 = -y. Suppose 3*k = -2*k - 2870. Let p = y - k. Is p a composite number?
False
Let w(b) = -40*b - 61. Let v be w(-2). Suppose -v*o + 61630 = -9*o. Is o composite?
False
Let k(h) be the second derivative of h**6/360 - h**5/60 + 59*h**4/8 - 19*h**3/6 + 15*h. Let p(l) be the second derivative of k(l). Is p(0) composite?
True
Let n = -253 + 263. Suppose 0 = n*c - 4588 - 1702. Is c composite?
True
Let v(o) = 10559*o**2 + 14*o + 14. Let j = 306 - 307. Is v(j) composite?
False
Let n(j) = 6*j**3 - 3*j**2 + j + 28. Let h be n(9). Is 21/(-3) + 7 + 1 + h prime?
False
Let z(q) = 2595*q**2 - 60*q + 1061. Is z(14) a prime number?
True
Suppose 0 = 45*r - 40*r - 118465. Let z = r - -62. Is z a prime number?
False
Let g = 137035 - 60145. Suppose 0 = b + 22853 - g. Is b a composite number?
False
Let x = -376 - 1768. Let k = x - -11275. Is k prime?
False
Let k be 6/(1 - 7/(-14)). Is -4258*(-1 - k/(-8)) composite?
False
Suppose 20*k - 23*k + 1722065 = 2*p, -2*p = -k - 1722037. Is p composite?
True
Let q(r) = -1460*r**3 + 4*r**2 + 2*r - 11. Is q(-3) composite?
False
Suppose 0 = 4*q + 2*p - 5181962, 29*p = -q + 34*p + 1295540. Is q composite?
True
Let b be (2 - (-18)/(-8)) + (-39)/(-12). Suppose -3*t + 27024 = -b*i, -2*t + 6813 = 5*i - 11196. Is t a prime number?
True
Suppose 5 = -w, -3*w + 0*w - 20 = -z. Suppose 5*d = 4*r - 903 - 800, -15 = z*d. Is r a prime number?
False
Suppose -18*o + 0*o - 792 = 0. Let x be (-78)/(-19) + o/418. Suppose 4*f + b - 21064 = -3015, x*f - 4*b = 18024. Is f a prime number?
False
Let i(m) = 3889*m + 13. Let c be i(12). Suppose 2*q + 6093 - 24775 = -2*d, 5*d - c = q. Is d prime?
True
Suppose -5*q - w + 65 = -5*w, 0 = 2*q - w - 23. Suppose q*p - 67708 = 50129. Is p a composite number?
False
Let j(z) = z**3 + 10*z**2 - z + 2. Let p be j(-10). Let v = 12 - p. Is (-2012)/(-4) + 1 + 1 + v composite?
True
Is (-5091)/(4*12/(-3568)) a composite number?
True
Let m = 16751 - 8606. Suppose -2*f - m = -22143. Is f prime?
False
Let z be 146/511 - 30/7. Is 1*z/(-18) + 11307/27 a prime number?
True
Suppose -6*z - 3*z + 216 = 0. Is ((-54)/z)/(3/84*-3) prime?
False
Suppose 3*h + 2*w = -67 - 70, -h + w = 39. Let n = h - -45. Is -2*(1731/(-6) - n/1) a prime number?
False
Let i(h) be the third derivative of h**6/120 - h**5/20 + h**4/4 - 17*h**3/6 + 47*h**2. Is i(6) prime?
True
Let z = 676722 - 427159. Is z composite?
False
Let z = 534 - 530. Suppose -v = 5*w - 3161, z*v = -7*w + 6*w + 12720. Is v a prime number?
True
Suppose 9 = -5*k + 3*v - 30, -3*k + 5*v - 17 = 0. Let l(y) = 41*y - 92. Let q be l(20). Let p = k + q. Is p prime?
True
Suppose 4*d + 4*r = 1338984, -2*d - 6*r = -7*r - 669507. Is d a composite number?
False
Let a = 29435 - 16618. Is a a composite number?
True
Let p(t) = 28*t**2 - 55*t - 4. Let u be (-9)/27*(1 + -19). Is p(u) prime?
False
Suppose -3827 - 16232 = -13*d. Is d a composite number?
False
Suppose 3*i - 4*t - 10858 = 0, t = 4*i + 2*t - 14471. Suppose -2*w = -11*w + i. Let s = 3125 - w. Is s prime?
False
Let o(m) = -2*m**2 + 27*m - 8. Let h be o(13). Suppose 4*x - 40306 = -h*t + 3*t, -4*x + 20153 = t. Is t prime?
False
Is (-1)/(((-3)/(-76484))/(1410/(-376))) prime?
False
Is (26 - -14659)*-6*(-18)/15 - -7 a composite number?
True
Let b(z) = -142*z**3 - 47*z**2 + 13*z - 1. Is b(-3) composite?
False
Let i be ((-18)/(-4))/3 - 2120/80. Let b = i - -25. Suppose b = n - 5, 4*n - 7*n = 2*y - 6341. Is y a prime number?
True
Let u(w) = 353*w + 275. Suppose 10*d = 11*d - 27. Is u(d) composite?
True
Suppose 78618 = 7*y + 21218. Suppose 8*x - 168 = y. Is x a prime number?
False
Let o = 86 + -4. Suppose 50*b + 435 = 51*b. Let c = b - o. Is c a prime number?
True
Suppose 0 = -7*f + 12157 + 13330. Is f a prime number?
False
Let n be 2/2 - (-17 + 16). Suppose -n*j = o + 15, -2*o = -o - 5*j - 13. Let t(a) = 7*a**2 - 9*a - 11. Is t(o) a prime number?
False
Suppose 0*z + 4*z = 5*a + 300, -a + 136 = 2*z. Let d be 1107*(z/(-15) + 4). Is -6*(-17)/4*d/(-27) composite?
True
Let g(w) = w**3 + 85*w**2 + 141*w - 478. Is g(61) a composite number?
True
Suppose -j = -7*w + 126280, 72150 = 4*w - 19*j + 17*j. Is w prime?
True
Suppose -27 + 21 = 3*z, 3*o - 4*z = 86231. Is o prime?
False
Let c = 19 + -5. Suppose -4*a = -11*a + c. Suppose -3145 = -5*t - a*p, 8*t - 6*t - 4*p = 1258. Is t a prime number?
False
Let i = 125 - 145. Is -1262*2/20*i/4 prime?
True
Suppose -2*x - 1386 = 578. Suppose 0 = 4*w + 5*w - 81. Is (-9)/(w/x) - -1 composite?
False
Suppose -5*b - 35 = 5*l, -2*l + 10 = 12. Let p(g) = 133*g**2 - 11*g + 35. Is p(b) composite?
False
Suppose -n + 5 = -12. Suppose 27 = 3*j - 5*i, 4*j - 2*i - 5 = n. Suppose -4*x = -b + 6*b - 1549, -3*x + j*b = -1123. Is x prime?
False
Let f be 3906/(-39) - 2/(-13). Let w be f/(-35)*7/2. Is w/5*321 + (1 - 2) a composite number?
False
Let u(a) = 5176*a**2 - 6*a + 19. Is u(2) a composite number?
True
Let q be ((-670)/(-15))/((-5)/(-5940)). Suppose -x - 5*h = -13262, 0 = 4*x - 0*x + 4*h - q. Is x composite?
False
Let a = -47 + 51. Suppose -4*k - 2*f + 228 = -2*k, -2*k + 230 = a*f. Suppose k = -n + 670. Is n a composite number?
False
Suppose 5*u = -35, -2*u - 173453 - 171572 = -c. Is c composite?
False
Let q(l) be the second derivative of 45*l**3 - 157*l**2/2 + 102*l. Is q(21) composite?
True
Let n be 4/10 - 6/((-90)/650019). Suppose 4*t + 4*q - 25401 - 9235 = 0, -5*t + 5*q = -n. Is t prime?
True
Let y(t) = 28*t**2 - 19*t + 19. Let k(u) = 9*u**2 - 6*u + 6. Let w(r) = 7*r - 7. Let n be w(2). Let g(z) = n*k(z) - 2*y(z). Is g(13) prime?
False
Let b(w) = -w**3 - 11*w**2 - 10*w + 5. Let n be b(-10). Let j be (11 + 0)*-1*5/n. Is (-2231)/j + (-2)/(-11) composite?
True
Suppose 0 = -2*m + 16, -2*u - 6*m = -3137 - 33897. Is u a composite number?
False
Suppose 20 - 5 = -5*h. Let a(w) = -91*w**3 - w**2 - w - 2. Let v be a(h). Let c = -1298 + v. Is c a prime number?
True
Let z(q) = -789*q**2 - 11*q + 1. Let c(a) = -2368*a**2 - 31*a + 4. Let w(j) = -3*c(j) + 8*z(j). Is w(-3) a prime number?
True
Is (-4)/(-7)*(20 + -27)*(-263722)/8 composite?
False
Let o(v) = -2*v**3 + 4*v**2 + v - 1. Let y be o(2). Is (10155/25)/y*5 a composite number?
True
Suppose -47 + 59 = -k. Let b(n) = -81*n + 23. Is b(k) composite?
True
Suppose 0 = -3*q + 5*b + 5497, -4*b + 0*b = -3*q 