Suppose 0 = -a*f - r + 788, 4*f + d*r = 2*f + 521. Is f prime?
True
Let i(z) = 10*z + 4562. Let n(a) = -11*a - 4562. Let k(b) = -5*i(b) - 6*n(b). Is k(0) composite?
True
Suppose 0 = -4*l - 3*f + 42, 4*l + 4*f = 3*f + 46. Is (-2 - -4)*17562/l composite?
False
Let u be 3666 - (5/1 + 132/(-12)). Suppose -u*t = -3677*t + 59105. Is t a composite number?
False
Let o(q) = -q - 7. Let m be o(-5). Let t be (111/m)/(-3*(-7)/(-560)). Suppose -t = -4*f + w, -3*f - w = w - 1121. Is f prime?
False
Let p(t) = -2*t**3 + 5*t**2 + 4*t - 1. Let l be p(3). Suppose n = l*c - 2, n = 2*n + 4*c - 10. Is 0*2/(-6) + 118/n a prime number?
True
Suppose 119991 = -5*z - 46374. Is (-1)/5 - z/15 prime?
False
Suppose 202*b + 46873669 = 285*b. Is b prime?
False
Let i(w) = -644*w + 29. Let v be i(-33). Let g = v - -3122. Is g a composite number?
True
Suppose 2*f - 3*b = 5, -4*f + 2 = -f + b. Let t be f*3 - 27/(-27). Suppose t*a - 27 = 4441. Is a a composite number?
False
Let r(l) = 4*l**3 + 2*l**2 + 12*l + 1. Suppose 3*y - 4 = -3*b - 1, 0 = 3*b + 2*y - 8. Is r(b) prime?
True
Let f = -1130783 + 1832652. Is f a prime number?
False
Suppose -y = 3*n - 168253, 5*n = -5*y + n + 841243. Is y composite?
False
Let h = 70 + -66. Suppose 3*j + h*g - 56 = 49, -2*g + 6 = 0. Suppose -5*u = 0, 2*t - 357 = -3*u + j. Is t composite?
True
Let l(r) = -1182*r - 33. Let z be l(-6). Suppose -g - 3*v - v + z = 0, -2*g + 14143 = 3*v. Is g composite?
False
Let w = 298 + -286. Suppose -8*s + 16620 = w*s. Is s a prime number?
False
Let u be (-1334)/(-10) - 10/25. Let j(w) = 6 - 1 - 4 + u*w - 4. Is j(2) a prime number?
True
Let i be 255/51 + (1 - 0). Let w be (-2)/(-3) - (-22625)/15. Is w/i + ((-28)/8 - -3) a composite number?
False
Let d = -267 - -259. Is (d + 60/8)*(-1 + -2721) composite?
False
Let u = 13803 + -4624. Let b = u - 6496. Is b a composite number?
False
Is ((-84)/(-8))/(-7)*1394608/(-24) + -2 a prime number?
False
Let f(s) = -11638*s**3 + 7*s**2 - 19*s - 1. Is f(-7) a prime number?
True
Suppose 3*v + s = 48526 + 53352, 4*v = -9*s + 135845. Is v prime?
False
Suppose -p - 61 = -4*n, -p = -5*n - 3*p + 73. Suppose 3*z - 3 = 0, -66*f - 4*z - 2 = -64*f. Is (n/(-10))/(f/406) composite?
True
Let a be 1/(-6)*-3*-958. Let x = -1825 - -1141. Let y = a - x. Is y composite?
True
Suppose -4*w = -3*j - 69, -16*j + 45 = 4*w - 11*j. Is (3/w)/((-13)/(-17355)) a composite number?
True
Is 6/(-159) + 6910089/53 a prime number?
True
Suppose -91193 = -v + 5*b, -b + 455925 = 5*v - 6*b. Is v a composite number?
False
Is 8268 + 8 + 9 + -22 prime?
True
Let u be (-5332)/(-10) + 2/(-10). Let s = -475 - -482. Is (u - s)/(6/21) a prime number?
False
Let c(t) = -124*t - 1. Let w be (4/(-3) - -2)/((-7)/(-42)). Suppose l = -4*y - 10, 2*l - 14 = w*y + 2. Is c(y) a prime number?
False
Let x = -460 - -1131. Suppose -4*u = 5*d + 394 + 1115, 0 = 3*u - 4*d + 1124. Let w = x + u. Is w composite?
True
Suppose 2*l - 450014 + 15111 = 3*n, -l + 217452 = -n. Is l a composite number?
True
Let c(q) = -183*q**2 - 2*q - 2. Let t(d) = 365*d**2 + 3*d + 6. Let y(k) = -5*c(k) - 2*t(k). Is y(-3) a composite number?
True
Let z be (228/30 - 3) + (-3)/5. Suppose 20*i - 21*i = -3503. Suppose -z*c + 8779 = i. Is c a prime number?
True
Let b(d) = 521*d**2 - 316*d - 39. Is b(25) composite?
True
Let g(h) = 3*h - 6. Let s be g(2). Suppose 18*z - 2*d = 13*z - 5605, s = 4*z + 3*d + 4484. Let u = z - -1752. Is u a prime number?
True
Suppose 0*d + 53839 - 14235 = 2*d. Is d a composite number?
True
Let t(a) = -14*a**3 - 2*a**2 - 3*a - 1. Let c be t(-1). Let f be 16/c*(-49)/(-14). Suppose -3*b + f*q - 401 = -4*b, 5*q = b - 392. Is b composite?
False
Is (-9)/12 + 1066665/60 a prime number?
False
Suppose -2*t - 5*y = 0, -4*t = 3*y - 20 - 8. Suppose 5*m + q - 66111 = 0, -2*q - t + 2 = 0. Is m composite?
True
Let v = -8418 - -14402. Suppose 7396 = 5*s - v. Suppose 4*x = 3*d + 2678, -2*d = -4*x + 2*d + s. Is x a prime number?
False
Suppose 2*l + 598 = 596, 5*c = 4*l + 256419. Is c prime?
True
Suppose -i = -2*i + s + 16, -4*s = 0. Suppose 0 = v - 4*z - i, -4*v + 3 = 2*z - 7. Suppose 251 = v*l - 3*d, -4*l + 241 = -d - 0*d. Is l prime?
True
Let p(s) = -s - 29. Let z be p(-23). Let o be z + (-8)/(3 - -1). Is 4515/9 - (o/6 - -1) composite?
True
Let b = -48 - -48. Suppose t = -5*g - 12, t + 4*t + 5*g = b. Suppose 2*s - 745 = -t*s. Is s a prime number?
True
Suppose 1029790 - 13564193 = -101*l. Is l composite?
True
Suppose n + 3*n - 12 = 0. Let t(u) = 1176*u + 102. Let j be t(6). Suppose n*y = -3*y + j. Is y composite?
False
Suppose 3*m + 253 - 283 = 0. Let i(s) = 132*s**2 - 7*s - 25. Is i(m) composite?
True
Suppose -4375 = -2*x - 3*h, 5*h + 4383 = 13*x - 11*x. Is x a composite number?
True
Let k = 5500 + -2766. Let v = -1767 + k. Is v composite?
False
Let c = -13 + 16. Let m be c/(2 + 101/(-52)). Suppose 186 = v + m. Is v a composite number?
True
Suppose -4*b = -8*b + 76. Let s = b + -19. Suppose s = -2*q + 4*r + 458, -4*q + 5*r + 680 = -227. Is q a composite number?
False
Suppose -6*j + 2*j + r = -3330159, -3*r = -2*j + 1665087. Is j composite?
True
Let u(w) = -w - 1. Let x(g) = 120*g**3 + 3*g**2 - 3*g + 5. Let s(v) = 2*u(v) - x(v). Is s(-3) composite?
False
Let z(d) = -6*d**3 - 55*d**2 - 27*d - 39. Is z(-25) prime?
False
Suppose 34326 = 10*v + 10936. Is v*(7 + 0 - 6) prime?
True
Suppose -21*u = -1145534 - 258085. Is u composite?
True
Suppose -18*l + 3025 = -14147. Suppose -6*j - 30 = l. Let g = -99 - j. Is g prime?
False
Let j(y) be the third derivative of 7*y**5/60 - 2*y**4/3 - 5*y**3/3 + 36*y**2. Suppose 3*n + 22 = -5. Is j(n) a composite number?
False
Let s = 4095 + -9298. Let m = -7756 + 7390. Let p = m - s. Is p composite?
True
Let l(x) = -452*x**2 - 6*x - 10. Let m be l(-16). Is m/4*(-28)/42 prime?
False
Is 129651 + -6*8/(-16) + (-7)/(-1) prime?
False
Suppose 0 = -400*g - 166*g + 1163495 + 6801823. Is g a composite number?
True
Let o(s) = -2*s + 30. Let p be o(16). Let u be p*(2 - 10/8)*2. Is (-1 - u)/((-8)/(-8076)) + -2 a composite number?
False
Let l(k) = 63 + 2374*k - 562*k + 64 - 8. Is l(6) a prime number?
False
Let x(k) = -435*k**3 + 6*k**2 + 2. Is x(-2) a prime number?
False
Let i = -262646 + 389911. Is i prime?
False
Suppose 631 + 554463 = 3*s + 5*a, -5*a = -5*s + 925170. Is s prime?
False
Let m = 14591 + -41596. Let u = -17140 - m. Is u composite?
True
Let p be -2 - ((-8)/(-28) - (-458)/14). Let x = p - -45. Suppose -a + 4*t = -x, -3*t + 88 = 4*a - 7*t. Is a a prime number?
False
Suppose -429 = -20*b - 19*b. Suppose -8*k + 262067 = b*k. Is k a prime number?
False
Let y = 19006 - -2641. Is y a composite number?
False
Let r(j) = -7*j**3 - 4*j**2 + 11*j - 11. Let b = 187 - 194. Is r(b) prime?
False
Let c be (-1)/(2/(-10920)) - (19 - 18). Let a = c + -2503. Suppose -2*m + 3*f = -a, -2*m + 7*f = 5*f - 2958. Is m composite?
False
Let b = 8507 + 5073. Let m = b - 6775. Is m prime?
False
Let f(b) be the third derivative of 7*b**5/5 + b**3/2 + 19*b**2. Let d be f(-3). Suppose 7*i - d = 242. Is i a prime number?
False
Let s(v) = -89*v**3 - 7*v**2 + 15*v + 7. Is s(-8) a composite number?
False
Let t(a) = 4944*a**3 + 2*a**2 - 3*a + 1. Let l be t(1). Let z = l - 2047. Is z a prime number?
True
Let t(v) = 306*v**3 + 7*v**2 - 43*v + 35. Is t(8) a composite number?
True
Let k(r) = -354*r - 17. Let d(x) = -x - 5. Suppose 15 = 4*b + 19. Let l be d(b). Is k(l) a prime number?
True
Let q be (-3)/6 + (-75)/(-12)*520826. Is q/150 - 22/275 a prime number?
True
Let f = -28 - -31. Suppose -3*j - 24 = -3*u, 6*j - 16 = -4*u + 2*j. Suppose -2*b - f*l + u*l + 2576 = 0, b - 1289 = 2*l. Is b prime?
False
Let f = -22785 + 34589. Let y = 17385 - f. Is y a prime number?
True
Let x = 5474 - 2423. Suppose 6*j = 5*j + x. Let w = -1904 + j. Is w prime?
False
Is (-10839515)/(-61) - (-16)/488 composite?
True
Suppose -5*w = -3*j - 6, -3*w - 2 = -4*j + 1. Suppose 77 = -0*h - h - j*n, -h - 109 = -5*n. Is 3 + (1 - 11)*h a prime number?
False
Let z = 6 - -115. Suppose -p = -z - 200. Suppose -3*w = -p - 1017. Is w a composite number?
True
Suppose 4*k = -0*k + 20, 5*u - 5*k = -40. Let f(t) = -35*t**2 + 17*t - 21. Let n(h) = 17*h**2 - 8*h + 11. Let m(g) = u*f(g) - 5*n(g). Is m(7) prime?
True
Let o(v) be the first derivative of -12*v + 8*v - 5*v - 5 - 21*v**2. Is o(-5) a composite number?
True
Let y