. Is l a composite number?
False
Suppose -5 - 35 = 5*l. Let o = -26 - l. Is ((-148)/(-6))/((-12)/o) a composite number?
False
Suppose 4*n + 18913 = q + 2*q, -q = -3*n - 6311. Is q a prime number?
True
Let r = 47 - 25. Suppose 2*j + r = 3*j. Is j composite?
True
Suppose -5*c - 5*u + 305 = 0, -3*c + 2*u + 142 = -c. Suppose b - c = -13. Is b a composite number?
False
Suppose 0 = -3*y - 3*h + 777, 9*h - 25 = 4*h. Is y composite?
True
Suppose -5*y - 6*t + 219 = -2*t, 4*y - 3*t - 200 = 0. Is y composite?
False
Let s = 5554 - 2719. Let i be (s/(-12))/(1/(-4)). Suppose -2*r + 402 = 4*m, 0*m + i = 5*r - 2*m. Is r prime?
True
Is 1/(-5) - (5532/(-10) - 4) composite?
False
Let a(g) = g**3 - 3*g + 331. Is a(0) a prime number?
True
Let v(n) = -5*n + 2. Let s(j) = -1. Let f = -1 - 2. Let d(r) = f*s(r) - v(r). Is d(2) composite?
False
Is 5340/32 + (-1)/(-8) prime?
True
Is ((-623)/14)/((-2)/12) a prime number?
False
Let p = -441 - -635. Is p composite?
True
Suppose 2*j + 1141 = 3*j. Is j a composite number?
True
Suppose 2*l + 3375 = 7*l + 5*x, -4*x = -4*l + 2668. Let i be 13/3 - (-12)/18. Suppose i*s + 96 = l. Is s composite?
True
Let k(l) = -l**3 - 3*l**2 + 10*l + 1. Let s be k(-5). Is (s - -277)*(-10)/(-20) prime?
True
Suppose 15*j = 20*j - 445. Is j composite?
False
Let o be (-12)/(-18) - 22/6. Is (12/3 + o)*7 prime?
True
Let k(u) be the first derivative of 7*u**2 + u + 3. Is k(4) a composite number?
True
Let s = 10 - -11. Is s composite?
True
Let w be 2*(4 + 2/(-1)). Suppose 2*p - 8 = w. Let a = 31 - p. Is a composite?
True
Suppose -w + 8 = -3*w. Let p(z) = -z**2 - 4*z + 2. Let c be p(w). Suppose c*d - 147 = -d. Is d a composite number?
True
Suppose 2*o = 2*z + 2134, -1023 = -2*o - 5*z + 1125. Is o a composite number?
False
Let b = -1 - -3. Suppose 0 = 3*r + j + b*j - 27, -43 = -3*r + j. Is r a composite number?
False
Let t(d) = -d**3 + d**2 + 77. Is t(0) a composite number?
True
Let p be 14/(-21) - (-656)/3. Suppose -6*g + 280 = -p. Is g composite?
False
Let v(d) = -d**3 - 5*d**2 + 6*d - 6. Let r be v(-6). Let c(a) = -a**2 - 6*a + 5. Let q be c(r). Suppose -q*o + 79 = 24. Is o a composite number?
False
Let l(k) = 4*k**3 + 8*k**2 - 9*k - 3. Let h(m) = -m**3 - 1. Let w(i) = -5*h(i) - l(i). Let y be ((-2)/3)/(2/(-21)). Is w(y) prime?
False
Let b(n) = n - 1. Let p be b(3). Let y = p + 0. Suppose 0 = -y*a - 0 + 14. Is a a composite number?
False
Let v = -490 + 1809. Is v a composite number?
False
Let u = -72 + 238. Is u composite?
True
Suppose -3*q + 0*q = -a - 21, -25 = -5*q + 5*a. Suppose q*p = 4*p + 124. Is p prime?
True
Let o be (-1)/(1 + (-4)/5). Is o/(4/(-44)*1) composite?
True
Let z be 18/8 - (-5)/(-20). Let c(t) be the second derivative of 5*t**4/6 - t**3/3 + t**2/2 - 3*t. Is c(z) a prime number?
True
Let p be (-1 - -2 - -2) + 933. Suppose -3*w + 1193 = 2*w - 2*l, p = 4*w + 3*l. Is w a prime number?
False
Let j(g) = -40*g + 11. Is j(-5) a prime number?
True
Let p be (-1 - (-3 - -2))/1. Let k = p + 19. Is k prime?
True
Let c(v) = 66*v + 7. Suppose f + 0 = -2, -m = 3*f + 1. Is c(m) composite?
False
Let p = 232 + -139. Is p a prime number?
False
Is 3522/14 + 60/(-105) prime?
True
Suppose -393 = -5*t - 2*p, 2*t - 4*p - 369 = -3*t. Let k = 116 - t. Is k prime?
False
Suppose -2*a = -2*g + g - 948, 3*g = a - 469. Suppose -2*w + 16 + 4 = 0. Is 2/(-4) + a/w prime?
True
Is 7/(((-24)/4976)/((-3)/2)) prime?
False
Suppose -3*f + 8*f = 3*q - 9043, 6028 = 2*q - 3*f. Is q composite?
False
Suppose 6 = -3*m - 4*o, 3*m - 6*o - 12 = -4*o. Suppose c - 2 - m = 0. Is (c + 0)/2 - -53 prime?
False
Let d = 2 + 1. Suppose -m = d*m + 3*f - 29, -3*f = 15. Is m composite?
False
Let j be (-4)/6 + 28/6. Suppose 2*x - g - 947 = 0, 0 = -3*x - 2*x - g + 2378. Is x/j - 1/(-4) composite?
True
Suppose -3*k + 10 = -k. Suppose -k*x + 4*n + 43 = 2*n, -3*n - 6 = -x. Suppose -x = -3*i - 0. Is i composite?
False
Suppose -3*t + 1044 = -0*t. Let z = t + -228. Suppose -z = -g - 5*f - 47, 2*f = -3*g + 167. Is g a prime number?
True
Suppose 2*n + y = -2*y - 30, 0 = 5*n + 3*y + 75. Let k = -64 - -93. Let b = n + k. Is b a composite number?
True
Let a(x) = 4*x**3 - 3*x**2 + 3*x - 1. Let n = -3 + 5. Is a(n) a prime number?
False
Let o(f) = f**2 + f + 7. Let p be o(0). Let j(a) = 0*a - 9*a + 15*a**2 - p - 5*a**2 - a**3. Is j(8) a composite number?
True
Let j(y) = -121*y**3 - 6*y**2 - 9*y - 15. Is j(-4) a prime number?
True
Let w be (3/(-2))/(2/(-4)). Suppose -4*u = -4*s + 668, 4*u + w*s + 704 = -2*s. Is 1/(3/u*-3) composite?
False
Suppose 2*h + f - 2 = -0*f, 0 = -h + 4*f + 19. Let d = 5 - h. Suppose 3*l + j - 53 = d*j, 0 = 4*j - 16. Is l a prime number?
True
Suppose -12*b + 1285 = -7*b. Is b composite?
False
Suppose 0 = 2*q - 3*q. Suppose q*t + t - 4 = 5*b, -t + b = -12. Is t a prime number?
False
Let x(j) be the first derivative of -j**2/2 + 16*j + 2. Let w be x(11). Is 3798/30 + 2/w a composite number?
False
Suppose 6*u - 3*s - 50 = 2*u, 0 = -3*u - s + 44. Is 10/35 + 4854/u a prime number?
True
Let c(y) = -82*y + 5. Is c(-6) composite?
True
Suppose 0 = 4*k - 0*k - 12. Let i be 4 - (-3 + (8 - k)). Suppose -i*y = -5*y + 471. Is y a prime number?
True
Let u = -7190 + 12051. Is u prime?
True
Is 3 + (-4 - -7 - -15) a prime number?
False
Let c be 2/(24/20)*3. Suppose -c*b = -911 - 1664. Is b a prime number?
False
Let d(m) = m**3 + 7*m**2 + 4*m - 3. Let t be d(-6). Suppose 5*h = -3*a + 120, 3*a - 5*h = t + 81. Is a composite?
True
Suppose -t - 7 = 5*r, 3*r - 3 = -4*t + 3. Suppose t*u - 2*u - 92 = -2*d, -3*d + 15 = 0. Is u prime?
False
Suppose -5*o + 1009 = -4*o. Is o prime?
True
Let n be (-4)/(-18) - 145/45. Is ((-13)/4)/(n/228) a prime number?
False
Suppose -5 = -2*c + 3. Let r be (1/(-2))/(c/48). Is (3 + r)*(-1)/1 prime?
True
Is ((-4)/6)/(1*(-4)/8166) composite?
False
Let c be 2/(-2)*0/2. Suppose c = 2*s - 10, -2*a + 3*s = -1 + 20. Let r(u) = -18*u + 1. Is r(a) a prime number?
True
Suppose 3*u - 15 = -0*u. Suppose -u*t - 497 = -1377. Suppose 5*q - 119 = t. Is q composite?
False
Suppose 5*s = 3*s - 38. Let j be -3*6*(-4)/(-8). Let i = j - s. Is i prime?
False
Let w(q) = -q**3 - 8*q**2 - 6*q + 17. Let s(a) = a**3 - a**2 - a - 1. Let h be 2*(1/2)/(-1). Let l(z) = h*w(z) - 2*s(z). Is l(10) prime?
False
Suppose -3*q - 2*v + 733 = 0, -4*q - 5*v + 571 = -397. Suppose 5*g - 568 - q = 0. Is g prime?
True
Let v(n) be the second derivative of n**5/20 + 11*n**4/12 + 7*n**3/6 - 5*n**2/2 + 5*n. Is v(-8) a prime number?
True
Let p(w) be the second derivative of 4/3*w**4 - 1/2*w**2 + w + 0*w**3 + 0. Is p(-1) a prime number?
False
Let k = 561 - 302. Is k prime?
False
Is 10/(-2)*(-76)/20 prime?
True
Let p(y) = 3*y + 2 + 2 - 2 - 6. Let h(n) = n**3 - 5*n**2 + 2*n - 5. Let l be h(5). Is p(l) a composite number?
False
Let k = 6 - 0. Let f be k/(-21) - (-178)/(-14). Is 0 - (0 + 2) - f composite?
False
Suppose d = -5*b - 0*b + 282, -4*b = -5*d + 1381. Let m = 30 + d. Is m a composite number?
False
Suppose -6*n + 2*n - 2*h + 240 = 0, 2*n + 2*h = 122. Is n prime?
True
Suppose -2*u - 5*z - 5 = -7*u, -4*z + 4 = 0. Suppose u*c - 5*f = 46, -6*c + 177 = -c + 3*f. Is c composite?
True
Suppose -3*t - 2 = -20. Is t a prime number?
False
Let u(q) = -q**3 - 9*q**2 - 10*q + 3. Is u(-9) composite?
True
Let d(q) = q**3 + 6*q**2 + 2*q - 4. Let v be d(-5). Let j(l) = l**3 - 12*l**2 + 13*l - 11. Is j(v) composite?
False
Let o = 99 + -20. Is o prime?
True
Let j(i) = 2 - 22*i + 2 - 2. Let o be 60/(-32) + 2/(-16). Is j(o) a composite number?
True
Let m = 224 + 255. Is m a prime number?
True
Suppose -2*d + 6*v - 2*v - 110 = 0, 0 = d - 3*v + 52. Let u = d - -126. Is u a composite number?
True
Suppose 5*g = 4*g, s + 4*g - 2 = 0. Suppose 5*x = 5*z - 45, -3*z + 5*z + 4*x + 12 = 0. Suppose 5*o - 4*w = 107, -3*w - 91 = -z*o + s*w. Is o composite?
False
Let t(l) = 100*l + 42. Is t(10) a prime number?
False
Let o = -396 + 554. Is o a prime number?
False
Suppose -4*u + 20 = 4*p, 4*u - 15 + 3 = 4*p. Let w(x) = x**3 - u + 0*x**3 - 7*x**2 + 5*x + 0*x**3 + 0. Is w(7) a composite number?
False
Suppose -1 = -3*t + 14. Suppose 0 = -t*r + r + 1052. Is r a prime number?
True
Let x be 1/3*(4 - -11). Let w(v) = v**3 - 2*v**2 - 2*v - 6. Is w(x) a prime number?
True
Let o = 7 + -11. Let r(s) = s**3 + 6*s**2 - 1. Is r(o) a prime number?
True
Let w be (3/(-2))/(4/(-8)). 