0. Is d a prime number?
True
Let n(l) = -105*l - 1. Is n(-6) composite?
True
Let t = -97 - -384. Let y = 103 + -261. Let q = y + t. Is q composite?
True
Suppose -9*s + 20 = -25. Let u(j) = 137*j + 22. Is u(s) a composite number?
True
Is -5 + 5*(-2)/(-5) + 1246 a prime number?
False
Let a = -7776 + 11334. Suppose -h = 4*r - 1695, -3*h = -r - 1501 - a. Is h a composite number?
True
Suppose 0 = -3*v - 0*v + 6. Suppose 0 = v*t + 9 - 15. Suppose -3*b = j - t*j - 161, 2*b = -2*j + 104. Is b a prime number?
True
Is (-5)/(55/(-88)) + 386 a composite number?
True
Let j = 84 - 82. Suppose j*l = 11*l - 4311. Is l a composite number?
False
Let z be ((-24)/(-42))/((-4)/(-28)). Suppose 0 = y + z*d - 674, -3*d + 4*d = 5*y - 3370. Is y prime?
False
Let l be ((-2424)/(-20))/(12/(-40)). Let p = l - -692. Is p - (12/(-1))/4 composite?
True
Suppose -132062 = -8*g + 511946. Is g a composite number?
True
Suppose -2*n + 54 = u - 4, -5*n + 5*u = -115. Is (n/30 + (-2)/5)*222 a prime number?
False
Let j(s) = -s**2 - 8*s - 15. Let w be j(-5). Suppose -37*d + 34*d + 633 = w. Is d a prime number?
True
Suppose 3*k = -4*z - 2*k + 64287, k = -4*z + 64307. Suppose 4*q - z = 2*q. Is q a composite number?
False
Let p(u) = 38*u**2 - 3*u + 26. Let t be 2/(-11) - 901/187. Is p(t) composite?
False
Let k = 2327 - 1593. Suppose t - k - 65 = 0. Is t prime?
False
Let u(d) = -5*d**3 - 4*d**2 - 4*d - 8. Let q be u(-6). Suppose 4*t + q = -0*t. Let p = t + 717. Is p prime?
True
Suppose 4*t - 21040 = y, -3*t + 4*y + 15771 = y. Is t a prime number?
True
Let v(c) be the second derivative of -11*c**5/20 - 2*c**3/3 - 5*c**2/2 + 5*c. Let p be v(-2). Let l = 2 + p. Is l a composite number?
True
Let j be 0/(0 + -1) - -3. Suppose 3*h = -j*y - y + 1259, h - 429 = y. Suppose -3*z + 427 = -4*x, -2*x - h = -3*z - 0*x. Is z a composite number?
True
Let q(d) = 3*d**2 + 158*d + 453. Is q(-88) prime?
True
Let i be (0 + 12)*(1 - 297/(-4)). Suppose -260 = -s + i. Is s a prime number?
True
Let b be 6/(-4)*(-238)/21. Let m(v) = 7*v**2 - 7*v - 39. Is m(b) prime?
False
Suppose 18 = -4*i - 4*q + 2, 0 = -2*q + 4. Let b(a) = 15*a - 9. Let j be b(i). Let x = 350 + j. Is x prime?
True
Suppose 3*n - 41 + 35 = 0. Suppose n*i - 226 = 144. Is i composite?
True
Let n = 66 + -434. Let l be 2 - (-40)/(-16)*12/5. Is n/4*2/l prime?
False
Let l(b) = -48*b + 6 - 5*b + 7. Let m be l(-6). Suppose -2*y - 4*v = -170, 0*y = -4*y + v + m. Is y a prime number?
True
Let l be 0*(0 + (-1 - 0)). Suppose -345*k = -325*k. Suppose -2*n - 4*h + 688 = -l*h, 4*n + h - 1341 = k. Is n prime?
False
Let j = 1613 + -595. Let g = 1803 - j. Is g a composite number?
True
Let x = 23 - 19. Let a(k) = 20*k + 5. Let p be a(x). Suppose -p = -q + 106. Is q composite?
False
Let h = 4 - -1. Is (-2)/h + 14340/100 a prime number?
False
Let h = -16 - -25. Suppose -5*l - 25 + 75 = 2*d, 2*l - 8 = 0. Is (2 - d/h)*393 a prime number?
True
Suppose 3*t - 7*t + 5*d = -865, 0 = -3*t - 4*d + 641. Suppose -l + w = 5*w - 113, 3*w = 2*l - t. Suppose -486 = -5*b + l. Is b composite?
True
Let n(m) = -2 - 37*m**3 + 5*m**2 + 10*m**2 - 14*m**2 + 4*m**2 + m. Is n(-3) a prime number?
True
Let x(o) = 2*o**2 - 10*o - 7. Let v be ((-12)/9 + 0)*-15. Let l = 13 - v. Is x(l) prime?
False
Let g(f) = -31*f + 1. Let q(w) = 16*w. Let k(y) = -3*g(y) - 7*q(y). Let n be (-3)/(-12)*6*20/(-15). Is k(n) composite?
True
Let f(l) = -525*l + 56. Let p(q) = 105*q - 11. Let a(k) = 4*f(k) + 21*p(k). Is a(10) a composite number?
True
Suppose 2*k - 14 = -4*c + 8*c, 5*k + 13 = 2*c. Is ((-417)/c)/(2/4) prime?
True
Let w be (-1244)/3 + (-1)/3. Let r = w - -726. Is r a prime number?
True
Suppose 4*a + 17 = x, -3*x - 17 = 2*a + 3*a. Suppose 7 = 4*p - x. Suppose -136 = -p*y + 4*c, -c - 10 = c. Is y composite?
True
Is 361244/65 + (-6)/10 prime?
True
Let j(r) be the third derivative of r**5/10 + r**4/6 + r**3/2 - 3*r**2. Let x be j(-4). Let s = 66 + x. Is s prime?
True
Suppose 4*k = l + 4037, 5*l - 724 - 280 = -k. Is k composite?
False
Let m(r) = -18 + 2*r + 1 - 1. Let o be m(6). Is 261/o*(-1 + -1) a composite number?
True
Let i(u) = 30*u**2 - u - 1. Let x be i(-1). Let f be (-8)/12*x/(-4). Suppose -z = -5*d + 573, -f*z - 224 = -2*d - 2*z. Is d prime?
False
Let y(h) = 2*h**2 + 2*h - 2. Let f be y(-2). Let l = 152 - 85. Suppose -i = -f, -i + 26 = b - l. Is b a composite number?
True
Let i(l) = l**3 + 50*l**2 + 68*l - 106. Is i(-39) a composite number?
True
Suppose -5*x = -5*b + 20, 2*x - 26 = -5*b + 4*x. Let i be 0 + 3 - (-3 + b). Suppose 2*s + 3*h = 341, i = -3*s + h + 504 - 20. Is s composite?
False
Suppose -h + 4 = -0*h. Suppose -h*v + 2*v = -2162. Is v prime?
False
Let a = -363 - -5440. Is a a prime number?
True
Suppose 6*o = 4*l + 3*o + 23, 0 = -2*l - 3*o + 11. Is 1/l - (249/(-6) - -2) a prime number?
False
Let f(a) = a**2 + 16*a + 44. Is f(23) a composite number?
False
Suppose -14*s = -17*s - 6. Is (s + 1)*(-3922)/((-2)/(-1)) a composite number?
True
Let y(m) = -204*m - 95. Let j(g) = -51*g - 24. Let b be 1 - (-3 + (-4 - -6)). Let f(o) = b*y(o) - 9*j(o). Is f(11) prime?
True
Suppose 0*v - 701 = 4*v + 3*x, 2*x - 354 = 2*v. Let d = v + 1015. Is d prime?
True
Suppose -3*y = 3*h - 8163, -6*h + 5*h - 1 = 0. Is y composite?
True
Let o(q) be the first derivative of 20*q**3/3 + 9*q**2/2 - 25*q + 13. Is o(6) a prime number?
False
Let t = 968 - 1742. Let h = t + 2939. Is h prime?
False
Let u(x) be the second derivative of 701*x**4/12 + x**3/6 + x**2/2 - 6*x. Is u(1) a composite number?
True
Let q(y) = 3*y**2 - y - 4. Let m be q(0). Let o(s) = -44*s**3 - 3*s**2 + 5*s - 5. Is o(m) a prime number?
False
Let n be 6/33 + 684/(-11). Let g = 155 + n. Is g a prime number?
False
Suppose -3*b = 4*s - 5*b - 222, -b + 48 = s. Let i = s - -288. Is i prime?
False
Let w = -15 - -12. Let p be (w/6)/((-1)/140). Suppose -p = -v - 31. Is v composite?
True
Let k be 667621/46 - 3/2. Suppose 0 = -3*j - 5*i + 10907, -2*j = -6*j + i + k. Is j a composite number?
True
Let m(q) = -8*q**3 + 2*q**2 + 18*q - 7. Is m(-5) composite?
False
Suppose -196*o + 3487 = -195*o. Is o composite?
True
Let m = 17 + -13. Suppose -7*y = -m*y - 12. Suppose -33 = -y*q + 819. Is q composite?
True
Suppose -5*r - 2*f + 35587 = 0, -3*r = 3*f - f - 21353. Suppose 3041 + r = 3*d. Is d prime?
False
Is 4/26 - ((-690608)/26 + 5) prime?
True
Let g(k) = k + 3. Let s be g(1). Suppose -m + 2*m - s = 0, u - 4*m = 291. Is u a composite number?
False
Let k be ((-12)/(-14))/(2/(-14)). Let y(z) = 6*z**2 + 5*z + 8. Is y(k) composite?
True
Suppose 7*v + 231 = 3*o + 5*v, 4*o - 2*v = 308. Is o a composite number?
True
Let z(v) = -23*v**2 - 8*v - 1. Suppose -10 = 2*p - 22. Let g be z(p). Let w = 1230 + g. Is w a composite number?
False
Let a = -28 + 44. Let d = -14 + a. Suppose 5*u + 914 = 2*n + 237, -d*n = 3*u - 685. Is n composite?
True
Suppose -8*q + 3280 = -264. Is q composite?
False
Suppose -7646 = -2*v + f, 0 = -4*f - 16. Is v a composite number?
False
Let z = 7910 + -4521. Is z a composite number?
False
Suppose -19*x + 6475 = 2390. Is x prime?
False
Let i(t) = -671*t + 4. Is i(-7) a composite number?
True
Suppose 152 = 4*q - 4*o, 70 - 12 = q - 5*o. Let f = -29 + q. Suppose f*j = 6*j - 614. Is j a prime number?
True
Is (6*1)/(483/746557) prime?
False
Let j(p) = -p**3 + p**2 + p + 541. Is j(0) a composite number?
False
Suppose k + 2*w = -k + 33826, -3*k = w - 50739. Is k a prime number?
False
Let w(o) be the first derivative of 7*o - 2 - 5/2*o**2 + 1/3*o**3. Is w(-5) composite?
True
Let z = 1015 + -684. Is z a composite number?
False
Suppose 54 = 329*f - 323*f. Let z(w) = -w + 5. Let q be z(3). Is (q + f/(-2))*-14 a prime number?
False
Let y = -234 - 31. Let q = y - -898. Is q composite?
True
Let x(f) = -176*f + 39. Let t(u) = -88*u + 19. Let m(l) = 7*t(l) - 4*x(l). Is m(6) a composite number?
True
Suppose -4*o = -5*o + 10. Let k = 16 - o. Suppose -k*g + 26 = -4*g. Is g a prime number?
True
Let n(x) = 163*x**2 + 8*x - 17. Is n(6) prime?
False
Let x = 2583 + -848. Is x a prime number?
False
Suppose 0 = 2*w - 561 + 47. Is w prime?
True
Suppose 27116 = 34*j - 30*j. Is j prime?
True
Let r(w) be the first derivative of -w + 1/2*w**2 + 3 + 415/3*w**3. Is r(1) a prime number?
False
Let d(j) = -55*j**2 - 10. Let h be d(7). Is (h/(-15))/(2/6) a composite number?
False
Let j(f) = f**2 -