72 = -4*w, -153 = -y - 3*w. Suppose -y = 5*j - 7*j. Is j a prime number?
False
Let h(k) = 82*k - 1. Let p(i) = -247*i + 4. Let j(u) = -7*h(u) - 2*p(u). Let v be j(-2). Suppose 176 = 4*r + 5*a, 2*a = 3*r - a - v. Is r a prime number?
False
Suppose 3*c + 20*d - 17*d - 83295 = 0, -5*d - 10 = 0. Is c prime?
True
Let v(x) = -2*x + 15. Let w be v(6). Suppose w*g = -0*c - 5*c + 1646, 0 = -3*c - g + 990. Is c prime?
True
Suppose -20 = 3*z + 4*w, 2*w - 3*w = -5*z - 18. Let k(l) be the first derivative of 8*l**3/3 + 3*l + 3. Is k(z) a prime number?
True
Suppose w = 2*w + 6. Let q be (w/(-3) - 1)*6. Is q/4*376/12 a prime number?
True
Let x = 19039 + -5698. Is x a composite number?
True
Let s be (2*1 - (-12 - -15))*1. Is (6/4*s)/(1/(-482)) a prime number?
False
Suppose 7*g = 29 + 6. Let a be 12/9*(-906)/(-4). Suppose g*m - 83 = a. Is m a prime number?
False
Suppose -k - 2*y = -7491, -37433 = -5*k - 2*y + 3*y. Suppose 7300 = 9*g - k. Is g prime?
False
Let a(x) = 2*x + 1. Let d be a(-7). Let w be (-8318)/d - (-4)/26. Suppose -2*i - w = -4*q + i, 3*q - 2*i - 481 = 0. Is q a prime number?
True
Suppose -6*l = 1185 + 393. Let o = 594 + l. Is o prime?
True
Is (-88535)/(3/((-15)/25)) prime?
True
Suppose 0 = 5*m - 3*h + 968 + 801, -4*m = 2*h + 1424. Let z = 762 + m. Is z prime?
False
Let p = 5 - -1. Suppose 0 = 2*h - 5*o + p, -5*o + 7 = 4*h - 11. Suppose 0 = -2*j + 2, h*i + j = 6 + 37. Is i prime?
False
Suppose -76 - 315 = -k. Is k a prime number?
False
Is (2 - -8519)*(-40 + 43) a composite number?
True
Suppose 58 = -5*m + 23. Let c(v) = v**2 + 5*v + 8. Is c(m) prime?
False
Let b = 391 + -847. Let l = b - -1991. Is l a prime number?
False
Let d = -3501 + 6278. Is d a prime number?
True
Let w = -829 + 1228. Let t = 634 - w. Is t a prime number?
False
Let a(s) = 187*s**3 - 8*s**2 - 13*s + 79. Is a(5) prime?
True
Suppose 0 = -3*j - 2*d + 19, -3*d + 31 = 5*j - 0. Let z = -2990 + 4198. Suppose j*n + 403 = z. Is n prime?
False
Suppose -3*g - 6 = -3*s, 2*s - 2*g = g + 4. Suppose -s*i + 5*n + 4759 = 0, -2*i - n + 7113 = i. Is i/28 + 4/14 prime?
False
Let n(y) = -8*y - 36. Let h be n(-5). Suppose 4 = -h*i - 0, 5*a + i - 28894 = 0. Is a prime?
True
Let w(p) = 13*p**2 - 11*p - 15. Is w(9) a composite number?
True
Let n(m) = 2*m - 20. Let f be n(11). Suppose -2*w + 1720 = f*c, -2574 = -c - 2*c - 5*w. Is c a composite number?
False
Let k be 21/12 - 6/(-24). Suppose -2*u + k = -0. Is 7183/44 + u/(-4) a prime number?
True
Let p(z) = 93*z - 579*z - 298*z - 1 - 6. Is p(-2) a prime number?
False
Suppose 0 = 2*i - 2*z - 512, i - 4*z = -152 + 417. Is i a prime number?
False
Suppose 2*b - 3 = s, 5*b + 1 = -2*s + 31. Let q(l) = 89*l + 5. Is q(b) a composite number?
True
Let z = 13298 - -9663. Is z a prime number?
True
Suppose -6*v - 2*v = 128. Is (-4122)/(-1) - (v - -19) prime?
False
Let p(g) = 8*g**2 + g - 7. Let b be p(-4). Suppose 2*v - b = 61. Is v a prime number?
True
Let h(o) = -905*o - 86. Is h(-9) composite?
False
Suppose 45 = -2*x - 3*x. Is -1049*x/(-6)*8/(-12) composite?
False
Let u be (2/3)/(1/6). Suppose 251 = -3*i + u*i. Is i composite?
False
Let p = 44724 + -21931. Is p a prime number?
False
Suppose 42 = 8*g - 5*g. Let w(x) = -x - 6. Let z be w(-6). Suppose z*d + g = 2*d. Is d prime?
True
Suppose 5*z + 3 - 23 = 0. Suppose 3*n - 1001 = z*n. Let y = -180 - n. Is y a composite number?
False
Let p(b) = 3*b**2 - 18*b - 32. Let g be 39/6*(-3 - (0 + -1)). Is p(g) composite?
False
Suppose -47*j = 14*j - 1930223. Is j prime?
True
Let r(n) = 2*n**3 - 17*n**2 + 57*n - 15. Is r(7) prime?
False
Suppose -28 = -3*z + 5*h, -68 = -4*z + z - 5*h. Let u = 20 - z. Suppose 4*f - 139 = -u*p + 7*f, 5*f = 15. Is p prime?
True
Is 8 - (7 + -13 + -33287) a prime number?
True
Let b(j) = -26*j + 64 - 73 - 23*j. Let s be b(5). Is ((-3 + 2)*s)/2 prime?
True
Let f = 4149 + 8420. Is f a composite number?
False
Let p = 83823 + -44236. Is p a composite number?
True
Suppose 6*r - 40 = 38. Let u(k) = -k**3 - k**2 + k. Let z(q) = -7*q**3 + 7*q**2 + 19. Let m(v) = 6*u(v) - z(v). Is m(r) a prime number?
True
Let l be (70/(-4))/(-7)*(-84)/(-35). Is (3/l + -2)*(-34538)/21 a prime number?
True
Is (4/(-6) + 9/(-27))*-5923 a prime number?
True
Let y = -307 - -184. Let a = -50 + 38. Is 5*4*y/a a composite number?
True
Let o(t) = 3*t**3 + 4*t**2 + 3. Let g be o(-3). Let y = 871 + g. Is y prime?
True
Let u(z) be the second derivative of z**7/840 - z**6/72 - z**5/24 + z**4/12 + z**3/3 + 3*z. Let k(q) be the second derivative of u(q). Is k(7) prime?
False
Suppose -2*r + 4*r = -162. Let t = -57 - r. Let f = 69 + t. Is f composite?
True
Suppose x + 17 = 21. Let d(s) = 150*s - 3. Is d(x) composite?
True
Suppose -6 = -0*f - 2*f, f + 3 = 3*h. Let x(d) = 7 + d - d**3 - 6*d - d - 7*d**h. Is x(-9) a composite number?
False
Let a(s) be the third derivative of -s**6/24 - s**5/60 - s**4/12 - s**3/2 - s**2. Let x be a(-2). Suppose 3*u = 500 + x. Is u prime?
True
Suppose -28*s - 7*s = -218575. Is s a composite number?
True
Is (-1)/(2*11/(-16918)) prime?
True
Let c(l) be the second derivative of l**3/6 - l**2 - 4*l. Let g be c(-2). Is (-1)/g - 2134/(-8) composite?
True
Suppose -216706 = 4*g - 50*g. Is g composite?
True
Let f(m) = -14*m + 1. Let d = -15 - -20. Suppose -d = -v - 9. Is f(v) a composite number?
True
Suppose 3*n = u - 1552, 4*n + 0*u + 2*u = -2056. Let g be n/(-108) + 4/18. Suppose -2*a + g = -4*h - 33, -33 = -3*a - 2*h. Is a prime?
True
Suppose -6*q + 778 = -11126. Suppose -o + 5*h = -37 - 934, 4*h - q = -2*o. Suppose 0 = -2*y + 96 + o. Is y a prime number?
True
Let f = -6 - 4. Let z = -9 - f. Is 92 + z - 1/(-1) a composite number?
True
Let l(q) = -q**3 - 7*q**2 + 3*q - 347. Is l(-18) a composite number?
False
Let i(j) = 866*j - 23. Is i(2) composite?
False
Let i(l) = 41*l - 1. Let d be i(2). Suppose -s + d = -31. Suppose 3*q - 184 = -5*x, -3*q + q + 2*x + s = 0. Is q a prime number?
False
Let m be (-4)/(-6) - (4/(-3) + -2). Suppose -6*a + 5 = -a, m*l + 2*a - 3006 = 0. Is l composite?
False
Suppose 22*b + 9309 = 81887. Is b composite?
False
Let s = 13 + -8. Let i(d) = d**2 - 4 - 3 + s*d + 5. Is i(4) a composite number?
True
Let s be (-69)/(-6) + 2/(-4). Let c = -12 + s. Let p(m) = -123*m**3 - m**2 + m + 1. Is p(c) composite?
True
Is 80/(-28) + 3 - 198480/(-35) a prime number?
False
Let f be (0 - -3)/(-9)*6 + 4. Suppose -820 - 1882 = -f*n. Is n a composite number?
True
Let a be 145/(-4) - (-12)/48. Let y be ((-9)/4)/(a/336). Let u = 140 - y. Is u composite?
True
Let t(f) = -2*f - 3. Let n = -36 + 32. Let v be t(n). Suppose v*i - 3791 = 1454. Is i composite?
False
Suppose 5*n = 3*y - 1 - 4, 5*y + 21 = n. Let u = n + 2. Let l(a) = -110*a + 3. Is l(u) a composite number?
False
Let m be 21/28 + (-3)/4. Let b be 2 + (3 - 6 - m). Is (-2436)/(-48)*(3 - b) a composite number?
True
Let d = -4 + 4. Suppose d = -f - 4*w + 282, 0*w + 5*w = -5*f + 1350. Suppose -f = -2*i + 2. Is i a composite number?
True
Suppose -i + 2437 = -3*h, 0 = -4*h - 73 + 89. Is i composite?
True
Suppose 4*j - 5*j = t - 3, j = -4*t + 3. Suppose -2*o = j*w - 413, 3*w + 443 = 5*o - 621. Is o a prime number?
True
Suppose 0*p = 3*p + 9. Let s be -79 - (1 + (p - 0)). Let l = s - -328. Is l composite?
False
Let n(u) = 2331*u + 286. Is n(7) a prime number?
True
Suppose -t + 4 + 0 = 0, 3*c - t = 3773. Is c a prime number?
True
Let g = -45 + 47. Suppose -c - 2*c + 515 = 4*r, -5*r = -g*c - 661. Is r a prime number?
True
Let i(p) = -8*p**3 - 27*p**2 - 2*p - 12. Let b(l) = 13*l**3 + 41*l**2 + 3*l + 18. Let n(r) = -5*b(r) - 8*i(r). Suppose 2*h - 9 = h. Is n(h) a composite number?
True
Let a = -21 + 41. Suppose 3*t = -5*p - t + 1890, a = -4*t. Is p a composite number?
True
Let q be (10/(-40))/(2/(-24)). Suppose -8*v = -q*v - 1910. Is v a composite number?
True
Let z be -6*(-1)/2 - 1. Suppose -z*q = 6*q - 8024. Is q a prime number?
False
Let g(t) = -11375*t - 24. Is g(-1) composite?
False
Let t = 13 - 15. Is 1/(628/(-316) - t) prime?
True
Suppose -2*x + 11*d - 15*d = -10, 3*d - 30 = 3*x. Let b(u) = -206*u + 57. Is b(x) a prime number?
True
Suppose -9*s + 2*o + 9173 = -4*s, -4*s - 3*o = -7343. Is s prime?
False
Is (-27065)/((2 + -7)*1) a prime number?
True
Let c = 3385 + -1053. Suppose 5*o - c = 2203. Is o prime?
True
Suppose 3*b + 4 = 4*b - 3*a, 2*a + 48 = -5*b. Let x = 