r + 6*r - 35734 = -4*a. Is a a prime number?
False
Suppose -32*v + 6534 = -29*v. Let x = 3577 - v. Is x a composite number?
False
Suppose -10*d = -8*d + h - 9723, -5*h = 3*d - 14588. Is d prime?
True
Let z(w) = -5*w**3 + 6*w**2 - 3*w - 1. Let d(p) = -4*p**3 + 2*p + 2. Let g be d(-1). Let c be z(g). Let o = -126 - c. Is o prime?
False
Let j = -38 + 30. Let k = j - -12. Suppose -k*t + 4*c + 472 + 376 = 0, -5*c = 5. Is t a prime number?
True
Suppose 10 = 4*g - 2*d, 0 = -2*g - 2*d - d + 17. Is 0 - ((-22865)/35 + g/14) a prime number?
True
Suppose b = -u + 130, -2*b - 2 = 8. Let q = u + 70. Is q a prime number?
False
Suppose -2*k + 14 = -5*r, 7*k - 5*r = 3*k + 18. Suppose -7*l + 3*l = -3*h + 853, 4*l + 566 = k*h. Is h prime?
False
Let p(o) = 3*o**2 - 3*o + 2. Let j be p(1). Suppose -8*u + 1270 = j*u. Is u composite?
False
Let r(j) be the second derivative of j**4/12 - j**3/3 + 3*j**2/2 - 5*j. Let n be r(5). Suppose 2*b - n = 140. Is b a composite number?
False
Let v be ((-78)/(-9))/((-2)/39). Let r = v - -440. Is r composite?
False
Suppose 3*l = 5*b - 22, -3*l - 1 = 3*b + 5. Suppose -4*f + 10 = -v, -3*f - b*v - 2*v + 17 = 0. Suppose 50 = f*z - 157. Is z a composite number?
True
Suppose 3*t = -12, -5*t - 23 = -5*r - 3*t. Let v(q) = -17*q**2 + 6*q + 2. Let o(j) = -33*j**2 + 13*j + 5. Let f(c) = 6*o(c) - 13*v(c). Is f(r) prime?
True
Let v be (-1)/4 + (-405)/(-36). Suppose 3*m - v*m + 24 = 0. Let d(n) = 12*n**2 - n - 2. Is d(m) a composite number?
False
Let s = 22 - 13. Suppose s*b = 4*b + 1055. Is b prime?
True
Let x(b) = 3*b + 24. Let y be x(-8). Suppose 3*h = -2*v + 7255, 0 = -y*h - 3*h + v + 7258. Is h prime?
False
Let n be 588/27 - 12/(-54). Let c be (-34)/(-6) + n/(-33). Suppose 0 = c*b - 2*b - 57. Is b a prime number?
True
Suppose 4*h - 8 = -4*i, 2*h + 1 + 3 = 2*i. Let n be 1322 + 2/((-2)/(-2)). Suppose -4*b + n = -h*b. Is b prime?
True
Let o = 2945 + -2026. Is o/((2 + -4)/(-2)) a prime number?
True
Suppose 0 = c - i - 4870, -24351 = -5*c + 10*i - 6*i. Is c prime?
True
Let q = 3309 - 1840. Is q prime?
False
Let p(q) = 2 - 6 - 4 - 2*q + q. Let w be p(-8). Suppose w*f + 1484 = 4*f. Is f composite?
True
Suppose 0 = b - u + 6, 0 = b - 0*b - 4*u - 3. Let f(y) = y**2 - 5*y - 6. Let n be f(b). Suppose -2*r = 2*z - 434 + n, -z = -2*r + 326. Is r composite?
True
Let r(z) = -3*z**2 - 17*z + 10. Let x be r(-6). Suppose -3*g - 2*g = h - 810, -x*g + 5*h = -619. Is g composite?
True
Let t(d) be the third derivative of 7*d**5/12 - d**4/6 + 7*d**3/6 - 9*d**2. Let i be t(-4). Suppose -3*p - i = -4*p. Is p composite?
True
Suppose -2*b = -5*h + 17, -b + 4 = -3*h + 15. Is ((-6)/b)/(29/(-9106)) composite?
True
Suppose -2*n + 2*g + 2792 = 0, 3*n + 1396 = 4*n - 3*g. Let j = -855 + n. Is j composite?
False
Let n = -3 + 5. Suppose w - n*w = -1481. Is w prime?
True
Is (3 - 2) + (1 + -13)*-1181 composite?
False
Suppose 3*h = -3*d + 2979, 0*h = 4*h - 3*d - 3965. Let l = h - 195. Is l prime?
True
Suppose -6*h + 3186 + 2688 = 0. Is h composite?
True
Suppose -2*o - 10 = -4*k, 5*o = -5*k + 8*k - 25. Suppose -8*i + 3*i + 935 = k. Is i a prime number?
False
Let h(q) = q**2 + 4*q - 5. Let k be h(1). Is -2*716/(-8) - k a prime number?
True
Let l(k) = -529*k - 19. Let s be l(-10). Suppose h - 2*h + 1757 = -4*p, -3*h - p + s = 0. Is h prime?
False
Suppose 0 = 5*x - 2*x + 51. Let t = x - -13. Is 6/8 - 137/t composite?
True
Let x(s) = -s**3 - 16*s**2 + 73*s + 113. Is x(-33) prime?
True
Suppose 0 = -5*d + i + 6803, 5*d - 88 - 6723 = -3*i. Is d prime?
True
Let y be (1*(-2 + -1))/1. Let z be (7 - 3)/(y - -1). Is (51 - 5)*(-5)/z a prime number?
False
Let l(i) = -7*i**3 + 4*i**2 + i - 1. Let m be l(-3). Let n = -186 + 600. Suppose -2*z = t + 3*z - m, 0 = 2*t - 4*z - n. Is t a prime number?
True
Suppose 2*t = 5*u + 14558, -t + 4*t - 21837 = 3*u. Is t a composite number?
True
Let q(y) = -754*y**2 - y - 2. Let x be q(-1). Let o = x + 227. Is (-5)/(10/o) + 1 composite?
True
Let l(a) be the third derivative of -a**7/1680 + 31*a**6/720 + a**5/60 - 2*a**2. Let q(s) be the third derivative of l(s). Is q(0) a composite number?
False
Let s(z) = 311*z. Let j be (-22)/(-16) - 12/32. Is s(j) prime?
True
Suppose -2*o - 60 = 2*o. Let j(b) = b**2 + 14*b - 15. Let k be j(o). Suppose w + 4*w - 425 = k. Is w a prime number?
False
Let v = 95 + 180. Suppose -20 = 3*f - v. Suppose j + 0*j - f = 0. Is j prime?
False
Suppose -2*d - 25 = 31. Let f = -18 - d. Let y(r) = 6*r - 1. Is y(f) prime?
True
Let u(q) = -q**2 + q + 694. Let x be u(0). Suppose x = 2*l + 3*f, l + 9*f - 12*f = 347. Is l composite?
False
Let d(n) = 5*n - 3 + 2 - 27*n - 6. Is d(-9) a prime number?
True
Suppose -24*d - 49165 = -496453. Is d composite?
False
Is 1833/(-52)*(-88)/6 composite?
True
Let t(j) = -j**2 + 28*j + 1. Let d be t(26). Suppose -3*l - d = -524. Is l a composite number?
False
Let h be 9 - (6 - 3) - 3. Suppose 0*s + 2*s - 1282 = -2*p, -h*s + 1933 = p. Let g = -315 + s. Is g composite?
False
Let u(z) = 2*z**2 - 3*z - 1. Let y be (-120)/(-136) - 4/(-34). Let t be -3 + (y - -2) - -6. Is u(t) a composite number?
False
Let t(q) = 447*q**2 + 22. Is t(-11) a composite number?
True
Suppose 0*i - t + 2 = 2*i, 0 = -5*i - 3*t + 6. Let m be i + -1 + (0 - 3). Let v(h) = -76*h - 5. Is v(m) a prime number?
False
Suppose -86*d + 89*d = 53187. Is d a composite number?
False
Suppose 18*k - 8830 - 12104 = 0. Is k composite?
False
Is (93348/9 - 9) + 4 a prime number?
False
Is 334047/14*16/24 a composite number?
False
Is (-116235)/(-11) - ((-72)/66)/6 composite?
False
Suppose 4*z - 5227 - 1945 = 0. Is z a prime number?
False
Let s(m) = -m + 13. Let d be s(10). Let v be d - (0 + -3 - -6). Suppose -4*c + v*c = -44. Is c composite?
False
Suppose -826 = -6*s + 794. Let p = 419 - s. Is p composite?
False
Is (-5)/(5/(-686)) + 12/(-4) a composite number?
False
Let i = -2180 + 3503. Let y = i - 782. Is y composite?
False
Let z = 9879 - 4405. Is (z/4)/7*2 a composite number?
True
Suppose 2*m - 7360 = 2*a, 2*m + 7372 = 4*m + 2*a. Is m a prime number?
False
Suppose -5*b - 5 = -2*b + k, 15 = -2*b - 3*k. Let v be b + 3 + (3 - 43). Is (v/(-3))/(11/33) composite?
False
Let t = 27 + -25. Let o(i) = 65*i**2 + 3*i - 3. Is o(t) prime?
True
Suppose 4*l = -1224 + 348. Let i = -3 + 3. Is l/(i - 2 - -1) a prime number?
False
Let z(a) = -2*a + 14. Let t be z(5). Suppose x + 2*n - 149 = 0, -12 = -n + t*n. Is x prime?
True
Let n = 12 + -8. Suppose 0 = 5*l - n*a - 471, l = 6*l - 5*a - 470. Is l prime?
False
Suppose 5*m + 4*i = -32, 0*m + 2*i = -m - 10. Is (((-337)/(-2))/(-1))/(2/m) prime?
True
Suppose 0 = 19*c - 15*c - 7496. Is c a prime number?
False
Let q(u) = -u**3 + 3*u + 3. Let j be q(-2). Suppose 45 = -0*d + j*d. Let a(i) = 2*i**2 + 6*i + 7. Is a(d) a prime number?
True
Let b(g) = 434*g**2 - 21*g - 69. Is b(-4) prime?
True
Let z(a) = -138*a + 1. Let t be z(3). Is -1 - (-3 + t - 4) prime?
True
Let c = -61 - -7. Let m = 73 + c. Is m composite?
False
Let v be (1*-12)/(-3) - -3. Suppose -x + 4*o + 87 = 0, -v + 1 = -3*o. Is x a composite number?
True
Let m = -1386 + 4127. Is m composite?
False
Suppose 0 = -3*s + 2*t - 22, 3*s = -6*t + 3*t + 3. Is (-2646)/(-8) - s/16 a prime number?
True
Suppose 16 + 12 = -7*c. Let l(s) = 37*s**2 - 2*s - 3. Is l(c) prime?
False
Suppose -3*m + 144199 = 4*q, 192272 = 4*m - 11*q + 15*q. Is m a prime number?
True
Suppose 66*p + 32*p = 836038. Is p a composite number?
True
Let s(r) = -2 + 3 - 2 + 241*r. Is s(2) a prime number?
False
Suppose -5*y + 10 = 4*n, 0 = -3*y - 5*n + 6. Suppose 5329 = y*f + 2*r - 5*r, -5*f = -2*r - 13295. Is f a composite number?
False
Suppose h + 3*m = -2*m + 685, -3*m + 1377 = 2*h. Suppose 5*s - 10 = 0, 3*g - 5 - 5 = -2*s. Suppose -f - g*w = -4*f + 419, 0 = 5*f + 5*w - h. Is f composite?
False
Let q(s) = 154*s + 19. Let w(r) = -2*r + 22. Let a be w(6). Is q(a) composite?
False
Let x = 54 + -46. Let m(y) = 12*y**2 + 2*y + 7. Is m(x) a composite number?
True
Let v(o) = 21*o**2 + o - 7. Suppose 4*c + 9 = 21. Is v(c) composite?
True
Let o(w) = w**2 - w - 8. Let s be o(4). Suppose -j + 0*j + 971 = -s*f, -3*j + 2963 = -2*f. Is j prime?
True
Suppose 0 = -a - 0*a + 23. Suppose 2*h - 3*o - 2 = 0, 3*h + 0*h + a = -2*o. Is (h/(-2))/(1/22) a prime number?
False
Let g(a) = 3*a**2 - 53*a + 71. Is g(-37) composite?
True
Let d = -12694