a - j*a = 4584. Is a prime?
False
Suppose 4*t - 5*q = 35272, 3*t = 6*t + 5*q - 26454. Is t composite?
True
Let x = -49915 + 72708. Is x prime?
False
Let h(i) = -i**3 + 32*i**2 - 134*i - 27. Let w be h(27). Suppose 3*v - 19287 - 18426 = w. Is v prime?
False
Let r(l) = 80*l**2 - 3*l + 3. Let z be r(-5). Suppose 5*m + z = 12293. Suppose 5*y - 3*i = 2060, -6*y + m = -y - 4*i. Is y prime?
False
Let y(l) = 17*l**2 - 7*l**3 - 15*l**2 + 7*l + 4 + 5*l**3. Is y(-17) composite?
False
Let y be ((-3)/(-9))/((-5)/(-60)). Suppose 0 = 5*k - 10*k, 2*j = y*k + 8. Suppose -4*g + 3*c + 502 = 0, j*g + c = 3*g + 129. Is g composite?
False
Suppose o + 2*n = n + 13, 0 = 4*o + n - 61. Suppose 3*l - 47 - o = 0. Suppose l*x - 3415 = 16*x. Is x prime?
True
Let h be (2/(-4))/(2*(-1)/20). Let w be (-25)/10*-10*h. Suppose 126*n = w*n + 591. Is n a prime number?
False
Let a(c) = 14 - 4*c**2 + 5*c**2 - 13*c + 8*c. Let k be a(7). Is 39180/k - 6/21 prime?
True
Suppose -12*m + 6 = -10*m. Let b(t) = t**3 - 3*t**2 + 2*t - 2. Let s be b(m). Is -1 - 90/(-1)*s composite?
False
Suppose -k - 17 + 21017 = 0. Suppose 0 = -19*y + 21*y - 5*w - 30, -51 = -7*y + 4*w. Suppose -5*p + k = -g, 2616 = p + y*g - 1610. Is p a composite number?
False
Suppose 8*c = -3*c - 66. Let w(p) = -8*p - 24. Let q be w(c). Let v = 89 - q. Is v prime?
False
Let k = 14 + 29. Suppose -49*c = -k*c - 288. Suppose -2*z + c = -838. Is z a composite number?
False
Let s(n) = n**3 + 2*n**2 - 4*n - 1. Let x be s(3). Let d be x/80 + (-883)/(-5). Let k = 338 - d. Is k composite?
True
Let q be -5 + ((-68)/(-10))/(2/5). Suppose -q*j - 274298 = -58*j. Is j prime?
False
Let g(k) = 224*k - 45. Suppose 49 = 6*r - 35. Let h be g(r). Suppose 5*o + 696 = h. Is o composite?
False
Suppose 5*o = 2*t + 1050 + 6950, 5*o + 19930 = -5*t. Let v = 1178 - t. Suppose 2*l + 5*r - v = 0, 3*l - r = 3*r + 7729. Is l prime?
True
Let h be -1 + 0 + 5388/(-3). Suppose -28*i + 294 = 11*i + 3*i. Is (i - 3) + -2 - h prime?
False
Let n(x) = 6325*x - 2734. Is n(12) a prime number?
False
Suppose 1525 + 2918 = 3*b. Is b a prime number?
True
Let k = -1339 + 12884. Suppose -m + 4024 = -k. Is m composite?
False
Let o(m) be the second derivative of 9*m**4/4 - m**2 + 39*m. Is o(-5) a prime number?
True
Suppose 3*m + 16*q - 11*q - 2573311 = 0, 2573293 = 3*m - 4*q. Is m composite?
True
Suppose 5 = -2*q + 15. Suppose 11 = 3*z + 2*z + 2*d, -q*z + 5*d = -25. Suppose -1916 = -7*m + z*m. Is m prime?
True
Let r(o) = -o**2 + 3*o. Let a(l) = -l**3 - 2*l**2 + 3. Let t be a(0). Let m be r(t). Suppose 2*p - 3*i - 277 = m, -p + 2*i = i - 136. Is p composite?
False
Let c be (-2 - 11302) + 2 + (-35)/7. Let n = -7088 - c. Is n composite?
False
Suppose -5*x - 6515 = 9770. Let p = 12236 - x. Is p a prime number?
True
Let u(c) = -c + 22*c**2 + 18 + 13*c**2 + 62 - 75. Let v = 5 + -3. Is u(v) a prime number?
False
Let z = 2134 + -558. Is z/20 - (-6)/30 a prime number?
True
Suppose -371988 = -4*n + 4*s, -93001 = -n + 127*s - 128*s. Is n a prime number?
False
Suppose 4*s = -4, -2*s = 5*f + s + 143. Let g = f + 30. Suppose 7*y - 15459 = g*y + 4*m, 2*y - 6186 = m. Is y a composite number?
True
Let k(y) be the third derivative of y**5/30 + y**4/4 - y**3/2 - 4*y**2. Suppose -9*i - 2*i - 77 = 0. Is k(i) a composite number?
False
Let i = 12 - 8. Suppose -3*u + 220 = 193. Suppose u*y - i*y - 2045 = 0. Is y prime?
True
Suppose 0 = -h - 3*r + 8769, -5*h + 8*r = 12*r - 43878. Suppose -a = 3*f - h + 2666, a - 4*f - 6133 = 0. Is a composite?
False
Let r(q) = 1089*q**2 - 13*q - 3. Let j(p) = 32*p + 162. Let y be j(-5). Is r(y) prime?
True
Let q be 14/((5 - 2) + -5). Let k(j) = 870*j - 6. Let o(p) = 869*p - 6. Let t(v) = q*o(v) + 6*k(v). Is t(-1) composite?
True
Let g = -3 - -1. Is (12/8 + -2)/(g/4348) composite?
False
Let n(o) = o**2 - 10*o + 82. Let z be n(16). Suppose -2*i - 2*t = 3*i + 135, 3*i + 5*t = -81. Let c = z - i. Is c composite?
True
Let y = 67270 + 216968. Is y/15 - (0 + (-1)/(-5)) prime?
False
Suppose 3*g - 4*y - 10 = 0, -g + 5*y = g - 2. Let l = 229 + -208. Is 3140/g*l/14 a prime number?
False
Suppose 4*d - 7512 - 3296 = 0. Suppose 0 = -3*k + v + d, 4*k = -2*v - 0*v + 3606. Is k composite?
True
Suppose -2*y + 93382 = -2*w, 3*y - 4*w - 93374 = y. Let h = -27326 + y. Is h composite?
True
Let y be 534/4*(-8)/6. Let n(a) = -127*a - 744. Let h be n(-9). Let k = y + h. Is k composite?
True
Let a(k) = -3*k - 24. Let d(l) = l + 1. Let f(p) = -a(p) - 5*d(p). Let i be f(8). Suppose -x - i*x = -2516. Is x composite?
True
Let c(r) = 64*r - 147*r - 126 + 119. Let t be 1 + 0 + -2 - 1. Is c(t) a composite number?
True
Suppose -b + a + 67812 = 0, 151*b - 150*b - 67809 = 4*a. Is b prime?
False
Suppose 202*t - 205*t + 12546 = 0. Let b = 6 - 1. Suppose 0 = u - 5*u + b*q + t, -10 = 5*q. Is u prime?
False
Let u(l) = -l**3 - 7*l**2 - 6*l - 24. Let p be u(-7). Suppose -32840 = -p*o - 2*o. Is o a prime number?
False
Let s(h) = 12*h**3 + 354*h**2 - 131*h + 335. Is s(54) a composite number?
False
Let c(h) = -h**3 + 4*h**2 - 10*h - 7. Let s be c(-7). Let t(o) = 5*o**2 - 6*o - 20. Let j be t(9). Let w = s - j. Is w a composite number?
False
Is (3/12)/((-15)/(-60))*297097 a composite number?
False
Let m(q) = 119*q - 27. Let u be (-2)/10 - ((-132)/(-15) - 2). Let d be m(u). Let o = d + 2799. Is o prime?
False
Suppose -31*v + 497511 = -289672. Is v a prime number?
False
Let p(h) = -11*h**3 - 98*h**2 + 14*h - 49. Is p(-18) composite?
False
Let c = 52 + -47. Suppose -3*s - 4*t + 2*t + 10 = 0, 0 = c*s + t - 5. Suppose s = k - 911 - 38. Is k a prime number?
False
Let d(n) = 7*n - 3. Let o(f) = -3*f + 1. Let j(q) = -4*d(q) - 9*o(q). Let r be j(-9). Suppose -4*m = -r*m + 22456. Is m a prime number?
False
Suppose -38*k - 140 = -710. Is (k + 37384/16)/((-2)/(-4)) prime?
True
Suppose 40 + 56 = -16*v. Is (-2)/v*(-21 + 87) prime?
False
Suppose 91*x - 1462670 = 1392819. Is x prime?
True
Let j(m) = -2696*m - 12751. Is j(-42) a prime number?
False
Let g(w) = 8*w + 40. Let h be g(-5). Suppose 5*k + 2*v - 1469 = h, 4*k = 12*v - 7*v + 1162. Is k a composite number?
False
Let m(p) = p**3 + 25*p**2 + 5*p + 29. Let k = -94 - -67. Let u be m(k). Let t = u + 3119. Is t a prime number?
False
Let n = 81 - 74. Suppose n*a = 11*a - 5564. Is a a composite number?
True
Suppose 21887 + 271877 = 4*p + 4*n, p = 3*n + 73409. Is p a composite number?
False
Let y(f) = -4310*f - 260. Let p(c) = -862*c - 53. Let v(x) = 11*p(x) - 2*y(x). Is v(-7) a composite number?
True
Let k(m) = -4*m**2 + 9*m - 21. Let t(r) = 3*r**2 - 8*r + 20. Let i(o) = 4*k(o) + 5*t(o). Let v be i(-7). Is (-631)/2*(-7 - v/1) a prime number?
True
Is (-1070195)/(-14) - (-7 + 102/12) a prime number?
True
Let z(b) = -b**3 - b**2 + b - 7. Let f be z(-3). Suppose -537 = f*y + 863. Let n = 666 + y. Is n a composite number?
False
Let p(u) = -u**3 - 10*u**2 - 8*u + 11. Let i be p(-9). Suppose -4*r = 16, 2*y + i*y = 2*r + 128. Is (140/y)/(4/282) a prime number?
False
Suppose 114 = -6*m - 0*m. Is (874/(-4))/(m/38) a composite number?
True
Let f = -20 + 22. Suppose 0 = g - 3*g + 4*o - 118, 110 = -f*g + 2*o. Is (-34)/g + 193/3 composite?
True
Let n be 3/(-8) - 153/(-24). Let r be 3/(n/(-90)*2/6). Let m = -38 - r. Is m a composite number?
False
Suppose -37*j - 5*y + 220547 = -34*j, -4*y + 588200 = 8*j. Is j composite?
False
Let h(c) = c**2 + 19*c - 70. Let w be h(-18). Is 14/77 - 473512/w prime?
True
Let d = -73 + 71. Let b be ((-681186)/21)/(-2) - d/7. Suppose 8*x - x = b. Is x prime?
False
Suppose -11*w + 8*w + 6 = j, -3*j - 21 = -4*w. Suppose w*c - 15455 = -3*b - c, b + 3*c - 5150 = 0. Is b a prime number?
True
Let w be (-10)/8 + (-182)/(-56). Suppose w*o - 1970 = -3*n, -5*o - 3*n - 4925 = -10*o. Is o a composite number?
True
Suppose 5*a + 4*k - 3*k = -19, 5*a + 4*k + 31 = 0. Let t(u) = -64*u**3 - 4*u**2 - 13*u - 22. Is t(a) prime?
True
Let m = 1 + -3. Let j = -479 + 443. Is ((j - 5) + 2)*(1 + m) prime?
False
Let g(b) be the first derivative of 25*b**4/4 + 5*b**3/3 - 6*b**2 + 17*b - 37. Is g(3) a prime number?
True
Suppose -5*d - 2*p + 33 = -0*p, -11 = d - 4*p. Let v(c) be the second derivative of 75*c**3/2 + 5*c**2 - 6*c. Is v(d) prime?
False
Let h = -1417 + 6130. Suppose 5*p - h = 4067. Suppose -p = -v - v. Is v composite?
True
Suppose -30*r - 14023179 = -82*r + 25*r. Is r prime?
Fal