13 composite?
True
Let j(k) = -12*k - 9. Let m be j(-1). Suppose 4*o = -5*s - 28470, -5*s - 5*o - 28470 = -m*o. Let i = -3491 - s. Is i a composite number?
False
Suppose -193*g + c = -194*g + 1145441, g + 2*c = 1145435. Is g a composite number?
True
Let u be 860/12 + (-4)/(-12). Let j = u - 68. Suppose 20 = j*y, 2*c - 3*c + y + 884 = 0. Is c a prime number?
False
Is 142942 - ((-30)/24*(-2 + 6) - -8) composite?
False
Let k(x) = -2*x + 6. Let n = -45 - -48. Let h be k(n). Suppose 4*d - 3*g - 9323 = 0, h = -6*d + 3*d - g + 7002. Is d prime?
True
Suppose -5*h + 191 = n, -3*h + 0*n - 5*n = -97. Suppose 0 = -h*q - 28826 + 158267. Is q a composite number?
False
Let b(w) = 3*w**2 - 2*w + 4. Let z be b(2). Let s be 2/(-2)*(-14 + z). Suppose s*g - 507 = -o, 0 = -4*g - 0*g + 20. Is o a prime number?
False
Is (-27)/(-108) - 5432076/(-16) a prime number?
False
Suppose -5*g - 19 = -2*o, -g = -0*o - 4*o + 11. Suppose 3*f + 17 = -0*f - o*y, 0 = f - 2*y + 11. Is (2/(-1 - f))/(25/91275) a prime number?
True
Is ((-39)/4 + 10)*6964 a prime number?
True
Let j(m) = -34*m**3 + 5*m**2 - 47*m - 579. Is j(-16) a prime number?
True
Suppose -10*x - 33*x = 11*x - 302562. Is x prime?
False
Let a(f) be the third derivative of -f**5/60 - 5*f**4/12 + f**3/3 - 17*f**2. Let g be a(-10). Is -3*(-28)/36*66/g composite?
True
Let d = 135 + -131. Suppose b - 137 = -2*w, 5 = 3*w - d. Is b composite?
False
Suppose -4*x - 6*x = -400. Suppose -u + x = -9*u. Is u/(-5) + 351 + 3 prime?
False
Let i = -313 - 512. Suppose -5*q + 3808 = 3*j - 610, 3*j + 4*q = 4414. Let z = j + i. Is z composite?
False
Let y(b) be the second derivative of -3*b**5/20 + b**4/2 + b**3 - 10*b. Let g be y(-6). Let r = g + -385. Is r a composite number?
False
Suppose 0 = g - 3 - 0. Suppose -12179 = -22*p + g*p. Is p prime?
True
Is 192322 - 30*13/26 a composite number?
False
Let h(u) be the first derivative of 98*u**3/3 - 3*u**2 - 7*u + 32. Suppose q = 2*x + 7, -x - q + 0*q = -1. Is h(x) a prime number?
True
Let g = 159275 - 82714. Is g prime?
True
Suppose -4*k + 480589 = s, 27*k - 32*k + 600724 = 3*s. Is k prime?
False
Let l = 122808 + -78242. Is l prime?
False
Suppose 19 + 684 = -37*j. Let z(d) = -4*d**3 - 23*d**2 + 24*d - 66. Is z(j) composite?
True
Suppose -t + 8329 = 2*j - 13864, 110937 = 5*t - 4*j. Is t composite?
False
Let j = 19716 - 7644. Suppose 2857 = -5*z + j. Is z a prime number?
False
Suppose 9*y - 16994938 = 55*r - 56*r, 3*r + 1888342 = y. Is y a prime number?
False
Let l(y) = 106*y**2 - 14*y + 169. Is l(20) a composite number?
True
Let l = -4091 + 7937. Let r = l + -2079. Suppose 3*d + 1332 = 3*v, 5*d - r = -4*v - 0*v. Is v a composite number?
False
Suppose 0 = 2*g - 3*g + 2. Let h(s) = 2*s**2 - 5*s. Let w be h(g). Let q(o) = 71*o**2 - 7*o - 5. Is q(w) composite?
False
Suppose -5*j + 46664 = 2*y - 4*y, -3*j - 3*y = -27990. Let q = j + -2973. Is q a prime number?
True
Suppose -24857282 - 22866804 = -262*r. Is r a prime number?
False
Suppose 0 = 4*y - 0*p - 5*p - 357, -p + 327 = 4*y. Suppose 3*f = 15, 947 = 4*n + 2*f - y. Suppose -4060 - n = -4*w - 3*g, -4*g = -w + 1093. Is w prime?
False
Let i = -80004 - -47558. Let h = i - -59691. Is h a prime number?
False
Let p = -2809 + 11960. Is p prime?
True
Let h(v) = -229*v**3 - 15*v**2 + 20*v + 47. Is h(-6) a prime number?
False
Suppose 47 + 45 = -2*l. Let c = l - -53. Let x(m) = 9*m**2 + 7*m + 9. Is x(c) prime?
True
Suppose 3*t - 261 = -0*t. Let r = t + -67. Let p(z) = 4*z**2 + 36*z - 15. Is p(r) prime?
False
Let d(v) be the second derivative of v**4/12 - 2*v**3 + 36*v. Let y be d(11). Is 12 + y + (-976)/(-2) composite?
True
Let f be ((-1020870)/108)/((-1)/2). Let m = 33123 - f. Is m composite?
True
Let q(c) = c + 20. Let k be q(-9). Suppose l = -8 + k. Is (l + 15/(-6))*6326 a prime number?
True
Let w = 103 + -80. Suppose -29*r + 10884 = -w*r. Is r prime?
False
Suppose 0 = 2*v + 6, -2*o + 12*v = 17*v - 60839. Is o composite?
False
Is (-39)/52 - 1629855/36*(-5 - -4) a composite number?
True
Suppose -21*y - 3097 = -2*y. Let j = -126 - y. Is j a prime number?
True
Let c = 1151325 - 796402. Is c prime?
False
Let x(o) = -22*o**3 + o**2 + 5*o - 1. Let v be x(3). Let y = v + 1250. Is y a prime number?
False
Suppose 1668627 - 376415 = 8*j - 1237492. Is j a composite number?
False
Suppose t - 2*y + 7 = -4*y, -1 = t + 5*y. Let j(m) = -m - 7. Let f be j(t). Suppose 0 = u + f*u + 15, -3730 = -5*b + 5*u. Is b prime?
True
Let n = -145 + 142. Is n*(-4)/(-8)*(-3898)/3 a prime number?
True
Let f(j) = -26*j**3 - 13*j**2 - 163*j - 55. Is f(-21) a composite number?
True
Suppose 5*s + 5*n - 4*n = 25058, 25064 = 5*s + 3*n. Suppose 12667 = 5*d - 4*j, 4*d - s - 5116 = j. Is d a composite number?
False
Suppose 37*u + 6*u = -5*u + 2998032. Is u prime?
True
Let k(b) = -29111*b + 3997. Is k(-6) composite?
True
Suppose 4*y - b = 0, 3*y + b = -0*y. Suppose y = 16*q + 26*q - 1202754. Is q a prime number?
False
Is 19 + (-3255)/168 + (-12165590)/(-16) composite?
True
Let a = 981905 - 411892. Is a composite?
False
Let o(q) = q**3 + 22*q**2 + 71*q - 13. Let y be o(-18). Suppose 2*v = -3*v - y*u + 11310, -4*u = -2*v + 4494. Is v composite?
True
Suppose -9*z + 260 - 35 = 0. Suppose -z*j + 83696 = -133979. Is j a composite number?
False
Let q(i) = -94*i**3 + 2*i + 3. Let l be q(-1). Is 1996026/l - 1/(-5) a composite number?
False
Suppose 3*n = -6*d + d + 27, 2*d - 10 = -n. Suppose -n*q - 836 = 84. Let w = 343 + q. Is w a prime number?
True
Suppose n = 2*n + 2*o - 12, -o + 3 = -n. Let f be (5 - 6) + (-1 - -41) + n. Let s = 56 - f. Is s a prime number?
False
Suppose u + 5*w = -12, -34*w + 29*w + 14 = 3*u. Suppose 5*n = 3*q - 93109, n = 17*q - u*q - 124134. Is q composite?
False
Let d(v) be the second derivative of 3*v**5/5 + v**4/12 - 59*v**3/6 + 11*v**2/2 + v + 79. Is d(6) composite?
True
Suppose -4*r + 1578 = -2*v + 7*v, 4*r = 4*v - 1284. Suppose 4*i - 1096 + v = -2*l, -3*i + 1152 = 3*l. Is l composite?
False
Suppose 48*i + 39*i - 8*i - 12465331 = 0. Is i composite?
True
Let m = 174493 + -40574. Is m a prime number?
True
Let s(i) = 2731*i + 11. Let r(v) = -8193*v - 34. Let a(k) = 2*r(k) + 7*s(k). Is a(2) a composite number?
False
Suppose -2*b - 2*b = 16, -4*b - 21828 = -x. Suppose -x = -2*j + 35802. Is j prime?
True
Let g(n) = -704*n + 263. Is g(-6) a prime number?
False
Let o(x) = -4728*x**3 - 22*x**2 - 75*x + 11. Is o(-4) a composite number?
False
Let k = -116 + 86. Is (-30)/9 + 3 + (-114940)/k prime?
False
Let z = -13179 - -24422. Is z composite?
False
Let s = -1 - -1. Let m = 151 + -149. Suppose s*a + 154 = m*a. Is a a prime number?
False
Suppose -3*x = 3*r + 135, -4*r + x = 6*x + 181. Let o = -41 - r. Suppose 0*k - 1893 = -o*k. Is k a prime number?
True
Suppose -736482 = -8*y + 445422. Suppose -7*i + y = -i. Is i a prime number?
True
Suppose -195*b = -3609541 - 14431664. Is b prime?
False
Let n = 2 - 0. Let u(z) = 0 + 0*z + 2*z - 2*z**3 + 4*z + 9*z**n - 6. Is u(-5) a prime number?
True
Suppose -8*i + 565 = 493. Suppose -8069 = -o - 2*p, 5*o - 2*p = i*o - 32258. Is o a composite number?
True
Let l be (-3)/((-15)/4)*80/32. Suppose 2*r - 11580 = -2*h, 9*h - l*r - 11584 = 7*h. Is h prime?
True
Let j(w) = -w + 6. Let n be j(2). Suppose 3*f - 999 = 2*f + 5*g, -3948 = -4*f - n*g. Is f composite?
True
Let m = 227 + -224. Is (-14)/21 + (m - 10756/(-6)) composite?
True
Let a be (-2 - 60/(-14)) + 2/(-7). Suppose 3*g + 2*p - 1 = 9, 0 = a*g + 3*p - 10. Suppose -2109 = -3*u - 3*v, 5*u - g*u - 3*v - 2109 = 0. Is u a prime number?
False
Let s(q) = -q**2 + 3*q - 1. Let z be s(2). Let v be 5/z*((-4)/(-5) - 0). Is ((-1)/v)/((-10)/1480) composite?
False
Let f(w) = 167366*w - 88. Is f(1) a prime number?
False
Suppose 4 + 2 = k. Suppose -9*o + 15 = -k*o. Is 1/((10/788)/o) composite?
True
Suppose 3*h = m - 1293 - 66526, -5*h = -6*m + 406966. Is m prime?
False
Let l(o) = 603*o**2 + 7*o + 29. Let z(s) = 40*s - 84. Let u be z(2). Is l(u) a prime number?
True
Suppose -183*b = -185372070 + 8711739. Is b prime?
True
Let w(z) = -z**3 - 13*z**2 - 14*z - 11. Let f(a) = a**3 - 2*a**2 + 4. Let r be 4/1 + -1 + -5. Let k be f(r). Is w(k) composite?
False
Suppose -6 = -w - 2. Suppose -w*n = 2 - 18. Is (n/2)/(6/5079) composite?
False
Suppose 0 = -344*w + 381*w - 7680793. Is w composite?
False
Let h(i) = 356*i - 4143. Is h(1