prime number?
True
Suppose -169 - 151 = -2*z + 3*v, 3*z + 4*v = 514. Suppose c - z = -0*c - p, 0 = -4*p + 12. Is c a composite number?
False
Let k = 830 + -445. Suppose -4*d + 715 = 5*r, -2*d + k - 35 = 4*r. Is d a prime number?
False
Let n be 152/(4/(-3) - -2). Let x(c) = -c**3 + 9*c**2 - c + 13. Let z be x(9). Suppose z*r + 0*d - 3*d = n, 3*d = 5*r - 285. Is r a prime number?
False
Suppose -18*o + 720970 + 751736 = 0. Is o composite?
False
Suppose 4*w - 5677 - 11767 = 0. Suppose -3*d + 12841 + 274 = -z, w = d - 3*z. Is d prime?
True
Suppose -10*k + 39*k - 47879 = 0. Is k a composite number?
True
Let c be (30/(-4) - 0)*(-8)/12. Suppose 1090 = -2*w + 7*w. Suppose 2*k - w = c*g - 2721, 0 = -g - 3*k + 487. Is g composite?
False
Let d = -2508 + 12431. Is d prime?
True
Suppose x - 2 = 0, 0*r - r = -5*x - 24. Is 92782/r - 54/(-459) a composite number?
False
Suppose -3*y = -6*y. Suppose 3*z + y*z - 3750 = 0. Suppose -3*j - 491 = -2*m, -z = -5*m + 4*j - j. Is m a prime number?
False
Let d = 151 - 552. Let a = d - -634. Is a a composite number?
False
Let h = 19 + -10. Let j(o) = o**3 - 11*o**2 + 4*o + 8. Let p be j(h). Let t = p - -237. Is t prime?
False
Suppose -15 = 8*r - 47. Suppose 3*y = -3*f + 4137, r*y = -2*f + y + 2758. Is f prime?
False
Let l = 4292 + -3045. Let k = l - 504. Is k a prime number?
True
Suppose 3*b - 4*a = 43, -2*b + 27 = -2*a + a. Suppose -3*w = -j - 0*j + 34, 4*j - 94 = -2*w. Suppose 2*t - j = b. Is t a composite number?
False
Suppose 6*d = 8*d. Let h = -8 + d. Is (-174)/h*72/27 a prime number?
False
Suppose 3*p + 0 = 6. Let q be p/3 - (-2306)/6. Suppose a = -3*t + 2*a + 576, -2*t + a + q = 0. Is t composite?
False
Let c be (-2 + 0)*(-22 + 15). Let h be 42/c*149*-1. Is (-1 + (-4)/(-6))*h a composite number?
False
Suppose u - 5*k - 7047 = 0, -17 = -4*k - 1. Is u a composite number?
True
Suppose 2*q - 1051 = 5*b, 0*b = q + 5*b - 563. Is q a composite number?
True
Let s = 18362 - 11786. Is (4/2)/(32/s) a composite number?
True
Suppose 2*p + 3*d + 0*d + 2927 = 0, -4*d = 4. Is 30/(-10) - (p + 0) composite?
False
Let a(h) = 384*h**2 - 9*h + 32. Is a(5) prime?
True
Let y be 3 + (-2430 - (-5 + 1 + 0)). Let l = y - -5974. Is l a prime number?
False
Let s = -6296 - -10893. Is s composite?
False
Let n be (15/(-2))/((-9)/180). Suppose n = v + 4*v. Is (-232)/(-3) + (-10)/v a prime number?
False
Let h(y) = -2*y - 10. Let n be h(-6). Suppose n*o = -o + 2553. Is o a composite number?
True
Suppose -2*a + a + 106 = 0. Let y be 111*(4/(-1) + 11). Suppose -y = -q - a. Is q prime?
False
Suppose 0 = -12*r - 3779 + 248591. Is r a prime number?
False
Let x(y) = 3 - 4 + 55*y**2 + 3 - 4*y. Let u be (4 - 2) + -3 + 16/4. Is x(u) composite?
True
Suppose 3*q + q = 2*x - 1002, -2498 = -5*x + 3*q. Is x a prime number?
True
Let w(z) = z**3 + 12*z**2 + 4*z + 4. Let o(x) = -10*x**2 - 2*x - 1. Let k be o(-1). Is w(k) composite?
False
Suppose 0*v + 4 = 3*v + z, 4*v - 7 = -z. Suppose b - 607 = 4*n, 2*b + 2*n - 1242 = v*n. Is b composite?
True
Let k = 1014 - 531. Suppose -3*h - 3*b + k = 0, h = -2*h - 5*b + 479. Is h a composite number?
False
Let d be (1 - 0) + 1 - -2. Let n be d*(-22)/(-8)*1. Let z = 30 - n. Is z a composite number?
False
Suppose 4*a - 1036 - 2128 = 0. Suppose r - a = 146. Is r composite?
False
Suppose 8 + 1 = 3*j. Suppose 4*r + 3 = -3*l, r + j*l + 0 = -3. Is 184 + (r - 2) - -3 prime?
False
Suppose -16 = -6*a + 8. Suppose -c = 5*z - 130, -a + 13 = -3*z. Is c composite?
True
Is 10/4*(-19884)/(-30) a composite number?
False
Is 10/25*-5 - -3909 composite?
False
Suppose -11*u = -5*u - 6690. Is u prime?
False
Let o(y) = 19*y + 1. Let k = 17 - 15. Let v be o(k). Suppose 2*l - 168 = -5*i, 0 = i - 2*l - 3*l - v. Is i a composite number?
True
Suppose -10150 - 21605 = -15*m. Is m composite?
True
Let a be (-1*-1*45)/((-2)/(-6)). Suppose 25 = -5*j, -j = -5*f + a + 825. Is f composite?
False
Let z = -4676 - -15403. Is z a prime number?
False
Suppose x = 3*x + 4. Let b(a) be the first derivative of -3*a**2 + 2*a - 15. Is b(x) a prime number?
False
Suppose -2350 - 4923 = -3*v - 2*c, 3*c = 5*v - 12147. Is v a prime number?
False
Let v = -850 + 563. Let d = v + 658. Is d composite?
True
Let a be -162*(-2 - 2 - 14/(-3)). Let b = a + 357. Is b a composite number?
True
Is (-4)/(-46) + 746756/92 composite?
False
Is (-72)/(-54)*112956/16 composite?
False
Suppose 20*j - 22*j = -18. Suppose -4*a = -a + j. Let x(y) = -7*y**3 + y**2 + 3*y + 2. Is x(a) composite?
False
Suppose 0 = s + 3*d + 3, -5*d + 2*d - 27 = -3*s. Suppose -77 - s = -p. Is p a prime number?
True
Let u(l) = 16*l**2 + 16*l - 1. Let k be u(5). Suppose -2*a + k = -a. Is a a composite number?
False
Let s(y) = y**2 + 4*y - 7. Let x be s(-6). Suppose -x*z - 28 = 3*c, 11 = -4*z - 9. Is 46 + c*(-2 - -1) composite?
False
Let l be ((-14)/21)/((-2)/42). Suppose r = 3*w + 2*w - 22, -2*w + 3*r + l = 0. Is 1/w - (-3835)/4 a prime number?
False
Suppose -4*f + 63808 = 4*r, -16*r = -12*r - f - 63793. Is r a prime number?
False
Suppose 2*i - 477316 = -4*k - i, -5*k - 3*i = -596645. Is k a composite number?
True
Suppose 0 = -3*d + 4*c - 16, -4*c + 6*c = 5*d + 8. Let b(u) = 6 + 15*u**2 - 4 - 2*u + d + 0. Is b(3) a composite number?
False
Let n = 4 - 10. Let f(u) be the first derivative of 2*u**3 - u**2 - 7*u - 43. Is f(n) composite?
True
Let z be (-28)/42*(-2 + -4). Suppose -5*c + s + 5 = 0, -5*c - 17 = -6*c - 3*s. Is 1/c*424/z composite?
False
Suppose -17*g + 19*g + 4*b - 694 = 0, 0 = g + 3*b - 352. Is g a composite number?
False
Let k(i) = 5*i**3 - 13*i**2 - 33*i + 43. Is k(14) prime?
True
Suppose 21*z - 5499 = 12*z. Is z a composite number?
True
Let s(i) = -454*i + 46. Let j be s(-11). Suppose -4*m + j = 4*n + 1152, -m + n = -982. Is m a composite number?
False
Let g(q) = -33*q**3 + 12*q**2 - 23*q - 9. Is g(-10) a composite number?
False
Suppose 2*v = -450 + 2024. Is v prime?
True
Suppose 0 = 5*y + 1100 - 8685. Suppose 0 = -4*p + y - 289. Is p/4 - 2/(-8) a composite number?
True
Is 3/24 + 62103/8 a composite number?
True
Suppose -5959 = -7*t + 164008. Is t prime?
True
Let n = -44151 - -70928. Is n composite?
False
Suppose -4*o + 5*g = 2*g - 1, 3*g + 9 = 0. Is 5861 + o + (-2 - 0) a prime number?
True
Suppose 65791 = -28*x + 39*x. Is x a prime number?
True
Suppose -d = -5*l + l - 18, 4*l + 3*d = -10. Let q = l + 7. Is q/(-6)*(-38 + 0) prime?
True
Suppose -t - 508 = 3*x - 1624, -5*t = -15. Is x prime?
False
Let g(k) = 5*k**2 + k - 31. Let j(x) = -1. Let c(w) = g(w) - 4*j(w). Is c(13) a composite number?
True
Let a(m) = 2 - 5 - 2 + 339*m + 4. Is a(2) prime?
True
Let h = 1 + -1. Suppose 5293 = 5*l + 3*v, h = -l - 2*l + 3*v + 3195. Is l a composite number?
False
Let f = -17 + 14. Let d be f - (-3 + (-1 - 1)). Suppose -3*c - 3*p + 1933 = c, -4*c = d*p - 1938. Is c prime?
True
Let h(a) = a**2 + 14*a - 26. Let j be h(-11). Is j*(1 - 4/2) a composite number?
False
Suppose 3*u - 3 = 3. Suppose -h - u*h = 0. Suppose 0*t + t - 6 = h. Is t composite?
True
Suppose i + 3*i = -16. Let u be 294*3/(-24)*i. Let k = u + -80. Is k a prime number?
True
Let a(w) = -71*w - 11. Let h be a(4). Let s be -22*1/2*h. Suppose 0 = -4*q - q + s. Is q composite?
True
Suppose 5*l - 10463 = -3*a, -11*a + 7*a = 5*l - 13954. Is a prime?
True
Let q = 2558 - -1863. Is q a prime number?
True
Suppose -2*p - 2*k = -13652, 6*p - p - 2*k - 34109 = 0. Is p prime?
True
Suppose 0 = -6*h + 10*h. Let f(c) = 2 + 120*c - 63*c + h. Is f(11) prime?
False
Let r be 7*2*1/2. Let x(f) = f**2 - 7*f + 4. Let b be x(r). Suppose -b*g - c - 229 = -694, -5*g + c + 570 = 0. Is g a composite number?
True
Suppose 72180 = -39*d + 3230751. Is d prime?
True
Suppose -27*o + 24*o = -9057. Is o a composite number?
False
Suppose -2*w - 1 = 5*z, -5*w - 1 = -7*w - 3*z. Suppose 5*d = -4*j - 320, 3*d = w*j + 2*j + 352. Let m = 786 + j. Is m composite?
False
Suppose 14*u - u - 9815 = 0. Is u a composite number?
True
Let r = -21 + 21. Suppose r = -4*c - u + 1322, c - 3*u = -2*c + 999. Is c composite?
False
Let f be (0 - (1 - 0))*(3 - 10). Suppose -1203 = -4*o - f. Is o a composite number?
True
Suppose 0 = -2*d + d + 3353. Suppose 5*h - 818 = -d. Is (-1)/4*(h - 1) prime?
True
Suppose -4 = -3*h + 20. Suppose 4*s - h = -d, 0 = -s + 3*d - 0*d + 2. Suppose s*x = -x + 471. Is x a prime number?
True
Let r