 number?
True
Suppose 5*r + 479 = 4394. Let f = 1120 - r. Is f composite?
False
Let o = -95 - -20. Let j = o - -160. Let f = j - 18. Is f a composite number?
False
Is ((1610/4)/(-7))/((-1)/2) a prime number?
False
Let i = -37 + 65. Suppose 0 = 2*u - i - 42. Is u a composite number?
True
Let b = 21 + -36. Suppose 0 = 20*j - 16*j - 100. Let a = b + j. Is a a composite number?
True
Let r = 506 - 285. Is r prime?
False
Suppose 0*r + 5*r + 4*c = 30, -3*c - 18 = -3*r. Let s = r - 3. Let b = s - 1. Is b a prime number?
True
Let x(s) = 8*s**2 + 7*s - 3. Is x(8) a prime number?
False
Let f(w) = -10*w + 1. Suppose 2*l + 4*c = 4*l - 4, 2*l = -3*c + 11. Suppose -l*o = o + 15. Is f(o) a prime number?
True
Suppose 5*o - 57 = -3*v, -2*v - 3*o = -3*v + 19. Is v a prime number?
True
Suppose -6 = -3*s + 4*h + 4, -4 = -3*s - 2*h. Let w be (-1)/3*6/s. Is (-2*211/2)/w a composite number?
False
Let m(z) be the first derivative of z**2 + 259*z - 1. Is m(0) prime?
False
Let p(f) = -41*f + 7. Is p(-6) a prime number?
False
Is 3 + (9 - 1 - -3) prime?
False
Suppose -7*d = 4*x - 2*d - 2277, -5*x + 3*d = -2874. Is x prime?
False
Suppose -4*t + 0*i - 1604 = 4*i, 1231 = -3*t + 4*i. Is ((-3 - t)/3)/2 composite?
False
Let o(y) = -y**3 - 9*y**2 - 13*y - 3. Let k be o(-9). Suppose 4*z - k = 34. Is z prime?
True
Let j(u) = 127*u + 3. Is j(2) a composite number?
False
Let i = 652 - 465. Is i composite?
True
Suppose r - 4*l + 27 = 0, 4*r + 24 = 2*r + 2*l. Let u = -4 - r. Is 1/u + (-158)/(-3) prime?
True
Is (-12 - -15) + (-5 - -1) - -32 prime?
True
Suppose 4*i = -0*i + 12. Suppose 0 = i*h, 2*h + 53 = r - 2*h. Is r a composite number?
False
Suppose 1 = -o + 3. Let i = 5 - o. Suppose -i*n = -2*n - 26. Is n composite?
True
Let f(x) be the third derivative of 3*x**4/4 - x**3/2 - 2*x**2. Let i(r) = r**3 + 8*r**2 - 8*r + 13. Let l be i(-9). Is f(l) prime?
False
Let d(c) = -3*c. Let u = -3 + 5. Let a be d(u). Let y = a - -15. Is y composite?
True
Suppose 2*t - 134 + 16 = 0. Is t prime?
True
Let n be (2/(-2))/((-3)/(-15)). Let k = -54 - n. Let f = -23 - k. Is f a composite number?
True
Let h = 79 + -13. Suppose y + 5*l = h, 3*l + 12 = -3. Is y a composite number?
True
Let n(l) = -l**3 + 9*l**2 - 6*l + 3. Let p be 0 + 0 - -1 - -1. Let i(g) = 2*g**3 - g**2 - 2*g. Let o be i(p). Is n(o) prime?
True
Suppose 0 = 4*n + 206 + 150. Let o = n - -252. Is o prime?
True
Let w = -3 - 0. Let j(a) be the third derivative of a**5/30 + a**4/8 - a**3/3 + 28*a**2. Is j(w) composite?
False
Suppose 0 = -4*v - 21 + 257. Is v a composite number?
False
Suppose -3*w + h = 6*h - 31, -4*h + 22 = w. Suppose -m - 3*m = -b + w, m - 4*b = -8. Suppose m*p - 1028 = -4*u + 4*p, 0 = 4*p - 8. Is u a composite number?
True
Is ((1 - 2) + 0)*-37 a prime number?
True
Suppose -5*m = t - 68, -2*t + 121 = -7*m + 2*m. Suppose 0 = -5*v - 4*u + 75, 3*v = v + 5*u + t. Is v prime?
True
Suppose -t + 1 = -2. Suppose t = 2*z - 3. Suppose -z*k + 335 = 2*k. Is k composite?
False
Let f(v) = 3*v**3 - 2*v**2 - 3*v + 5. Is f(3) prime?
True
Let h(b) = 5*b**2 - 6*b + 10. Let v be h(-7). Suppose -w = 2*w - v. Suppose -271 = -5*m + w. Is m a composite number?
True
Let g(z) = 5*z + 1. Let c be g(-1). Let i = 4 + c. Suppose 4*r - 2*t - 114 = 0, i = 7*r - 2*r - 5*t - 130. Is r a prime number?
True
Suppose 4*g - 413 = -5*w, g = 3*w - 25 + 107. Is g a composite number?
False
Suppose 4*d - 12 = -4*g, -2*d - 3 = -3*g + d. Suppose -g*n = 3*n + 90. Let y = 124 + n. Is y composite?
True
Let i be 43/15 - 12/(-90). Suppose -2*h = 5*f - 119, -3*f + 174 = i*h - 0*f. Is h prime?
False
Let w = 0 + 2. Suppose -3*p + 2*b + w = -p, -5*b - 9 = -3*p. Is (2/(-6))/(p/222) a prime number?
True
Let v = 740 + -358. Is v composite?
True
Suppose -2*y - y = 3*h - 24, -4*y + 14 = -2*h. Suppose 4*c - y*a = 32, -4*c = 3*a - 0*a. Let l(b) = 55*b - 4. Is l(c) composite?
True
Suppose -3*n = -4441 + 1180. Is n a prime number?
True
Let f be 0/((12/4)/(-1)). Suppose 5*a = n - 116, f = 4*n + n - 2*a - 465. Is n a composite number?
True
Let f = -31 + 65. Is f a prime number?
False
Let x be ((-6)/2)/(1/(-24)). Suppose 5*h - 155 = 30. Let d = x - h. Is d composite?
True
Let b be (21/(-12))/((-3)/(-12)). Let p = 11 + b. Suppose p*r = -r + 55. Is r composite?
False
Suppose 5*f - 2*f + n = -19, 4*f = n - 37. Is ((-382)/f)/(7/28) composite?
False
Let x(y) = y + 5. Let w be x(-3). Suppose -d + w*d = 5. Let f(z) = 2*z**3 - 6*z**2 - 2*z - 1. Is f(d) a prime number?
True
Let o(p) = 89*p. Let r be 0/(-2) - (2 - 3). Is o(r) prime?
True
Suppose -4*j - 16 = -5*h, -3*h + 3*j - j = -10. Suppose -h*l - 308 = -8*l. Is l composite?
True
Let f = -136 - -327. Is f a composite number?
False
Let k be ((-18)/15)/(3/(-50)). Suppose 0 = -x + 6*x - k. Suppose v - x = -1. Is v composite?
False
Let t(z) be the third derivative of z**4/8 + z**3/2 - 3*z**2. Let x be t(-5). Let r(w) = w + 15. Is r(x) composite?
False
Suppose -5*s + 7005 = -4*f, -5*s + 6065 = -5*f - 945. Is s a composite number?
True
Suppose 1329 = 4*l + 4*r - 155, 0 = -2*l - 3*r + 742. Is l prime?
False
Suppose -4*v - 149 = -705. Is v a prime number?
True
Let t be 4 + (-2 - (-4)/2). Let n = 119 - 37. Suppose -w = t*f + w - n, -f - 3*w = -18. Is f composite?
True
Let p(z) = -z**3 + 3*z**2 + z - 3. Let a be p(3). Let d be 1/((-2)/(-8) + a). Suppose 3 + 9 = h + v, h = -d*v + 27. Is h a prime number?
True
Suppose -z + 2 = -2. Is 1/z + (-1953)/(-12) composite?
False
Suppose 5*f - 2*f - 1551 = 0. Is f composite?
True
Let v be ((-12)/9)/(1/(-3)). Suppose 4*l - 2*n = 516 + 540, 3*l + v*n - 781 = 0. Is l prime?
True
Let r(s) = 57*s**2 - 4*s + 3. Is r(2) prime?
True
Suppose 4*s + o - 84 = 0, 0 = 4*s - 2*o - 1 - 83. Let d = 16 + s. Is d a composite number?
False
Let s(q) = -q**3 + 10*q**2 + 17*q - 13. Let a = 0 - -11. Is s(a) prime?
True
Suppose 4*g - 3*z = 625, 2*z - 309 = -2*g + 7*z. Is g composite?
False
Let t(y) = 4 - 4 + 0 - 1 - 4*y. Is t(-11) a composite number?
False
Is -9332*(3/4)/(-3) a composite number?
False
Is (4/(-2))/((-24)/1020) a composite number?
True
Suppose 4 = -z, -4*m + 184 = -0*m - 5*z. Suppose -5*h + 109 + m = 0. Suppose 4*j - 94 = h. Is j a composite number?
False
Let o = 126 - 22. Suppose -3*p + 7*p - 20 = 0. Suppose -p*k + o - 34 = 0. Is k prime?
False
Suppose 7*n - 18343 = -6*n. Is n a composite number?
True
Suppose 1419 = -16*a + 20827. Is a a composite number?
False
Let c = -1 + 1. Suppose -5*n + 5*t + 275 = c, -3*n + 0*t = -4*t - 161. Is n a prime number?
True
Suppose 0 = 12*l - 19447 + 3115. Is l a composite number?
False
Let o be (-93)/(-4) + 3/(-12). Suppose o = v - 14. Is v a prime number?
True
Suppose 0 = 5*p + 2*s + s - 955, 4*p - 801 = 5*s. Suppose 5*b = 3*b + p. Is b a composite number?
False
Let j = -3 + 5. Suppose 4*a - 5*a + j = 0. Is (-1 - 0)/(a/(-44)) prime?
False
Let c = 115 + 26. Is c a prime number?
False
Let q = 18 + -8. Let h = 32 - q. Is h a composite number?
True
Let m be 60/(-18)*(4 + -1). Suppose -5*f = -f - 180. Let v = f - m. Is v composite?
True
Let f = 155 - 49. Is f a composite number?
True
Let k(i) = 23*i**2 - i - 3. Is k(3) a composite number?
True
Suppose 0 = r - o - 449, 5*r - 594 = -5*o + 1651. Is r prime?
True
Let g(c) = 31*c**3 - 2. Let j be g(3). Suppose -k - 4*k + j = 0. Is k a prime number?
True
Suppose 3*z = j - 22, z = 2*j + j - 82. Is (j/(-8))/(4/(-40)) composite?
True
Let w = 5 + 3. Suppose -1 = -3*l + w. Suppose -2*g - 2 - l = 5*v, 0 = -4*g + 4*v + 60. Is g prime?
False
Suppose 3*d - 4*f - 491 = 0, d - 350 = -d - 3*f. Is d prime?
False
Let n = -6 - -6. Let f = 3 - n. Suppose 0 = -x - 3*t + 56, 122 = -x + f*x + 4*t. Is x prime?
True
Let z be (-2)/(-7) - 32/14. Let j be (-3 + 9)*z/(-6). Suppose j*a - 51 = 3*x - 6*x, 4*a - 4*x = 152. Is a prime?
False
Suppose 3 - 147 = -4*n + 4*q, 3*q + 143 = 4*n. Is n a composite number?
True
Let u = -16 + 6. Let d = u - -8. Is 194*(3 - (-5)/d) a prime number?
True
Is ((-2)/6)/(5/(-1455)) a prime number?
True
Is 0 + ((-2696)/(-4) - -2) + -3 a prime number?
True
Let v be ((-3)/9)/(3/(-45)). Suppose -s = v*o - 36, -s = -4*o - 36 - 27. Is s/4*(-16)/(-6) prime?
False
Let s(k) = k**3 - 11*k**2 - 38*k - 25. Is s(18) composite?
False
Suppose 0 = -3*f + 2*y - 564 + 165, 0 = -3*f - 2*y - 399. Let d = f - 49. Let p = -129 - d. Is p composite?
False
Suppose 0 = -0*p +