5 = n*z + 5*w. Is z prime?
True
Let i(u) = 313*u**2 + 5. Is i(2) prime?
False
Suppose -4*w = -221 - 119. Is w composite?
True
Let j = 6 - 3. Suppose 49 = -j*g - 38. Let w = 48 - g. Is w prime?
False
Suppose z - 12 = -2*z. Let x be (-1582)/(-8) + z/16. Suppose -3*g + 173 = 4*m, 8*m - 2*g = 4*m + x. Is m prime?
True
Let f(p) = -p - 8. Let l be f(-4). Let d(n) = -52*n - 2. Let z be d(l). Let m = z - 139. Is m composite?
False
Suppose 4*b - 763 = 561. Is b prime?
True
Let j(l) = -12*l**3 - 3*l**2 - 2*l + 1. Let f(w) = -w**2 - 5*w + 4. Let q be f(-6). Is j(q) composite?
False
Let t = 8 - -4. Let l = 19 - t. Is l prime?
True
Let w(b) = -26*b**2 - 3*b + 3. Let v be w(3). Let k = v + 154. Let y = k + 135. Is y composite?
True
Let r(h) be the third derivative of -11*h**4/8 - 2*h**3/3 - 3*h**2. Is r(-5) prime?
False
Let u(c) = -9*c - 10. Suppose -33 = -o + 4*o. Is u(o) composite?
False
Let j(x) = -5*x**2 + 13*x - 7. Let v be j(6). Let m = -51 - v. Is m a prime number?
False
Let a(w) = -4*w**2 + 5*w + 2. Let x be a(-5). Let r = -86 - x. Is r composite?
False
Is (0 - 1)*353/(-1) composite?
False
Let g(c) be the second derivative of c**4/6 + c**3/3 + 7*c**2/2 - 7*c. Let o = 8 + -1. Is g(o) prime?
False
Let b be ((-18370)/(-20))/((-1)/(-2)). Let f = b + -1094. Is f a prime number?
True
Let u = -1 - 14. Is (10/u)/(2/(-339)) a composite number?
False
Let m = -23 - -32. Let a be (-1292)/(-6) - (-6)/m. Is (-2)/(-10) - a/(-20) prime?
True
Let z = -4 + -2. Let v(d) = -13*d**2 + 27*d - 1. Let j(t) = 7*t**2 - 14*t + 1. Let m(n) = -11*j(n) - 6*v(n). Is m(z) prime?
True
Let q be 1 - 1 - (-644)/7. Let u = -35 + q. Is u composite?
True
Let k(i) = i**2 + 3. Let l be k(-3). Let p = l - 1. Is p a composite number?
False
Let r(l) = l**2 - 5*l - 11. Is r(-10) prime?
True
Let b(q) = 5*q**2 - 4. Let s be b(-5). Suppose 5*r - 514 = s. Is r a prime number?
True
Suppose -4*y - 3*t = 26, -3*y + 5*t + 0 = 5. Let x(u) = -u + 1. Let k(f) = -2*f - 3. Let p(s) = k(s) + 4*x(s). Is p(y) a prime number?
True
Suppose 0 = 4*r + 937 - 5717. Is r prime?
False
Is 3773/9 - 18/81 a composite number?
False
Is 6/8 - (1490/(-8))/1 a composite number?
True
Let d(o) = 14*o - 1. Let x be d(-2). Let t = x - -15. Let u = t + 25. Is u a prime number?
True
Let a(t) = -2*t**3 - 6*t**2 - 4*t - 4. Let m(w) = 3*w**3 - 7 - 5*w**2 - 6*w**3 - 7*w - 7*w**2 + 0. Let y(x) = 5*a(x) - 3*m(x). Is y(5) composite?
False
Suppose -7*o - 5*j = -4*o - 5152, 3*j - 3433 = -2*o. Is o a composite number?
False
Suppose -2*m = -2*g - 4*m + 1920, 2*m + 945 = g. Is g composite?
True
Suppose 2*p = -p + 42. Suppose 2*r - 4 - 4 = 0, 2*y - 1048 = -r. Is y/14 + (-4)/p a prime number?
True
Suppose j = -5*f + 18 + 6, -3*f = j - 34. Is j a prime number?
False
Suppose -1011 - 103 = -2*x. Is x composite?
False
Let c(o) = 709*o**2 + 1. Let a be c(-1). Let y = -349 + a. Is y a prime number?
False
Let f(u) = -u - 3. Let y(l) = -l**2 + 9*l - 7. Let o be y(9). Let i be f(o). Suppose 0 = 2*n - i*j - 56, -2*j + 82 = 5*n - n. Is n a prime number?
False
Suppose -4*f + 6 = 2*z, 5*f + 15 = f + 5*z. Suppose -4*h + 3*p + 372 = -h, -3*h + 2*p + 369 = f. Is h a prime number?
False
Suppose 3*j + 365 = 4988. Is j a composite number?
True
Let y(r) = 11*r**2 - 2*r - 3. Is y(8) prime?
False
Let m(x) = 3*x**3 + x**2 - 1. Let w be m(1). Suppose w*f + 248 = 809. Is f composite?
True
Let c be (-1 + 2 - 2) + 1. Is 31*((-2 - c) + 3) a prime number?
True
Let a be (-7472)/72 + (-2)/9. Let y = a - -183. Is y prime?
True
Suppose -32 = 2*o + 2*o. Let v(n) = -n**3 - 13*n**2 - 7*n - 9. Let h(s) = 3*s**3 + 38*s**2 + 22*s + 26. Let a(b) = -4*h(b) - 11*v(b). Is a(o) prime?
True
Let t = 124 + 67. Is t composite?
False
Let x be 26/(-4)*(2 - 4). Suppose i = 5*a + 64 + x, 5*a = -2*i + 109. Suppose q + q - i = 0. Is q a prime number?
True
Suppose -102 = -q + 3*q. Let f = q - -100. Is f composite?
True
Suppose -3*l + 256 + 341 = 0. Is l prime?
True
Let n = -183 + 500. Suppose 4*b - n = f, 3*b - 3*f - 50 = 199. Is b/(-4)*(-44)/6 a composite number?
True
Suppose 0 = -4*r + 5*l + 2, -2*l + 0 = -2*r + 2. Suppose k = r*k. Suppose 106 = -k*g + 2*g. Is g composite?
False
Let y(z) = -z**3 + 5*z**2 + 2*z - 3. Suppose 0 = -4*o + 5*o - 18. Let b be 15/(-2)*(-12)/o. Is y(b) a composite number?
False
Suppose -115 = -3*u + 4*h, u + 3*h = 2*u - 30. Suppose 3*s = 3804 - u. Is s a prime number?
False
Let s(d) = -d**2 + 7*d - 3. Let q be s(3). Suppose 2*f - 41 - q = 0. Is f prime?
False
Is (-121 - 6)/(2/(-14)) a composite number?
True
Let c = -10 + 0. Let l = c - -132. Is l a prime number?
False
Is 66 + (-3 - (-3 - 3)) prime?
False
Suppose -4*b = 4*x - 3 + 179, 5*b + 3*x = -210. Let l = 0 - b. Is l a prime number?
False
Let z(j) = -7230*j - 13. Is z(-2) composite?
False
Let i be 0/(-7) + 0 + -422. Let a = i - -759. Is a prime?
True
Suppose 3*g - 9*g = -7746. Is g a prime number?
True
Suppose 2*z = -2*r + 266, r - 4*z - 500 = -3*r. Is r prime?
False
Let i = 580 + 151. Is i composite?
True
Let k = -5 - -7. Let s be 7 + (-2)/k*-2. Suppose -3*u - 2*r = -105, 0*r = 3*r - s. Is u a prime number?
False
Let x be -2 + -3 - 6/(-2). Let c(h) = 15*h**2 - 4*h - 3. Is c(x) composite?
True
Let q be ((-6)/(-4))/((-6)/(-56)). Let x = 33 - q. Is x prime?
True
Let p be 1/4 + 18/24. Is (p + 288 + 2)/1 a prime number?
False
Let j(w) = -367*w - 47. Is j(-6) a prime number?
False
Suppose 10*a - 13*a = -1506. Is a prime?
False
Let b(n) = n**2 + 6*n + 6. Let c be b(-5). Let g be 425 - (-2)/(c + 1). Let o = -227 + g. Is o a prime number?
True
Let b = 1 - 3. Let t be b/(-3)*9/2. Suppose n - t*p = 83, 3*n + p + p = 293. Is n composite?
True
Let u = -61 + 104. Is u prime?
True
Let m be -2 + 5*(1 + 0). Let y(d) = 2 + 2 + 7*d - 2*d. Is y(m) a prime number?
True
Let h = -22 + 85. Suppose -4*p + c + 12 = 6*c, -12 = -4*p + 2*c. Suppose 0 = 2*o - 2*k - k - 37, p*o - 2*k = h. Is o a composite number?
False
Let b be 3 - 0*(-1 + 2). Let a(c) = 3 - c**2 - b + 3. Is a(0) prime?
True
Suppose -8*y = -7*y - 115. Is y a composite number?
True
Suppose -2*t + 12 = -3*r + 2, -3*t + 20 = -2*r. Let w(s) = s**3 - 6*s**2 - 11*s - 1. Is w(t) composite?
True
Suppose 4*s + 460 = 5*y, 2*s - y + 575 = -3*s. Let v = -78 - s. Is v composite?
False
Let v(r) = 2*r + 23. Let m be v(-13). Suppose -3 - 5 = 4*f, -3*n + 3*f = -15. Is ((-13)/n)/(1/m) composite?
False
Let i(m) = 190*m - 3. Is i(1) composite?
True
Let s = -5 - -2. Let c = 1 - s. Suppose 4*f - y = -3*y + 48, c*f - 5*y = 34. Is f a prime number?
True
Let j(z) = 37*z + 2. Suppose -3*b + 10 = -b, a + 3*b - 13 = 0. Let w be j(a). Let x = -19 - w. Is x composite?
False
Let l(c) = c**2 + 8*c + 7. Let y be l(-12). Is y/10 + (-1)/(-2) a composite number?
True
Let v = -135 + 269. Is v a prime number?
False
Let z(i) = 270*i**3 - i**2 - i - 1. Let h be z(-1). Let y = h - -432. Is y a composite number?
True
Let c(u) be the third derivative of -u**6/120 + u**5/12 + u**4/4 + u**3/2 + 2*u**2. Suppose -5*r = -2*o - 3, -3*o + 6 = -o - 2*r. Is c(o) prime?
True
Is 1/3 - (-3824)/12 a composite number?
True
Let h = 1005 + -314. Is h prime?
True
Suppose -353 = 5*x - 123. Let i = x - -65. Is i a composite number?
False
Suppose 2*l - 4*l - 945 = 5*d, 0 = -2*d + 2*l - 392. Suppose 4*t - 1052 = 5*x, -3*x - 363 - 161 = -2*t. Let v = d + t. Is v prime?
False
Let x = 7 - 2. Suppose -2*h - 5*v + 3*v + 12 = 0, x = -v. Suppose -5*r = k - 25, -r + k + 0*k = -h. Is r a composite number?
True
Suppose -7*b + 3*b + 20 = 0. Suppose b*u - u - 204 = 0. Is u composite?
True
Suppose 4*r + 12 = 0, y + 0*y + 41 = 3*r. Let q be y/(-18) + (-6)/(-27). Suppose q*p - 1465 = -2*p. Is p a prime number?
True
Let u be -1 + 1 + -3 + 5. Let l(d) = -3 + d**2 - 2*d**u + 14*d**2 - 2*d. Is l(-2) composite?
False
Suppose -123 = -2*l + i, 2*i = -5*l - 3*i + 270. Suppose 4*p - 3*p = l. Is p prime?
True
Suppose -3 + 7 = 2*a. Suppose a*h + g = 148, 6*h - 2*g - 370 = h. Is h a prime number?
False
Let k(n) = n**3 + 0*n**3 - 3 - 4*n + 0*n**3 - 2*n**3 + 6*n**2. Is k(4) a composite number?
False
Let w(n) = -n - 9. Let h be w(-5). Let d be 0/(-4*2/h). Suppose -42 = -d*j - 2*j. Is j a composite number?
True
Is (55/(-4) - (-1 - -1))*-4 prime?
False
Suppose 2*n + 14 = -4*u, 4*u + 1 = -n - 8. Let a(p) = -p - 2. Let x be a(n). Is ((-2)/6)/(x/(-693)) composite?
True
Let