 composite number?
False
Let u = 6 - 2. Suppose -5*m - u*b + 2*b = 9, 24 = -3*m + 5*b. Is (17/(-3))/(m/45) a composite number?
True
Suppose 107 = 2*k + 41. Let s = k + -10. Is s prime?
True
Suppose -3*v = -6 + 39. Let d = 16 + v. Suppose -3*o = d - 116. Is o composite?
False
Suppose -4*v - 24 = -0*v. Let k(y) = y - 10. Let h be k(8). Is 4/v*93/h composite?
False
Let f(d) = 3*d + 4. Let j be f(4). Suppose -v - g = 3*g + j, -5*v + 35 = -3*g. Suppose -v*z + 250 = -z - y, 3*y - 185 = -2*z. Is z prime?
False
Let m(f) = 5*f + 1. Let a be m(-4). Let p(b) = -b**3 + 10*b**2 - 8*b - 7. Let n be p(7). Let g = n + a. Is g prime?
False
Let z(k) = 4*k**2 + 6*k + 3. Let l be z(-4). Let h = -29 + l. Is -55*(-2 + h/10) a composite number?
True
Let j(q) = 2*q**3 - q**2 + q. Let z be j(2). Let l = z + -8. Is (l/4)/(6/56) composite?
True
Suppose -q + 3*q + 56 = p, -5*p = 5*q - 205. Is p a prime number?
False
Suppose -4*k - 6 = 6, -i = 2*k + 3. Suppose v - i*u = 133, -3*v + 0*v + 399 = u. Is v a composite number?
True
Let q = 11 - 12. Let r = 30 - q. Is r prime?
True
Let c(k) = -13*k. Is c(-3) composite?
True
Suppose o - i = 166, -667 = -4*o - 0*o + i. Suppose -o - 24 = -w. Is w a prime number?
True
Is 4/22 + 2139/33 a composite number?
True
Suppose 2*x - 1 = 3*x. Let k be ((-1435)/15)/(x/12). Suppose -2*j + k = 2*j. Is j a composite number?
True
Suppose 2*q = -0*q + 14. Suppose -58 = -5*t + q. Is t a prime number?
True
Suppose 5*n = -b - 0*b + 90, 0 = -2*n - b + 36. Suppose 5*y + 4*w + 1 = 0, -w - 3 + 5 = 2*y. Suppose -a = -y*a + n. Is a a composite number?
True
Suppose 2*j = -j + 36. Let f(g) = 3*g + 1. Is f(j) a composite number?
False
Is ((-2721)/3)/((-2)/2) composite?
False
Suppose 3*o = -5*n - 16, -n + 5 = 3*o + 1. Let y(t) = 29*t - 4. Is y(o) a composite number?
False
Suppose -21*u - 1833 = -24*u. Is u composite?
True
Let w(u) = 31*u**2 + 2*u - 7. Is w(6) composite?
True
Suppose -1533 = -3*d + 3*q, -6*d + d + 3*q + 2563 = 0. Is d a prime number?
False
Let p(d) = -2*d**3 - 7*d**2 - 2*d - 6. Is p(-5) composite?
False
Suppose -2*w = 0, -2*p + w - 3 = -7. Suppose 0 = a - p*a + 149. Is a a composite number?
False
Suppose 9*r = 6*r. Suppose -4*p + 444 = -r*p. Is p prime?
False
Let f = -1402 - -2244. Is f composite?
True
Suppose -5*n + g = 198, -3*g = -4*n - 2*g - 158. Is (23*-2)/(16/n) a prime number?
False
Let s(h) = h**3 - h**3 + 2*h + 1 + 4*h**3. Is s(3) composite?
True
Let m(w) = w. Let c(r) = 5*r - 35. Let i(b) = -c(b) + 3*m(b). Is i(0) a composite number?
True
Let c be (2/6)/((-1)/(-15)). Suppose -115 = -c*m + 70. Is m prime?
True
Let t be (8 + -1 + 0)/1. Let f = t + -4. Suppose 0 = f*k + k - 228. Is k composite?
True
Suppose -p + q - 11 = 0, 2 = -5*p + 2*q - 44. Is ((-4)/p)/((-1)/(-262)) a composite number?
False
Suppose 0*z + z - 3 = 0. Suppose -t - z*t = -1036. Is t composite?
True
Suppose -159*j = -158*j - 751. Is j a composite number?
False
Let v(a) = -4*a**2 + 6*a - 2. Let p(s) = 5*s**2 - 6*s + 1. Let k(d) = -5*p(d) - 6*v(d). Let n be k(-7). Suppose -g - 2*g + 483 = n. Is g composite?
True
Suppose 310 - 835 = 3*l. Let g = l + 123. Let i = 3 - g. Is i a composite number?
True
Let b(t) = -t - 6. Let q be b(-8). Suppose q*o + 0*a + 5*a = 667, 4*o - a = 1367. Is o a composite number?
True
Let n(a) = 71*a**2 + 2*a - 4. Is n(-3) prime?
False
Suppose 0 = -2*g + 1371 + 463. Is g a composite number?
True
Is (-9 - 3)*(-2)/6 composite?
True
Is 66/(-15) - -4 - 36561/(-15) composite?
False
Suppose u - 3*n - 733 = 0, -u + 43 = -5*n - 690. Suppose 3*a - u = -22. Is a a prime number?
False
Let h(q) = -2*q - 11. Let y be h(-13). Suppose y*i - 1137 = 12*i. Is i a composite number?
False
Suppose 0 = j + 9*j - 11630. Is j composite?
False
Is (-554)/(-8) - (-1)/(-4) composite?
True
Suppose 0 = 2*x - 95 - 407. Is x a composite number?
False
Let m = -47 - -87. Let r = -9 + m. Is r a prime number?
True
Let l be 3/(-4) + (-4088)/(-32). Let q = -361 + 543. Let p = q - l. Is p composite?
True
Suppose 3*a = 3*y + 51, -3*a + 74 = a - 2*y. Let v = a + -12. Suppose 7*i = v*i - 47. Is i prime?
True
Let a be 11*(-1)/(3/(-24)). Let m = a - 51. Is m a prime number?
True
Let z = -121 + 368. Is z prime?
False
Let i = 10 + -5. Suppose -4*j - 95 = -i*j. Suppose -5*s + 150 = 5*c, -c - j = -3*s + c. Is s a prime number?
True
Is (1 + -3)/(16/(-7944)) a composite number?
True
Let l(o) = -7*o**3 - 11*o**2 + 7*o - 3. Let b be (-80)/(-14) + 6/21. Let p(g) = 6*g**3 + 10*g**2 - 6*g + 3. Let i(a) = b*p(a) + 5*l(a). Is i(-4) prime?
True
Let o = -2069 - -2982. Is o a prime number?
False
Suppose b = 4*r - 0*b - 84, 5*r + 4*b = 105. Is r*(1 + 40/6) a composite number?
True
Let o be 68/8 - (-1)/(-2). Suppose 0*g + 4*g - o = 0. Suppose g*x + 2 = -0, 4*z - 3*x = 59. Is z prime?
False
Let b(d) = 4*d. Let g be b(-1). Let f(w) be the first derivative of -35*w**2/2 + 5*w - 23. Is f(g) a prime number?
False
Is (1 + -7 - -9)*3862/6 prime?
True
Let p = -646 - -1649. Is p a prime number?
False
Suppose -45 - 4371 = -4*u. Suppose 5*q = q + u. Let r = -165 + q. Is r a prime number?
False
Let r be 3/(-12) + 26/8. Suppose 4*k - k + 4*t = 0, -4*k + r*t + 25 = 0. Suppose 0 = k*p + 407 - 1051. Is p a prime number?
False
Suppose -k + 5*v - 10 = 0, 0 = -6*k + k + 3*v - 6. Suppose -5*b + 20 = k, 5*p = 3*b + 2*b + 235. Is p a composite number?
True
Suppose -5*t + 1010 = 5*q, 5*q - 4*t - t = 1020. Is q composite?
True
Suppose -3*i + 0*i + 4*x + 83 = 0, 2*i - 60 = -2*x. Suppose z + z - 4 = 0. Suppose z*t = -i + 99. Is t composite?
True
Is 18/27 + 64/3 composite?
True
Let d(g) be the second derivative of 2*g**4 + g**3/3 + g**2/2 + 10*g. Suppose 5 + 0 = -5*h. Is d(h) prime?
True
Let d be 444/(-18)*(-30)/4. Suppose 2*a = a + d. Is a composite?
True
Suppose u - 14 = -6*o + o, 0 = -5*u + 5*o + 10. Suppose 0 = 4*y + 16, -u*y = 4*g - y + 4. Suppose g*c + v - 97 = -2*c, 2*v + 6 = 0. Is c a prime number?
False
Let b be (3/1)/3 + 11. Suppose g + 5*g = b. Is g prime?
True
Is (-575)/(-3) - (-4 + (-14)/(-3)) a prime number?
True
Suppose a + 1250 = 3300. Let k = a + -1457. Is k composite?
False
Suppose 2230 = 12*z - 7*z. Is z a composite number?
True
Let n be 281/1 + (-3 - -4). Is (n/12)/((-1)/(-10)) a composite number?
True
Is (21/18)/7 + (-17290)/(-12) composite?
True
Let k = -2 + 2. Suppose -2*s + 16 = -2*f + 190, f - 3*s - 91 = k. Is f composite?
True
Suppose -75 = -4*h + 37. Let r = 85 - h. Is r a prime number?
False
Suppose -6*j + 55 = -11*j. Let p = 20 + j. Is p a prime number?
False
Let c be (-2)/(-3) - 8/3. Let d(u) = u**3 + u**2 + 8*u + 6. Let o be d(-6). Is ((-4)/(-12))/(c/o) composite?
False
Suppose -147 - 123 = -2*p - 2*x, -x = -2*p + 282. Is p a composite number?
False
Suppose -10*p = -0*p - 12130. Is p a composite number?
False
Let q(a) = -a**3 - 5*a**2 - 3. Suppose 0 = -y - 5*c + 27, -5*y = -2*y - 2*c + 4. Suppose -18 = y*i + i. Is q(i) composite?
True
Suppose -r + 5*r = 1648. Suppose -r - 393 = -5*h. Is h a composite number?
True
Let i(l) = -2*l**3 - 3*l**2 - 3*l - 3. Let c = 1 + -1. Suppose c*t - 2*t = 8. Is i(t) prime?
True
Let r(p) = 5*p**2 - 5*p + 3. Is r(3) a composite number?
True
Suppose 5*x - 46287 = -17602. Is x prime?
True
Let s(d) be the second derivative of 3/2*d**3 + 0 - 4*d + d**2. Is s(7) composite?
True
Let r(y) = -y - 2. Let w(c) = c**3 + 4*c**2 - 5*c - 7. Let k be w(-5). Let n be r(k). Suppose 11 = n*b - 184. Is b a composite number?
True
Suppose -18*g + 10022 = -32404. Is g composite?
False
Let u(y) = -y**3 + 7*y**2 + 7*y. Let c be u(8). Let w = c - 12. Let t = 35 + w. Is t prime?
False
Let d = 717 + -511. Suppose -d = -2*v + m, 0*v - 2*v = -5*m - 190. Suppose 0 = -4*s + v + 91. Is s a prime number?
False
Let b(j) = j**3 - 4*j**2 + 4*j - 2. Let v be b(3). Suppose -3*w = 7 - v. Is w/1 + -1 + 18 composite?
True
Let n(y) be the second derivative of -y**5/20 + y**4 - 2*y**3/3 - y**2/2 + 3*y. Let d be n(11). Let t = d + -51. Is t a prime number?
False
Suppose z - 3*i = -z + 15, 0 = -5*z + 3*i + 33. Let n(d) = 4*d**2 - 6*d + 5. Is n(z) a composite number?
False
Let b(u) = 5*u - 4 + u - 5*u. Let p be b(9). Suppose 4*l + 4*n = 267 - 99, -p*l = -2*n - 175. Is l a prime number?
True
Suppose 0 = 4*o - a - 10029, a + 659 = -4*o + 10686. Is o composite?
True
Let h = 7 + 5. Is (-2)/h*10*-21 a prime number?
False
Le