). Let a = m + 2001. Is a prime?
True
Let x = -21257 - -40116. Is x a composite number?
False
Let c = 187987 - 77804. Is c composite?
False
Let h = -52887 + 92636. Is h a prime number?
True
Let l(t) = -1187*t**3 + t**2 - 1. Let m be l(-1). Let u be 0 + 1 + (-491 - -48). Let n = u + m. Is n a composite number?
True
Suppose 15057 = 4*d + 2*u + 3*u, 5*d - u - 18814 = 0. Let i be (-4)/8*22 + -1917. Let z = i + d. Is z prime?
False
Suppose -7*o + 14 + 7 = 0. Suppose -4*x = o*g - 1620, -5*g - 1652 = -4*x - 0*x. Suppose 0 = -l - k + x, 0*k = -5*l - k + 2060. Is l a prime number?
False
Is (8/(64/1644136) + 5)/(1 - -1) a composite number?
False
Let a(d) = d**3 + 3*d**2 + 2*d + 3. Let f be a(0). Suppose -2*s + 5797 = h, f*s - 8688 = -h - 2*h. Is s a composite number?
True
Let r = -2 - 4. Let k be (0 - -3) + -6 - r. Suppose 3*u + 5*q = 2*u + 141, k*q - 137 = -u. Is u prime?
True
Let u be ((-672)/40)/(2/(-30)). Suppose 0 = l - 4*y - 55, -3*l + y - 43 + u = 0. Is l a prime number?
True
Suppose -3*o + 3*h = -31341, 0 = o - 4*h + 413 - 10842. Is o composite?
False
Suppose -127*o = -86*o - 7726327. Is o a prime number?
False
Suppose -5*b + 0*b = -20. Let z = -3265 + 3269. Suppose -z*g + 2375 = -b*s + 3*s, s + 2968 = 5*g. Is g a prime number?
True
Suppose -25162*h = -25161*h - 13649. Is h a prime number?
True
Suppose 2*r + 34 = -5*b + 13, 4*r = 3*b + 23. Suppose 2*k - d - 1071 = 0, -r*k - k + 1601 = 4*d. Suppose -8*f = -5807 + k. Is f a composite number?
False
Suppose -v + 4*k = 4*v - 20770, 0 = -v - 2*k + 4140. Suppose -6*d + v = 4*d. Is d a composite number?
True
Let p(s) = 5*s**2 + 32*s - 3275. Is p(54) a prime number?
True
Suppose 5*x - 689564 = -5*q + 1138526, 4*q + 731266 = 2*x. Is x prime?
False
Suppose r = 3*i - 5, i = 2*i - 3*r + 9. Suppose -i*m + 13*t = 17*t - 3385, -2262 = -2*m - 4*t. Is m prime?
True
Suppose -2*m - 5*x - 21 = 0, -2*m - 4*x = -0*m + 16. Let l(q) = 634*q + 9 - 5 + 3 + 4. Is l(m) a prime number?
True
Let a = 4480 + -867. Let i = a - 1039. Suppose 4*d + 2*s - i = 0, 4*d + 3*s = -d + 3220. Is d prime?
True
Let g = 642 + -642. Suppose 2*t - 41498 = -4*x, -t + 2*x + g*x = -20737. Is t a prime number?
True
Suppose 0 = -z - i + 6 - 2, 2*i = -2. Suppose 0 = -z*u + 73 + 12. Suppose 3*f - u = 88. Is f prime?
False
Let b be (0 - 7)*160/(-112). Suppose 254202 = -b*a + 36*a. Is a a prime number?
False
Let f = 379531 + -200022. Is f composite?
True
Suppose 13 - 53 = -5*y + 5*l, -3*y - 4*l = -59. Suppose -26189 = -y*v + 43140. Is v prime?
True
Suppose 4*p = 3*y - 6, -2*p = 2*y + 10 - 0. Let c be 5 - (-5 - 102/p). Is 752/c*-31*3/2 prime?
False
Let y be (-56)/12*(-5805)/(-6). Let b = y + 6593. Suppose 660 = -2*z + b. Is z prime?
True
Let j(t) = -11*t**2 + 7*t - 9. Let a be j(3). Let o be 1*(2 + -1) + a/3. Let n = 93 - o. Is n prime?
False
Suppose h + h - 6 = 0. Is 3/(-3)*(2183 + h)*-1 composite?
True
Let k(y) = -2*y + 27. Let l be k(5). Suppose -l*z + 638 = -15*z. Is z composite?
True
Suppose -5*l = 3*y - 60, 0 = 3*l + 5*y - 23 - 29. Suppose -4*w + l*w + 35 = 0. Is 6 + 28/w + 329*1 composite?
False
Suppose 1171703 = 47*q - 328443. Is q prime?
False
Is -4*-173564*(-9)/(-144) composite?
False
Let c = 98990 - 386324. Is (c/21)/(-2) + (-2)/7 prime?
True
Let l(h) = 80*h + 6. Let u(y) = 2*y**3 + y**2 - y. Suppose -5*i - 22 + 27 = 0. Let p be u(i). Is l(p) prime?
False
Let b(s) = -s**2 + 12*s - 17. Let u be b(10). Suppose 0 = u*m + 5*c - 3432, 4*m + 0*c - 4587 = -3*c. Is m composite?
True
Let q(g) = 8764*g + 5. Let f be q(1). Suppose -23*t = -26*t + f. Is t a composite number?
True
Suppose 0 = 4*b - 6*b + 7*b. Let d be -1 - -5 - 0/(-1). Suppose b = d*l - 52 - 48. Is l a composite number?
True
Let q = -404 + 438. Suppose 235186 = q*p - 20*p. Is p prime?
False
Suppose 1852058 = 3*w - m + 5*m, -5*m - 1234736 = -2*w. Suppose 34*g = -8*g + w. Is g a prime number?
True
Let r = -24150 + 106429. Is r a composite number?
False
Let x(o) be the first derivative of -81*o**2/2 - 104*o - 63. Is x(-29) prime?
False
Let x = 29515 - 9542. Is x composite?
False
Let z(p) = p**2 + 9*p - 7. Let m be z(-10). Is 1770 + -3*m/9 a prime number?
False
Suppose 0*b - 5*r + 2182 = b, 3*b = -4*r + 6491. Is b a composite number?
True
Let u(m) = -891*m + 1868. Is u(-133) a composite number?
False
Let y be (6/9)/(8/(-12)). Is y/(2*1/(-16982)) a composite number?
True
Suppose 3*o - 45 = -3*i, 4*o + 4 = 3*i - 48. Let s(a) = -14 - 8 + 22 - 11 + 35*a - 8. Is s(i) a prime number?
True
Is 1036566/12*(-68)/(-102) a composite number?
False
Suppose 3*c = -c - 5*h + 286161, 3*c - 214621 = -4*h. Suppose -14*f + c = -25159. Is f prime?
True
Let b(t) = -t**2 + 800*t + 164. Is b(75) prime?
True
Let w be 30/(-9)*(-3 + (-36)/8). Let t(q) = 172*q + 403. Is t(w) prime?
True
Let o = -42 - -44. Let w(b) = b**2 - 3*b + 5. Let j be w(o). Let m = j + 12. Is m a composite number?
True
Let n(s) = 69*s**2 + s + 14. Let i be n(19). Let u be (-2777)/(-3)*(-45)/3. Let m = u + i. Is m a prime number?
True
Let a(d) = 5 + 2*d + 4*d - 4*d. Let n be a(0). Suppose -3129 = n*j - 8*j. Is j a composite number?
True
Suppose -g = -4*t + 8*t - 180117, 0 = -g - 8*t + 180097. Is g a prime number?
True
Suppose 0 = 25*w - 24*w - 46269. Suppose 15*b = 24*b - w. Is b prime?
False
Suppose 2*p - 8099 = -5*a, -4*a + 28009 - 7719 = 5*p. Suppose -7*j + 11191 = -p. Is j prime?
True
Let w(p) = -3*p + 49. Let g be w(10). Suppose g*r - 8*r = 24519. Is r a composite number?
True
Suppose -5*q - 5*z = -60, -5*z = q + 7 - 39. Suppose -q*g = -14*g + 49. Suppose g*c - 5197 = 2*c + 4*u, 0 = 5*c + 3*u - 5211. Is c composite?
True
Suppose -16*v - 16 = -20*v. Suppose -4*b - 1804 = -4*j, v*j - b - 1804 = -2*b. Is j a prime number?
False
Suppose -180 = -5*g + 4*a, -2*g - 3*g - 5*a + 180 = 0. Suppose -4*i + g = 8*i. Suppose -5*s + 2*s + 5*x + 6848 = 0, i*s - 6898 = -5*x. Is s composite?
True
Let o be 7 + 1 - (1 + -1). Let w(c) = -110*c + 80. Let v(y) = 111*y - 91. Let x(i) = -5*v(i) - 6*w(i). Is x(o) prime?
False
Suppose v - 4*m = -15, 2*v = m + 2*m - 5. Suppose 2*l - l = 5, 4*o = -v*l + 81. Suppose -o*t - 485 = -15*t. Is t a prime number?
False
Is (-12)/2 - (-39361 + -3*(-12)/(-9)) composite?
False
Let o be (21/6)/((-2)/12). Let s(j) = 137*j**2 + 10*j + 45. Let g be s(-9). Is g/28 + (-6)/o a composite number?
True
Suppose 20 = 5*h, 948*h = 4*o + 950*h - 1381524. Is o prime?
True
Let x be 0/(5 + -15 + 11). Let w(p) = -p + 12. Let q be w(12). Suppose q*k + k - 685 = x. Is k a prime number?
False
Suppose 0 = r - 5*m - 13612, r - 4*m + 9*m - 13662 = 0. Is r composite?
True
Suppose -33*p + 42*p = -50643. Let o = p - -11790. Is o a composite number?
False
Let w(h) = 19139*h**2 - 17*h - 31. Is w(-2) a composite number?
True
Let p be (-84*2)/(-8) - (-1 - -7). Suppose 3*w - 169717 = -13*y + p*y, 0 = -4*w + 4*y + 226296. Is w composite?
False
Let g(t) = -t**3 + 10*t**2 + 3. Let o be 28/8*(-40)/(-14). Let k be g(o). Suppose 4415 = 3*j - 4*u, j + 4419 = 4*j - k*u. Is j prime?
False
Let f(c) be the third derivative of -c**6/6 - 3*c**5/20 - c**4/12 - c**3/6 + 114*c**2. Is f(-12) a composite number?
False
Suppose 56*m - 50*m + 14652 = 0. Let x = 6691 + m. Is x a composite number?
True
Suppose -50*k - 2665367 = -13450117. Suppose -6*a = 40489 - k. Is a composite?
False
Let t(f) be the third derivative of 3*f**5/20 - f**4/2 + 40*f**3/3 + 46*f**2. Is t(11) a composite number?
True
Let f(h) = 1605*h**2 + 272*h - 6952. Is f(25) a composite number?
False
Suppose -9*g + 32 = -g. Suppose 4812 = 4*f + g*t - 9*t, -4*t + 2406 = 2*f. Is f a prime number?
False
Let l(y) = -728*y**3 - 3*y**2 + 12*y + 19. Let k be l(-4). Suppose -k = -5*x + 2*o, o - 11491 = 2*x - 30098. Is x prime?
False
Let l = -256 - -886. Let d(i) = 59 + 16 - 18 - 122*i - l*i. Is d(-6) a composite number?
True
Let i(d) = 93*d**2 - 40*d - 6. Is i(7) prime?
True
Let w(l) = 1973*l**2 + 1. Let u be w(-1). Let d = u - -2729. Is d a composite number?
False
Suppose 171*c - 820751 - 1010630 = -11086. Is c composite?
True
Let x = 2191674 - 42437. Is x a prime number?
True
Suppose -a - z = -37, -3*a - 2*a - z = -193. Suppose 0 = -9*k + 12*k + 4*v + 872, -5*k - 3*v = 1435. Let x = a - k. Is x a composite number?
True
Let s(x) = x**3 - 11*x**2 - 6*x + 59. Let k be s(11). Is (5*k/(-105))/(3/118323) a prime number?
True
Let z