 d a prime number?
False
Suppose 3*a - 13*u - 194544 = -14*u, 2*a + u = 129695. Is a a prime number?
True
Let b(o) = o**2 + 7*o - 3. Let f be b(-5). Let d(j) = j + 1. Let r(l) = -15*l - 20. Let t(n) = 5*d(n) + r(n). Is t(f) a composite number?
True
Suppose -h + 30796 = 3*s, 3*s - 4*s - 2*h = -10267. Is s prime?
False
Suppose 5*m + 14*h = 11*h + 67333, 2*m + 4*h - 26936 = 0. Is m composite?
True
Suppose 12*r - 29*r = -3252763. Is r composite?
False
Let u(y) = -84*y - 49. Let x be u(-26). Suppose 2*s = -0*k - 5*k + x, -1708 = -4*k + 5*s. Is k a composite number?
True
Let s = 5 - 3. Let d be (2192/(-8))/(1*s). Let n = d - -256. Is n prime?
False
Let d(c) = c**3 + c**2 + 7. Let k be d(0). Is 2588*(2 + k/(-4)) prime?
True
Let b(o) = -o**2 + 5*o + 10. Let z be b(6). Suppose -z*y = -4142 + 386. Is y prime?
False
Let c(o) = -o**3 - o**2 - 2. Let v be c(-2). Let r be v/(-11) - 57168/(-66). Suppose -233 = 3*h - 3*w - r, -844 = -4*h - 5*w. Is h a composite number?
False
Suppose -3*a + 9761 + 4195 = 0. Suppose g + 42 = 8*g. Suppose -a = 2*b - g*b. Is b prime?
True
Let b = -48 + 84. Is (1608/b)/((-2)/(-57)) prime?
False
Let q(c) = 135*c + 19. Let z(j) = 3*j**2 - 4*j - 7. Suppose -h = -p - 0*p + 3, 3*p = -2*h + 9. Let x be z(p). Is q(x) a composite number?
True
Let t(w) be the first derivative of -1/2*w**4 + w**3 - 1/2*w**2 - w + 5. Is t(-3) a composite number?
False
Suppose 65655 = 16*k - 245753. Is k prime?
True
Let t = 189 + -38. Let f = 300 - t. Is f a prime number?
True
Let p = -3326 + 14539. Is p a composite number?
False
Suppose -2805 = -9*l + 4*l. Suppose 559 + l = 5*h. Is (h/(-12) + 1)*-3 composite?
False
Let q = -189 - -285. Suppose 0 = -7*o + 579 - q. Is o prime?
False
Let o = 48 - 39. Suppose c + 3880 = o*c. Is c prime?
False
Let c be (0 - 0) + -1 + 682. Suppose -67 - 273 = -10*o. Suppose 0 = 5*l - c - o. Is l a composite number?
True
Let c(d) = 2*d**3 + 9*d + 21. Is c(8) a composite number?
False
Let d = 53187 - 25454. Is d a composite number?
False
Suppose 0 = -8*m - 74768 + 239560. Is m prime?
True
Let c = 28 + -25. Suppose -277 = -3*u - 2*m, 0 = 2*u - 5*u + c*m + 252. Is u a prime number?
True
Suppose 5*m = 4*w + 105213, 0 = -3*m + m - 4*w + 42074. Is m prime?
False
Suppose 2*u = 9 + 75. Let f be 259/u - (-2)/(-12). Is (127/(-2))/(f/(-12)) a composite number?
False
Is (1 - (8 + -6))*-8663 prime?
True
Let p(j) = 58*j + 14. Let m be p(9). Suppose 3*a + 182 = m. Is a a prime number?
False
Suppose -2*m + 61943 = 3*a, 0*m - 154863 = -5*m - 2*a. Is m a composite number?
True
Let i = -6185 + 11964. Is i a composite number?
False
Let k(t) = -25*t - 17. Let b be k(-1). Let d = 18 - 12. Is (d + -10)*(-502)/b prime?
True
Suppose 3*d + 4 - 7 = 2*h, h = -5*d + 18. Suppose -h*c - 12 = -c. Let t = 29 - c. Is t a composite number?
True
Let n = 1443 + -869. Suppose -n = 3*u - 154. Let b = 363 + u. Is b a composite number?
False
Suppose 2*b + 4977 - 49003 = 0. Is b a prime number?
True
Let u be 14/(-49) - (-74)/14. Suppose -u*c - z = -331, 189 = 3*c - z + 4*z. Suppose -c = -t - 10. Is t a composite number?
True
Let z be (12 - 12) + (9/3 - 2). Is (1/(-1))/z*-1649 prime?
False
Suppose -7 - 9 = -4*i. Suppose 8*s = i*s + 1756. Is s a prime number?
True
Let b = 106 + -101. Is -3482*b/(-10)*1 a prime number?
True
Let s = -2294 + 8327. Is s prime?
False
Let b be (-3084)/(-22) + 6/(-33). Suppose -4*c + b = -0*c. Is c a composite number?
True
Let k = -878 + 1677. Is k a prime number?
False
Let f(t) = 2 - 4*t**3 + 2 - 5. Let a be (4/6)/(1*5/(-15)). Is f(a) a composite number?
False
Let f(h) = 820*h - 493. Is f(5) a prime number?
True
Suppose 5*i = 6*i. Suppose 2*b = -2*b + 12. Suppose i*o + b*o = -4*g + 95, 4*o + 5*g - 128 = 0. Is o a composite number?
False
Let b be 6/4*(-28)/(-21). Suppose -5*l + 120 = -r, -10 = -0*r + b*r. Suppose 4*i - 3*m - 43 = 0, 2*m + l = 2*i - m. Is i a composite number?
True
Suppose -19 - 1 = -10*w. Is (-1)/w - 1590/(-20) composite?
False
Suppose -2*f = -381 - 2933. Is f composite?
False
Let k = -4 + 8. Suppose k*x - 148 = 3*x. Suppose 2*m - x = -0*m. Is m a prime number?
False
Suppose -r + 3 + 2 = 0. Let j(p) = 46*p - 4. Is j(r) a composite number?
True
Suppose 6*j = 4*j + d - 2, -10 = -4*j - 5*d. Suppose j*i = -7*i + 1127. Is i composite?
True
Let c(v) = -22*v - 3 - 11*v + 13*v. Is c(-2) prime?
True
Let z(m) = 2*m + 1 - 12 + 2. Let i be z(4). Is i/5 - (-746)/5 composite?
False
Let n(m) = 258*m**3 - 2*m**2 - 3*m + 2. Is n(3) composite?
True
Let b(a) = -64*a + 57. Suppose 51 = -3*l + 4*p, 5*l + 77 = -0*l + 4*p. Is b(l) a prime number?
False
Let t(q) = -q**3 - 10*q**2. Let h be t(-10). Let n(v) = -v**2 + v + 149. Is n(h) prime?
True
Let p(x) = -2047*x + 25. Is p(-6) a prime number?
False
Let f = -15012 + 23513. Is f prime?
True
Let b(r) = -85*r - 1. Let a be b(-1). Let g = a - 24. Let j = g - 29. Is j prime?
True
Suppose -1506*v + 1502*v = -44428. Is v prime?
False
Let j(y) = 10*y**3 - y**2 + 1. Let q be j(1). Let z = 47 - q. Is z prime?
True
Let r(h) = 324*h**2 - 5*h + 9. Let v be r(4). Suppose -7*t + v = -3213. Is t a composite number?
True
Let j = -2 - -2. Let q(u) = u**2 + 233 - 4*u**3 + 1748*u - 1746*u + 5*u**3. Is q(j) prime?
True
Let g(v) = 36*v - 60*v + 12*v - 11 + 38*v. Is g(3) a prime number?
True
Suppose 6*d - 2*d - 28 = 0. Suppose 4*h + 3*p = 381, d*p - 3*p = 12. Suppose 3*k - 4*v - 770 + h = 0, -k = v - 221. Is k a prime number?
True
Suppose -19*c = -91*c + 1227384. Is c a prime number?
True
Suppose 4*q - 2*m - 2*m - 3700 = 0, 2*m = -q + 931. Let s = q + -610. Is s a composite number?
False
Let y = -6 + 10. Suppose -h - y*o + 20 = 0, 0*h + 2*o + 32 = h. Suppose -5*j = s - h, -47 = -3*s - 2*j - 2. Is s a prime number?
True
Let b(c) = -1913*c - 17. Is b(-2) a composite number?
True
Suppose 0 = -9*d + 6148 + 6047. Suppose -2*o - 3*h = -d, -o - h + 833 = 153. Is o composite?
True
Let r(d) = 16*d**2 + 1 + 6*d + 0*d - 4*d + 8*d**2. Suppose 3*q = -4 - 5. Is r(q) composite?
False
Suppose -j + 0*j - 3 = -i, -5*j = -2*i - 3. Suppose 8 - i = t. Suppose -3*c + 255 = t*c. Is c prime?
False
Let f = 52 - 74. Let v be (-6726)/(-4) + 11/f. Let c = v + -914. Is c a composite number?
True
Suppose -2*m + 4*u + 956 = 0, -m + 14 = 4*u - 470. Let o(j) = j + 13. Let d be o(-11). Suppose -5*z + z + m = -x, -d*z + 234 = x. Is z a prime number?
False
Suppose -820 = 5*g - 2*p, 4*g - p = g - 493. Let q = -99 - g. Is q composite?
False
Let d be (3/2)/(3*1/8). Suppose 0*y + 1492 = d*y. Is y a prime number?
True
Is (-15988)/(-6 + -1) - (4 + -1) prime?
True
Suppose -2*o + g = -31638, -4*o - 18*g + 13*g = -63248. Is o a composite number?
False
Suppose -3*t = -3*y + 12, -2*y + 2*t + t + 4 = 0. Suppose z + 4 = y. Let p = z - -7. Is p a prime number?
True
Is -4 + 28/8 - 39323/(-2) prime?
True
Let d be 114/(-190) + 11/(-10)*-1786. Is (-1)/((-2)/d*-2*-1) composite?
False
Let q(f) = -16 - 16 + 528*f + 51. Is q(6) a composite number?
False
Let q(j) = 452*j**2 + 3*j + 4. Is q(-1) a composite number?
True
Let p = -28 + 25. Let b(t) = t**3 + 3*t**2 + 2*t + 4. Let r be b(p). Is (15 - 13)/(r/(-831)) a prime number?
False
Let x(y) = -343*y + 81. Is x(-14) prime?
False
Let m = -48376 + 75855. Is m prime?
True
Let m(p) = 19*p**2 + 2*p - 1. Let q be m(6). Suppose 3*k - q = -2*k. Is k a composite number?
False
Let j = 20941 - -5986. Is j a composite number?
False
Let n(q) = 537*q - 4. Is n(41) a prime number?
True
Let x be (-3 - -4)*-1*0. Is 181 - (-4 + 0 + x) prime?
False
Suppose 10*g + 15 + 65 = 0. Let i(f) = -113*f + 3. Is i(g) prime?
True
Let c(d) = -d**3 + 46*d**2 + 7*d - 1. Is c(42) a composite number?
False
Suppose o - 4*d = 601, -4*o - d + 3076 = 672. Suppose -4*z = -o + 125. Is z a prime number?
False
Let k = 138975 + 67336. Is k composite?
True
Let j(w) = w**2 + 107 + 343 - 136. Suppose 16 = 2*p + 4*r, p - 3*r = 2*r - 20. Is j(p) composite?
True
Let u(f) = -9*f**3 + 1 - 29*f**3 - 4*f + 7*f. Let v be u(-2). Suppose -5*j + 4*k = -v, 5*k - 133 = -3*j + 39. Is j a composite number?
False
Let p(q) = -14*q - 7. Let c(l) = -6*l - 11. Let u be c(-7). Suppose 0 = 3*d - 3*y + 10 - 4, u = -3*d - 2*y. Is p(d) composite?
True
Let g(v) = -3*v**3 - 7*v**2 + 3*v + 43. Let r(j) = 2*j**3 + 4*j**2 - 2*j - 21. Let y(h) = -3*g(h) - 5*r(h). Is y(-7) a composite number?
True
Suppose -19 =