= h - -3392. Is z a prime number?
True
Suppose 2*q = y + 173, -22*q = -3*y - 19*q - 504. Let h be (-1778)/(-2) + 1/1. Let o = h + y. Is o prime?
True
Let c = 47092 + -6791. Is c prime?
False
Suppose 1 = -j + 3. Suppose -j*i - 2 = -6. Suppose -i = u - 16. Is u composite?
True
Is (-9)/6*(-36092)/21 a composite number?
True
Let q be (75/20)/((-3)/(-8)). Let k(x) = 2*x - 12. Let c be k(q). Is 20 + (-4)/(c/2) a prime number?
True
Suppose 4*i = -3892 + 11216. Is i prime?
True
Suppose 5*k = 3*q + 8*k - 16668, 2*q + k - 11113 = 0. Is q a composite number?
False
Suppose -3*n + 2*n + 3*m + 9 = 0, -n - 4*m = -2. Let i be 12/n*6/4. Suppose 4*r - 5*c = 4403, c + i = -0*c. Is r a prime number?
True
Let a(n) = 43*n**3 - 33*n**2 - 4*n + 17. Is a(5) a prime number?
True
Let a(s) = -3*s + 2. Let m be a(-2). Is (716/2)/(m/44) a composite number?
True
Let w(o) = 2*o**3 - 3*o**2. Let d be w(2). Suppose 3*y + 2 = -d. Is 369*(7/3 + y) a prime number?
False
Let w be ((-30)/40)/(2/(-8)). Suppose 0*q + 207 = w*q. Is q composite?
True
Suppose 0*a = 3*u - a - 15, 2*u + 4*a = 10. Suppose -2*i = 2*n - 3*i - 2844, 5*n - u*i - 7105 = 0. Is n a composite number?
False
Let r(o) = o**3 + 7*o**2 + 7*o + 10. Let w be r(-6). Suppose -z - 4*z + 13 = j, -w*z + 3*j = 1. Suppose -3*d + 2195 = z*d. Is d a prime number?
True
Let u(j) = 42*j + 6. Let k be u(16). Let n be 4 - k/(12/(-4)). Suppose -r = -6*r + n. Is r prime?
False
Is (13/(26/6964))/(0 + 2) composite?
False
Let f(m) = 84*m + 16. Let v be f(15). Suppose 4*o - v = -4*p, 5*o + 4*p - 696 = 899. Is o composite?
True
Let m = -94 + 96. Suppose -4*w + m*i = -4023 + 475, 3*w + i = 2661. Is w composite?
False
Suppose 2*n = 2 + 6. Suppose -1648 = -4*d - d - 3*j, n*d = -j + 1317. Is d composite?
True
Let v(k) be the second derivative of -k**3/6 + 39*k**2/2 - 2*k. Suppose 0 = -18*n + 13*n. Is v(n) a composite number?
True
Let x be (2 - (-12)/(-10))/(6/(-45)). Let y(r) = -r**3 - r + 5*r + 2*r + 2 - 3*r**2. Is y(x) composite?
True
Let t(v) = v**2 - 9*v + 59. Is t(24) a composite number?
False
Let p = -9 + 5. Let g(y) = 83*y + 15. Let d(r) = 160*r + 28. Let v(n) = -3*d(n) + 5*g(n). Is v(p) a composite number?
False
Suppose 4*a + s = 3863, -a - 4*a + 4860 = -5*s. Is a prime?
True
Let k(m) be the first derivative of -17*m**5/40 + m**4/24 + m**3/3 + 1. Let f(q) be the third derivative of k(q). Is f(-4) prime?
False
Suppose -3*c = 5*r - 97941, 32647 = c - 0*r + r. Is c a composite number?
False
Suppose 4*f - 200758 = -5*w, -4*w = -3*f + 2*f + 50179. Is f prime?
False
Let p(f) = -f**2 - 3*f - 719. Let j = 25 - 25. Let w be p(j). Is w/(-7) + (-2)/(-7) a composite number?
False
Let w = 103689 + -61802. Is w a composite number?
False
Suppose 13*g + 80710 = 27*g. Is g prime?
False
Let d be (-3)/(-9)*(-12 - -3). Let o(h) = 324*h**2 + 4*h + 3. Let s be o(d). Let m = s + -1736. Is m composite?
False
Is -4*(-7)/(-112) - 70349/(-4) a composite number?
True
Let t(d) = 5*d + 4 + 1 - 6 + 3. Let l be t(-1). Is (2331/6)/l*-2 a prime number?
False
Suppose 3*l - 5*l = 26. Let s = l + 15. Suppose 0*m = s*m - 186. Is m a composite number?
True
Is 7/28*(5275 - -1) prime?
True
Let c be (-320)/(-15) + (-2)/6. Is 6/c + 3622/14 prime?
False
Let w(z) = 6*z**2 - 27*z + 433. Is w(46) a composite number?
False
Let j(u) = u**3 + 8*u**2 - 9*u + 7. Let c be j(-9). Suppose 0 = 2*d - c*d - 5. Is (-1 - d - -47)*2 a prime number?
False
Suppose 20*l = 847980 - 195920. Is l a composite number?
False
Suppose 6*p = 5*p + 6989. Is p a composite number?
True
Let f(i) = -3*i**3 - 3*i**2 - 12*i + 11. Suppose -3*d - 1 = 20. Is f(d) composite?
False
Let u = 179 + -116. Suppose 0 = 4*b - u - 381. Is b prime?
False
Let h(k) be the second derivative of 6*k**5 - k**4/6 + k**3/3 - k**2/2 - 5*k. Is h(1) a prime number?
False
Let n = 4201 - -4608. Is n prime?
False
Suppose 2154 - 570 = b + n, -3*b + 4754 = n. Suppose -g - b = -6*g. Suppose -2*x + g = -113. Is x prime?
False
Is 44/(-66) - 17339/(-3) a prime number?
True
Let v(f) = -f + 7 - f**2 - 2*f - 1 - 2. Let o be v(-6). Is 9/(-63) + (-968)/o composite?
True
Suppose 6*h - 123999 = -3*q + h, -3*h - 165332 = -4*q. Is q a prime number?
True
Let z(r) = r**2 - 4*r + 1. Suppose 5 + 5 = 5*a. Let g be z(a). Is (g - (-81 - -2)) + 1 a composite number?
True
Let l(x) = -x**2 + 5*x + 10331. Is l(0) prime?
True
Suppose 3*k = -0*k + 90. Suppose l - k = -2*l. Is l prime?
False
Let f(r) = r**2 - r + 1. Let n(s) = -3*s**3 + 14*s**2 + 3*s. Let b(k) = 4*f(k) - n(k). Let j be b(8). Suppose h + 3*h - j = 0. Is h a composite number?
False
Let z(n) = 2*n**2 - 11*n - 4. Let g be z(6). Suppose 0 = -j + 2*p + 81, 3*j + 4*p - g*p = 203. Is j prime?
True
Let l be (-1)/2*-10*1. Let t(z) = -30*z - 10. Let h be t(-6). Suppose h = 7*v - l*v. Is v composite?
True
Let v be (10 - 3) + 1 + 0. Let n = 7 + v. Suppose t = 5*z - 35, 3*z - t = 6 + n. Is z a prime number?
True
Let a(w) = 8*w - 3. Let q(z) = -16*z + 7. Let t(r) = -7*a(r) - 4*q(r). Let j(y) = 23*y - 21. Let l(k) = 3*j(k) - 8*t(k). Is l(13) a composite number?
True
Let p(j) = 2*j - 3. Let h be p(3). Suppose -3 - 3 = -h*n. Suppose -555 = -n*a - 3*a. Is a a prime number?
False
Let k = -228 + 347. Suppose 4*o - 3*o + v = k, -5*o + 5*v + 595 = 0. Is o prime?
False
Let z(k) be the third derivative of 3*k**5/10 - k**4/6 - 11*k**3/6 + 11*k**2. Is z(5) prime?
True
Let s = -3282 - -8641. Is s composite?
True
Let f = -34 - -36. Suppose t = 2*b + 6*t - 55, 0 = f*t - 10. Is 1963/b + 26/195 a composite number?
False
Suppose -4*h + 7*h - 18 = 0. Let o be 112/3 - (-4)/h. Is -1 - -1*o/1 a composite number?
False
Let u = 20 - 22. Let c be (20/16)/(u/(-8)). Suppose 302 = c*d - 543. Is d composite?
True
Let x(p) = 5*p**3 + p**2 + 18*p - 39. Is x(10) prime?
False
Suppose 2*r - 3*z + 5854 = 6*r, 2*z - 5856 = -4*r. Is r a prime number?
False
Let w be 2/(-10) + (-6108)/(-15). Suppose 0 = 4*f - 5*f + w. Is f a prime number?
False
Let a = 5103 - 1812. Is a a composite number?
True
Suppose 2*b - p - 17 = 0, -3*p = 5*b - 57 - 2. Suppose 0 = -4*g + b - 2. Suppose -5*r + 1637 = g*y - 0*r, -4*r = y - 817. Is y prime?
True
Suppose -c + 28981 = 3*v, -35707 - 12600 = -5*v + c. Is v composite?
False
Suppose 0 = j - 0 - 2. Let h = 13 - 10. Suppose 0 = m + 2*y - 8 - h, -m + j*y = -11. Is m a prime number?
True
Let f be 1/(-6) + (-172)/(-24). Let c be (4/6)/(f/21). Suppose 661 = c*t + 47. Is t a prime number?
True
Let x = 19 + -14. Suppose -o - 2*o + 18 = 0. Let v = o + x. Is v a composite number?
False
Let p be 83/3*(-4 + 7). Suppose -3*w - 3*x + 37 = -5*w, 4*w + 65 = 3*x. Let h = w + p. Is h composite?
True
Let k be (-28000)/(-5) + -4 - 0. Is k/12 + (-2)/6 composite?
True
Let y be 0 + -5 + 2 - -3. Suppose -12 = -2*s - y*s. Is ((-68)/(-6))/(s/99) prime?
False
Let n(a) = -10*a**2 + 6*a - 1. Suppose -o - 4*o - 35 = 0. Let z be n(o). Let u = -282 - z. Is u composite?
False
Let d be (2214/4)/(1/(-2)). Let b = d + 2014. Is b prime?
True
Suppose -4*c = -3*b + c + 96, -4*c = 12. Suppose -2*y - w = -b - 20, -3*y - w = -70. Is y a composite number?
False
Let a = 110442 + -76763. Is a a composite number?
False
Let p = -155195 - -225466. Is p prime?
True
Suppose 3*x - 7*x = 20. Let t(z) = -1196 - 40*z + 597 + 601 + 9*z. Is t(x) composite?
False
Suppose -5*q - 250 = -3*y - 4319, 0 = 3*q + y - 2447. Suppose -6*p + 5*p = -q. Is p prime?
False
Suppose 0 = -4*q + 9*b - 5*b + 4, 4*q = -4*b + 12. Suppose -2*h - q*h + 1112 = 0. Is h composite?
True
Suppose 27715 = -0*m + 5*m - 5*o, -2*m = -5*o - 11098. Is m a prime number?
False
Let q be -57*((-1)/(3 - 0))/1. Suppose -q*n = -10*n - 22689. Is n a prime number?
True
Suppose 3*w + 2*r - 2317 = -318, 0 = 2*w + 4*r - 1330. Is w a composite number?
True
Suppose -3*k - 18030 = -4*r - 4*k, -3*r - 3*k + 13527 = 0. Is r a composite number?
False
Let v be -1 - -2 - -2*(-6)/12. Suppose -5*r - 4*b - 100 = -4069, v = -2*r + 5*b + 1614. Is r prime?
True
Suppose 0 = -5*s - x + 199010, 3*s + 4*x = 6243 + 113146. Is s composite?
True
Suppose -19*x + 15*x = 4*d - 416, -3*x - 5*d + 302 = 0. Is x a composite number?
False
Let p(x) = -x**2 - 3*x + 4. Let r be p(-4). Let w(y) = -y**3 + y**2 - y + 257. Is w(r) composite?
False
Let m(f) = 2*f**2 - 13*f - 21. Suppose 2*t + d = 29, -4*d - 88 = -3*t - t. Let q be m(t). Suppose 2*r - q = -v - 5, -