= 4*u + 2*h, 0*u - 198 = 2*u - 5*h. Let v = 2611 + -2048. Let j = v + u. Is j a composite number?
True
Is (1 + -7291245)*6/(-24) prime?
True
Suppose 50*m = 10*m. Suppose -5*c + d = -106566, -c - 2*d + 21311 = -m*c. Is c a composite number?
False
Is -14 - (-3 - (-3410740)/(-10)) composite?
False
Let i be (-476)/16 - ((-105)/28 + 4). Let u(h) = -h**3 + 3*h**2 - 2. Let j be u(2). Is j/(-6) + (-74500)/i a prime number?
False
Let l(i) = 5652 - 186*i - 5688 - 73*i. Is l(-5) composite?
False
Let i(q) = q**3 - 22*q**2 - 24*q + 27. Let b be i(23). Let p be (-5)/10 + 26/b. Is p + -9 + 5 + 991 prime?
False
Is 6/39*26 + 2233353*(-2)/(-6) composite?
True
Let i(z) = -z**2 - 9*z - 3. Let k be i(-8). Suppose 0 = 4*h - 5*h + j + 16179, j = 3*h - 48543. Suppose 4*c = -2*f + h, -k*c + 25802 = -4*f + 5581. Is c prime?
False
Let s(z) = 3*z**3 + 8*z**2 + 12*z - 2. Let g(d) = -8*d**3 - 23*d**2 - 36*d + 5. Let j(k) = 4*g(k) + 11*s(k). Let w be j(6). Is w/((-12)/3022)*3 composite?
False
Is (-94722)/15*((-12)/48)/(1/70) prime?
False
Let t(l) = l**3 - 4*l**2 + 4. Let j be t(4). Let d be 315 + (-3 - (-4)/j). Let c = d - 54. Is c a prime number?
False
Let q(t) = -t**2 + 8*t + 7. Let j be q(9). Is (1 + j/3)*(27 - 9) a composite number?
True
Suppose -5*b = 2*d, -4*b - d + 3 = -0*d. Suppose 916 = b*z - 6*z. Let h = -18 - z. Is h a composite number?
False
Let d be -6 + 11/2 - (-18)/4. Suppose -d*g - 111 = -3663. Let m = 1829 - g. Is m a prime number?
True
Let y = -156 - -163. Suppose -5*d + 25295 = -y*f + 2*f, 3*d + 5*f - 15201 = 0. Is d composite?
True
Let c(w) = -8 - w + 9 - 403*w + 10. Is c(-10) prime?
True
Is 1591902/468*(2 + -2 + 2) a composite number?
False
Let m = 150423 + -58220. Is m composite?
False
Let s(t) = 4265*t**2 + 451*t + 11303. Is s(-26) a composite number?
False
Let f(x) = 49135*x**2 + 78*x - 47. Is f(6) a composite number?
False
Suppose 0 = 13*l - 1031782 - 446955. Is l a composite number?
False
Let g(b) be the first derivative of -4*b - b - b + 22 + 3*b + 176*b**2. Is g(2) a prime number?
True
Suppose -1203*g + 1212*g - 9 = 0. Suppose -1487 - 2053 = -3*c. Is g/(-2 + (-2)/c*-1182) prime?
False
Let c(z) = 1308*z + 117. Let i be c(7). Is 3/((45/i)/5) a composite number?
True
Let j = -37939 - -68180. Is j a composite number?
False
Let w(z) = -17133*z**3 + 8*z**2 - 4*z - 46. Is w(-3) composite?
False
Let k be -3 - -1 - (2 - 8). Let n(c) = 4760*c - 201. Is n(k) prime?
True
Let v(g) = -8*g**3 + 115*g + 6. Is v(-13) prime?
True
Is (4 + 102)*((-6931)/(-6) - (-48)/(-72)) a prime number?
False
Let q(y) = 2*y**3 - 9*y**2 + 17*y - 51. Is q(6) a prime number?
False
Let b = -30 + 35. Suppose -b*v + 58 = -52. Is ((-6)/27*-3)/(v/33297) prime?
True
Let p = 59466 - 25598. Suppose -p + 135545 = 17*a. Is a a prime number?
True
Suppose 4*v - 450340 = -3*n + 516231, -5*n + 483303 = 2*v. Is v composite?
False
Let z(n) = 468*n**3 - 9*n**2 - 5*n + 251. Is z(8) composite?
False
Let c(j) = -2509*j + 11. Let f be c(7). Is ((-3)/6 - -2)*f/(-24) prime?
True
Let c(g) = 4221*g**2 + 35*g + 37. Is c(-6) a composite number?
False
Suppose -3*c + 18 = -3*u, -c - 9 = -3*u + 7*u. Suppose 4*b + 6 = 2*b, -c*b = 3*d - 24. Suppose -d*i - 8817 = -14*i. Is i a prime number?
True
Suppose 3*o - 22527 = -4*f - 3940, -4*o - 23195 = -5*f. Suppose -a - 12515 = -5*u, -5*a = 4*u + f - 14655. Is u prime?
True
Let a be (16/(-16))/(2*(-2)/4). Let y(z) = 1205*z + 7. Let x be y(a). Suppose 8*n = 4*n + x. Is n a composite number?
True
Let s = 48 - 46. Suppose 10 = s*z, -k = -2*z - 3*z + 15. Suppose k*r - 8869 = 7071. Is r prime?
False
Let b = 71944 - -39243. Is b a composite number?
False
Suppose 60*c + 5651829 = 87*c. Is c a prime number?
True
Let m = -5392 + 2490. Let l = m - -6691. Is (-1)/((-7)/l) - (-2)/(-7) a composite number?
False
Let m be 1122/(-21) - (-12)/28. Let j = m + 47. Is j + 3 + 1*2212 prime?
False
Suppose -3*f = 27, -1285*f - 120566 = -i - 1282*f. Is i a composite number?
False
Is 1285/10*(75 - 29) a composite number?
True
Suppose 0 = 3*k + 503 + 1387. Let t = 208 - k. Is t composite?
True
Let a = 178 - 102. Suppose a*j - 30*j - 208886 = 0. Is j prime?
False
Suppose 0 = 5*a + 5*g - 1915910, 0 = -a + 5*g + 269959 + 113265. Is a prime?
False
Let s(v) = 11*v - 22. Let d be s(2). Suppose 2*h - 2*l - 414 = d, -3*l = -19*h + 15*h + 824. Is h a composite number?
True
Let o(h) = -h + 2100. Let g be o(0). Is 4 + -2 + -1 + g prime?
False
Suppose 10*w = 26*w + 112. Is (-21728)/(-10) - ((-144)/20 - w) a composite number?
True
Let b(t) = -2*t - 32. Let u be b(-17). Suppose s + 8 = u*l - 3*s, -4*l + 40 = -2*s. Suppose -l*q + 116 = -184. Is q a prime number?
False
Suppose -2*x - 5*g + 11271 = 0, -385*g + 2 = -383*g. Is x composite?
True
Suppose 21*x = 329*x - 19472068. Is x a composite number?
True
Suppose -165 = -34*v + v. Suppose -v*z - 3247 + 20567 = -5*n, 0 = n - 2. Is z composite?
True
Let a(o) = 34*o - 28. Let p be a(1). Let k(h) = 21*h**3 + 4*h**2 + 9*h - 13. Is k(p) composite?
False
Let f(c) = -20*c + 4*c**3 + 6*c**2 + c**2 - c**3 - 2*c**3 - 14. Let n be f(-9). Suppose -5*u = -3*b - 6*u + 4443, b = -n*u + 1481. Is b a prime number?
True
Let g = -51 - -52. Suppose -3*s + 113 = -g. Let p = s - -119. Is p composite?
False
Suppose -4*w + o = -1597, o + 4 = -1. Let y = 123 + -118. Suppose -5*n = y*h - 735, 5*n - w = h + 325. Is n a composite number?
True
Let t(u) = -22*u - 159. Let b be t(-8). Is 13659*(b/18 - 1)*-6 composite?
True
Let z(w) = 16470*w**2 - 52*w + 143. Is z(3) composite?
True
Let m(f) = -135*f + 74. Let o be m(-2). Let p = 2505 - o. Is p a composite number?
False
Suppose 4*f + 4*i = 2*i + 46, 3*f = 2*i + 31. Let k = -3064 - -7166. Suppose -f*m + k = -2355. Is m composite?
False
Suppose -78365 - 394513 = -5*h + 2*c, 2*c = 2*h - 189156. Is h composite?
True
Let p(q) = 890*q**2 - 165*q - 816. Is p(-5) composite?
False
Is (18/(-21) - 19507917/(-231)) + 8 composite?
False
Let s(r) = 19*r**3 - 4*r**2 - 2*r + 7. Suppose -2*m + 4 = -z - 6*m, 2*z - 3*m = -8. Let i be 9 + (-8 - z - 1). Is s(i) a prime number?
True
Is 64761/(-12)*(-31)/((-155)/(-20)) a prime number?
True
Let a(b) = 96*b**2 + 3 - 1 + 65*b**2 + 6 + 24*b. Is a(-7) composite?
True
Suppose -2*k + 1385840 = -2*f, -2156*f + 692905 = k - 2152*f. Is k prime?
True
Suppose -152039 = -3*c - 2*r, c = -2*r + 48973 + 1700. Is c a composite number?
False
Let s(j) be the third derivative of -11/3*j**3 + 0 + 20*j**2 + 0*j - 3/2*j**4. Is s(-13) composite?
True
Let q(l) = -l**3 + 5*l**2 + l - 1. Let h be q(5). Let c(p) = 367*p + 34. Let f be c(h). Is f*(-5 - (-68)/8) a composite number?
True
Suppose 3*f = t + 210631, 0*f - 3*f + 210637 = 2*t. Is f a prime number?
False
Let i be 1110/12*68/(-1). Is (i/15)/((-28)/(-12) - 3) a prime number?
False
Let n be 2 + ((-2)/4)/(2/(-4188)). Suppose -2*y + 4*r = -y - 338, -3*y + 5*r + n = 0. Suppose -y = -5*v + 567. Is v a composite number?
True
Suppose 28*y - 7*y - 9807 = 0. Let s(n) = -2*n - 7. Let m be s(-5). Suppose -4*w = j - 5*j - 488, -m*j + y = 4*w. Is w a composite number?
True
Let o(x) = -x**2 - 8*x - 4. Let q be o(-7). Let w be (1 - q)/(211/212 - 1). Suppose -4*n + 228 = -w. Is n a prime number?
True
Suppose 2*z - 74813 = -5*m, 0 = -0*z - 3*z + 4*m + 112185. Is z composite?
True
Let o(w) = -w**2 - 2*w + 7. Let f be o(-4). Let l = f + 18. Let q(r) = 25*r + 20. Is q(l) prime?
False
Let p(h) = -h**2 + 13*h - 32. Let m be p(4). Suppose 3*a - 40620 = m*l - 4519, 60153 = 5*a + l. Is a a composite number?
True
Is 151233*(14 + (-25 - -12)) a composite number?
True
Let q(t) = -t + 8. Let u be q(3). Suppose 0 = -2*p - u*p + 21. Suppose -p*z = -9*z + 4254. Is z composite?
False
Suppose 0 = 2*t + 20 - 6. Is (2 + (-10)/4)/(t/153678) a composite number?
True
Let f = 2 - 35. Let i = -30 - f. Suppose -i*t + 1611 = -0*t. Is t a prime number?
False
Suppose -x - 2*b + 1 = 0, 9*x - 5*x + 3*b - 4 = 0. Let g(h) = 2352*h**3 + 6*h**2 - 3*h + 2. Is g(x) a composite number?
False
Let p be (-43031)/3 + (-26)/(-39). Let c = 21530 + p. Is c a composite number?
False
Let k = 14 + -11. Suppose 5*r = 10, k*b - b - 3*r = 0. Suppose -p + b*p - u = 982, 5*p = 3*u + 2457. Is p prime?
False
Let d(s) = 383*s**2 + 3*s + 2. Let g be d(-4). Let y be (-140672)/70 - (-3)/5*1. Let o = y + g. Is o a prime number?
False
Let q(y) = 90*y + 11. Let l(