l - 10*w. Is l a prime number?
False
Let f = -8 - -4. Is (-2525)/(-65) - f/26 a composite number?
True
Suppose 4*z - z - 1359 = 0. Let w be (13 - 1)*z/9. Suppose -4*f - 4*k = -588, -155 + w = 3*f + 5*k. Is f composite?
True
Suppose 6*n - 28534 = 8948. Is n composite?
False
Suppose 0 = -23*n + 13*n + 198110. Is n a prime number?
False
Suppose 4 = 5*x - 4*o, -3*x + 32 = o + 4*o. Suppose 3 = k, -3*r - k - x = -16. Suppose -r*b + 920 = h, 2*b + b - 926 = 5*h. Is b a composite number?
False
Let p = -5 + 10. Let i be 14/6 + (-44)/(-66). Suppose -i*z = -w - w + 163, p*z - 292 = -3*w. Is w composite?
False
Let p(f) = 6*f**2 + 20*f + 23. Is p(-15) a composite number?
True
Suppose 0 = 3*l + 5*y - 22 - 1, 2*y = -l + 8. Let u(g) = 7*g**3 - 7*g**2 + 3*g - 19. Is u(l) a prime number?
True
Suppose r + 58 = -19. Is 2/(-11) - 96187/r a composite number?
False
Let d(c) = 4*c. Let n be d(7). Suppose -5*q + 0*k = k - n, -2*q - 2 = -4*k. Suppose w - 90 = q*m + 41, 2*w = 4*m + 262. Is w a prime number?
True
Suppose 4*k - 2*q - 14552 = -4*q, -7272 = -2*k + q. Is k composite?
False
Suppose 38601 + 344039 = 16*k. Is k composite?
True
Let r be 35/8 - (-6)/(-16). Suppose -502 = -r*c + 2*c. Is c a prime number?
True
Let d(g) = 1. Let b(k) = 149*k + 3. Let l(v) = -b(v) - d(v). Is l(-3) a composite number?
False
Suppose k + 5*i = 10671, 3*k - 2*i = 2*i + 31937. Is k composite?
False
Suppose p - 11 = 5*y, p - 4*y - 7 = 7. Suppose 0 = 5*x + p - 541. Is x a prime number?
True
Let t(l) = 119*l - 39. Let u(o) = 79*o - 26. Let x(w) = -5*t(w) + 7*u(w). Let i be x(-7). Suppose -14*f + 13*f + i = 0. Is f a composite number?
False
Let i be (-69 + -1)*26/(-65). Suppose 2*q + 5*z = 17 + 20, -3*q = 2*z - i. Let h(l) = 2*l - 5. Is h(q) composite?
False
Let x = -3 + -7. Is ((-22)/(-1))/(x/(-635)) a prime number?
False
Let g = 1528 + 119. Suppose 9*w + g = 6678. Is w composite?
True
Let d(h) = 2585*h - 134. Is d(5) prime?
True
Let l be 3*(3 - 2200/15). Let g = 822 + l. Is g a composite number?
True
Let q(r) = -81*r - 11. Suppose -62 = 5*d - 2*y, 3*d + 14 = -4*y - 18. Let s be q(d). Suppose -s = -3*j + 620. Is j a composite number?
True
Suppose 0 = v - 26 - 6. Let l be ((-29)/(-2))/(3/30). Let o = l - v. Is o prime?
True
Let o = 2250 - 1214. Suppose -5*z - o = -9*z. Is z composite?
True
Let i be 2/11 - 114/22. Let s = i - 7. Is (-3860)/s - 6/9 composite?
True
Let t(a) be the third derivative of a**5/30 + 3*a**4/4 + a**3 + 7*a**2. Let f be t(-13). Is (f + -1)*(1 + 0) a prime number?
True
Suppose 5*i = -0*i + 20. Suppose -i*p = -5*v - 8399, 5*v + 2*p + 4245 = -4148. Let u = v + 2748. Is u a prime number?
True
Let g be ((-4)/3)/(6/9). Let v be g + 8*(-1)/(-2). Suppose -4*i + 72 = 3*m + m, -48 = -2*i + v*m. Is i prime?
False
Let w be ((-16)/(-20))/(2/(-10)). Is 2/w*(-3484)/2 prime?
False
Let k be (-26)/(-4 + 1180/296). Suppose 0 = 4*o + x - k, -2*o + 6*o = 2*x + 1924. Is o a prime number?
False
Let h(u) = 399*u + 19. Let b be h(4). Suppose -2*p + 8093 = 5*y, 0 = y + 3*p + p - b. Is y a prime number?
True
Suppose -x - 13816 = -3*r + x, 4*x = -4*r + 18408. Suppose -p - 3*p = -r. Is p a composite number?
False
Let n be (-110)/(-25) - 4/10. Suppose -694 + 121 = -3*g. Suppose d - n*d = -2*a - g, -d + 62 = -a. Is d a composite number?
False
Suppose -5*d - 3*y + 12759 = -2*y, 2*d - 3*y = 5090. Is d composite?
False
Let l(h) = 3*h**3 + 2*h**2 - 2*h + 5. Let y(a) = -7*a + 39. Let m(i) = 10*i - 58. Let j(f) = -5*m(f) - 7*y(f). Let g be j(13). Is l(g) composite?
True
Let t = -1 - -4. Suppose -3*g + 35 = t*i - 46, -107 = -4*g - 3*i. Is g prime?
False
Suppose -13*h = -6*h - 92309. Suppose -7*l = 1378 - h. Is l composite?
True
Is ((-4)/(-4))/3 - (-77280)/9 a composite number?
True
Let y = -2807 - -5730. Is y a prime number?
False
Suppose 4*g - 2*g = 4. Suppose 0 = g*a - 8 - 14. Is a composite?
False
Let l be 1094 + 0*((-3)/2)/3. Let k = l - -707. Is k composite?
False
Let b = -30 - -86. Is 229 - 2*(-12)/b*-7 a prime number?
False
Suppose -6*u + 15 = -3*u. Let g(f) = -f**2 + 6*f. Let o be g(u). Suppose 0 = -3*k + 2 + 1, -o*p - 5*k + 1120 = 0. Is p a prime number?
True
Suppose 2*t + 3*n = 1043, t + 5*n = 2*t - 502. Is t a composite number?
True
Let h be 1*(-5)/(-4)*24/(-3). Is (1400 - 12)*h/(-8) prime?
False
Let a(p) = p**2 + 11*p - 9. Let c be a(-12). Is 12/c - -369 - 2 prime?
False
Suppose -u - 16 = 67. Let v = 128 - u. Is v prime?
True
Is (250782/6)/7 - 6 composite?
True
Let s = -3583 - -10856. Is s a prime number?
False
Let i be 13/4 - 3 - 1507/(-4). Let q = i + -126. Is q a composite number?
False
Suppose -5*o + 8904 = -6781. Is o a composite number?
False
Let s be 2/8*-2 + (-30)/20. Let h(z) = -247*z + 15. Is h(s) prime?
True
Let i be 2 - 4 - (-2 + -1). Let s(n) = 4*n**2 + 3*n - 2. Let t be s(i). Suppose 8*w - t*w - 483 = 0. Is w a prime number?
False
Let w(o) = o**2 - 7*o - 16. Let p be w(8). Is (0 + 742)/(10 + p) a prime number?
False
Let p = -1315 - -2112. Is p prime?
True
Suppose 3*j - 6666 = -3*j. Is j composite?
True
Let g = 630 - 451. Is g a prime number?
True
Let i = -13 - -22. Suppose 1 = 5*a - i. Let b(k) = 125*k + 1. Is b(a) prime?
True
Let w be 40/18 + 20/(-90). Suppose -135 = 4*h - 5*b, 4*h = -w*b - b - 143. Is h*(3 + -5) + -1 composite?
True
Suppose 0 = -153*r + 142*r + 294877. Is r a composite number?
True
Let p(k) = 2*k - 5. Let b be p(4). Suppose t - 3*t = 2*w, -b*w + 35 = -4*t. Suppose f = w*f - 236. Is f a composite number?
False
Let f be (1 + -3 - -4) + -1. Suppose -9*l + 2805 = -8*l. Is 2/f*l/30 prime?
False
Let o(b) be the third derivative of b**6/120 + b**5/5 - b**4/3 - b**3/6 + 11*b**2. Is o(-6) composite?
False
Let h = -224 + 44. Let g = h + 391. Is g prime?
True
Let i(q) be the second derivative of q**5/5 - 3*q**4/4 + q**3/3 + 3*q**2 + q. Let p be i(7). Suppose z + 2*z - p = 0. Is z a prime number?
True
Let v be ((-2)/3)/((96/66510)/(-8)). Suppose -4*a = 667 - v. Is a composite?
False
Suppose -w = -k + 7 + 368, -3*k - 2*w + 1145 = 0. Is k composite?
False
Let z be (-386)/(-12) + 1/(-6). Let g = 147 - z. Is g prime?
False
Let l(r) = 10*r**3 - 4*r**2 - 3*r + 4. Let d(o) = -4*o + 1. Let u be d(-1). Is l(u) composite?
True
Let o(m) = -148*m - 9. Let p = -37 - -33. Is o(p) a composite number?
True
Let r = -15204 + 24401. Is r a prime number?
False
Let i(h) = -4*h**3 + 3*h**2 - 2*h + 4. Suppose -13*d - 15 = -8*d. Is i(d) a composite number?
True
Let j be 4*3/36*9. Suppose -2*l = -q - 27 - 13, j*q = -12. Let b = 741 - l. Is b composite?
True
Let x(o) = o**2 - o + 2. Let w be x(-4). Let y = 22 - w. Suppose -2*t + 3*u = -y*u - 179, 0 = 3*t - 4*u - 267. Is t a prime number?
False
Let h(z) = -2 - z + 5 - 1 + 0. Let w be h(0). Suppose 3*c + 599 = 5*o, -w*o + 2*c + 601 = 3*o. Is o a composite number?
True
Let y(o) = -3720*o + 14. Is y(-2) composite?
True
Let l(o) = -o**3 - 15*o**2 + 4. Let f be l(-15). Suppose 5*v = -4*w - 28, f*v - v = -4*w - 20. Is (14/4 + v)*-1726 composite?
False
Suppose 285*i - 3*n + 234999 = 288*i, -5*i + 5*n = -391645. Is i prime?
False
Suppose 15 = 4*a - 5, -5*a = -4*n - 9. Suppose 4*t - 2604 = n*z, -z + 2592 = 4*t - 2*z. Let j = -462 + t. Is j composite?
True
Suppose 0 = -3*f - 5*g + 16830, 16*g + 22463 = 4*f + 15*g. Is f composite?
True
Let n = -129 - -66. Is (-518)/(-6) + 21/n composite?
True
Let n = -623 - -365. Let w = n + 572. Is w composite?
True
Let q be 8/(-10)*10/4. Let d be (-315 - q)*(-1 + 0). Let g = d - 56. Is g composite?
False
Let a be -6*((-24)/9)/8. Suppose g - 4*i = 2*g - 158, -3*g = a*i - 524. Is g a prime number?
False
Let h(f) = -21 + 33 - 25 + 66*f. Is h(5) a prime number?
True
Let c(s) be the second derivative of 8*s**5/15 + s**4/24 + s**3/6 + 3*s**2 - 5*s. Let z(m) be the first derivative of c(m). Is z(-2) composite?
False
Let m = -18 + 20. Is m/4 + (611/2 - -1) a prime number?
True
Suppose 0 = 4*g - 7*g + n + 1138, 0 = 4*g + 3*n - 1539. Let r = g + 46. Is r composite?
True
Suppose 742 = 3*o + 5*i, 31*o - 30*o + 2*i = 246. Is o a prime number?
False
Is 801152/110 + 1/(-5) prime?
True
Suppose 47 = -k + 670. Is k prime?
False
Let h(z) be the second derivative of -29*z**5/20 + z**4/12 - z**2/2 + 5*z. Let n be h(-2). Suppose l = n - 32. Is l a prime number?
False
Let d = -1376 + 623. Is -3*d/9 - 0 a prime number?
True
Suppose 0 = -2*b + 142