composite number?
True
Suppose -6*m = -9*m + 2*u - 69, 2*m = u - 45. Let l = -64 - m. Is l/4*(-4)/1 a prime number?
True
Let l(r) = -r**3 + 9*r**2 - 7*r + 5. Let x be l(10). Let w = 250 + x. Is w prime?
False
Let p(i) = 436*i - 21. Is p(5) a prime number?
False
Let g(l) = -l**3 + 6*l**2 + 2*l - 8. Let z be g(6). Let x be (-1)/5 + (-183)/(-15). Is z/(-6) + 476/x composite?
True
Let o(d) = d**3 + 2*d**2 + 3*d - 8. Let n be o(6). Is n/(2 + -2 + 2) a prime number?
True
Let t = 607 + -427. Suppose 0*q - u = -3*q + 184, -3*q + t = -3*u. Is q a composite number?
True
Suppose 5*i = -p + 128, 4*i + 224 = 2*p + 6*i. Suppose 10*t - p = 6*t. Suppose 3*q - 51 = t. Is q a prime number?
False
Let l(x) = 2*x + 3. Let n be l(-3). Let b be n/((2 + -3)/(-6)). Is 122/18 - 4/b prime?
True
Let k(b) = b + 9. Let o be k(-10). Is o/(-1)*(2 - -139) a prime number?
False
Suppose 50 = y - u - 0*u, -4*y + 227 = 5*u. Is y a composite number?
False
Let k(s) = 2*s**2 - 5*s + 23. Is k(24) composite?
True
Let t = -185 - -46. Let f = t - -226. Is f a prime number?
False
Let q(j) = 7*j**2 - 9*j - 1. Is q(-6) composite?
True
Is (32/4)/4 + 189 a composite number?
False
Is (-255)/(-1) + (-2 - -1) a prime number?
False
Let f = 10 - 6. Suppose 0 = 3*x - f*s + 5, -3*x + 7*s - 10 = 2*s. Suppose 6 = -x*i + 31, 0 = t + 2*i - 29. Is t composite?
False
Let g be 1 + (3 - 3 - -248). Suppose 2*f + 3*z = 305, -5*f + g = -3*z - 545. Is f prime?
True
Let j(w) = 366*w + 1. Let k be j(1). Suppose -k = 5*r - 1802. Is r composite?
True
Let b(l) = 40*l + 33. Is b(16) composite?
False
Suppose 0 = 2*m - 3*m. Let j = 37 + m. Is j a composite number?
False
Suppose -b + 11 = -23. Is b + (-3 - -2) + 2 a composite number?
True
Let o(v) = -6*v - v**2 + 17*v + 7 + 2*v. Is o(10) prime?
True
Suppose 0*b - 186 = 2*b - 3*a, -4*b + a - 352 = 0. Let u = 33 - b. Suppose -2*p + 2*s = -p - 33, -5*s - u = -4*p. Is p a prime number?
False
Suppose 4*p - 566 = -6*j + j, 2*j - 282 = -2*p. Is p a composite number?
False
Let q(j) = 4*j**3 + j**2 + j - 1. Let z be q(1). Suppose -z*r - 83 = -6*r. Is r prime?
True
Suppose 338 = 4*s + 42. Suppose 3*q - 5*q + s = 0. Is q a composite number?
False
Let z(m) be the first derivative of 13*m**3/3 + 3*m**2 + m + 1. Is z(-4) a composite number?
True
Is 52/(-4)*(-8 + 3) a composite number?
True
Is -5 + 3/(9/2874) prime?
True
Suppose 0 = -3*z + 3*u + 3414, 3*u = -z - 2*u + 1138. Is z a composite number?
True
Let h(k) = -178*k + 21. Is h(-4) prime?
True
Let w be (-1 + -5)*(-8)/3. Suppose -4*r + b = -18, r + 2*r = 2*b + w. Suppose 0 = r*c + 2*s - 60, -4*c + 6*c - s - 26 = 0. Is c composite?
True
Let t = -4 - -17. Suppose 3*a + 2*k - 4*k = t, k + 11 = 3*a. Is a composite?
False
Let o = 269 + -156. Suppose -o = 5*p - 4548. Is p composite?
False
Let h(r) = 178*r**2 + 1. Is h(-1) a composite number?
False
Let a = 222 - 107. Is a prime?
False
Suppose -3*l - 2*q - 42 + 317 = 0, 5*l + 3*q = 459. Is l prime?
False
Suppose -4*l + 5*a - 17 = 0, 0 = 3*l + 5*a + 18 - 49. Suppose -4*q + l*q = -6. Is q + -2 + 0 + 22 prime?
True
Let f = 65 - -53. Suppose f = -a + 3*a. Is a composite?
False
Suppose 10 = -5*f - 30. Let i be (1*f)/(10/(-25)). Is ((-24)/i)/(2/(-15)) prime?
False
Let b = 19 - 34. Let r = 40 - b. Let j = r + -20. Is j a composite number?
True
Is (-3*(-2)/9)/((-16)/(-85512)) a composite number?
True
Let f be (4/3)/(10/15). Is (-1 - 102/(-3)) + f prime?
False
Let n = -30 + 97. Suppose -3*p + n = 2*r - 2, -2*p - 3*r + 46 = 0. Is p a prime number?
True
Let h(l) = 7*l + 1. Let w be h(-1). Let f be (-254)/(-3) + (-2)/w. Suppose -2*n - 4*t = -46, -3*n = 2*n - 5*t - f. Is n a prime number?
True
Suppose 589 = 2*j + 2*v + 9, 0 = 4*j - 5*v - 1133. Is j a prime number?
False
Let s = 0 + 0. Suppose 4*r + 94 - 390 = s. Is r composite?
True
Let i(l) = 5*l**2 + 3. Is i(2) composite?
False
Let s(m) be the second derivative of m**4/12 + m**3 - m**2 + 6*m. Is s(-8) a prime number?
False
Suppose -4*v = 2*n, 5*n + 0*n = -4*v + 24. Suppose 7*t + 22 = 6*t - 5*p, -p = -t + n. Suppose u + 5*i = -16 + 43, 5*i = -t*u + 121. Is u a prime number?
True
Let t(g) = 2*g - 4. Let v be t(6). Suppose -w + 2*p - 26 = 0, 0 = -3*w + 4*p - p - 72. Is (w/v)/(1/(-8)) a prime number?
False
Let p = 6 - 0. Suppose -5*h - 4*l + 8*l + 7 = 0, -3*h - l + 11 = 0. Suppose x + h*g = 35, 0 = -3*x - p*g + 5*g + 105. Is x composite?
True
Let v(s) = 199 - s + 2*s**2 - s**2 + 0*s**2 - s. Is v(0) a prime number?
True
Let y(u) be the third derivative of u**6/120 + u**5/6 - u**4/3 - 5*u**3/6 - 2*u**2. Is y(-6) composite?
True
Let o be 1 + 4/2 + 2. Suppose 2*g - 2 = -g + 4*d, -4*g + 4 = -5*d. Suppose -26 = o*b - g*b. Is b a prime number?
False
Let f(g) = 418*g - 13. Is f(3) composite?
True
Let f = -1163 - -2262. Is f prime?
False
Suppose -4*j + 8 = -q - 2, 3*j - 3*q = 3. Suppose -5*k = -j*f - 4436, 5*f = -5 + 20. Is k prime?
False
Let s be ((-3)/4)/(3/(-144)). Let h be s/5*(-40)/(-6). Suppose -3*g - 6 = -h. Is g composite?
True
Let w = -3080 + 1505. Is w/(-14) - (-3)/(-2) a prime number?
False
Let d(z) = 189*z**2 - 3*z + 1. Is d(2) prime?
True
Is (-2 - 28/(-16))*-5108 prime?
True
Suppose 90 = 3*g - 81. Is g a prime number?
False
Let k be (67 + 9)/((-2)/(-3)). Suppose k + 347 = l. Let i = l - 312. Is i a composite number?
False
Let t(j) = -j**2 - 6*j + 9. Let z be t(-7). Suppose w = -z*w + 105. Is w a composite number?
True
Let t be (-1)/(-3) + 8/3. Let w be (-2)/1 - 2*-3. Suppose 25 = -t*g + w*g. Is g a prime number?
False
Let x = -18 + 581. Is x a composite number?
False
Let h(q) = -26*q. Let j be h(-4). Let m = -23 + 26. Suppose m*b = 43 + j. Is b a prime number?
False
Let h(o) = o**2 + 10*o + 9. Is h(-14) a composite number?
True
Is ((-53)/(-2))/(3/18) a composite number?
True
Let i(s) = 2*s**3 - 11*s + 5. Is i(4) a composite number?
False
Let x = 28 - 14. Let o be 116/14 - 4/x. Is (246/(-8))/((-2)/o) composite?
True
Suppose -7 - 23 = -2*o. Is o a prime number?
False
Let c(z) = -z**3 - 4*z**2 - 2*z - 4. Is c(-11) composite?
True
Is (-5087)/(-9) + 14/(-63) composite?
True
Let t(y) = y - 2. Let d = 6 + 1. Let c be t(d). Suppose c*s = 3*f + 2*f - 195, -4*s = -3*f + 119. Is f a prime number?
True
Let t = -88 + 55. Is -2*(-2 - t/(-2)) composite?
False
Let x = -93 - -1046. Is x composite?
False
Let p = 408 - -469. Is p a composite number?
False
Let h = 37 + -118. Let s = 292 + h. Is s composite?
False
Let u(j) = 88*j + 29. Is u(6) prime?
True
Is (-2 - (0 - 305)) + 4 composite?
False
Let a = -826 - -1381. Suppose 0*g = 5*g - a. Is g prime?
False
Let n = 840 + -323. Is n a prime number?
False
Suppose 2*n = n + 4. Suppose 0 = -n*u - 228 + 672. Suppose 2*w + w = u. Is w a prime number?
True
Suppose 2*b - 5*z = -3*b + 52160, -b + 3*z = -10442. Is b a prime number?
True
Suppose 0 = 7*t - 2*t + 2*z - 779, 4*z = -4*t + 616. Is t composite?
False
Suppose 2 = 2*q, 2*p + q = -p - 47. Is 633/2*p/(-24) a composite number?
False
Let q = -32 + 131. Suppose -3*t - 2*o + 271 = 0, -t - 3*o = 2*o - q. Is t a prime number?
True
Suppose 2*h = 3*h - 9. Let q = 5 + 1. Is 3/h + 472/q a prime number?
True
Let m(q) = -2 + 23*q + 2 - 7 + 3. Is m(3) prime?
False
Let m(p) = 2*p**3 - 8*p**2 + 6*p - 1. Is m(11) composite?
False
Let r(q) = -q**2 - 4*q + 2. Let u be r(-4). Suppose u*b + 10 - 60 = 0. Is b composite?
True
Let h = -698 - -1115. Is h a prime number?
False
Suppose 980 = -8*w + 3*w. Let b = w - -387. Is b a prime number?
True
Let c = 57 + -34. Suppose 4*d - 5*u = -73, -c = 4*d + 8*u - 3*u. Let b = d + 34. Is b composite?
True
Let o(a) be the third derivative of -a**5/15 - a**4/8 + a**3/3 - 2*a**2. Let x be o(-6). Let c = x + 179. Is c composite?
True
Is (-2)/(-10) + (-1608)/(-10) a prime number?
False
Is ((-382)/4)/((-1)/2) composite?
False
Suppose -t = 7 - 2. Let r(s) = -s**3 - 5*s**2 - 2*s. Is r(t) composite?
True
Let i be (3 + (-7)/2)*0. Suppose i*u = 5*n + 4*u - 391, -3*u + 155 = 2*n. Is n prime?
True
Let y(m) = -298*m - 1. Suppose 2*x + 4*l + 9 = 3*l, -5*x + 4*l = -10. Let h be y(x). Suppose -2*j - 2*j = 0, 5*u - h = 4*j. Is u composite?
True
Let c(m) = -37*m + 4. Let z be c(-4). Let o = z + -97. Is o prime?
False
Suppose -1126 + 3650 = 4*n. Is n composite?
False
Let k(y) = 2*y**2 + 12*y + 5. Let c be k(-9). Is (c/5)/(3/15) a composite number?
False
Let k = 526 - -88. 