/(2/(-4)). Let a(q) = -q**3 - 5*q**2 - 4*q + 1. Is a(r) prime?
True
Suppose -p - 3*k + 15 = -1, 3*p = -4*k + 28. Suppose l + p*n = 216 - 15, -n = 4*l - 849. Is l a composite number?
True
Suppose -3*z + z = 2*r - 1394, -5*r - z = -3501. Is r prime?
True
Let w = -289 - -489. Let f = w - 126. Is f prime?
False
Is (-30565)/(-45) - 5/(45/2) composite?
True
Let o(r) = -40*r**2 + 5*r - 3. Let i(m) = 20*m**2 - 3*m + 2. Let b(c) = -5*i(c) - 3*o(c). Let z = -1 + 0. Is b(z) composite?
False
Let k(c) be the second derivative of -c**5/20 - c**4 + c**3/3 - 2*c**2 + 3*c. Is k(-15) prime?
True
Is (-1)/((-4 - -7)/(-8223)) a composite number?
False
Suppose -2*v + 128 = -230. Is v a prime number?
True
Let p = 1236 - 802. Let u be 970/4 + 1/2. Let v = p - u. Is v composite?
False
Let h(a) = 8*a**2 + 4*a - 4. Suppose -d + 5*d + 16 = 0. Let q be h(d). Suppose -2*l = -3*m - 41, 6*l - 2*m - q = l. Is l a composite number?
True
Let v(y) be the third derivative of 23*y**6/30 - y**4/24 - 4*y**2. Is v(1) composite?
True
Suppose -4*w - 4*p + 6 = -2, 0 = 2*w - 3*p - 19. Suppose -u + w*v = 25, -v - 2*v + 15 = -4*u. Suppose u = 6*b - b - 485. Is b composite?
False
Let q = -3 + 3. Let f(u) = 0*u - u + 2*u + 19. Is f(q) a composite number?
False
Let f be (-6)/(-2)*4/6. Let v be f/7 + (-1278)/14. Is 1 - 0 - (v - 5) prime?
True
Suppose 8 = -2*o - 0*o. Let s = -9 - -13. Is (s/6)/(o/(-258)) prime?
True
Suppose -w + 2*w - 4 = 0. Let b = w + -7. Is (-1)/b + (-292)/(-6) a composite number?
True
Let d = -11 - -17. Is (-106)/(d/(-2) - -2) a composite number?
True
Let v(b) = 72*b + 1. Let l(j) = -j**2 - 4*j - 4. Let n be l(-5). Let a be n/(-3) - (0 + 0). Is v(a) a composite number?
True
Suppose -5 = -2*v - 4*x + 3, -5*x + 10 = 5*v. Suppose 5*m = -v*m + 15. Suppose q - 124 = -m*q. Is q a prime number?
True
Let s(l) = 665*l**2 - 9*l + 7. Is s(3) composite?
True
Let u(h) = -75*h + 29. Is u(-8) composite?
True
Let s(x) = x**2 - 3*x + 5. Let y be s(6). Suppose 0 = 3*q + 2*z + 56, 60 = -3*q - 2*q + 5*z. Let d = q + y. Is d a composite number?
False
Suppose -3*t + 49 = -5*l, l + 3*t = -0*l + 1. Let r = l - -31. Is r prime?
True
Let d = 0 - -1. Let o be 70/8*4*d. Let p = -25 + o. Is p a prime number?
False
Suppose -g - 4*k + 17 = 4*g, 17 = 3*g - k. Suppose -g*d + 3*v = -52 - 32, 3*v + 24 = d. Is d composite?
True
Suppose q - 624 = -2*q. Suppose 3*f - 83 = q. Is f a prime number?
True
Let i be 6 - 4/(-16)*0. Suppose 423 = -3*r + i*r. Is r a prime number?
False
Let i be 3/(-2)*(-8)/6. Suppose 2*m = l + 6, l = -m - i*m + 14. Suppose -3*w + 83 = 2*u, l*u + 16 = -2*w + 94. Is u a composite number?
True
Suppose -13*m + 17*m - 1972 = 0. Is m a prime number?
False
Suppose 5*b + 10 = 5*f, -5 = -2*f + 4*b + 3. Suppose 201 = 3*r + 5*p, f = 3*r - 3*p - 31 - 170. Is r a composite number?
False
Suppose -5*u + 102 = f + 3, -3*f + 5*u = -277. Is f a composite number?
True
Let a = -14 - -12. Is ((-5305)/10)/(a/4) a prime number?
True
Suppose 0 = -h - 0*h + 478. Is h a prime number?
False
Let w = -4 - -3. Let v be (1 - 3*-1) + w. Suppose -v*b = -2*b - 23. Is b composite?
False
Suppose 3*y - 2*w + 386 = -421, -3*w - 1093 = 4*y. Let m = -156 - y. Is m composite?
True
Let c(j) = -221*j. Let p be c(-3). Suppose -2*h = h - p. Is h prime?
False
Let j(u) = 7*u**2 + u - 4. Let h be j(-4). Suppose -34 = 5*b - h. Is b composite?
True
Let i(f) = f**3 - 8*f**2 + 6*f + 11. Let x(t) = t - 10. Let v be x(10). Suppose v = r + 3*r - 32. Is i(r) a composite number?
False
Is (4/(-8) + 1)/((-1)/(-3466)) a composite number?
False
Let b be 2/((-3)/(-3)) - -99. Suppose b = l + 42. Is l a composite number?
False
Let n = -506 - -1050. Suppose g = -4*y + 547, -4*g = -3*g + 3*y - n. Suppose -5*m + 100 = -g. Is m a prime number?
True
Let z(q) = -q**2 + 5*q - 1. Let j be z(6). Let g = j + 9. Suppose 4*w - 2*y - 16 + g = 0, -y - 5 = -w. Is w a prime number?
True
Let g(k) = -2*k - 4. Let l be g(-3). Suppose 0 = -4*p - 3*y + 8*y - l, p = y. Suppose z - p*z = -19. Is z a composite number?
False
Suppose 0 = 3*w + 3 - 0, -4*w + 253 = c. Is c a composite number?
False
Suppose 0 = -3*v + 6*v - 2259. Is v a composite number?
True
Let b be (12/(-10))/((-8)/20). Suppose -2*f + b = -f. Is -34*(-2 + f/(-6)) a prime number?
False
Suppose 1 = -5*t + 11. Suppose -i + 17 = 4*u, 6 + 0 = -t*i. Is (-372)/(-30)*u/2 prime?
True
Suppose -3*v - 2*v - 20 = 0. Let t(s) = 2*s + 2. Let m be t(v). Let k(a) = a**2 + 3*a - 8. Is k(m) composite?
True
Let q = -6 - -8. Let x be (-597)/(-18) + (-2)/12. Suppose 0 = -2*u + q*p + 10, 3*p - x = -3*u - 12. Is u prime?
False
Let v = 493 - 224. Is v a composite number?
False
Let g(x) = 4*x**2 - 2*x - 1. Suppose -t - 22 = -5*w, w - 10 = -0*w + 3*t. Is g(w) prime?
False
Is 112/28 + (-1)/(-1)*2095 prime?
True
Let u(a) = -2*a - 5. Let k be u(-7). Let r = 5 - k. Is 4/(-6)*126/r prime?
False
Let s(v) be the second derivative of 3*v**4/4 + v**3/3 - 3*v**2/2 + 4*v. Is s(2) composite?
False
Let g = 4 - 4. Suppose g*p = -5*p + 3045. Suppose -2*f + p = f. Is f a prime number?
False
Let h be (-26)/7 - 2/7. Let f(w) be the second derivative of w**4/6 - 2*w**3/3 + 3*w**2/2 + 5*w. Is f(h) a composite number?
True
Let r(l) be the third derivative of -l**6/24 - l**5/60 + l**4/24 + l**3/3 - l**2. Let f be r(-2). Suppose -20 = -4*m + f. Is m a composite number?
True
Let i be (-156)/(-27) + (-4)/(-18). Suppose 5*y - 1 = -16. Is ((-508)/i)/(2/y) composite?
False
Suppose 10 + 2 = -3*m. Is (-6)/2 - (-78 - m) a composite number?
False
Let h(o) = o**2 - 6*o**3 + 2*o + 1 + 0*o - 2*o**3 + 0*o**3. Is h(-2) prime?
False
Let z(x) = 3*x - 13. Let m = -8 + 17. Is z(m) a composite number?
True
Suppose -5*c + 105 = -0*r + 4*r, -r + 30 = 5*c. Suppose 4*b = 5*b + 5*m + r, 4*m = b - 2. Is b/(-2)*(14 + 3) composite?
True
Suppose -4*n - 16 = 0, n = 4*u + 6 - 26. Suppose u = -4*d, 0*w + 3*w = 4*d + 46. Is 738/w + (-2)/(-7) a composite number?
False
Suppose 5 = 4*q - 7. Suppose -q*k + 2*b = -6*k + 5, -5*k + 4*b + 23 = 0. Suppose 45 = k*u - 0*u. Is u a prime number?
False
Suppose 5*r + 3*f - 5 = -0*f, -2*f = 3*r - 4. Is -2 - (2*39)/r a composite number?
False
Let m = 254 - 132. Is m a composite number?
True
Let l(g) = 5*g**3 + 10*g**2 + 3*g + 3. Is l(7) composite?
True
Let x be (181*(-1 + 3))/2. Suppose -71 + x = 2*f. Is f prime?
False
Suppose -4 = -j - j. Let d(h) = 32*h**2 + 4*h - 3. Is d(j) a prime number?
False
Let t be (2 + -1 - -422)*1. Suppose 0 = -n + 4*n - t. Is n a composite number?
True
Suppose 5*a + 2*w - 2217 = 0, a + a = 3*w + 902. Is a composite?
True
Let j = 944 - -49. Is (-2)/(-8) - j/(-12) a composite number?
False
Let z = -81 + 286. Is z composite?
True
Let c = 19 + -88. Is (c/2)/(12/(-16)) prime?
False
Suppose 21*o - 20*o - 895 = 0. Is o a prime number?
False
Let r(m) = -12*m**3 - 7*m**2 - 7*m - 5. Let h be r(-5). Suppose 0*t + 5*c = 4*t - 1084, -c = 5*t - h. Is t composite?
False
Suppose -4*y + 8*y = -5*z + 58, -5*z = y - 67. Is z a composite number?
True
Is 3/((-18)/87)*-22 a composite number?
True
Let h(z) = z**2 - 33. Let k be h(0). Let m = 61 - k. Is m prime?
False
Let f(d) = -d**2 - 4*d + 1. Let n be f(-5). Is 699/3 - n/2 prime?
False
Let r(i) = 2*i**3 - 6*i**2 - 5*i - 10. Let c be r(8). Suppose 6*k = k + c. Is k a composite number?
True
Is ((-7295)/5)/(-4 + 12/4) a prime number?
True
Suppose k = 2*d - 1, -6 = 2*d + d - 3*k. Suppose d*w - 39 = -0. Is w composite?
False
Suppose 6*j - 3*j = 489. Is j a composite number?
False
Let l be (-1*3)/((-5)/10). Is (l/(-12))/(1/(-578)) a composite number?
True
Suppose 25 = y - 322. Is y composite?
False
Let i(b) = -b**2 - 6*b. Let m be i(-6). Suppose m*y = 2*y - 188. Suppose -z + y = 7. Is z prime?
False
Let v(g) = -g**2 - g + 13. Suppose 0 = 4*f - 2*f. Is v(f) a prime number?
True
Suppose -2*o + 72 = -110. Is o composite?
True
Suppose 0 = 5*q - 1174 - 3661. Is q a composite number?
False
Let t(o) = 7*o**3 - 17*o**2 + 9*o + 4. Let g(z) = -3*z**3 + 8*z**2 - 4*z - 2. Let r(f) = 5*g(f) + 2*t(f). Is r(5) a composite number?
False
Suppose -d - 4*u = -0*d - 1083, -2190 = -2*d - 2*u. Is d a prime number?
False
Let a = -172 + 681. Is a prime?
True
Suppose 795 = -u - 4*u. Is u/2*8/(-12) prime?
True
Let g(d) = 2825*d - 8. Is g(3) a prime number?
True
Suppose 4*d - 4 = -0*d. Is d/(4/752*4) a composite number?
False