 = 3*a + 7819. Is a prime?
True
Let w = -1831 + 10482. Is w prime?
False
Suppose -12 - 13 = -5*x. Suppose -1 = -5*w + 4, g - 5*w + 2 = 0. Suppose 3*h + 310 = 4*q - 73, -g*h - 478 = -x*q. Is q a composite number?
True
Let v be 253/33 + 4/(-6). Let f = 1 - v. Is (3 + 23)*(-15)/f a composite number?
True
Let i(l) = 2316*l**2 + 11*l - 10. Is i(1) a prime number?
False
Let s(l) = l**3 + 15*l**2 + 13. Let t be s(-13). Let p = t + 122. Is p composite?
True
Let s be 2337/(-5) - 8/(-20). Let m = 817 + s. Suppose 3*d - 352 = -y, y - m = -d - d. Is y a composite number?
True
Is (-130)/(-65)*(0 - (-518)/4) composite?
True
Suppose 74838 - 282178 = -28*k. Is k composite?
True
Let t = -8059 - -15960. Is t a composite number?
False
Suppose o - 7 = 2*m, -m + 0*o - o = -1. Let t(z) = -42*z**3 - 2*z**2 - z + 1. Is t(m) prime?
True
Let r = -1880 + 3174. Is r prime?
False
Let b be 1/(-1)*0/1. Suppose b = 5*m + m - 978. Is m prime?
True
Let i = -181 - -166. Let b(c) = 31*c**2 - 33*c + 11. Is b(i) a prime number?
True
Let g(j) = j**3 + 4*j**2 + j + 1. Let u be g(-4). Is 1657*u/(-3) + (-6)/3 a composite number?
True
Suppose -6*g + 4*g + 8224 = 0. Let a = g + -2155. Is a composite?
True
Is (-14441)/(((-4)/(-6))/(4/(-6))) prime?
False
Let z = 29 - 27. Suppose 3*i - 72 = z*c, 4*i - i - 5*c = 81. Is i a composite number?
True
Suppose 2*n - 8*c - 68398 = 0, 3*n - 92601 - 10035 = -c. Is n prime?
True
Let r(f) = -27*f**2 - 16*f - 15. Let k be r(-6). Is k/(-2) - 3/(-2) a prime number?
False
Let s(l) = l**3 - 2*l**2 - 2*l - 2. Let m be s(-2). Let h(d) = -5*d - 17*d - 10 + 1 + 3*d. Is h(m) a prime number?
True
Let i(w) = w**3 - 8*w**2 - 6*w - 5. Let o be i(9). Let x be ((-4)/(-5))/(o/55). Suppose 5*n + 130 = x*v, -3*v - 283 = -8*v + 2*n. Is v composite?
True
Suppose -4*q + 59881 = 5*x, -5*q + x - 45939 + 120783 = 0. Is q a composite number?
False
Let h(p) = 7*p**2 - 5*p + 19. Let y be h(10). Let a be 3/(4/((-16)/(-6))). Is (y/(-6))/(a/(-4)) a composite number?
False
Let a(t) = -t**2 - 20*t + 21. Let u be a(-21). Suppose u = 4*j + 2*w - 3820, 8*w - 3*w + 3792 = 4*j. Is j prime?
True
Let b(j) be the third derivative of j**6/120 + 7*j**5/120 - 3*j**4/8 - 2*j**3/3 - 4*j**2. Let z(c) be the first derivative of b(c). Is z(-7) a composite number?
False
Let b(p) = 11*p**2 + 119*p + 169. Is b(-30) a prime number?
False
Let l(w) = 66*w**3 + 4*w**2 - 7*w + 6. Let n be l(4). Suppose -d - 1000 + n = 3*j, 25 = 5*d. Is j composite?
False
Let d = 12374 + 2367. Is d a composite number?
False
Let y(t) = 659*t**2 + 25*t + 16. Let g(a) = -165*a**2 - 6*a - 4. Let q(n) = -9*g(n) - 2*y(n). Is q(-1) a prime number?
True
Suppose 0 = 714*p - 719*p + 59465. Is p a prime number?
False
Suppose 0 = 3*z - 3*r - 411, -z - 4*r + 292 = z. Suppose -z = v - 5*v. Is v composite?
True
Let f(h) = 12*h**2 + h + 3. Suppose -10*x + 5*x = 0. Suppose 0*k + k + 4 = x. Is f(k) a prime number?
True
Let d = 85 - 145. Let c = -35 - d. Let a = c - -1. Is a a prime number?
False
Suppose 58*b - 3885 = 37*b. Is b prime?
False
Let z(m) = 101*m**2 - 3*m - 3. Let a(v) = -v**2 - 2*v + 1. Let q be a(1). Is z(q) composite?
True
Suppose 5*c + 2070 = -m, 0 = -3*m - 5*c - 7463 + 1283. Let p = m + 2962. Is p prime?
True
Let r(f) = -4*f - 3. Let b be r(-2). Suppose 2*z - b*w - 445 = 0, 4*z + w = -4*w + 965. Is z composite?
True
Let k(u) be the first derivative of u**7/420 - u**5/20 + u**4/24 - 2*u**3 - 6. Let v(y) be the third derivative of k(y). Is v(6) a prime number?
True
Let i(r) = 94*r**3 - 4*r**2 + 12*r - 9. Let t(m) = 94*m**3 - 5*m**2 + 15*m - 11. Let q(o) = 4*i(o) - 3*t(o). Suppose -v + 3 - 1 = 0. Is q(v) composite?
False
Let q(j) = 2*j**2 - 14*j + 105. Is q(23) prime?
False
Let r(p) = -26*p**3 - 2*p**2 - 20*p - 101. Is r(-7) a composite number?
True
Suppose -3*z + 0*z = 1080. Let t = 713 + z. Is t prime?
True
Let q = -34 + 38. Is (102/(-9))/(q/(-30)) a prime number?
False
Let a = -408 - -709. Let r be (-2)/10 - (-123)/15. Let c = a - r. Is c prime?
True
Suppose 5*m + 4*q = 13, 0*q + 4*q = -4*m + 12. Let o be ((-4)/3)/(m/(-6)). Is 1250/o + (-3)/(-4) composite?
False
Suppose -a - 2*q + 27 = -9, -2*q - 66 = -2*a. Suppose a*z = 31*z + 447. Is z prime?
True
Let s(w) = w**3 - 9*w**2 - 21*w - 5. Let d be s(11). Suppose -d*l = -191 - 1531. Is l a composite number?
True
Let l(f) = 478*f**2 - 2*f + 3. Let t = 41 + -40. Is l(t) prime?
True
Suppose d + 2*g + 4 = 3*d, -5*g - 16 = d. Is d/(0 - 1/685) prime?
False
Let m = 6093 - 2652. Suppose -17*s + m = -14*s. Is s a prime number?
False
Suppose h = -3*i + 19, 0*i + 4*h = -5*i + 34. Let t be 2/(-4)*(-2 - -2). Suppose -i*j + 2*j + 212 = t. Is j a composite number?
False
Is (137 + -138)/(19726/(-9862) - -2) a prime number?
True
Let p(d) = 53*d**3 + 26*d**2 - 3*d - 9. Let g(t) = 18*t**3 + 9*t**2 - t - 3. Let i(l) = 11*g(l) - 4*p(l). Is i(-4) a composite number?
True
Let g = -13 - -13. Suppose g = t - 1, -7*t + 979 = 2*j - 2*t. Is j a composite number?
False
Let v(f) = -f**3 + 6*f**2 + f - 5. Let g be v(6). Let m(c) = 123*c**2 - c - 1. Is m(g) prime?
False
Let d(g) = g**2 - 6*g + 5. Let p be d(3). Let b(x) = x**2 + 4*x + 6. Let l be b(p). Is (-41)/2*(-60)/l prime?
False
Is 3/(-2)*(-225596)/147 composite?
True
Let h = 2311 + -1224. Is h prime?
True
Let z = -66 + 223. Let v = z - 30. Is v prime?
True
Let z(f) = 391*f - 1. Let h be z(1). Suppose 0 = -2*s + 5*u + 28, 3*u + 16 = -2*s + 3*s. Suppose -182 - h = -s*x. Is x prime?
False
Suppose -4*p + 156 = 2*p. Suppose -4 = -2*s, -4*a - s + p = 2*s. Suppose d - 48 - a = 0. Is d a prime number?
True
Let s be 81/108 + -1013*1/(-4). Let f(w) = 2*w**3 - 2*w**2 - 3*w + 3. Let b be f(2). Suppose 2*x + 4*o = s, 6*o - o = b*x - 650. Is x a composite number?
True
Let x(i) = -9889*i - 4. Is x(-3) prime?
True
Let z = 23 - 33. Let p(m) = -212*m + 33. Is p(z) a prime number?
True
Let y be ((-540)/(-81))/((1/3)/1). Let f = y + 13. Is f prime?
False
Suppose -167*q + 168*q - 3*o = 67202, 0 = -4*q + o + 268841. Is q a composite number?
False
Suppose -78*h + 57*h = -617673. Is h composite?
True
Suppose 13686 = 2*h + 2*d, -2*h + 21806 = 4*d + 8116. Is h prime?
True
Let c(b) = -1401*b - 517. Is c(-46) prime?
True
Let n = -23 + 27. Let r(k) = 10*k**3 - 2*k + 9. Is r(n) prime?
True
Suppose 5*o - 3*o = -3*z + 5813, 0 = 5*o + 4*z - 14515. Is o prime?
False
Suppose 0 = -12*n + 15*n - 6. Suppose n*r - 6 = 0, 3*d + r - 2538 = 6*r. Is d a prime number?
False
Let i be (6*24)/4*(-66)/4. Let a = -403 - i. Is a prime?
True
Suppose 0*v + m = -4*v + 5, -3*m = -3*v. Suppose 3 = -5*b + 4*h - v, -h = 4*b - 1. Suppose 2*l + b*l - 370 = 0. Is l prime?
False
Let h(f) = 90*f**3 + 18*f**2 - 28*f - 15. Is h(8) a composite number?
False
Let t = -660 + 1211. Suppose -1005 = -4*o + t. Is o a composite number?
False
Let r(j) be the second derivative of -j**3/6 + 19*j**2/2 + 9*j. Let n be r(12). Suppose -i = n*i - 2344. Is i prime?
True
Suppose -4*d - d + 1450 = 0. Let y = 525 - d. Is y prime?
False
Suppose 0 = -25*b + 8670 + 1705. Is b prime?
False
Suppose 6*g - 100863 = 3*g. Is 1/4 + g/28 composite?
False
Suppose -7*i - 7 - 63 = 0. Let w(r) = -105*r + 11. Is w(i) a prime number?
True
Let n = 8 - 4. Suppose 0 = 6*j - n*j - 2566. Is j a prime number?
True
Let y(k) = k**3 + 5*k**2 - 15*k - 7. Let z be y(-8). Let h = -30 - z. Is h a prime number?
False
Let v(j) = -17*j**2 - 1. Let h be v(-1). Let k = -20 - h. Let b(l) = 192*l**2 + 6*l + 7. Is b(k) composite?
True
Let j(z) = z + 12. Let r be j(-6). Is r/(-15) + (-48)/(-20) a composite number?
False
Let p = -49695 - -118674. Is p composite?
True
Suppose 2*q - 28 = -1234. Let p = 968 + q. Is p prime?
False
Let m(h) = -146*h - 29. Let b be m(-4). Suppose 0 = 40*s - 37*s - b. Is s a composite number?
True
Suppose -3*b - 5*k + 1254 = 0, -2*k = b - 7 - 412. Let f be ((52/91)/((-2)/7))/(-1). Suppose 0 = p - 5*p - 4*t + 1592, -f*t - b = -p. Is p prime?
False
Let a be 10/10*3/(-1). Let n be (a + 242)*3 - -1. Suppose 0*h = 2*z + 2*h - n, 0 = -5*z - 4*h + 1794. Is z a composite number?
True
Let z = 15286 - 9563. Is z a prime number?
False
Suppose r = -2*h + 3, 4*r + 5*h - 7 = 2*r. Let b be (3 - r) + -3 + 132. Suppose 0 = s - b - 47. Is s prime?
False
Let c be (-2)/7 - 55108/(-161). Let v = 661 - c. Is v a composite number?
True
Let r(u) = -3189*u - 8. Let x be r(