-j*w = -2*w. Suppose 2*f = -w*f + 442. Is f a prime number?
False
Let d(z) = -z**2 + 5*z + 18. Let l(f) = -8*f**3 - f**2 - 3*f - 2. Let w be l(-1). Let x be d(w). Is (4/x)/(2/(-879)) a prime number?
True
Let x = 924 + 1198. Suppose -3*v = -x - 509. Is v prime?
True
Let m(n) = -n**3 - 10*n**2 - 16*n + 5. Let s be m(-8). Suppose -5*g + 998 + 1955 = 2*r, -1747 = -3*g + s*r. Is g composite?
True
Suppose -20*l = 13*l - 277827. Is l prime?
True
Let u = 13382 - 6883. Is u prime?
False
Let l = -16896 + 30029. Is l composite?
True
Suppose -2598 + 633 = -3*t. Let x = -276 + t. Is x a composite number?
False
Suppose -32473 = 19*j - 26*j. Let x = j - 1877. Is x prime?
False
Let t(p) = 27*p. Suppose -4*y = -2*d + y + 7, 2*y = 4*d - 6. Let i be t(d). Is 4/6 + 18801/i prime?
False
Suppose -15 = -9*h + 4*h. Suppose -h*v = -6*v + 6. Suppose -v*q + 3*q - 2*g - 323 = 0, 2*q = 3*g + 650. Is q a composite number?
False
Suppose 3*k - 6165 = 2*f, 5*f - 4468 + 377 = -2*k. Is k a composite number?
False
Suppose 17*u - 13*u + 12 = 0. Let o be (-4)/(u - -4) + 15. Let d = o + 84. Is d a prime number?
False
Is -1 + (2 + -3 - -8739) prime?
True
Is ((-18)/45*5)/((-6)/26817) a prime number?
False
Let q = 209 + -205. Suppose 3*h + 4 = 5*h. Suppose -1032 = -q*c - 5*b, -b + 682 - 160 = h*c. Is c a composite number?
False
Let i = 63 - 64. Is 6211/(i - 4/(-2)) prime?
True
Let s(c) = 9133*c**3 + 3*c**2 - 6*c + 3. Is s(1) prime?
True
Suppose 5*y - 3*w - 38852 = 100008, y - 4*w = 27789. Is y a prime number?
False
Let n(l) = -17*l**2 + 3*l - 7. Let f be n(-6). Let i = f - -1318. Is i composite?
True
Suppose -3*u - g = 2*g, -u + 2*g = -6. Suppose 0*o - 4*y = -o + 63, o = u*y + 65. Is o a prime number?
True
Suppose -2*l + 16 = 2*r, 5*r - 2*l = 2*l + 22. Let k be (4/6)/(r/(-1773)). Let m = 346 + k. Is m composite?
False
Let j = 317 - 138. Is j composite?
False
Let l = -1394 + 4687. Is l prime?
False
Suppose -3 = -2*g - 7. Let s(i) = -101*i**3 - i**2 + 2*i + 1. Let z be s(g). Suppose 2256 = 5*q + z. Is q a composite number?
True
Let k(o) = 14*o - 7. Let q be k(1). Suppose -10610 = -q*a - 3*a. Is a composite?
False
Is (-22803)/(-99)*(2 + (-1)/(-1)) composite?
False
Suppose 0 = -4*a + 4, 0 = -j + 2*j + a - 709. Suppose -5*d + 2613 = j. Is d a composite number?
True
Suppose -3*q - 3*k + 2 = -1, -22 = -2*q + 2*k. Suppose i - q + 3 = 0. Suppose o - i*o + 74 = 0. Is o a composite number?
False
Suppose 7*v + 18140 = 11*v. Is v a composite number?
True
Let d(x) be the second derivative of 5*x**3/3 + 3*x**2 + 2*x. Let w be d(11). Suppose -106 = -2*b - 2*i, 3*i + w = b + b. Is b composite?
True
Let n = 23 - 22. Suppose 2*a - 3*q - 12 = 0, 5*a - n - 11 = 3*q. Suppose a = -h + 2*h - 251. Is h a prime number?
True
Suppose 0*t = 4*t - b - 57786, -4*t + 3*b = -57782. Is t a prime number?
True
Let j = 896 - 158. Suppose 6*z - j = 1020. Suppose g = 0, 5*a - 3*g - z = -3. Is a a composite number?
True
Let w(i) = 17808*i + 323. Is w(6) prime?
True
Let o be (-8)/52 - (-5520)/52. Let p = o + -47. Is p a composite number?
False
Let i = -79176 + 145907. Is i a prime number?
False
Let j(t) = t**2 + 2*t - 1. Let s be j(-2). Let n be (-10)/(-30)*(8 - s). Suppose 806 = 5*u + 3*y, 0*u - 3*u = -n*y - 498. Is u prime?
True
Let c(x) = -x**3 - 20*x**2 - x. Let f be c(-20). Suppose 2*q = 4*v + 20, -3*q + q = 3*v - f. Is q composite?
True
Let w(o) = -o**2 - 9*o - 11. Let l be w(-6). Let m be (-104)/3*(l - 10). Suppose z = -3*z + m. Is z composite?
True
Suppose 0 = -3*k + 4*l + 70 - 11, l = 4. Suppose -k = -2*u + 139. Is u a prime number?
False
Let q(f) = 10*f**2 - 20*f - 43. Is q(-42) a prime number?
False
Let q = 63 + -58. Is 5693/q - 46/(-115) a composite number?
True
Suppose 9*v = 8*v. Let w be (0 - v) + (507 - -1). Suppose 0 = -4*f - 3*c + w, f = 4*f + 5*c - 381. Is f a prime number?
True
Let n be (-2)/10 + (-44)/5. Let f(j) = -j**2 - 11*j + 17. Is f(n) a prime number?
False
Let v(l) = 346*l + 19. Let m be v(3). Suppose 5285 = 5*b + 4*g, -b + g + m = -3*g. Is b prime?
False
Suppose 35722 = -11*s + 146129. Is s a prime number?
True
Let q(k) = k**3 - 3*k**2 - 10*k - 2. Let b be q(5). Let u be -5 - b - (-1304)/1. Suppose -u = -3*t + 160. Is t composite?
False
Suppose -56*k - 18 = -62*k. Let p = -6 + -4. Is p/15 + 836/k prime?
False
Let d(m) = -m**3 + 4*m**2 - 7. Let y be d(3). Suppose p = -3*t + 428, y*t + 4*p - 325 = -23. Is t a prime number?
False
Suppose 5*b = 2*m - 6*m + 17, 4*m - 2*b - 10 = 0. Let l = 1 + -1. Suppose l = m*j - 7*j + 3556. Is j a prime number?
False
Let c = 9883 + 12730. Is c prime?
True
Let u = 4830 + -1765. Is u a prime number?
False
Suppose -5*c - n + 18446 = 0, -2*n + 14752 = 3*c + c. Suppose 13*o - 2095 - c = 0. Is o prime?
False
Is 3/(-15) + (-105592)/(-10) a composite number?
False
Is ((-2122500)/(-36))/5 + (-4)/6 a prime number?
False
Suppose 0 = -5*b + 7 + 3, 4*b + 352 = 2*a. Suppose -2*k + 8 = 0, -a = -4*v + 4*k - 60. Let u = v - -189. Is u prime?
True
Suppose 6*x + 7 = 7. Is 633 + (-2)/1 + x a prime number?
True
Suppose -86365 = 2*n - 25*n. Is n prime?
False
Let q(z) = -292*z - 19. Let a be q(-5). Suppose 0 = 3*j - k - 6711, a + 3033 = 2*j - 4*k. Is j a prime number?
True
Let d(j) = -j - 22. Let y = 7 - 24. Let x be d(y). Is 1475 - (-5)/(x/(-2)) composite?
True
Let h = 13 - 22. Let s(c) = -5*c**2 - 10*c**2 + c**3 + 12*c - 8 + 27*c**2. Is s(h) composite?
False
Let a(v) = -3*v**3 + v**2 + 8*v + 7. Let t = 2 - 7. Is a(t) prime?
True
Is ((-66)/(-48)*-2)/(8/(-63584)) composite?
True
Let y(a) = 0 - 6 + 2*a**2 + 11*a + 2*a**2 - 1. Let b(t) = -2*t**2 - 6*t + 3. Let i(x) = -13*b(x) - 6*y(x). Is i(-8) prime?
False
Let i be (-9)/(76/(-16) - -4). Let t = 191 + i. Is t a composite number?
True
Let t be 2712/3 + (1 - -2). Suppose -363 - t = -2*c. Is c a prime number?
False
Let c = 54 - 51. Suppose -2*n + 91 + 138 = 5*m, 3*n - c*m = 396. Is n composite?
False
Suppose 4*j = 2*j + 5602. Suppose 3*x - 3*m = x + j, x - 2*m - 1399 = 0. Is x a composite number?
True
Let y be 0 - (-1 + (-8)/4). Suppose -5 = -m + 2*l, 8*l = y*l - 5. Suppose -2*p + 6 = 0, -2*c + m*p + 148 = 51. Is c a composite number?
False
Suppose -4*s + 2082 = 2*c, 8*c - 3*c + 4*s - 5229 = 0. Is c a composite number?
False
Let h(i) = -11*i - 2. Let s be h(-2). Let f = -22 + s. Is 8 + (-1 - f - 3) composite?
True
Let y = 1630 + -792. Is y composite?
True
Let u = -74 - -79. Suppose 2*o + 2340 = 3*d + d, 2*d - 1154 = u*o. Is d prime?
True
Suppose 3059 = -66*f + 73*f. Is f a composite number?
True
Let c = 3608 + -1339. Is c a prime number?
True
Let c(u) = u**3 - 26*u**2 - 38*u - 26. Let a be c(28). Suppose -5*t - 3*q = 1313, t = 5*t + 4*q + 1044. Let m = a - t. Is m a prime number?
True
Let g = 16 + -10. Suppose 203 = g*q - 5*q. Is q prime?
False
Suppose -5*m = 4*h + 7, -2*h + 6 = -5*h - 4*m. Suppose r + i = -3*r + 9808, -4*r + 9820 = -h*i. Is r composite?
True
Let i be (-5)/30 + (-85)/(-6). Let s(n) = 484*n - 14. Let r be s(3). Suppose -12*m + i*m = r. Is m composite?
False
Let k(z) = 4*z**2 - 19*z + 6. Let s be k(4). Suppose 5*q + 0*q - 71 = -2*b, -4*b - 27 = -3*q. Let u = q + s. Is u a prime number?
True
Let h(z) = 230*z - 4. Suppose 8 = 4*f - 2*g, -4*f + 4*g = -5 + 1. Let y be h(f). Suppose -3*s = -67 - y. Is s a prime number?
True
Let i(q) = -q**3 - 57. Let g be i(0). Suppose -4*k + 3*u = -k + 24, k = -4*u - 8. Let j = k - g. Is j a prime number?
False
Let i be (-408)/(-192) + (-1)/8. Let k(m) = -18*m**2. Let p be k(-1). Is (-57)/p - i/12 a composite number?
False
Is (-301772)/(-20) - (-22)/55 a prime number?
False
Let l(t) be the second derivative of -3*t**5/5 - t**4/2 + t**3/2 + t**2 - 4*t. Is l(-3) prime?
True
Let d = -105 - -106. Suppose 0 = 5*z + d - 6, -5*x + 2*z = -7553. Is x a prime number?
True
Is (19 - -3)/(-1 - 2367/(-2361)) composite?
True
Let r(c) = 13*c**3 + 7*c**2 - 10*c + 11. Let w be r(6). Suppose -3*f + w = -2*q, 2*f - 2007 = -3*q + 4*q. Is f a composite number?
True
Suppose 104 + 20 = b + 3*h, -5*b = -4*h - 715. Let u = b - 5. Is u a prime number?
False
Let g(f) be the second derivative of -f**5/20 + 5*f**4/12 + 19*f**3/6 + 9*f**2/2 - 20*f. Is g(-8) a composite number?
True
Let n(o) = o**3 - 4*o**2 - 5*o + 4. Let z be n(5). Let m = -19 + 23. Is m*(235/z + 0) composite?
True
Let w(x) = 6*x**2 + 5 + 3*x**2 - 11*x - 4*x*