 4. Let f be b(2). Let i = f - -1229. Is i a composite number?
False
Suppose 120 = p - i, 308 = 3*p + 4*i - 17. Is p a composite number?
True
Suppose -3*n - n + 460 = 5*g, -4*n + 5*g + 420 = 0. Is ((-18)/(-10))/(33/n) a composite number?
True
Let m(r) = 104*r**2 + r. Let t be 6/8 - 3/(-12). Let p be m(t). Suppose 2*n = -3*n + p. Is n composite?
True
Let t = 910 - 473. Is t prime?
False
Let t be ((-3)/(-3))/((-1)/(-48)). Suppose -q + 5*d + 12 = 0, q - t = -3*q - d. Let y = 1 + q. Is y a prime number?
True
Suppose 0 = 4*v + 3*d + 12, 0 = -5*v - 2*d - 15. Let w(a) = -a - 2*a - 4 - a + 3*a**2. Is w(v) composite?
True
Is (-331)/(-4) - (-4)/16 a composite number?
False
Let j(h) = -h**3 - 11*h**2 - 4*h + 7. Is j(-13) a prime number?
True
Let t be -11 + 3/(12/8). Is 2/(-3) - 2013/t composite?
False
Let m be -4*(-4)/16 + -15. Let n(y) = y**3 + 14*y**2 - 15*y - 7. Is n(m) composite?
True
Suppose 0 = n - 2*n - 7. Let v = 2 + n. Is (-49)/4*(1 + v) prime?
False
Let l(t) = -5 - 2*t + 0 - 1. Let w be l(-5). Is 213/w - (-1)/(-4) prime?
True
Let l(q) = 4*q**2 + 2*q**2 + 8*q**2 - 9 - 5*q**2 + 8*q. Is l(8) prime?
True
Suppose -289 = -2*x + 1733. Is x composite?
True
Let b = 6349 - 3552. Let d = b + -1628. Is d composite?
True
Suppose 3*h - 230 = 2*w, -4*w - 226 = -5*h + 2*h. Let x = h + -53. Is x a prime number?
False
Suppose 4*l = 2*c - 6, 4*c = c - 3*l. Is (c*-1)/((-3)/285) a composite number?
True
Let v be (-3)/(-8) + 65/40. Is v*-1 - 3330/(-10) prime?
True
Suppose -2*w + 3*o + 1700 = 0, 2*o - 1728 = -2*w - 2*o. Suppose 2*r - w = -2*r. Is r a composite number?
True
Let k be (342/15)/(2/(-10)). Let t = k - -167. Is t a prime number?
True
Let j(b) = 3*b**3 - b**2. Let u be j(1). Suppose -4*v - 14 = -5*a, -u*a + 0*a = -5*v - 9. Is (2/4)/(a/188) a composite number?
False
Suppose w + w = 228. Let a = -61 + w. Is a a prime number?
True
Suppose -11*q = 603 - 4156. Is q a composite number?
True
Let f = -2 - -4. Suppose 0 = -f*z - z + 9. Suppose -4*i + 381 = 3*p, z*i + 140 = p - 0*p. Is p composite?
False
Let n be 1*((2 - 0) + 1). Suppose n*q + 100 = -5*l, -4*q - 4*l = -7*l + 85. Let i = q + 78. Is i composite?
False
Suppose -p - 6 = -2*c + 1, 3*c - 3*p - 12 = 0. Suppose 4 - 3 = -2*k - 3*w, 3*w - 6 = -c*k. Let q = k + 28. Is q prime?
False
Suppose 5*m - 484 = 1. Is m composite?
False
Let v = 177 - 274. Is v/(-2 - 1 - -2) composite?
False
Let a = 201 + 50. Is a a prime number?
True
Let j(l) = 5 - 2*l + 5 + l + 9*l. Is j(8) a composite number?
True
Let m = -61 - -3. Is m/(-1) - (-2 - 2) composite?
True
Let j = -5 - -272. Is j a composite number?
True
Let a = -168 + 345. Is a composite?
True
Suppose 0 = 5*u + 4*m - 6685, u - 3*m - 1337 = -0*u. Is u composite?
True
Let z = 63 - 8. Is z composite?
True
Let p be 9/7 + (-2)/7. Suppose -4 + 12 = -4*y. Is ((-74)/4)/(p/y) a prime number?
True
Let k(z) = -3*z**2 - 3*z - 2. Let t be k(-5). Let f = 101 + t. Is f a composite number?
True
Suppose 0*t + 6 = -3*t. Is (-3 + 3 + -254)/t a composite number?
False
Suppose 5*i = 3*g - 22, 5*g + 4*i - 4 = 2*g. Let s(v) = 13*v - 1. Is s(g) a prime number?
False
Suppose 547 = 2*b - 3*t - 391, -5*t - 938 = -2*b. Is b a prime number?
False
Let a(w) = -w**2 + w + 2*w**2 - w**3 - 3*w**2 - 3. Let p be a(-3). Is 2/p - 109/(-3) a composite number?
False
Suppose -5*n - 3*w + 3719 = -n, -2789 = -3*n - 2*w. Is n a prime number?
True
Let o = 62 - -11. Let t = o + 61. Let s = -67 + t. Is s a prime number?
True
Let z = 86 + -48. Is z a composite number?
True
Let f(i) = -3*i**2 + 2 - 3*i**3 + i**2 - 1. Let b be f(-1). Suppose -7*l + 265 = -b*l. Is l prime?
True
Suppose -3*z - 558 = -5*w, -4*z - 4 = -0*z. Is w a composite number?
True
Let f = -242 + 353. Let i = f + 230. Is i prime?
False
Let v(k) be the third derivative of -k**6/120 + k**4/24 + 127*k**3/6 + k**2. Is v(0) prime?
True
Let g = 4105 - 2920. Let l = -30 - -34. Suppose l*u - g = u. Is u composite?
True
Let y = -521 + 869. Suppose h + y = 7*h. Is h a prime number?
False
Let a = 18 + -13. Suppose -4*i = -3*x + 303, -3*i = -a*x - 2*i + 488. Is x a prime number?
True
Suppose 5*d - 2809 = -384. Suppose -4*i = i - d. Is i a composite number?
False
Let p = -11 - -5. Let x be (p/(-4))/(2/240). Suppose 0 = -4*n - 28 + x. Is n composite?
True
Suppose 8 = 5*p - p. Suppose -y + 207 = p*y. Let n = y - 32. Is n a prime number?
True
Let s be (-13809)/(-15) + 4/10. Is s/18 + (-1)/6 a prime number?
False
Let r = 30 - 121. Let s = -36 - r. Is s a prime number?
False
Suppose 2*d + 4*d - 8886 = 0. Is d prime?
True
Let b = -66 - -116. Let f = -35 + b. Is f a composite number?
True
Let y(h) = 2*h**2 + 6*h + 13. Suppose -2*q - 14 = -n, -5*q = -n - q + 16. Is y(n) a composite number?
False
Let w be ((-351)/(-6))/((-2)/(-12)). Suppose 2*m - 687 = w. Is m a prime number?
False
Suppose -3 = 4*r - 11. Suppose -7*o + r*o + 605 = 0. Is o composite?
True
Let p(k) = -9*k**3 - 2*k**2 + 3*k + 4. Is p(-2) a prime number?
False
Suppose -p + 3*b = 5956, 5*b - 29730 = 4*p + p. Let u = 8326 + p. Is u/20 + (-1)/4 composite?
True
Let t(h) = -2*h - 6. Let v be t(-4). Suppose 0 = 2*r - v*i - 24, -5*r + i + 6 = -42. Is r a prime number?
False
Let f be (-2 + 0)*2/4. Let x be (1 - f)*(-1)/2. Is (5 - 6)*37*x a prime number?
True
Let o = 28 - 23. Suppose -o*f = -0*f - 935. Is f prime?
False
Let r(k) = 1. Let t(f) = -f**3 + f**2 + f - 261. Let g(j) = -6*r(j) - t(j). Let s be g(0). Let v = s + -128. Is v composite?
False
Let k = -1 + 8. Suppose -k*f = -4*f + 126. Let h = 131 + f. Is h prime?
True
Let l(s) = s + 8. Let b be l(-6). Suppose -b*r + u + 2*u + 89 = 0, 0 = -4*u - 20. Is r a composite number?
False
Suppose -k - 3*d + 1 = 0, k - 2*d = -2*k - 8. Let f(u) = -u**2 + 6*u + 3. Let b be f(6). Is k - (6/b + -29) a composite number?
True
Suppose h = 16 + 15. Is h a prime number?
True
Suppose 2*g = -2*g + 12. Suppose 2*a - 385 = -g*a. Is a a composite number?
True
Let d(t) = 2 + 7*t**2 - 3 - 4*t - 2 + 14*t**2. Is d(-2) a composite number?
False
Let i(j) = 11*j**2 + 4*j + 4. Is i(-5) prime?
False
Suppose 4*f - 187 = 5*s, -f + 2*s = 4*f - 255. Let t = -6 + f. Is t a prime number?
True
Let a(r) = -r**3 + 6*r**2 + 6. Let m be a(5). Suppose 4*w - m = 213. Let k = w - 8. Is k prime?
True
Suppose 0 = 3*r + 151 - 784. Is r prime?
True
Let o = -145 + 594. Is o a composite number?
False
Let c = 1 - 0. Suppose 0 = u - 3*i, 2*i = -4*u - c - 13. Let d(b) = 5*b**2 + 2. Is d(u) a composite number?
False
Let o = 4 - 7. Is ((o - -6) + -8)*-67 a prime number?
False
Suppose f - 11 = 18. Suppose 2*h + 13 = -f. Is (-14)/h - (-64)/3 a prime number?
False
Let i(g) = -g**3 - 9*g**2 - 20*g - 1. Is i(-14) a prime number?
True
Suppose 7*s = 672 + 665. Is s composite?
False
Let c be 15/21 - (-2)/7. Let f be (c - 0) + -2 - -1. Suppose 9 = 2*s - 4*q - 7, -4*s + 4*q + 36 = f. Is s a prime number?
False
Let g(m) = m**3 + 5*m**2 + m + 2. Let w be g(-5). Let o be 2/(2 + 4/w). Suppose 5*k + 4*s = s + 84, s = -o*k + 48. Is k prime?
False
Let d(v) = -67*v - 5. Suppose 4*y - 5*q + 9 = 0, y + y + 27 = -5*q. Is d(y) prime?
True
Let m(y) = -11*y**3 - 4*y**2 - 3*y - 1. Suppose 0 = b - 3*b, 0 = -5*d - 4*b + 5. Let i be -2*(d + (1 - 1)). Is m(i) a prime number?
False
Let j(i) be the third derivative of -2/3*i**3 + 1/15*i**5 - 1/120*i**6 + 2*i**2 + 0 + 0*i + 1/12*i**4. Is j(4) composite?
True
Let k be (-1034)/(-4) - 12/(-8). Suppose -5*l + 0*u = -3*u - k, -2*l = -2*u - 100. Is l prime?
False
Let p(d) = 3*d**2 + 5*d - 1. Let g be p(-4). Let q be 2/9 + 48/g. Suppose 4*k + 407 = 4*z + z, -5*k + 143 = q*z. Is z prime?
True
Let q be (-41)/4 - (-3)/12. Let a = -4 - q. Suppose 3*x = f + a*x - 74, 0 = 4*x + 12. Is f composite?
False
Suppose -3*d + 4*d - 2 = 0, -m + 2*d = -27. Is m a prime number?
True
Suppose -d + 4*o - 8 = -0*o, 2*d - o + 16 = 0. Let r be (d/10)/((-7)/(-35)). Let f(c) = -c**3 + 5*c + 3. Is f(r) a prime number?
True
Is 374/(6 - (-4)/(-1)) a composite number?
True
Let o = 8 - 6. Let l(b) = 2*b**2 + b. Is l(o) a composite number?
True
Suppose -2 + 21 = -b + 5*f, 4*f = 2*b + 14. Suppose -a - b = -3. Is (190/2*a)/2 a composite number?
True
Suppose 0 = 2*j - j. Let n(o) = -2*o**2 + 3*o + o + j*o**2 + 3*o**2 + 5. Is n(-10) prime?
False
Let j be (1936/24)/((-4)/(-6)). Suppose 0 = l - 172 - j. Is l prime?
True
Suppose k - 5*r - 264 =