*n = -2*r + 503. Is r prime?
False
Let s be 2/(-8) + (-98463)/(-92). Let j = s - -297. Is j a prime number?
True
Let i(o) = 261*o - 346. Is i(37) prime?
True
Suppose 0*s + 5*s = -5*x + 40, -2*x = -3*s - 6. Let h = x - -175. Is h prime?
True
Let o(k) = 5*k**2 - 12*k + 14. Is o(-11) a prime number?
True
Let x be (-1)/10*4*-5. Suppose 0*u = x*u + 112. Is -3 + 0 - 4*u composite?
True
Let v be (-20)/(-8)*(-16)/10. Let i(t) = -4*t + 1 - 3*t**3 + 0*t**3 - 4*t**3 + 3*t - 5*t**2. Is i(v) prime?
True
Let x(p) = 24591*p**3 + p + 1. Is x(1) composite?
False
Suppose -2*v - q = -25322, -2*q - 21206 = -2*v + 4104. Is v a prime number?
True
Suppose -19519 = -10*v + 94141. Is v a composite number?
True
Let t(h) be the second derivative of -h**3/6 + 11*h**2/2 - 5*h. Let z be t(-5). Suppose 0 = z*o - 12*o - 1324. Is o a prime number?
True
Suppose -2*g - 3*c = -3*g + 2084, 3*g = -c + 6242. Is g composite?
False
Let d(m) = 3*m**3 - m**2 - 3*m + 2. Let b be d(2). Let g = 14 - b. Is 521/(-3)*-3 + g a prime number?
False
Let b(x) = 6*x**2 - 2*x - 45. Is b(11) a prime number?
True
Suppose 0 = 80*x - 400819 - 390941. Is x composite?
True
Let c = -30 - -29. Is ((-6548)/(-20))/(c/(-5)) a prime number?
True
Let b be (-2)/(-4)*8 + -1. Suppose b*j - 941 = 3160. Suppose -j + 385 = -2*h + 5*f, -2*h + 4*f = -982. Is h prime?
True
Let r = 1 - 70. Suppose -7*d + 2*d + 50 = 0. Let l = d - r. Is l a composite number?
False
Let m(n) = -2451*n - 422. Is m(-23) a prime number?
False
Suppose 14*b - 401321 = 248601. Is b a prime number?
False
Let z = 66 + -64. Suppose -2222 = -2*n + 5*g, z*n + 4*g = -0*g + 2258. Is n a prime number?
False
Suppose 39*z - 27*z - 44988 = 0. Is z prime?
False
Suppose -f = -7*f + 42. Suppose -5*r + f*r - 1366 = 0. Is r a composite number?
False
Let f(g) = 9196*g**2 - 8*g - 5. Is f(-1) a prime number?
True
Is (-6 - -17919)/3 - 0 a prime number?
False
Let s(d) be the second derivative of -7/6*d**3 + 1/12*d**4 + 0 - d - 5/2*d**2. Is s(-5) a prime number?
False
Let y(v) = -v**3 + 9*v**2 - 5*v - 34. Let l(b) = -b**2 - b - 1. Let w(a) = 3*l(a) - y(a). Is w(14) a prime number?
False
Suppose 90444 = 44*j - 32*j. Is j composite?
False
Let l(h) = h**2. Let k(i) = -3*i**2 + 13*i - 13. Let j(d) = -k(d) - 4*l(d). Let u be ((-20)/6)/((-5)/(-15)). Is j(u) prime?
True
Let m(u) = -446*u + 199. Is m(-50) a composite number?
True
Suppose -16*x + 12386 = -318062. Is x prime?
False
Let m = 70 + -157. Let f be (m + 6/(-3))*-3. Suppose 0 = w + 2*w - f. Is w a composite number?
False
Suppose 3*z - 2*o - 6217 = -0*o, -3*z + 3*o + 6219 = 0. Is z composite?
True
Let l(h) = -2*h**3 - 3*h**2 + 11*h. Let y be l(-5). Suppose -2*f + y = 2*n, -2*n = -5*f - 4*n + 291. Is f prime?
False
Let w(b) = -63*b**3 - 5*b**2 - 4*b - 2. Let u(p) = -127*p**3 - 11*p**2 - 9*p - 4. Let z(r) = -2*u(r) + 5*w(r). Is z(-2) a prime number?
False
Suppose -2*a = 2*n, 5*n + 3*a = -a + 3. Suppose -426 = -n*o + o. Is o composite?
True
Let u be ((-2022)/4)/(9/(-12)). Let p(i) = -19*i - 83. Let s be p(20). Let y = s + u. Is y a prime number?
True
Suppose 5*l = -0*c - c + 10, 2*c + 4*l - 8 = 0. Suppose -2*n + 2 = c, 2*n - 10 = 4*i - 2340. Is i a prime number?
False
Let z = 6536 + -3658. Is z composite?
True
Suppose 2*i = 1 + 7. Suppose -x - 5*d + 9 = 0, 9 + 4 = i*x - 3*d. Suppose -x*b = -b - 633. Is b a prime number?
True
Let v(b) = -b**2 + b + 201. Let d be v(0). Suppose -5 = 5*a, -2*a - d = -i + 63. Is (1/2*i)/1 composite?
False
Let p(g) = 3*g**3 - 4*g**2 - 44*g - 10. Is p(13) a composite number?
False
Suppose -u - 84 = -4*j - 15903, -4*j = 4*u - 63196. Is u prime?
True
Let j(b) = 3*b - 1. Let l be j(-3). Let h be l/(-3)*(-18)/(-12). Suppose -h*o + 6*t = 3*t - 406, -4*t = 2*o - 178. Is o composite?
False
Let a = 33 + -30. Let j(t) = a + 33 - 15 + 3*t**2 - t**2. Is j(11) prime?
True
Suppose -2*n - n = 0. Suppose n*i = 3*i - 987. Is i a composite number?
True
Let l(n) = -2*n**3 - 13*n**2 - 2*n - 32. Let m be l(-11). Suppose m = 3*d - 1516. Is d prime?
False
Let q(k) = -6*k - 1. Let m be q(-4). Suppose -r + 19 = -4*y, -m = -4*r + 3*y + 66. Is r prime?
True
Let z(r) = 214*r**3 + 2*r**2 - 4*r - 5. Is z(3) a prime number?
True
Let m = -38256 + 57827. Is m a composite number?
False
Let v be (-428)/(-3)*3/2. Suppose -23*h + 112 = -7*h. Suppose h*x - v = 31. Is x prime?
False
Suppose 4*n = n + 12. Let z be (-6)/2 + 76 + n. Let s = -30 + z. Is s composite?
False
Let k(g) = g**2 + 8*g - 2. Let x be k(-8). Let d be 4/x*(0 + -1). Suppose -27 = -2*n - l, d*n - 3*n = 2*l - 12. Is n a composite number?
True
Suppose 16*b - 767 = 177. Is b a prime number?
True
Let w be 2/(1*(-4)/(-8)). Suppose w = -q, m + 2*q - 497 = 6*q. Is m a prime number?
False
Let c be ((-56)/70)/((-1)/5). Suppose -2*r = c*x - 33 - 1, -r - 3*x = -15. Suppose o = -0*o + r. Is o prime?
False
Let q(f) = -14*f + 401473. Is q(0) a prime number?
True
Suppose 2 = 2*r - 2. Let g(z) = 14*z**2 - 4*z - 5. Let w be g(6). Suppose w = r*v + c - 359, -3*v + 4*c = -1273. Is v a prime number?
True
Suppose 3*z - 4*m - 12615 = 0, -2*z + 2*m + 8405 = m. Is z composite?
False
Let d(j) = 559*j**2 - 3*j + 7. Is d(2) a composite number?
False
Suppose -3*p = 4*p + 21. Is (-6)/9 + (-5687)/p composite?
True
Is 10*34/(-8)*1370/(-25) a composite number?
True
Let o be ((2 - 5) + 3)/1. Let z(q) = -q - 6. Let b be z(-8). Suppose o*v = -b*v + 212. Is v prime?
False
Let j = 9 + -42. Is (-752)/(-3) + (-11)/j a composite number?
False
Suppose -4*x - 67 = 3*v, 23 = -3*x + 3*v - 22. Let s be ((-33)/(-22))/((-6)/x). Is (-2 - -4)*382/s a composite number?
False
Suppose 5*y = 4*y + 4. Let z(u) = u**3 - 4*u**2 - 3*u - 5. Let k be z(5). Suppose 3*h + k*x = 107, y*h = -h - x + 171. Is h prime?
False
Is 7 + 1 - (-47 + -56068) prime?
True
Let k = 42305 + -24120. Is k a composite number?
True
Let h(p) = 3*p**2 + 19*p - 5. Let w(l) = -2*l**2 - l. Let g(b) = -h(b) - 3*w(b). Is g(10) prime?
False
Let y(f) = -f**2 + f - 67. Let n be y(0). Let a = 1250 - n. Is a a prime number?
False
Suppose 0 = 4*n - n - 6. Suppose -9 = -z + n*f, 5*f - 10 = z - 5*z. Suppose -4*p = -z*t - 442, p - 115 = 2*t - 3*t. Is p composite?
False
Let y be 120/28 - (-4)/(-14). Let w be ((-412)/y)/(2/6). Let l = 466 + w. Is l a composite number?
False
Suppose -448*x = -447*x - 4534. Is x a composite number?
True
Suppose 5*r - 6*r = -1. Is r*(4*349 - (-5 + 4)) composite?
True
Let a = 10353 - 7138. Is a a composite number?
True
Suppose -326 - 660 = -2*v. Suppose -42*k + 43*k = v. Is k a composite number?
True
Suppose 4*d - 145769 = -3*w, 66208 = 5*d + 5*w - 116002. Is d prime?
False
Let z = -215 + 1416. Is z prime?
True
Let b(u) = 197*u**2 - 24*u - 72. Is b(17) a prime number?
True
Let u be 1*(-1 - -8) - -1. Let t(d) = 48*d**2 - 18*d + 94. Let i be t(4). Is (-4)/(-1)*i/u a prime number?
False
Let j = -20957 - -44676. Is j a prime number?
True
Suppose s = -2*a + 8, 3*s - 4*a + 1 = -5. Let b = 803 - 664. Suppose s*p = 3*x - 443, -5*x - p + 608 + b = 0. Is x a composite number?
False
Let u(g) = 2715*g + 694. Is u(21) a prime number?
True
Suppose -6 = -3*z + 2*z - 2*s, 2*s - 30 = -4*z. Let r = -26 + 92. Suppose 6*k = z*k - r. Is k prime?
False
Suppose 0 = -10*f + 5*f - 75. Let i = f - -22. Let y(w) = 7*w**2 - 12*w - 5. Is y(i) prime?
False
Is (-11)/((1/(-3))/(40889/93)) composite?
True
Let l = -2 + 4. Is -419*(l - (3 + 0)) composite?
False
Is 3511*-7*(-4)/28 a prime number?
True
Let s(q) = -55*q - 52. Let z be (-1)/((-2)/(-3 - 43)). Is s(z) prime?
True
Suppose -8*y + 7*y = -2. Let c = y + 0. Is 1*c*(-62)/(-4) a prime number?
True
Suppose 3*w - 4*n = -0*w + 553, 4*w = -2*n + 752. Suppose w = -9*x + 10*x. Is x prime?
False
Suppose 2*i + 938 = -5510. Let k = 5164 + i. Suppose -17*a = -13*a - k. Is a a prime number?
False
Suppose -x - 3*t = -47, -2*x + 5*t - 91 = -4*x. Suppose -39*r + x*r = -191. Is r a composite number?
False
Let l be 1/(-2 + (-6350)/(-3174)). Let i = l + -955. Suppose 7*p - i = 2*p - 3*u, -p + 132 = -5*u. Is p composite?
False
Let q(p) = p**3 + 18*p**2 - p + 13. Let i be q(-9). Let n = 1400 - i. Is n a prime number?
False
Let b(n) = -63*n - 20. Let w = 18 - 29. Is b(w) a prime number?
True
Suppose -m + 28275 + 19825 = -j, -2*m + 4*j = -96206. Is m prime?
False
Let m(u) = -2*u. Let q be m(3). Let s be (-12 + 2)/(q/39). Let f = s -