-362*g - 3*y - 179607 = -365*g, -299297 = -5*g - 3*y. Is g prime?
True
Let f = 1602 + 776. Suppose -3*b + f = -4930. Suppose 2*x = 3*o - 1831, 4*o - 2*x - 2*x = b. Is o composite?
False
Suppose -5*o = 4*z - 64758, z - 10*o - 16193 = -13*o. Let q = z - 5278. Is q composite?
False
Let u(i) = -75268*i + 231. Is u(-2) a composite number?
False
Let s = -1465 + 8830. Is s*(-4 - 52/(-12)) a composite number?
True
Suppose -2*p = 4*r - 26, -2*p = -7*p + 4*r - 5. Suppose z = p*z - 3304. Suppose -z = -11*y + 1175. Is y a prime number?
True
Let a(q) = -75*q**3 - 2*q**2 - 16*q - 95. Is a(-6) a prime number?
False
Is ((-8)/24)/(9/(-24489)) prime?
True
Let p = 78718 - 32143. Suppose p = 13*u + 1634. Is u a prime number?
True
Let o = -1625727 - -2599316. Is o composite?
True
Suppose 51*p - 54*p = 0. Suppose o - 5563 = -p*o - s, -4*o + 22252 = 3*s. Is o composite?
False
Suppose -15 = 15*v + 15. Is 3 - 3 - v - -1724 a composite number?
True
Let j(n) = 1254*n**2 + 428*n + 89. Is j(38) a composite number?
True
Suppose -4*d + 623 = 603. Suppose -2*a + 28 = 2*n, 0 = -d*n + n - 20. Is a a prime number?
True
Suppose 15*j - 4*j = -11. Is 3709/((j/(-2))/(8/16)) prime?
True
Let o = 133593 - 89452. Is o composite?
True
Let d(t) = 342*t + 307. Is d(37) composite?
True
Let w(j) = 60*j**3 + 12*j**2 - 5*j + 360. Is w(19) a prime number?
False
Suppose 5*h - 2*l = -3*l - 13, 4*l + 7 = -5*h. Let d be (-4)/(-6) - (-9 - (-205)/h). Let f = d - -37. Is f prime?
False
Let v = -74969 + 135346. Is v a prime number?
False
Let f(v) = 161*v**2 - 5*v + 3. Let d be f(3). Let r be (-18 + 18)*2/4 - (-1 - 3). Suppose x - 220 - 259 = r*q, -3*x + 5*q = -d. Is x a composite number?
False
Suppose 42614 = 2*b - 52120. Suppose -6*i + b = -19911. Is i a composite number?
False
Let i(t) = 2*t**2 + 17*t + 4. Let o be i(-8). Let m be (-1 - -2) + 6 + o + 0. Is ((5 - m) + -3)/((-1)/501) a prime number?
False
Suppose -3*d = b - 6, -2*d + 4 = 2*b - 6*b. Suppose 0 = -d*y - 5*m + 9*m + 2790, 3*m = y - 1393. Is y a composite number?
False
Let c(g) = -45*g + 53. Let s be c(5). Let b = s - -463. Is b composite?
True
Let l(y) = -6269*y - 449. Is l(-4) a composite number?
True
Let l(n) = 286*n**3 + 17*n**2 + 12*n - 11. Is l(12) a composite number?
False
Let y be (5/(10/(-4)))/(4/6). Let f(l) = l**3 + 4*l**2 + 2*l. Let x be f(y). Suppose x*d - 769 = 272. Is d prime?
True
Let i(f) = 18*f**2 - 6*f - 11. Suppose -2*y = r + 12, 2*y - 5*y - 32 = -2*r. Is i(y) a composite number?
True
Suppose -5*r - 4*h + 1315229 = 0, h - 375151 - 940075 = -5*r. Is r a prime number?
False
Suppose 1190587 + 405990 = 3*m + 5*k, 4*m - 2*k = 2128804. Is m a prime number?
True
Let d = 7528 + 17415. Is d prime?
True
Suppose 4*w - 11753 = 21455. Suppose -144*q = -142*q - w. Is q a composite number?
True
Let j(y) = y**2 - 12*y - 10. Let g be j(-9). Let m = -261 - g. Let r = m + 2127. Is r a composite number?
True
Suppose 6*r = 3*n + 8*r - 135095, -180136 = -4*n - 5*r. Is n composite?
True
Let u(q) = 2795*q**3 + 28*q**2 + 53*q - 5. Is u(7) composite?
True
Let u = 112 - 195. Let j = 86 + u. Suppose 5*w = -j*l + 10492, 983 + 7410 = 4*w + 3*l. Is w composite?
False
Let z(g) = 2*g**3 - 12*g**2 + g - 6. Let w(k) = 5*k**3 - 35*k**2 + 2*k - 18. Let x(u) = 3*w(u) - 8*z(u). Let h be x(-9). Is 2*(-801)/h*4/(-3) prime?
False
Let g(r) = 145*r**3 - 12*r**2 - 9*r - 173. Is g(13) a prime number?
False
Suppose s = -3*g + 143334, -3*g + 56*s + 143346 = 61*s. Is g a prime number?
True
Let a(q) = -q**2 - 15*q - 23. Let t be a(-13). Suppose -4*c = t*m - 11, 0 = -3*c - c - 5*m + 21. Is (-3051)/(-24) + c/(2 + 6) a prime number?
True
Suppose 0*l + 4*l - 8 = 0. Suppose -19*w = t - 24*w + 22, -5*w + 13 = -4*t. Suppose -4*x - 3765 = -t*h, l*h - 4*x = -x + 2509. Is h a composite number?
False
Let d(t) = 18*t**2 + 73*t - 19. Suppose 0 = -5*y - 3*f + 147, 0 = -2*y - 7*f + 5*f + 58. Is d(y) a prime number?
True
Let q(u) = 121*u**3 - 10*u**2 + 18*u + 34. Let j(p) = 40*p**3 - 3*p**2 + 6*p + 12. Let y(r) = -8*j(r) + 3*q(r). Is y(7) prime?
True
Let l(w) = 783*w**2 + 41*w - 69. Is l(-11) a composite number?
True
Suppose 6*f - 22 - 8 = 0. Let d(t) = 203*t**2 + 2. Is d(f) prime?
True
Suppose -2*j + 0*j + 1194 = 0. Let c = -379 + j. Suppose 5 = n - c. Is n composite?
False
Suppose -2*q - 10027 = b + 4*b, 0 = -2*q - 2*b - 10018. Let y = -2755 - q. Is y a prime number?
True
Let l be 429/22 + (-1)/2. Suppose 0 = -2*o + 11 - l. Is (o/(20/(-685)))/(2/10) a prime number?
False
Suppose 0 = 5*v + 1 - 61. Suppose -y + v = y. Let a(x) = 4*x**2 + 2*x + 3. Is a(y) a prime number?
False
Let i be ((-3)/2 - -2)/(1/8). Suppose i*j - 16712 = -0*j. Let v = j + -2019. Is v a composite number?
True
Let c be 9/(-12) + (-9)/(-12). Let y(g) = 1604*g**2 - 6*g + 5. Let t be y(2). Suppose c = 6*d - t - 3989. Is d a composite number?
False
Let f be (-26013)/4 + ((-627)/44)/19. Let d = f + 15363. Is d a prime number?
False
Is ((-18)/27)/((-2)/5*(-10)/(-904062)) prime?
False
Suppose -7 = 4*o - 3. Let k = 397 + -398. Is -2 + o - k - (-12)/3 a composite number?
False
Let r = -4762 - -2738. Suppose -2*b - 55*x - 38 = -51*x, x = 1. Is r/(-10) + b/(-35) prime?
False
Let x(b) = -9*b - 241. Let y be x(-33). Suppose 22*q - y*q = -2848622. Is q composite?
True
Let m = -77332 - -452211. Is m composite?
False
Let j(g) = -g. Let m(f) = f**2 - 7*f - 27. Let v(x) = -5*j(x) + m(x). Let n be v(11). Suppose 5*z + n = 4*i - 71, -i + z + 36 = 0. Is i composite?
False
Is 3*45196*124/48 composite?
True
Let y = 35 - 77. Let m = y - -40. Is m/(-3)*(-16137)/(-22) a composite number?
True
Suppose 28*u + 58*u = 57*u + 8449295. Is u composite?
True
Let x(d) = d - 10. Let v be x(10). Suppose -4*a + 0*a + 280 = v. Suppose -4*m + a + 6 = 0. Is m prime?
True
Let m(s) = 3*s**3 - 27*s**2 - 5*s - 15. Let c be m(13). Let v = c - 899. Is v a prime number?
True
Let y(v) = 12*v**2 + 7*v + 3. Let c be 4/18 + 896/(-144). Let w be y(c). Suppose -2*p + w = -4*d + 4547, -4*p = -d + 1021. Is d composite?
True
Let p(s) = -25 - 23 - 35*s + 25 + 56*s**2. Is p(12) a prime number?
True
Suppose 5*y + 210 = -10*y. Let z(l) = -152*l + 75. Is z(y) a prime number?
True
Let d(p) = p**3 - 24*p**2 - 25*p - 8. Let f be d(25). Is (52570/(-10) - f/(-2))/(-1) composite?
False
Suppose 1 = 4*x - 7. Suppose -x*a + 1024 = 2*a. Is a + 3/(-3) + 4 a composite number?
True
Suppose 4*f = 2*h - 16, f + 10 = 5*h - 12. Let m be (-224)/(-280) - 28/10. Is (h + 0 + m)*163 a composite number?
True
Let v = -210 + 212. Is 29865/5 + 0 - v composite?
True
Let g be (-333032)/(-12) - (-2 + 20/12). Let t = -14732 + g. Is t a composite number?
True
Let j(v) = 2*v - 2*v + 6 - v. Let u be j(4). Suppose -3*d = -5*t + 1970, t - 377 = 2*d + u*d. Is t composite?
False
Let l be (-135396)/(-50) + (-24)/(-300). Suppose -n - 3385 = -5*b, 0*b - 4*n = -4*b + l. Is b a prime number?
True
Let z = -13736 - -48141. Suppose -3*f = 9103 - z. Is f a composite number?
True
Let p(o) = -o. Suppose -4*t - 1 - 3 = 2*x, -5*t + x - 5 = 0. Let q(u) = 197*u - 31. Let w(d) = t*q(d) - 6*p(d). Is w(-14) prime?
False
Let p be (7 - (0 + 2)) + 7*2898. Suppose 4*x = -4*d + 16216, 0 = -0*d + 5*d - 2*x - p. Is d composite?
False
Suppose -2*m + 16558 = -2038. Let l be m/4 - (-6)/(-4). Suppose -4*x - 4*s = -2344, -4*x - 9*s + 12*s + l = 0. Is x prime?
False
Suppose 587 = -7*g - 239. Let z = 123 + g. Suppose -1975 = -z*n + 2630. Is n composite?
True
Let x = -27 - -33. Let g be (3 - -4509) + -1 + x. Let s = -2764 + g. Is s a prime number?
True
Let g = 734695 + -71309. Is g a composite number?
True
Suppose 0*t - 5*y = -4*t - 25, 5*t - 2*y + 10 = 0. Suppose -4*u - 374 + 2634 = t. Suppose 0 = -4*g + 9*g - u. Is g prime?
True
Suppose 4*o - 3*s - 2422480 = 0, 3028089 = -18*o + 23*o - s. Is o a composite number?
False
Let s(j) = -2*j**3 - 13*j**2 + 13*j + 3. Let y be (2/6 + -1)*(22 - 7). Let a be s(y). Suppose 0*w + a = w. Is w a composite number?
True
Is 3/(-2)*(-3 + (-5902280)/(-72))*-3 a prime number?
False
Let o(i) = 6235*i + 452. Is o(105) composite?
True
Let f be (7 - (-124)/(-20))/((-2)/5). Is f/(-1) - ((-119532)/(-4))/(-7) a prime number?
True
Let l = 419 + -411. Is (2/12*15740)/(l/12) composite?
True
Suppose 11*f + 8*f = -17*f + 2885940. Is f composite?
True
Let d(r) be the third derivative of r**5/15 - 71*r**4/24 + 101*r**3/6