/(-2) prime?
True
Let a be -3*(0 + 3)/3. Let i = 1 - a. Suppose -i*f + 1522 + 66 = 0. Is f a composite number?
False
Let i(n) = n**3 + 13*n**2 - 1. Let d be i(-13). Let p be (-536)/(-1) + 0 - d. Suppose -p = -4*b + b. Is b composite?
False
Suppose 59*j - 19184 = 352339. Is j a prime number?
False
Let b = -25 - -30. Suppose y - 47 = -l, -5*l - b - 36 = -y. Is y composite?
True
Let z(y) = 18 - 9 - 14 - 42*y. Is z(-2) a prime number?
True
Suppose 0 = 5*o - 2*o. Suppose o*u + 1004 = 4*u. Is u a prime number?
True
Suppose -304 = 7*b + 12*b. Is -354*63/(-112) + 2/b composite?
False
Let z = 32303 - 10056. Is z composite?
False
Let v(n) = -16*n**2 + 5*n - 3. Suppose -4*d - 5*x = -2 - 10, 4*d + 2*x = 12. Let g be v(d). Let u = g - -355. Is u composite?
False
Suppose 6*x - 10*x + 16 = 0. Suppose 4*b = -4*s + 6252, 3*b = 8 + x. Is s a prime number?
True
Let l = 34400 - 8983. Is l composite?
True
Let b(t) = -7*t**3 - 3*t**2 - t. Let r(o) = -15*o**3 - 7*o**2 - 2*o - 1. Let u(a) = -5*b(a) + 2*r(a). Suppose 0*s = -5*s + 15. Is u(s) composite?
True
Let n = 51699 - 30644. Is n prime?
False
Let s = 25 + -32. Let r be (-10)/s + 6/(-14). Is (r - 2 - -503) + -3 composite?
False
Suppose 0 = 3*l + 3*z - 6, 2*l + 2 = 3*l - z. Let m(k) = 3*k + 0 + 12*k + 60*k - 1. Is m(l) composite?
False
Is (5 - -1433) + (4 - 1) a composite number?
True
Let b be (-1)/(-1)*10/2. Suppose 2*o - 5*o = 2*q - 131, 5*q - 265 = b*o. Is q composite?
True
Is ((-27290)/20)/(4/(-8)) composite?
False
Let y be 0 - (16/(-4) - -3). Suppose 5*m + r = 7, 0 = -m - 4*r - y + 10. Is (-6 - -499) + (-2)/m prime?
True
Suppose g = 5*a - 6908, 0 = -2*g - g + 6. Suppose 4*j = -20, -5*j = -h + 4*h - a. Is h composite?
True
Let u(d) = d - 1. Let c be u(1). Suppose -j = -c*j. Suppose j = -b + 5, b + 4*b - 101 = -2*a. Is a composite?
True
Let p be ((-24)/(-18))/(2/9). Suppose 3*f + 0*f - p = 0. Suppose 0 = -v + 2*t + 205, -f*t + 0*t + 810 = 4*v. Is v a prime number?
False
Let n = 4846 + -7937. Let o = n - -4952. Is o a composite number?
False
Let p(o) = o**3 + 6*o**2 + 4*o - 1. Let b be p(-4). Is (-494)/(-3)*b/10 a composite number?
True
Let d = 12521 - 4054. Is d prime?
True
Let d(g) = -g**3 - 3*g**2 + 3*g + 5. Let n be d(-4). Let z be (3/n)/(3/(-9)). Is -1*(-1 + 30/z) composite?
False
Suppose -166954 = -23*p + 21853. Is p a composite number?
False
Suppose u - 274*w = -275*w + 22410, 2*u - 44826 = 4*w. Is u composite?
True
Let m(a) = 22*a - 10. Suppose 0 = -2*i + i + 8. Let o be m(i). Suppose -j = j - o. Is j prime?
True
Let q(h) = -h**3 + 10*h**2 + 15*h - 11. Let i be q(8). Is 6*i - (-7 + 4)/3 composite?
False
Let x(l) = -l**3 - l**2 + l + 1. Let f be x(-2). Suppose -184 = f*d - 7*d. Is d a prime number?
False
Let p(h) = h**3 - h**2 - 1. Let o be p(2). Suppose b = -o*b + 940. Is b prime?
False
Let t = 88 - 52. Is 3*-3*(-1588)/t composite?
False
Let p(x) = x**3 + 6*x**2 - 2*x - 10. Let z be p(-6). Suppose 0 = 3*k + 5*d - 1476, z*k = -k + 5*d + 1506. Is k a composite number?
True
Let p(d) be the second derivative of d**5/20 + 5*d**4/6 + 3*d**3/2 + 13*d**2/2 - d. Suppose 0 = 4*t + 2*r + 20, 3*t - 2 = r - 27. Is p(t) a composite number?
False
Let h(v) = -4*v**3 - 11*v**2 + 8*v - 1. Let y(d) = 7*d**3 + 22*d**2 - 15*d + 1. Let x(t) = 5*h(t) + 3*y(t). Let u be x(-8). Let z = 523 - u. Is z composite?
False
Let s(n) = -8*n - 35. Let l be s(-5). Suppose -2*y - l*z + 0*z = -2505, -5 = 5*z. Is y a prime number?
False
Let z be 17 + 1/((-20)/4 + 4). Suppose -z*n + 2785 = -15*n. Is n a composite number?
True
Let k = 8087 - 1550. Suppose 0 = 5*w - w + 5*g - 13079, -2*w - 5*g = -k. Is w a composite number?
False
Let j(h) be the second derivative of 67*h**3/6 - 49*h**2/2 + 21*h. Is j(26) a prime number?
True
Suppose 11*t - 54 = 9*t - 5*c, -2*t + 2*c + 40 = 0. Is t composite?
True
Let o(f) = -f**3 + f**2 - 2*f + 4. Suppose 3*x + 3 = -2*y - 3*y, -2*y + 2*x + 2 = 0. Let p be o(y). Is 48 + 5 - (p - 0) prime?
False
Let b = 37 + 36. Suppose 0 = 7*o - 9*o + 368. Let w = b + o. Is w composite?
False
Suppose 13*v - 33095 - 122996 = 0. Is v prime?
True
Let u = -15 + 15. Suppose u = -o + 6*o - 10. Suppose 0 = -3*h + 2*a + 12, -1 = o*h - 4*h - a. Is h composite?
False
Suppose 5*l = 3*r - 18 - 14, 4*l + 3*r = -4. Let a(i) = -38*i**3 + i**2 + 4*i + 5. Is a(l) composite?
False
Let n(q) be the second derivative of -4*q + 0 + 5/2*q**2 - q**3. Is n(-5) composite?
True
Let j = 4 + 0. Suppose -p + 17 = -j*s + 4, 3*p = s + 17. Suppose 27 = 4*b - 5*n + 2, 5*n = p*b - 35. Is b composite?
True
Is (3 - 2)*(8 - -3405) composite?
False
Let l(f) = -16*f**3 - 5*f**2 - 4*f - 11. Let y be -6 - (-3 - (-4 - -3)). Is l(y) a prime number?
False
Let n = 21191 + -10794. Is n composite?
True
Suppose -a - 9 = -4*j, -j + 18 = -0*j + 5*a. Suppose w + u - 1042 = 0, 0 = -j*w + 3*u - 0*u + 3132. Is w a composite number?
True
Let t = 924 - -270. Let q = t + -311. Suppose -d = 3*p + 10 - 309, -3*d - 2*p = -q. Is d a prime number?
True
Suppose 0 = -g - 3, -5155 = -4*q + 2*q + g. Suppose 0 = x - 5*f - 4131, -q = 3*x + 5*f - 14889. Is x a composite number?
False
Let g = -4419 - -8840. Is g a composite number?
False
Suppose 3*k + 5*h - 9*h - 23711 = 0, -23707 = -3*k + 2*h. Is k a prime number?
True
Suppose 0 = -40*t + 50*t - 196090. Is t a composite number?
False
Let t(v) = -263*v - 44. Is t(-3) a composite number?
True
Suppose -m + 657 = 5*o, 4*o - 5*o + 2666 = 4*m. Is m a composite number?
True
Suppose -2*o - 6*f + 22 = -3*f, 4*f = 16. Suppose -2*t + 2181 = -o*t. Let m = t + 1062. Is m prime?
False
Is ((-18110)/(-20))/((-2)/(-28)) a composite number?
True
Let x be (20/(-3))/(40/60). Let s(r) = -64*r - 11. Is s(x) composite?
True
Suppose 25*y = 94*y - 247917. Is y prime?
True
Let p be 6/9 + (-14)/(-6). Let d(v) = -v**2 + v + 1. Let z(r) = 2*r**2 - 15*r - 10. Let y(s) = p*d(s) + z(s). Is y(-10) composite?
False
Let o(p) = p**3 + 51*p**2 - 27*p - 71. Is o(-32) a prime number?
True
Let y(r) = r**3 - 18*r**2 + 19*r - 36. Let w be y(17). Is w/(-5) - 5406/(-10) a composite number?
False
Is (-9)/(-12)*(-167984)/(-12) composite?
False
Let l(r) = -r**3 + 3*r**2 + 2*r - 7. Let i be l(3). Let z be (-13)/(5/i - -4). Let d = z + -7. Is d composite?
True
Let y(z) = 4*z**2 - 33*z + 7. Let t be y(-16). Suppose 0 = x + 477 - t. Is x composite?
True
Let h(q) = q**3 - 7*q**2 - 10*q + 22. Let k be h(8). Is -4 + (-3)/k*-4090 a prime number?
False
Let j be (-4)/(-14) - 1354/(-14). Suppose 4*b - 188 = 4*y, 2*b - y + 0*y = j. Suppose 0 = -5*h - 3*u + 252, b = h + 5*u - 4*u. Is h prime?
False
Is (-1)/(6/(-640)) + (-38)/57 a prime number?
False
Suppose 5*q - 3*a - 35 = -7*a, -5 = 5*q - 4*a. Suppose y - 98 = 5*s + 50, -2*s - 470 = -q*y. Suppose -3*n = 5*r - y, 61 = r + r - n. Is r composite?
False
Let c = 19 + -21. Let s = c - -4. Suppose -929 = -s*b - r, 4*b - 3*r - 949 = 2*b. Is b prime?
True
Let b = 14032 + 21639. Is b prime?
True
Let g(y) = 2*y. Let p(d) = -38*d - 2. Let z(v) = 14*g(v) + 2*p(v). Let c be z(4). Let i = -109 - c. Is i composite?
True
Let z(b) = -2*b + b**3 + 0 + 4*b**2 + 0 - 3*b**2. Let i be z(-2). Suppose i = -0*l + l - 79. Is l prime?
True
Let g be (-1720 - -1) + 18/9. Let k = 1081 - g. Is k prime?
False
Let f(u) = u**3 + 3*u**2 - 2*u - 1. Let i be f(-3). Suppose 3 = -j, -c - i*j - 1 - 10 = 0. Suppose 3*d = c*a + 737, -3*d - 3*a + 514 = -d. Is d composite?
False
Let v(g) be the third derivative of -61*g**4/8 + 5*g**3/3 - 2*g**2. Is v(-7) a composite number?
False
Let h(m) = -m**2 - 7*m. Let a be h(-5). Let q(n) = 2*n**3 - 13*n**2 - 2*n - 3. Is q(a) prime?
True
Let t(c) = -72*c**3 + c + 1. Let l be t(-2). Suppose b + 369 + 795 = 2*r, r - l = 4*b. Is r a prime number?
False
Let d = 1781 + -3034. Let y = 3502 + d. Is y composite?
True
Suppose 209*m - 222*m + 2564497 = 0. Is m prime?
True
Suppose -2028 = -4*i + 8476. Let t be 14/4*(-260)/(-91). Is i/t - 2/(-5) a prime number?
True
Suppose -3*g + 6409 + 7340 = 0. Is g composite?
False
Let v(t) = t**3 + 5*t**2 - t - 2. Suppose -4*u + 1 = 21. Let a be v(u). Is (131/a)/(3/9) prime?
True
Let z(w) = 3*w - 12. Let p be z(5). Suppose p*t + 197 + 58 = 0. Let j = 4 - t. Is j a composite number?
False
Suppose -c = 2*f - 3*f + 449, -2*f + 5*c + 910 = 0. Suppose f - 188 = z. Is z prime?
True
Suppose w + 4*t - 20 = 0, -9 = w + 5*t - 34. Suppose w