ppose -o = m - 75. Is m prime?
True
Let p(b) = 2 + 3*b + 2 - 1 - 2. Let r be p(1). Suppose -r*l + i + i = -50, -13 = -2*l + 5*i. Is l prime?
False
Let l(d) = 117*d - 19. Is l(8) composite?
True
Let f(v) = -2 + 0 - 1 - v. Let t be f(-9). Let w(k) = -k**3 + 6*k**2 + 3*k + 3. Is w(t) prime?
False
Suppose 291 = h - 6*j + j, 3*h - 917 = 4*j. Is h prime?
True
Suppose 3*p + 128 = 3419. Is p composite?
False
Let q = 10 - 20. Let t = 12 - q. Is t composite?
True
Let j be 25/(3 + (-7)/2). Let n = 94 + j. Suppose 5*x = 26 + n. Is x prime?
False
Suppose 0*i + 3*i + 42 = 5*t, -2*t - 4*i + 22 = 0. Let c = -19 + t. Is ((-12)/c)/(10/325) a prime number?
False
Let d = -98 + 241. Is d a composite number?
True
Let o(s) = s**3 + 6*s**2 - 2*s - 7. Let w be o(-6). Suppose -45 = -w*v - 5*g, -64 = -5*v - 4*g - 24. Suppose 3 = -v*f - 1, -2*f = 3*z - 28. Is z prime?
False
Let d be 16/(-8) + 1*188. Suppose 6*k - d = 3*k. Is k a prime number?
False
Let z(t) = -88*t - 41. Is z(-6) composite?
False
Suppose 4*x + 539 = 5*z - 0*x, -5*x = 4*z - 464. Is z composite?
True
Suppose 0 = h - 3*h + 634. Is h a composite number?
False
Suppose 7*i - 4*i - 12 = 0. Is 42*5 - (i + -3) prime?
False
Let m be ((-6)/(-4))/(3/498). Suppose -h + m - 100 = 0. Is h a composite number?
False
Let n(u) = -3*u**3 + 5*u**2 - 12*u - 9. Is n(-5) a prime number?
False
Let u = 4 + -4. Suppose q + 6*w + 8 = w, 4*q + 4*w = u. Suppose 56 = 4*d + q*o + 2*o, 0 = -4*d - 2*o + 58. Is d a prime number?
False
Suppose -4*n + 109 = v, 3*v - 2*n + n - 392 = 0. Is v prime?
False
Suppose 4 + 2 = 2*b, 247 = a - 2*b. Is a prime?
False
Let i(j) = 8*j**2 + 5*j + 37. Is i(-10) prime?
True
Let y be (-181)/3 - (-8)/(-12). Let m = -24 - y. Is m prime?
True
Suppose -2*q = -5*n + 3893 - 1381, 2*n = -2*q + 1002. Is n a composite number?
True
Is 373 + 2 - (-6 + 5 + 5) composite?
True
Suppose 1447 = 5*j + 152. Is j a prime number?
False
Let n(l) be the first derivative of -7*l**2/2 + 6*l + 1. Let d be n(4). Let y = d + 43. Is y a prime number?
False
Suppose -v + 1340 = 2*j - 3*v, -3*v - 2682 = -4*j. Suppose -4*i - 4*p = -j, 3*p = 4*i + p - 684. Suppose 3*h - h = i. Is h a composite number?
True
Let b(o) = o**2 + 5*o + 5. Let p be b(-4). Let h = 1 + p. Suppose l - w = 3*w + 17, -5*w - 49 = -h*l. Is l a prime number?
True
Suppose -6*a = -2*a - 48. Let y = a + 2. Suppose -y = -t - 4. Is t composite?
True
Let c(m) = m - 1. Let i(q) = -6 - 9 + 4*q + 20*q. Let a(f) = 18*c(f) - i(f). Is a(-6) prime?
False
Let g(i) = 70*i - 1. Is g(9) prime?
False
Let b(d) = d + 22. Let t be b(-11). Suppose -3*l = -5*l. Suppose t = -l*m + m. Is m a composite number?
False
Let a = 319 + -79. Let s = 152 - a. Let l = s - -147. Is l composite?
False
Suppose -3*m + 648 = 5*r, -m - 33 = r - 251. Is m prime?
False
Suppose -4*b + 9 = 1. Suppose 10 = -b*n + 2*k, 5*n - 6 = 3*k - 25. Let s(u) = -12*u - 1. Is s(n) a prime number?
True
Let o(b) = -b + 2. Let p(x) = x**3 + 2*x**2 + 3*x + 1. Let r be p(-2). Let i be o(r). Suppose 63 = 2*s - i. Is s a composite number?
True
Suppose 0 = 4*i - i - 9. Let r be -3*2/i + 2. Suppose r = 2*c - 1 - 37. Is c prime?
True
Let x(m) = m**2 - 4*m - 4. Let i be x(3). Let o(b) = -2*b**2 - b**3 - 8 - 2 - 4*b**2 + 4*b. Is o(i) composite?
False
Suppose 4*q - 1396 + 124 = 0. Is (-3)/6 - q/(-4) composite?
False
Let j(g) = g**2 + g + 211. Let v(z) = z**2 + 8*z + 7. Let p be v(-7). Is j(p) prime?
True
Let l(i) = i**2 + 5*i. Let z be l(-3). Let k be (3/2)/(z/152). Let r = -15 - k. Is r a prime number?
True
Let d = 514 + 39. Is d prime?
False
Let y(k) = k**2 + 4*k. Let o be y(-4). Suppose o = 4*n - n - 537. Is n a composite number?
False
Let m(n) be the first derivative of -n**4/4 - 13*n**3/3 + 7*n**2 - n - 1. Is m(-15) composite?
False
Let l(x) = -x**3 + x**2 + 4*x - 2. Let q be l(-6). Let h = -330 + q. Is h/4*(-2)/4 a composite number?
False
Let c(h) = 2*h - 9. Let m be c(6). Suppose s = -m + 2, -i = -5*s - 636. Is i composite?
False
Let z(i) = i**3 + 6*i**2 - i - 3. Let t be z(-6). Suppose 5*n + t*o = 1544, -4*n + 523 = -5*o - 690. Is n a composite number?
False
Suppose 4*o = -0*o + 4796. Is o a prime number?
False
Let c(u) = u + 12. Let i be c(-7). Suppose 0 = 4*d + 3*w - 61 - 52, -i*w - 89 = -4*d. Is d prime?
False
Suppose 4*f - 2173 = 1767. Is f composite?
True
Let q = -7 + 10. Suppose -q*i = -44 - 67. Is i composite?
False
Let z(w) = 24*w - 29. Is z(16) a prime number?
False
Let r(u) = u**3 + 11*u**2 - 2*u - 13. Let i be r(-11). Suppose -44 = -t + i. Is t composite?
False
Suppose y + 2*b - 64 = -0*b, 0 = 3*b - 3. Suppose 3*f = f + y. Is f a composite number?
False
Let w = -138 + 269. Is w prime?
True
Let v(b) = -29*b + 2. Is v(-1) composite?
False
Let s be 1*(228 - 1/1). Suppose 2*a - s = -y, 43 = a + 2*y - 72. Is a prime?
True
Suppose -6 = -4*l - 3*v, 0 = -5*v - 0 + 10. Suppose 3*m - 4*m + 5 = l. Suppose -k + 41 = 5*w, -m*k + 18 = 3*w - 121. Is k prime?
False
Suppose 5*y = -2*g - 25, -2 - 3 = -4*g + y. Suppose 0 = -g*l - 4*l. Suppose 0 = -l*m - 4*m + 332. Is m a composite number?
False
Let l(p) be the second derivative of 8*p**3/3 - 9*p**2/2 + 3*p. Is l(11) a prime number?
True
Let f be (-1014)/(-9) + 2/(-3). Let n = f + -6. Suppose n = -c + 3*c. Is c prime?
True
Let d(a) = 2*a**2 + 557. Is d(0) prime?
True
Suppose -a - 151 = -5*y + 70, 4*a = -2*y - 994. Let c = -119 - a. Is c prime?
True
Let h(t) = 8*t + 1. Let f be h(-6). Let c = 62 - f. Let s = 198 - c. Is s composite?
False
Let s be 7 - -1 - (-12)/(-4). Suppose -4*y + 0*c + 37 = s*c, c - 10 = -y. Is y a prime number?
True
Suppose y - 10 = 4*d, 4*y = y - d + 4. Is (318/12)/(y/44) composite?
True
Let c(t) = t**3 - 15*t**2 + 19*t - 11. Is c(14) prime?
True
Is 0 - -1 - (-25688)/13 composite?
True
Is ((-7958)/(-3))/(((-64)/12)/(-8)) composite?
True
Is 5 - -140 - (1 + -5) prime?
True
Let n(s) = s**3 + 21*s**2 - 7*s - 2. Is n(-7) composite?
False
Suppose -2*p - 2*t + 16 = -0*p, 5*p - 5*t + 10 = 0. Let o be p - (-3)/3*-2. Is 78 + o + -1 + 1 a prime number?
True
Let l = 629 + 1064. Is l a prime number?
True
Let l = 1 + 21. Suppose 4*q - 55 = -5*r + 2*q, -2*r + 5*q + l = 0. Is r a composite number?
False
Let l(b) = 5*b**2 - 2*b. Let x be l(1). Suppose -115 = -5*n + 4*t, x*t - 17 - 25 = -3*n. Is n composite?
False
Let z be (-15)/(-4) - (-5)/20. Suppose 3*n = -z*m + n + 98, 0 = m - n - 20. Is m a prime number?
True
Is ((-42)/4)/(18/(-156)) a composite number?
True
Suppose -g = -3 - 4. Suppose 0 = g*i - 2*i - 1285. Is i a prime number?
True
Let n(z) = -z**3 + 5*z**2 - 1. Let l be n(5). Let u(p) = p**2 - p + 1. Let s(w) = -10*w**2 + 6*w - 5. Let t(b) = -s(b) - 6*u(b). Is t(l) a composite number?
False
Let g(n) = n**2 - 2*n. Let j be g(3). Suppose 0 = 5*a - 4*s - 821, 4*s = j*s - 4. Is a composite?
True
Suppose -3060 - 224 = -4*c. Is c a composite number?
False
Suppose f - 111 = -2*f. Is f a prime number?
True
Let u be 11/9 - (-8)/(-36). Let q be 1 - (0 + u) - 3. Is -3*-1*(-37)/q composite?
False
Let z = -1 + 6. Suppose 6 = y + j, z - 31 = -3*y - 5*j. Suppose 117 - 439 = -y*k. Is k composite?
True
Let g(w) = -w**3 + 6*w**2 - 3*w. Let o be g(5). Suppose -j + 139 = -o. Is j a prime number?
True
Let b(d) = 5*d**2 + 6*d - 6. Let w be -4*-5*1/(-4). Is b(w) a prime number?
True
Let f = -3 + 4. Let p be 4*26/(f + 0). Let g = p + 27. Is g composite?
False
Let l(b) = -2*b**2 - 1. Let q be 3/(3/(-2)) - -1. Let r be l(q). Is 39*(0 + -2 - r) prime?
False
Let x(n) = -5*n + 1 + 250*n**2 + n + 4*n. Is x(1) a prime number?
True
Let a(z) = z + 12. Let l be a(-10). Suppose -m + l*m + 115 = 0. Let r = m - -234. Is r composite?
True
Suppose q - 24 = 5*g, -5*q - g + 54 = -4*g. Suppose -q = -0*r + r. Is 0 + 37 + r/3 prime?
False
Let t(u) = -2*u**3 - 1 - 4*u**3 - 4*u**2 - 3*u + 3*u**3. Let v be 2 + -2 + (2 - 4). Is t(v) composite?
False
Is (-2148)/(-15) + 5/(-25) a prime number?
False
Suppose -124 = -f - 3*f. Let w = 89 - f. Is w prime?
False
Let g(p) = -p**3 + 5*p**2 - 2. Let h be g(5). Let w be (-2)/h + -4 - -6. Suppose w*o - d - 101 = 0, 0*d + 5*d = -2*o + 90. Is o prime?
False
Let p(f) = -f**3 - 5*f**2 - 3*f + 1. Is p(-6) prime?
False
Let f(g) = -2*g + 3. Suppose -4*y + 3*r + 54 - 20 = 0, -31 = -5*y - 2*r. Let h be f(y). Let k = h + 37. Is k a composite number?
True
Let r = 3 + -1. Suppose 3*s = -x + 2*x + 13, 