 = m, 5*c + 1141 = 4*v - 4450. Is v a prime number?
True
Suppose -4*c + 10 = -6*c, 3*h = 3*c + 13620. Is h a prime number?
False
Let m(z) = -7*z**2 - 5 + 19 + 23*z**3 - 21*z**3 - 10*z. Is m(5) a composite number?
True
Let b be (-3 - -3)/(-3) - -5. Suppose 3*l = b*l - 6. Suppose -5*i + 0*y = y - 436, 259 = l*i - 2*y. Is i prime?
False
Let f(q) = -5071*q**3 + 2*q**2 + 48*q + 97. Is f(-2) a prime number?
True
Let m(t) = -25*t - 17. Let n be m(12). Let b = -537 - -19. Let l = n - b. Is l a composite number?
True
Let x be 1/2 + (-8 - (-36939)/14). Suppose 2*i = 5*i - x. Is i composite?
False
Suppose 19*v + 210946 = -41146. Let n = -6559 - v. Is n a composite number?
False
Let m = 88322 + -9469. Is m composite?
False
Is (72/(-48))/((-9)/202074) a prime number?
True
Suppose 22*u - 17*u + 1562012 = 3*o, 2082711 = 4*o - u. Is o prime?
True
Let o(a) = -158*a**3 - a**2. Suppose 0 = 4*i - j + 17, i = -5*j - 4 + 26. Let t = -4 - i. Is o(t) a composite number?
False
Let d(t) = -53 - 17*t - 28*t**2 - 30 - 2*t + 74*t**2. Is d(10) a prime number?
True
Suppose 4*y - 63135 = -0*o - 5*o, -50549 = -4*o + 5*y. Is o a prime number?
False
Suppose -608 = 5*p - 163. Let a = -128 - p. Let y = 202 + a. Is y composite?
False
Suppose -2*f + 17812 = -d - 47877, 98538 = 3*f - 3*d. Is f a prime number?
True
Suppose -12 = w + 74. Let v = -76 - w. Suppose 1847 - 8157 = -v*d. Is d a composite number?
False
Suppose 13*x - 8931552 = 1871201. Is x prime?
True
Suppose 6 + 12 = -3*c. Let m be 350*c/4 - (4 - 1). Let v = -271 - m. Is v a composite number?
False
Let w(n) = -9013*n - 1060. Is w(-9) prime?
False
Is 1/(-2 + 2600955/1300473) prime?
True
Suppose 0 = -3*k - 2*w + 1224, 7*k = 8*k + 5*w - 408. Suppose 0 = -k*u + 399*u + 8595. Is u a composite number?
True
Let y(r) be the third derivative of -22*r**4 - 5*r**3/6 - 12*r**2. Let h be y(-3). Suppose -4*a + 2365 = 3*p, p + 5*a - h = -p. Is p composite?
False
Let j be 2 + 4 - (-20 + 21). Let k(n) = n**3 - 6*n**2 + 5*n + 9. Let x be k(j). Suppose -2540 - 1717 = -x*p. Is p a composite number?
True
Suppose 978338 = 5*g + 2*m - 91523, -5*g + 1069864 = 3*m. Is g composite?
True
Let s(o) = -o**3 + 8*o**2 + 2*o + 927. Let g be s(0). Let m = g - 386. Is m composite?
False
Let p(g) = -2*g**3 - 47*g**2 - 29*g + 187. Is p(-35) composite?
True
Is (((-298)/(-4))/((-1)/(-1)))/((-7)/(-5446)) prime?
False
Suppose 36 = -4*p + 116. Is (-11)/55 - (-803864)/p a prime number?
True
Suppose 63*w = 67*w - 5124. Suppose -4*d + w = 3*g - 1895, -5312 = -5*g - 2*d. Is g + -1*1*(6 + -3) composite?
False
Suppose 33*z = 36*z + 18, d - z - 254687 = 0. Is d prime?
False
Let o(a) = -343*a + 1132. Is o(-19) a composite number?
False
Suppose -5*m - 59067 = -8*m - 6*m. Is m a prime number?
True
Let u(y) = 125*y**2 - 877*y - 89. Is u(51) prime?
False
Let n(p) = p - 2. Let j be n(3). Suppose -4*x + 4892 = 660. Is x/5*j - (-21)/(-35) a composite number?
False
Suppose -253377 = -14*l + 3397. Is l prime?
True
Let r(j) = -9*j - 26. Let v be r(-4). Let y(m) = -v + 23 - 14 - 60*m**3. Is y(-1) a composite number?
False
Let m = -24758 - -89467. Is m a prime number?
True
Suppose -2*c + 24 = 4*c. Suppose -5*o - 6*m + m + 20 = 0, 0 = 3*o + m - c. Suppose 41*b - 42*b + 535 = o. Is b a composite number?
True
Let m = 7 - 19. Let x be 8/3 - (-8)/m. Suppose 4*s + 676 = x*v + 70, -5*v + 2*s + 1523 = 0. Is v a composite number?
True
Let z(o) = o**2. Let s be z(-1). Let v(r) = -6 + 9*r**2 + 2 + 244*r**2 - 3*r + 5. Is v(s) composite?
False
Suppose 461*u - 7221552 - 6372877 = 0. Is u a composite number?
True
Let n(i) = -i**3 + 18*i**2 + 14*i - 34. Suppose -10 = 2*a, 2*b + 3*b = a + 80. Is n(b) prime?
False
Suppose 4*h = 4, -l + 810 = 111*h - 114*h. Let q be 2 - 1 - (-294 - 0). Suppose -7*g = q - l. Is g composite?
True
Let j(o) = -8283*o + 778. Is j(-7) prime?
False
Is (35/350 - 2305178/(-20)) + 0 a composite number?
False
Let q(g) = 260*g**2 + 3*g + 15. Let h be q(-6). Let b = h - 3518. Is b composite?
False
Suppose -11*x + 1968557 = -4242813. Is x/55 - (-12)/44 prime?
True
Let r(s) = -106*s + 123. Let z be (-6)/45 - (-2508)/(-90). Is r(z) a composite number?
True
Suppose -2*o + s + 13815 = 0, 5*s = -3*o + 8725 + 12043. Is o composite?
False
Suppose 2*y = s + 316866, -4*s + 633720 = y + 3*y. Suppose -44*g = -y - 87924. Is g prime?
False
Let j(b) = 4*b - 44. Let u be j(12). Suppose -4*g + g + 8437 = -4*m, u*m + 2799 = g. Is g prime?
True
Let p(a) = -61*a**3 + 2*a**2 - 80*a + 158. Is p(-17) a composite number?
False
Let c = -81 - -78. Let h be ((-6)/(-4))/((-4)/31656*c). Suppose 2*j + 5*y - h = 0, -y = -0*j + 2*j - 3977. Is j prime?
False
Let l(f) = -1379*f + 9. Suppose 0 = -2*i - 5*h - 24, 9*h = 2*i + 10*h + 8. Is l(i) a composite number?
False
Let c be (-3)/(-6)*2*-4. Let p = 36 - c. Is (-1022)/(-8) - 30/p composite?
False
Let u = 241795 + -112124. Is u a composite number?
False
Let z be (-2)/4 + (-3)/(-6). Suppose 3*v - 15 = 0, 3 = -2*l + v - z*v. Is l + (-4 - 63)*-5 - -3 a prime number?
False
Suppose 11*l - 106115 = 6*l. Suppose 18*n - 37*n = -l. Is n a prime number?
True
Let j(h) = 19 - 2*h + 0*h**3 - 10*h**2 - 2*h**3 + 3*h**3. Let l be j(10). Let m(p) = 177*p**2. Is m(l) a prime number?
False
Let j(g) = -g**3 - 3*g**2 - 2*g - 2. Let c be j(-4). Let s be 3/(-1 + 19/c). Is 1214/22 + 4/s composite?
True
Let r = -73 - 2. Let g = r - 800. Let m = g + 1662. Is m composite?
False
Let m be 139/(-2)*(11 - -13). Let t = 4415 + m. Is t composite?
True
Suppose -5*i + d - 16 = 0, -3*i + 4*d - 7 = -2*i. Let z(f) = -f**2 - 5*f - 4. Let t be z(i). Is -1 + (192 - 8/t) composite?
True
Let k(q) = -15*q**3 + q**2 - 8*q + 11. Let g(w) = -5*w**2 - 33*w + 9. Let h be g(-7). Is k(h) composite?
False
Is 19720672/410 - (-12)/(-10) a prime number?
False
Let x(p) be the second derivative of 2*p**3/3 + 41*p**2/2 + p. Let g be x(-13). Let k(b) = 17*b**2 - 15*b - 1. Is k(g) a composite number?
False
Suppose 0 = 3*y + 5*y - 16. Is (-6 - (-344)/y)/((-2)/(-13)) a prime number?
False
Let r be 2/(-12)*3 - (-11)/2. Suppose 0 = 2*h - 5*h + s + 13, -r*h - 5*s = 5. Suppose 3*c - h*q - 240 = 0, 5*q + 254 = 3*c + 12. Is c composite?
False
Suppose 0 = -2*a + 25093 + 3189. Is a a composite number?
True
Suppose 35210 + 874890 = 3*o + 166793. Is o a prime number?
True
Let x(z) = -z**3 + 7*z**2 + 11*z - 75. Let b be x(7). Is 3/b*(-21552)/(-72) a composite number?
False
Let w(k) = 278*k - 1. Let h be 36/(-162) - (-70)/(-9). Let i be w(h). Let x = 3222 + i. Is x composite?
False
Suppose -31 - 193 = -28*h. Is (h/(96/(-42759)))/(9/(-12)) a composite number?
False
Let x(g) = -g**3 - 27*g**2 - 76*g - 39. Let f = -457 - -421. Is x(f) prime?
False
Suppose 144 - 156 = -6*m. Suppose -5*v = -m*o + 3*o - 89, 0 = -4*o - 4*v + 324. Is o composite?
False
Let z(v) = -42*v**2 + 39*v - 740. Let g(y) = -11*y**2 + 10*y - 185. Let f(u) = -9*g(u) + 2*z(u). Is f(8) a prime number?
True
Let h = -18 - -11. Let a(c) = -6*c**3 - 18*c**2 - 23*c - 19. Let w(x) = 3*x**3 + 9*x**2 + 12*x + 9. Let z(v) = 4*a(v) + 7*w(v). Is z(h) a composite number?
False
Let k = -183 + 185. Suppose -k*q - 706 = n - 5*n, 0 = 5*n + 2*q - 896. Is n a composite number?
True
Suppose 4*d - 65*u + 61*u - 363160 = 0, 9*u = 4*d - 363175. Is d composite?
False
Let a(m) = m**3 - 12*m**2 - 15*m + 32. Let t be a(13). Let p(q) = -6 - 2 + 34 + 97*q + 11. Is p(t) prime?
True
Let i(l) = 4*l + 32. Let z be i(-3). Let p be (z/30)/((-1)/3). Is p/8 + ((-58635)/4)/(-15) prime?
True
Suppose -25*r + 1386 = -31*r. Let c = 485 + r. Is c a prime number?
False
Let h = 11 - 7. Suppose -3*t = -h*i + 7, -14 = -5*i + 5*t + 1. Is (15/(-30))/(i/316) prime?
True
Is 36978 + -11 + -5 + 11 a composite number?
False
Let z(y) be the first derivative of 3/4*y**4 - 7/3*y**3 + 10*y - 1/2*y**2 - 2. Is z(7) a prime number?
False
Suppose -367*g - 104*g + 25471038 = -105*g. Is g prime?
True
Suppose 42*c - 37*c + 52*c = 24661335. Is c composite?
True
Let f(g) = -3*g + g**3 - 5 - 5*g**2 + g + 0*g**3 + g. Let m be f(5). Is (-27 - -1)/(m/145) a composite number?
True
Let w = 7030 + -4368. Let s = 1638 + -337. Let c = w - s. Is c a prime number?
True
Let a(n) = 137*n + 24. Let i be a(3). Let o = 634 - 282. Let r = o + i. Is r a composite number?
False
Suppose 5*r = 3*h - 23, 4*h - 8 = 4*r + 4. Let k be -2 + 5 - (-21)/r. Suppose 8