me number?
False
Let m(i) = 39*i**2 - 3*i - 3. Let k be m(-2). Suppose 0 = -2*j + k + 5. Is j prime?
False
Let j(o) = 4*o**2 + 7*o + 5. Is j(6) a composite number?
False
Suppose -5*w - 2*o - 4 + 19 = 0, 3*w - 9 = 5*o. Is 1908/27*w/2 composite?
True
Let h(m) = 2*m + 4. Let g be h(-9). Is g/(-4)*(1 - -1) a composite number?
False
Let j(d) = 67*d**3 + 2*d**2 - d. Let k be j(1). Suppose -3*x - 2 = -k. Is x prime?
False
Suppose o = 4*x - 2*o - 277, 4*x + 4*o = 284. Let b = x - 39. Is b prime?
True
Let r(s) = -35*s - 51. Is r(-19) a prime number?
False
Suppose -4 = -y + 3. Suppose y - 60 = -z. Is z composite?
False
Suppose 7 = -3*u + d - 5, -15 = 4*u - d. Let b be ((-83)/3)/((-1)/u). Let p = b - -118. Is p composite?
True
Let x(w) = -26*w. Let r be x(3). Let q(c) = 2*c**3 + 2*c**2 - 1. Let f be q(3). Let n = f - r. Is n prime?
True
Suppose -3*b - 816 = 5*f + 7, -f - 2 = 0. Let v = -192 - b. Is v a composite number?
False
Suppose -2739 = -2*c + 583. Is c composite?
True
Suppose 5*k + 10 = 0, -4*g + 3*k = 7 + 15. Suppose 5*x + 15 = 0, -w + 3*x = -5 - 3. Let f = w - g. Is f prime?
False
Suppose -5*n = s - 15908, 3*n + 12*s = 7*s + 9558. Is n composite?
False
Suppose 4*x = -0*x + u - 595, 0 = 3*x + 4*u + 470. Let c be (-2)/(-4*(-3)/x). Suppose -c = -h - 4. Is h prime?
False
Let r(z) = -z + 149. Is r(0) composite?
False
Suppose 4*q + 0*q - 156 = -5*v, 0 = 2*v. Is 26/q*213/2 prime?
True
Let m be 42 + -1*(-4)/(-2). Let n = m - 21. Is n prime?
True
Let y be (1 + 1 + -29)*-2. Suppose 3*u - 9 = y. Is u a composite number?
True
Let u(w) = w**3 + 6*w**2 - 7*w + 4. Let f be u(-7). Suppose 5*y - n = 693, 0*n = -f*y - n + 558. Is y composite?
False
Let w(b) = 18*b - 1. Let y(j) = -j**2 + 5*j + 1. Let k(o) = -3*o**2 + 11*o + 1. Let z(v) = -2*k(v) + 5*y(v). Let r be z(-3). Is w(r) a prime number?
True
Let y(b) = b**2 + b + 21. Let m be (1 + -4)/((-6)/4). Suppose -m*w = -w. Is y(w) composite?
True
Let z(h) = -6*h**3 + 4*h**2 - h + 4. Is z(-3) a prime number?
False
Let x(j) be the first derivative of -j**7/840 - j**6/360 + 143*j**4/24 + j**3 - 3. Let h(p) be the third derivative of x(p). Is h(0) a composite number?
True
Let x(n) be the first derivative of n**2/2 + 119*n - 7. Suppose h + 3*h = 0. Is x(h) a prime number?
False
Let i = 100 - 50. Suppose u - 145 = -3*g, u - 48 - i = -2*g. Is g prime?
True
Suppose -237 = -4*j + 503. Is j a prime number?
False
Suppose 4*m + 0*m = -8. Is m - (-71 - 0/(-3)) composite?
True
Suppose q = -5*u + 35, -3*u - 5*q + 31 = -2*u. Let n(f) = f**2 + 5*f - 4. Is n(u) a prime number?
False
Is 1/4 + 1161/12 a composite number?
False
Let n = 247 + 4. Is n a prime number?
True
Let u = -18 + 65. Let q(k) = 2*k + 3. Let j be q(-2). Let z = u + j. Is z composite?
True
Let n(o) = -202*o**2 - 3*o + 2. Let d be n(2). Is d/(-12) - (-4)/(-6) composite?
False
Suppose 0*g + 4364 = 2*g. Is g a composite number?
True
Let i(m) = 7*m**2 - m - 2. Let z be i(-2). Suppose -4*t = -5*b + 347 - z, 0 = 4*b + 2*t - 276. Is b a composite number?
False
Is (-10069)/(-9) - (-4)/18 a composite number?
True
Let c(z) = z**2 + z - 1. Let x be c(-3). Suppose -5*s - 2 = -17, -x*s + 90 = l. Suppose -n = -6*n + l. Is n a composite number?
True
Let h be (-136)/(-2) + 2 - 0. Let d = h + -21. Is d composite?
True
Let j(v) = 55*v**2 - 6*v + 2. Let x be j(-7). Is (-6)/21 + x/7 a composite number?
True
Suppose -4 = -3*j + 2*g + 5, -5*j + 19 = -2*g. Suppose 0*s = -j*s + 5. Suppose 4*k - 11 = s. Is k prime?
True
Let i be (-4)/(-8) - 3090/(-4). Suppose 0 = 4*n - i + 149. Suppose v + 7 = -4*c + n, -5*v + 5 = 0. Is c a composite number?
False
Let y(v) = 3*v**2 + 5*v + 3. Let k be y(-2). Suppose -f + 317 = -k*t, -911 = f - 4*f - 5*t. Is f a prime number?
True
Let j = -1891 + 4500. Is j a prime number?
True
Let f(u) = 25*u**2 - 2*u + 1. Is f(6) composite?
True
Let j(w) = 3*w**2 - w**3 + 2*w**3 + 3*w + 6 + 6*w**2 + 0. Suppose 2*z = -2*k - 18, 2*k = 4*z - 0*k + 30. Is j(z) a prime number?
False
Suppose -2*v + 4 = -2*o, 3*o - 3*v + 14 = 4*o. Suppose o*x + 5 = -j + 62, 3*x = 2*j + 103. Is x prime?
True
Is 120 - (-18)/3 - (-1 - 0) composite?
False
Suppose 3*w = -3*n + 7*w + 9, 5*w = 0. Suppose -1 = n*f + 2. Is (1 + 0)/f - -92 prime?
False
Let r be 3 + 3 - (5 - 1). Suppose -3*n - 2*n = -20, 4*a - r*n = 836. Is a a composite number?
False
Suppose 0*y - 4*y + 5180 = 3*v, -6475 = -5*y + 5*v. Suppose 10*x - y = 5*x. Is x prime?
False
Let o(a) = a**3 + 5*a**2 - 7*a - 3. Let x be o(-6). Suppose x*l - 74 - 85 = 0. Is l a composite number?
False
Suppose -4*b - t + 35 = -0*t, -2*t = -3*b + 18. Suppose -6*q = -b*q + 402. Is q a prime number?
False
Let j(v) = -106*v - 25. Is j(-5) prime?
False
Let q be (-1)/(-3) + 4/6. Suppose -5*v + 5*n = -q - 9, 5*n = -3*v + 14. Suppose 61 + 1 = r + v*w, 4*w + 94 = 2*r. Is r composite?
False
Let s be 1 - (-9)/(36/16). Suppose n - 5*n + 168 = s*y, -57 = -n - 5*y. Is n a prime number?
True
Suppose -3*v + 4*u = 27, 27 = -3*v + 2*u - 5*u. Let p = v - -22. Is p a composite number?
False
Suppose 3*k = 2*z + 1, -k = -6*k - 2*z - 9. Let m be (33/(-9))/(k/(-6)). Let d = m - -111. Is d composite?
False
Let x(k) = k**3 + k**2 + k + 2. Suppose 3*n - 6*n = 0. Let f be x(n). Suppose -f*r - 72 - 3 = -3*v, 3*v = -5*r + 54. Is v composite?
False
Let z = 20 - 15. Suppose 0 = 5*p + 4*t - 353, z*p + 8*t - 5*t - 351 = 0. Is p a prime number?
False
Let f(u) be the second derivative of 16*u**6/15 - u**5/30 + u**3/6 + u**2/2 - 2*u. Let x(l) be the first derivative of f(l). Is x(1) prime?
True
Let v = 626 + -255. Is v a prime number?
False
Let l(n) be the second derivative of n**6/720 + 37*n**5/120 + n**4/6 + 2*n. Let b(q) be the third derivative of l(q). Is b(0) prime?
True
Suppose -g = 5*g - 7242. Is g composite?
True
Suppose -421 - 594 = -5*d. Is d prime?
False
Suppose 0*u - 5*u + 20 = 0, 2*p + 5*u - 636 = 0. Suppose -2*x + 6*x = v + 314, -4*v - p = -4*x. Is x composite?
False
Let l(v) = -134*v + 7. Is l(-3) a prime number?
True
Suppose a + 335 = 4*z - 2*a, 165 = 2*z + a. Let u be 0 + 4 + -3 + -47. Let b = z + u. Is b a composite number?
False
Let k(y) be the second derivative of 11*y**4/12 - y**2/2 + 2*y. Is k(1) prime?
False
Suppose -24*q + 3561 = -21*q. Is q prime?
True
Suppose -442 = -2*k + h, 5*h - 874 = -4*k + 2*h. Suppose k = 3*o + o. Is o a composite number?
True
Suppose 4*r = 5*t - r - 255, -5*t + 261 = -2*r. Is t a prime number?
True
Let y be -3 - (-3 - 0) - -1. Suppose 7 - y = 3*h. Suppose -48 - h = -5*x. Is x a prime number?
False
Let y = -1 - -1. Let n(i) = y*i**2 + 0*i**2 + 3*i - 2*i + i**2 + 5. Is n(5) a composite number?
True
Let c = 550 + 7. Is c prime?
True
Let m be -2 + -1*14/(-2). Let o be m/2 - 3/6. Suppose 4*d = o*d + 190. Is d a composite number?
True
Is 356*(-3 + 52/16) a prime number?
True
Is 58 + -1*4/4 a prime number?
False
Let l be 4/(-6) - (-14)/(-6). Let h(f) = f**3 - 3 - 2*f**2 + 3 + 5*f**2 - 2*f. Is h(l) prime?
False
Let w be (17 - 7)*4/(-10). Let o(j) = -j**3 + 4*j**2 + 1. Is o(w) a composite number?
True
Let s = 4 + -6. Is -1*(s - (2 - -33)) composite?
False
Let b(h) = -h**2 - 9*h + 5. Suppose 0 = 5*j - i + 47, -4*i = 2*j - 3*j - 17. Let f be b(j). Suppose -221 = -3*s + f*l, 3 = s + 3*l - 80. Is s prime?
False
Is ((-1)/2)/(1/(-142)) prime?
True
Suppose m + 5*v - 719 = 0, 2*m - 2254 = -4*v - 816. Is m composite?
False
Let a(d) = -d**2 - 2*d - 4. Let j be a(-3). Let s be (-1 + j)/(4/4). Is (27/(-6))/(6/s) a composite number?
True
Suppose 2*f + d = 0, -f + 0*f + 4*d = 0. Let j(s) = s - 7*s + f*s + 1. Is j(-6) composite?
False
Suppose -8*n + 16 = -4*n. Suppose -n*i = -5*q + 655, 7*q - 3*q - 528 = 4*i. Is q prime?
True
Let d(w) = -7*w**3 - 2*w**2 - 3*w. Let a be d(-2). Suppose a + 37 = p. Is p a prime number?
False
Suppose 5*v - 1809 = 2*v. Suppose a = -62 + v. Is a a composite number?
False
Suppose -2*n - n = l - 685, 0 = -4*l + 4. Let g = 387 - n. Is g a composite number?
True
Suppose 2*b + 2*b + 3352 = 0. Let k = b - -1517. Is k prime?
False
Let z(j) = -3*j**2 + 9*j + 5. Let m(s) = -8*s**2 + 28*s + 15. Let f(o) = 2*m(o) - 7*z(o). Is f(9) a prime number?
True
Suppose -7*r = -6*r - 6. Is 15/(-10)*(-1436)/r prime?
True
Is -3*4210/(-15) - 3 a composite number?
False
Let y = -304 + 515. Is y a composite number?
False
Let u(d) = 18*d + 1. Suppose -4*n - 13 = -0*