) = 3*d(u) + 4*p(u). Is l(7) prime?
True
Let p be (276/10)/((-15)/(-50)). Suppose -p + 937 = 5*l. Let u = l + -120. Is u a composite number?
True
Suppose 5*h = 4*z - 0*z + 590, -2*h = -4. Let s be -1 + -1 + 1 + z. Let m = 241 + s. Is m a prime number?
False
Suppose -5*k = -k - 44. Let q = 318 - k. Is q prime?
True
Suppose -4*v + 3*d = -0*d - 4483, -5*v + 2*d = -5609. Is v prime?
True
Suppose v - 6*v + 14 = -3*i, 3*i - v = 2. Is i a composite number?
False
Suppose -j = 2*u + 2*u - 21, -5*j + 17 = -2*u. Let b be (-1)/(-2)*(j - -1). Suppose -2*i + b*a + 42 = -i, -4*a + 54 = 2*i. Is i composite?
True
Suppose -8*r = -6*r - 110. Suppose 0*h = h - r. Is h prime?
False
Is ((-49)/(-3))/((-1)/(-3)) composite?
True
Let x = 36 - 36. Suppose 3696 = 3*s + s. Suppose x = -3*u + s - 291. Is u a prime number?
True
Suppose 0 = -j + 2*y + 52, -3*j + 125 = 4*y + 9. Let n = j - 6. Is n a composite number?
True
Suppose 0 = -3*j + k + 3*k - 1225, 2033 = -5*j - 2*k. Let x = -100 - j. Is x a composite number?
False
Suppose 2612 = 5*s + 717. Is s a composite number?
False
Let o be ((-205)/(-2) + -3)*24. Suppose j = 3*r - 1437, 4*j + o = -3*r + 8*r. Let z = r - 319. Is z composite?
True
Suppose 3*c - 9 = 0, 8*c - 4*c + 63 = 3*g. Is g - 2/(-2)*-3 a composite number?
True
Let t(r) = 13*r + 10. Let p be t(6). Let a(d) = 5*d**3 - d**2 + 1. Let q be a(1). Suppose -q*k + p = -k. Is k a prime number?
False
Is (((-6730)/4)/5)/1*-2 a composite number?
False
Suppose -66 = o - 172. Is o prime?
False
Suppose 2*p - 2891 = -3*o, -2*o - p = p - 1926. Is o a composite number?
True
Let b(g) = 246*g - 17. Is b(5) a prime number?
True
Let g(l) be the first derivative of 7*l**2/2 + 2*l - 1. Let f = -8 + 11. Is g(f) a prime number?
True
Let g(y) = 6*y**2 + 7*y - 7. Let c be g(-7). Let z be ((-8)/6)/((-2)/3). Suppose 296 = 5*n - z*x, -5*n + c = -n - 2*x. Is n a prime number?
False
Suppose 0*v - 4*v = -4*h - 8, -5*v = -2*h - 10. Suppose 8 = 4*t - v*t. Suppose -49 - 82 = -t*m - 3*w, 4*m = -4*w + 128. Is m composite?
True
Let c be 550/(-20)*(-8)/5. Suppose -c - 53 = -w. Is w a prime number?
True
Let k = 15 + -148. Let d = 344 + k. Is d a composite number?
False
Suppose 2*a - 1 = a. Is a/(-5) - 7278/(-15) prime?
False
Suppose 4*s - 4*a - 20 = 0, -4*s + 3*a + 1 = -16. Suppose -3*z - s*z = -4*x - 295, 0 = 4*x + 20. Is z a composite number?
True
Let k be 18/(-45) - 207/(-5). Let d = 62 - k. Is d a composite number?
True
Let d be (-6)/8*(2 - 238). Is (-1)/(-1 + 176/d) prime?
False
Let i(l) = -50*l - 3. Let d(x) = 2*x + 2. Let c be d(-2). Is i(c) a composite number?
False
Suppose -s = -4*j - 0*j + 1080, -4*j + 1088 = -3*s. Is j a prime number?
True
Suppose -3*h - 5 + 395 = 0. Let f = -8 + 12. Suppose -f*p = p - h. Is p composite?
True
Let n = -35 + 233. Suppose -5*z - 4*g = -815, -z + 5*g = -n + 35. Is z composite?
False
Let n be (-6)/(-10) + 3/(-5). Suppose n = -4*z + 7*z - 102. Is 4/(-10) + z/10 prime?
True
Let n(c) = 26 - 12 + 10*c - 4*c. Is n(10) prime?
False
Let o(t) = -t**2 - t - 195. Let j be o(0). Let q = j + 308. Is q a composite number?
False
Let l(o) = 2*o + 2. Let z be l(0). Suppose 2*q = 3*m + 355, q = -0*q - z*m + 195. Is q a prime number?
False
Suppose 5*i + 10 = 65. Is i prime?
True
Let m(k) = 80*k**2 - 4*k - 5. Is m(4) a prime number?
True
Let i(g) = 2*g**3 - 12*g**2 + 5*g - 7. Let n be i(8). Suppose -5*m + 1554 = n. Is m a composite number?
True
Suppose -2*y - 6 = -2*f + 6, -29 = -4*f - y. Suppose 4*h = 5*g + 1 + 1, -5*g + h + f = 0. Is 0 + -2 - (-174)/g a composite number?
True
Let n(t) = t**3 + 5*t**2 - 3*t - 4. Let o be n(-6). Let u be 4/o - 202/(-22). Let p(x) = x**2 - x + 7. Is p(u) prime?
True
Suppose t = 4*t + d + 39, 4*t + 60 = -4*d. Let v(u) = u**2 + 11*u - 9. Is v(t) a composite number?
False
Suppose 284 + 951 = 5*h. Is h a composite number?
True
Let h = 63 - 16. Let p be 2 - (1 + -2*8). Suppose 2*u + p = h. Is u a prime number?
False
Let g = -85 - -288. Is g a prime number?
False
Let c(r) = r**3 + 8*r**2 - 3*r + 8. Let t be c(-7). Suppose t = -4*v + 314. Is v prime?
True
Suppose -366 = -7*t + 1132. Is t a composite number?
True
Let y = 3 + 1. Suppose -2*o = 5*c + 21, y*c = 3*c - 5. Is o a prime number?
True
Suppose -p = -4*p + 6. Suppose y + 2*s + p = 0, -3*y + 5*y - 3*s = -25. Let u(f) = -f**3 - 6*f**2 + 13*f + 11. Is u(y) prime?
False
Is (-2 + (-15)/(-6))*170 composite?
True
Suppose 2*f + 44 = 6*f. Let b(c) = 29*c + 16. Is b(f) prime?
False
Suppose q + 0*q - 332 = 0. Suppose q = 2*d + 12. Suppose -5*j + 10 + d = 0. Is j a composite number?
True
Let o(m) = m**2 - 1. Let f(i) = -i**3 - 16*i**2 + 10*i - 7. Let n(u) = -f(u) - 6*o(u). Let l be n(-11). Suppose -w + 0*w = -3*k + 42, -l*k = w - 33. Is k prime?
False
Let m(l) = 4*l**2 - 5*l + 10. Let n = 7 + 1. Is m(n) composite?
True
Let k(s) = 28*s**2 - 4*s + 3. Let x be k(3). Suppose 3*i = 4*i - h - 122, 2*i - h = x. Is i a prime number?
False
Let s(q) = 178*q**3 + 2*q**2 + 2*q + 2. Let k be s(-2). Is k/(-18) - 28/(-126) prime?
True
Suppose 5*b - r = 92, 2*b + 2*b = 5*r + 61. Is b a composite number?
False
Suppose -4*f + 0*f = -r + 3, -5*r - f + 15 = 0. Let w(x) = 2*x - r*x**3 - 4*x + 2*x**3. Is w(-3) a composite number?
True
Suppose -c + 82 = g, c - g = 101 - 21. Suppose 4*q = c - 1. Is 1*(q/2 - 3) a composite number?
False
Is (1/2)/(3/4254) prime?
True
Is 4/10 - 1 - (-10798)/5 a prime number?
False
Let s(d) be the second derivative of 38*d**3/3 - 3*d**2/2 + 2*d. Is s(4) a prime number?
False
Is (478/(-10))/((-17)/595) a composite number?
True
Suppose -4*x - 5 = 7, 2351 = 5*z - 2*x. Is z prime?
False
Suppose -14 = -3*l - 2*o, l - 10 = o - 2. Let r = l - 5. Is r/2 - (-362)/4 a composite number?
True
Suppose -3*z + 2*d + 2*d - 8 = 0, -3*z - d = -17. Suppose -q = 5*g - 133, 0 = -z*g + 14 - 2. Is q composite?
True
Let w(b) = 3 - 1 + b**2 - 1 + 1. Let o be w(4). Is 8/(-36) + 184/o prime?
False
Let v = 3174 - 1693. Is v a composite number?
False
Let c(h) = -h**2 - 9*h + 6. Let y be c(-7). Suppose a - 3*t + 2*t - y = 0, -5*a + 114 = 2*t. Is a prime?
False
Suppose 5*k + 3*j - 3392 = 0, 7*k - 3*j - 2719 = 3*k. Is k composite?
True
Let j be (-2)/3*-3 + -3. Is ((-12)/(-10))/(j/(-5)) a prime number?
False
Let r = 1 - 0. Is (-4)/(-6)*(r - -2) a composite number?
False
Let r(f) = 54*f - 1. Let q be 12 - 7 - (1 + -1). Suppose -3*x = -0*t - 2*t - 5, q*t = -5*x. Is r(x) prime?
True
Suppose -5*s - 4*n + 9*n = -520, -s + 98 = 5*n. Is s composite?
False
Let n(c) be the first derivative of -2*c**2 + 2 - 9*c - 2 + 3. Is n(-11) a prime number?
False
Let v be (-6)/4*2 + 5. Suppose 5*j - v*j - 285 = 0. Is j a composite number?
True
Let u(t) = 3*t - 1. Suppose -7 = -2*f + 3. Let p be u(f). Let r = 79 - p. Is r a composite number?
True
Let q(i) = 70*i**2 + 4*i - 3. Is q(-4) prime?
False
Let t be (-36)/(-16) - 2/8. Suppose -120 = t*x - 5*x - 2*v, v = x - 45. Suppose 0*l - 4*b = 2*l - x, 0 = -2*l - 3*b + 37. Is l a composite number?
False
Let k be (8 + -2 - -2) + 1. Is (113/3)/(3/k) a composite number?
False
Let d(c) = 3*c - 1. Let f be d(1). Suppose f*a = -3*a. Suppose 326 = -a*o + 2*o. Is o composite?
False
Let k = 8 + 27. Is k a prime number?
False
Let w be 2/(-9) + (-352)/36. Let d = 13 + w. Is d a composite number?
False
Suppose 0 = 3*v - 4*a - a - 897, v = -a + 299. Suppose 0 = -8*b + 9*b - v. Is b composite?
True
Suppose -3*n = 5*i - 2086, 3*i - 934 - 338 = 5*n. Is i composite?
False
Let k(o) = -5*o**2 - 4*o - 4. Let l be k(-2). Let g be 1 + 22 + 0 + -1. Let f = l + g. Is f prime?
False
Let q(a) = 10*a - 2. Let y(l) = -10*l + 3. Let b(w) = 6*q(w) + 7*y(w). Is b(-8) prime?
True
Suppose -14*d = -1483 - 10599. Is d composite?
False
Let h = -24 + 12. Let f = 13 - 13. Is 2 + f + h/(-3) a composite number?
True
Let t = 387 - 196. Is t composite?
False
Suppose -4*u = -3*u + 2*s - 108, 2*s + 124 = u. Let n = u - 27. Is n a prime number?
True
Let l be -1 - 0 - (1 - -2). Let r(x) = x**3 + 7*x**2 + 3*x - 3. Is r(l) prime?
False
Suppose 2*x + 807 = 3*c, 7*c - 2*c - 1329 = -2*x. Is c a composite number?
True
Suppose 8 = 5*q - 32. Is q/(-52) - (-2370)/26 prime?
False
Let f = -784 - -1113. Is f prime?
False
Let v(n) be the first derivative of 4*n**3/3 + 2*n**2 - n - 2. Is v(-3) a composite number?
False
Let s be (-5)/10 + (-22)/(-4). Let g be -5*(-1 + (-43