 prime number?
False
Let m(n) = 4*n**2 - 8*n - 45. Suppose 3*d - 7*p - 60 = -4*p, 5*d - 2*p = 109. Suppose -3*a - d = 10. Is m(a) composite?
True
Suppose 0 = -k - 4*k - q + 31, 0 = 2*k - 3*q - 26. Suppose k*a - 3*a = 8. Suppose 5*x - 10*x = -3*o - 6062, 0 = -a*x + o + 2425. Is x a composite number?
False
Suppose -28 = d + 2*p, -112 = 5*d + 5*p + 33. Is (5444/(-24))/(5/d) prime?
True
Let y be (-4)/16 + (-42027)/(-12). Suppose k = 5*u + 3512, -k - y = -2*k - 5*u. Suppose w - 4*h - k = -2*h, 2*h = -4*w + 14008. Is w prime?
False
Is (382015/3)/(1000/600) a composite number?
False
Let u be (3 - ((-24)/4)/(-2)) + -6. Let v be (-2)/u - (0 - (-8)/(-3)). Is 6935/10 + v/2 prime?
False
Let c = -85015 + 159501. Is c prime?
False
Let n(h) = -h**3 + 15*h**2 - 35*h - 8. Let o be n(12). Suppose o*f + 4*x = 12888, -3*f + 3*x = -8*f + 16102. Is f a prime number?
False
Let d(v) = 9 + 31*v + 2 + 21*v - 7*v. Let a be d(-7). Is (4 - a) + 2 - -4 prime?
False
Let n = -25623 - -195484. Is n a composite number?
True
Suppose 2*b + 9*c = 4*c - 83825, -3*c = 2*b + 83831. Is (-11)/(198/b) + 2/18 a prime number?
False
Let g = 780 - -392. Suppose l - 1227 = 4*h, -2*l + 3*h + 1282 = -g. Is l prime?
False
Let h be -1*(-4)/(-12)*3*0. Suppose 4*a - n - 16803 = h, n - 4197 = -a + 5*n. Is a composite?
False
Suppose 10713128 = -6*h + 58*h + 84*h. Is h prime?
False
Let z be 1580/(-2)*(0 - (-2 + 3)). Let q(m) = -244*m - 1. Let i be q(-2). Let w = i + z. Is w a prime number?
True
Suppose -v - 347 = -l + 1664, 4*v = 2*l - 4014. Let n = -630 + l. Is n composite?
True
Suppose 3*n - 3*y - 194 = n, 4*n = -y + 360. Let s = 95 - n. Suppose -2*o + 3594 = -s*i - 276, 2*o - 3866 = 5*i. Is o a prime number?
False
Suppose 3*u + 28126 = q, -7*q + 5*q + 5*u = -56251. Is q composite?
False
Let g be 10 + -12 - (-9 + -3). Is (g/(-20))/(1/(-11906)) prime?
True
Suppose 3*u - 22 = 20. Let j(o) = 13*o + 26. Let b(c) = 27*c + 59. Let s(d) = -2*b(d) + 5*j(d). Is s(u) prime?
False
Let r(t) = -t**3 + 2*t**2 - 7*t - 7. Let c(h) = h**2 - 9*h - 4. Let p be c(9). Let n be r(p). Is (-142)/3*n/(-6) a prime number?
False
Suppose -3*g = g - 6832. Let t = g - 993. Suppose 0 = 2*c + 2*c + 5*l - t, -900 = -5*c - 5*l. Is c a composite number?
True
Suppose -181*n + 177*n = -48. Suppose -1902 = -n*s + 6*s. Is s a composite number?
False
Let i be 28/(3 + 4) + -478. Let w(l) = l**2 - l + 1. Let p be w(0). Is ((-3)/p)/(1*18/i) prime?
True
Suppose -2*v + 42 = 22. Let d be v/(-5) + (-4)/(8/(-778)). Suppose 3*f + 5*s - d - 409 = 0, -s + 519 = 2*f. Is f a composite number?
False
Let h(l) = -l**2 + 13*l + 142. Let x be h(20). Suppose 3*i - x*y = 25699, -17*y - 8564 = -i - 14*y. Is i a composite number?
True
Is 4 - (-167)/2*(1092 + 10) prime?
False
Let k = 10 + 24. Suppose 1215 = 2*m - f, -4*f - k = -14. Let p = m - 126. Is p composite?
False
Let g(y) = -92*y**3 + 18*y**2 + 46*y + 189. Is g(-16) prime?
False
Let u be (-2 + 5 - 5) + 49. Let o = 95 + u. Let k = 291 - o. Is k composite?
False
Let b = 233275 + -164766. Is b a composite number?
True
Let y(l) = 348*l**2 + 65*l - 26. Is y(11) composite?
False
Let y be (-96)/(-15) - 2/5. Suppose -5*r = -59 - y. Suppose 11*o + 8 = r*o. Is o a prime number?
False
Let a(k) = 11*k**3 - 23*k**2 + 35*k - 7. Let x(p) = 5*p**3 - 11*p**2 + 17*p - 4. Let v = -46 - -55. Let h(s) = v*x(s) - 4*a(s). Is h(5) a composite number?
False
Let m = 190 + -182. Suppose 5*z + 4*s - m*s = 9757, -4*s - 12 = 0. Is z a composite number?
False
Let w be 6/10 - (-2)/(-10)*-17. Let p be ((-9)/18 - 7)*w/(-6). Suppose -3*d = 9, p*s - 5142 = d + 1976. Is s prime?
True
Let v = 22071 + -16900. Is v composite?
False
Is -14 + 25 - 6 - -210526 a composite number?
True
Suppose 3 + 17 = 4*a. Suppose a*y + 551 = -239. Let o = 371 - y. Is o composite?
True
Let b be 1 + 137625/9 + (-2)/3. Suppose -60580 = -8*r - b. Let d = r - 3598. Is d a composite number?
False
Suppose -l + o = -658, 0*l + 2*l + 2*o - 1304 = 0. Suppose q = -2*w + l, 0 = -5*q + 3*w + w + 3261. Is q a prime number?
True
Suppose 0 = 4*f - 16*f + 468. Let x(v) = 73*v - 236. Is x(f) a prime number?
False
Suppose -h = 5, 328257 = 3*f + h - 27181. Is f prime?
False
Let n(b) = -33*b - 33. Let h be n(-9). Let m = -151 + h. Is m a composite number?
False
Suppose 0 = 6*l - 8 - 10. Suppose -b - 2*z = 7, b + l*z = -1 - 2. Is (2399 - 4)*2/b*-3 a prime number?
False
Let m(g) = -6*g**3 + 7*g**2 - 9*g - 10. Let t be m(-8). Suppose 0 = -2*y - 2*z + 3676, 4*y - z - t = 3795. Is y prime?
False
Let x be (-55 + 45)*(-1)/2. Suppose -43*h = -x*h - 541918. Is h a prime number?
False
Suppose 278*u = 269*u + 13185. Is u composite?
True
Let i(p) = p**2 + 3*p - 7. Let v(u) = -2*u**2 - 7*u + 15. Let r(s) = -5*i(s) - 2*v(s). Let d be r(0). Suppose -d*k + 3*k + 298 = 0. Is k a composite number?
False
Let w(h) = h**3 - 36*h**2 + 16*h + 477. Is w(38) a prime number?
False
Let k(b) = -2*b - 1 - 2*b + 26*b**2 - 3*b. Suppose -u = -3*n + 4*n + 4, -10 = 2*n + u. Is k(n) a composite number?
False
Let p(k) = -48*k**3 + 4*k**2 + 3*k - 8. Suppose 0 = -17*b + 2 - 87. Is p(b) prime?
False
Let s be 140/50 - (-1)/5. Suppose -172 = -s*b - 1432. Is -1*(-1)/(1 - b/(-422)) prime?
True
Suppose 8*h + 82 - 98 = 0. Suppose 5*q - j = 33387, 2*q - 7708 - 5642 = -h*j. Is q a prime number?
False
Let l(y) = -y**3 - 17*y**2 - 3*y - 48. Let b be l(-17). Suppose 0 = 4*w - 2*x + x - 8248, b*w = x + 6186. Is w prime?
False
Let q(x) be the first derivative of -3141*x**2/2 + 14*x - 89. Is q(-1) a composite number?
True
Let q be 16/(-56) + 0 + 116/14. Is (q + -12)/((-6)/3921) a composite number?
True
Let z(g) = -g**2 + 12*g - 22. Let i be z(3). Suppose 16925 - 2460 = i*f. Is f a prime number?
False
Let o(u) = -524*u + 17. Let v be o(5). Let w = 698 + v. Let z = -1332 - w. Is z composite?
True
Suppose -42*p - 84*p + 13874994 = 0. Is p prime?
True
Let c = 7030 + 520009. Is c prime?
False
Is 808553*((-156)/26 - -11) prime?
False
Let k = -92836 + 131097. Is k a prime number?
True
Let f = 103 + 5971. Suppose -3*m + 8*x = 4*x - 3627, f = 5*m + 3*x. Is m prime?
True
Suppose 0 = -5*q - 7*n + 2*n + 1454215, 4*q - 3*n - 1163330 = 0. Is q a prime number?
True
Let t(q) = -12*q**2 - 2*q + 5. Let o be t(4). Let u be 339/(-1356) - (-89)/((-45)/(-41) + -1). Let b = u + o. Is b composite?
True
Let f(x) = 8655*x - 779. Is f(6) a composite number?
False
Let n(y) be the first derivative of 4*y**5/5 - 25*y**4/24 - 2*y**3/3 - 5. Let k(j) be the third derivative of n(j). Is k(8) prime?
True
Let d = -1103 + 1713. Suppose v = d + 2287. Is v composite?
False
Suppose 39*l - 5729540 = 5385967. Is l composite?
True
Let q(w) = -w**2 + 18*w + 8. Suppose -p + 6 = -2. Let h be q(p). Let z = 645 - h. Is z prime?
True
Let j(p) = p**2 + 10*p - 1. Let i(b) = b**2 - 9*b + 9. Let u be i(5). Let s be j(u). Is 1957/5 - 4/s prime?
False
Let c(g) = 387*g - 5. Let h(j) = -5*j**2 + 4 - 7*j**2 + 7*j**2 + j**3 - 2*j**3. Let f be h(-5). Is c(f) a composite number?
False
Suppose -125*l + 128*l = 1860. Let n = l + -413. Suppose 5*r + n - 2882 = 0. Is r a composite number?
True
Let u be ((-5)/20*-2122)/((-2)/(-40)). Suppose -2*v = -4*q + 3*v + 8451, -3*v = 5*q - u. Is q prime?
False
Let w be (1053/12)/(4/(-976)) - 1. Let x = w - -35915. Is x prime?
True
Suppose 0 = a - 2*y + 71173, -14*a + 12*a - 3*y = 142332. Is 14*-1*a/42 a composite number?
True
Let c(x) = x - 12. Let b be c(13). Let z be (b - 5) + (-99124)/(-4). Let i = z - 14618. Is i a composite number?
False
Let w = 31 + -34. Let v(c) = 75*c**2 + 2*c + 8. Is v(w) prime?
True
Is -1 + (-18)/(-14) + -114406*(-18)/28 prime?
True
Suppose 3*f = -o + 6, 0*o + 12 = 2*o - f. Suppose o*h + 2873 = p + 2*h, 4*h = 20. Is p a composite number?
True
Let o = 388830 - 245051. Is o a composite number?
False
Let m(b) = b**3 - 6*b**2 + 12*b - 42. Let v be m(6). Let i = -154 + v. Let k = 311 + i. Is k prime?
False
Let i(x) be the third derivative of 55*x**4/24 + 26*x**3/3 - 2*x**2. Let z(y) = 2*y**2 + 43*y - 3. Let u be z(-22). Is i(u) a prime number?
True
Let k(b) = -80*b**3 + 13*b**2 - 59*b - 567. Is k(-10) composite?
True
Suppose -7*t + 38941 = -2*t + 2*x, 0 = -6*t - 4*x + 46726. Is t a composite number?
False
Suppose -13*v + 7264 = -17*v. Let k = v - -4047. Is k prime?
False
Let y(s) = 246*s**2 + 2*s + 2. Let q = 92 + -93. Let r be y(q