t j(p) = p - 10. Let f be j(16). Is 6/(-1)*(-39)/f a composite number?
True
Let b = 9 - 5. Let i be 2/b - (-3)/(-6). Suppose w + 0*w - 14 = i. Is w prime?
False
Let k(g) = -g**3 + 5*g**2 - 2*g + 5. Let w be (0 + -7 + 2)*1. Let r be k(w). Suppose -r = -o - 4*o. Is o composite?
False
Let d(h) = -16*h**2 + 2*h - 4. Let v be d(-3). Let b = v - -287. Is b prime?
False
Let f(o) = -12*o**3 - 4*o**2 + 3. Let d(p) = -36*p**3 - 13*p**2 + 10. Let t(a) = -2*d(a) + 7*f(a). Is t(-1) a prime number?
True
Suppose -4*t - 2822 = -8246. Suppose -t = -4*f + 4*h, -h + 2*h = -3*f + 1001. Is f a composite number?
True
Let m(b) = b**3 - 10*b**2 + 35*b - 21. Is m(10) prime?
False
Suppose 4*l + 489 = 7*l. Is l a prime number?
True
Suppose 3*f - f - 10 = 0. Is 4/10 + 183/f a composite number?
False
Let o = -131 + 458. Is o a composite number?
True
Suppose -j + 9 = 2*j. Suppose -j*h - 18 = -102. Suppose h = 6*y - 2*y. Is y a prime number?
True
Let a be 10/4*(-20)/(-25). Is (1/2)/(a/188) a prime number?
True
Let x(v) = v**2 - v. Let d be x(-1). Suppose b = -d*b + 6. Suppose -2*i + 0*j + 14 = 2*j, 4*j - 10 = b*i. Is i a composite number?
False
Let a = 1233 + -746. Is a a prime number?
True
Let m(f) = f**3 - 19*f**2 + 3*f + 17. Is m(19) composite?
True
Let x = 9 + -6. Suppose 2*i = -x + 11. Suppose 2*y = i*y - 662. Is y a composite number?
False
Let c = 16 + -46. Let y = 107 + c. Is y composite?
True
Let u(z) = z**2 + 3. Let q be u(0). Suppose -w - q = 2*w. Is (-2)/w*(-57)/(-6) a prime number?
True
Suppose -3*m - 92 = -5*t, -3*t + 55 + 3 = m. Is t prime?
True
Suppose 80 = -2*h + 318. Let i(z) = 15*z - 7. Let o be i(-5). Let y = h + o. Is y a composite number?
False
Suppose 166 = -4*r - 3*m + 1149, 0 = 4*r - m - 963. Let x = r - 31. Is x composite?
False
Let t be 1*((3 - 2) + -1). Suppose t*j + 244 = 2*j. Is j a prime number?
False
Let a = 6 + 3. Is a/(-3) + 59 + 2 a prime number?
False
Suppose c - 566 = -5*s, -c = s + s - 227. Let k = s + -58. Is k composite?
True
Let l(y) = -1170*y - 5. Is l(-3) a prime number?
False
Suppose 4*m + f = 231, -4*f + 58 - 196 = -2*m. Is m a prime number?
True
Suppose -j = 4*j - 2*d - 927, -4*j - 4*d = -736. Suppose -j - 35 = -4*q. Is q a composite number?
True
Let b(g) = 6 + 7*g - g**3 + g - 2*g. Let t = -6 + 2. Is b(t) prime?
False
Let r be -1 - 1 - (6 - -4). Is (-5480)/r - (-2)/6 prime?
True
Suppose -2*q + 3*q - 71 = 0. Let i be (2 + 0)*q - 0. Is i - 2/(-1) - 1 a composite number?
True
Let n be (-1)/((-4)/(-2048)) + 4. Let y = -345 - n. Is y a prime number?
True
Let p be 2 + (2 - (10 + 1)). Let v(d) = 2*d**2 + 3*d - 10. Is v(p) a composite number?
False
Let i(w) = -19*w + 7. Suppose 4*y + 20 + 4 = 0. Is i(y) a composite number?
True
Let g = -2643 + 4960. Is g a composite number?
True
Let y = -4 - -5. Let b be 0*y*1/(-1). Suppose -3*v = -4*g - 141, 235 = 5*v - b*g + g. Is v a prime number?
True
Let b(g) = -g**2 - 27*g - 25. Is b(-10) a prime number?
False
Let w = -7 + 9. Suppose w*m - 5*m = -1227. Is m a prime number?
True
Let j be (-4)/(1/(-1) + 2). Let r be 2/(-5)*(-1 + j). Is 21 - (r + -1)*0 a prime number?
False
Suppose 0 = 5*i + 3*y, 2*i - 6*i = 5*y - 13. Let c = -2 - i. Is c*((-1)/1 + 4) composite?
False
Suppose t - 21 = 37. Let r = 81 + t. Is r composite?
False
Let o be (-3)/(-9)*(0 + 0). Suppose -u + 6 + 1 = o. Let b = -5 + u. Is b a prime number?
True
Let p = -6 - -8. Suppose -1 = n - p*n. Is n/2 - (-65)/2 prime?
False
Let q be 18/((2 - 0)/1). Is (-714)/(-9) - 3/q a composite number?
False
Suppose 4*j - 236 = -0*j. Let n = 159 - 74. Let l = n - j. Is l a composite number?
True
Let d(j) = 7*j**2 + j - 1. Let b(t) = 8*t**2 - 1. Let w(k) = 3*b(k) - 2*d(k). Is w(-6) a composite number?
True
Let a be 2/(4/146 - 0). Suppose -3*r = -2*r - 2*n + 24, 5*n = -5*r - 105. Let v = r + a. Is v a prime number?
False
Is 1*2063/(-2)*(-20 + 18) a prime number?
True
Let v = 181 + 60. Suppose -5*k + 3*k - n = -v, 1 = -n. Is k composite?
True
Suppose 4*l - 10 = -3*x, 4*x = l - 5 - 7. Let u be x/8 + 698/8. Suppose 62 = 3*f - 4*t, u = 4*f - t - 0*t. Is f a prime number?
False
Let b = 10 - -15. Suppose 4*w - 4*j - 52 = 0, -w + 2*w = -5*j + b. Is w composite?
True
Let d(v) = -2*v**3 - v - 1. Let k be d(-1). Suppose -i - 2*i = 2*t - 190, k*i - t - 122 = 0. Is i a composite number?
True
Suppose -4*w = -2*w. Suppose w = -2*r - r + 2658. Suppose -3*z = -z - r. Is z a prime number?
True
Suppose -5*g + 4 = -6. Suppose 9 = 3*d, 0 = -u - 5*d + g + 18. Suppose 5*f = -u*v + 295, -4*f - 16 = -8*f. Is v prime?
False
Let q(b) = -6*b - 51*b + 5 - 8. Is q(-2) prime?
False
Suppose -50 = -f - 15. Is f a prime number?
False
Let y = 42 - -349. Let r = -4 + 6. Suppose r*d = 5*k - d - y, k = d + 79. Is k a composite number?
True
Let w(x) = x**3 + 9*x**2 + 9*x + 10. Let n be w(-8). Let a(k) = 2*k**3 + k**2 + 2. Let r be a(n). Let y = -8 + r. Is y prime?
False
Let r = 14 + -22. Let g = r - -14. Is g composite?
True
Suppose 780 - 90 = 10*f. Is f a composite number?
True
Let k = 10 - 8. Suppose k*a - 92 = -0*a. Is a a prime number?
False
Let o(f) = 10*f**2 - 6*f - 9. Let z be o(7). Let g = z + -278. Is g a composite number?
True
Let z = 4 + -2. Suppose -4*r + 24 = 3*l, -r = -0*r - z*l + 5. Suppose -53 = -r*i + 340. Is i a composite number?
False
Let z(a) = 32*a + 13. Let w be z(11). Let o = w + 374. Is o composite?
False
Let f be (-1 - 0 - -4)*1. Let y be (-3)/(3/6*(-8 - -5)). Suppose 0 = -f*l - 12, -s + 2*s - 195 = -y*l. Is s prime?
False
Is ((-2222)/(-4))/(2/4) prime?
False
Let p(o) = -o**2 + 4. Let z be p(0). Suppose z*b = b - 9. Let r = 11 - b. Is r prime?
False
Suppose 3*t + 23 = 572. Is t a composite number?
True
Let d(a) = -208*a**3 + 4*a**2 + 6*a + 3. Is d(-2) composite?
True
Suppose -3*a + 2*a = 45. Is 3/5 - 8298/a prime?
False
Let n = 2815 - 1624. Is n composite?
True
Let f(c) = c**3 + 5*c**2 + c - 5. Let o be f(-5). Let t be 150/(-9)*12/o. Let z = t + 15. Is z prime?
False
Suppose j - 5 + 2 = 0, 4*w - 4*j - 4 = 0. Suppose 3*x = w*x. Suppose -3*i + 39 = -x*i. Is i prime?
True
Suppose 5*x - 5 - 40 = 0. Is x a prime number?
False
Let c(m) = -m**3 - m**2 - 4*m - 8. Is c(-7) composite?
True
Let v = 3433 + -1360. Is v composite?
True
Suppose -3*p - 12 = -o, -24 = -3*o - 0*o + 5*p. Let l(d) = o*d + 14*d**2 + 3 - 5*d**2 + 11*d**2. Is l(-2) a composite number?
True
Suppose 0 = -4*f - 5 + 21. Let n = -4 + f. Suppose 5*z - 385 = -n*z. Is z a prime number?
False
Let j(v) = -v**2 - 3*v + 4. Suppose 9 + 0 = -3*k. Is j(k) composite?
True
Suppose -10*a + 4*o = -6*a - 5472, a - 4*o = 1374. Is a composite?
True
Let f(p) = 303*p**3 + p**2 - 2*p + 1. Let o be f(1). Suppose -w + 34 + 200 = 4*k, -5*k + o = -4*w. Is k composite?
False
Let g(q) be the second derivative of 0 + 3*q - 1/20*q**5 + 0*q**2 - 2/3*q**4 - 4/3*q**3. Is g(-7) composite?
False
Let z = 16 + 58. Suppose 0 = -5*n + 221 + z. Suppose 16 = 3*o - n. Is o a composite number?
True
Suppose 0*x + 4*x - 720 = 0. Suppose -z + x = 2*z. Let t = z - 11. Is t a composite number?
True
Let v = 356 - 63. Is v a composite number?
False
Let y = 4 - 1. Suppose 8*s = y*s. Suppose 5*u - 209 + 39 = s. Is u a prime number?
False
Let b be -6 - -2*(1 - 0). Let t(r) = 8*r + 3. Let w be t(b). Let z = 54 + w. Is z a prime number?
False
Suppose 0 = -z + 4, -2*k - 12 = -3*z. Suppose -5*t = -2*m + 77, 5*m + k*t = -3*t + 115. Is m composite?
True
Suppose d = -4*r + 31972, 0 = r - 2*r + 5*d + 7993. Is r prime?
True
Let i = -11 + -207. Let w = -151 - i. Is w prime?
True
Let d = 3 + -3. Suppose 5*n - t = 91 + 422, d = -5*n + 3*t + 509. Is n a prime number?
True
Let d(y) be the second derivative of 0 + 0*y**4 - 3*y + 1/6*y**3 - 1/2*y**2 + y**5. Is d(2) composite?
True
Let a(h) = 30*h + 9. Is a(8) a composite number?
True
Let t be (-2)/3*(0 - -3). Let y = t + 1. Is (-113)/(y*(-3)/(-3)) a composite number?
False
Suppose 8 = -3*q + q. Is ((-5)/4)/(q/368) a prime number?
False
Suppose 10 + 2 = 3*b. Is (6 - -62)*5/b prime?
False
Let n(k) = 5*k**2 - 4*k**2 + 8 + 5. Is n(-10) a prime number?
True
Let t = -40 - -170. Suppose -145 - t = 5*j. Let i = 146 + j. Is i composite?
True
Suppose 4*g - 44 = 96. Suppose -4*k - k = -g. Is k prime?
True
Suppose -1090 = -7*x + 2*x. Is x a prime number?
False
Let g = 23 - 10. Suppose -5*n = -3*u + g, n - 4 = 2*u + 4*n. Is u + (126 -