ime number?
True
Let c be 8/(-2)*(-1 + 0). Let g(x) = 1 + 3*x - 3*x**2 - x + 6*x**2 - x. Is g(c) composite?
False
Let c(m) = -m**3 - 11*m**2. Let k be c(-11). Is (1 + k)*(-1 - -120) composite?
True
Suppose 0 = -3*c - 0*c + 24. Suppose 0 = -3*r + 3*b - 4*b - 4, 2*b + c = 0. Suppose 2*i = -r*i + 238. Is i a prime number?
False
Suppose 12 = j + 2*j. Suppose -4 = 4*x - 0, 4*x = j*g - 12. Suppose 4*t - 3*o - 2*o = 447, g*t - 5*o = 221. Is t prime?
True
Let d = 26 - 21. Suppose -d*h = 4*a - 1936, -773 = -2*a - 4*h + 201. Is a a composite number?
False
Let j(w) = 110*w**3 - 2*w**2 + 9*w - 2. Let h(n) = -55*n**3 + n**2 - 4*n + 1. Let z be ((-2)/1)/(0 + 1). Let i(q) = z*j(q) - 5*h(q). Is i(1) a composite number?
True
Suppose 4*p - 154 = 442. Is p a prime number?
True
Suppose -i + 338 = -569. Is i composite?
False
Suppose 16 = 3*z - 2. Suppose z*l - l = 240. Suppose o - l = -g + 40, -3*g + 268 = -o. Is g prime?
True
Suppose 5*h + 4*s - 5314 - 13667 = 0, -2*h + 7606 = 5*s. Is h prime?
True
Let h(j) = 89*j**2 + j + 7. Is h(5) prime?
True
Let x = -6 + 10. Suppose -x*j + 3*f + 352 = -f, -5*j - 3*f + 448 = 0. Is j prime?
True
Let k(o) = o**2 + 12*o + 7. Let w be k(-8). Let l be (-4)/(-10) - 65/w. Suppose -12 = -4*i + 8, l*i - 323 = -4*y. Is y prime?
False
Suppose -2*h - 1060 + 309 = -5*n, 2*n - 307 = 3*h. Is n prime?
True
Suppose -3*h + 766 = 4*j - h, 2*j + 4*h = 386. Is j prime?
True
Let a = 17 - 13. Suppose 0 = 5*o - a*p - 975, o = 3*o - 5*p - 407. Is o prime?
True
Suppose -5*j + 2 = -4*j. Suppose -d = -5*l + 31, -2*d + 2*l = -j*l + 32. Let v(m) = -7*m - 5. Is v(d) a composite number?
False
Let y = 13 + 7. Suppose 0 = -4*g - x + 20, -g = 2*g + 2*x - 20. Suppose -3*u + m + y + 1 = 0, -12 = -g*u - 4*m. Is u prime?
False
Suppose 1096 = 5*m + 5*h + 321, -5*h = 0. Is m - (0 + -5 - -3) a composite number?
False
Let v(o) = o**3 + 6*o**2 - 7*o. Let k be v(-7). Suppose 2*g - 179 = -r, k = -3*g + 2*r + 69 + 196. Is g a prime number?
True
Suppose 0 = -h - 3*d + 508, -h + 5*h + 2*d = 2062. Is h a composite number?
True
Let h(r) = -r + 13. Let g be h(8). Is (g/(-4))/(2/(-136)) a composite number?
True
Let n = -82 + 209. Is n prime?
True
Let t = 17 + -10. Let d(s) be the second derivative of s**4/3 - 5*s**3/6 + s**2 + 2*s. Is d(t) composite?
False
Suppose 5*k - 2758 - 171 = 2*z, -2*z + 593 = k. Is k prime?
True
Let o = 4 - 2. Suppose 0 = -4*n - 4*t - 8, t + o = n + n. Suppose -2*p + 275 = l + 12, p - 4*l - 145 = n. Is p a prime number?
False
Suppose 4*s - 3*n = -15, -4*s + n = 2*n - 5. Suppose j = -5*z + 203, 4 = -z - s*z. Is j prime?
True
Let u(z) = 24*z + 7. Let c = 1 + 3. Suppose 0 = -2*b - c*i + 10, 6 = b - 5*i + 1. Is u(b) prime?
True
Suppose 0*m = -2*m + 4*w + 12, 0 = 2*m - 5*w - 13. Suppose m*k - 14 - 62 = 0. Is k composite?
False
Is 3594/4 - 14/(-28) composite?
True
Let h(a) = a**2 + 4*a - 6. Let k be h(10). Suppose v + k = 2*v. Is v composite?
True
Let d be (-4)/(-6) + (-12)/(-9). Let h be -1 + d + (645 - 2). Suppose -3*s + h = 155. Is s a composite number?
False
Let q(w) = -3*w - 4. Let u(s) = 1. Let i(b) = q(b) + 5*u(b). Suppose -5*t - 2*y - 19 = -2*t, 2*t = -5*y - 9. Is i(t) a composite number?
True
Let d(x) be the first derivative of x**5/60 - x**4/6 - 7*x**3/3 + 3*x**2/2 - 3. Let t(z) be the second derivative of d(z). Is t(10) a prime number?
False
Let p = 625 - 306. Is p a prime number?
False
Let d = 30 + -26. Suppose -d*s = -9*s + 1265. Is s prime?
False
Is -5 + 3 - -148 - -3 a prime number?
True
Is ((-7)/3)/((-37)/122433) a composite number?
True
Let w = 976 - 335. Is w prime?
True
Is (-1)/((-1 - -5)/(-1492)) prime?
True
Let p(y) = -y**3 + y**2 + 6*y + 15. Is p(-10) a composite number?
True
Let l(u) = -u**3 - 6*u**2 + 6*u + 2. Is l(-11) composite?
False
Let t = -97 - -199. Suppose 0 = c - a - 107, -c + t = -0*a - 2*a. Suppose 0 = v - c - 7. Is v composite?
True
Suppose -2*g + 3313 = -3*r, 3*g - 5*r - 2779 = 2191. Is g a composite number?
True
Suppose -3 = -3*b, b = -3*a + 5*b + 8. Suppose -d = 2*k - 19, -k + 2*d = k - a. Is k a prime number?
True
Suppose -2*c = -6*j + 4*j - 4, 0 = 4*j - 3*c + 4. Suppose b - 6*b = -2*d + 79, -j*b + 109 = 3*d. Is d prime?
True
Suppose 20 = -3*y - 4*j, -3*y - 2*y = 2*j + 24. Let f(a) = 7*a**2 - 5 + 6*a**2 - 12*a**2. Is f(y) composite?
False
Suppose 2*l + 15 = -1. Is (-124)/(-10)*(-20)/l a composite number?
False
Let i(c) = -c**2 - 6*c - 2. Let o be i(-5). Suppose o*w = 2*w - 1. Is 48/(w + 3) + 1 prime?
False
Let t(j) = -j + 4. Let f be t(-3). Let b(q) = -q**3 + 7*q**2 + q - 5. Let p be b(f). Is (-41)/(-2) + 1/p composite?
True
Suppose 5*w + 2*p - 1 = 0, p = -4*p + 15. Is (3 - 2)*w*-15 composite?
True
Let n(c) be the third derivative of -1/2*c**3 - 1/6*c**4 + 0 + 1/15*c**5 - 3*c**2 + 0*c. Is n(5) composite?
True
Let y(r) = -r**3 + 9*r**2 - 10*r + 3. Is y(5) prime?
True
Suppose 4*l + 3*z - 13 = 0, -5 = 5*l - 2*z - 4. Is l/2*0 + 163 composite?
False
Suppose 3*t - 428 = -f, 0 = 6*f - f - 2*t - 2089. Is f composite?
False
Suppose m - 143 = 36. Is m prime?
True
Let v = -124 - -338. Is v a prime number?
False
Let q(c) = c**3 - 6*c**2 + 5*c + 2. Let s be q(5). Suppose 4*r - 42 = -4*a + 30, -a = s*r - 22. Is a composite?
True
Let n = 7 + -3. Suppose -5*j + 1465 = t, 0 = j + t + n*t - 293. Is j composite?
False
Let d be (-3)/(-6)*-6 + -1. Let k be 27316/44 + d/(-22). Is k/7 - (-6)/21 a prime number?
True
Let q = 6 + -2. Let r(c) = 22*c - 5. Is r(q) a composite number?
False
Is (-2)/((-2)/907)*(-18 - -19) prime?
True
Let s be 18/(-15)*100/(-3). Let y be 195/(-9) + 4/6. Let i = y + s. Is i prime?
True
Let w be 5 + (0 - 3/(-3)). Is ((-10)/(-4))/(w/348) composite?
True
Is 94*1/(-2)*-37 composite?
True
Let l be 20/6*(-24)/20. Is (6/l)/((-3)/138) composite?
True
Suppose -3*o = -15 + 3. Suppose 0*f = -5*f - o*g + 467, 3*g = -4*f + 374. Let n = f + -42. Is n a composite number?
False
Let q = 174 - 112. Is q composite?
True
Let j = -8 + 12. Suppose 0*n = -j*n + 8. Suppose n*z + 3*z = 35. Is z composite?
False
Suppose 3*n = -3*s + 558, 0*s - 931 = -5*n - 4*s. Is n a composite number?
True
Suppose -n + 664 = o + 2*o, 3*n - 5*o = 2006. Is n prime?
False
Suppose -374 = -5*q + 86. Is (6/12)/(2/q) a composite number?
False
Suppose 4*m + 54 = -x, -3*x + m = -5*x - 108. Is 3*-1 - (-2 + x) a composite number?
False
Let h = -94 + 39. Let a = 19 + h. Let j = -17 - a. Is j prime?
True
Let a = 8 - -4. Suppose 29 = 5*u - 6. Let i = u + a. Is i prime?
True
Let d = 289 - 205. Suppose -t = -333 + d. Is t a prime number?
False
Let s = 20 + 123. Is s composite?
True
Suppose 647 = 5*z + 4*c, 4*z - 417 = -3*c + 100. Is z prime?
True
Suppose -3*i + 299 + 130 = 0. Let p = i - 16. Is p prime?
True
Suppose -4 = -x + 4. Let w be (x/10)/(1/5). Suppose -w*l + 57 = -l. Is l prime?
True
Let u be 136 + 4/(-4) + -1. Is u/(2 + 0/1) prime?
True
Let s be 176 - 4/((-12)/9). Suppose 2*d = 2*a - 224, 2*d - 6*d + 371 = 3*a. Let j = s - a. Is j a prime number?
False
Suppose 66 = -4*o + 1070. Is o prime?
True
Suppose 2*s + h + 3*h = 442, 5*s = 5*h + 1030. Is s prime?
True
Let j = 2176 + -795. Is j a composite number?
False
Let o = -1478 - -3313. Is o composite?
True
Let w(j) = j. Let z be w(4). Suppose 0 = -2*n + g - 37, z*g + 35 = -2*n + 3. Is (348/n)/(2/(-15)) a composite number?
True
Let p be 1*((-3 - 1) + -2). Is (-6)/18 - 200/p a composite number?
True
Is 4/(-22) + 20108/121 a prime number?
False
Suppose -6169 = -8*i + 5119. Is i composite?
True
Suppose -3*t = n - 2044, 3*n + 2747 = 5*t - t. Is t composite?
False
Is (-1)/5 - (-3352)/10 a composite number?
True
Let d(n) = 12*n**2 + n + 1. Let b be d(-1). Suppose -t = -65 - b. Is t composite?
True
Let u(g) = -8*g - 3. Let h(o) = 1. Let n(k) = -2*h(k) + u(k). Is n(-5) a composite number?
True
Let m(r) = 2*r - 8. Let i be m(6). Suppose -5*y = 5*h - 35, -3*h - 10 = -i*y - h. Is y prime?
False
Suppose -637 = -3*t - 4*t. Is t prime?
False
Let k(h) = 2*h**2 - 2*h + 3. Let c be 1/5 + 45/25. Is k(c) composite?
False
Let w = 16 + -22. Suppose 3*a + 3*t = 10 + 2, 5*t - 2 = a. Is 7*a/w*-46 a prime number?
False
Let k = 6081 + -3557. Suppose q - k = -3*q. Is q composite?
False
Suppose -9*y + 4*y = 3*i - 10775, i = -2*y + 3591. Is i a prime number?
False
Let b(l) = l**2 + 9*l + 9. Is b(10) a prime number?
True
Suppose 0 = -3*g + 5*u - 2