+ 8*i + r. Is i prime?
False
Is 4*8/(-80) - 616235/(-25) composite?
True
Suppose 4*l = 4*u + 6684, -l - 6724 = -5*l - 4*u. Is 1 + ((-15)/(-10))/(3/l) prime?
True
Let m = -1008 + 638. Let c = m - -1379. Is c a prime number?
True
Let o(s) = 4*s**2 - 9*s - 17. Let d be o(9). Suppose 119 = 3*v - d. Is v composite?
True
Suppose 157 = 5*k - 538. Is -1 + (k + -9)/((-1)/(-8)) composite?
False
Let o = -3529 - -5602. Is o prime?
False
Let w(r) = -r**2 + 2*r - 4. Let l = -5 - -7. Let o be w(l). Let d(n) = -26*n - 10. Is d(o) prime?
False
Let i(z) = -2*z. Let s be i(-1). Suppose -d + 405 = -4*o, -2*o = -d - 2*d + 1265. Suppose j = 2*a - d, s*j = a + 142 - 347. Is a prime?
False
Let a(d) = 46*d**2 + 7*d + 16. Is a(5) prime?
True
Let n(f) = -f**3 - 3*f**2 - 3*f. Let d be n(-2). Suppose m + 2*a - 10 = d, 3*a - 45 = -3*m. Suppose -120 = -2*x + m. Is x a prime number?
False
Suppose -6*x + 37*x - 542903 = 0. Is x composite?
True
Let p(z) = -12*z**3 - 5*z**2 + 8*z + 2. Let l(f) = 2*f + 1. Let c be l(-3). Let w be p(c). Let m = w - 838. Is m a prime number?
True
Suppose 2*k = 4*k + 3*h - 7592, -h - 2 = 0. Let b = 6646 + k. Is b a prime number?
False
Suppose -8 = t - 378. Suppose -3*o + y + 9 = -4, 5*o - 35 = -y. Suppose -4*i = -o*i + t. Is i prime?
False
Let x(k) = -k**2 - 5*k - 2. Let f be x(-4). Let v(u) = 8*u**3 + 2*u**2 - u + 1. Is v(f) prime?
True
Let c(a) = -521*a - 29. Is c(-6) a composite number?
True
Suppose -5*n = -4*n, -4*q + 2388 = -2*n. Is q prime?
False
Is -12 + 8 + 1/(1/11075) a composite number?
False
Let n(c) = 4*c**2 - 14*c - 50. Let p = -53 + 41. Is n(p) composite?
True
Let t(r) = 158*r + 19. Let d(c) = -c**3 + 4*c**2 + 2*c - 2. Let y be d(4). Is t(y) prime?
True
Suppose -u - 1812 = -h, 3*h - 705 = 5*u + 4741. Is h composite?
True
Suppose 3*u = -3*g + 185724, 5*u + 32121 = 2*g - 91730. Is g a composite number?
True
Let m be -2 + 4 - (-2 + 2 + -1). Let o(h) = 42*h + 23. Is o(m) composite?
False
Let m be (3/2)/(3/(-16)). Let r be 3 + 2/(m/(-4)). Is r/2 - (-318)/6 composite?
True
Let k = -4 + 1. Let a be 2 - (4*k)/4. Suppose -a*v + 1501 = -t - 0*t, -2*v + 614 = 3*t. Is v a composite number?
True
Suppose -21*p - 15796 = -135937. Is p a prime number?
False
Let u(z) = 2*z**3 - 17*z**2 + 10*z - 1. Let m be u(7). Is (m/8)/((-60)/160) a prime number?
False
Let y(k) = -27*k**2 - 4*k + 17. Let g be y(7). Let m = g + 2403. Is m prime?
True
Let z(i) = -i**2 + 11*i + 85. Let n be z(16). Let x(k) = -k**3 + 3*k**2 - k - 2. Let j be x(2). Suppose 3*t + n - 17 = j. Is t composite?
True
Let b(i) be the first derivative of -93*i**2/2 + 14*i - 10. Is b(-5) a composite number?
False
Let w = 869 - -218. Is w a composite number?
False
Let q(y) = -y + 8. Let i be q(6). Let k = i - 0. Suppose 5*n = 3*x + 338, 2*n + k*x - 74 = 58. Is n composite?
False
Suppose -2*i = -5*i + 2949. Let n(h) = -h**3 - 13*h**2 + 66*h - 30. Let p be n(-17). Suppose 5*k = -p*b + i, -b = -k + 195 + 7. Is k composite?
False
Suppose -15*y + 77705 = -1750. Is y prime?
True
Let g = 45 - 40. Suppose -k + g*x + 97 = -1, 2*k - 4*x - 202 = 0. Is k a composite number?
False
Suppose -n - 5*n - 24 = 0. Is 62*n*(-3)/24 a composite number?
False
Suppose -15*a = -16*a. Let l = 21 - a. Is l a composite number?
True
Suppose 3*y - 6 = 6. Suppose 0*v - y*v = 32. Is ((-1042)/v)/(1/4) prime?
True
Let s(f) = f**3 - 7*f**2 + 6*f + 3. Let x be s(6). Suppose -g - x*g + 8 = 0. Suppose -g*c + 450 + 682 = 0. Is c prime?
False
Let i be (0 + (5 - 4))*2. Suppose c + 4*q = 1154, 4*c + 3*q - i*q = 4691. Is c a composite number?
True
Suppose 4*r - 14 = 2*a, -2*a = -r - 7*a + 20. Is 1/2*(39880/4)/r prime?
True
Is 211/((-39)/(-19) + -2) composite?
True
Suppose 5*d + 126 = -2*a, -a - 4*d - 315 = 4*a. Is (4 - (-390)/(-9))/(6/a) a composite number?
True
Let b = -13693 + 19250. Is b a composite number?
False
Let k be 4/((-8)/(-866)) - 1. Let s = -308 + k. Suppose -37 = -o + s. Is o a prime number?
False
Suppose -5*m + 473 - 68 = 0. Suppose -5*x + 412 = -2*c, x + c + 0*c = m. Suppose 0 = 3*b + 5*h - 1067, -4*h - 1885 + x = -5*b. Is b a prime number?
True
Let c(i) = -i**3 - 22*i**2 + 25*i + 46. Let r be c(-23). Suppose r = -3*p - 0*t + 2*t + 7387, 0 = 5*p + t - 12290. Is p a composite number?
False
Let x(b) = -b**2 + 10*b - 7. Let a be x(9). Suppose a*w = 13 + 3. Suppose 12*q = w*q + 748. Is q composite?
True
Let z be (-905 - -1)*(-4)/4. Is (-1*1)/((-8)/z) a composite number?
False
Suppose -1204 = -4*t + 2*t. Suppose -5*d = -0*d + 2*o - t, 2*o = -2*d + 236. Suppose 16 = -2*l + d. Is l prime?
True
Let f(k) = -2*k + 3 - 4*k + 4 - 2*k. Let n be (-8)/(-4) - 2 - 9. Is f(n) a composite number?
False
Let f(v) = v**2 + 3*v - 26. Let q be f(-8). Suppose 9*b = q*b - 2225. Is b prime?
False
Let l(a) = 22*a**3 + 2*a**2 - a - 1. Suppose -5*q - 12 = -9*q. Suppose 0 = -k + 5 - q. Is l(k) a composite number?
False
Let d(f) = -1. Let b(y) = 3*y. Let q(k) = b(k) - 2*d(k). Let u be q(1). Suppose -4*i = -u*g + 1095, 3*i - 15 = -0*i. Is g a prime number?
True
Let i(v) = -2898*v + 43. Is i(-2) prime?
True
Is 10831/((-2)/(-9) - (-133)/171) a prime number?
True
Let q = 269 + 198. Suppose 2*n - 207 - q = 0. Is n composite?
False
Let o = -2 - -5. Suppose 2717 - 392 = o*w. Suppose 3*t = -2*t + w. Is t prime?
False
Let w be 1/(5/(-10))*-1. Suppose 0 = 6*z - w*z. Suppose 2*o - 189 - 165 = z. Is o composite?
True
Let f = 15581 + -6834. Is f a prime number?
True
Suppose -4*y - 3*g - 83 = 0, -y - 2*g - 17 = 5. Let o = 28 + y. Suppose -5*a + 7 = 4*k - o, -4*k = 0. Is a composite?
False
Suppose -4*n - 230 = -38. Suppose -7*a - 250 = -1349. Let f = n + a. Is f prime?
True
Let a = -149 + 444. Let d be a*(12/(-20) + 1). Is d - 6/(3 - 1) a composite number?
True
Let n = 94 - 90. Suppose -l - 3639 = -n*l. Is l prime?
True
Suppose 0*v = -2*v - 48. Let x be (16/v)/(2/(-6)). Suppose -645 = -5*n + 5*s, -s + 6*s = x*n - 264. Is n composite?
False
Let t(v) = 2*v**3 + 2*v**2 + 6*v - 8. Let b be t(5). Suppose 6*g = 8*g - b. Is g prime?
False
Let a(i) = -23*i**3 + 4*i - 2. Let y be a(3). Let o = y - -1104. Is o prime?
False
Let a(t) = 54*t**2 - 32*t - 1. Is a(21) a composite number?
True
Suppose 1056231 = 66*x - 998943. Is x composite?
False
Let y be 3 - 4 - 2/(-2). Suppose y = 2*a + a - 12. Suppose -3*f + 4*f - 213 = -5*q, a*q - 1107 = -5*f. Is f a composite number?
False
Let h(y) = -10 + 47*y - 16*y + 15*y + 15*y. Let m be h(8). Suppose 5*j = 1257 + m. Is j prime?
True
Let o = -74 - -82. Suppose 2*a + 2*j - 4098 = 0, -o*j + 6145 = 3*a - 6*j. Is a a prime number?
False
Let g = -1413 + 4421. Suppose g = 4*o - z - z, 2*o - 5*z - 1496 = 0. Is o composite?
True
Let r(b) = -248*b**2 + 6*b - 4. Let o be r(3). Let k = -1080 - o. Is k composite?
True
Let o(h) = -177*h + 191. Is o(-18) composite?
True
Suppose b = -c + 626, 3*b + 1890 = 6*b - 3*c. Suppose 0 = 8*q - 12*q + b. Is q a prime number?
True
Let w be 3/(-6)*4*5/(-2). Suppose -w*g = 5*i - 8*i + 2055, 685 = i + g. Is i prime?
False
Let t(l) = 195*l**2 - 18*l - 10. Is t(-5) a composite number?
True
Let b(t) be the second derivative of t**5/20 + 11*t**4/12 - 4*t**3/3 + 3*t**2/2 - 15*t. Is b(-10) prime?
False
Let u = -9188 + 26557. Is u a prime number?
False
Let k(m) = -m**3 - 26*m**2 - 21*m - 27. Is k(-26) a composite number?
True
Let t be 1*-4*6/(-4). Suppose m + 5*y = 20, -4*y + 16 = -2*m - 2*m. Suppose -t*c = -m*c - 78. Is c a composite number?
False
Suppose -29*v + 34*v - 5045 = 0. Is v composite?
False
Suppose 3*d + 0*d - 11 = i, -2*d = -5*i + 10. Suppose q + 4*l + d + 2 = 0, 5*l + 17 = -4*q. Is 2 - q - 3 - -77 composite?
False
Is 2*1 - 13/((-208)/158992) a prime number?
False
Let w(t) = t**2 - 4*t - 1. Let o be w(5). Suppose -6 = -z - 2, 5*j - o*z = -141. Is (j/(-3))/((-3)/(-9)) a prime number?
False
Suppose -20 = 5*p, 0*l + l + 4 = 4*p. Is (l/(-12))/(1/1077) prime?
False
Suppose 30*n - 740553 = -141723. Is n a prime number?
True
Suppose 2126 = 2*m + 4*q, 1167 = m + 4*q + 110. Is m a prime number?
True
Suppose -3*h = j, 0*h = 2*h + 5*j. Is (127 + h/1)/1 composite?
False
Is 20*(239 - 3) - (-2 - -1) a prime number?
True
Suppose 0 = 3*s - h - 55, -2*s - h = s - 65. Suppose -4 = -3*q + s. Suppose 125 = -3*f + q*f. Is f a prime number?
False
Let f = 19 + -16. Suppose -f*i = 2*i. Is -31*(i - (-3 + 4)) a composite number?
False
Let