+ 1676. Is r a prime number?
True
Let x be (2/(-4))/(5/(-10)). Let g be 0/x - -226*1. Suppose 0 = 2*w + 3*s - g - 529, -w - 4*s + 385 = 0. Is w a prime number?
True
Let q be 56/14*(-1)/(-2). Suppose -q*b = -107 - 17. Is b composite?
True
Let z(g) be the third derivative of -g**5/15 - 5*g**4/24 - g**3/6 - 4*g**2. Let t be z(-5). Let p = 293 + t. Is p a composite number?
True
Suppose -10 = t - 9. Is (-2075 - (3 + -1 + 0))*t composite?
True
Is 6*1968360/225 + 3/(-5) prime?
True
Let u be -3 + (2 - -1) + -3. Let b be 573/(-9)*u - -4. Suppose d + 2*d = b. Is d composite?
True
Let b(g) be the third derivative of -g**6/120 - g**5/15 - g**4/24 + 2*g**3/3 - 10*g**2. Let q be b(-3). Is 253/2 - q/4 composite?
False
Let y(l) be the first derivative of l**4/2 - 3*l**3 - 7*l**2/2 - 15*l - 3. Is y(8) a composite number?
True
Let c be (15/50*-8)/((-3)/10). Is (-16 - -2)*4/c*-41 composite?
True
Is (519/2)/((-108)/(-216)) a prime number?
False
Let w be 11328/11 - 2/(-11). Let h = w - 587. Is h a composite number?
False
Let q be (-5 + 0)*((-80)/25 + 2). Suppose q*k - 4*k + 5*j - 456 = 0, 0 = 5*k - 3*j - 1109. Is k composite?
False
Let t be (9 - 2)*(-4)/14. Let w be -4 - -2 - 1638/t. Suppose 5*y + 3*z = -w + 2669, -1480 = -4*y - 4*z. Is y a prime number?
False
Let a(i) = i - 4. Suppose -19 = -3*y + 5. Let c be a(y). Suppose c*g - 595 = -5*x, -2*g + 5 = -g. Is x a prime number?
False
Suppose 2*v - h - 19 = 2*h, -3*v = h - 1. Suppose 4*m - 21782 = v*u - 6626, -4*u - 16 = 0. Is m composite?
True
Suppose 6*b - 8937 = 9537. Is b a prime number?
True
Suppose 3*c + 3*a = 25 - 1, -3*a + 8 = -c. Suppose -c*w - 2398 = -2*b, 0*b - 5*w = b - 1213. Is b prime?
False
Is 36598805/301 + 2/7 a composite number?
False
Suppose 4*d - 4*w - 1664 = -w, -1241 = -3*d + 4*w. Is d composite?
False
Let z be (2 - (4 + -1))*-2. Suppose -652 = z*l - 2154. Suppose 0 = a - 2*a + l. Is a a prime number?
True
Let b(o) be the second derivative of 5*o**3/3 + 11*o**2/2 - 15*o. Is b(19) composite?
True
Let f = -24 + 28. Let a(n) = 2*n**2 + 5*n + 4. Let s be a(-3). Is 1563/s - f/14 prime?
True
Let j be 3 + -2 + 352*1. Let v be j - (3/(-3) + 0). Suppose h = 4*i - 367 - 341, -2*i - h = -v. Is i a composite number?
True
Let s = -53427 + 82954. Is s a prime number?
True
Let k = 0 - -2. Suppose k*v = 6*v. Suppose -3*j - j + 148 = v. Is j a composite number?
False
Suppose -3*w + 24 = -4*g, -10 = -w - 0*w + 2*g. Suppose 3*v + 5*d = 151, 0*v + 2*v - w*d = 108. Is (4 - (-33)/(-12))*v a composite number?
True
Suppose -11*b + 15 = -8*b. Is (6 - b) + 0 + 1966 a composite number?
True
Let g be 28/(-6)*78/(-91). Is ((-2)/g)/(((-35)/(-35042))/(-5)) prime?
True
Is ((-16033)/3)/((-20)/60) a prime number?
True
Suppose 3*p - 32273 = -p + z, z = 3*p - 24206. Is p a prime number?
False
Let m(f) = 23*f**3 + 2*f**2 - 15*f + 17. Is m(5) prime?
False
Let b = 9006 - 3379. Is b a composite number?
True
Suppose 5*s = 105 + 1665. Suppose -5*l + 205 = d, d = -d + 4*l + s. Is d composite?
True
Is 11486 - (-1 + (6 - 2 - 2)) a prime number?
False
Let p(u) = 1755*u**3 - u**2 - 3*u + 2. Let w be p(2). Is (1/(-2))/((-8)/w) a composite number?
False
Suppose -12 = -0*n + n + 2*u, 5*n - 5 = 3*u. Let s(b) = -110*b - 3. Is s(n) composite?
True
Let x(y) = -y**2 - 15*y + 37. Let i be x(-17). Suppose -1568 = -4*d - 4*q, -q + i*q = 6. Is d a composite number?
False
Suppose -500616 = -40*s - 32*s. Is s a composite number?
True
Let o be 4/2 + 36/(-18). Let t(i) = -i**2 + i - 75. Let c be t(o). Is (-1)/5 - 23790/c a prime number?
True
Suppose 2*m = -4*u - 5184, -3*m + u = 7167 + 588. Let f = m + 4712. Is f a prime number?
False
Suppose 22*v = -162644 + 617802. Is v a composite number?
True
Suppose 4*f = f - 222. Suppose -b - 7*t - 218 = -2*t, t = 3*b + 702. Let n = f - b. Is n a prime number?
False
Suppose 5*b - 6*b - 130 = 0. Let r = b + 216. Is r a composite number?
True
Suppose 2*f - 5663 = 11663. Is f a prime number?
True
Let g(m) = 5*m**3 - m**2 - 2*m + 7. Let p(h) be the second derivative of h**3/6 + h**2/2 + h. Let f be p(2). Is g(f) a composite number?
False
Suppose -242 = 5*j + 288. Let i = j - -75. Let x = 22 - i. Is x prime?
True
Let s(g) = -6*g**3 - g**2. Suppose 3*u = -2*u - 5. Let l be s(u). Let z(h) = h**3 + 2*h**2 + 6*h. Is z(l) a prime number?
False
Suppose 3*t + 15 = -36. Let p be (t/2)/(1/2). Let s = 31 + p. Is s composite?
True
Let l(z) = -z**2 + 3. Let u be l(0). Suppose -u*r + 447 = -6*r. Let c = r - -208. Is c composite?
False
Suppose -2*d = 3*h - 6, -3*d - 4*h + 7 = h. Let x be -1*d/12*-404. Let o = x + -158. Is o a composite number?
True
Suppose -5*c = -5*l - 476 - 374, 0 = -3*l - 15. Let v = c - -2047. Suppose k - 5*k = -v. Is k a prime number?
False
Let l = 8 - 8. Suppose l = -2*f + 716 - 210. Is f composite?
True
Let f be (-30)/(-5) + -2 + -2. Is (-7)/((-14)/114) + f composite?
False
Suppose -35*a + 34*a + 3 = 0. Suppose a*p - 2928 - 6 = 0. Suppose 0*w + 2*w = 2*c - p, -2427 = -5*c - 4*w. Is c composite?
False
Let m = 14 + 177. Is m a prime number?
True
Let p = 1372 - 792. Let z = p - 394. Suppose -6*x + 9*x - z = 0. Is x a composite number?
True
Suppose 80092 = 11*x + 17579. Is x a prime number?
True
Let x(q) = -q + 1. Let o(s) = 3*s**2 + 9*s - 4. Let y(h) = o(h) + 3*x(h). Is y(4) prime?
True
Let n be -2 + (-39132)/(-30) + 4/(-10). Let b = n - 235. Is b prime?
False
Let g = 1 + 8. Let b be (-2)/9 + (-430)/g. Let d = 3 - b. Is d composite?
True
Let p(w) = -415*w + 6. Let o be p(-5). Suppose 3*f = 2*b + o, -2*b - 689 = -f + b. Suppose 0 = y - 2*y + f. Is y a prime number?
False
Let c(i) = i + 14. Let m be c(-6). Suppose -q - m = 2*y, 2*q + q + 3*y + 12 = 0. Suppose 0*j - 3*j + 2757 = q. Is j a prime number?
True
Let s(n) = -7*n**2 + 29*n + 16. Let z be s(7). Let o = 515 + z. Is o composite?
True
Let o = 307333 - 216996. Is o a composite number?
True
Let z be 2232/(-27)*33/(-4). Suppose -v - a = -1729, 3*v - 4*a - 4533 = z. Is v prime?
True
Suppose u - 9 = -2*r, r + 2*r = -5*u + 10. Suppose 0*a + 3040 = -8*a. Is (-1)/(u - a/382) a prime number?
True
Let a = -1745 - -4189. Let t(x) = x**2 - 3*x + 3. Let w be t(4). Suppose -3*u = -w*u + a. Is u a prime number?
False
Suppose -18*h - 10 = -82. Suppose -2*l = -0*l - 4. Suppose h*w = l*w + 974. Is w prime?
True
Suppose -5*p + 2669 = -3*p + 5*i, -5*p + 6684 = i. Is p prime?
False
Let l(c) = -c**2 + 5*c + 12. Let t be l(6). Let y be (-2)/(4/(-550)) + 0. Suppose -s + t*s = y. Is s composite?
True
Let x(y) = 27 - y - 27. Let m be x(-4). Let u(z) = 13*z**2 - 5*z + 3. Is u(m) a prime number?
True
Let l = -36 - -38. Is l/(3 - 1838/614) a prime number?
True
Let m be (-7)/14*(5 - -1). Let u = m + 5. Suppose -u*y + 346 = -88. Is y composite?
True
Suppose 0*r - 2*r + 2*h + 11328 = 0, -11328 = -2*r + h. Suppose -9*f + 6639 = -r. Is f prime?
True
Suppose 39 + 26 = 4*x - 5*z, 0 = -4*x + 2*z + 50. Let g(u) = 4*u**2 - 12*u + 19. Is g(x) a prime number?
False
Let t be 4/1 - (-1193 + 7). Let v = 3895 - t. Is v composite?
True
Suppose 12*n = 6 + 6. Suppose k - n = 0, -2*f - 3*k + 2691 = -6*k. Is f a composite number?
True
Suppose 2*m + 3 = -0*l - l, 0 = 2*l - 2*m - 12. Suppose l*x - 635 = 76. Is x a composite number?
True
Let q(u) = 29*u - 1. Let r(g) = -28*g + 1. Let b(i) = -5*q(i) - 4*r(i). Is b(-4) prime?
False
Let h(q) = -19019*q + 3. Is h(-1) prime?
False
Let o(k) = -2878*k - 225. Is o(-4) a composite number?
False
Let z(s) = -s**3 + 12*s**2 - 11*s. Let o be z(11). Suppose 3*n - 601 + 118 = o. Is n prime?
False
Let m be 66 + 4 + -2 + 1. Let d be (-25)/(-10)*(-68)/(-1). Suppose -m = -y + 2*j, 2*y - j - d = -5*j. Is y a prime number?
False
Suppose -3*l + 57696 = k, 0 = 4*l - 4*k - 34361 - 42551. Is l a composite number?
False
Let f be ((-9)/45)/(3/(-75)). Suppose -f*c - 293 = -6*c. Is c a composite number?
False
Let i be -74*-1*(-68)/(-8). Suppose 0 = 11*g - 12*g + i. Suppose y - 926 = -3*r, -2*r + 0*r - 3*y + g = 0. Is r composite?
False
Suppose -4*n = -4, -k - 13*n + 16*n = -154. Is k composite?
False
Suppose 2*z - 99 = 267. Suppose 5*s - z = -4*a + 4592, 4*s - 4*a - 3820 = 0. Is s a prime number?
False
Let m(x) = 119*x**2 - 12*x - 5. Suppose 13*p - 30*p = -102. Is m(p) composite?
True
Suppose -5*d = v - 176, -4*d - 2*v + 96 = -46. Let x = d + 1635. Suppose p - x = 551. Is p a composite n