 Is 1 + g/3 + 45 composite?
False
Suppose 0 = -j - 5*s + 30, 3*j + 4*s + 32 = 5*j. Is ((-95)/j)/(2/(-40)) prime?
False
Is 8920/30*(-6)/(-4) a prime number?
False
Let s = 403 + 73. Is (s + -5)*2/6 a composite number?
False
Suppose 1348 = 5*u - u. Is u a composite number?
False
Let p(v) = -v**2 + 8*v. Let g be p(8). Suppose 5*c - 3*c - 4 = g. Suppose z - 29 = -4*i, 4*z - 67 - 85 = c*i. Is z composite?
False
Is 2*(-561)/24*-4 prime?
False
Let v = 1488 + -937. Is v a prime number?
False
Let h(u) = -u**3 - 9*u**2 - 11*u - 10. Let p(k) = -k - 8. Let r be p(0). Is h(r) a composite number?
True
Suppose 8*g - 12*g = -31972. Is g composite?
False
Let m(i) = 2*i + 4. Let u be m(0). Suppose 0 = -u*n + 8*n - 276. Is n a composite number?
True
Suppose 8 = -2*a - 4*l, a - 4*l = 2*a + 8. Suppose -2*d + 5*b + 249 = a, -d + 0*b + 129 = 2*b. Is d a prime number?
True
Let o be 7/(14/(-12))*-1. Let t be (-232)/o*3/(-2). Suppose -5*r = -t - 57. Is r a prime number?
True
Let u = 1514 - -1319. Is u composite?
False
Suppose 3*k + 2*p = -p - 759, -p + 5 = 0. Let i = 905 + k. Is i a prime number?
True
Suppose 1510 + 3735 = 5*u. Is u a composite number?
False
Let c = 876 + 83. Is c a prime number?
False
Let u = 5349 - 3140. Is u composite?
True
Let s = -619 + 175. Is ((-1)/(-2))/((-6)/s) a composite number?
False
Let v = -9 - -15. Is (-4)/v*(-678)/4 composite?
False
Let y(r) = -35*r**3 + 2*r**2 + 3*r. Suppose 0 = 5*j + 2*d + 4, 9 = 2*j + j + 5*d. Let v be y(j). Let l = v - 193. Is l a prime number?
True
Suppose 0*g = -5*g + 1055. Is g a composite number?
False
Suppose -3*m + 4019 = -4*q, 3*q = 2*m - q - 2682. Is m a composite number?
True
Let s = -1 - -1. Suppose s = x + 2*x + 42. Let b = -7 - x. Is b a composite number?
False
Suppose -k - 18 = -5*n, 0 = n - 3*n + 5*k - 2. Suppose 2*i + 22 = -n. Let f = 0 - i. Is f a composite number?
False
Let i be 4405/(-15) + 1/(-3). Is 4*(i/(-8) - 1) prime?
False
Suppose 0 = 3*m - 471 - 120. Let v(a) = 340*a**3 + a - 1. Let g be v(1). Let s = g - m. Is s composite?
True
Suppose 5*k - 68 = -23. Let x = 16 - k. Is x a prime number?
True
Let m = 154 + -88. Let j = 96 - m. Suppose -2*p - 5*o - 95 = -4*p, p - j = -o. Is p prime?
False
Suppose 2*s + 2*s = 0. Suppose -3*q - 12 = -2*u, 3*q + u + 21 = -s*q. Is -3 + (-1 + 0)*q a composite number?
False
Let w(f) = f**2 + 7*f + 7. Let z = 2 + -8. Let q be w(z). Is q/(-3) + 2864/24 a prime number?
False
Suppose 4*o - 514 = -2*q, -6*q + 125 = o - 2*q. Suppose -4*g - 2*j + 99 = -o, j - 169 = -3*g. Is g a prime number?
False
Let h be 59 + ((-3)/1 - -3). Suppose -w + m + h = 0, 3*w + 10*m - 177 = 5*m. Is w composite?
False
Let u(j) = 161*j**2 + 2*j. Is u(1) composite?
False
Let y(w) = 0*w**2 - 7 - 4*w**2 - 3*w - w**3 + 1. Let h be y(-4). Let n = 0 + h. Is n a prime number?
False
Let s(w) = 2*w + 7 - w - 2. Let p be s(-8). Is 2 - p*(-33)/(-3) a prime number?
False
Suppose -4*o + 4*l = -52, o + 4*l + 9 = -3. Let b = -6 - -9. Is 206/o + b/12 a prime number?
False
Suppose -4*a - 38 = -346. Is a prime?
False
Let i = 777 - 352. Let d = i - 234. Is d a composite number?
False
Suppose 3 = 5*z + 4*i, 4 + 2 = 4*z + 5*i. Let y = z + 1. Suppose 4*c - 2*c - 6 = y. Is c composite?
False
Suppose -20 = 4*d - 3*v, 5 - 29 = 2*d - 5*v. Is (-1017)/(-12) - d/8 a composite number?
True
Let a be (-9690)/(-20) + 3/2. Suppose 289 = 3*x + 2*d, x + 4*x = d + a. Is x a composite number?
False
Let p(f) = f**2 + 3*f + 13. Is p(10) composite?
True
Let w(g) = 83*g**3 + g**2 - g. Suppose -5 + 4 = -r. Is w(r) a prime number?
True
Is ((3/2)/3)/((-1)/(-6906)) prime?
False
Suppose 7 - 19 = -4*v. Let p be ((-2)/(-4))/(v/12). Suppose -p*q - o = -76, 0*o - o - 38 = -q. Is q prime?
False
Let z(y) = -12*y**3 - 6*y**2 - y - 3. Is z(-4) prime?
True
Let l(x) = 66*x - 10. Let v(y) = 5*y**3 - 2*y**2 + 1. Let j be v(1). Is l(j) composite?
True
Let o = 7 + -12. Let i = o - -48. Is i a prime number?
True
Let d be ((-6)/(-8))/((-1)/(-8)). Let c be (-4)/12 + (-4)/6. Is (22/d)/(c/(-6)) a prime number?
False
Is ((-5345)/(-30))/((-3)/(-18)) composite?
False
Suppose -2*d + 5 = -3. Suppose 4*l - 50 = l + 4*q, -2*q = d. Is l a composite number?
True
Let c(f) = -f**3 + 10*f**2 + 3. Let q be c(10). Let w(p) = -7*p - q*p - 2 + 3*p. Is w(-5) prime?
False
Let p(z) = 12*z**2 + 6*z - 5. Is p(4) composite?
False
Let t(i) be the first derivative of 3 + 0*i + 13/2*i**2. Is t(5) a composite number?
True
Let i = 62 - 42. Suppose 3*s - 14 = -4*p, 7*s - 2*s + 5*p - i = 0. Suppose -3*w = -s*w - 11. Is w prime?
True
Let f be (-4)/10 + (-4)/(-10). Suppose -3*c + 28 + 179 = f. Suppose m = 2*m - c. Is m prime?
False
Let l = 9 - 4. Let n be 66/l*15/6. Is (n/9)/(2/6) prime?
True
Let z(r) = -2*r**2 - r - 11. Let g(j) = j**2 + 6. Let a(l) = -11*g(l) - 6*z(l). Is a(11) a composite number?
True
Let o(i) = -2*i**2 + 3*i - 6. Let g(u) = u**2. Let x(s) = 3*g(s) + o(s). Suppose 0 = -3*w + 9, 0 = 3*d - w + 23 - 5. Is x(d) a prime number?
False
Let q(l) = -l**3 - l**2. Let w(t) = -5*t**3 - 18*t**2 - 7*t - 7. Let d(p) = 4*q(p) - w(p). Is d(-6) composite?
True
Suppose 2*k + 2 = -2, -j + 2 = -k. Let r(p) = -p**2 + 13*p + 1. Let x be r(11). Let a = x + j. Is a a prime number?
True
Let m be -3*127*4/(-6). Let w = m + -148. Suppose -g - g = -w. Is g a composite number?
False
Let m(j) = j**2 - 8*j - 12. Let v be m(9). Let k be (2/v)/(16/3768). Let z = -80 - k. Is z a composite number?
True
Let m = -1 - -4. Is ((-1)/m)/((-1)/393) prime?
True
Is (0 - 1) + 0 + (589 - 1) composite?
False
Suppose 0 = 3*f - f - 12. Let s(k) = 6 + 1 - 7*k + k**2 + 2*k. Is s(f) a prime number?
True
Suppose t = 3*t + 24. Is 3815/30 - (-2)/t composite?
False
Let a = 16 + -4. Let s = 305 + a. Is s prime?
True
Let w(v) = 332*v**2 - 752*v**2 + 3*v - 288*v**2 - v. Let b be w(-2). Is b/(-36) + 2/9 prime?
True
Is ((-1)/1 - 0)/((-2)/74) a composite number?
False
Let q be 2/((-4)/(-517))*2. Is (-2)/(-4) + q/2 prime?
False
Suppose 421 = -5*g + k - 607, 0 = -4*g - k - 826. Let y = -47 - g. Is y composite?
True
Suppose -5 = 3*f + 2*f. Let s(p) = 200*p**2 + 2*p + 1. Is s(f) a prime number?
True
Let s(z) = z**2 - 2. Let w be s(2). Let j be w + -5 + -1 + 1. Is 135 - (-2)/3*j a composite number?
True
Is (1*332/2)/2 composite?
False
Let o be (24/(-30))/(4/70). Let r = o + 36. Is r prime?
False
Suppose 0 = -4*m - v + 8626, 0 = 5*m - 3*m + 2*v - 4310. Is m a composite number?
True
Let t = -5 - -7. Let i be t/(6/501) + 1. Suppose 5*u - 5*y - 55 = 200, 4*u = -5*y + i. Is u a prime number?
True
Let l = -13 - -9. Let t be (-3)/l + 3/(-4). Suppose t*q + 3*q - 201 = 0. Is q prime?
True
Is 1 + 4/(-5) - (-6244)/5 a composite number?
False
Let x = 12 + -5. Is x a prime number?
True
Let r = 989 - 607. Is r a composite number?
True
Let v be ((-1)/(-2))/(2/(-40)). Let s be 238/v - 4/20. Let l = s - -79. Is l composite?
True
Let t(j) = 538*j**3 - j**2 + j - 1. Is t(1) prime?
False
Suppose 5*n - 81 = 39. Suppose 4*t + u = 3*t + 7, 4*u = -2*t + n. Suppose h + 0*h + 4*g = 3, t*h + 5*g = 18. Is h a prime number?
True
Let p = 1440 - 79. Is p composite?
False
Suppose -5*t + 8*q = 3*q + 685, 5*t + 2*q = -706. Let x = -99 - t. Let a = 75 - x. Is a prime?
False
Suppose 2 = t - 2. Let y(c) = 4*c - 5. Let g be y(t). Suppose -4*a - 5 = g, 0 = -4*d - 3*a + 304. Is d composite?
False
Let f be 6*-3*(-3)/9. Let d = f - 4. Suppose 0 = d*z - 7*z + 445. Is z a composite number?
False
Let w = 54 + -23. Is w composite?
False
Let k = 904 - 569. Is k composite?
True
Suppose -156 - 378 = -2*l. Is l prime?
False
Let f(n) = -n**3 - 4*n**2 - 8*n - 1. Is f(-4) prime?
True
Suppose 3*w = 15, 616 = 3*n + 3*w - 3869. Suppose 3*o + 544 = m, 4*m + o - 673 = n. Is m prime?
True
Suppose 3*b = -3*v + 78, -v - 21 = -2*v + 4*b. Let u = 21 + v. Is u a prime number?
False
Suppose 0 = 4*y - 5*y + 9. Suppose y*l + s = 4*l - 4, 0 = 5*s - 5. Let f(g) = -12*g**3 + g**2 - g - 1. Is f(l) prime?
True
Is (638/4)/((-11)/(-22)) prime?
False
Let i(d) = -45*d + 7. Let v be i(-6). Let w = v - 158. Let q = w + -84. Is q a prime number?
False
Suppose -6*l + 2*l = -3972. Is l prime?
False
Let a = -4 - -2. Is 0/a*1 - -35 a prime number?
False
Let j(g) be the second derivative of g**4/12 - 2*g**3/3 + g. Is j(-3) composite?
True
Let i = 68 + -28. Is 1051/5 + 32/i a prime number?
True
Let z(a) = 105*a**2 + 