-2. Let w be i(r). Suppose 5 = d - w. Is d a prime number?
False
Let s(c) = c**2 - 5*c. Let u be s(5). Suppose 4*a + 0*a - 236 = u. Suppose 32 + a = w. Is w a composite number?
True
Is (-2)/12 - (-6522)/36 a prime number?
True
Let q(u) = u - 324. Let d be q(0). Let r = d - -583. Is r prime?
False
Is (1 - (-3)/(-6))/(2/460) composite?
True
Suppose 0*p = -4*p + 8. Let x = p - -12. Let n = x + 17. Is n a prime number?
True
Is (-3)/(18/(-1524)) + 0 prime?
False
Let g(i) = -i + 1. Let d be g(-3). Let h(t) = t**2 + 11*t + 5. Let y be h(-11). Suppose d*c + y = 33. Is c prime?
True
Let k(y) = 70*y**2 - 1. Suppose -l - 3 = 2*l. Is k(l) prime?
False
Let d be 1/(-1) - 2 - -1. Let q(i) = 2*i**3 - 2*i**2 - 3*i - 2. Let p be q(d). Is 30/p + 138/4 a prime number?
False
Let h(o) = -35*o + 7. Let l be h(-3). Suppose -p = -l - 21. Is p a prime number?
False
Suppose 5*f = f + 2*s + 708, f + 5*s - 188 = 0. Is f composite?
True
Let u(j) be the first derivative of -j**3/3 + 13*j**2/2 + 7*j - 3. Is u(6) a prime number?
False
Suppose 3*y + 0*c - 2*c = -433, 4*y + 579 = 3*c. Let d = y - -200. Is d a composite number?
False
Let z(r) = -r - 7. Let h be z(-9). Suppose 4*k - h*k + 5*i = -6, -4*k - 5*i - 2 = 0. Suppose 0 = x - a - 19, 4*x - k*a + 15 = 83. Is x composite?
True
Let s(o) = o**2 + o + 4. Let m be s(0). Suppose 0 = 2*g - m*g + 8. Suppose g*v + 4*t - 244 = 0, -v + t + 48 = -21. Is v composite?
True
Is ((-1359)/(-3) + 4)/1 a prime number?
True
Let q be (-5)/((-10)/6) - 1. Let n be (8/q)/((-2)/(-2)). Suppose -171 - n = -5*d. Is d prime?
False
Let f = -273 + 1114. Is f prime?
False
Let w(g) = 62*g - 29. Let j(p) = 31*p - 15. Let a(n) = 7*j(n) - 4*w(n). Is a(-8) composite?
True
Let x = 9 - 7. Suppose y = -3*o - y + 4, x*o - 4*y = 8. Is (421 - -1)/(4/o) a composite number?
False
Suppose 5*i - 25 = 0, 1851 = 3*c + 5*i - 589. Suppose z - 6*z = -c. Is z a composite number?
True
Suppose 5*o - 4945 = 400. Is o a prime number?
True
Suppose -2*y - 2*y = 2*c - 330, -5*c = -2*y - 813. Is c composite?
False
Suppose 13 = -4*t + 45. Let s = t + -6. Suppose p = -h - 0 + 5, -20 = -p + s*h. Is p prime?
False
Suppose 2*j + 1239 = 7*j - 4*z, -5*z + 522 = 2*j. Suppose 45 - j = -2*p. Is p prime?
True
Let s(a) = -a**2 + 4. Let z be s(3). Let k(f) = 5*f**2 - 6*f + 2. Is k(z) composite?
False
Suppose 0 = 5*b - 0*b - 1270. Is b composite?
True
Suppose 0 = -25*k + 21*k + 6628. Is k a composite number?
False
Let k be 37/((3/1)/3). Suppose -k = -3*u - 4. Is u a prime number?
True
Let b(p) = -p**2 - 5*p + 5. Let z be b(-5). Suppose 2*m = z*m. Suppose 2*i - 14 - 34 = -4*q, 2*q - 5*i - 48 = m. Is q prime?
False
Is 5 - (5 + -3) - -450 a composite number?
True
Let y(u) = 7*u**2 - 5*u - 7. Is y(-10) a prime number?
True
Let p(r) be the first derivative of r**2/2 + 31*r - 1. Is p(0) a prime number?
True
Let b(d) = -1 - 1 - 2 + 3*d**2 - 2*d. Let z be b(-4). Suppose 3*a - 11 - z = 0. Is a a composite number?
True
Let n = 3 - 3. Let d = n - -3. Suppose -2*q - 3*q + d*j = -15, 2*j + 12 = 4*q. Is q a composite number?
False
Suppose 11*l + 2350 - 11139 = 0. Is l prime?
False
Suppose -r + 0 + 2 = 0. Suppose -y + 0 = -r. Suppose -y*a = -105 - 733. Is a a prime number?
True
Suppose -5*g + 4*t + 1131 = 0, -191 - 35 = -g + t. Suppose -g = -3*j - 5*z + 15, 3*j = -z + 238. Is j prime?
True
Let n be ((-2)/(-1))/(-1) + 0. Let k = n - -5. Let j = k - -6. Is j prime?
False
Let l(w) = 2*w**2 + w + 4. Is l(-9) a composite number?
False
Let u(s) = s**3 - 2*s**2 + 4*s - 1. Let g be u(4). Let k = -18 + g. Suppose -5*w = k - 304. Is w a composite number?
True
Let l = -750 - -1337. Is l prime?
True
Let z be (-8)/48 + 38/12. Suppose 293 = z*h - 2*h. Is h a prime number?
True
Let z(f) = 72*f + 13. Let l(s) = -s + 1. Let q(o) = -6*l(o) + z(o). Is q(8) prime?
True
Suppose -5*j = -0*a + 2*a + 25, -26 = 2*a + 4*j. Is ((-10)/a)/(1/87) a composite number?
True
Let s(c) = 48*c - 2. Let q(j) = j. Let z(y) = -3*q(y) - s(y). Is z(-7) prime?
True
Suppose -4*u = -5 - 3. Suppose -4*m - 13 = 3*n, -5 = -u*m + 3*m - n. Is (-1488)/(-14) - m/(-14) prime?
False
Suppose 327 = -25*b + 28*b. Is b a composite number?
False
Let q = 5 + -1. Suppose 0 = -2*a + 1 + 1, q*y + 25 = 5*a. Let i(k) = -k**3 - 2*k**2 + 3*k - 5. Is i(y) composite?
True
Suppose 2*m - 3*c + 5*c = 576, -m - 4*c = -291. Is m a prime number?
False
Let f = -27 + -7. Let x = f - -87. Is x a composite number?
False
Suppose 3*o + 0 = 6. Suppose 0 = b - o + 4. Is (-2)/(-2) + (-152)/b a prime number?
False
Suppose 0 = g - 2*x - 1825, g - 218 = 5*x + 1613. Is g prime?
False
Suppose 4*u - 3*u - 2 = 0. Is 2031/21 + u/7 a composite number?
False
Suppose -2*d - 3*d = -95. Is d a prime number?
True
Is (2/(-4))/(14/(-18536)) prime?
False
Let v = -29 - 15. Is (-11)/(-4 - v/12) prime?
False
Suppose 0 = 2*y - 3*d - 19, -5*y + 3*d + 29 = -5. Suppose -y*v + 13 = -2. Suppose 4*u - 20 = -v*t + 3, -2*u - 21 = -5*t. Is u a prime number?
True
Let f(h) = h**2 + 9*h + 3. Let o be f(-9). Let z(v) = v**3 + 5*v**2 + 2*v - 3. Let m be z(-4). Suppose 0*t + t + m*c = 34, -c + o = 0. Is t composite?
False
Suppose 2*y = 3*y - 3*d - 238, 3*y - 4*d - 689 = 0. Is y composite?
False
Let n = 9 - 7. Let h = n - -1. Suppose h*m - 120 = -3*r, 0 = -5*m - 0*m - 4*r + 197. Is m composite?
False
Suppose u + 565 = 2*u. Is u prime?
False
Suppose 0 = -5*a + 314 + 226. Let i = a - 55. Let g = i - 30. Is g a prime number?
True
Let b = -7 + 7. Suppose -49 = -5*q - 3*w, 3*q + 4*w - 15 - 10 = b. Is q prime?
True
Let v be (12 + -11)/(1/(-43)). Is -2*(-9)/(-6)*v prime?
False
Suppose -4*q - 32 - 8 = 0. Let l = q - -14. Suppose -5*m - 3*x = -184, 3*m - 2*x - l = 95. Is m a composite number?
True
Is 1*((-3365)/(-3) - 28/42) a composite number?
True
Suppose g - 38 + 8 = 0. Let r = 60 - g. Suppose -4*z + 110 = -r. Is z a composite number?
True
Suppose b = -s + 376, -5*s - 5*b + 10*b + 1900 = 0. Let l be s/8 + 5/(-20). Let x = l + 36. Is x prime?
True
Let r = 6 + 6. Is (195/r)/((-1)/(-4)) prime?
False
Let u be (28/(-21))/((-2)/3810). Is u/10*(-2)/(-4) a composite number?
False
Let j(t) = 21*t + 5 + 15*t + 1 - 1. Is j(4) composite?
False
Suppose -28 = -n + 2. Let h be (4/12)/(2/n). Suppose 2*w = 7*w, -h*s = -w - 615. Is s composite?
True
Suppose -q + 5*c - 22 = -2*q, -6 = -5*q + c. Is 282/15 + q/10 prime?
True
Let u(j) = j**3 + 4*j**2 + j - 3. Let l(c) be the first derivative of c**4/2 + 3*c**3 + c**2/2 - 6*c - 3. Let k(f) = 3*l(f) - 5*u(f). Is k(-4) prime?
True
Let i = 500 - -686. Is i prime?
False
Let v = 15 - 40. Suppose -5*r + 35 = -2*o - 163, 0 = 3*r - 3*o - 117. Let g = r - v. Is g a prime number?
False
Suppose 4*y - 11 = 513. Is y a prime number?
True
Let p(n) = -9*n**3 + n**2 - 3*n - 2. Let q be p(-2). Let h = -25 + q. Is h a prime number?
False
Suppose 5*a + l - 4*l - 15505 = 0, 15505 = 5*a - 2*l. Is a a prime number?
False
Let z(k) = -k**3 + 10*k**2 - 7*k - 2. Let c be z(10). Is (-16)/c + (-5281)/(-9) prime?
True
Let w(d) = -6*d**2 + 8*d - 9. Let m(a) = -6*a**2 + 9*a - 10. Let k(r) = 6*m(r) - 7*w(r). Is k(3) prime?
False
Let j be (105/(-14))/((-6)/8). Let p(t) = -t + 1. Let w be p(0). Let o = w + j. Is o composite?
False
Let v = 95 + 92. Is v a composite number?
True
Let d(l) = -12*l**2 + 13 + 6*l**2 - 2*l - 15*l**3 + 2*l**2. Is d(-4) prime?
False
Let t = -735 + -1046. Let d = -918 - t. Is d composite?
False
Suppose 3*a + 327 = 1032. Is a a prime number?
False
Suppose -902 = -2*d + 3*z, 3*d - 1379 = -0*z - 2*z. Is d a composite number?
False
Let w = -78 - -115. Is w a prime number?
True
Let n(i) = -6*i**2 + 4*i - 1. Let o(u) = 6*u**2 - 4*u + 1. Let x(z) = -4*n(z) - 3*o(z). Suppose -5*f - 4 = 11. Is x(f) composite?
False
Suppose 7 - 37 = -5*b. Suppose -b*f = -f - 70. Is f a prime number?
False
Let f(v) = -2*v**3 - v**2 - 3*v - 3. Is f(-5) a composite number?
True
Let t = 10 + -10. Suppose 0 = 2*c - t*c + 260. Let s = c + 243. Is s composite?
False
Suppose -3*j = 4*k - 8621, -4*k + 4*j = -7533 - 1067. Is k a composite number?
False
Let k = 17 + 22. Is k a prime number?
False
Suppose 0 = d + 2*q - 11 - 110, 4*q - 623 = -5*d. Is d composite?
False
Let x(v) = -v**3 + 16*v**2 + 3*v - 15. Is x(11) a composite number?
True
Suppose 0 = l - 242 + 46. Let w = -109 + l. Is w composite?
True
Suppose -2*b - 4*f + 2349 = 671, -4*b - f = -3356