18 - 13. Is a(z) a composite number?
True
Is 41/(1 + 6/(-7)) a prime number?
False
Let v = 0 - 0. Suppose -2*o = -v*o. Suppose -3*u + 12 = o, -3 = -y - 2*u + 7*u. Is y a prime number?
True
Suppose -4*o + 3*b = -9*o + 2080, 20 = 4*b. Is o composite?
True
Let n be 18/24 - 5690/(-8). Let t = n - 333. Is t prime?
True
Let l(z) = -3*z - 4. Let r be (-7)/2 + (-6)/4. Is l(r) composite?
False
Let f be -2 + 251 + 3/1. Suppose 5*t + 2*x - f = 5*x, 3*t - 148 = 5*x. Is t a prime number?
False
Suppose -16 = -2*s + 164. Suppose 4*x = 2*k + 8 + s, 3*x + 5*k - 93 = 0. Is x a prime number?
False
Let u = 3996 + -2783. Is u a composite number?
False
Suppose -b + 0*b = 34. Let d = 23 - b. Let u = -2 + d. Is u a composite number?
True
Is 2/7 - (-8214)/14 composite?
False
Suppose -3*q + 248 = 5*d, 3*q + d = 6*d + 268. Let p = q + -49. Is p prime?
True
Suppose 4*b = 5*v - 4249, -2*v = -b - 1294 - 408. Is v a prime number?
True
Is (-3)/3*478/(-2) composite?
False
Let w = 0 + 7. Suppose 0*u = -u + w. Is u a prime number?
True
Suppose -2*p + 4*t + 601 = 3*p, 2*t = 2. Is p a composite number?
True
Let r be (2 + -2)*(-3)/3. Suppose -5*h + 11 + 44 = r. Is h a composite number?
False
Let v be 0 + (-3 - 8) - -1. Let z be 65/(4/(-2) + 3). Let a = v + z. Is a a composite number?
True
Let i = -510 - -830. Let k = i + -163. Is k prime?
True
Let x(d) = -d + 0*d + 0 - d**3 + 2 - 4*d**2. Suppose 2*q - a + 1 = -4, -29 = 5*q + 3*a. Is x(q) prime?
False
Let u be (-4)/6*(13 - 19). Suppose 5*k = -u*g + 347 + 330, 3*k = 15. Is g composite?
False
Let o(l) = l**2 + 2*l - 6. Let h be o(-8). Suppose 5*w = h + 188. Is w a prime number?
False
Let a = -2 - -3. Let d be a/5 - (-3158)/10. Suppose 0*c - d = -4*c. Is c a prime number?
True
Suppose -2*z = z. Suppose 5*y - 635 - 290 = z. Is y a composite number?
True
Suppose 5*f + 2*x = 43, 10*f - 4*x - 19 = 5*f. Let v = f - 4. Suppose -50 = v*p - 155. Is p a prime number?
False
Let d be (-1 + 1)/(5 - 8). Suppose d = 20*i - 22*i + 38. Is i composite?
False
Let u = 156 - -64. Let c = u + -134. Is c a composite number?
True
Let u(c) = -975*c - 20. Is u(-7) a prime number?
False
Suppose 5*c = 2*h + 3199, -h + 1273 = 2*c - 4*h. Is c prime?
True
Let v(c) = 2*c**2 + 5. Let l = -10 - -18. Is v(l) prime?
False
Let u = 3 - 1. Suppose u*h - 3*c - 1263 = 0, -3*c = -c - 2. Suppose 2*n + n - h = 0. Is n a composite number?
False
Suppose 5*u + 15 = -5*n, -u + 0*u = 4*n. Let c(x) = -x - 4. Let z be c(u). Suppose z = -4*b + 65 + 243. Is b prime?
False
Suppose 4*j - 320 = 572. Is j composite?
False
Let u(y) = 32*y**2 + y. Let c = 4 + -3. Is u(c) composite?
True
Suppose -4*k = -3*i - i - 108, -3*k + i = -85. Suppose 5*c - k = -b, 10 = 2*c - 0. Is (b/(-12))/((-2)/534) a composite number?
False
Let s be 82/16 - (-2)/(-16). Suppose -s*q = -2461 + 416. Is q composite?
False
Let f(m) = m**3 - 13*m**2 - 3*m - 9. Is f(14) a prime number?
False
Is (-33620)/(-16) + 8/(-32) prime?
False
Suppose 2*j - 1866 = -4*k, -4*j + 6*j + k = 1881. Is j a prime number?
False
Is (14/(-21))/(2512/1257 - 2) prime?
True
Let c = 7 - 7. Suppose 3*n - 2*n - 175 = c. Suppose 3*d = -2*d + n. Is d a prime number?
False
Let s = 1297 - 662. Suppose -i + 6*i = s. Is i composite?
False
Let z = 0 - -3. Suppose -3*l = -7*l - 5*s - 207, -3*l - 159 = z*s. Let w = -15 - l. Is w composite?
False
Suppose -2*o + 3*m = o - 24, 2*o + 2*m - 20 = 0. Is -5*9*(-3)/o prime?
False
Suppose -93 = -2*k + 125. Is k a composite number?
False
Let t = 535 - 352. Is t a composite number?
True
Suppose 970 = 3*j + 31. Let i = j + -114. Is i a composite number?
False
Suppose -k = -0*k - 993. Is k a prime number?
False
Suppose 1775 = 3*p + 2*p. Is p prime?
False
Let t(m) = 450*m**3 - 1. Is t(1) prime?
True
Suppose 0*t - 2*t + 15 = -5*l, -2*t + l + 3 = 0. Suppose t = -k - k + 142. Is k composite?
False
Suppose 0 = -s - 2*s. Suppose 0*o = 2*o - 10. Is (o - -53) + (s - -1) composite?
False
Let a be 6/9 - (-5)/(-3). Is 2 + 0/a + 155 a composite number?
False
Is 0 - (-4)/((-20)/(-1455)) a prime number?
False
Suppose 3*x - x - 8 = 0. Suppose -5*a = -x*a - 111. Is a a composite number?
True
Let q(l) = -l**2 - 34*l - 36. Is q(-17) prime?
False
Let p(u) = -52*u**3 - u**2 - 3*u + 4. Let a(j) = 104*j**3 + 2*j**2 + 5*j - 7. Let g(l) = 3*a(l) + 5*p(l). Let y be g(1). Let r = y - -1. Is r composite?
False
Suppose -5*c - 445 + 7440 = 0. Is c prime?
True
Suppose 0 = -4*k + k - 93. Let w = k - -72. Suppose w = 4*q - 19. Is q prime?
False
Suppose j + 5*x = 27, j - 1 = 2*x - 2. Let d(r) = r**3 - 8*r**2 + 2*r + 7. Let a be d(j). Let c = 177 + a. Is c composite?
False
Let n(o) = 107*o - 6. Is n(7) prime?
True
Let o = 10 + -4. Is o/(-4) + (-189)/(-2) a prime number?
False
Suppose -4*l + 2*i + 28 = -626, 3*l - 2*i = 493. Is l a prime number?
False
Let h(w) = 252*w - 11. Is h(2) prime?
False
Is (150 - -9)/(0 + 1) a prime number?
False
Let q = 7 + -2. Suppose 0*d = -r + 2*d + 29, -r - q*d = -64. Is r composite?
True
Suppose 4*a = 3*g - 2507, -4*g - 5*a = -147 - 3144. Is g composite?
False
Suppose 4*u = 3*u + 4. Let i(b) = -b + 8. Let f be i(u). Let j = 11 - f. Is j a composite number?
False
Suppose q + 2*j = 4*q - 2635, -3*j - 883 = -q. Is q a composite number?
False
Suppose 3*u = 2 - 8, -4*g - 50 = 5*u. Let l = g + 67. Is l a prime number?
False
Suppose -22 + 6 = -4*k. Suppose 0 = -4*y, k*j = -5*y + 88 + 260. Is j composite?
True
Let d(r) = r - 5. Let y be d(6). Is (-1 + 2)/(y/123) prime?
False
Let t(l) = -l - 3. Let k(j) = j + 1. Let w be k(-4). Let i be t(w). Suppose 5*o + 15 = i, o = 2*y + 6*o - 63. Is y prime?
False
Let a be 37/(2/(0 + 2)). Is (a/2)/(4/8) a composite number?
False
Suppose -75 = -5*d + 5*f, 0*d - 5*f - 45 = -2*d. Suppose 0 = 5*y + d, 0*m = 4*m + 4*y - 172. Is (-3 - -3) + m/3 prime?
False
Let w(t) = 13*t**2 - 4*t + 2 - 2*t**2 + 6*t. Is w(-3) prime?
False
Suppose -m + 3 = 1. Let s be 0 + -2 - m/2. Is (-264)/(-5) + s/(-15) prime?
True
Let y be 66 + (-2 + 2)/1. Let v = y - 33. Is v composite?
True
Suppose 12565 = 7*w - 2*w. Is w prime?
False
Let j = 42 - 62. Let d be 1/3 + j/(-12). Suppose -d*i - i + 363 = 0. Is i a composite number?
True
Let l(t) = t - 10 + 17 - 3*t. Is l(-6) a prime number?
True
Let j(c) = 12*c + 10. Let n be j(8). Suppose -5*z = 3*w + n - 518, -z + 5*w = -88. Is z a prime number?
True
Let p be 67/(-4) + 1/(-4). Let h = p - -32. Is h a composite number?
True
Suppose -3*c + 138 = -c - 4*b, -75 = -c - b. Let g = c - 20. Is g a prime number?
True
Suppose -5*p + 3*d = 6, -4*p + 4*d = -5*p + 8. Suppose -2*b - q + 247 + 12 = p, -5*q + 25 = 0. Is b a prime number?
True
Let a be (3/(-2))/((-2)/12). Suppose 2*i - a = -i. Is i prime?
True
Let n(p) = p**2 - 4. Let d be n(4). Suppose -4*f + 25 = 5*x, 4*f - 6*f + d = 2*x. Suppose 0*g + 3*g + 21 = 2*y, -g = 2*y - x. Is y a composite number?
False
Suppose 6*i = -0*i + 4002. Is i a prime number?
False
Suppose -4 = -v, 3*k + 0*v - 209 = v. Suppose -d + k = 4. Is d prime?
True
Let y(s) = s - 1. Let i be y(2). Let f = 0 + i. Is f - (-2 + -14) - -2 a prime number?
True
Is 4 - (-2926)/3 - (-4)/(-12) a composite number?
True
Let x(s) = s**2 - 6*s + 5. Let a be x(5). Suppose -445 = -5*h - a*h. Is h a composite number?
False
Let z(g) = -6*g + 3. Let h be z(2). Is 15/2*(-102)/h composite?
True
Let t = 2853 - -5200. Is t composite?
False
Let h(j) = -2*j**3 - 8*j**2 + 3*j - 7. Is h(-6) composite?
True
Suppose 0 = -s - 0*s. Suppose n - 15 = 5*v + 10, -v = -n + 5. Suppose s = i - 5*m - 139, -i - 5*m + 99 = -n*m. Is i a composite number?
True
Suppose 3*n = 4*z + 955, 0*n + 3*z - 1265 = -4*n. Is n composite?
False
Suppose -24 = -2*n - 0*n. Suppose 3*b = 6*b - n. Suppose -291 = d - b*d. Is d a prime number?
True
Suppose 7 = -4*r - 441. Let z = r - 36. Let h = z - -263. Is h composite?
True
Let f = 533 - 363. Suppose -183 = -4*b + 397. Suppose -5*a = -5*k + f, -k = -5*k + a + b. Is k a composite number?
False
Let h = -4 - -6. Let j(l) = -l - 2 + 1 + h + 37*l**2 + 0. Is j(1) composite?
False
Let z(o) = -o**3 - 3*o**2 - 3*o. Let v be z(-2). Suppose -4*w + 3*y - 27 = 0, -w = -v*w - y + 2. Let g(r) = 8*r**2 - 2*r + 1. Is g(w) prime?
True
Suppose 2*m - 2 = -3*y + 9, -5*m + 22 = 2*y. Suppose 0 = -5*q + y + 14. Suppose 3*n - 236 = f, 5*n + 37 = -q*f + 435. Is n a composite number?
False
Let y(s) = 2*s**3