ite number?
True
Let z = -5 + 8. Suppose -z*v + v + 418 = 0. Is v prime?
False
Suppose 8 = 2*o - 0. Suppose -165 = -o*z - z. Is z a composite number?
True
Let z(a) = 3*a**2 - 2*a + 3. Suppose 6 = 4*l - 2*l + 2*q, 18 = 5*l + 2*q. Is z(l) a composite number?
False
Let i = -3 + 6. Let p be 3*-7*(-1)/i. Is 6/3 + p*3 a prime number?
True
Let o(k) = -7*k**2 - k + 5. Let l(c) = -13*c**2 - c + 10. Let z(j) = 2*l(j) - 5*o(j). Is z(-5) a prime number?
False
Is (5/2 - (5 + -1))*-478 composite?
True
Suppose 0 = -2*c + 4 + 4. Suppose 346 = 3*z - 5*m, m = -0*z + c*z - 484. Suppose g - 2*l = 43, -5*g = 3*l - 41 - z. Is g prime?
False
Let u(a) = 157*a**2 - a + 1. Let f be -5 + 5 + (1 - -4). Suppose -4*b = -p, 8 + f = 5*b + 2*p. Is u(b) composite?
False
Suppose g - 6*g - 4*j + 1213 = 0, g - 5*j = 260. Let h = g - 130. Is h composite?
True
Suppose p - 3*s = 3108 - 769, -2*s = 2*p - 4662. Is p prime?
True
Suppose -4*f + 2*f + 62 = 0. Is f a prime number?
True
Let l be (-7)/(-14)*(1 - 1). Suppose -3*z - 3*v = -963, l*v = 2*z - 2*v - 634. Is z a composite number?
True
Let t be (-4)/(-14) - 5613/21. Is t/(-12) - 2/8 a composite number?
True
Let p = 10 - 5. Let s(i) = 8*i + 11*i - 8*i - p + 4. Is s(6) a composite number?
True
Let q(l) = l - 2*l - 2*l - l. Let r be q(-1). Is (76/2)/(-2 + r) a composite number?
False
Let y = 9 - 1. Let r(l) = -l**2 + 18*l - 1. Is r(y) a prime number?
True
Let l(p) = -89*p - 5. Let b be l(-4). Suppose 3*m + 4*r - b = -58, 479 = 5*m + 2*r. Is m a prime number?
False
Let u = -28 + 43. Let o be (u/(-6) + -1)*10. Let n = o - -54. Is n a composite number?
False
Let w(x) = 4*x**3 - 10*x**2 + 3*x - 5. Is w(7) a composite number?
True
Is 111/5 + -7 + 238/35 a composite number?
True
Let j(r) = -r**3 + 7*r**2 + 8*r + 10. Let g be j(8). Suppose -m = 3*x + x - 218, g = -5*m. Is x a composite number?
True
Suppose 0*u - 5*x = 4*u - 285, -3*x = 4*u - 291. Suppose 5*s - 50 = 2*a, 3*a + 0*a + u = s. Let g = -18 - a. Is g composite?
False
Let i = -92 - -511. Is i prime?
True
Let v = -36 + 72. Let o = v + -1. Is o composite?
True
Let f = 515 - 306. Is f a composite number?
True
Let u(h) = 4*h**2 + 5 + h**2 - 3*h**2 - 1 - 8*h. Let a be u(7). Suppose 0 = 4*r - 30 - a. Is r a prime number?
True
Let x(j) = -j**2 - 2. Let i be x(0). Is 46/8*-10*i composite?
True
Suppose 6 = 2*t - 0. Is -21*(t + -4 + 0) a composite number?
True
Let l = 2 + 0. Let q be 6 + -7 + (-1 - l). Let n(x) = -x**3 + 4*x**2 + 2*x - 2. Is n(q) a composite number?
True
Suppose 0 = 3*t - n + 21, -2*t + 0*n = -2*n + 14. Let k(z) = z**3 + 8*z**2 - 8*z + 6. Is k(t) a composite number?
True
Let u(t) = -2*t**3 - 7*t**2 - 4*t + 5. Let l be (-21)/5 - 8/(-40). Is u(l) a composite number?
False
Suppose 14*t - 40965 = 47221. Is t composite?
False
Suppose -a - 5*x + 3160 = 0, 5*x = -0 + 5. Is a a composite number?
True
Let v(r) = r + 2. Let i be v(1). Suppose 8*x - 3*x = o - 52, i*o - 2*x = 117. Is o a composite number?
False
Let f(t) = t**3 + 2*t**2 - 4*t - 3. Let l be f(-3). Suppose -u - 643 = -4*u + 4*d, 5*u + 3*d - 1091 = l. Is u a prime number?
False
Let c = 0 + 8. Is 670/c - 36/48 composite?
False
Let b = 6 - 2. Let p be 510/(-4)*(-2 + -2). Is (p/(-24))/((-1)/b) a composite number?
True
Let a(r) = -17*r**2 - 15*r - 23. Let n(h) = -6*h**2 - 5*h - 8. Let w(x) = -3*a(x) + 8*n(x). Suppose 0 = y + o - 5*o + 4, 4*y + 16 = -5*o. Is w(y) prime?
False
Let i = 501 - 128. Is i prime?
True
Suppose 18 = 3*d + 2*v, 3*d = -2*d - v + 23. Let q be (13 + 2)*(-6)/(-10). Suppose -775 = -q*z + d*z. Is z prime?
False
Let o(i) = -2*i**2 + 3*i. Let f be o(3). Let d = 18 + f. Is d composite?
True
Suppose 0 = 4*d - 266 - 210. Is d a prime number?
False
Is 12237/9 + (-4)/(-3) composite?
False
Let o = -19 - -26. Is o composite?
False
Let l be (-8)/6*(-1 + -2). Let d be l/(-1 - 51/(-48)). Suppose -g + h - 73 = -5*g, 0 = -4*g - 4*h + d. Is g a composite number?
False
Let d = -32 - -16. Let v = d + 75. Is v prime?
True
Let s = 486 - 226. Let j = -139 + s. Is j a composite number?
True
Let p(w) = -69*w**2 - 8*w + 3. Let h(n) = -46*n**2 - 5*n + 2. Let i(c) = -8*h(c) + 5*p(c). Let d = -6 - -4. Is i(d) composite?
True
Suppose -3*r + 4*v - 30 = 0, 2*r + 5*v + 0 = 3. Let h = r + 5. Is h*(-3)/(-9)*-177 a prime number?
True
Suppose -13*p + 12286 = -11*p. Is p a prime number?
True
Suppose -14 = 5*w - 7*w. Is 1 + (w + -3)*19 prime?
False
Let x = 15 + -15. Suppose -t + 337 + 182 = x. Is t prime?
False
Let o(n) = -n. Let j(y) be the second derivative of y**4/12 - 2*y**3/3 - 2*y**2 + 2*y. Let b be j(3). Is o(b) a composite number?
False
Let j(d) = -d**3 + 17*d**2 + 12*d - 19. Is j(17) a prime number?
False
Suppose 237 - 1232 = -5*c. Is c a prime number?
True
Is 6/3 - ((-2)/2 - 1618) prime?
True
Let b(j) be the third derivative of -j**6/120 + 2*j**5/15 + 5*j**4/24 + j**3/2 - 15*j**2. Suppose -k - 2*q + 0*q + 10 = 0, 5*q + 3 = k. Is b(k) composite?
False
Let u = 2332 - 1551. Is u a prime number?
False
Let w be (-2)/(-4)*(-12)/(-3). Suppose -i = -h - 1, -w*h = -2*i + 3*h + 11. Is 94*(1 - i)/6 composite?
False
Suppose 4*w + 810 = 2*w. Let q = w + 740. Is q composite?
True
Let g = 4 - -1. Suppose 7*r - 5*r - 3*y = 6, 0 = g*r - 2*y - 4. Is (-2 + r)/((-4)/66) composite?
True
Suppose -k + 26 = k. Suppose -3*j + 6 = -2*u - 9, 2*u - 5*j = -k. Let c = u - -20. Is c composite?
False
Let x = -3 - -3. Suppose -4*h - 5*v = -15 - 0, x = 4*h + v - 3. Let f(a) = a**3 + a**2 + 34. Is f(h) prime?
False
Let j = -10 - -14. Suppose -5*b = n - 41, 4*n - j*b - 202 = -5*b. Is n a composite number?
True
Let t be (10/25)/((-1)/5). Is 1599/27 - t/(-9) a prime number?
True
Let y be (-55)/(-15) + (-2)/3. Suppose 5*k - y*k - 4*q - 458 = 0, 0 = -k + 4*q + 235. Is k prime?
True
Suppose -7 = -2*s - 3. Let x be 1 + 1 - (0 - s). Suppose 0 = -f + 4, 93 = x*h + f - 179. Is h a composite number?
False
Let n(m) = -3*m**3 + m**2 + 2*m + 3. Let o(x) = x**3 - 9*x**2 + 4. Let b be o(9). Suppose -5*s = -b*s + 3. Is n(s) composite?
True
Let i be (1/(-2))/((-1)/4). Suppose -i*j - 6 = 6. Is (j/15)/((-3)/255) composite?
True
Let j(f) = -13*f + 2. Let c be ((-2)/(-3))/(1/18). Let o = 3 - c. Is j(o) a composite number?
True
Let h(g) = -g**3 + 19*g**2 - 7*g - 2. Is h(11) a prime number?
False
Let j = -17 + 26. Let o = j + -1. Let m = 17 - o. Is m a composite number?
True
Let y(n) = -2*n. Let x be y(-2). Is (119/2)/(2/x) a composite number?
True
Let n = 5 + -3. Let s(b) = -8 + 2*b**2 - 9*b - 4*b**n + b**2. Is s(-6) a prime number?
False
Suppose 4*j + 0*j = 5*x + 12, 2*x + 12 = -2*j. Is 1/(j + 26/12) composite?
True
Let l(n) = -23 + 5*n - n + 10 - 5*n. Let y be l(-10). Is y + (1 - 295/(-1)) a composite number?
False
Let p(z) be the second derivative of -7*z**3/6 + 4*z**2 + 4*z. Is p(-7) a composite number?
True
Let b be 86/(-12) - (-2)/12. Let o = 9 + b. Is o/(-2)*-2 - -17 a prime number?
True
Let k(m) be the first derivative of 1/3*m**3 - 3/2*m**2 + 5*m - 1. Is k(7) composite?
True
Let t be 1*10 + 3/3. Let l = 15 - t. Suppose -l*u - u = -105. Is u composite?
True
Let v(g) = g**3 - g**2 - g + 1. Let p(c) = 2*c**3 + 3*c**2 - 17*c + 8. Let m(w) = -p(w) + 5*v(w). Is m(8) a prime number?
True
Let x be (1514 - 5)*1/3. Suppose 2*j + 169 = 2*n - n, 5*j + x = 3*n. Is n a composite number?
True
Let k = 6598 - 3567. Is k a prime number?
False
Is (13*1)/((-16)/(-1424)) a prime number?
False
Let f be -3 + -3 + 6 + 3. Suppose -30 = -f*o + 3. Is o prime?
True
Suppose -7*k = -3*k - 388. Is k a prime number?
True
Suppose -5*g + 191 + 94 = 0. Suppose 4*t + g = 3*v, 2*v - 25 = -4*t - 7. Is v prime?
False
Suppose 2*q + 3*a - 109 - 387 = 0, -2*q + 496 = 4*a. Suppose -6*x + 5*x = 5*n - q, -2*x + 3*n = -431. Is x composite?
False
Suppose z + 1 = 5*s - 3*s, 16 = 2*z + 5*s. Suppose 14 = 5*d + z*l - 31, -5*l - 25 = 0. Let n(y) = -y**2 + 14*y - 11. Is n(d) a prime number?
True
Suppose 0*c + 97 = c. Suppose 0 = p + 2*b - 33, 2*p = -2*p - b + c. Is p prime?
True
Suppose -594 - 2289 = -3*p. Is p composite?
True
Suppose 2*k = 2 + 4. Suppose 16 = -r - k*r. Is (r - 6)*(-22)/4 prime?
False
Suppose 0 = 2*j - 186 - 740. Suppose 2*h - 819 = j. Is h prime?
True
Suppose -2*n + 269 = -2*b - b, -154 = 2*b + 5*n. Let g = -50 - b. Is g composite?
False
Let v(x) = -6*x**2 - 3*x + 1. Let a be v(3). Let w(f) = -f**3 + 3*f**2 + 3*f -