number?
False
Let l be (-3)/12 + 126/24. Suppose 0 = -l*t + 2514 + 1141. Is t composite?
True
Let u = -5 - -8. Let k(i) = -3*i**2 - 2*i**2 + i**u - 2*i**2 + 4. Is k(7) composite?
True
Suppose -2*a - 3*t + 231 = -739, 3*t = -3*a + 1455. Suppose -a - 1119 = -4*n. Is n a prime number?
True
Is (393/(-6))/((-4)/56) a prime number?
False
Let n = -11 + 44. Is n a composite number?
True
Suppose 0 = -k + 4*k + 6. Let s = k - -4. Suppose s*h + 220 = 6*h. Is h a prime number?
False
Let v = -311 - -454. Is v prime?
False
Let v(a) = a**2 + a + 1. Let p(x) = -6*x**3 + 2*x**2 - 7*x - 9. Let w(d) = p(d) + 3*v(d). Is w(-5) composite?
True
Let n(y) = -8*y**3 + 3*y**2 + 3*y - 7. Let w(t) = -7*t**3 + 2*t**2 + 3*t - 6. Let x(d) = 3*n(d) - 4*w(d). Is x(2) composite?
True
Suppose 5*f - 13865 = -3*d - 0*d, 0 = -4*f + 3*d + 11092. Is f a composite number?
True
Let t = -417 + 602. Is t a composite number?
True
Let g = 6372 + -1067. Is g a prime number?
False
Let a(r) = r + 22. Is a(15) a composite number?
False
Let u(g) = -4 + 5 + 0*g + 5*g. Suppose 8 = 2*f + 4*q, -2 - 2 = -f + 4*q. Is u(f) a prime number?
False
Suppose 3*q + 4*b = 8847, 0*q + 2*q + 3*b = 5897. Is q prime?
True
Suppose -f + 92 = -44. Suppose -566 = -4*b - 0*u - u, f = b + 3*u. Is b a composite number?
True
Suppose 4*s - 57 = -4*l + 5*l, -s + 19 = -5*l. Suppose -2*c = -3*c - 5, 4*m = -2*c + 1462. Is 2/(-7) + m/s a composite number?
True
Let a be 84/12*6/7. Suppose a*g - 7*g + 1315 = 0. Is g prime?
False
Suppose -5*p - 68 = 102. Let b = p - -93. Is b a prime number?
True
Let o(l) = 6*l**2 - 7*l + 2. Let r be o(-6). Let d = -117 + r. Is d a composite number?
True
Let y be (-1)/1 + 6/(-2). Is -3*((-536)/(-6))/y a prime number?
True
Suppose -3*s = -4*w - 1236, -914 = 3*w - 4*s + 5*s. Let z = -209 - w. Is z a composite number?
False
Suppose -3*s + 238 + 130 = r, -3*r - 3*s + 1128 = 0. Suppose 3*u + 0*g - r = -g, -2*u + 3*g = -257. Is u a composite number?
False
Let o(a) = 36*a**2 + 9*a - 5. Is o(6) prime?
False
Let w(g) = -g + 1. Let r(k) = 43*k. Let z(l) = r(l) + w(l). Is z(3) a composite number?
False
Suppose -21 = -4*k - 5. Let a be (165/k)/((-1)/(-4)). Suppose -4*u = -u, -3*u - a = -3*b. Is b composite?
True
Let b(c) = 65*c**2 + 6*c + 2. Is b(5) a composite number?
False
Suppose g + 3*p = 109, -5*g + 254 = -3*g - 3*p. Is g prime?
False
Suppose 4*o + 328 = -0*o. Let q = -3 - o. Is q composite?
False
Let n(z) = -11*z - 8*z + 1 - 14*z + 8*z. Let m be n(-1). Suppose 4*a - 3*a - t - 36 = 0, a + t - m = 0. Is a prime?
True
Suppose -5*k + 208 = -187. Is k composite?
False
Suppose i = 4*i - 3. Is 186/i + (1 - 2) composite?
True
Let w(t) = -7*t - 5. Let c = 1 - 7. Is w(c) a composite number?
False
Let k(x) = -112*x + 16. Let f be k(-8). Let d = f - 593. Is d a prime number?
False
Let m = -152 + 279. Is m composite?
False
Suppose -3*v - v + 24 = 0. Let r(x) = x - 2. Let f be r(v). Is 1/f + (-3549)/(-28) a prime number?
True
Let b(n) = 72*n**2 + 3*n - 3. Let g(x) = 71*x**2 + 3*x - 3. Let u(v) = 3*b(v) - 2*g(v). Let r(p) = 3*p**2 - p. Let z be r(1). Is u(z) composite?
True
Is (-1667)/(-9) - (-16)/(-72) a prime number?
False
Suppose -148 = -3*m - 13. Suppose 0 = 4*x + x + m. Let n = x + 23. Is n a prime number?
False
Suppose -4*v = -5*x + 296, -187 = -5*x + 3*v + 105. Let a = x + -10. Is a a prime number?
False
Suppose -3*u - 6 = 6*j - 2*j, -u - 2 = 4*j. Let d be 2/6*j + 2. Suppose 5*f - d - 13 = 0. Is f a prime number?
True
Suppose 0 = 4*r + 1013 - 3337. Is r prime?
False
Suppose -2*l - 20 = 3*l, 4*l - 310 = -2*o. Is o composite?
False
Suppose 4*h - 2 = 3*h. Suppose -5*i = h*f + f - 1291, 524 = 2*i + 5*f. Is i composite?
False
Let z = -4 + 4. Suppose -2*s - 5*r + 190 = z, -2*s = s - 2*r - 247. Is s composite?
True
Let z(y) = -2*y - 12. Let b be z(-8). Suppose b*s - s - 561 = 0. Is s composite?
True
Suppose n + 447 = r, r - 2*n = -31 + 482. Is r a composite number?
False
Let b = 179 + -100. Suppose 0 = -4*z + m + b, 57 = -z + 4*z - 3*m. Let d = -6 + z. Is d composite?
True
Suppose 0 = 5*w - 4*a - 6, 0*w - 5*w - 5*a + 15 = 0. Let i(r) = -r**3 + 4*r**2 - 4*r + 3. Let h be i(w). Is 2/h*477/6 a prime number?
True
Let d be (-5)/(10/(-24))*9/(-18). Suppose -2*w + 7*w = 5*j, 6 = w + 2*j. Is ((-47)/w)/(d/12) prime?
True
Suppose -3*z = -27 + 3. Suppose x = -x - z. Is 1315/25 + x/(-10) a prime number?
True
Suppose 14 - 4 = 5*l. Suppose 24 + 20 = 4*k. Is k - (-2 + l)/2 prime?
True
Suppose -c + 2*c - 5*s = 917, 0 = -2*c + 2*s + 1834. Is c a composite number?
True
Suppose 15 = -0*g - 3*g. Let k be (g/(-1))/((-4)/(-4)). Let u(w) = w**2 + 2*w + 2. Is u(k) composite?
False
Let m(j) = -j**2 + 3*j + 3. Let p be m(3). Let a be ((-446)/p)/((-3)/(-9)). Is a/8*(-8)/2 a composite number?
False
Let j(c) = -c**2 - 5*c + 1. Let n be j(-4). Suppose 5*x + 4*i - 425 + 30 = 0, -2*x + n*i + 158 = 0. Is x a composite number?
False
Is 1922/3 - 7/(-21) a prime number?
True
Suppose -30285 = 2*v - 11*v. Is v prime?
False
Suppose 3*b = -2*r + 18, 0 = 5*b - 2*r - 0 - 14. Suppose -3*a + i + 585 = -2*i, 0 = b*a - 2*i - 776. Suppose 0 = -5*n - 8 + a. Is n a prime number?
True
Suppose -5*m - 4*p = -2*p - 14, -4*m + 3*p = -25. Suppose -4*v - m - 4 = 0. Is (-1)/v - (-165)/2 composite?
False
Suppose 5*g + 291 = 5*t + g, 3*t = g + 176. Is t a prime number?
True
Let u(m) = 132*m**2 - m + 2. Let a be u(2). Suppose 0 = -4*v + 2*r - 3*r + 504, -4*v + 5*r = -a. Is v a composite number?
False
Let f = -11 - -63. Let r be (-1)/(((-2)/(-1))/10). Let j = r + f. Is j prime?
True
Let l = -895 - -1682. Is l composite?
False
Let a(y) = y**3 + 7*y**2 - 4. Suppose -g + 5 + 4 = 4*f, 2*g = -4*f + 2. Let b be a(g). Is 92*((-1)/b - -1) a prime number?
False
Let z(o) = -145*o - 37. Is z(-14) composite?
False
Suppose -5*h = a - 242, -2*a = a + 5*h - 716. Is a a composite number?
True
Suppose 72 = 5*h - 3*a, 35 + 21 = 4*h - 4*a. Let m = -10 + h. Suppose -m*z = -3*z - 12. Is z composite?
True
Let l be 34/4 - (-9)/6. Suppose -l*w + 6*w + 460 = 0. Is w a prime number?
False
Let p(i) = i**2 - i. Suppose k = -k - 4. Is p(k) composite?
True
Let t(l) = 0*l**2 + l**2 + 12 + 10. Suppose -3*x = 2*x. Is t(x) composite?
True
Let m(h) = -222*h + 41. Is m(-6) composite?
False
Let i(b) = -b**3 - 16*b**2 + 3*b + 29. Is i(-20) a prime number?
False
Let u be (-3)/(-3) + 262 + -3. Let m be ((-42)/15)/((-2)/u). Suppose 7*l - 3*l = m. Is l prime?
False
Let r = 6 + -4. Suppose 0 = -3*g - r*w - 2 + 3, -5*w = g + 17. Suppose 0*k - 36 = -k - a, g*k = 5*a + 116. Is k composite?
False
Is ((-3651)/(-3))/(-7 + 8) a composite number?
False
Suppose -4*y = -2*y - 4. Suppose -5*p + y*p = -237. Is p composite?
False
Let r(z) be the first derivative of -29*z**2/2 + 3*z + 4. Is r(-10) prime?
True
Suppose -3*k - k - 16 = 0. Let r be 2 - (-1)/((-2)/k). Suppose r*o = -5*d + 57, 2 = 4*o + d - 51. Is o a prime number?
True
Let s be -2*(-3)/(-18)*-417. Suppose 3*x - s = 2*x. Is x prime?
True
Let q(l) = -68*l - 3. Let r be q(-3). Suppose -4*u + k + 766 = 0, 2*u - u = 5*k + r. Is u composite?
False
Let g(u) = u + 0*u + 4 - 2*u + 2*u. Is g(3) composite?
False
Let f be (6/8)/((-3)/(-12)). Suppose -r - f*p + 83 = 0, -4*p - 202 = -2*r - p. Is r a composite number?
True
Let o(z) = -157*z + 3. Let d(w) = -105*w + 2. Let i(f) = 7*d(f) - 5*o(f). Is i(1) a composite number?
True
Suppose 2301 = w + 5*t, 3*t = -3*w + 2*w + 2309. Is w composite?
True
Let s(c) = -6 - 2*c**3 - 3*c**2 + 3*c**3 - 4*c + c**2. Is s(5) composite?
True
Let v(f) = 376*f**2 - 8*f - 1. Is v(3) a prime number?
True
Let x(r) = -r**3 + 5*r**2 + 7*r - 8. Let k be x(6). Let p(i) = -101*i + 1. Is p(k) a prime number?
False
Let j = 6 - 13. Let q(h) be the second derivative of -h**5/20 - h**4/2 + h**3/3 - h**2/2 + 4*h. Is q(j) composite?
True
Let k(n) = -n + 1. Let h be k(-2). Let s = 0 + 10. Suppose s = -h*g + 115. Is g prime?
False
Suppose 0 = -0*x + 2*x + 30. Let p be (-107)/2 + 3/2. Let r = x - p. Is r a prime number?
True
Let h be 6/(-15) + 74/10. Let p(b) = 16*b + 9. Is p(h) a prime number?
False
Let n(i) = 37*i + 3. Is n(14) a prime number?
True
Suppose 2*h - 268 = 5*h - 5*d, 425 = -5*h + 4*d. Let f = 40 - h. Is f a prime number?
False
Let n be -4 - (0 - (1 + -2)). Let l = -1 - n. Suppose l*b - b - 75 = 0. Is b a prime number?
False
Suppose 2*n = 0, i = -i + 2*n 