q = 279736 + -3378. Is q prime?
False
Let y = 69 + -58. Suppose -y*r + 146340 = 54457. Is r prime?
True
Suppose 29*s + 5*t + 6729009 = 32*s, -3*s + 6728955 = 4*t. Is s a composite number?
False
Let n be ((-1)/2)/((-2)/(-36)). Suppose -r = s - 392, -9*s = -2*r - 7*s + 788. Is -8 - n - r/(-1) a prime number?
False
Suppose 2*x = -4*x + 312. Is (-2566)/(-5)*130/x prime?
True
Let m(b) = -18247*b + 8827. Is m(-18) a composite number?
True
Suppose -19*a - 8 = -23*a. Suppose -4*h = 3*x + 2*x + 29, -h + 9 = -a*x. Is (-3 - (-692)/10)*-1*x a prime number?
True
Let j = 82078 + -39209. Is j a prime number?
False
Suppose 4*d + 5*f + 252 - 1168 = 0, 5*d + 3*f = 1132. Let r = 435 - d. Is r prime?
True
Let v(x) = 61*x**2 - 22*x + 40. Let c be v(13). Let r = -6698 + c. Is r prime?
False
Let r = -294 - 2530. Suppose 7*i + 8722 = 9*i. Let u = r + i. Is u prime?
False
Let p be 11/(13/(-3) - -4). Let t = p - -40. Suppose 1821 = 2*u + t. Is u a composite number?
False
Let y(t) = 3*t - 25. Let z be y(11). Is (-8)/(z + -64) - 226560/(-14) a prime number?
True
Let t(l) = 5*l**3 + 5*l**2 - 25*l - 82. Let n be t(-24). Is 2/(-24) + n/(-408) prime?
False
Let g(h) = 80*h**3 - 25*h**2 - 4*h + 47. Let o(l) = -26*l**3 + 8*l**2 + l - 16. Let j(k) = 2*g(k) + 7*o(k). Is j(-3) composite?
True
Let h(s) = 1541*s**2 - 515*s - 5749. Is h(-11) a composite number?
False
Let z = 555 + -557. Let i(l) = -415*l + 15. Let x(d) = -831*d + 30. Let a(y) = -7*i(y) + 4*x(y). Is a(z) composite?
False
Suppose 10627 + 3313 = 5*n. Let t = n - 995. Is t composite?
True
Let j be -6*(-64)/(-10)*10. Suppose 241*o + 114506 + 61224 = -69849. Let l = j - o. Is l composite?
True
Let z = 187445 - 105785. Suppose -7*p - 5*p = -z. Is p a composite number?
True
Let o = 24260 - -134099. Is o prime?
True
Let z(o) = -7195*o + 183. Is z(-10) composite?
True
Suppose 5*m - 5*j + j = -1, -5*m - 2*j = -23. Let f be (276/m)/((-4)/(-24)). Suppose -3*q + f + 561 = 0. Is q a prime number?
False
Let s be ((-21)/6)/(0 + (-4)/11192). Is (288/(-336))/((-2)/s) composite?
True
Suppose 0 = 3*n + 4*r + 82429, -n = 2*n - 4*r + 82397. Let t = -18898 - n. Is t a prime number?
True
Suppose -11*q + 4*n + 1028839 = 0, -1604*q + 1609*q - 467655 = 2*n. Is q a composite number?
False
Let i be 7197*87/36 - (-20)/16. Suppose 3*l = -2*m + 5*m + i, m = -3*l + 17374. Is l a composite number?
True
Let x(n) = -14782*n + 116. Let c be x(-1). Let m(j) = -2*j**2 + 3*j + 5. Let g be m(4). Is 5/g - c/(-9) prime?
False
Let v(r) = 2*r**2 - 6*r - 55. Suppose 0 = -8*o - 24 - 80. Let i be v(o). Suppose i = 4*k - 1755. Is k a prime number?
False
Suppose k = 5, 12*y - 14*y + k = -504909. Is y a prime number?
True
Let g(n) = 190*n**2 + 82*n - 85. Is g(24) a prime number?
True
Suppose -2*c + 25140 = -38806. Is c prime?
True
Suppose -5*z + 835 = 4*x, -3*x + 32*z + 630 = 35*z. Is (x/(-129))/(16220/16221 - 1) a composite number?
True
Let z(i) = 1161*i**2 + 2*i - 5. Let o(t) = 2322*t**2 + 3*t - 10. Let f(b) = 3*o(b) - 7*z(b). Let u be f(5). Let w = 45016 + u. Is w a prime number?
True
Suppose -5*p - 3*v = -61977 + 197520, -2*v = -p - 27119. Let n = -18920 - p. Is n prime?
True
Suppose -22*f - 126 = -25*f. Is f/56 + 34803/12 prime?
False
Let s(h) = 95*h**2 + 11*h. Let p be s(5). Let g = p + -217. Is g prime?
True
Let c(h) = h**2 - 9*h + 11. Let a be c(8). Suppose a*v - v = 4. Is (389/v)/((-6)/(-12)) a prime number?
True
Suppose -203632 = -4*z - 5*l + 1268568, 0 = z - 3*l - 368033. Is z prime?
False
Suppose -4*n - 4*r - 1 = -3*r, -3 = -4*n + 3*r. Suppose 0*a + a + 3*y + 7 = n, 2*y - 2 = a. Is -3 + a + 718 - 2 a composite number?
False
Let l(y) = -y**2 - 5*y - 7. Let t be l(-4). Is -3*(-1)/t*-1889 prime?
True
Let u(l) = 35 - 33 + 59 - 858*l. Is u(-6) composite?
False
Let k(s) = -9*s**3 + 4*s**2 - 3*s + 5. Let h be k(-5). Let y = 4285 + h. Suppose -11*c + y = 3*c. Is c prime?
False
Suppose -225630 + 785964 = 6*h. Is h a composite number?
True
Suppose -3*f + 28 = -41. Suppose -5*q + f = -4*t, -12 = -0*t - 4*t. Suppose 2104 = -3*a + q*a - 4*h, a - 526 = 3*h. Is a prime?
False
Let q(g) = -144*g**3 - 2*g**2 + 5*g + 13. Suppose -77 = -2*z - 81. Is q(z) composite?
True
Let w = -38 - -30. Is 3/(-4) + (0 - 9326/w) composite?
True
Suppose 7*o = 15*o - 199336. Suppose 2*s - 24912 = s + i, o = s - 2*i. Is s a prime number?
True
Let o = -139 + 172. Let u = -33 + o. Suppose 4*a - 3*a = 2*x - 5239, -4*x + 3*a + 10475 = u. Is x a prime number?
True
Let x = -75 - -78. Suppose -x*f + 6 = 0, 11*f = -s + 13*f + 1339. Is s a prime number?
False
Suppose -7*c + 11 = -10. Let n be 8 - ((-2)/(-2) + c). Suppose n*b - 9815 + 2019 = 0. Is b composite?
False
Suppose 0 + 6 = 3*n. Let c be (-4)/(20/8 - n). Is (-1130)/c + 2 + (-27)/12 a prime number?
False
Suppose -98*i + 424386 = -95*i. Suppose 49040 - i = -22*v. Is v composite?
False
Let w = 11321 - 3279. Is w a composite number?
True
Let y(v) = -218 + 439 - 220 + 54*v. Let j = 2 - -7. Is y(j) composite?
False
Suppose -3*n = -4*z + 47, 2*z + 0*n = 4*n + 26. Suppose -86540 = -z*s + 7*s. Is s a prime number?
False
Suppose 3*d = 181 + 17. Let y = d - 84. Let o = 52 + y. Is o a composite number?
True
Suppose 0 = 289*d - 38313870 - 1817537. Is d prime?
True
Let s(h) = -97*h**2 - 9*h + 11. Let b(x) = 99*x**2 + 9*x - 12. Let a(g) = -4*b(g) - 5*s(g). Is a(-9) a prime number?
True
Is (4/17)/2 + (435071665/85)/7 a prime number?
False
Let o be (2 - 1) + (-1404)/(-26). Is -2 + -1 - -44*o/10 a composite number?
False
Suppose 0*u + 4*u + 11*o = 83843, 2*o = 10. Is u prime?
True
Suppose 3*y - 4*c - 9 = 0, -y - c - 3 = -2*y. Suppose -4*w + 3550 = -2*i, -y*i - 4448 = -5*w - 4*i. Is w a composite number?
True
Let x(u) be the third derivative of 125*u**5/12 - u**4/4 + 31*u**3/6 - 135*u**2. Is x(4) a prime number?
True
Suppose 2*q = -0*q - 8. Let v(f) = 12*f - 307. Let l be v(26). Is 31/(q/(-20)*l) a composite number?
False
Suppose -66*w + 17924138 = -4*w. Is w a composite number?
False
Let h(o) = 254*o**2 + 7*o + 9. Let i be -3 + (-2 - -5) + 2/(-1). Is h(i) composite?
True
Let i be 5/15 + (-5)/(-3). Let r(m) = 385*m + 40. Let j be r(6). Suppose i*o + 0*z + z = 941, -j = -5*o - 5*z. Is o composite?
True
Let l = -25 - -23. Let g be -2 - (1 - l - 5). Suppose -5*i - q = -1462, g = -3*i - q - q + 873. Is i a composite number?
False
Is 5/(-1 + 9/(4731336/525712)) prime?
False
Let t = 955 + -420. Let f = 981 - -275. Let a = f - t. Is a a prime number?
False
Let s = -1 + 6. Suppose s*k - 4*g - 3455 = 0, -k - g = 4*g - 662. Let a = -290 + k. Is a prime?
True
Suppose -1410 = -5*d + 3*c, -d + 2*c + 169 = -120. Let l = 4268 - 2211. Suppose -14*v - d = -l. Is v composite?
False
Let d be (-9 - 996546/12)*-2. Suppose -7*y - 15952 + d = 0. Is y prime?
False
Let u = 230 + -234. Is (u - (-2075)/(2 + 3)) + -4 composite?
True
Let u = 50028 + -14777. Is u prime?
True
Let q(x) = 10*x**2 + 7*x - 18. Let t(s) = s - 1. Let j(a) = q(a) - 2*t(a). Is j(15) prime?
True
Let f(v) = 418*v**2 - 53*v - 91. Is f(-10) composite?
False
Suppose -4*p - 6*i + 11*i + 81 = 0, -2*i = 5*p - 60. Suppose 68235 + 24151 = p*h. Is h prime?
True
Suppose -104857 = -14*t + 184901. Is t composite?
True
Suppose -34*f + 1279215 = 92173. Is f composite?
False
Let d = -17 + 2. Let n be 8/16 - d/2. Suppose -n*h + 18132 = 4*h. Is h a composite number?
False
Suppose -25*s - 5*p + 1783456 = -22*s, 4*p = -s + 594469. Is s composite?
True
Is (-93)/(-279)*(1 + -4*1) + 89154 a composite number?
False
Let s(v) = 29*v**2 + 31*v + 245. Is s(-38) prime?
False
Suppose 115*y - 3981123 = 2740742. Is y prime?
True
Suppose 901*q = 452*q + 454*q - 466385. Is q prime?
False
Suppose -21*c + 27*c + 114 = 0. Let m(i) = -7*i - 1 - 4 - 9 - 4. Is m(c) prime?
False
Suppose q = 3*m - 236753, 74226 - 232080 = -2*m - 4*q. Is m a prime number?
True
Is (-594600)/(-88) - 6/(-33) prime?
False
Let c = 44955 + 117906. Is c a prime number?
False
Let c(o) be the first derivative of 1/3*o**3 - 15 - 15*o - 9/2*o**2. Is c(-5) a prime number?
False
Let y = -186 - -195. Let k(m) = 28*m**2 - 2*m + 19. Is k(y) a composite number?
False
Suppose -8*w + 10*w - 91862 = -b, -5*w + 229661 = 4*b. Suppose 0 = -4*d - y + w, 9*y - 11*y = -2*d + 22972. Is d prime?
True
Suppose 14*h = -323 + 99. Is ((-8)/h*-6)/((-3)/565) a prime number?
False
Let h(o) be the first derivat