, 3*d + 449 = -2*h + 2459. Let n = d + -177. Is n a composite number?
True
Let l(c) = 45*c. Let u be l(-2). Let i be ((-28)/(-5))/(3/u). Let s = 373 + i. Is s composite?
True
Let k(b) = -194*b - 1 - 4*b + 4 + 31*b. Is k(-5) prime?
False
Let w be (-15345)/27*(-3)/1. Suppose 0 = 5*u - 2*q - w, -u + 997 = 2*u + 4*q. Suppose u = 3*a - 0*a. Is a a prime number?
True
Suppose -4*s + 30456 = 35*v - 37*v, -3*s - 2*v = -22835. Is s a prime number?
False
Let k(r) = 89*r**2 + 80 - 85 + 7*r**2 + 3*r + 0*r. Is k(4) a prime number?
True
Let b(a) = 24*a**2 + 18*a - 17. Is b(-6) a prime number?
True
Is ((-40)/(-60))/(4*4/88392) a prime number?
False
Let o(b) be the third derivative of -b**4/24 - 5*b**3/6 + 4*b**2. Let z be o(-5). Suppose -938 = -2*t - z*t. Is t prime?
False
Let h(w) = -w**3 - 3*w**2 - 2*w - 4. Let m be h(-3). Suppose 2 = v - m*v. Is 89*(v/1 - -9) prime?
False
Let d = -7022 + 12789. Let s(m) = -m**3 + 5*m**2 + 7*m + 2. Let r be s(6). Suppose d = r*x - 129. Is x prime?
False
Suppose -1368 = 6*g - 3828. Let y be 10/4*4/5. Suppose -y*j = -5*v - 410, -v - v - g = -2*j. Is j prime?
False
Let k(a) = -339*a - 5. Let g be k(-4). Suppose t - g = -4*n - 0*n, 12 = 4*t. Is n prime?
True
Suppose 53*g + 135 = 50*g. Is 12667/8 - g/(-120) composite?
False
Let a be ((-1095)/10)/(-3)*(1 + 157). Suppose 0 = c + 3, 5*i - 4*c = -0*i + a. Is i a composite number?
False
Suppose -2*m = -0*k + k - 9, -k = 5*m - 15. Let h = 6 - m. Suppose 0 = h*y - 84 - 424. Is y a prime number?
True
Suppose 4*f = 26 - 6. Suppose f*d - 58 = 4*t, 2*d - 44 = -3*d - 3*t. Suppose -5*z = -65 - d. Is z a prime number?
False
Is 15/(-10)*(-21928)/12 prime?
True
Let j(g) = -g**2 - 4*g + 10. Let t be j(-6). Let w be (3 + t + 2390)/1. Is w*((-7)/(-3) + -2) prime?
True
Suppose b - 5183 = -5*s + 34293, -2*s - b + 15791 = 0. Is s prime?
False
Let q(k) = 192*k - 73. Is q(10) prime?
True
Let f(h) = -h**3 - 27*h**2 + 15*h - 4. Let m(x) = x**3 + 28*x**2 - 16*x + 5. Let n(o) = -7*f(o) - 6*m(o). Is n(-21) a prime number?
False
Is 3/(-13) + 2408532/546 prime?
False
Let k(q) = -6*q**3 - 2*q**2 + 1. Let j be k(1). Let o(i) = 7*i**2 + 13*i - 1. Is o(j) a composite number?
False
Let a(k) = k**2 - 10*k + 13. Let m be a(9). Suppose -m*v = -7*v - 1698. Let d = -275 - v. Is d a prime number?
False
Suppose 0 = 2*u - 151 - 23. Let x be ((4 - 4)/(-2))/2. Suppose f + 5*q - 85 = x, f - u = -3*q - q. Is f composite?
True
Let j = 2009 + 2750. Is j a composite number?
False
Suppose -4*w + 70 = -5*r - 94, -192 = -5*w + 3*r. Let s be 1 + -4 + 3 + -1 + -16. Let p = w + s. Is p a prime number?
True
Let r = 15 - 19. Let a = r + 131. Is a prime?
True
Let n = -19 - -21. Suppose -4*o + 197 = 5*w, n*o = 3*o - 5*w - 18. Is o a prime number?
True
Let k(o) = 205*o - 5. Let g be k(8). Suppose -151 + g = 2*d. Suppose 4*z - 2*z - d = 0. Is z composite?
True
Let s = 11 + -12. Let b be (-1)/(s/214*1). Let g = b + 133. Is g a composite number?
False
Let w = -306 - -515. Let f be 50749/w + 4/22. Suppose 2*u - f = 551. Is u a composite number?
False
Suppose 7*k - 15*k + 24 = 0. Suppose -k*a + 18186 + 10383 = 3*o, -20 = 5*o. Is a composite?
True
Suppose 4*i + 2 = -r + 4, -3*r = -6. Suppose i = -3*z + 1934 - 173. Is z a prime number?
True
Suppose 7*g + 5 + 30 = 0. Let c = -2 - g. Suppose -3*d + 645 = -3*l, -l - c*l + 860 = 4*d. Is d a prime number?
False
Suppose -8*z + 5*z + 5085 = 0. Let s be (24/9)/((-10)/z). Let m = s - -1009. Is m a composite number?
False
Let b(y) = 3*y + 22. Let w be b(-7). Let g(j) = -58*j + w - 13 + 4. Is g(-9) a composite number?
True
Suppose 6 + 2 = 4*q. Is (q + (-183)/12)/((-1)/44) composite?
True
Let r(h) = 5*h**2 + 17*h + 73. Is r(-20) composite?
False
Let i be 21/7 + (-1 - 2). Suppose i = -7*p + 5*p + 3086. Is p prime?
True
Let z(d) = 252*d**2 + d. Suppose -5*s = 3*s - 40. Suppose 0 = 5*i - s*v + 17 - 2, 5*i - v + 7 = 0. Is z(i) composite?
False
Suppose 19 = 4*q - 5. Let s(v) = 8*v**3 + 7*v**2 + 5*v + 7. Is s(q) prime?
True
Is (1990 + -17)/((-1)/(-3)) prime?
False
Let o = 49052 - 24910. Is o prime?
False
Suppose 8*r - 122569 = 141039. Is r prime?
False
Let c = 791 + -1166. Let z = c - -626. Is z a prime number?
True
Let k(p) = -p**2 - 4*p - 2. Let c be k(-6). Let l = -10 - c. Suppose 331 = l*i - 3*i. Is i a prime number?
True
Let f(p) = 174*p - 8. Is f(3) a composite number?
True
Let d be (12/(-10))/(4/(-10)). Suppose 17 = 3*w - 0*g + 4*g, -3*g = -3*w + 24. Suppose 0 = -3*b + w*b - j - 1729, -2*b - d*j + 847 = 0. Is b a composite number?
False
Let a(u) = -u**3 - 7*u**2 - 10. Let h be a(-9). Suppose 4*o - v + h = 1935, -v = 3. Is o composite?
True
Suppose -5*c - 1152 = -5*z - 45572, -3*z = 3*c - 26670. Is c a prime number?
True
Suppose -6*b + 1320 = -3*b. Suppose -4*q = -b + 132. Is q a composite number?
True
Let r(z) = -2*z**2 + 21*z + 39. Let h be r(12). Is ((-14)/(-28))/((-3)/(-62))*h a prime number?
True
Let n(g) = 8*g**2 - 2*g + 11. Let b(y) = y**2 + 10*y - 7. Let m be b(-11). Is n(m) composite?
False
Let u(o) = 46*o + 1. Let g(p) = 47*p + 6. Let s(i) = -47*i - 7. Let h(r) = 6*g(r) + 5*s(r). Let x(n) = -5*h(n) + 4*u(n). Is x(-6) a prime number?
False
Let b be 2/((-5)/(30/(-4))). Suppose -j + 3 = -2*q + 12, 0 = b*q + 2*j + 4. Is -33*(13/(-3) + q) prime?
False
Suppose 7422 = 25*u - 19*u. Suppose u = m - 172. Is m a prime number?
True
Suppose -3*m = 34 + 125. Let r = -37 - m. Is 2290/16 - 2/r a prime number?
False
Suppose -67*r + 62*r - 15 = 0. Is ((-2)/2)/((9/1506)/r) prime?
False
Let v be (-5)/(0 - 2 - -1). Suppose 0 = -2*q - 3*u + 18, -u = -v*q + 45 + 17. Let i = q - -25. Is i a prime number?
True
Is 4 + (6 - (-1877 - 2)) composite?
False
Let l(k) = -35*k + 81. Is l(-28) prime?
True
Suppose 7*w + 10 = 9*w. Suppose w*o + 3*k = k + 6987, -k + 4192 = 3*o. Is o composite?
True
Let o(l) = 23*l**2 + 39*l + 139. Is o(-23) prime?
False
Let l(q) = -2*q**3 - q**2 - 3*q + 1. Let k be l(6). Is -1*k/10*10 a composite number?
True
Let q = 1948 + -1109. Is q prime?
True
Suppose 3*v - 2*n + 5447 = 17033, 7724 = 2*v - 2*n. Suppose 3*z + 4*r - v = 0, -1309 = -2*z - 3*r + 1267. Is z a prime number?
False
Suppose p + 4 = 3*h, 3*p - 6 = -0*p. Suppose 4*f = -2*s + 18, 4*s = -h*f - 2*f + 48. Let t = 106 - s. Is t a prime number?
False
Let v = -231919 + 363332. Is v prime?
True
Let q(c) = -15*c**2 - c. Let g be q(-1). Is 4/g + 6253/7 composite?
True
Let v = -249 + 2087. Is v composite?
True
Let f(n) = -n**2 - 7*n + 8. Let r be f(-8). Let k(a) = -a**2 + 2*a - 40. Let u(v) = 2*v**2 - 3*v + 79. Let g(t) = 5*k(t) + 3*u(t). Is g(r) a prime number?
True
Is (62 + -75)*241*1/(-1) prime?
False
Suppose -557 = -3*s + 15325. Is s a prime number?
False
Let n(z) = -189*z - 20. Let f be n(2). Let r = 135 - f. Is r prime?
False
Let n(z) = -z**3 + 10*z**2 + 12*z - 4. Let p be n(-8). Let a = 3226 - p. Is a a composite number?
True
Let b = 8688 - 3558. Suppose b = 5*y + 1040. Is y prime?
False
Let k(t) = -654*t - 127. Is k(-14) a composite number?
False
Suppose 0 = -4*w + 4*v + 44, -15 = -6*w + w - 5*v. Suppose -w*s + 804 = -3*s. Is s prime?
False
Is (6 - (4795 - 6))*-1 a prime number?
True
Let p(v) = v**3 - v**2 + v - 1. Let z(x) = 7*x**3 - 12*x**2 + x - 11. Let b(r) = 6*p(r) - z(r). Is b(-6) composite?
True
Let v = 12 - 18. Let l be (28/(-21))/(4/v). Suppose -33 - 256 = -h - l*q, 3*h - 917 = 4*q. Is h prime?
False
Let y be (-1)/(-4) - (-120)/32. Suppose -2*d - 31 = -3*c, -y*d + 1 = 3*c - 0. Suppose -c*m + 785 = -2*m. Is m prime?
True
Let q be 37/37*-10*3/2. Is (-1 - (-1880)/q)*-3 a prime number?
True
Suppose -2*i = -12*i + 26090. Is i a composite number?
False
Let q(w) = -w + 9. Let n be q(7). Suppose 7*g = n*v + 4*g - 2, 2*v - 4*g = 0. Suppose v*m = 2760 - 412. Is m prime?
True
Let f be (0 - -4)/(-8)*2. Let s = 0 - 3. Is 162 + f + s + -1 prime?
True
Let t(k) = 10969*k**2 - 16*k - 40. Is t(-3) a composite number?
False
Let f(q) = -q**2 + 10*q + 1. Let g be f(10). Suppose 5*a = 26 - g. Let x(y) = 3*y**2 + 2*y. Is x(a) prime?
False
Let g(m) = 2*m**3 - 4*m**2 - 2*m - 9. Let n be 30/75 - 33/(-5). Is g(n) prime?
True
Is (21117/9 - -1)/((-42)/(-63)) a composite number?
True
Let g = 69282 - 40933. Is g prime?
True
Let n(w) = -15*w**2 + 24*w - 2. Let s be n(-10). Let j = -123 - s. Is j a prime number?
True
Suppose -2229 = s - 10925. Suppose -9*l + s = -