 a composite number?
True
Let u(r) = 5*r**2 - 15*r + 12. Suppose 37 = 2*x + 17. Is u(x) a composite number?
True
Is 2/11 - 570110/(-110) prime?
False
Let j(g) = -39*g - 7. Let u be j(-6). Suppose 4*x = u + 401. Is x a composite number?
False
Let s = 4125 - 2579. Is s composite?
True
Let s be ((-8)/(-10))/(2/25). Let j(y) = 27*y**2 - 8*y + 12. Let i(r) = 6*r**2 + 1. Let b(k) = 5*i(k) - j(k). Is b(s) a composite number?
False
Suppose 13*x + 15 = 18*x. Suppose -x*y + 5*y - 535 = 3*d, -y + 272 = 3*d. Is y prime?
True
Let c = -107 - 133. Let a = c + 380. Suppose 0 = 5*m - 2*q - 239, 4*m + q - a = 46. Is m prime?
True
Suppose -11*l + 25 = -6*l. Let k be 3 + 0 - 305/l. Let t = 92 + k. Is t a prime number?
False
Let d be (-52)/(-14) + (-12)/(-42). Suppose 0*q = -d*q + 44. Suppose -q - 81 = -4*j. Is j composite?
False
Let k(x) = -x**3 - 8*x**2 - 11*x - 6. Let p be k(-7). Suppose c + t = 2, -2 + p = 5*t. Let r(g) = 30*g**2 + 5*g + 5. Is r(c) prime?
False
Let p(x) = 9*x**3 - 9*x**2 - 9*x - 9. Let q(t) = 5*t**3 - 5*t**2 - 5*t - 5. Let o(g) = 4*p(g) - 7*q(g). Let l be o(-1). Is 53*l*5/(-2) a composite number?
True
Suppose -5*a = -4*i - 1158, 0 = 5*i - 3 - 12. Let l be (-2 - (-24)/15) + (-1539)/15. Let u = l + a. Is u composite?
False
Suppose 2 = 4*q - 3*r, q = r + 2 - 1. Is (-20 - q)/(2*1/(-2)) a prime number?
True
Let g = -27 + 26. Let t = -15 - g. Is (-92)/6*483/t a composite number?
True
Let v(g) = -32 + 7*g + 8*g + 2*g + 2. Is v(13) a prime number?
True
Let y be 145452/66 - 4/(-22). Suppose -4*d = -8*d + y. Suppose 5*s - d = 504. Is s composite?
False
Is -3401*(-2 - 4/8*-2) composite?
True
Suppose -6*f + 8*f = 14818. Is f a composite number?
True
Let a = -6 - -6. Suppose a = 3*h + 9*h - 7764. Is h composite?
False
Let g(m) = m**2 - 2*m - 20. Let v be g(5). Is 2 - ((-8192)/10 + (-1)/v) prime?
True
Suppose -3*d + 8 + 4 = 0. Suppose q = d*q - 2031. Is q a prime number?
True
Suppose 4*j = -4*s - 1724 - 1384, 4*j = 2*s + 1578. Let g = -347 - s. Suppose -2*w = 10, 28 + g = 4*k - 2*w. Is k composite?
False
Suppose 2*y - 3*c - 25 = 0, 3*y + 0*c = 2*c + 30. Let h be y - 4/2 - 1. Suppose h*f = 7*f - 466. Is f composite?
False
Let t be (-1 + 0)/1 + 137. Let f = t - 237. Let u = f + 192. Is u composite?
True
Let u(n) = -184*n. Let z be u(-2). Let c(f) = -10*f - 105. Let o be c(10). Let h = o + z. Is h a prime number?
True
Is 16765 - ((-63)/12 + 6/(-8)) a prime number?
False
Let s be 4/(-20) + (2182/(-10))/(-1). Suppose -q + s + 1025 = 0. Is q a composite number?
True
Suppose -56*q = 5*r - 58*q - 3115, 2*q = -4*r + 2492. Is r composite?
True
Let h(x) = -x**2 + 2. Let n be h(0). Suppose 492 = n*w + w. Suppose 4*v + 5*c - w = c, c - 115 = -3*v. Is v prime?
True
Let d be 12/(3*(-1)/3). Let k be (d/(-8))/(3/476). Suppose k = 3*t + 7. Is t prime?
False
Let s(o) = -3 - 2 - 25*o - 2 + 117*o. Suppose -15 = -p - 3*v, 3*p + 9 = 2*p + 3*v. Is s(p) a prime number?
True
Is (-12)/2*4709/(-34) a prime number?
False
Let v(r) = -2*r**2 + 6*r - 2. Let f be v(-4). Let d = f + 237. Is d composite?
False
Let z(m) = 253*m - 2. Let u(h) = h**3 - 10*h**2 + 1. Let c be u(10). Is z(c) prime?
True
Suppose -4*u + 9*u + 20 = 0. Is u + 194 - 2*2/(-4) prime?
True
Suppose -14*x + 12091 = 2277. Is x prime?
True
Let d(m) = -10*m**3 - 21*m**2 + 50*m + 317. Is d(-16) composite?
True
Let h(q) = q**3 + q - 1. Let m be h(0). Let l be -1 - m - -4 - -7. Suppose 265 = -6*a + l*a. Is a a composite number?
False
Suppose -112093 = -8*b + 87163. Is b a prime number?
True
Let w(y) = -669*y + 4. Let q be w(-4). Let m be 5*317 - (-64)/(-16). Let k = q - m. Is k a prime number?
False
Suppose 28 = -28*c + 32*c. Suppose -4578 = -c*s + 1561. Is s a composite number?
False
Suppose 0 = 5*j + j - 68694. Suppose j = 4*i + 1317. Is i a composite number?
True
Suppose 16 + 4 = 5*o. Let j = 15 - o. Is (12 - 7)/(1/j) a prime number?
False
Let x(z) be the first derivative of z**3 - z**2/2 + 7*z - 14. Is x(6) a composite number?
False
Suppose -5*c - 16 = -2*s, 3*s + 2*s + 3*c - 40 = 0. Is 7250/s + (-42)/(-56) a prime number?
True
Let n(h) = -7*h + 0*h - 13 + 263*h**2 - 146*h**2. Is n(-3) composite?
False
Let o be (-3 - -2373) + -3 + 1 + -1. Suppose -f + o = -568. Is f prime?
False
Let d(u) = 5*u**3 + 48*u**2 + 63*u + 87. Is d(33) a prime number?
False
Suppose -46*y + 126314 = -391784. Is y composite?
True
Let c(m) = 41*m**3 - 9*m**2 - 12*m - 6. Let t(s) = 21*s**3 - 5*s**2 - 6*s - 3. Let y(o) = -3*c(o) + 5*t(o). Is y(-2) a composite number?
True
Let h = -132 - -138. Is (-5)/(h - -4)*-1346 a prime number?
True
Suppose -48269 = -4*v + 122327. Is v a prime number?
True
Suppose -5265 = -2*k + 697. Suppose 4*w - 27 + 7 = 0. Suppose w*b = k - 196. Is b composite?
False
Suppose 2*k = 5*k. Suppose 3*w - 6*w + 1825 = 4*q, k = -5*w - 5*q + 3050. Suppose 5*d = 2*d + w. Is d prime?
False
Let c be -4*3/(-4) - -108. Let j = 161 - c. Is (-88)/10*j/(-20) composite?
True
Suppose -4*y = 2*x - 65758, 4*y + 4*x = 6*y - 32874. Is y a composite number?
True
Suppose 27*f + 22*f - 96677 = 0. Is f composite?
False
Let x be 2/5 + 1539/15. Suppose z = x + 132. Is z a prime number?
False
Let y(g) = 2*g**2 + g + 2503. Is y(0) composite?
False
Let w(y) = 220*y**2 + y - 9. Let z be w(4). Suppose -z = -t - 4*t. Is t prime?
False
Let j = 41017 + -18212. Is j a composite number?
True
Suppose -3*t = 23 - 2. Suppose 7*c - 4360 = 2*c. Is t/(-21) + c/3 composite?
True
Suppose s + 4*f = -18, 2*s + 5*f + 33 = -s. Let i(x) be the first derivative of -x**4/4 - 7*x**3/3 - 4*x**2 - 6*x - 72. Is i(s) a prime number?
False
Let f be 5/(-15) + (-120)/(-9). Suppose 5*t - 3*z = -18, z = -0*t + 4*t + f. Is (t - (-4)/4)*-11 composite?
True
Let u be -1*(-6)/8*-4. Let q(j) = 6 + 3 - 2 + 117*j - 558*j + 23*j. Is q(u) a composite number?
True
Let t = 42 + -37. Suppose -t*j = -2*q + 104 + 86, 2*q - 190 = -5*j. Is q a prime number?
False
Let r = 1393 + -669. Let a = r + -393. Is a a composite number?
False
Suppose -12 = 5*n + 3*g, -4*n = -2*g + 6 + 8. Is (0 + -158)/((-3)/n*-1) a prime number?
False
Let w(c) = 374*c**2 - 24*c - 69. Is w(-6) prime?
False
Suppose 3743 = 6*p - 3*p + 2*d, 3*p - 3757 = 5*d. Is p a composite number?
False
Let g(d) = -2*d**2 + 64*d + 69. Is g(14) a composite number?
True
Suppose t - 5954 = 5*w, -8 = -4*t + 8. Let o = -2025 - -1308. Let u = o - w. Is u composite?
True
Let u be 10 + 1/((-3)/(-6)). Let j(z) be the second derivative of -z**4/12 + 2*z**3 + 7*z**2/2 - 2*z - 36. Is j(u) composite?
False
Let k = -144 + 150. Let y(z) = 38*z**2 + 7*z - 1. Is y(k) prime?
True
Let n = 10 - 8. Suppose h + 287 = o, h = n*o + 6*h - 539. Suppose -3*l - 4*x + 246 = -543, -o = -l + 5*x. Is l prime?
False
Let g(y) = 5*y + 22. Let l(u) = 3*u + 11. Let b(v) = 4*g(v) - 7*l(v). Let o be b(8). Suppose o*w + 4 = 61. Is w composite?
False
Let h(n) = -n**3 - 3*n**2 + 4*n - 4. Let o be h(-4). Let c = 420 + -751. Is ((-4)/(-1))/o*c a composite number?
False
Is -4 + 0 + -2 + 639 a composite number?
True
Let b = 61 + -3. Let y(z) = 6*z**2 - 2*z + 3. Let d be y(2). Let k = b - d. Is k prime?
False
Let s be 1/(-7) - 810444/(-84). Suppose 40*m = 44*m - s. Suppose 5*r - m = 2*q + 1423, 0 = 3*q - 15. Is r a prime number?
True
Let u(n) = 2004*n + 31. Is u(6) composite?
True
Is 22961*((-5 - 0) + 0 + 6) a composite number?
False
Suppose 0*z + z + 4 = 4*o, 0 = -3*o - 2*z + 14. Suppose 0 = -o*d - 4*b + 544, -1349 = -5*d + 2*b - b. Suppose -k + 122 = 2*q - 5*k, d = 5*q - 3*k. Is q prime?
False
Suppose 5057 - 1920 = p. Is p prime?
True
Let u = -29 + 34. Suppose -6*j + 2*j - 1329 = -u*r, 0 = -r + 3*j + 257. Is r prime?
True
Let b(s) = -1805*s**3 + 3*s + 5. Is b(-3) a prime number?
True
Suppose -9*r = 1566 + 1620. Let q = r + 765. Is q prime?
False
Let w(g) be the second derivative of -4*g**3/3 - 8*g**2 - 14*g. Let c be w(-7). Is 2/8 + 10590/c a prime number?
False
Suppose -2629*v = -2619*v - 260830. Is v composite?
False
Let z be 8 + 0/(25/5). Suppose z*n = n + 2275. Suppose -2*p = -7*p + n. Is p a composite number?
True
Suppose 116*a - 115*a = 3. Suppose a*b - 1875 = 18. Is b a composite number?
False
Suppose 91*r = 76*r + 40785. Is r composite?
False
Let o = 1286 + -2235. Let h = o - -1618. Is h prime?
False
Let r = 12095 - 7436. Is r composite?
True
Let r = 4 + -1. Suppose 0 = -j - r, 4*u - 4*j 