rime?
True
Suppose 355*h - 359*h + 726151 = q, 0 = -3*q + 9. Is h prime?
True
Let b be 14/21*66/(-4). Let q(w) = w**2 + 3*w + 3. Is q(b) prime?
False
Let w(r) = 108*r**2 - 14*r + 100. Let s be w(3). Suppose 7*z - 2*z = -q + 165, 4*z = 4. Suppose 0 = -5*b - 5*y + s, -5*b + q = 4*y - 875. Is b composite?
False
Let u(k) be the first derivative of -289*k**2/2 + 2*k - 82. Suppose 3*t - 4*w = 9, 4*t + 3 = 5*w + 14. Is u(t) a prime number?
False
Let k(u) = 206*u**2 - 9*u - 382. Is k(25) a prime number?
False
Suppose 14 = 5*v - 16. Suppose v + 10 = -m. Is (-8044)/(-16) + (-4)/m composite?
False
Suppose 0 = -919*y + 898*y + 38355765. Is y prime?
False
Suppose 0 = 4*n - 16, 5*g + n = 5715 + 834. Suppose -l - 14 = -g. Suppose 0 = -5*j - 4*a + l, j + 21 = -5*a + 259. Is j composite?
False
Let y(o) = -o**3 + 20*o**2 - 35*o - 15. Let a be y(23). Let t = a - -4134. Is t prime?
False
Suppose -3*j - 4*t + 5422273 = 0, -2*t - 1807441 = -8726*j + 8725*j. Is j a prime number?
False
Let z(h) = h**3 - 5*h**2 - 9*h + 2. Let c be z(8). Let l = c + -124. Is (10/l - -4)*-1361 composite?
False
Let x = -54859 - -79166. Is x a composite number?
True
Let t = -564 + 1474. Let r = t + -461. Is r a prime number?
True
Suppose 3*j + 305196 = 10933*d - 10930*d, 0 = -4*d - 3*j + 406921. Is d a composite number?
True
Let r be (2 - 1)/1 + 610. Let u = -301 + r. Is u - (13/(-26))/((-2)/4) composite?
True
Let k = 110 + -129. Let q(h) = -h**2 - 22*h - 55. Let g be q(k). Suppose 4*j + 4650 = g*f - 0*j, -4*j = 3*f - 7015. Is f composite?
False
Let w(z) be the third derivative of -95*z**6/8 - z**4/24 - z**3/2 - 5*z**2 - 17*z. Is w(-2) composite?
False
Let s(q) = q. Let r(x) = -60*x - 9. Let t(m) = -r(m) + s(m). Let f be t(5). Suppose p + 3*p = -5*y + 785, p = 2*y - f. Is y a composite number?
False
Suppose 170366 = 4*b - 3*h, 0 = 4*b + 5*h - 4*h - 170374. Is b prime?
False
Let s = 42 + -69. Let b(n) = n**3 + 29*n**2 + 14*n - 35. Let u be b(s). Suppose -142 = i + 3*t - 401, 3*t - u = -4*i. Is i a composite number?
True
Suppose 5*p - 3*u = 143122, 4*u - 57254 = -5*p + 3*p. Suppose -n = -5472 - p. Is n prime?
False
Let q = -16 - 21. Let r = q + 53. Suppose 209 + r = 9*u. Is u prime?
False
Let w(a) = -5*a**3 + a**2 + 3. Let l be w(-2). Let q = l + -50. Is (-2 - (-210)/(-4))/(q/6) a prime number?
True
Let s = -127 + 130. Suppose -2*q = -s*l + 12 + 2, -5*l + 18 = -2*q. Is l/5 - (-15624)/40 a composite number?
True
Suppose 94*f - 2873856 = 5178278. Is f prime?
True
Is (-2498073)/217*21/(-9) a prime number?
True
Is 2/18*134*438 + 549/(-1647) a composite number?
False
Suppose -296*b + 499382 = -294*b. Is b prime?
False
Let q = 61 + -59. Let a(d) = -22 + 3*d + 67*d**2 - 27 + q*d + 52. Is a(-4) a composite number?
True
Let m = -61586 + 276355. Is m composite?
True
Let p(r) be the second derivative of -800*r**3 - 287*r**2/2 - r + 1. Is p(-6) a composite number?
False
Suppose -x = 3*f - 8, -3*f + 12 = 3*x - 0*f. Suppose 0 = x*a + k - 1253, 0*a = 4*a - 4*k - 2536. Is a prime?
False
Let r(j) = -4*j**2 - 14*j + 7. Suppose 2*m = -23 + 17. Let y(s) = 3*s**2 + 14*s - 8. Let w(z) = m*r(z) - 2*y(z). Is w(6) a prime number?
False
Let q = 6264 - 10677. Let b = q - -7411. Is b prime?
False
Suppose 2*n - k = 615664, -2*n - 21*k = -16*k - 615652. Is n a composite number?
False
Is (-315)/(-1155) - 23545340/(-22) a composite number?
False
Suppose -6*u + 10*u = 9*a - 1296659, -5 = u. Is a a composite number?
False
Suppose 3*p - 573 = 6*p. Let u = p + 1869. Is u a prime number?
False
Let m be 1/((-51)/6) + (-83)/17. Let u(i) = 1448*i**2 - 31*i - 162. Is u(m) a composite number?
True
Suppose 245*k = 253*k + 24. Is k/12*(-711320)/10 a prime number?
True
Suppose -8 = -b + 11. Let f = -3 + b. Is 1259/((f/4)/4) prime?
True
Let a(v) = 6737*v**2 + 5*v + 10. Let z be a(-2). Suppose 3*d = n + z, -n = -15 + 14. Is d prime?
False
Let c be ((-100)/6)/(22/165). Let r be (-10)/c*5 + 1783/5. Let s = r + 1014. Is s a prime number?
False
Let p be 20/(-7)*217/(-186)*-5430. Let l = 51033 + p. Is l a prime number?
True
Let r = 22 + -22. Suppose 108 = -q - 0*q + 5*g, r = q + 4*g + 63. Let y = 534 + q. Is y composite?
True
Let q be -1 - (-6928)/2 - (2 + -4). Let f = q - 76. Is f composite?
False
Let n(v) = v**2 + 4*v - 9. Let c(u) = -5*u + 11. Let i(x) = 15*x - 34. Let f(t) = -7*c(t) - 2*i(t). Let s(j) = -3*f(j) + 2*n(j). Is s(24) composite?
True
Let u(q) = -q**2 - 24*q + 11. Suppose -43 = -62*g + 63*g. Let x = g + 25. Is u(x) a composite number?
True
Let b(a) = -a**2 - a + 1. Let g(d) = 1 + 9 - 54*d - 8*d**3 - 27*d**2 + 2*d + 9*d**3. Let r(y) = 5*b(y) - g(y). Is r(21) prime?
True
Is -20*((1 - 1) + (-110)/(-275)) + 13677 composite?
False
Let m = 12679 + -5451. Suppose 2*a - 9738 = m. Is a a composite number?
True
Suppose -225 = 8*p + 111. Let j = p + 42. Suppose -3*a + 8047 = 2*g, 3*a + 0*a + 5*g - 8053 = j. Is a a composite number?
True
Suppose 2*f + 19 = 4*h + f, -23 = -5*h + 2*f. Suppose -4*b - 9363 = -h*d + 1430, 4*d + 2*b - 8650 = 0. Is d prime?
True
Let h be (-8)/(-36) - (-48)/27. Let n be -1 - ((-8 - h) + -3). Is 447/n*(-88)/(-2) a composite number?
True
Let b be 1 + (-1)/(2/6). Let y(s) = s**2 + 4*s + 3. Let w be y(b). Is w + 582 + -5 + (10 - 3) prime?
False
Suppose o - 10 = -2, -4*v + 1279380 = 4*o. Is v composite?
True
Let d(x) = -x**3 - 25*x**2 - 25*x - 31. Let k be d(-24). Let z(q) = -5*q**3 + 6*q**2 - 18*q + 14. Is z(k) composite?
True
Let y(s) = 1 - 311*s + 5 + 317*s + 59*s**2. Is y(-1) composite?
False
Let y = 41287 + 142672. Is y a prime number?
True
Let f(g) = 312*g**2 + 5*g - 4. Let n = 41 - 30. Let k(l) = l**2 - 14*l + 30. Let s be k(n). Is f(s) a prime number?
True
Let q(k) = 108*k**2 + 4*k - 5. Let i be q(1). Suppose w - 4*w + 89 = 5*d, 5*w - 2*d = i. Is w composite?
False
Let z(w) = 2874*w**2 - 107*w - 3. Is z(-2) a prime number?
False
Let w be (88/(-20))/((-3)/(-15)). Let u = w - -24. Suppose -5*c - 1247 = -3*v, -u*v + 0*c + 4*c = -834. Is v composite?
False
Suppose 48*m - 14069770 = 3020774. Is m composite?
True
Let f be (-5)/((7 + (-7 - -1))*1). Let x be (-3)/((2 + -4)/2). Is x*1*(9078/9 + f) a prime number?
True
Let k(l) = 9*l - 25. Let n be k(4). Suppose -n*u + 1 = 12. Is u + (-2349)/(-5) - (-5)/25 composite?
True
Let v(t) = 2*t**3 - 90*t**2 - 47*t - 79. Is v(53) prime?
False
Let o(f) = -2*f**3 - 34*f**2 - 182*f - 95. Is o(-29) prime?
True
Let o(k) = -70163*k + 2547. Is o(-8) a composite number?
False
Suppose -2*l + 300 = 2*l - 4*i, -5*l + 368 = 2*i. Suppose 53026 = -l*q + 76*q. Is q a prime number?
True
Suppose 18*q = 42*q - 339144. Suppose 2*y = -11*y + q. Is y a composite number?
False
Let k = -13296 + 85798. Is k composite?
True
Let g(a) = 56615*a - 852. Is g(1) a prime number?
True
Let j(k) = 3*k**2 - 5*k + 5. Let n be ((-8)/(-6))/(1 + (-2)/3). Let d be j(n). Suppose 1905 = 38*m - d*m. Is m composite?
True
Let q(g) = -18*g**2 - 129*g - 71. Let l be q(-42). Let h = -14182 - l. Is h composite?
True
Let h(v) = -73*v**3 - 4*v**2 - 5*v - 13. Let p be h(-4). Suppose 0 = -12*s + p + 5153. Suppose -2*d - 2*z + z + s = 0, -z = -d + 413. Is d composite?
False
Suppose 6*v = 2*v + 1768. Let g(j) = j**3 + 13*j**2 - 19*j + 11. Let i be g(-14). Let l = v - i. Is l composite?
True
Let f be ((-36)/(-6) - 10)*2. Is (-2)/16 - 22217/f composite?
False
Suppose -5*k + 3*k + 20 = 0. Let d be ((-8)/k)/(4/10). Is 328 + 3 - (d + (-6)/(-3)) prime?
True
Let l = 669 - 669. Is 3715/(-20)*(l - (3 - -9)) a composite number?
True
Let k be 9*(2 + -1 + 0). Suppose 7048 = -j + k*j. Suppose 0*t = -a - 2*t + j, -2*t = -5*a + 4393. Is a a prime number?
False
Is ((-38)/3)/((-48)/72)*701 a composite number?
True
Suppose 4 = -2*y, y = -4*k + 2*y + 122. Let p be k/45*(1 + 2). Suppose 49 + 25 = p*f. Is f a composite number?
False
Let j = 582108 + -407147. Is j a composite number?
True
Suppose 0 = 2*k - 2*q + 8, -2*k + 2*q - 6*q = -16. Suppose 2*w + 4280 = c + c, -4*w + 2145 = c. Suppose r = -3*l + c, 4*r - 3*l - 8624 = -k*r. Is r composite?
False
Let c be (-49290)/(-20) - 2/(-4) - -1. Suppose 5*k = 2*l + 189 - c, 0 = -5*l + 5*k + 5700. Is l composite?
True
Let c(r) = 408*r**2 + 10*r - 8. Let j(w) = 205*w**2 + 6*w - 4. Let f(p) = -2*c(p) + 5*j(p). Is f(-3) prime?
True
Let o(x) = -124*x - 4. Let l be o(2). Is 4186 + (24/l - (-46)/42) a composite n