 number?
False
Let i be 1 + 0 + 7/1. Let f be (-6 - 2)/(i/(-60)). Let k = 19 + f. Is k a composite number?
False
Let n(v) = -2*v + 2*v**2 - 3*v**2 - 5*v - 1. Let w be n(-6). Suppose 5*d + 2*u - 171 = 0, w*d - 5*u + u = 153. Is d a composite number?
True
Let g(c) = c**3 + 16*c**2 + 8*c - 4. Is g(-7) a prime number?
False
Is (2 + 1)/(-3)*(0 + -379) prime?
True
Suppose 0 = -5*f + 2*f - 12. Is (-30)/f*(-38)/(-3) a prime number?
False
Let p = 1015 + -104. Is p a prime number?
True
Let y(z) = 2*z**2 - 14*z + 15. Is y(11) composite?
False
Let p = -181 - -434. Is p prime?
False
Suppose -5*s - 5*a + 20 = 0, 15 = -6*a + 3*a. Suppose 3*m + s = -0, 2*m - 339 = -3*c. Is c a composite number?
True
Is 3752/20*(-20)/(-8) composite?
True
Let p = -2 - -2. Let n be ((-12)/(-10))/(6/15). Suppose s - n*h - 8 = 41, 3*s - 5*h - 147 = p. Is s a composite number?
True
Let w(p) = 4*p - 1 + 2*p**2 - 2*p**2 - 4 + 3*p**2. Is w(4) a composite number?
False
Suppose r + 4*r - 15 = 0. Let b be (r/(-6))/((-1)/4). Suppose -2*m + 3*f + 146 + b = 0, -5*f = -4*m + 298. Is m prime?
False
Suppose -2*c - 4*d = -288, 2*d + d - 6 = 0. Suppose 0 = 4*x - 4*p - c, -175 = -5*x - 4*p + p. Is x prime?
False
Let w = 2906 - 1227. Is w a composite number?
True
Let b be 3/(-4) - 23/(-4). Suppose 5*o = 2*w - 10, b*o = -4*w + 21 - 1. Suppose -2*i + 45 = 5*t - 6, 2*t + 6 = o. Is i a prime number?
False
Let l(h) = -9*h - 1. Is l(-6) a prime number?
True
Let m = 398 + -283. Let k = 70 + m. Is k a prime number?
False
Let a = 67 - 8. Is a a composite number?
False
Let b be 15*-2*(-1)/2. Suppose i + 3 = 2*o, i = o + 6*i + b. Suppose o = -3*z - 9, -2*z - 62 = -r + z. Is r a composite number?
False
Suppose -5*h + 84 = 2*r, 0 = 5*h - 2*h + 6. Is r a composite number?
False
Let c be ((-1)/(-1) + -2)*-3. Suppose 4*k - 22 = c*k. Is k prime?
False
Suppose -c - 2*p = -11, -3*c + 24 = 4*p - 7. Let k be (-1785)/(-9) + (-3)/c. Suppose -3*h - 50 = 2*b - k, 4*b + 2*h = 304. Is b prime?
False
Let r = 6 + -5. Let f(y) = 58*y**3 + 2*y**2 - 1. Is f(r) a prime number?
True
Is ((-2566)/(-4 - -2))/((-2)/(-2)) a composite number?
False
Suppose 9*d = 8*d + 983. Is d prime?
True
Let s = 11807 + -5170. Is s composite?
False
Let m(d) = -2*d**3 - 5*d**2 + 6*d - 4. Is m(-9) prime?
False
Suppose -34 = 5*m - 669. Is m prime?
True
Let k(x) = x**3 + 13*x**2 + 3*x - 7. Let n(p) = -p**2 + p - 1. Let i(b) = -k(b) - 3*n(b). Let z be i(-10). Let c = z + -48. Is c a prime number?
False
Let b(i) = i**2 - i + 3. Let w(g) = -g**3 - 6*g**2 + 6*g - 4. Let o = -13 - -6. Let t be w(o). Is b(t) prime?
False
Let a(u) = 5*u + 5. Let c be a(8). Suppose 3*s = -9, -c = -g + 5*s + 128. Is g composite?
True
Let x = 1070 + -763. Is x prime?
True
Suppose 150 = p + 2*p. Suppose 4*z - p = -z. Is z composite?
True
Suppose -3*q + 2*q - 2*d + 445 = 0, -q + 444 = d. Is q composite?
False
Let u(s) = 108*s**2 - 3*s - 2. Is u(-3) prime?
False
Let a be (3 + -1 - 2) + 22. Suppose -2 - 14 = -4*b. Suppose j - t + 0 = 27, b*t = -j + a. Is j a composite number?
True
Let p(a) = a**3 + 7*a**2 + a + 7. Let n be p(-7). Suppose n*b - 2*b - 2*q + 106 = 0, -4*q - 8 = 0. Is b composite?
True
Suppose -x + 2147 = -b, -2*x - 3*b + 4290 = -7*b. Is x prime?
False
Suppose 6*n = 3*u + n - 2892, 4*n - 2865 = -3*u. Is u a composite number?
True
Let u(g) = -g**3 + 5*g**2 - 4*g + 3. Let i be u(4). Suppose i*a = a + 62. Is a a composite number?
False
Let v(x) = -6 - 7*x - 3 - x**2 + 3. Let b be v(-6). Suppose 5*j - 3*p - 161 = 0, p - 29 = -j - b*j. Is j a composite number?
False
Let g(o) = o**2 - 4*o + 2. Let a(y) = -y**2 + 3*y - 2. Let r(s) = 7*a(s) + 6*g(s). Let w be r(-2). Is w + 0 - (-6)/2 a composite number?
False
Let n(g) = g + 30*g + g - 4 + 11*g. Is n(5) prime?
True
Let x(m) = 12*m + 13. Let h(o) = o - 3. Let k be h(9). Is x(k) a composite number?
True
Is 8/12 + (-2690)/(-6) composite?
False
Let d(z) = -118*z + 2. Let x be d(-9). Suppose 4*v = -0*v + x. Suppose -v = -2*l - 2*s, 0*s = 3*l - 3*s - 387. Is l a prime number?
True
Let c(p) = 2*p**3 - 14*p**2 + 21*p**2 + p - 15*p**2 + 6*p. Is c(5) prime?
False
Is 4/10 + 10089/15 composite?
False
Suppose -3*k - 2*k = -295. Let a be 7/(2 - 117/k). Suppose -j - a = -2*j. Is j prime?
False
Suppose 4*i - 1508 = -0*i. Is i prime?
False
Is 5376/6 - (1 - 4) a composite number?
True
Suppose o + 1 = 2. Is 35 - o/(2/4) a composite number?
True
Is 33764/69 - (-1)/(-3) prime?
False
Let v(i) = -6*i**2 + 7*i - 4. Let o be v(-6). Let c be (o + 0)/((-4)/(-2)). Let f = c - -216. Is f a composite number?
True
Let q(z) = 6*z + 1. Let d(x) = -x**2 - 5*x. Suppose -24 = -5*o - 4, 29 = -3*c + 5*o. Let w be d(c). Is q(w) prime?
True
Let y(o) = -4*o. Let k be y(-1). Let f be 4*(-2 - 3453/(-12)). Suppose k*j - f = -v, -2*j + 4*v = j - 881. Is j a prime number?
False
Suppose 5*s + 5 = -3*f, -3*f = -6*f. Let i(u) = -126*u**3 + 1. Is i(s) composite?
False
Let k = -6 + 16. Let f(p) = -4 + 3 + k*p + 6*p. Is f(8) a composite number?
False
Let l(r) = r**3 - 2*r**2 - 3*r. Let v be l(3). Let m(t) = -t**3 + t + 303. Is m(v) a prime number?
False
Let x(p) = 5*p**3 + 6*p**2 - 29. Let d(h) = -h**3 - h**2 + 1. Let b(k) = -6*d(k) - x(k). Is b(0) composite?
False
Let b = 90 - 35. Is b prime?
False
Let z = -39 - -193. Suppose -2*u - z = -2*p, 0 = p + 2*u + 3*u - 101. Suppose v - p = 4*i, 7*i + 153 = 2*v + 2*i. Is v prime?
False
Suppose -3*u - 3*d = -4*d - 21590, -u + 3*d = -7210. Is u composite?
True
Let d(c) = 24*c**2 - c + 1. Is d(-4) composite?
False
Suppose -5*k + 0*k = -40. Is 23/2*k - -3 composite?
True
Let y(r) = -6*r**3 + 11*r**2 - 7*r - 3. Let n(b) = 11*b**3 - 21*b**2 + 13*b + 5. Let a(s) = 4*n(s) + 7*y(s). Is a(5) prime?
True
Suppose -59 = -3*h + 4*h. Let m(i) = -179*i**3 - 3*i**2 + i + 1. Let g be m(1). Let l = h - g. Is l prime?
False
Suppose 0 = -q + 3*o - 17, -4*q - 5*o = 19 - 2. Is ((-446)/4)/(4/q) a composite number?
False
Is -1 - 5/(15/(-4386)) a composite number?
True
Let w = -16 + 11. Let t(v) = v + 1. Let k(f) = -6*f - 7. Let h(n) = k(n) + 5*t(n). Is h(w) a composite number?
False
Let w = 4730 + -3075. Is w prime?
False
Is -2*4/(16/(-746)) prime?
True
Let g(h) = 2*h**2 + 27*h + 5. Is g(-20) a composite number?
True
Let q(z) = z**2 + 243 - 4*z**2 + 4*z**2. Let a be q(0). Suppose a = -0*f + 3*f - 3*k, -182 = -2*f - 3*k. Is f a prime number?
False
Suppose 239 = 2*i + 3*m, 4*i = i + m + 364. Is i composite?
True
Let z be -4 + 6 + 1 + 0. Suppose -3*n + 51 = -3*t, -z*t + 35 = 4*n - 5. Is n a composite number?
False
Is 11/77 - (-362)/14 prime?
False
Suppose -2*i + 1966 = 350. Suppose -5*u + 2*a = -803, -3*u - 3*a = 2*u - i. Is u prime?
False
Let t = 3 + -2. Is t*(-6 + 3) - -94 composite?
True
Suppose 2*j - 5*q = -j + 4614, 5*q - 4644 = -3*j. Is j composite?
False
Let z be (-143)/(-39) - (-4)/(-6). Suppose z*i - 8 = -2. Is i a composite number?
False
Let h = 12539 - 8778. Is h composite?
False
Suppose f + 128 = 4*j - f, -4*f = -j + 32. Suppose w = 2*c + j, 0 = -2*w - c - 4*c + 64. Let t = w + -13. Is t a composite number?
False
Let q(v) = 40*v**2 - 2*v - 1. Is q(-2) prime?
True
Suppose -413 = -4*g + 235. Let i = g - 85. Is i composite?
True
Let d(t) = -47 + 5*t**2 + 39 - 108 + 3*t - 47. Let j(o) = 6*o**2 + 4*o - 163. Let z(u) = -5*d(u) + 4*j(u). Is z(0) a prime number?
True
Let g(u) = -u**3 - 17*u**2 + 15*u - 21. Is g(-18) composite?
True
Let r(g) = 0*g + 11*g + 7 - g. Is r(6) composite?
False
Let w(x) = x**3 - x**2 - 2*x - 1. Let h be w(2). Let m be 16/3 + h/3. Suppose i - 211 = -m*k, 3*i + 8*k = 4*k + 633. Is i composite?
False
Let a(p) = -p**2 - p + 540. Let k be a(0). Let n be ((-4)/(-3))/(4/k). Suppose -4*b = 3*m - 5*m + 66, n = 5*m + 5*b. Is m prime?
False
Is 3/(-18)*-2*(-4515)/(-5) prime?
False
Suppose n + 0*n + 3*p = 118, 5*n = 3*p + 500. Is n a prime number?
True
Suppose 5 = 5*i - 20, 154 = 3*p - i. Is p composite?
False
Let g(p) = 276*p**2 - p + 2. Let c be g(-2). Let o = c + -365. Is o prime?
True
Suppose 4*k - 11 = -3. Suppose -5*t + 10 = -5*x, 4*t - 2 = k*x + 3*t. Suppose x*o = -4*o + 212. Is o a composite number?
False
Is (-5)/(-10) - (-4405)/2 a prime number?
True
Suppose u = 3*u - 406. Is u a composite number?
True
Let m = -138 - -391. Is m composite?
True
Suppose -7*i + 15 = -2*i. Let t be i/(-2) + 1113/2. Suppose b + t = 6*b. Is b a composite numb