r composite?
True
Let h(c) = 488*c - 4. Let p be h(8). Let z = 6337 - p. Is z prime?
True
Let z(n) = n**2 + 10*n + 12. Let r be z(-9). Suppose 3*o + 3458 = r*q - 2*o, -3*q = 3*o - 3450. Is q a prime number?
True
Let w = -2136 + 3905. Is w composite?
True
Let b(k) = -k**3 + 7*k**2. Let l be b(6). Let w = 295 + l. Is w a composite number?
False
Suppose -5*y = -43 - 7. Let d(c) = 2*c**3 - 6*c - 1. Is d(y) composite?
True
Suppose 2*r + 0*r = 6304. Suppose 0 = -5*s - 2*m + m + r, s = -4*m + 619. Is s composite?
False
Let s be (-11)/((-33)/(-6)) - -5*2. Is ((-82)/s)/(11/(-1012)) composite?
True
Suppose -9*h = -3674 - 367. Is h prime?
True
Suppose -65 = -3*h + 394. Let g = h + 112. Suppose 4*z - 2*r = 316, 4*z - 4*r - 51 = g. Is z a composite number?
False
Suppose -5*j + 0*j + 17 = k, -3*k - 17 = -2*j. Suppose j*s = 4286 + 6. Is s composite?
True
Let o(k) = -k**2. Let s be o(2). Let u be -70*(s + 3 - 0). Suppose -2*b = -0 - u. Is b a composite number?
True
Let n(r) = 5*r**2 - 37*r - 485. Is n(-49) a prime number?
False
Let i be (-24)/(-15)*(-10)/(-4). Suppose 0 = -3*c + 2*q + 9, i*c - 3*c + 14 = -5*q. Is -3 - -41 - 0 - c a prime number?
True
Suppose -3*u - 9 = 0, -19903 = -3*c + 2*u + 14486. Suppose 3*k - 3*q = -0*q + 6882, 5*k = 2*q + c. Is k a prime number?
False
Suppose -2*t - 3*j - j = 724, -2*t + 2*j - 712 = 0. Let b = 677 + t. Is b a prime number?
False
Let t(v) = 13*v**2 + 1. Suppose -6 = -5*z - 0*a - a, -2*z + 4*a - 2 = 0. Let g(l) = -3*l + 1. Let o be g(z). Is t(o) prime?
True
Let b(i) = -8 - 6 + 3*i**2 + 7*i - 2*i**2 - 18*i. Let d be b(12). Is (6/(-9))/d*249 a prime number?
True
Is (-97)/((-3)/((-6)/(-2))) a composite number?
False
Let y be 9/(-2)*(-6)/9. Let s(i) = -y*i - 1 + 4*i + 17*i**2 + 0 + 8. Is s(-5) a composite number?
True
Suppose -15 = 5*o + 5*d, -3*o = -d + 2*d + 1. Suppose -5*k = 4*b - 277, -b + 2 + o = 0. Is k a prime number?
True
Let b(h) = -h**3 - 4*h**2 - 1. Suppose -i - 3*j - 9 = 0, 3*i - i + 4*j + 20 = 0. Is b(i) composite?
False
Let m be 19/2*-2*-1. Suppose 7 = -m*j + 20*j. Let q(r) = 117*r + 2. Is q(j) a prime number?
True
Suppose -41887 - 15183 = -10*y. Is y a prime number?
False
Let n(k) = -2*k - 5. Let a be n(-4). Let r be 2/a - (-491)/(-3). Is (-8)/(-20) + r/(-5) a prime number?
False
Suppose -3*v - 2*v = -25. Suppose -3 - 12 = -v*q. Suppose -3*h + 978 = q*h. Is h composite?
False
Suppose 13*a = 18*a - 2370. Suppose -18*l = -15*l - a. Is l prime?
False
Let n(r) = 2*r + 39. Let q be n(-16). Suppose -2123 = -q*w + 4030. Is w a prime number?
False
Let c(w) = -6 + 0 + w + 5 - 1. Let v be c(5). Suppose v*p - 12 = -p, -q = 5*p - 37. Is q a prime number?
False
Let n(x) = x + 6. Let v be n(-3). Let o(u) = 4 + v*u + 10*u**2 - u**3 + 5*u + 6*u**2 - 6*u**2. Is o(9) a prime number?
True
Suppose -31*x + 27*x = -a - 122528, -x = -a - 30635. Is x composite?
False
Suppose 22 = -5*q + 42. Let c(l) = l + 1. Let p be c(-1). Suppose p = -q*y - n + 133, -5*y = -n + 45 - 209. Is y composite?
True
Suppose 3*x - 6*t - 5038 = -t, 2*t - 2 = 0. Is x prime?
False
Suppose 5*p = -2*r + 88212, 2*r + 3*r + 4*p - 220513 = 0. Is r composite?
False
Suppose -4459 = -5*v - s, 0*v - 2*v + 1790 = 2*s. Is v/4 + 3/12 a composite number?
False
Let a(p) = -57*p - 18. Suppose -4*f - 35 = f. Is a(f) prime?
False
Suppose j - 2*h = 7, j - 2*j + 5*h + 13 = 0. Suppose -j*d + 42 = -2*d. Suppose -7 - d = -g. Is g a prime number?
False
Is -2 + 3 + (-112 - -63632) a composite number?
False
Let c(k) = -6*k**3 - 36*k**2 + 28*k - 11. Is c(-12) a prime number?
False
Let f = -2 - -45. Let j = f - 14. Suppose -v + j = -4. Is v prime?
False
Is -1*2/((-6)/53709) composite?
False
Is ((514778/(-44))/(1/(-2)))/1 a prime number?
True
Suppose 2*l - u = -l + 68, 22 = 2*l + 4*u. Let j(g) = -g + 44. Is j(l) prime?
True
Let r be (-5)/15 + (-10)/(-3). Suppose r*j - 1408 = 2033. Is j composite?
True
Is 93112/5 + (-45)/(-75) prime?
False
Let p be 3 + 0/(3 - 6). Suppose p*d - 5*q = 5*d - 887, 4*d = q + 1719. Is d a composite number?
False
Suppose 8*d - 3036 = 1324. Suppose -3*v + 8*v = d. Is v composite?
False
Let f be (13 + -8)*(-24)/(-10). Suppose 5*a - f - 13 = 0. Suppose -a*b = 4*l - 15 - 750, -535 = -3*l + 4*b. Is l composite?
True
Let i(b) = b - 3. Let d(g) = -g + 3. Let a(u) = 3*d(u) + 2*i(u). Let w be a(6). Is (2 - -1)/w*-329 a prime number?
False
Let m = -90 - -84. Let r(t) = 68*t - 11. Let q(n) = 45*n - 7. Let y(b) = -8*q(b) + 5*r(b). Is y(m) a composite number?
True
Let s(i) be the first derivative of 6 - 37/2*i**2 + 0*i. Is s(-7) a composite number?
True
Suppose -3*w + w + 4*l + 8 = 0, -3*l = 2*w - 22. Suppose -w = -4*r + 3*i, -5*r + 2*i + 10 = -i. Suppose 0 = -c + 5*b - 1, -b + 20 = -r*c + 54. Is c prime?
True
Suppose 3*x - x - 6238 = 4*y, -3*y - 9357 = -3*x. Is x a prime number?
True
Suppose -5*s + 34 = 3*l, 23 = l - s + 5*s. Suppose -5*p - 8 = l*w, -5*p - 2 = -w + 22. Suppose -3*u + 77 = c, w*u + 128 = c + 23. Is c a prime number?
True
Suppose 0 = 9*r - 223034 + 6863. Is r a prime number?
True
Suppose 0 = 21*q - 297694 - 381929. Is q prime?
True
Suppose -464 = -i + 249. Is i prime?
False
Suppose 16*z + 1109 = 17*z. Is z prime?
True
Let f(z) = 41*z**2 + z + 59 - 27 - 25. Is f(3) a prime number?
True
Let s be 63/(-12) + (-2)/(-8) + 2. Is (-669)/((4 + -3)*s) a composite number?
False
Is (23330/15)/((-6)/(-9)) a composite number?
False
Let g(f) = -f**3 - 3*f**2 + 2*f + 6. Let q be g(-3). Suppose q = k + l - 966, 2*k - 5*l - 13 = 1912. Is k a prime number?
False
Let s = 11 + -5. Suppose 2*u + 2*u - 5 = -k, 0 = u + k + 1. Is (9448/24)/(u/s) prime?
True
Let n(z) = -z + 4*z + 0 - 3. Let c be n(2). Suppose -6*i + 1011 = -c*i. Is i a composite number?
False
Is (-10 - -12)/(2/6686) composite?
True
Suppose 0 = -2*l - 5*z + 1318, 1350 = 4*l - 2*l - 3*z. Is l prime?
False
Suppose -6*z + 4*f - 146 = -z, -5*f - 95 = 3*z. Suppose -5*j - 305 = q + 140, 2*j = q - 171. Let w = z - j. Is w prime?
False
Suppose -11*u = -10*u - 5*l - 19349, 2*u - 38698 = -3*l. Is u a prime number?
False
Let b be -2*(2/(-10) - (-312)/(-65)). Is ((-12)/b)/(26/(-18005)) a prime number?
False
Is (-581196)/(-63) + 25/15 prime?
True
Let o be 0/(2 + 0)*1. Suppose -2*c = 3*b - 4 - 3, 3*c + b - 7 = o. Is c + 261 - (-10 - -6) a prime number?
False
Is (-3*(-2)/(-6))/((-2)/886) a prime number?
True
Let b be -2*(-4 + 2)/((-8)/(-15068)). Is (-4)/6 + 3*b/18 composite?
True
Suppose 0 = j + 4*j - 12895. Is j a composite number?
False
Suppose -3*x = -4*x + m - 2300, 2*x - 3*m + 4598 = 0. Let k = x + 3253. Is k a prime number?
False
Suppose -4 = o - 3*o. Suppose 3*l + 355 = -5*r + 7437, 0 = o*r - 2. Is l prime?
False
Suppose 0 = -4*n + 2*p + 26026, -4*n + 25405 = 4*p - 615. Suppose -t - t - 6494 = -2*v, 2*v + t = n. Is v prime?
True
Let p(o) = -o**3 - 9*o**2 + o + 9. Let z be p(-9). Let x(f) = -2*f + 2. Let l be x(z). Suppose l*a = -a + 267. Is a prime?
True
Let b be 20/(-70) - (-6540)/7. Suppose r - b = -q, -4*q + 6*q - 5*r - 1833 = 0. Is q prime?
True
Let i = 3430 + 2943. Is i composite?
False
Let c = -81 - -113. Let s = 51 - c. Is s composite?
False
Suppose -130*q = -136*q + 894. Is q a composite number?
False
Let i(b) = 678*b - 947. Is i(66) prime?
True
Suppose -7709 = -5*g - 3*q, 2*q + 8 = -2*q. Is g prime?
True
Let n(y) = 61*y. Let a be n(-6). Let w = -19 - a. Is w a prime number?
True
Let i = 660 - -627. Suppose -4*m = t - 1131, -2*m - i = -4*t + 3273. Is t a composite number?
True
Suppose -4*m + 3671 = f, -3*f = 5*m - 4*m - 11046. Is f prime?
False
Suppose -x + 8951 = 4*f - 3054, 3*f - 12 = 0. Is x composite?
True
Suppose 61*z + 12624 = 149569. Is z a composite number?
True
Let d = -58 - -185. Is d a composite number?
False
Suppose u = 3*u. Suppose 8 = -2*h - 3*v, -4*h + u*h + 4*v - 16 = 0. Is 2 - (-16)/h - -507 composite?
True
Let k = 792 + -301. Is k a prime number?
True
Suppose 4*p - 12 = -28, 5*g - 5317 = -2*p. Suppose -264 + g = 3*t. Let h = 506 - t. Is h a prime number?
True
Let v(h) = 132*h**2 - 101*h + 17. Is v(12) composite?
True
Let v(x) = x**3 + 12*x**2 - 13*x + 17. Let l be v(-13). Let u = l - 18. Let q(c) = -36*c - 1. Is q(u) a prime number?
False
Let n(y) = y**3 - 10*y**2 + 15*y + 7. Let d(o) be the first derivative of -o**3/3 - 11*o**2/2 - 7*o - 11. Let q be d(-9). Is n(q) a composite number?
False
Let n