a prime number?
True
Let c(j) = 4588*j + 383. Is c(18) prime?
False
Let y be 15/35 + (-22)/(-14). Suppose -3*r = 5*s - 26354, 6*r - 10547 = -y*s + 3*r. Is s composite?
True
Is (-37)/((-222)/48) + 81399 a composite number?
True
Suppose 6 - 1 = w. Let z(i) = 3*i**3 + 5*i**2 - 2*i**2 + 61*i + 7 - 65*i. Is z(w) prime?
False
Let f(u) = -642470*u + 59. Is f(-1) composite?
False
Let o = -1519 + 2545. Suppose 8*q + 410 = o. Is q composite?
True
Let g = 7 - 32. Let y = 246 + g. Let t = y - 110. Is t composite?
True
Suppose 0 = 3*x - 9, 4*n + 3*x - 9 = 12. Suppose -3*v - 5*u = -8*v + 12120, 3*u = -n*v + 7302. Is v - (9/12 + 6/(-8)) composite?
True
Suppose -78*u + 74*u = -23416. Suppose -11*b + 9*b - w + u = 0, 11708 = 4*b + 5*w. Is b a prime number?
True
Let p = 62 + -58. Suppose 0 = 5*l - 25, -p*m + 5*l - l = -5096. Is m prime?
True
Let i = 201910 + -123753. Is i prime?
True
Let q(n) = n**3 + 2*n**2 - 8*n + 2. Let t be q(-4). Suppose -w = 1, -t*a - 3*w + 1476 = a. Is a a composite number?
True
Suppose 0 = 2*s + 8, c - 2*c - 10 = 3*s. Suppose 5*v - 5 = 15, 0 = f + c*v - 1123. Is f a composite number?
True
Let c = 98172 - 46889. Is c prime?
True
Suppose 6 = 3*w + 3*z - 6, -3*z = -w + 16. Is (-5 - (-74547)/w) + 6/14 a prime number?
False
Suppose -35*a + 14 = -28*a. Suppose -11462 = -2*s + a*z, -3*s + 3*z - z + 17191 = 0. Is s a composite number?
True
Let z(p) = 103448*p**3 - 7*p**2 + 12*p - 4. Is z(1) a composite number?
True
Suppose -5*z - 5 = 0, -5*v - 2*z + 7 = -1. Suppose 10 = -2*o + 5*h, -2 = -5*o - 2*h + v. Suppose 5*s + 4*s - 5139 = o. Is s composite?
False
Let u be (-1 + -1)*1*(6 + -18). Suppose -23*k = -u*k + 447. Suppose 0*c + 5*c = -b + 745, -3*c + k = 5*b. Is c a prime number?
True
Let r(x) = -x**2 - 3*x + 49. Let v be r(6). Let f be (v + (-72 - -4))*-5. Is f - (-9 - -3)/3 a composite number?
False
Let y = 2120 + -3096. Let h = y + 1510. Suppose h = 7*p - 5129. Is p a composite number?
False
Suppose 2*m + 5*a = 67992, 2*m - 67976 = 43*a - 40*a. Let y = m - 23402. Is y composite?
False
Suppose -13*j + 9*j - 52 = 0. Let c(n) = n**2 + 12*n - 11. Let h be c(j). Is (h + 2)*2863/28 prime?
True
Let p(v) = -3356*v**3 + 5*v**2 - 59*v - 37. Is p(-7) prime?
True
Suppose 4*z = z - 132. Let h = z - -52. Suppose -h*c = -2*c - 954. Is c a composite number?
True
Let i(n) = -9*n**2 + 2*n + 6 + n**2 - 3*n**2. Let d be i(-3). Let u = d + 181. Is u composite?
True
Suppose c - 9 = 19. Let a be 7/(c/8) - 4. Is 6687/7 + a/7 a prime number?
False
Let b(v) = 18945*v + 2987. Is b(8) prime?
False
Let o(k) = -3606*k - 168. Let x be o(-6). Suppose x = 10*j + 2238. Is j a composite number?
True
Suppose -4*p + 3*g + 3465 = -3*p, 3*p - 10343 = -4*g. Suppose -26*r + p = -25*r. Is r prime?
False
Let a = 377478 + -223076. Is a prime?
False
Let m(r) = -10*r + 61. Let p(c) = 5*c - 31. Let x(q) = -4*m(q) - 9*p(q). Let z be x(6). Suppose -j + 2*u = -651, -3340 = -z*j - 4*u - 57. Is j prime?
False
Is 2305 - -1 - (-3 + 0) a composite number?
False
Is (-15)/(264624/(-264606) + 1) prime?
False
Let v(u) = -102*u - 32. Let q(d) = 68*d + 21. Let n(i) = 7*q(i) + 5*v(i). Let m be (4/(3 - 7))/(4/16). Is n(m) prime?
False
Let b be 75/12 + 15/20. Let v(g) = -2*g - 4*g**2 + b + 11*g**2 - 29. Is v(7) composite?
False
Suppose 3396 + 5454 = 5*k. Let a = 58 - 53. Suppose a*z - 7675 = k. Is z a composite number?
False
Suppose 0 = -4*h + 29 + 19. Suppose h = -3*r - 0. Is (r + 1 - -5) + 87 composite?
False
Let x be ((-2)/3)/(((-12)/(-27))/(-2)). Suppose 5*k - 11 = -2*z, -5*k - 4*z + 20 = x. Let b(d) = 294*d - 1. Is b(k) a composite number?
False
Let f be (-870 - -6) + (-1)/((-2)/(-4)). Let c(v) = 964*v - 1. Let k be c(2). Let l = f + k. Is l a composite number?
False
Let b be 30/18 - 3436/(-12). Let v(y) = y**3 + 6*y**2 + 4*y + 4. Let h be v(-3). Let s = h + b. Is s a composite number?
False
Let n(x) = 110*x**2 - 2*x + 72. Let l be n(6). Let w = -2831 + l. Is w a composite number?
True
Let j = 1477335 + -881204. Is j prime?
False
Suppose -123 = 7*k - 151. Suppose 8*a - 6353 = 5*a - 4*i, k*a = 4*i + 8480. Is a a prime number?
False
Let o = 222 + -207. Suppose -o*c + 48*c = 338745. Is c a prime number?
False
Suppose -2*n + 35906 + 71124 = -62684. Is n a prime number?
True
Let s(b) = 49*b**3 - 35*b**2 + 201*b + 111. Is s(10) prime?
False
Suppose 0 = 7*p - 9*p - 2. Let m be p/((-280)/55 + 5). Let x(b) = 8*b**2 + 10*b - 5. Is x(m) composite?
True
Suppose -11*f = -8102 + 325144. Let y = -16859 - f. Is y prime?
False
Let v(s) = 4*s - 117. Let z(r) = 14*r - 350. Let n(b) = 17*v(b) - 6*z(b). Is n(-12) a composite number?
True
Is 5*((-377790)/(-75) - 15) prime?
True
Let i(b) = -316*b**3 + 8*b**2 + 18*b + 49. Is i(-5) composite?
False
Let x = 177 - 177. Suppose -4*i + 6613 + 1543 = x. Is i a prime number?
True
Let r(u) = 2*u**2 - u - 23. Let g be r(-3). Is 8/g + (-1 - -318)*15 a composite number?
False
Let c(h) = -66*h + 11. Let s be 6/(4/(12/3)). Suppose 3*l = s, 8*f - 3*f + 74 = -3*l. Is c(f) composite?
True
Is (11 - (-7000)/(-126))*-1179 prime?
False
Is 1/(-7) + (6 - (-71068990)/287) a composite number?
False
Let r = -4676 + 14700. Suppose 2*o = 4*n + 3802 - r, -2*n + 3113 = -3*o. Is n composite?
True
Let i(b) = -b**3 - 5*b**2 - 4*b - 5. Let z be i(-6). Suppose -2*t - z = 3*t. Let v(g) = -6*g + 13. Is v(t) prime?
True
Suppose -4*u - 2*o + 2728016 = 0, 405*u = 400*u + 3*o + 3410009. Is u a prime number?
False
Let c(u) = 2*u - 4. Let l be c(4). Let i(y) be the third derivative of 3*y**5/20 - y**4/24 + 17*y**3/6 + 2*y**2 - 12. Is i(l) a composite number?
False
Suppose 5*i - 65 = 4*p, 3*i + 3 = -2*p + 20. Suppose -i*a + 1 + 1142 = 0. Is a a composite number?
False
Suppose 5*g = 4*t + 56048, 2*g - 19*t + 18*t - 22421 = 0. Is (43 + -44)*(-1 - g) composite?
False
Suppose 13*z + 215*z = 129980292. Is z a prime number?
False
Let g(c) = c - 34. Let m be g(22). Let v be (-4 - -1)*(-81)/(m/(-4)). Suppose -y + v = -102. Is y a prime number?
False
Suppose 9 = v + 1. Suppose -6*i - 8 = -v*i. Suppose 4204 = i*x + 576. Is x composite?
False
Suppose 4*s + 2*i = 851124, 3*s - 3*i - 51170 = 587182. Is s a composite number?
True
Let b = -7103 - -10414. Suppose -3*u = x - 8762, 2*x + b = u + 388. Is u prime?
False
Let f be 1 + -4 + (9 - 3). Let x(b) = 16*b**3 - 2*b**2 - 6*b + 1. Is x(f) a prime number?
True
Suppose -20*w + 1180635 = 8*w - 1402953. Is w prime?
False
Let f = -1015 - -1714. Suppose 0 = -85*g + 2875 + 30020. Suppose 6*i = g + f. Is i a prime number?
True
Let g be -1*4*(-4)/(-16). Let o be 0 + ((-1)/g)/((-2)/(-6)). Suppose -y = -0*y - o. Is y a composite number?
False
Let w(n) = 50*n**2 - 12*n - 29. Suppose o + 6*o + 42 = 0. Is w(o) prime?
False
Let i(d) = -21*d - 22. Let m = 68 - 73. Let r be i(m). Let j = 1278 + r. Is j a composite number?
False
Let t(l) = -64*l + 11. Let v be t(7). Let r = 2371 + v. Is (-6 + 5)/((-2)/r) a composite number?
False
Let i(m) = 3278*m - 4. Let b be i(-2). Is -3*(b + 3*(0 + -1)) a composite number?
True
Let w(t) = 4*t - 4. Let y be w(2). Suppose 0 = 2*m + y*z + 248, m - 5*m - 3*z - 496 = 0. Let v = m + 237. Is v composite?
False
Suppose 42*v - 50*v - 276528 = 0. Is (-78)/(-195) - v/10 composite?
False
Suppose -22*k + 2*j = -17*k - 515259, -515257 = -5*k + j. Is k composite?
True
Suppose 4*z + 64*u - 359851 = 59*u, -2*z + 179903 = -5*u. Is z a composite number?
False
Suppose 91*i = -12*i + 2085647. Is i composite?
False
Let q(u) = -20 + 13*u + 80 - 4*u. Let j be q(0). Suppose v - 391 = j. Is v composite?
True
Let k = 287579 + -103782. Is k composite?
False
Suppose -3*j = 4*t + 230, -2*j - 3*j + 187 = -3*t. Let x = t - -61. Is (-4)/16*-2698*x composite?
True
Is (-341494)/(-6) - 378/567 composite?
True
Let q = -292 + 296. Is (-8009)/2*7/((-14)/q) composite?
False
Let d be (6/(-4))/((-15)/70). Let c be d + 10/45 + (-40)/18. Suppose -c*y = 4*y - 28053. Is y a composite number?
True
Suppose 19*t + 917238 = 61*t. Is t prime?
True
Is (211676/(-2))/((-30)/105*7) a composite number?
False
Let f = 841090 + 59371. Is f a prime number?
True
Let z = -90 - -176. Let a(t) = z*t**2 - 51*t**2 + 8*t - t + 60*t**2 + 5. Is a(-3) a composite number?
False
Is 3*-3*(-547818)/54 composite?
False
Let r = 150 + -90. Let p be r/(-80) + (-7)/(-4). Is (-1604)/(-3) + ((-20)/(-15) - p) prime?
False
Let u = -10841 +