prime?
False
Suppose 0 = 5*r + 15, z + 4*r = 5*z + 4. Let l be (8/3)/(z/(-174)). Suppose y + 3*y + 2*o - l = 0, 0 = -5*y + o + 159. Is y a prime number?
True
Suppose 0 = -5*a + 23 + 57. Let o = -72 + 133. Suppose -a = -s + o. Is s a composite number?
True
Let y(q) = 209*q - 5. Let p(x) = x**3 + 2*x**2 - 2*x + 1. Let f be p(1). Is y(f) a composite number?
True
Let f = 2 + -15. Let r = f + 18. Suppose d - s = -r*s + 61, -3*d = -3*s - 153. Is d a prime number?
True
Let r(k) = k**3 + 3*k**2 - 2*k - 3. Let w be r(-3). Is 151 + 0/w + -2 prime?
True
Suppose 2 = 3*m - 10. Suppose -1 = -4*y - 9, -167 = -5*f - m*y. Is f prime?
False
Let w(t) = t**2 + 7*t - 7. Let i be w(-9). Suppose 2*z = 3*c - i, 10 - 1 = 4*c + 3*z. Suppose -v - v - c*g = -35, -5*v - 3*g + 92 = 0. Is v prime?
True
Suppose -4*f = -f - 1542. Suppose -5*s - 3*u + 385 = -119, f = 5*s - 2*u. Suppose 2*k - s = -4*g, g + 7 - 28 = -5*k. Is g a prime number?
False
Let u(m) = -m + 4. Let n be u(4). Let c = n - -4. Suppose -c*x = -p - 362, 4*p - 116 = -x - 17. Is x prime?
False
Let h be 8/(2 - 0) + -4. Suppose -4*z + h*z = -1012. Is z composite?
True
Let c be (2 - -1)/(3/2). Suppose i = -c*i. Suppose -h - 8 + 45 = i. Is h a composite number?
False
Suppose -3*z + z + 580 = 0. Let f = -146 + z. Suppose -13 = g - f. Is g prime?
True
Suppose 114 = 4*q - 166. Let i = 48 + q. Is i a composite number?
True
Suppose -5*w + 212 = -3*y, 3*w - 64 = y + 8*w. Let p = y - -122. Is p a composite number?
False
Suppose 0 = -4*g + 3*w - 4*w + 800, 410 = 2*g - 2*w. Suppose -t - g = -646. Is t prime?
False
Let a(g) = -g**2 - 10*g - 12. Let k be a(-8). Suppose j = 5*j + k. Is (1 - j) + -1 - -50 a prime number?
False
Suppose -j = -2*k - 2*k - 893, 1734 = 2*j + 5*k. Is j a prime number?
True
Suppose -24 = -2*p + 5*f, -p + 2*f - 3*f = 2. Let s be -2 + 1 + (8 - p). Suppose s*x - 150 = 15. Is x composite?
True
Let z = -17 - -22. Suppose 0 = z*v + 213 - 2708. Is v a prime number?
True
Let t(k) = 36*k**3 + 5*k**2 - 4*k. Let a be t(3). Let d = a + -500. Is d a composite number?
True
Suppose -2*t - t + 4*m + 3719 = 0, 1 = m. Suppose 2*i - t = -3*z - 60, -z - 2*i = -387. Is z a composite number?
False
Suppose -3*y = -0*y + 438. Let l = 41 - y. Is l a composite number?
True
Suppose 3*f + 4*t = -827, 0 = t + 3*t - 4. Let p = -128 - f. Is p prime?
True
Let d(x) = -x**3 - 2. Let s be d(0). Is (s + 1)/((-16)/2528) composite?
True
Let u(r) = -31*r**3 - 11*r**2 + r - 15. Let l(g) = 6*g**3 + 2*g**2 + 3. Let x(j) = -11*l(j) - 2*u(j). Suppose 2*f + 8 - 4 = 0. Is x(f) prime?
False
Suppose 3*n + 18 = 3*d, -4*n + 3*d = 21 + 1. Is 2/n*-18*1 a composite number?
True
Suppose -3*m = 2*v - 49, 0 = -4*v + m - 2*m + 73. Suppose -5*q = x + 26, 15 = -0*q - 5*q. Let k = v + x. Is k prime?
False
Suppose -l = 3*l - 5*x - 538, -3*l + 400 = -2*x. Suppose 0*u + j - l = -u, -2*u = 5*j - 279. Is u a prime number?
True
Suppose y + 4 = 0, 0 = 5*x - 4*x + 3*y - 15. Suppose 171 = 4*u + 3*n, -x - 2 = -u + 2*n. Is u composite?
True
Let n(c) = -31*c + 3. Let y(m) = 3*m - 6. Let l be y(6). Suppose 0*u - l = 4*u + a, -a - 8 = 3*u. Is n(u) a prime number?
True
Let x be -14*((-5)/(-2) - 2). Let n = x + 1. Let r = n - -25. Is r a composite number?
False
Let s = 9 + -15. Let u(x) = -x - 6. Let n be u(s). Suppose 3 = 3*c, 5*t + 2*c + 3*c - 450 = n. Is t a prime number?
True
Suppose 15 = 2*h + 5*d, 5*h - 9 = -2*d - 3. Suppose h = 6*s - 2*s - 236. Is s a prime number?
True
Suppose -4*h + 27 = -293. Is 3*h - (-2 - -5) a composite number?
True
Let c be -4 + 11 - 0/2. Let j = 1 - 1. Let a = c - j. Is a prime?
True
Let a = 3 - 7. Let m(q) = -5 + 0*q**2 - 6*q**3 + 4*q + 4*q**2 + 5*q**3 - q**2. Is m(a) a composite number?
True
Suppose -6 = 2*p - 0*l + 2*l, -3*l = p + 13. Suppose 2*m + 69 = -m - 4*s, 0 = -5*m + 3*s - 86. Let t = p - m. Is t a composite number?
True
Let d(o) be the first derivative of -o**3/3 - 3*o**2 + 3*o + 3. Let t be d(-6). Is 9/t - (-1 - -1) a composite number?
False
Let o be 319 - 1 - (-5 + 6). Suppose 5*g - 813 = -x + o, -3*g + 650 = -5*x. Let z = g + -40. Is z a composite number?
True
Let b(l) = -l**3 + 9*l**2 + 10*l - 7. Let r be b(10). Let o(i) = -18*i + 1. Is o(r) composite?
False
Let q = 380 + -135. Suppose 0 = 3*h + j - 5*j - q, -4*h + 328 = -5*j. Is h prime?
False
Let g(q) = 2*q**2 + 3*q. Let r be g(-2). Let s = r + -5. Let j(z) = -2*z**3 + 2*z**2 + 3*z - 1. Is j(s) a composite number?
True
Let o = 56 + -40. Suppose 7 = 2*y - 3*f + o, 40 = 5*y + 5*f. Suppose -3*v - 40 = -4*a + 270, 0 = y*a - 4*v - 229. Is a prime?
True
Suppose 3859 = -24*q + 15499. Is q prime?
False
Suppose b = -g - 1, 0 = -5*g - 2*b - 0*b - 20. Let f = 10 + g. Is f/(-3)*(-15)/2 a prime number?
False
Let m = 78 + 215. Is m a prime number?
True
Let b(w) = 31*w + 16*w + 55*w + 8 + 1. Let y be b(8). Suppose -y + 130 = -5*v. Is v a prime number?
True
Let d = -21 - -51. Let m = d + 47. Is m a composite number?
True
Let o(j) = 2*j**2 + 4*j + 7. Suppose 18 = -k - 2*k. Is o(k) prime?
False
Let n be 23/7 + (-22)/77. Is (-2)/2 + n + 45 composite?
False
Suppose 0*t = t - 35. Suppose z - t = -g - g, 3*g = -2*z + 71. Is z a composite number?
False
Let y = -12282 - -18253. Is y prime?
False
Suppose 2*g - 5 = -u, -2*g + 17 = 3*g + 4*u. Let i(r) = 16*r**2 - 2*r + 1. Is i(g) prime?
False
Let y be (2 + -3)/(2/26). Let g(n) = -n**3 - 12*n**2 + 11*n + 11. Is g(y) a prime number?
True
Let g = 91 - 5. Is g a prime number?
False
Let r = 754 + -539. Is r a prime number?
False
Let h(j) = 111*j - 37. Is h(14) composite?
True
Let x(n) = -n**3 - 6*n**2 - 17*n - 5. Let b be x(-13). Suppose 4*d - 1434 = -2*t - 0*d, -b = -2*t + 3*d. Is t prime?
False
Let n = 95 - 174. Let k = n + 292. Is k prime?
False
Let l be (32/(-12))/((-8)/(-372)). Let g = -71 - l. Is g prime?
True
Let m = -1 - -2. Let y be (-3)/3 - (-181)/m. Suppose -3*a - 3*x + 681 = 0, -2*a + 622 = -x + y. Is a a prime number?
True
Let x = 930 - 91. Is x a composite number?
False
Let k = 0 + 4. Suppose 3*b + k*u = 44, 4*b - 2*b - 4*u - 36 = 0. Suppose x - 21 - b = 0. Is x prime?
True
Let q be 3 + (0 - (-4 - -1)). Suppose -x - 10 = -q*x. Let u(w) = 6*w**3 + 2*w**2 + w. Is u(x) a composite number?
True
Let c(b) = -b**3 - 6*b**2 - 5*b. Suppose j + 2*o = -3*j - 28, 3*j + 19 = -o. Let n be c(j). Suppose n = 4*q - 16 - 12. Is q prime?
True
Let j be (2 - 1)/(3/21). Suppose -j = -5*b + 13. Suppose -7*o + 2*o - b*t = -102, -100 = -5*o - 5*t. Is o a prime number?
False
Let i = -1419 - -2177. Is i prime?
False
Let m(z) = z**2 + 4*z - 2. Is m(-7) composite?
False
Let y = -4 - -7. Suppose -3*x + 4*h + 20 = 6, 5*h = 3*x - 13. Is 2/y + 14/x a prime number?
True
Suppose 4*d - 5*l = -72, -d - l = l + 5. Let n = d + 47. Is n prime?
False
Let o = 151 - 51. Suppose -y + 18 = -2*g - g, 5*y = 5*g + o. Is y a prime number?
False
Let s = -1237 + 3130. Is s composite?
True
Suppose 26 = -2*r + 348. Suppose -x + r = -0*x. Is x a prime number?
False
Let o be 1 + (-4)/2 + 469. Suppose -u + o = -4*u. Let t = -77 - u. Is t composite?
False
Let r(n) = 0*n - 3*n + 3 + 0*n + n**2 + 2*n. Is r(3) composite?
True
Let c(o) = -4*o + 34. Let m(p) = p - 7. Let d(l) = 3*c(l) + 14*m(l). Is d(11) prime?
False
Suppose 3*a = 4*f - 11, 0 = -2*f + 6*f - 2*a - 10. Let n(s) = -104 + s - f*s + 265 + 2*s. Is n(0) composite?
True
Suppose -m + q + 4 = 0, 2*m - 5*q - 5 = 9. Suppose -x = -5*x + 8. Suppose x*u - m*c - 235 = -3*u, 4*c = 4*u - 188. Is u composite?
False
Suppose 3*i - 53 = 10. Let z(b) = 3*b - 1 + 2*b + i*b. Is z(1) composite?
True
Suppose 0 = 3*u - 3*x + 3, 2*u - 5*x = -x + 8. Is (4/u)/((-22)/32637) a composite number?
True
Suppose v + 509 = 4*k, -k + 130 = -v - 2*v. Is k composite?
False
Suppose -2935 = -24*b + 19*b. Is b composite?
False
Is 553 - 2 - 1 - -3 prime?
False
Suppose -3*z + 42 = 3*z. Let u(h) be the first derivative of h**4/4 - 8*h**3/3 + 7*h**2/2 + 7*h + 2. Is u(z) a prime number?
True
Let i(q) = q**3 - 6*q**2 - 7*q + 2. Let r be i(7). Suppose y = 2*a + 2, 0 = -r*a - 3*y - 2. Is (a/2)/((-2)/220) a prime number?
False
Suppose -t - 1 - 23 = 0. Let z = t - -34. Is z composite?
True
Suppose 5*d + 24 = -5*f + 74, -5*d = -3*f - 58. Suppose -2*m = -3*m + 3*u + 9, d = 3*m - u. Suppose -5*t - 3*h = -71, 3*t - 24 = m*h + 9. Is t a prime number?
True
Let g = -13 - -26. Is g a composite num