be (-476)/3 + 5/(-15). Is ((-4)/6)/(2/g) prime?
True
Suppose 18 = -2*m + 4*m. Let j be (-147)/(-2)*6/m. Suppose j = k + 5*w, 0*w - 3*w = 3*k - 147. Is k prime?
False
Let s = -7 + 55. Let g = s + -29. Is g a prime number?
True
Suppose 0 = -2*q - 4*y - 1 + 9, -q + 5*y - 31 = 0. Is (-968)/(-6) - (-2)/q prime?
False
Suppose 1480 = -2*m + 5*m + o, -991 = -2*m - 5*o. Is m composite?
True
Suppose m = t, 3*t = 5*t - 4. Is 2/4*m*13 composite?
False
Let t = 112 - -34. Suppose 234 + t = -5*b. Let c = b - -155. Is c a prime number?
True
Let q = 1 + 0. Let i be 70*(q - 9/15). Suppose -12 = -4*j + i. Is j a prime number?
False
Let c be (-5 - -8)/((-3)/2). Is (-1)/c*(39 - 1) a composite number?
False
Let s(t) = 223*t**2 + 6*t - 8. Is s(3) composite?
False
Let x(k) = 17*k + 6. Is x(5) a prime number?
False
Suppose 0 = -y + 902 + 327. Is y a prime number?
True
Is -4 + (8 - 1) + 19 a composite number?
True
Let f = -30 - -66. Is (-662)/(-18) + 8/f prime?
True
Let y = -857 - -1944. Is y prime?
True
Suppose 3*d + 2440 = 5*q, 273 + 1185 = 3*q - 3*d. Is q a prime number?
True
Let s(y) = -y**3 - 5*y**2 + 6*y + 3. Let q be s(-6). Suppose -q*w + 103 = -128. Is w a composite number?
True
Suppose 11*p = 12*p - 2. Suppose 193 - 903 = -p*w. Is w composite?
True
Let p(r) = 3*r**2 - r - 5. Is p(11) a prime number?
True
Suppose -4*r + 16 = 8*a - 5*a, 2*a - r = -4. Suppose a*c = 3*f - c - 265, 0 = -2*f - c + 180. Is f a composite number?
False
Let r(u) be the first derivative of 28*u**2 - u + 9. Suppose -15 = -5*h, -s - h = -3*h + 5. Is r(s) composite?
True
Let n be 1 + (-6)/(-3) - 229. Is (n + 3 + 0)/(-1) composite?
False
Let c be (-2 - 5)*2/(-2). Let p = 8 + c. Suppose k + 31 = h, 2*k = 5*h - p - 140. Is h prime?
True
Is (9/2 - 2)*16/10 a composite number?
True
Let l(t) = -8*t**3 + t**2 + t + 1. Let v be l(-1). Let s be ((-30)/(-25) + 2/(-10))*762. Is (s/v)/(8/12) prime?
True
Let w be 5*(8/10 + -2). Is (w/2 - -4) + 126 composite?
False
Let f be -10 - 2/2*-1. Let u be 1/(1/f*-3). Suppose h - u*h = -116. Is h prime?
False
Let c(j) = -82*j + 7. Let y(r) = r**2 + 8*r + 6. Let h be y(-6). Is c(h) prime?
True
Let f = -37 + 90. Is f composite?
False
Let z(b) = -56*b - 3. Is z(-7) composite?
False
Let x(y) be the second derivative of -85*y**3/6 - y**2/2 - 7*y. Is x(-2) a composite number?
True
Suppose 2*l + 855 = -3*l. Let c be -298 - (-4)/2 - 2. Let a = l - c. Is a a composite number?
False
Let v be ((-6)/4)/((-3)/8). Suppose v*n = 4*s + 116, 4*n + 24 - 132 = 2*s. Is n a prime number?
False
Suppose 2*b + 2*j = -4, -10 = -4*b + 3*b + 5*j. Is 1/1*(b + 7) a prime number?
True
Let t(u) = -u + 12. Let y be t(0). Is (y/(-16))/(1/(-52)) a prime number?
False
Let q = 214 - 140. Is q prime?
False
Suppose 6*c - 5*c - 110 = -5*w, -3*c + 88 = 4*w. Is (0 + w/8)*44 prime?
False
Let h be 1 - 4 - (-2 - 3). Suppose 58 + h = 4*i. Is i composite?
True
Is 4*(-6)/84 + 2088/7 composite?
True
Let n(x) = 29*x + 6. Let t(y) = y**2 - 6*y + 3. Let k be t(6). Is n(k) composite?
True
Let t be -1 + 0 - (0 - 4). Suppose -2*j - j + 3*y + 69 = 0, 0 = 2*j + t*y - 46. Is j composite?
False
Let p be 3/((-9)/(-6)) - 5. Let d be (-25)/(-15) + (-1)/p. Is 1*d - (-48)/4 prime?
False
Let u be (-3)/2*20/(-6). Suppose 3*p + p - 132 = -u*h, 5*h + 66 = 2*p. Is p a composite number?
True
Let t(x) = -10*x + 1. Let i be t(-1). Suppose -42 = -f - i. Is f composite?
False
Let y be 0 - -2*1/(-2). Let t be y/4 - (-89)/4. Is (1/2)/(1/t) a composite number?
False
Let b(l) be the second derivative of l**5/20 + l**4/6 + l**3/3 + l**2 - l. Is b(3) composite?
False
Let x(z) = z**3 - 2*z**2 + 3*z. Is x(2) a composite number?
True
Let v be 2 - 1*(3 - 2). Let h be 5/v*(-60)/25. Is -2 - (-1)/((-3)/h) prime?
True
Let l(f) = -f + 4. Let r be l(6). Is (-1)/(r/128) + 3 prime?
True
Suppose 3*u = 9, -1943 = -2*j - 0*u + 3*u. Suppose 768 = 4*o - 4*g, o + 4*o - j = -3*g. Is o composite?
True
Is (4/(24/(-1578)))/(-1) prime?
True
Suppose -3*t + 0*t - 5*d = -1088, 2*t - 692 = 5*d. Let r = t + -521. Let g = -88 - r. Is g a composite number?
True
Suppose -x - 4*t + 18 = 0, 2*x + 4*t = 6*x - 32. Suppose x*l - 5*l - 1855 = 0. Is l a composite number?
True
Let z(m) = -m**3 + 5*m**2 + 3. Let c be z(6). Let p = 4 - c. Is p a composite number?
False
Let d = -1 - -8. Let g = 17 - d. Is g a composite number?
True
Suppose 4*j + 1 - 17 = 0. Let r = 7 - j. Suppose -4*g + 67 = -r*g. Is g prime?
True
Let z = 79 - 56. Let r = z - 12. Is r a prime number?
True
Suppose -2*r + 3*z = 2*r - 6608, -4*z - 1639 = -r. Is r composite?
True
Let f(c) = 99*c**2 + 2*c + 2. Is f(-3) a prime number?
True
Let o(y) = -y**3 - 5*y + 5. Is o(-6) a prime number?
True
Suppose -32 - 23 = -j. Is j composite?
True
Let a(t) = -31*t**2 - 2*t - 1. Let m be a(-2). Let f = -78 - m. Is f a prime number?
True
Suppose 4*z + 3 = 15. Is 652/(-6)*z/(-2) prime?
True
Let a(i) = 6*i**3 - 2*i**2 + 1. Let k be a(1). Is 668/3 - k/(-15) composite?
False
Let z(p) = -2*p - 13. Let b be z(-8). Suppose 2*f + b*a - 155 = 0, 4*f = a + 126 + 219. Is f a composite number?
True
Suppose 0 = -2*d - o + 38, 2*d + 2*d - 2*o - 92 = 0. Suppose 0 = 4*r - d - 23. Is r a prime number?
True
Suppose -7*l + 6*l = -5*i - 1238, -2*l + i + 2503 = 0. Is l composite?
True
Let a(b) be the second derivative of -17*b**4/24 - b**3 - 3*b**2/2 - 2*b. Let d(p) be the first derivative of a(p). Is d(-5) a composite number?
False
Let g(x) = 77*x - 46. Is g(15) prime?
True
Let q = 2 + -14. Let y be 1/(-3) + (-16)/q. Is 18/(y + 2) - -1 a composite number?
False
Suppose 2*z - 2 = 0, 2*y = z - 1 - 4. Is 179 - (y + 2)*-1 a prime number?
True
Suppose -5 = -t - 5*k, -2*t + 4*t + 3*k = 38. Is t prime?
False
Suppose 3*p + 3 = -10*s + 5*s, -p - 2*s = 0. Let g be ((-4)/p)/((-5)/(-75)). Let d = g + 69. Is d composite?
False
Suppose c = 3*c + 36. Suppose -3*d - 3*q = -8*d + 187, 39 = d - q. Let r = d - c. Is r composite?
False
Let j(s) = 2*s**2 - 3*s - 4. Suppose n = 3*b - 15, -2*n = b - 4*n - 5. Let v = -8 + b. Is j(v) composite?
False
Let p(f) = -3*f + 4*f + 3*f + 3 + 5*f**2. Let k(l) = -l**3 - 2*l**2 + 3*l - 4. Let z be k(-3). Is p(z) a composite number?
False
Let q(c) = -3*c**2 - c. Let m be q(-1). Let f = m + 5. Is f prime?
True
Let h(u) = u**3 - 7*u**2 + 7*u - 2. Let y be h(6). Let w = -121 - -208. Suppose y*v = 235 - w. Is v composite?
False
Suppose 3074 = 2*o - 4*x, -2*o = o - 3*x - 4608. Is o composite?
True
Let c = 148 + -81. Is c prime?
True
Suppose 3*q + 3*u - 7*u - 407 = 0, -4*u = q - 125. Is q a composite number?
True
Suppose -c + 7 = -3. Let o = 45 - c. Is o a prime number?
False
Suppose 0 = -u + 1, -2*u - 631 = -3*h. Is h composite?
False
Let g be ((-4)/5)/(2/(-10)). Suppose 4*z - w - 1 = 3, 12 = -g*z - 3*w. Is -2 + 163 + 0 + z composite?
True
Suppose -5*h = -10509 + 4314. Suppose 0 = y - 4*y + h. Is y prime?
False
Let h(u) = 4*u**2 - 8*u - 2*u**2 - u**3 - 11 - 5*u - 12*u**2. Suppose -4*s = 4*g + 28, 0 = 2*s - 2*g + 30 - 8. Is h(s) prime?
False
Let a = -13 - 15. Is 8/a + (-520)/(-7) a prime number?
False
Let k = 361 - 212. Is k composite?
False
Let z be 2*3*1/2. Suppose p - z*p + 2 = 0. Is ((-1)/1)/p - -15 composite?
True
Suppose -t + 0*b - 5 = -b, -5*b + 25 = 5*t. Suppose -4*s + 9 = 4*f + 1, t = 2*s - f - 7. Suppose s*j = 5*c + 26, 4*j - 4*c = 34 - 2. Is j a composite number?
False
Suppose 4*w = 292 - 96. Let d = -28 + w. Is d composite?
True
Suppose 0 = -0*n - n + 4. Suppose 0*c + 135 = 5*y + 4*c, n*c = 20. Let k = -4 + y. Is k a prime number?
True
Let i(k) = -k**2 - 4*k + 4. Let w be i(-5). Let o be w + 0 + (-4 - -442). Suppose -v = 2*m - 94 + 9, 0 = -5*v - 4*m + o. Is v composite?
False
Let s(u) = 558*u**3 - 2*u**2 + 2*u - 1. Is s(1) a prime number?
True
Suppose 3*h - 4*x = 276, 0*x + 368 = 4*h - 4*x. Suppose -204 = -4*q + h. Is q a prime number?
False
Let v(m) = -1012*m - 1. Is v(-1) composite?
True
Suppose -3*f + 66551 = 4*g + g, -4*g = -4*f - 53228. Is g a composite number?
False
Suppose 716 = 122*d - 118*d. Is d prime?
True
Let y be 27453/15 - 1/5. Suppose 9*i - 4*i = y. Suppose -2*g + i = g. Is g prime?
False
Let i be (11 - -1)*21/(-28). Is i/(-6)*-2 + 36 prime?
False
Is -2 + 0 - (-4)/((-12)/(-885)) composite?
False
Suppose -3*q + 0*z + 2*z + 73 = 0, 0 = 5*q - 2*z - 119. Is q composite?
False
Let z(i) = 3*i**3 + 2*i**2 + i - 3. Is 