rue
Let m be (-4)/1 - (-6 + -1). Let s = -183 - -451. Suppose -f = m*f - s. Is f prime?
True
Let r = 457 + -308. Is r a prime number?
True
Let w(o) = o**2 + 3*o + 2. Let r be w(-2). Suppose 3*h + r = 6. Suppose 12 = -5*l + 2*l, -42 = -h*v + l. Is v composite?
False
Let a = -312 + 221. Let o = 550 - a. Is o composite?
False
Is (-20)/80 - 357/(-4) composite?
False
Suppose -4*o + g + 1569 = 0, -5*g = -4*o - 0*g + 1557. Is o a composite number?
True
Suppose 5*a + 0*n = -n + 593, -4*a + 484 = 4*n. Is a a prime number?
False
Let a be -4*((-9)/(-2) - 0). Let x = a - -43. Let q = x - 11. Is q a composite number?
True
Suppose 4195 + 2361 = 4*q. Is q composite?
True
Suppose 749 = t - k - 2*k, 5*t + 2*k - 3711 = 0. Is t a prime number?
True
Let y(d) = d**3 - 5*d**2 - 5*d - 6. Let a be y(6). Suppose 2*m - 9 - 3 = a. Is m prime?
False
Suppose -4*s - 11 - 13 = 0. Let w(t) = t**3 + 8*t**2 + 10. Is w(s) a composite number?
True
Suppose -s - 2*z = -6*z - 875, -4*s = -z - 3575. Is s a composite number?
True
Suppose 7*n + 119 - 714 = 0. Is n a composite number?
True
Let x(l) = 26*l**2 - l - 2. Is x(-5) a composite number?
False
Is (4572/45)/((-2)/(-5)) composite?
True
Suppose -5 = -2*a + 5*x + 8, -19 = 4*a - x. Let h = a - -25. Is h a composite number?
False
Let z be (-258)/4 + (-2)/4. Let m = 4 - z. Suppose 0*w - m = -3*w. Is w composite?
False
Let z(x) = x**3 + 7*x**2 + x + 7. Let i be z(-7). Let c be 0/(1 - (3 - 1)). Suppose b + c*b - 371 = i. Is b prime?
False
Suppose 8 = 2*j, -j - 23 + 147 = -4*l. Let n = l - -49. Is n a prime number?
True
Let f be 4*2 - (-3 + 3). Let n(u) = -u**2 + 7*u + 7. Let t be n(f). Is 116/4 + (t - -3) prime?
True
Let n(a) be the third derivative of -a**4/2 - a**3/6 + a**2. Suppose 0*w - 5*w = 20. Is n(w) composite?
False
Suppose r - 5 + 1 = l, 3*l + r - 4 = 0. Suppose l = 5*j - 25, 0*u + u - 117 = 2*j. Is u composite?
False
Let i = 46 - -112. Is i prime?
False
Let d = 4 + -1. Suppose 0*z - 4 = -z - 2*x, -d*z = 3*x - 12. Is z prime?
False
Is (-12 - -9)/((-1)/89) a prime number?
False
Suppose 20 = -5*c, -3*g - 3*c - 5 = -2*g. Is (-3 + -90)*g/(-3) a composite number?
True
Let j(n) = 90*n - 1. Let w(o) = o**3 - 4*o**2 - 6*o + 6. Let i = -9 + 14. Let k be w(i). Is j(k) composite?
False
Let g(v) be the third derivative of v**4/6 + 7*v**3/6 - 6*v**2. Is g(13) composite?
False
Let i(r) = 30*r - 1. Let u(s) = -s - 1. Let j be ((-3)/(-3))/(3/6). Let b(p) = j*u(p) - i(p). Is b(-1) composite?
False
Let l = 3 - -1. Suppose l*d = 10 + 6. Suppose -5*k + u = -486, -d*k + k + 5*u + 296 = 0. Is k prime?
True
Suppose -i - 4*i + 2495 = 0. Is i prime?
True
Let v be 2 - 3*-4*4. Let u = v + -8. Suppose -4*x + 7*x = u. Is x composite?
True
Is (-2928 - 4)*(-2 + (-3)/(-2)) prime?
False
Let k(v) = 7*v**3 + v**2 + 3*v + 4. Let c be k(3). Let g = c - 122. Is g a prime number?
True
Suppose 0 + 1 = -j. Let z be ((-2)/2 - 3)*j. Suppose -z*u + 513 = 157. Is u a composite number?
False
Let b be 64 - (-2 - -1 - 0). Suppose s = 6*s - b. Is s a composite number?
False
Let a = 1526 + -559. Is a prime?
True
Let w(r) = r**3 + 14*r**2 - 9*r + 7. Is w(-7) composite?
True
Suppose -4*c = -9 - 7. Suppose q + 17 = 4*y + c*q, -5*q = 5*y - 25. Is (4/(-12))/(y/(-1266)) a composite number?
False
Suppose -3*h - 3*y = -18, 4*y - 2 + 3 = h. Suppose 1299 = 4*x - 5*s, 3*s - h = -2*s. Suppose -2*b + 5*j + 125 = 2*j, 0 = 5*b - 3*j - x. Is b composite?
False
Suppose 26 = 5*t + 4*v - 5*v, 0 = -t + 2*v - 2. Let i be 8/12 - (-8)/t. Suppose -5*j - i*o + 123 = 0, -2*j + 2*o + 15 = -j. Is j a composite number?
False
Let b = -7 + 11. Let d = b - 0. Suppose c + x - 40 = d*x, c = x + 44. Is c a prime number?
False
Let q = -14 - -21. Is q a prime number?
True
Let z(f) = f**2 - f - 5. Let q = 3 + -1. Suppose 0 = q*w + 2*w - 28. Is z(w) a composite number?
False
Let o(z) = -5*z**3 - 39*z**2 + 33*z + 12. Let j(b) = b**3 + 10*b**2 - 8*b - 3. Let v(p) = 9*j(p) + 2*o(p). Is v(8) a composite number?
True
Let h(y) = -5 + 92*y**2 + y + 12 - 6. Is h(2) a prime number?
False
Suppose w = 2*k - 4*w - 51, -4*w + 210 = 5*k. Suppose 4*n - 193 = 131. Let t = n - k. Is t a prime number?
True
Suppose 0 = 6*j - j + 30. Let d = j - 0. Is (2/d)/(2/(-318)) composite?
False
Let s(j) = 3*j + 3 - 4 + 3 + j**2. Let t be s(-2). Suppose t = 4*m - 100 - 112. Is m a prime number?
True
Let c(s) = 158*s - 2. Let u be c(3). Suppose -u - 313 = -5*l. Is l prime?
True
Suppose 0 = -9*f - 4*f + 8333. Is f a composite number?
False
Let v(c) = 34*c**3 - c**2 - 9*c + 5. Is v(4) a prime number?
True
Suppose 4*b + 154 = 3030. Is b composite?
False
Suppose 13*i = 8*i + 10. Suppose 1269 = o + i*o. Suppose 0 = -2*h + o - 5. Is h a composite number?
True
Let x(q) = 12*q**2 + 8*q + 57. Is x(11) composite?
False
Let x = 2461 + -1215. Let s = 651 + -405. Suppose 4*j = -v + 255, -4*j = -4*v - s + x. Is v prime?
True
Let w be (-9)/(-2)*16/(-12). Let r = -6 - w. Suppose 0 = -2*z - r*z + 70. Is z composite?
True
Let y = 18 + -8. Is y prime?
False
Suppose -4*c + 2*f + 1034 = -0*f, c - 269 = 4*f. Is c a composite number?
False
Is (-1 - -3)*307/2 composite?
False
Suppose 0 = -2*j + 3*n + 149, 3*n + 2 + 13 = 0. Is j prime?
True
Suppose f + 69 = 2*f. Is f a composite number?
True
Let j = -785 - -1420. Is j a prime number?
False
Let l be 8/6*(-33)/(-2). Let s be 1 - (1 - (8 - 4)). Suppose -d + l = -s. Is d prime?
False
Let j(p) = -p**3 - 11*p**2 - 10*p + 3. Let s be j(-10). Suppose s*q = -4*f + 373, 0 = -f + 4. Is q a composite number?
True
Suppose 0 = -5*d - 5*w + 15060, -4*d = -5*w - 0*w - 12039. Is d a composite number?
False
Let u = -3 - -3. Suppose g - 4*g + 717 = u. Is g prime?
True
Let p(n) = -7*n + 0*n**2 + 4 + n**2 + n**2. Let k be p(4). Suppose -a = -7 - k. Is a a composite number?
True
Suppose -1032 = -3*z + 3*l, 0 = 5*z + 4*l - 8*l - 1723. Is z a prime number?
True
Let x be 5/(3/12 - 0). Suppose -b = b + x. Is (-6)/(-15) + (-66)/b a composite number?
False
Let g = 161 - -74. Is g a composite number?
True
Let m = -2 + 4. Suppose m*u + 180 - 688 = 0. Suppose -j = -3*j + u. Is j prime?
True
Suppose -2*l = 5*k, -5*l = 4*k - 0*k - 17. Suppose 36 - l = p. Is p composite?
False
Let k(r) = r**2 - 6*r + 265. Is k(0) a prime number?
False
Suppose 4*i - 2*r - 576 = 0, -i - i + 282 = -4*r. Is i a composite number?
True
Suppose 1297 = 5*l - 2*f - f, -494 = -2*l - 5*f. Is l a composite number?
False
Let k(d) = 5*d**2 - d + 1. Let w(m) = 5*m**2 - 2*m + 1. Let y(x) = 5*k(x) - 4*w(x). Is y(-2) a composite number?
True
Let y(w) = -w**2 + w + 2. Let v be y(2). Suppose v = 6*c - 3*c. Suppose -4*m + 41 + 35 = c. Is m prime?
True
Let a = -5 - -31. Is 1/2 - a/(-4) a composite number?
False
Suppose 5*n + 4 - 143 = -3*o, 5*n - 4*o - 118 = 0. Is n a composite number?
True
Let a = -5 - -6. Let o be (-2 + (2 - a))*1. Is (-2)/6*(o + -38) a composite number?
False
Let i = 334 - 195. Is i composite?
False
Suppose 2*b = -0 + 4. Is 1/(b/106 + 0) a composite number?
False
Let a = 228 + -133. Is a a composite number?
True
Suppose -5*l - 5 = -4*f, -l + 33 - 10 = 4*f. Let g = l - -3. Is -2 - -14*21/g a prime number?
True
Suppose -2*h + 822 = 160. Is h a prime number?
True
Suppose -5*u + 6 = 5*k - 24, -5*k + 23 = -2*u. Suppose -k*w - 2*h - 41 = -2*w, 0 = 5*w - 2*h + 47. Let r = w - -18. Is r a prime number?
True
Suppose -13*w = -11*w - 786. Is w a composite number?
True
Let i = -101 - -134. Is i composite?
True
Suppose -5*q + 3*z + 60 = 0, 0*q = -q - 3*z + 12. Suppose 0 = -t - 3*t + q. Suppose 8*d = t*d + 445. Is d a composite number?
False
Suppose 0 = 3*i - 50 - 4. Is 1022/18 - (-4)/i prime?
False
Let q = -335 - -588. Is q prime?
False
Let m(u) = 41*u**2 - 15*u + 3. Is m(7) prime?
True
Let c = 0 - 0. Let h(j) = j**2 + 0 + 1 + c - j. Is h(5) a prime number?
False
Suppose u - 5*y = -8 + 3, u - 1 = -y. Suppose -3*p = 5*j - 787, u - 4 = -p. Is j a composite number?
True
Suppose 0 = -4*j - 0*j + 12. Suppose -4*h - 7 = -5*v, -13 = -j*h - 2*h - v. Suppose 0 = -2*n + 8*u - 3*u + 79, h*u + 135 = 3*n. Is n composite?
False
Suppose 3 = h - 2*i + 6, 3*i - 50 = 5*h. Is h*((-2)/2 + 0) a composite number?
False
Suppose 1 = -w, -m + 3*w - 2*w - 193 = 0. Let n = -284 - m. Is (n/(-24))/(2/8) prime?
False
Let x = 725 + -336. Is x a composite number?
False
Let q be (-115)/3 - (-6)/(-9). Is (q/6)/((