omposite?
True
Is 4440/100*10/4 prime?
False
Suppose 0 = 4*j + 2*a - 6, 5*a = 3*j - 24. Suppose -j*p - 176 = p. Is (p/10)/((-3)/15) prime?
False
Suppose 2*s = -3*s + 5435. Is s a composite number?
False
Let l(p) = p**2 + 4*p - 7. Let k be l(-6). Suppose -k*z + 56 = 5*r + 141, -3*z = -12. Is (r/9)/(1/(-15)) prime?
False
Let j(k) = 125*k + 4. Let n(o) = 251*o + 8. Let g(f) = -7*j(f) + 4*n(f). Is g(3) prime?
False
Suppose 5*d - 4041 = p, 2*d - 7*p - 1598 = -2*p. Suppose -2*s + 3*s - 3*o = 216, -d = -4*s + o. Suppose -t = 2*t - s. Is t a prime number?
True
Let d(v) = -18*v - 4 + 3 - 5 + 3. Is d(-2) a composite number?
True
Let q(x) = -x**2 + 3*x - 1. Let l be q(2). Let t = -1 + l. Let b(m) = m**2 + 9. Is b(t) composite?
True
Let p = -18 + 72. Let v be 3*1/((-9)/(-6)). Suppose 5*h + 10 = 0, v*j + 0*j - 5*h = p. Is j prime?
False
Is ((-694)/10)/(3/(-15)) a prime number?
True
Let m(n) = 15*n**2 - 4*n + 3. Let j(y) = 8 + 4*y**3 - 3*y**3 + 5 + 11*y**2 + y. Let i be j(-11). Is m(i) a composite number?
True
Let g = 0 + 3. Suppose 113 = 5*l - 3*s - 0*s, 25 = l - g*s. Suppose d - l = -d. Is d prime?
True
Let j(h) = 302*h - 45. Is j(17) composite?
True
Let l be (2 - 0) + (-10 - -7). Let v(k) = -74*k**2 - k. Let i be v(l). Let d = 58 - i. Is d composite?
False
Let o(q) = q**3 + 3*q**2 + 3*q + 3. Let f be o(-3). Is (f/18)/((-2)/18) a composite number?
False
Suppose 5*j = 5*d - 2505, 4*d = 3*d - 2*j + 513. Is d a composite number?
True
Let a be (-832)/(-16) + (4 - 1). Suppose -8*j + 9*j = a. Is j prime?
False
Suppose -4*m + 2*c + 312 = 0, -m + 3*m + c - 160 = 0. Is m a prime number?
True
Suppose 0 = -4*j + j + 9. Let f be -24 + (1 - 2) + j. Let r = f + 37. Is r prime?
False
Let b = 266 - 68. Let v = b + -71. Is v a prime number?
True
Suppose -4*q = -4*u - 76, 0*u - 4*u - q - 61 = 0. Is (-75)/6*u/20 a composite number?
True
Let o(u) = 9*u**2 + 9*u + 3. Is o(6) composite?
True
Let d(s) = 4*s**2 - 2*s - 4*s - s - 4. Let v be d(6). Suppose -2*o + v = -132. Is o a composite number?
True
Suppose 0 = -5*k + 4 - 4. Suppose 0*a - 2 = -a. Suppose 2*d - a*b + 2 = 0, 3*d - b + 1 - 6 = k. Is d composite?
False
Let j = -12 + 7. Let f = j + 7. Is (4/6)/(f/138) a prime number?
False
Let i = 10 - 5. Suppose i*z = -10, 0 = y + 2*y + 3*z - 6. Let c(q) = q**2 + 2*q - 1. Is c(y) composite?
False
Suppose 6*j - 2*j - m + 17 = 0, m = -3*j - 18. Let k(h) = -20*h - 11. Is k(j) a composite number?
False
Suppose 20 = k + 4*k - s, -4*k + s = -15. Suppose v + 41 = -2*g + 136, k*g = 20. Is v a prime number?
False
Suppose -3 = -5*w - 43. Suppose 39 = 5*i - 51. Let r = i + w. Is r a composite number?
True
Suppose 202 = -i + 3*i. Let b be 3 + -1 - 176/(-1). Let s = b - i. Is s a composite number?
True
Suppose 6*n - 9*n + 4*j = -1058, 4*j + 1416 = 4*n. Is n prime?
False
Let z(j) = -6*j**2 - 8*j + 5. Let b(s) = -7*s**2 - 9*s + 6. Let n(a) = -5*b(a) + 6*z(a). Let l be n(-2). Is (0 + 254)*1/l a composite number?
False
Is (110/3)/((-4)/(-6)) a composite number?
True
Is (-19)/(1*1/(-1)) composite?
False
Suppose 0 = -f + 21 + 16. Is f prime?
True
Let z(v) = -v**3 - v**2 + 3. Let s be z(0). Suppose x + s*x + 2*d - 14 = 0, 4*d - 16 = 4*x. Let k(n) = 51*n. Is k(x) composite?
True
Let t(b) = b**3 - 11*b**2 + 11*b + 3. Let a be 6/(-21) + (-72)/(-7). Is t(a) a prime number?
True
Suppose -4*t + 7*t = 102. Is -3 + 2 - t*-1 a prime number?
False
Suppose 5*s + 4*p = 4, -4*s + 14 + 6 = -p. Suppose 7*v - 5*r + 85 = 4*v, 2*v = -s*r - 20. Is (-2361)/(-15) - (-8)/v composite?
False
Suppose -3 = -2*q - 1. Is q/3*(111 - 0) a composite number?
False
Let q(m) = 22*m - 2. Let u(p) = 11*p - 1. Let j(d) = 2*q(d) - 5*u(d). Let g be (-13)/2 + 3/6. Is j(g) composite?
False
Suppose k - 131 = 2*k. Let h = 246 + k. Is h prime?
False
Suppose -5*w + 11 = 1. Suppose v - w = 2*v. Is v/7 - (-261)/7 prime?
True
Let w(f) = 94*f. Let t be w(1). Suppose 0*r + 2*r - t = 0. Is r a prime number?
True
Let z = 9 - 8. Suppose 12 = q + z. Is q prime?
True
Suppose 2*f + 20 = 4*f. Let y(o) = o**3 - 9*o**2 - 10*o + 2. Let z be y(f). Suppose -z*h + 226 = -0*h. Is h a prime number?
True
Suppose -4*k = -3*k - h, -18 = -4*k - 5*h. Suppose -k*q + 84 = 2*q. Is q a composite number?
True
Let y(d) = d**2 + 3*d - 6. Let t be y(-5). Suppose 56 = 3*s + 4*m - 59, 3*s - t*m = 107. Let o = -24 + s. Is o a prime number?
True
Suppose 0 = -3*f + 15, 2*n - 360 = -2*f + 92. Suppose 4*z = 609 - n. Is z a composite number?
False
Let o = 7 + -7. Suppose o = 2*z + 2*n - 116, -4*z = -0*n + 3*n - 234. Suppose -5*a + a = -z. Is a a composite number?
True
Let d = -17 + -227. Let q = d - -503. Is q composite?
True
Let k(u) = -18*u + 1. Suppose 4*o + 22 = -2*t, -7 = 4*o - t - 0*t. Is k(o) a composite number?
True
Let i = -556 + 1784. Let m = i + -837. Is m composite?
True
Is ((-355)/25)/(3/(-15)) prime?
True
Suppose 5*b - 2*i + 5*i - 6 = 0, i - 2 = -4*b. Suppose 4*l = 2*d + 6, -l - 5*d + 10*d - 12 = b. Suppose 0 = -l*u - u + 892. Is u composite?
False
Let y be 326 + 1 + -4 + 2. Suppose 3*l = 8*l - y. Is l a prime number?
False
Let t = -89 + -89. Let w be ((-2)/2)/1 - -270. Let q = t + w. Is q a prime number?
False
Let v(o) = 38*o + 3. Is v(2) composite?
False
Let i(w) = -2*w + 3. Let p be i(3). Let m(h) be the third derivative of -47*h**4/24 - h**3/3 - h**2. Is m(p) a composite number?
False
Let c = -10 - -8. Is (-21)/c*82/3 a composite number?
True
Suppose 16 + 14 = 5*b. Suppose 3*a = -11 - 16. Is (b/a)/(4/(-138)) composite?
False
Suppose 2*a = 6 - 24. Let o(l) = -12*l - 7. Let m be o(a). Let k = -22 + m. Is k a composite number?
False
Suppose 0 = -9*k + 1435 + 1544. Is k composite?
False
Suppose -4*n + 7 = 3*b, 0*b - 2*b - n + 8 = 0. Suppose -505 = -4*w + m, 4*m + 623 = b*w - 0*m. Is w a prime number?
True
Suppose -12*a + 235 = -7*a. Is a composite?
False
Suppose -4*m - 3*f + 196 = -0*m, 0 = -3*m - 3*f + 150. Is m composite?
True
Let d be (1/(-2))/(2/(-4)). Let r = 52 - d. Is r + 2/(-2) - 1 a prime number?
False
Suppose 4 = 2*m + y - 0, -m + 5*y + 2 = 0. Suppose 5*n - 566 = -b, -b = 4*n + m*b - 455. Is n a composite number?
False
Let b(v) = v**3 - 12*v**2 - 15. Let d be b(12). Is d*1*(-123)/9 prime?
False
Let k(s) = s**3 - 7*s**2 - s + 6. Is k(11) a composite number?
False
Let a = -36 - -139. Is a prime?
True
Let m = -2 - -5. Let h(v) = -2*v**2 + 3 + m*v + 3*v**2 - 4*v**2 - v**3. Is h(-4) prime?
True
Let w(l) = -l - 3. Let f be w(-3). Suppose f = 5*j - 2*u - 310, -2*u = -3*j - 1 + 187. Is j composite?
True
Let r = -3 - -13. Suppose 5*s + v - 6 = 24, -r = -2*v. Suppose 74 + 191 = s*p. Is p composite?
False
Let a = 6 + -34. Is (-8)/a + 962/14 composite?
True
Let w(q) = -q**3 + 4*q**2 + 8*q - 4. Let n be w(5). Let u(h) = 2*h**2 + 5*h + 10. Is u(n) a composite number?
False
Let r(t) = -11*t. Let y be r(-6). Suppose -13 = z - y. Is z a prime number?
True
Is (-7)/(-28) + 5259/4 prime?
False
Let m be 14/(1 - (-3)/(-9)). Suppose 5*t + 29 = -5*w - 6, 2*w = -4*t - 24. Let x = w + m. Is x a composite number?
False
Let i = 3 + 2. Suppose 4*f = 2*c - f + 26, -3*f = -i*c - 27. Is -1*(-47 + c + 3) a prime number?
True
Let s(p) = -4 + 2 + p + 3 + 0. Let c(j) = -2*j - 1. Let x(f) = c(f) - 2*s(f). Is x(-3) prime?
False
Suppose 0 = -g - 4*x + 899, -5*x - 764 - 1848 = -3*g. Is g composite?
True
Suppose -5*k - 1 = -11. Is (-1 - k)*1 + 136 composite?
True
Suppose -4*k - 4*j + 16 = 0, -4*k + 4*j = j - 2. Suppose 0*f + 84 = 4*f + k*l, f - 5*l - 43 = 0. Is f a prime number?
True
Let l = 218 + -153. Is l a composite number?
True
Let m be ((-10)/4)/((-6)/12). Suppose -m*u + 0*u + 10 = 0. Suppose 2*z + 30 = 2*s - z, 0 = 2*s - u*z - 34. Is s composite?
True
Let p(j) = -6*j**3 + 3*j**2 - j + 7. Is p(-4) a composite number?
False
Suppose 9*n - 4973 = 15268. Is n a prime number?
False
Let y(a) = -a**3 + 3*a**2 - a - 2. Let k be y(2). Let s(r) = 0*r**2 - 2*r - 1 + r**2 + k*r**2 + 0. Is s(-6) a prime number?
True
Let t be 4*52/(-12)*-3. Let x = -17 + t. Is x composite?
True
Is 889 + 1 + -18 + 21 prime?
False
Is (-3)/12*0 - -19 composite?
False
Let m = 1 + -1. Suppose 3*w - 10 + 1 = m. Suppose -3*s + 115 = -4*p, -w*p - 40 = -0*s - s. Is s a prime number?
True
Let i(r) = r**3 + 9*r**2 + 15*r - 29. Is i(10) a composite number?
True
Suppose -f + 0 = -4*b + 7, 0 = -b - 5*f + 28. Let a(y) = 4*y**2 - 1. Is a