518 - -861145. Is l prime?
True
Let n(k) be the first derivative of 50*k**3/3 + k**2/2 + 16*k + 1. Let c be n(6). Suppose -4*g + 14 + 2 = 0, -2*v + c = 2*g. Is v prime?
True
Let x = 50 + -52. Is (x/4)/(16/32)*-3793 a prime number?
True
Suppose 5*w = 3*n + 633 - 211, 2*n = -4*w - 252. Is 2*n/(-8)*(-61 - -75) a composite number?
True
Suppose -r + 2324 + 2331 = 0. Suppose 0 = -i - r + 14848. Is i composite?
False
Is 14185/(-3)*-87 + (-4)/(-2) a composite number?
True
Let o(f) = f**2 - 7*f - 4. Let h be o(8). Suppose a + 8 = h*b, -3*b = 5*a - b - 26. Suppose -5*l + 10 = -a*n, 3*n = 4*l - 2*n - 8. Is l a composite number?
False
Let p be (-22 - 2)/4 + -2. Let g be p/20 - (-24)/10. Is (g/(-4))/(5/(-4710)) composite?
True
Let h be -375*1*(-1)/(-3)*-8. Let v = h + 901. Is v prime?
True
Let g = 7656105 + -4989748. Is g prime?
False
Suppose 2*y = 3*f - 44, -y = -4 + 2. Suppose 3*r - 7*r = -f. Suppose j + r*j - 5*c - 10890 = 0, 10920 = 5*j + 5*c. Is j a composite number?
True
Let d(k) = 769809*k**3 + 2*k**2 + 62*k - 64. Is d(1) a composite number?
True
Let m = 106 + -101. Is (-1 + 1250)/(-5 - (-1 - m)) prime?
True
Let n = -274 + 272. Is (47*1)/((-22)/(-3630)) + n a prime number?
True
Suppose -l - 10 = -0*l. Let t(a) = -3*a**3 + 10*a**2 - 26*a - 13. Is t(l) a prime number?
False
Suppose -59*x + 626330 = -12*x - 1854471. Is x a composite number?
False
Suppose -348774 - 1892446 = -20*n. Is n composite?
False
Let c = 805 + -1615. Suppose -9607 = 5*x - 2192. Let p = c - x. Is p a prime number?
True
Let l = -117951 + 238304. Is l a composite number?
True
Suppose -28 = 2*q - 32, 6454 = -n - 2*q. Let v = n + 11535. Is v prime?
True
Let h = -53216 + 95347. Is h a prime number?
True
Is 1317 - (-6 + 6 - 2) a prime number?
True
Is ((-278007)/(-9) - -3)*(152/16 - 8) prime?
False
Let k(q) = 123*q - 857. Let g be k(7). Let b(z) = -6*z**3 + 6*z**2 + 2*z**3 + 8*z + 1 + 3*z**3. Is b(g) a prime number?
False
Let o be (33 + -34 + (1 - -3))*-1. Is (-261590)/(-42) + (-8)/o + -2 prime?
True
Suppose -2*q - 872 = -906. Suppose -7*k = -q*k + 11190. Is k a prime number?
False
Suppose 3*a = -5*i - 6 + 1, -3*i = -2*a + 3. Let n(d) = 44. Let s(v) = v**2 + v - 1. Let z(g) = i*n(g) + s(g). Is z(19) a prime number?
False
Let u(v) be the first derivative of 253*v**2/2 - 243*v - 270. Is u(28) prime?
True
Is ((-5)/90*6)/(9/(-6451353)) composite?
False
Let z(b) = 179*b**3 - 3 - 87*b**3 - 95*b**3 - b**2. Is z(-7) a prime number?
True
Suppose 0 = 4*y + 2*g - 3676610, 2*g = -5*y + 5618655 - 1022894. Is y prime?
False
Let d be (2 + -2)/(3 - 4). Suppose d = 7*m + 71 + 48. Let s(o) = o**3 + 16*o**2 - 20*o + 4. Is s(m) composite?
True
Let o be (-16)/(-4) - 10831/1. Let w = -6110 - o. Is w a prime number?
False
Suppose 0 = -2*m - 3*i + 43, 0 = -2*m - 4*i + 48 - 0. Suppose m*b = 4242 + 1036. Is b prime?
False
Let s(p) = -15*p**3 - 14*p + 21. Let v be s(-11). Suppose 22*f = v + 84162. Is f a prime number?
False
Let o(d) = 132*d**2 + 210*d + 239. Is o(34) a composite number?
True
Suppose -4*z = -2847 - 1345. Let s = z + -741. Is s a composite number?
False
Suppose -5*j - 20 = -3*s, -2*j = 2*s - 8 - 16. Suppose -3*h - s = 2. Is (h/8 + 0)*-194 composite?
False
Suppose -2*h - 3*b + 6*b = -2242, -2*b = -4*h + 4492. Suppose u - 5*u = -h. Let q = 486 - u. Is q a prime number?
False
Suppose -23*p + 99371 = 3*c - 28*p, -5*c = -3*p - 165629. Is c composite?
True
Suppose 2*v = -21 - 31. Let g be (15 - 16)/(1 - (-28)/v). Suppose 14*p - 4073 = g*p. Is p prime?
True
Suppose -8*r = -7*r - 5. Suppose 0 = 3*y + n + 2894 - 9759, -y - r*n = -2279. Suppose -5*m = y - 6334. Is m a prime number?
True
Let w = -4478 - -9424. Suppose 3*b - 15245 = -w. Is b composite?
False
Suppose y - 3*w = 49765, -4*w = -2*y - 25642 + 125164. Is y a composite number?
True
Let v(x) = -x**3 + 13*x**2 + 12*x + 21. Is v(9) prime?
False
Let y(h) = -h**3 + 9*h**2 + 19*h + 5. Let w(f) be the third derivative of -f**5/60 - 13*f**4/24 - 16*f**3/3 + 24*f**2. Let u be w(-7). Is y(u) a prime number?
False
Let g(b) = 1253*b + 6. Let r(a) = -a + 14. Let v be r(9). Let q(x) = -1252*x - 7. Let h(o) = v*q(o) + 6*g(o). Is h(1) composite?
False
Let k(y) = -2*y**3 - 63*y**2 - 29*y + 68. Let g be k(-31). Suppose 10177 = g*i + 3199. Is i a composite number?
False
Is (33/(-4) + 0)*10004612/(-1077) composite?
True
Suppose 0 = -3*v + 4*m + 621711, 78*m - 76*m + 12 = 0. Is v a prime number?
False
Let s be ((-42274)/(-3))/((-6)/(-9)). Suppose -s = -9*c + 22990. Is c composite?
False
Is (-5)/(-7) + 34395072/336 a composite number?
False
Is (-1 - (-2222460)/25)*(-15)/(-9)*3 composite?
False
Let d = 1590443 - -655236. Is d a prime number?
True
Suppose -95*h + 31*h - 989771 = -6529035. Is h a prime number?
False
Let j = 895 - -106938. Is j composite?
True
Let t(a) = -2*a**2 - 29*a - 27. Let r be t(-12). Suppose 10*l - r = 7*l. Suppose -9994 = -l*y + 555. Is y prime?
False
Let d = -41104 + 68961. Is d a prime number?
False
Let s(l) be the third derivative of -l**6/20 - l**5/20 - 3*l**4/8 - l**3/6 - 17*l**2. Suppose -4*r = 3*n + 34, 1 + 3 = -r. Is s(n) a composite number?
True
Let a(h) = 5*h**2 - 10*h + 14. Suppose 0*t = -2*u - 4*t - 36, 5*u + 2*t = -74. Let f be -3 + 12/4 + -2 - u. Is a(f) prime?
False
Let z = -851430 + 1219399. Is z composite?
True
Let p(w) = 944*w + 5. Let f be 194/22 - (-2)/11. Is p(f) prime?
True
Let n(l) = 27*l + 2. Let p be n(-3). Let x = p + 81. Suppose -x*h = -2*r - 1646, 2464 = h + 2*h - 2*r. Is h a composite number?
True
Suppose 29731155 + 14904370 = 275*d. Is d a prime number?
False
Let o = 6964 - 5853. Is o a composite number?
True
Let g(x) = 833*x + 3089. Is g(4) prime?
True
Suppose -106*a = -121*a + 336390. Is a a composite number?
True
Let m = -14106 - -72005. Is m composite?
False
Let l = 7 - -1. Let m be (3 + 1)/2 - (0 - l). Suppose -11*n + 163 = -m*n. Is n a composite number?
False
Let j(o) = -43*o + 1937. Is j(-3) prime?
False
Suppose 6*d - 36627 = -6039. Is d a composite number?
True
Suppose -z - 5 = 0, -2*z - 284399 - 707215 = -4*d. Is d composite?
False
Let a(m) = -97*m + 85. Let l(i) = -93*i + 85. Let j(s) = 3*a(s) - 4*l(s). Is j(20) composite?
True
Let n(s) = -s**3 + 6*s**2 + s - 4. Suppose 10*u - 375 = 15*u. Let t be (3/5 - 1) + 120/u. Is n(t) composite?
True
Let n = -2405 + 462. Let k = n + 4434. Is k prime?
False
Suppose 4*a - a = 3*o - 75, -2*a - 2*o = 30. Suppose -3*g + 40 = g. Is (-4228)/a + (-4)/g prime?
True
Suppose -4*a = -6*a - 2642. Let n = -690 - a. Is n composite?
False
Let z = -18 - -20. Let j(t) = 6 + 2*t - 4*t**2 + z*t**2 - 4*t + t**2. Is j(0) composite?
True
Let j(d) be the first derivative of 2*d**2 + 31*d - 26. Let m be j(9). Suppose 0 = -68*i + m*i + 1841. Is i a prime number?
False
Is -17 + (1 - 7) + 110604 a prime number?
True
Let v = -303 - -303. Is v + (3341 - (-18)/3) a composite number?
False
Let q(s) = 4*s**2 - 2*s + 19. Let u be q(0). Let f(k) = 24*k - 18*k - 12*k - 16 - u*k. Is f(-7) prime?
False
Suppose 2*h + 3*h + 5*o = 40, 5*o - 25 = 0. Suppose 2*m - 3565 = -3*j, h*j - 2 = j. Is m prime?
False
Let m(i) be the third derivative of 29*i**5/60 - i**4 - 13*i**3/6 - 11*i**2. Is m(6) composite?
False
Let j = -71 + 74. Suppose -3*w = j*i + 36, -w + 8 = -0*w - 3*i. Is (590/6)/(w/(-21)) composite?
True
Suppose 6*d = 819042 + 161082. Suppose 155598 = 4*p + 2*h, -d - 31139 = -5*p + 2*h. Is p prime?
False
Let t = 147887 + -84828. Is t prime?
True
Let i = 263 - 273. Let c(y) = -5*y**3 - 9*y**2 + 11*y - 23. Is c(i) composite?
False
Let m = 18916 - -14287. Is m a prime number?
True
Let v be (-263614)/(-65) + 2/5. Let j = v - 2088. Let m = 2945 - j. Is m a prime number?
True
Let y = -28 - -28. Suppose 8*n - 2*n = y. Suppose n = -z + 555 + 844. Is z composite?
False
Let p(y) = -20*y - 284. Let h be p(-17). Is ((-4)/2)/8 - (-109606)/h a composite number?
True
Let l(d) = -1045*d - 719. Is l(-30) a composite number?
False
Suppose 4*m + 6 = -x, 8*x + 5*m = 3*x. Let b(u) = 1037*u**3 + u**2 + x*u - 7*u**3 + 746*u**3 - 2. Is b(1) a composite number?
False
Let m = 299 - -645. Suppose -4*f = -5*t + 2*t - 680, 0 = 4*t + 4*f + m. Let x = t - -347. Is x a prime number?
False
Suppose -5*d + 7465 = -5560. Suppose 244 + 308 = -2*w. Let z = d + w. Is z a prime number?
False
Let x(t) be the first derivative of t**4/4 - 10*t**3/3 +