?
True
Let p = 663 + -660. Let b be (2*8)/(2/3). Is p/b*4*110 a prime number?
False
Is (53653 - -5 - 5)*1 a prime number?
True
Let n(b) = 248*b + 41. Is n(10) composite?
False
Suppose 62*h - 54*h - 464 = 0. Is h composite?
True
Let u = -1176 + 1670. Suppose -136 = 2*r - u. Is r prime?
True
Is (-4 - -3)/(-3)*0 - -27043 composite?
False
Let x be 2/(-4)*1*-272. Let d(a) = a + 6. Let g be d(-2). Suppose 0*w + g*w - x = 0. Is w prime?
False
Suppose 0 = -3*t - 37 + 709. Suppose 161 = 5*w - t. Let j = 80 + w. Is j a prime number?
True
Suppose 3*f + 12 = 4*t - 1, 5*t + 25 = 0. Let x(u) = u**3 + 10*u**2 - 3. Let p be x(f). Is p*2/(-8)*7 prime?
False
Suppose 4*v = -s + 2*s - 19, -2*s - 2*v - 2 = 0. Suppose 0 = -s*r + 3000 - 1077. Is r composite?
False
Let i(j) = 24*j**3 - j**2 + 2*j - 3. Let o be i(2). Let m = o - 122. Let z = m + -12. Is z a composite number?
True
Suppose 0 = 5*i - 4*g - 99647, -6*i + 11*i + 2*g = 99659. Is i composite?
True
Let u = -354 - -1485. Suppose 0*b - u = -3*b. Is b prime?
False
Suppose 0 = -4*r + 5*f + 523, -8*f + 4*f = -r + 139. Is r composite?
False
Let m be (-1)/(8/(-10) + 0 + 1). Is 2 + m + 1 + 915 composite?
True
Let x(t) = -t**2 - t + 2. Let n be x(-2). Suppose -s + 803 - 179 = n. Suppose 3*f - 1880 = h - s, 5*f - 3*h = 2092. Is f composite?
False
Let b(s) = -2*s**3 + s**2 - 2*s + 1. Let a be b(1). Is (276 - a)/2*1 composite?
False
Let v = 8922 + -3433. Is v composite?
True
Let v(r) = 3137*r**3 + 3*r - 3. Is v(1) a prime number?
True
Let z(o) = -11*o**3 - 4*o - 8. Let f(s) = 2*s**2 - 16*s - 7. Let d be f(8). Is z(d) prime?
True
Let t = -24393 + 45242. Suppose t = 5*y + 4*d, -d + 5 = 4*d. Is y a composite number?
True
Suppose -22928 - 15985 = -21*x. Is x prime?
False
Let o = -193 + 1916. Is o composite?
False
Let n(x) = 27*x - 5. Let v(k) = -2*k - 16. Let w be v(-11). Suppose w = -3*i + 24. Is n(i) a prime number?
True
Suppose -5*s + 24 = 3*r, s + 2*r - 18 = -3*r. Suppose -s*x - 3 = 0, 7*f - 2*f = x + 1236. Suppose 5*y = 4*t + 253, -9*y + t = -4*y - f. Is y composite?
True
Is (-4 - (-26)/8) + (-22072)/(-32) a prime number?
False
Is (-4)/10 + 186816/40 + -4 prime?
False
Let c(h) be the third derivative of -29*h**7/5040 - h**6/720 - h**5/60 - 6*h**2. Let p(b) be the third derivative of c(b). Is p(-4) prime?
False
Let v = 2895 + -1246. Is v composite?
True
Suppose 197267 = 4*b + 3*b. Is b composite?
False
Suppose -189289 + 33545 = -32*z. Is z prime?
False
Suppose -2*l + 46 = r + r, -4*l = r - 29. Suppose -b = 27 - r. Is -4 - b - (-21)/1 prime?
True
Let v(g) = 189*g**2 + g. Let d be v(-1). Let o = 266 - d. Suppose -2*j = -104 - o. Is j composite?
True
Let r(i) = i**3 + 12*i**2 + 11*i + 5. Let z be r(-11). Suppose 2*y - z*v - 1531 = -2*y, 3*y = -2*v + 1131. Is y composite?
False
Suppose 3*o - 2 = -4*i, 4*o + 8 = 5*i + 5*o. Suppose 3*t - d - 2540 = -t, -d = -i*t + 1268. Suppose -3*k + f = -792, 701 = 5*k + 4*f - t. Is k a prime number?
False
Let q = 11062 + 2491. Is q prime?
True
Let j be (-14)/3*(-6)/(-4). Let a = j - -13. Suppose -3*d = -5*w - 739, a*d - d = w + 1261. Is d a composite number?
True
Suppose 0 = -84*v + 82*v + 4036. Is v prime?
False
Suppose -3*l = -4*l - g, 5*l - 16 = 3*g. Let c = -6 + 6. Suppose c = -6*s + s - l*i + 1637, 5*i - 967 = -3*s. Is s prime?
False
Let w be -22*(60/8)/(-3). Suppose 0 = -y + 19 - w. Let b = -17 - y. Is b composite?
False
Let x = -4 - -1280. Suppose -84*t + 88*t = x. Is t a prime number?
False
Let u(w) = -2*w**3 - 3*w**2 - w - 3. Let g(q) = q**3 + q**2 + 1. Let t(b) = -5*g(b) - 2*u(b). Let k be t(2). Is -1*(k - (-164)/(-1)) composite?
False
Suppose -2*o + 0 = 2*w - 8, 2*w - 3*o + 2 = 0. Is 5583 - 4*(-2)/(-4)*w composite?
True
Let j = 7732 + -5124. Is j/20 + (-3)/(-5) a prime number?
True
Let a(b) = b**2 - 4*b. Let c be a(5). Suppose 11663 = c*g + 1018. Is g prime?
True
Let o be 75/(-6)*(1 - 143). Suppose 3*p + 6*x - x + 3456 = 0, x - 3456 = 3*p. Let r = o + p. Is r prime?
False
Is 7045/15*(0 - -3) composite?
False
Let r(j) = -2 + 17*j + 3 - 6 - 69*j. Is r(-6) prime?
True
Let f be ((-2)/(-4))/(((-15)/18)/5). Is 6/(-1)*(-3369)/9 + f composite?
False
Suppose 0 = p - 2*l - 3777, -l - 5459 = 4*p - 20576. Is p composite?
False
Is -1*(-1970 - (6 + (-6)/2)) a composite number?
False
Suppose -4*z + x = -2329, 5*z + 6*x = 7*x + 2910. Suppose 0 = o - 4*u - z - 1192, 5*u = -o + 1737. Is o prime?
False
Let k(r) = 13*r**2 - r + 14. Suppose -4*n = -30 + 14. Is k(n) a composite number?
True
Let w(v) = -4*v**3 + 41*v**2 + 13*v + 1. Is w(-12) prime?
False
Suppose 6 = 6*r - 24. Suppose -r*d = -6785 - 23070. Is d prime?
False
Let g(m) = -m**3 + m - 1. Let s be g(-2). Suppose -2*v = 5*y - 2240, 0 = s*v - y + 4*y - 5581. Is v prime?
False
Let v be (-6)/12 - 10/(-4) - -10. Is (-2 - (1960/v + 1))*-3 prime?
True
Is 36/48 + (-3 - 148724/(-16)) prime?
True
Suppose -4*n = -0*n + 8. Let i be 0/(-1 - -1 - n). Suppose 0*m - 8*m + 1704 = i. Is m prime?
False
Let k(g) = 11*g - 11*g**2 - 4 + 2 - 6 + g**3. Is k(11) composite?
False
Let g(i) = -121*i - 7. Let x(q) = -606*q - 36. Let y(c) = -33*g(c) + 6*x(c). Is y(6) composite?
True
Suppose -2*w = 3*w - 10. Suppose w*p - 9 = p. Suppose p*c - 5*c = 764. Is c composite?
False
Is 7323170/(-171)*18/(-4) a prime number?
False
Let z = 12 + 1215. Is z a composite number?
True
Let y be -2*(7 + 0) + 2. Suppose -21 = 6*p + 15. Is (-8914)/y - 1/p prime?
True
Suppose 60*x - 12 = 56*x. Let l(k) = 98*k**3 + k**2 - k + 5. Is l(x) composite?
False
Let g(q) = -q**3 + 21*q**2 + 10*q + 25. Let b = -61 - -75. Is g(b) a composite number?
True
Let j(i) be the third derivative of -5/24*i**4 - i**2 + 1/2*i**3 + 0 + 3/20*i**5 + 0*i. Is j(4) composite?
False
Let y be 3*(2 - 16/6). Let w(v) = 443*v - 4. Let c be w(y). Let t = -511 - c. Is t a prime number?
True
Suppose -47878 = -13*i - 8787. Is i composite?
True
Let z(m) = 221*m + 414. Is z(7) composite?
True
Let b(k) = -22*k - 5. Let h be b(-5). Let c be h*1 + 18/6. Suppose -4*q = -c - 344. Is q composite?
False
Let s = 1036 + -617. Is s prime?
True
Suppose 0 = -22*d + 182885 + 9593. Is d prime?
False
Let d(v) be the first derivative of 29*v**2/2 - 28*v - 20. Is d(9) composite?
False
Suppose 0 = 14*r - 500074 + 32740. Suppose -21*n + 122988 - r = 0. Is n composite?
True
Suppose -6*g + 15 = -3*g. Suppose -3*i + 1891 = g*s + i, 3*i - 1134 = -3*s. Is s a prime number?
True
Let n be -37*(5 - 3/1). Let y = 171 + n. Is y a composite number?
False
Let i(l) = 5*l**2 - 7*l + 11. Let x = -21 + 30. Is i(x) a composite number?
False
Suppose 2*i - 3 = 3*k - 22, -k - 17 = 4*i. Is 4/6 + k + 18096/18 composite?
False
Let q(i) = 1175*i - 8. Let g be q(6). Suppose -6 = -3*o, g = 4*b + 3*o - 0*o. Is b composite?
False
Let t(h) = -h**3 + 7*h**2 + 8*h. Let o be t(8). Suppose 6*s - 7*s - 2 = o. Is (-31)/s*(6 - 4) prime?
True
Let g = 173439 + -100334. Is g a composite number?
True
Suppose -3*l - l + 2*n + 12 = 0, 0 = -l + 4*n - 11. Suppose -3*i + d = 698, l*i + 1163 = -3*d + 5*d. Let g = i + 336. Is g prime?
True
Let n(s) = -6*s**2 - 22*s + 11. Let k(p) = 5*p**2 + 23*p - 10. Let g(w) = 4*k(w) + 3*n(w). Is g(11) a prime number?
True
Let k = 3738 - -4763. Is k a composite number?
False
Let l be (-26)/(-3)*(-3)/(-1). Let f = 34 - l. Let r = f + 179. Is r prime?
False
Let o(a) = -53*a - 1. Suppose 0 = 2*z - 3*d + 25, z + 7 + 6 = 2*d. Let c = z + 7. Is o(c) prime?
True
Let d be 8/(6 + (1 - 5)). Let x(p) = 13*p**2 - 2*p + 3. Is x(d) composite?
True
Let v(r) = 157*r - 24. Let y be v(13). Suppose -y = -3*s - 4*k + 3*k, -3355 = -5*s - 5*k. Is s composite?
False
Let s = 1423 + -350. Is s a prime number?
False
Suppose 0 = -10*o + 5*o + 4*j - 46, 0 = 2*o + j + 8. Let t(s) = -s**3 - 8*s**2 - 7*s + 4. Let f be t(o). Is 712/6*(-39)/f prime?
False
Let a be (2/6)/(3/(-18)). Let d be 0 - a/(-1) - -138. Let u = 359 - d. Is u a composite number?
False
Suppose -3*c - 19 = -64. Suppose c = 5*o - 0*o. Suppose i + o*k - 367 = -98, -1301 = -5*i - 4*k. Is i prime?
True
Let h(x) be the first derivative of -43*x**2/2 - 23*x + 10. Is h(-4) prime?
True
Is 6 + 9*(-1497)/(-3) a composite number?
True
Suppose w + 5*j - 85 = 6*w, 5*j + 29 = -w. Let a = w + 17. Is 516/2 + -3 - a composite?
False
Let h = -10190 + 14701. Is h a composite number?
True
Suppose -14*i - 42 = -17*i. Suppose -o + i*o = 3731