 - 12. Is b(17) composite?
True
Let j(f) = f - 4. Let n(z) = 3*z - 8. Let l(v) = -5*j(v) + 2*n(v). Let k be l(-2). Suppose y + 3*m - 518 = 0, 3*m + 555 = k*y - 508. Is y composite?
True
Let w(a) = 19*a**3 - 8*a**2 - 12*a + 8. Let d be w(8). Suppose -2129 + d = 3*n. Is n a prime number?
True
Let x(v) = -857*v + 238. Let b be x(-7). Suppose -22*p + b = -54417. Is p a prime number?
False
Suppose 6138741 = 84*t - 2328459 + 1166844. Is t prime?
False
Let a be -7 + 0 - (-12 + 8). Let d be 2 + 4 + a + -1. Suppose 0 = -d*n - 0*n + 1814. Is n a composite number?
False
Let r(t) = -13278*t - 1859. Is r(-9) composite?
False
Suppose 0 = 2*w - 4*h + 12650, -4*h + 20773 = -4*w - 4535. Let a = w - -10608. Is a prime?
False
Let i(v) = 126*v**2 - 9221*v + 122. Is i(123) prime?
False
Is 15 - ((21 - -4) + -1035783) a composite number?
True
Suppose -2*i - 2*l + 5954 = 0, -5*i = 6*l - 3*l - 14887. Suppose 4*x = 2*s + i, -4*x - 6*s + 9*s + 2977 = 0. Is x prime?
False
Let z(c) = -c**3 - 16*c**2 - 16*c - 13. Let k be z(-15). Suppose 0 = -k*y - 2*y - 4, 0 = u + 5*y - 8054. Is u composite?
False
Let f(t) = 13*t**2 - 1. Let q be f(-1). Let z be -3 - (1498/(-21) - (-2)/(-3)). Is -1*z/(-6)*(q + -2) a prime number?
False
Suppose 0 = -i + 39 - 128. Let c = 2662 + i. Is c composite?
True
Let q(o) be the first derivative of 2*o**3/3 - 28*o + 3. Let y be q(20). Let s = y + -101. Is s a composite number?
True
Suppose 5*w + 5*r = 7470, 5*w - 8753 = 2*r - 1255. Suppose -5*m + w = 4*o + 69, 2*o - 1437 = -5*m. Is m a composite number?
True
Let s(m) = 4*m**3 + 23*m**2 - 9*m + 2. Let g be s(10). Suppose w + 3*w = g. Is w prime?
True
Let v(z) = -z**2 - 3*z + 4. Let b(x) = -2*x + 3. Let h be b(3). Let g be v(h). Suppose g*s - 13774 = -3498. Is s a prime number?
False
Suppose 13*q + 0*q - 17767 = 175972. Suppose 5*y + 6 = 3*z, -3*y - z + 1 = -1. Suppose y*h + q = 7*h. Is h a prime number?
True
Let c(d) = -d - 36*d**2 - 1 - 3*d - 45*d**2 + 0. Let z(a) = -324*a**2 - 16*a - 3. Let f(s) = -9*c(s) + 2*z(s). Is f(-2) prime?
False
Let q(j) = 19*j**2 + 20*j - 82. Let t = -337 - -354. Is q(t) a composite number?
False
Let i be (4 + 5559)/(1 - 4/2). Let j = i - -9029. Is j composite?
True
Suppose -10 = -g - 4*g. Suppose -5*j - 145 = -5*m, 4*m - g*m + 5*j = 86. Let n = m + 109. Is n a composite number?
True
Let y(p) = -p**2 - 4*p + 12. Let l be y(-6). Suppose 2*w - 1 = 3*m + 13, -4*w + 3*m + 22 = l. Suppose -w*n = 3*d - 5*d + 834, -3*d + 1239 = -2*n. Is d prime?
False
Suppose -2*d + 3*d = j + 5, 4*d + 4*j - 4 = 0. Is 4138380/288 + d/(-8) prime?
True
Let g = -79563 - -115960. Is g a composite number?
True
Is (90271 - (-3 - -3)) + 16/(-8) a composite number?
True
Suppose -54*z - 3343 = -4*b - 59*z, 4180 = 5*b + 5*z. Suppose -3*q = -c - 11842, q + c - 3105 = b. Is q composite?
True
Let n be (12/(-10))/(41/(-615)). Is (-2)/(-18)*-2 + 270238/n a prime number?
True
Let t = 60032 + -8841. Suppose 27*o - t - 9127 = 0. Is o a composite number?
True
Let j = -15077 + 128632. Suppose 0 = 13*c - j + 1066. Is c composite?
True
Suppose 3*d + 1438 + 1481 = 2*h, 2*h - 4*d - 2914 = 0. Let q = 9 - 5. Suppose h = -y + q*y. Is y a prime number?
False
Is (-12 - -264658)*((-18)/4)/(-9) a prime number?
False
Suppose 8*t - 200222 = 46*t. Is t/(1 + -4 + 2) prime?
False
Is 565*223 - (-17 + 1 - -10) a composite number?
False
Suppose r + 471400 = -2*s + 3365207, 3*r - 5787611 = -4*s. Is s composite?
True
Suppose v + 300838 = 476*k - 472*k, k - v = 75211. Is k prime?
True
Let w be ((96/15)/(-4))/(2/(-5)). Suppose w*y - 20124 = -4*m, 5*y + 3*m + 25171 = 10*y. Is y composite?
True
Suppose 0 = -3*w + 3*i + 175140, -3*w + 12631 + 162509 = 3*i. Is w/36 - ((-2)/3)/(-1) a composite number?
False
Let r = -66 - -75. Suppose 34779 = r*q - 11022. Is q a prime number?
False
Let f = 236 - -1342. Is 9/(-18)*f/(-3) a prime number?
True
Let b = -559738 - -961443. Is b prime?
False
Let v(g) = 62*g**2 + g + 5. Let k(l) = -30 - 25 - l**3 + 55 + 4*l**2 - l. Let u be k(4). Is v(u) prime?
False
Let k(q) = 419*q**2 - 17*q - 49. Let p be k(-9). Suppose 0 = -5*d - 4*c + 170151, 0 = 7*d - 8*d - 4*c + p. Is d a prime number?
False
Let m be 2/(0 + (-34)/(-10) + -3). Let t be (-2)/(-9) - m/((-45)/6019). Suppose 0*u - 4*u - 4*r = -2672, 2*r - t = -u. Is u prime?
False
Suppose 0*i + 5*w = -3*i - 10, -5*i + 6 = -3*w. Let p(n) = -7*n + i + 1355*n**2 + 1525*n**2 - 784*n**2 + 6. Is p(1) a composite number?
True
Let h = -21 - -37. Suppose 12*f - 1068 = h*f. Is 4 + -4 - 0 - f a composite number?
True
Suppose 6*t - 2*t = 0. Suppose 3*f + s - 11 = t, 2*f + 2 = 4*f + 2*s. Is ((-60)/(-4))/f - -191 a composite number?
True
Let j(a) = 24*a**2 - 32*a + 1. Suppose -5*r = -5*s - 20, 5*r + 27 = -5*s + 67. Is j(r) a prime number?
True
Let n(f) = 252*f - 49. Let w(h) = 168*h - 33. Let k(v) = -4*v - 40. Let y be k(-12). Let s(z) = y*w(z) - 5*n(z). Is s(6) prime?
False
Let o = -485 + 6454. Is o a composite number?
True
Let p(d) = 15*d**3 - 4*d**2 - 10*d + 5. Let n be p(8). Suppose n = 2*r + 2431. Is r a prime number?
True
Suppose a + 13500 = g, 11*a = 2*g + 10*a - 27001. Is g prime?
False
Let y(f) = -2*f**3 - 114*f**2 - 830*f + 188. Is y(-75) a composite number?
True
Let y(l) = -17*l**3 - 34*l**2 + 11*l - 9. Is y(-14) prime?
True
Let z be (-7956)/2210*(16/(-6) + 1). Suppose 0*h - 3*h = -6. Suppose -z*y = h*y - 10168. Is y a prime number?
False
Let q be (-3522354)/231 + (-4)/(-14). Let r = q - -23233. Is r prime?
False
Let t(g) be the second derivative of -29*g**3/3 + 61*g**2/2 + 75*g. Is t(-3) a prime number?
False
Suppose 0 = d + 65*o - 61*o - 683781, 0 = -2*d - o + 1367590. Is d composite?
True
Suppose -12*v + 53446 - 170386 = 0. Let h(x) = -x**2 - 13*x - 13. Let y be h(-12). Is v*(y - (-4)/5) composite?
False
Let c = -90293 + 235632. Is c composite?
True
Let l = 14 + -10. Suppose 2*m - 3*v + v = l, 4*m + 3*v = -6. Suppose m = -5*y + 1117 - 2. Is y prime?
True
Let b = 4489 - 4485. Let o be (-2)/4*7672/(-2). Suppose -t = 3*g + 4*t - o, b*g - t - 2565 = 0. Is g a prime number?
True
Let n(s) = 4*s + 14. Let d be n(-5). Let z = d - -18. Suppose -11*t + z*t = 1811. Is t a composite number?
False
Let f = -2834 - 8638. Let m = 16109 + f. Is m composite?
False
Let x = 2916 - -1355. Is x a composite number?
False
Let n = -467 + 566. Is (-6982)/(((-33)/n)/(2/12)) a prime number?
True
Suppose 0 = -2*f + 10, -j - 997 = -0*f - 3*f. Let n(u) = -28*u + 113. Let y be n(11). Let p = y - j. Is p a prime number?
True
Suppose -3*u + 2519079 = -2*l, 6*l = -3*u + 11*l + 2519079. Is u prime?
True
Let z(t) = 397*t**2 - 5*t + 6. Let c be z(2). Let f = c - -1750. Let v = f + -2376. Is v prime?
False
Let u(v) = -85*v + 71. Let w(q) = -426*q + 354. Let j(c) = -11*u(c) + 2*w(c). Is j(22) composite?
False
Suppose 3*r + 447356 = 5*q, 0 = -107*r + 106*r + 3. Is q prime?
False
Let c = 708 + -708. Suppose c = 2*r - d - 13638, -13650 = -2*r - 0*d - 2*d. Is r prime?
False
Suppose -2*b + 3*h = 66, -h = -2*b + 4*b + 50. Let s = b - -27. Suppose 6*y - 8*y + 322 = s. Is y composite?
True
Suppose -2*x + 6*x + 96 = 0. Let g = x + 203. Suppose -859 = -2*h + g. Is h prime?
False
Suppose -5*x = -4*y - 4, 4*y + 4 = -0*x + 2*x. Let j be 220 - -1 - (-2 - (x + -1)). Suppose 0 = -7*w + j + 247. Is w prime?
True
Suppose 2896 = -2*n + 4*n - 2*k, 0 = -5*n - k + 7270. Suppose -885 = g + n. Let j = g + 4259. Is j a prime number?
False
Let y be 86/(3 - (-7)/(-2))*-62. Suppose 2*o + 2*k - y = 3592, 4*k - 21379 = -3*o. Is o prime?
False
Let d = -2689 + 14448. Is d prime?
False
Let d(b) = b**3 - 4*b**2 - 2*b + 1613. Let k be d(0). Is k/4 + 216/32 + -7 composite?
True
Let c(t) = -11*t**2 - 16*t + 32. Let k(x) = -33*x**2 - 48*x + 97. Let s(y) = 8*c(y) - 3*k(y). Is s(-20) composite?
True
Let z(p) = -4*p + 14 - 8*p**2 - 6 - 25*p**3 - 7*p**3 + 3. Is z(-5) a prime number?
False
Let t be (-2)/3 + (-52921)/(-33). Let i = t - 1056. Suppose -5*y - 4*l = -735, -4*y - l + i = -6*l. Is y a prime number?
False
Suppose -107*y + 12522538 = -9*y. Is y a prime number?
True
Is (658154/(-1))/(-2) - (-190)/19 a composite number?
True
Suppose 17*o - 6*o - 24127047 = -52*o. Is o composite?
True
Let t(q) = -901*q - 1. Let h(r) = -902*r + 1. Let k(o) = 4*h(o) - 5*t(o). Let j be k(8). Suppose 4*x - 4423 - 5143 = -3*g, -3*x + 3*g + j = 0. Is x composite?
