- 2*y - 213 - 169 = 0, 2*n - v = 5*y. Is n a composite number?
False
Let m(j) = -13*j - 4. Let i(t) = -t + 10. Let c be i(5). Suppose 4 - 19 = c*q. Is m(q) composite?
True
Let q(l) be the first derivative of 11*l**2/2 + 2*l - 1. Is q(3) prime?
False
Let y = 89 - 36. Is y prime?
True
Let l be 0 - 36/(-4) - 2. Let b(f) = -f - 1. Let i(o) = 11*o - 6. Let h(p) = -2*b(p) + i(p). Is h(l) prime?
False
Suppose -4*c - 8042 = -27482. Let y = c - 3299. Is y a composite number?
True
Is 95 - 0 - (-2 + 4) a prime number?
False
Let p(r) = 11*r**2 - 7 + 30*r - 38*r + 26. Is p(8) prime?
True
Let z(q) be the first derivative of -3*q**2/2 + 4*q - 2. Is z(-3) a composite number?
False
Is 1119/(-4 - -7) + 4 a composite number?
True
Suppose 0 = v + 3*v - 104. Suppose 5*o - 3*u = -5*u - 10, -u = -5*o + 5. Suppose -k + o*k = -v. Is k composite?
True
Let t(d) = 60*d**2 - 3*d - 16. Is t(-3) a prime number?
False
Let c be 10/55 - (-4013)/11. Is 5/(-20) + c/4 composite?
True
Let h(d) = 6*d**2 - 3*d + 6. Let b be h(-4). Suppose -u + b = -43. Is u prime?
True
Let s = 6 + -12. Is 10/s*(1 - 7) a composite number?
True
Suppose 208 = 8*j - 4*j. Let a = 87 - j. Is a a prime number?
False
Let s = -185 - -87. Let g = -49 - s. Is g prime?
False
Let t(j) = -3*j - 3 + 4*j + 0. Let l be t(8). Suppose -2*x = 4*i - 1 - 5, -15 = l*i. Is x a prime number?
False
Suppose -10*d + 1456 + 2164 = 0. Is d a prime number?
False
Let k be 61 + 4/(-6)*3. Suppose 5*n = 3*r - k, n = 5*r - 3 - 66. Let t = r - 4. Is t a prime number?
False
Let x(k) = 42*k - 3. Let w be x(-4). Let b = -86 - w. Is b a prime number?
False
Let f(h) = -3 + 4 - 12*h**3 - h - 2 + 2*h**3 - 3*h**2. Is f(-2) composite?
True
Suppose 168 + 37 = h. Is h a composite number?
True
Let g(i) = -4*i. Let t be g(-3). Is 633*2/t*2 prime?
True
Let b(h) = -41*h + 5. Let l = 10 + -16. Is b(l) composite?
False
Let y = 277 + -118. Let i = 12 + -8. Suppose y = i*t - 581. Is t a composite number?
True
Suppose 4*i - 319 = -w, 5*i - 596 - 954 = -5*w. Is w a prime number?
True
Let f(j) = j**2 + 6*j + 4. Let b be f(-6). Suppose -b*x = -168 - 196. Is x a prime number?
False
Let q = 40 + 19. Is q a prime number?
True
Suppose g + g = 474. Is g a prime number?
False
Suppose -k = 4*k - 190. Let m = 61 - k. Suppose -2*i = 5*d - m, 5*d - 22 = -3*i + 5. Is d a composite number?
False
Let o = 7 - -6. Suppose 5*s = 118 - o. Suppose -136 = -5*p - s. Is p composite?
False
Let w(g) = 247*g**3 + 1. Let s be w(-1). Let r = -97 - s. Is r a prime number?
True
Suppose 12 = 3*s + s. Suppose -x = -5*x, -2*t - 630 = -s*x. Is t/(-4) - 7/(-28) a prime number?
True
Is (-1790)/(-6) - 12/(-18) composite?
True
Let j = 18 - 4. Suppose z + z = -j. Is 2/z + 135/7 a composite number?
False
Suppose -9 + 7 = -g. Suppose 0 = 3*x + g*x - 5. Is (-1 + 6*9)/x prime?
True
Suppose u - 3*t + 2 = 0, 0 = 2*u - t - 3*t. Let x = u + -2. Is (1*54 - x) + 1 composite?
False
Let g = -1 - -119. Is g prime?
False
Suppose k + 648 = 1939. Is k a prime number?
True
Let a(i) = -94*i + 15. Is a(-4) a prime number?
False
Let l(p) = 2*p - 1. Let a be l(4). Let s(r) = 2*r**2 + r - a*r + 9 + 2*r. Is s(6) a composite number?
True
Suppose -2013 = -4*l - 3*d + 4*d, 5*l + 4*d = 2490. Is l prime?
False
Suppose -3*p + 2*p = -545. Is p prime?
False
Let o = -12 - -4. Let n be 9/(-2) - (-4)/o. Let w(s) = s**2 + s - 1. Is w(n) a composite number?
False
Is 2/(-8) - 8037/(-36) a prime number?
True
Let b(s) = 5*s**2 + 6*s + 1. Is b(6) prime?
False
Suppose -3*g + 3*p + 216 = -0*p, -4*p = -5*g + 362. Is g prime?
False
Suppose 0 = d - 111 - 418. Is d prime?
False
Let m(c) = -c**2 - 10*c - 5. Let d be m(-12). Let h = 86 - d. Is h a composite number?
True
Let u be (-2)/((4/6)/(-1)). Suppose a - 2*q + 10 = 0, a - q - u + 8 = 0. Suppose a = -3*d + 3*l + 138, -5*d - l = -89 - 159. Is d prime?
False
Let k be 2/(-5) + 68/20. Suppose 7 = d + k. Let b(v) = 3*v**3 - 3*v**2 + 5*v - 5. Is b(d) composite?
True
Suppose k = -5 - 3. Let q = -50 - -23. Let p = k - q. Is p composite?
False
Let b(t) = 20*t**3 - 2*t**2 + t + 7. Is b(4) composite?
False
Is 772/8*(13 + -3) prime?
False
Let x be -1*(-2)/(-4)*-6. Suppose 0 = -x*l - 0*v + v + 16, -5*l + 5*v = -30. Suppose 0 = l*u - u - 140. Is u composite?
True
Let j = 28 + -2. Is j a composite number?
True
Suppose 0 = 2*a + 3*o - 7*o - 118, 5*a = 3*o + 330. Let u = a - 22. Is u composite?
False
Let w(l) be the second derivative of l**7/2520 - l**6/144 - 11*l**5/120 + l**4/6 + 2*l. Let k(j) be the third derivative of w(j). Is k(9) composite?
True
Let r(q) = -5*q**2 - 6*q + 7. Let p(n) = n**2 + n. Let v(g) = -3*p(g) - r(g). Is v(-6) a prime number?
True
Let g(q) = 2*q + 8 + 2*q**3 - q**2 - q**3 - 7. Is g(4) a prime number?
False
Let c(p) = -p**2 - 41. Let g be c(0). Let z = g + 103. Is z prime?
False
Suppose 2*n + 4*n - 35418 = 0. Is n a prime number?
True
Let q be 22/4*(-2 - 0). Let s = q - -5. Let f(b) = b**3 + 7*b**2 + b + 5. Is f(s) prime?
False
Suppose -2*b + 4 = -4. Suppose 4*v + 0*v = b*w - 80, 2*w = 5*v + 46. Suppose w = l - 13. Is l a composite number?
False
Suppose 0 = 2*k + 6, 0 = c - 5*k + 2*k - 127. Is c prime?
False
Suppose -497 = -2*x + 317. Is x composite?
True
Let n = -373 - -579. Is n/1 - (-2 + 5) composite?
True
Let c be 4/6 - 6/9. Suppose -5*h = -c*h - 15. Suppose -1 = 2*p - h, p = -4*r + 237. Is r prime?
True
Let b = 363 + -180. Suppose b = 2*h - s + 6*s, 5*h = -2*s + 405. Is h composite?
False
Let x(p) = -36*p**3 - 4*p + 1. Is x(-3) a prime number?
False
Suppose -z + 3546 = 3*z + 2*b, 5*b = 4*z - 3581. Is z composite?
True
Let v = 574 - 352. Suppose b - 3*r + 2*r = 48, -v = -4*b - 2*r. Is b a prime number?
True
Let o(u) = 334*u**2 - 23. Is o(-5) prime?
False
Let q(l) = l - 8. Let t be q(8). Suppose 3*m + 6*u - 72 = 3*u, m - 3*u - 4 = t. Is m composite?
False
Let q be -17 - ((2 - 1) + -1). Let s = 26 - q. Let r = -20 + s. Is r a prime number?
True
Let w(o) = -o**2 - 8*o - 4. Let n be w(-7). Suppose 102 = n*m - 9. Is m a prime number?
True
Is ((-1194)/6)/(-3 - -2) prime?
True
Suppose 12*i - 13*i = -271. Is i a prime number?
True
Let x(n) = -n**3 + 9*n**2 - 17*n + 3. Let l be x(7). Let y = 205 - l. Is y a prime number?
True
Let f(l) = l**2 + 2*l - 4. Let y be f(-4). Let x = -81 - -100. Suppose 4*t + x = 7*t + y*n, -80 = -5*t + 3*n. Is t composite?
False
Suppose 0 = 13*n - 14*n + 471. Is n composite?
True
Let p = 153 - -232. Suppose 0 = -3*n, -2*a = -7*a + n + p. Is a a composite number?
True
Suppose -5*f - 5*x = -7*x - 23, 3*f + 2*x - 1 = 0. Suppose f*q - 22 = 47. Is q a prime number?
True
Suppose 3*p - 1 + 4 = 0. Let t = p - -16. Is t a composite number?
True
Suppose -5*s - 4*l = -0*s - 3126, 5*l = -5*s + 3130. Is s a composite number?
True
Suppose 5*t + 5*z = 2445, 4*t - 3*z - 1988 = z. Is t prime?
False
Let d(s) = -s + 2. Let t be d(-3). Let a = t + -5. Suppose -2*r - 72 = -4*n - 6*r, 2*n + 4*r - 30 = a. Is n a composite number?
True
Let o(s) = s + 8. Let k be o(-6). Let p be (-162)/(-30) + k/(-5). Suppose 0 = 2*f - p*q - 74, -4*q = q. Is f a composite number?
False
Is (-5959)/(-6) - 3/18 a prime number?
False
Let k = 2 - 2. Let t = 6 + k. Suppose -185 = -t*y + y. Is y composite?
False
Is 2106/8 - (-10)/(-40) composite?
False
Suppose -2*l + 7*l = 15. Suppose 3*s = -l*u + 258, -4*s + 347 = u + 2*u. Is s a composite number?
False
Suppose 963 = 5*g + 2*p, p - 959 = -7*g + 2*g. Is g composite?
False
Let j(w) = 3*w. Let k(v) = -v. Let q(d) = 6*j(d) + 17*k(d). Let a be q(2). Suppose -a*c + 393 = c. Is c a composite number?
False
Let g(k) = -k**3 + 4*k**2 + 4*k - 9. Is g(-7) composite?
True
Is 26/39*6297/2 composite?
False
Is ((-415)/10)/((-1)/2) a composite number?
False
Let q(x) = x + 8. Let p be q(-5). Let k(b) = -6*b**2 - 5*b**3 - 3*b**3 + p*b**2 - b + 4*b**3 - 1. Is k(-4) a composite number?
False
Suppose 0*a - 3*a + 9 = 0. Suppose 5*y - 3 = 3*y + a*d, -y - 3*d + 24 = 0. Is y a prime number?
False
Let u = 409 + 84. Let b = -122 + u. Is b composite?
True
Suppose -2*w + 4 = -4*w, -5*r + w + 2202 = 0. Suppose r = 2*s - 128. Suppose -2*i + 419 = -j, 2*j = -2*i + s + 144. Is i composite?
False
Let n = 23 + -14. Suppose -1 - n = -v. Is v composite?
True
Suppose 2*d = 4*d - 2844. Suppose t - 4*o - 291 = 0, -d + 236 = -4*t + 5*o. Is t a composite number?
True
Suppose 8 = -0*i + 2*i. 