e 5*o + 1846 = 18*o. Is o prime?
False
Let t = 165 - -4. Is t prime?
False
Suppose 0*h - 3*h - z = -23, 4*z - 32 = -2*h. Let p(j) be the second derivative of j**4/12 - 2*j**3/3 - 3*j**2 + j. Is p(h) a composite number?
True
Suppose 4*w - 273 = -i, 0*w - 851 = -3*i - 4*w. Is i prime?
False
Let u be (-112)/2 - 3/3. Let y = u - -216. Is y a composite number?
True
Let h(f) = f**3 + 10*f**2 - 19*f + 11. Is h(-10) a composite number?
True
Suppose 12 = 3*u, 2*h - 5*u + 12 = -0*h. Suppose -5*f - 29 = -174. Suppose 4*i + 5 - f = 2*j, 0 = h*i - j - 24. Is i a composite number?
True
Let m = 0 + 5. Suppose 5*h + 149 = 2*t + t, -5*t + 315 = m*h. Is t a composite number?
True
Let a(b) = 342*b**2 + 2*b - 1. Let s be a(1). Let g = s - 96. Is g a composite number?
True
Suppose -4*o = -13*o + 927. Is o prime?
True
Let f(o) = o + 2*o**2 - 3*o - 2*o + 0*o**2 + 2. Let g be f(2). Suppose -9 + g = -i. Is i prime?
True
Let b(g) = -g**2 + 3. Let x be b(3). Let f(d) be the second derivative of -3*d**3/2 - d**2/2 + d. Is f(x) composite?
False
Let w(r) = -4*r**2 + 2*r + r**3 + 14 - 12*r - 7. Let q = 7 - 1. Is w(q) a prime number?
True
Suppose -82*q + 822 = -80*q. Is q composite?
True
Let k(t) = t**3 - 7*t**2 + 5*t + 6. Let l be k(6). Suppose 0*x - 4*x + 428 = l. Suppose 3*z = -29 + x. Is z prime?
False
Let t = -8 + 22. Is (1 - -200) + t/(-7) prime?
True
Suppose -4*v + 3*u = 9 + 6, 3*v = -2*u + 10. Suppose v = -2*i + 5*i - 603. Suppose -159 = -3*g - 2*z, g - i = -3*g + z. Is g prime?
False
Suppose -13*x + 32939 = -11118. Is x prime?
True
Suppose -3*p = o + 219, 3*o + 375 = -5*p - 286. Let f be (2/(-2))/(6/o). Is ((-1)/(-1))/(1/f) a composite number?
False
Suppose 3*j + 5 = -1, -3*x + 16 = -2*j. Suppose x*t - 5*y + 2 = 0, 5*y - 6 = t + t. Let o = 17 - t. Is o composite?
True
Let r(d) = -d**3 + 9*d**2 - 3*d + 5. Let a be r(7). Suppose 453 = 5*l - 3*z, -z - 100 - a = -2*l. Is l prime?
False
Let x(m) = 110*m**3 + 2*m**2 - 2*m + 1. Suppose 2*l + 3 = 5. Is x(l) a composite number?
True
Let d(u) = 3*u**2 + 4*u - 9. Is d(5) a composite number?
True
Suppose -5*r + r + 584 = -4*g, 0 = 3*r + 3*g - 408. Is r prime?
False
Let d = 52 - 112. Let r = -25 - d. Is r a composite number?
True
Suppose 4*y = y. Suppose y = -2*d + 46. Is d prime?
True
Let g be 3/4 - (-81)/4. Let l be 2/7 - (-1401)/g. Suppose 5*y - l - 118 = 0. Is y a prime number?
True
Let o = -74 - -123. Is o composite?
True
Let y(m) = m**2 - 7*m + 5. Let i be y(7). Suppose 43 - 278 = -i*f. Suppose 5*g = f + 3. Is g composite?
True
Suppose a + 3*s = 5*s + 9, -4*s = 3*a + 23. Let z(g) = 31*g**2 - g - 1. Let b be z(a). Suppose 5*o - 34 = b. Is o composite?
False
Let m(v) = 74*v + 21. Is m(13) a composite number?
False
Suppose 0*t - t + 3 = 0. Let i(o) = 40*o**2 - 8*o - 13. Let v(j) = 10*j**2 - 2*j - 3. Let g(s) = -2*i(s) + 9*v(s). Is g(t) prime?
True
Is 4/(-3)*-2*381/4 a prime number?
False
Let j(i) = -2*i**3 - 3*i**2 + 1. Let c be j(-2). Suppose 4*f - 4 = -0*f, -c*r + 573 = -2*f. Is r prime?
False
Let q(m) = 10 + m**3 + 4*m**2 + 3*m**2 - 6*m - m**2. Let v be q(-7). Suppose -52 + 188 = 3*g + 5*b, v*b - 91 = -2*g. Is g a composite number?
False
Let z(f) be the first derivative of 17*f**6/90 - f**5/60 + f**4/24 - 2*f**3/3 - 2. Let s(k) be the third derivative of z(k). Is s(1) a composite number?
False
Suppose r - 4*r + 1131 = 0. Suppose 0 = g + 5*i - 381, -4*i + 6 + r = g. Is g a prime number?
False
Let a(s) = -s**3 + 6*s**2 + 7. Let k be a(6). Let j be k + -5 - (-1 + 4). Is j/3 - 592/(-12) composite?
True
Let z(d) = -2*d**2 - d + 6. Is z(0) composite?
True
Let z = -5 + 5. Suppose z = 5*v - 32 - 33. Suppose y - v = 3*o, -5*y + 3*y = 2*o - 42. Is y prime?
True
Is (-1019)/((-2 + 3)*-1) composite?
False
Let c(i) = 6*i**2 + 3*i. Let v(h) = h**2 + h - 1 + 1 + 0*h. Let t(k) = c(k) - 2*v(k). Is t(-3) a composite number?
True
Let z(x) = x**3 + 2*x**2 + x + 2. Let a be z(-2). Suppose -t - 20 - 5 = a. Let q = t + 51. Is q a prime number?
False
Is (-123 - (-8)/(-2))*7*-1 composite?
True
Let c(w) = w + 7. Let g be c(-5). Is (-112)/(-5) - g/5 a composite number?
True
Suppose -4*p - 17 = -3*x, -3*x + 1 + 4 = 2*p. Suppose 7*t = 2*t + 5*o + 480, 2*t = -x*o + 182. Is t a prime number?
False
Suppose 2*v + 4*k - 106 = 0, 5*v - 19 - 246 = 2*k. Is v composite?
False
Let j(m) = -m**3 - 7*m**2 - 7*m - 2. Let s be -5*((-9)/5 + 3). Let u be j(s). Suppose -3*h - n + 21 = -38, -h - u*n + 27 = 0. Is h a composite number?
False
Suppose 0 = -0*k + 3*k - 2*r - 19, 3*k - 25 = 5*r. Suppose 0 = j - k*v - 38, 2*j + j + 4*v - 19 = 0. Suppose -y = 4*i - 5, -i + j = 2*y - 11. Is y composite?
False
Let s(c) = 22*c**3 + 4*c**2 + 4*c - 7. Is s(4) composite?
False
Suppose 0*o - 2*o + 1010 = 0. Let t = -348 + o. Is t composite?
False
Let g = -477 + 926. Is g a composite number?
False
Suppose -192*j = -189*j - 2427. Is j composite?
False
Let t(k) = k**3 + 4*k**2 - 3*k + 2. Let o be t(-5). Let x be o/1 - (3 + -3). Is (x/12)/(1/(-3)) a composite number?
False
Let c = 0 + 0. Suppose -2*f + 3*y + 16 = c, f + 5*y + 3 - 11 = 0. Let d(j) = j**3 - 7*j**2 + 2*j + 7. Is d(f) composite?
True
Let g be (-3)/6 + 27/6. Is 447/12 + (-1)/g a prime number?
True
Let u(m) = -m - 1 + 7*m + 2*m - m. Is u(1) a composite number?
True
Let g(p) = -5*p**3 - 9*p**2 - 6*p + 9. Let m(l) = 6*l**3 + 9*l**2 + 6*l - 10. Let q(y) = -7*g(y) - 6*m(y). Is q(9) a prime number?
False
Suppose 3*c - 3*v = 2*v + 6484, -3*c + 6454 = v. Is c a prime number?
True
Suppose 14 = 3*p - 1. Suppose -25 = -5*h, a + h = p + 3. Suppose -2*x + 4*o - 23 = -3*x, 2*x = -a*o + 31. Is x a composite number?
False
Suppose 2*d - 36 = d. Suppose 0 = r + 3*r - d. Is 6/r*477/6 a composite number?
False
Let f = 1026 - 460. Is f a composite number?
True
Suppose 0*i = -4*i + 1668. Is i prime?
False
Let l = -2 - -8. Let b(a) = 4*a - 1. Let h be b(1). Is (l/(-8))/(h/(-84)) a prime number?
False
Let g(m) = 5*m**2 + 8*m + 9. Let r = 6 + -11. Is g(r) a prime number?
False
Let t = 10 + -2. Suppose 4*w + 40 = t*w. Is w a prime number?
False
Suppose 2*n = -4*y + 574, 5*y - 1191 = -4*n - 34. Is n a prime number?
True
Let x be 1 + -1 + (0 - -2). Is (10/15)/(x/447) prime?
True
Let p be (-5)/(-2)*-1*-2. Suppose -4*k = -p*o + 954, -4*o + k + 747 = -25. Is o composite?
True
Let p(m) = 5*m**2 + 3*m + 2. Let u(i) = i**2 + 8*i + 4. Let g be u(-7). Is p(g) a prime number?
False
Let u = 8 + -19. Is (u + 10)/((-2)/38) composite?
False
Is 1/((-13160)/(-4385) - 3) a prime number?
True
Is ((-222)/12)/((-2)/68) a composite number?
True
Let s = -7 - -7. Suppose 2*l + s*l = 220. Suppose 3*o + l = 5*o. Is o composite?
True
Let g = 64 + -33. Is g composite?
False
Let b = -5 + 82. Suppose -4*j + b = -3*j. Is j a composite number?
True
Let u(f) = f**3 + 10*f**2 + 8*f - 12. Let k be u(-9). Let r = 3 - k. Let t = -3 + r. Is t a composite number?
False
Suppose -2*s + 18 = 7*q - 3*q, 5*q - 25 = -3*s. Suppose -5*x = 3*g - 15, 0 = -4*g - x - q*x + 9. Suppose 3*n + 0*n - 30 = g. Is n a composite number?
True
Suppose -c + 12 = 2*c. Suppose -2*x - 2*h - 186 = -c*x, 0 = h + 2. Is x a composite number?
True
Suppose 863 = 5*q - 132. Is q composite?
False
Suppose 5*b + 5*u - 1496 - 2084 = 0, b - 5*u = 734. Is b composite?
False
Suppose 4 = 4*x + 4*f, -2*x + 3 - 4 = 3*f. Suppose -3*q + 3*u = q - 341, -361 = -x*q - u. Let c = q - 36. Is c composite?
False
Is -9*2/(-6) - -264 prime?
False
Let k = -4245 + 6992. Is k prime?
False
Let r(a) = -42*a + 4 - 4 - 2 - 17*a. Is r(-5) a prime number?
True
Let t(i) = -2 - 14*i - 4 - 1. Is t(-6) a prime number?
False
Suppose -2*f + 7*f = 6715. Is f a prime number?
False
Suppose -3*w + 6 = 3*q, 2*q - 5*w + 3 - 28 = 0. Let s = -8 + 12. Is (-30)/s*(-4)/q a prime number?
False
Suppose -x = -4*o, x + 3*o = -4*x + 46. Is (1074/4)/(4/x) a prime number?
False
Suppose 0 = k + k + 74. Let l = k + 72. Is l a prime number?
False
Let l(d) = -d - 5. Let k = 11 + -7. Let f be l(k). Let p(q) = -q**3 - 9*q**2 - q + 1. Is p(f) prime?
False
Let y = -11 - -13. Suppose y*x - 3*x = -649. Is x composite?
True
Is (1*-6)/((-4)/62) prime?
False
Let l = -29 + 18. Let p be ((-4)/(-3))/(3/(-9)). Let w = p - l. Is w a prime number?
True
Suppose 5*w - 25 = 0, 2*k + 2*w = -3*w + 29. Suppose 6*r - k*y = 2*r - 484, -4*r + 5*y = 472. Let f = r + 210. Is f a composite number?
True
