 prime?
True
Suppose -14*y + 36 = -10*y. Let i(s) = 3*s + 18. Let a be i(y). Is (-10)/a + 187/(-9)*-44 prime?
False
Suppose -3*b - 2*m = -786457, b - 453*m = -452*m + 262139. Is b composite?
False
Suppose 248*h - 95824043 = -17877891. Is h composite?
False
Suppose 0 = -c - 9 + 15. Suppose 0 = -19*a + c*a - 2704. Let k = a - -695. Is k composite?
False
Let y(d) = 8*d**2 + 10*d - 17. Let k = 142 - 122. Is y(k) prime?
False
Suppose -43*n = -40*n - 15. Suppose 3*j - 605 - 1214 = -n*f, 5*f = 5*j + 1835. Is f prime?
False
Let b(q) be the first derivative of 5*q**4/2 - 19*q**2/2 + 2*q - 91. Is b(7) a composite number?
False
Suppose 2*g - 3*x - 128317 = 0, 5*x + 224 = 199. Is g composite?
False
Let x be -2*(2 - 1 - 4). Let n(u) = 3*u**3 - 18*u**2 + u - 4. Let i be n(x). Suppose 6*m - i*m = -2*t + 6202, -5*m + 15525 = 5*t. Is t prime?
True
Let o(q) = 68*q**2 - 93*q + 50. Is o(-45) prime?
False
Let b(a) be the second derivative of -235*a**4/24 + 17*a**3/6 + 8*a**2 - 13*a. Let v(t) be the first derivative of b(t). Is v(-11) prime?
False
Suppose d + u - 17194 = 64863, -3*d = 6*u - 246153. Is d prime?
False
Let f be 4/38 + (-605)/(-209). Suppose 13*c - 19177 = -2*q + 12*c, f*q - 5*c = 28746. Is q a prime number?
True
Let f(q) = q**2 - 3*q - 18. Let v be f(5). Is (4/v + 1)*3922 a prime number?
False
Suppose 72*v + 4*v = -26*v + 19853382. Is v a composite number?
True
Let h(f) = 28*f + 14330. Is h(-99) a prime number?
False
Let b(z) = z**2 - 6*z - 7. Let w be b(7). Suppose 2*j + 17267 = 5*c, -c + 5*c - 3*j - 13815 = w. Is c composite?
True
Let t = 83 - 13. Let x be 34258/t + (16/10 - 1). Suppose -3*v + x = -908. Is v a composite number?
True
Let k = -133 + 101. Is (-33036)/(k/8) - 8 a prime number?
False
Suppose 1818991 = 44*m + 87*m - 3694406. Is m prime?
False
Suppose 9 = 9*p - 27. Suppose 4*b - 36 = p*o, 5*o - b + 13 = -4*b. Is -1 - -2*(47 + o) a composite number?
False
Let o(j) = 14*j**2 - 3*j**2 + 12*j - j**3 + 4 + 2 - 3. Let m be o(12). Suppose -3*b = -i - 2*i + 423, m*i - 419 = 5*b. Is i prime?
False
Suppose -2715*l + 2710*l + 2*o = -1004621, o - 602788 = -3*l. Is l a composite number?
False
Is 4069072/28 - (1 - 8) a prime number?
False
Let v be 16328/12 + 1 - (-15)/(-9). Suppose 0 = 7*n - v - 9861. Is n a prime number?
False
Let t(n) = -870*n + 531085. Is t(0) a prime number?
False
Let w(r) = 3127*r**3 - 2*r**2 - 8*r + 9. Is w(2) composite?
True
Let t(u) = -4*u**3 - 7*u**2 + 4*u + 9. Suppose -28*i + 30*i = -10. Is t(i) a composite number?
True
Let f(m) = -m**2 - 32*m + 74. Let z be f(-34). Suppose z = -5*a - 9, 0 = 3*k - 5*a - 3024. Is k a composite number?
True
Suppose 13*d + 46 = 176. Suppose 0 = -d*o + 5*o + 13045. Is o a composite number?
False
Let z(j) = 47 + 45 - 67 - 2*j. Is z(-6) a composite number?
False
Suppose -99 + 8310 = 21*k. Let f be 0/(0 - (0 + 1)). Suppose 5*i = -4*o + k, 3*o + f*o = -4*i + 294. Is o a prime number?
False
Suppose 0 = n - 7 + 3. Let b(y) = -y - 2. Let a be b(n). Let h(z) = -320*z + 11. Is h(a) prime?
True
Suppose 0 = -4*n - 4*d + 793824, -665*n + d + 595388 = -662*n. Is n a prime number?
True
Let j(t) be the first derivative of t**4/4 - 5*t**3 + 25*t**2 + 3*t + 130. Is j(15) a prime number?
False
Suppose -1267*s + 3*a + 1062113 = -1262*s, s - 3*a - 212437 = 0. Is s prime?
True
Let z be 3 + (-104)/18 - 4/18. Is z/(-2)*(347070/18 - 5) a prime number?
False
Suppose -3*k = -0*k - 4725. Let u = k + 4572. Suppose -4 = -3*o + 2, 3*h - 3*o = u. Is h prime?
False
Let r(o) = o**2 + 12*o - 18. Let z be r(-16). Suppose z*p - 50*p + 9340 = 0. Is p a prime number?
False
Let n(i) = -349*i + 19. Let a be 4/(-3) + 57/9. Let j(x) = -233*x + 13. Let t(f) = a*n(f) - 8*j(f). Is t(4) a composite number?
False
Suppose d - 6 + 4 = 0. Let m be -15*d*(-5)/30. Suppose 0 = 3*u + n - 16520, 5*n + 39140 = m*u + 11600. Is u a composite number?
False
Suppose -34 = -2*y + 3*t, 38 = 2*y - 4*t + 6. Let v(l) = l**2 - 24*l + 119. Is v(y) a composite number?
True
Suppose 56245 + 305318 = 4*m + 5*n, n = -m + 90392. Is m a prime number?
True
Let b be -2*(-1)/4*4. Suppose 15 = 3*w, -w + 2224 - 8961 = -b*t. Suppose -2*k + t - 817 = 0. Is k composite?
False
Suppose -3*b + 40626 = 7*x - 0*x, 0 = 4*b - 3*x - 54205. Is b composite?
True
Let m = 573564 - -115679. Is m a prime number?
False
Let j(q) = -q**3 + 16*q**2 + 14*q + 51. Let h be j(17). Suppose h = -2*g - 8, 9*g = 4*m + 7*g - 11116. Is m composite?
False
Let j be 1478460/96 - (-9)/24. Let l = j - 6999. Is l prime?
False
Let q = -51 - -56. Suppose 4301 + 14874 = q*n. Let w = n + -2178. Is w a prime number?
True
Suppose 0 = 7*g - 56 + 49. Let m(l) = 331*l**3 - 7*l**2 - 3*l + 2. Let h(v) = -332*v**3 + 6*v**2 + 3*v - 2. Let w(u) = -7*h(u) - 6*m(u). Is w(g) prime?
True
Suppose 38*h - 43*h = -1915. Suppose 5*y - 4*s - 143 = 250, h = 5*y + s. Is y composite?
True
Let g(f) = -167*f - 19. Let z(o) = -167*o - 18. Let a(k) = 4*g(k) - 3*z(k). Suppose -65*i - 1125 = 60*i. Is a(i) a composite number?
False
Suppose 17*f - 25759 = 728171 + 1621361. Is f composite?
True
Suppose -21*l + 105 = -0*l. Suppose 6143 = 2*w - l*m, 11*w - 6*w - 2*m - 15389 = 0. Is w prime?
True
Let l be 12/21 + 3/7. Let y be l/2 - 155/(-2). Let r = y + 107. Is r composite?
True
Let p(m) = 1209*m**2 + 4*m - 9. Let n be p(3). Let l = 17353 - n. Is l composite?
False
Suppose 93*o = 3395872 + 40524959. Is o a prime number?
False
Let g = 85778 + -36057. Is g a composite number?
True
Let c be (-2)/11*(-2 - 9). Suppose 4*h - 5*l + 5 = c*h, -2 = -h + l. Suppose 1013 = h*u - 2502. Is u a prime number?
False
Let b be 1/(3/(439 + -4)). Let u = b + -142. Is (-1960)/(-2) - 9/u a composite number?
False
Suppose -11*s - 8452 + 31211 = 0. Suppose 2*h - 2357 - s = 5*a, -11007 = -5*h - 2*a. Is h composite?
False
Let k(i) = i**2 - 4*i - 26. Let s be k(-4). Suppose -3*j - 3*r + 4176 = 0, 2*r = -9*j + s*j + 4181. Is j a composite number?
True
Let a(n) = 1199531*n + 362. Is a(1) a composite number?
False
Suppose 2*t + 0*n = -2*n - 2572, -4*t + 2*n = 5114. Let m = t + 2918. Is m prime?
True
Suppose r = 5*l - 7, 2*r - 5*l = -4*l + 4. Suppose -c = 2*w + 10 + 3, -w - r*c = 19. Let h(n) = -40*n**3 - 2*n**2 + 8*n + 7. Is h(w) composite?
False
Suppose -5*v + 1 = 2*t + 17, -v = 4*t - 4. Let u be 6*1 - (-2 - v). Suppose -u*f = 0, 50 - 209 = -3*z + 2*f. Is z a composite number?
False
Suppose -1238*a - 1752799 - 246510 = -1251*a. Is a composite?
True
Let o be -28*1*(-1)/2. Suppose o*w = 11*w + 4614. Is (-1 + 3)/(4/w) a prime number?
True
Suppose 1045 = 2*q + 299. Let s(r) = r**2 - 43*r + 46. Let o be s(47). Let n = q - o. Is n a composite number?
False
Let p(j) = 8549*j - 152. Is p(5) composite?
True
Let q(r) = r - 1. Let w(n) = -47*n - 1. Let g(m) = -12*q(m) - 3*w(m). Let k be g(-14). Let h = k + 2809. Is h composite?
True
Let k(s) = s**2 - 2*s - 41. Let c be k(-5). Is (c - (-7 + -2))*2177/3 prime?
False
Let z(h) be the second derivative of 11*h**4 + 7*h**3/3 - 55*h**2/2 + 48*h - 2. Is z(12) a prime number?
True
Suppose 426*k = 397*k + 2690939. Is k a composite number?
False
Let s be (-75366)/265*20/(-6). Let k = s + 4571. Is k composite?
False
Let k(h) = 2*h**2 - 2*h - 1. Let v be k(-1). Suppose 0 = -s - l + 16591, 2*s + 16575 = v*s + 5*l. Is s a prime number?
False
Let b(y) be the third derivative of 37*y**4/24 + 151*y**3/6 - 7*y**2 + 2*y. Is b(28) a prime number?
True
Let x(v) = 17*v**2 - 132*v + 26. Let g(t) = 26*t**2 - 199*t + 40. Let i(w) = -5*g(w) + 8*x(w). Is i(-21) composite?
True
Suppose 36*b - 8545279 + 544387 = 0. Is b a prime number?
True
Suppose 0 = -4*t, u + 37162 = 3*u - 4*t. Suppose 2*j = -8, -3*j - 2822 = 3*m - u. Is m a prime number?
False
Let z(p) = p**2 - 2*p. Let l(n) = 56*n**2 - 14*n + 39. Let b(d) = l(d) - 2*z(d). Is b(-10) prime?
False
Suppose 10 = 6*s - 11*s. Let k be 125/5 + ((-6)/s - 7). Let c(r) = -r**3 + 24*r**2 - 48*r - 4. Is c(k) composite?
False
Let b(t) = 124*t**2 - 12*t - 42. Let c be b(-13). Let u = 43605 - c. Is u a prime number?
False
Let n(w) be the second derivative of 34*w**3/3 + 3*w**2/2 - 120*w. Is n(7) a prime number?
True
Let o(b) = 58*b**2 - 59*b + 49. Let j be o(23). Let p = j + -273. Is p a prime number?
True
Suppose -2*w + 7*w + 20 = 0, 0 = 8*r - 3*w - 878036. Is r a composite number?
True
Let n = -624 + 635. Is (-923)/(-8) - 