*n - 123 = -y. Is y composite?
True
Let v(t) = 809*t**2 + 3*t + 3. Is v(-1) a composite number?
False
Let g(w) = 1121*w**2 + 35*w - 62*w + 2 + 29*w. Is g(-1) composite?
True
Let b = -5597 + 11350. Is b a prime number?
False
Suppose 0 = -4*y + 7 + 1. Suppose -y*k = 5 + 31. Is (156/18)/((-4)/k) composite?
True
Suppose -20*z + 237742 + 42838 = 0. Is z composite?
False
Let h = -167 - -46. Let r = -71 - h. Let g = r - 15. Is g composite?
True
Let f(o) = -5*o + 1. Let i be f(5). Let m be (-1 - 2/(-1))*i. Is ((-534)/m)/(1/20) composite?
True
Let y(b) = 2924*b**2 - 1. Let u be y(-1). Suppose 4*n - 2919 = -5*z, -5*z = -0*z + 3*n - u. Let q = 1056 - z. Is q composite?
True
Is 1982817/116 + 1/(4*-1) prime?
True
Let s = 14 - 48. Let c be (-4)/(-12) + s/(-6). Suppose -3*q + 587 = -2*t + c*t, q = 5. Is t a composite number?
True
Let m = 2218 + 2815. Is m prime?
False
Suppose -2*l - 2*l - 152768 = -4*b, 4*l = -2*b + 76414. Is b a composite number?
False
Let i be 12/3*(-3)/6*-7. Suppose -2*j = 10, 4*b = 9*b + j - 155. Let w = b + i. Is w composite?
True
Is -1*112542/4*(-68)/102 a composite number?
False
Is (-66666)/4*(-228)/171 - -7 composite?
False
Let r(a) = 2378*a + 33. Is r(13) a prime number?
False
Suppose -2*f = 2*a - 0 - 4, 5*f + 3*a = 14. Suppose q = 3*d - 385, -4*d + f*q + 469 = -55. Is d a prime number?
True
Let n(q) = -2*q**2 + 16*q + 10 - q**3 - 6*q + 0*q**2. Is n(-9) prime?
True
Let z(t) = 2*t**2 + 2*t + 2. Let p be z(-2). Suppose 2 = -2*w + p. Suppose -394 = -4*x + w*s, s = 5*x + 6*s - 470. Is x prime?
True
Suppose 3 = -a, 446 = -l + 5*l + 2*a. Let q = l - -44. Is q prime?
True
Suppose 0 = -3*y - 49754 + 124925. Is y a composite number?
False
Let v(c) = 98*c**2 - 15*c + 38. Let z be v(6). Suppose 4*n + 2*s - z = 0, -3*n + 2*s + 4363 = 2*n. Is n a prime number?
False
Let a = 11 + -6. Suppose -a*p + 1290 = -4440. Let j = p - 701. Is j a prime number?
False
Let b(c) = -1216*c + 1. Is b(-45) a prime number?
True
Suppose 10 + 5 = 3*g - 3*x, 4*g - x - 17 = 0. Is 10/g*1578/15 a composite number?
False
Let a(y) = -y**2 - 10*y - 10. Let s be a(-9). Is 1/(s/(-446)*(8 + -6)) a composite number?
False
Let z(u) = 9*u + 3. Let v be z(-1). Let i(a) = -3*a**3 + 7*a**2 + 3*a - 6. Let c be i(v). Let w = -497 + c. Is w a composite number?
False
Let g be 60/4*(-2)/5. Let h be 0/2 + (-3816)/g. Suppose 0 = z + 3*z - h. Is z prime?
False
Suppose -28 = -2*h - 5*h. Suppose -h*q = -1168 - 124. Is q a prime number?
False
Let d(v) = -v**2 - 16 + 3*v + 9*v + 7*v. Let h be d(18). Suppose 2*i + 444 = h*c + 3*i, 2*i + 227 = c. Is c composite?
False
Let a(m) = m**3 - 11*m**2 - 5*m + 3. Suppose 2*b = -5*p - 53 - 67, 5*b - 41 = 3*p. Let w = -10 - p. Is a(w) a composite number?
True
Let x = 251 + -128. Suppose -b - x = -2*b. Suppose 3*j - 2*n - 2*n = b, -86 = -2*j + 4*n. Is j prime?
True
Let p = -4 + 6. Suppose -4*j + g = -7, 4*g - 8 = -3*j + p*g. Suppose 0 = j*h + 54 - 164. Is h a composite number?
True
Let a(g) be the third derivative of -g**5/60 + 5*g**4/24 - g**3 + 5*g**2. Let d be a(3). Is 5*(14 + -3 + d) a composite number?
True
Suppose -3*z = 15, -20 = 5*y - 2*z - 0*z. Let w(v) = -6*v - 3. Is w(y) a prime number?
False
Let d(v) = 49*v + 9. Let k(y) = -33*y - 6. Let t(w) = 5*d(w) + 8*k(w). Let i(n) = -n**3 - 5*n**2 + 2*n + 4. Let o be i(-5). Is t(o) prime?
False
Let y = -15 - -9. Is (-3531)/y - (-6)/12 a composite number?
True
Suppose 2*g + 0*p = -2*p + 616, -3*p = -12. Let l = -113 + g. Is l a composite number?
False
Let j(k) = -12*k**3 + k**2 + 2*k + 7*k**3 + 2*k + 0*k**2 - 7. Is j(-5) a composite number?
True
Let b = 14953 - -8404. Is b a prime number?
True
Let v(f) be the second derivative of -2*f - 19/6*f**3 + 0 + 1/2*f**2. Is v(-3) a prime number?
False
Let g(r) = 91*r**2 + 3*r + 2. Let w = -10 - -8. Let h be g(w). Suppose -5*d + 295 = -h. Is d prime?
True
Let f(n) = -471*n + 2. Let q(j) = 1412*j - 5. Let r(b) = -8*f(b) - 3*q(b). Is r(-1) composite?
False
Let q(j) = j**2 + 9*j - 7. Let i be q(-8). Let g be (-9)/i + (-154)/(-35). Suppose -g*d + 181 + 174 = 0. Is d a composite number?
False
Suppose b - 4607 = -d, d + b - 4605 = -b. Suppose -25*m = -14*m - d. Is m a composite number?
False
Let k be -11*1*(-1362 + 7). Suppose 4*f - 3*c - 12235 = 0, -k - 391 = -5*f + 3*c. Is f a prime number?
True
Let b(u) be the third derivative of -7*u**4/6 + u**3/2 + 3*u**2. Let n(p) = -3*p - 1. Let y be n(1). Is b(y) prime?
False
Let r = -21 + -80. Let i = -1 - r. Suppose t - 735 = -i. Is t a prime number?
False
Let q(w) = 18*w**2 - 3*w - 3. Let y(a) = -a**2 + 5*a - 2. Let u be y(5). Let s be q(u). Let i = s + -44. Is i a composite number?
False
Let f(s) = s**3 - 6*s**2 + s - 1. Let p be f(6). Let d be (p - -1)/(2/2). Let j(q) = q**3 - 5*q**2 - 2*q - 5. Is j(d) a prime number?
True
Suppose 3*z - 1 = 8. Suppose z*m = 236 + 2743. Is m prime?
False
Let r(p) = 25*p - 128*p + 1 - 78*p - 64*p. Is r(-2) composite?
False
Suppose -3*h = 4576 + 524. Let p = 3 - h. Is p composite?
True
Suppose -5*l + 74200 = g + 25217, 0 = 2*l + 8. Is g a composite number?
False
Suppose -37 = -3*h + 770. Is h prime?
True
Suppose -3*p + 5*w + 424 = 0, -4*w + 5*w + 5 = 0. Let v = p - 44. Is v composite?
False
Let n = 70 + -66. Is ((-3022)/n)/(4/(-32)*4) composite?
False
Let j be 12*64/9*75/(-20). Let m = 555 + j. Is m a composite number?
True
Let w(p) = -7*p**2 + 9*p + 7. Let g(j) = 13*j**2 - 19*j - 13. Let q(r) = -6*g(r) - 11*w(r). Is q(7) a composite number?
True
Let w(i) = -i**3 + 17*i**2 + 22*i + 23. Is w(16) prime?
True
Suppose -3*q - 3*n = 9, 5*q - 2*n = -9 - 6. Let f be 4/(4 - 2) + q. Is (-1)/(f/3) + 115 a prime number?
False
Let s = 872 - -1365. Is s composite?
False
Let y(i) = 2180*i + 7. Let m be y(2). Suppose 0 = 5*k + 382 - m. Is k prime?
True
Let a(m) = m**3 - 4*m**2 + 29*m + 123. Is a(16) composite?
False
Let g = 3632 + 2952. Suppose -5*n - 4*x = -2133 - g, -5239 = -3*n + 2*x. Is n a prime number?
False
Let s = -3102 - -16271. Is s a prime number?
False
Let v = -22449 - -36704. Is v composite?
True
Suppose -15*u = 4*u - 123899. Is u prime?
True
Let r(s) = -896*s - 13. Is r(-4) composite?
False
Is 3293*((-8)/(-6))/((-64)/(-48)) composite?
True
Suppose 0 = 50*c + 5*c - 282755. Is c prime?
False
Suppose 594*p - 602*p + 107288 = 0. Is p composite?
False
Let l be -6*3/(-6)*1. Let b be 6068/12 - l/(-9). Suppose 0 = 4*c - 426 - b. Is c composite?
False
Suppose 4*h = 2*x - 6*x + 16244, -12188 = -3*h + 2*x. Let a = h + -2452. Is a/21 + 2/6 a prime number?
False
Let n(f) = 114*f**2 + 35*f - 732. Is n(29) a composite number?
False
Let f = 109 - -100. Suppose 5*b - 3*n = 536, b + 3*n = 3*b - f. Is b prime?
True
Let i = 14 + 2. Let p be i/(-40) + 11897/5. Suppose 0*b - 4*k = -b + p, 2344 = b + 3*k. Is b a prime number?
False
Suppose 0 = 36*h - 46*h + 9340. Is h a prime number?
False
Let o = 13 - 4. Let g(h) = -43*h + 3 + o*h + 4. Is g(-6) prime?
True
Suppose 0 = -5*j + 118 + 7. Suppose 2*v + 998 = 5*v - 5*a, 0 = -5*a + j. Is v a composite number?
True
Suppose 0*n - 2*c - 23 = -n, -2*n + 3*c = -42. Let y be ((-205)/n)/((-2)/(-30)). Let d = -128 - y. Is d prime?
False
Let n(c) = 144*c**2 + 47*c - 10. Is n(-9) a prime number?
False
Is -2*(-8)/(48/74289) prime?
True
Let o = -9 + -7. Let n be 8/o + (-18)/(-4). Suppose -n*t + 6*t + 418 = 2*j, -t + 2 = 0. Is j a prime number?
True
Let y be ((-12)/10)/((-4)/(-120)). Let b be (-19376)/y - (-6)/(-27). Suppose 0 = -2*j + 72 + b. Is j prime?
False
Let u = -270 + 425. Is u composite?
True
Let a = 47548 + -24171. Is a a prime number?
False
Is (-50310)/(-3) - (3/3 - 0) a prime number?
False
Is (-277)/((14/644)/((-1)/2)) composite?
True
Suppose -4*s = -3*m + 2754 + 4127, 0 = -3*m + 5*s + 6883. Is m composite?
True
Suppose 4*n - 1012 = -b, -4*b = -0*n + 4*n - 1024. Is (-3 - -2 - 0) + n prime?
True
Let a(g) = -555*g - 14. Let y be 1*(-6)/(-6)*3*-1. Is a(y) composite?
True
Let j(r) = -r**2 + 9*r + 17. Let q be j(8). Let m = q + -22. Is 1137 - (m + -3 - -4) a prime number?
False
Let j(t) = -16*t**3 - 9*t**2 + 8*t + 9. Let o be j(-7). Is (-93)/(-31)*(1 - o/(-6)) a prime number?
True
Let q be (-12081)/(-5) - 1/5. Suppose -b + 5*b + q = 0. Let c = b + 999. Is c prime?
False
Is 109420/40*(-2 + 4) a composite number?
False
Let v(l) = -549*l - 139. Is v(-6) a composite number?
True
Let