+ -1) a composite number?
False
Let w be (-984)/(-3) + (3 - 1). Suppose 3*q - 51 - w = 0. Is q a composite number?
False
Suppose 3*x = -3*d + 3, x + 9 + 5 = 2*d. Suppose c - 5 = -2*w, c = -c + d*w + 19. Let v(g) = 3*g**2 + 6*g - 4. Is v(c) a prime number?
False
Let c be 14/7 + (432 - -2). Let k = c - 213. Is k a prime number?
True
Let g(y) = -y + y + 2*y - 4 - 3*y**2 + 8*y**3. Is g(3) prime?
True
Suppose 4*m - 58 = 458. Is m composite?
True
Suppose 0 = -5*a - 11*a + 7504. Is a a composite number?
True
Suppose 0 = -z + 2*z - 2. Suppose x - z = 4. Is x a composite number?
True
Let d be (2 - 4 - -2)/1. Suppose -f + 85 = -d*f. Is f a composite number?
True
Suppose 60*k - 3145 = 55*k. Is k a prime number?
False
Suppose 0 = 2*t - 2 - 6. Suppose 2*a - j + 46 = t*a, 0 = 3*j - 12. Is a a composite number?
True
Let l = 13 + -19. Is l - (-3 - 0) - -418 prime?
False
Let b = 7 + 29. Let l = b + 1. Is l prime?
True
Let r be 4*1*5/(-4). Let s(o) = 3*o + 4. Let h be s(r). Let n = h + 34. Is n a prime number?
True
Suppose -633 = 3*o - 6*o. Is o composite?
False
Is (3 + -5)/(3 - (-1455)/(-483)) a prime number?
False
Let r(i) = -2*i. Let n be -2 + (-3 + 3)/1. Is r(n) a composite number?
True
Suppose 3*m = -5*f + 1670, m = -f + 2*m + 334. Is f composite?
True
Suppose 11 = -3*a + 26. Suppose -536 = -a*c + c. Is c prime?
False
Let w(o) = o**3 - o + 415. Let p(l) = l**3 + 10*l**2 - 10*l + 11. Let v be p(-11). Is w(v) a prime number?
False
Let l be 2 + -2*(-3 + 2). Suppose 0 = -3*o - b + 60, -o - 2*b + 99 = l*o. Is o composite?
True
Suppose 0*j + 397 = j. Is j prime?
True
Let p(c) = c**2 - 7*c + 3. Let i be p(7). Suppose -i*h + 4*k - 10 = -4*h, 0 = -2*k - 2. Is h a composite number?
True
Let v = 1467 + 170. Is v composite?
False
Let v(w) = -w + 3. Let g be v(6). Is g*((-76)/3 + -1) composite?
False
Suppose 0*b - 630 = -r + b, 5*r - 3160 = 3*b. Suppose 0*v - r = -5*v. Is v a composite number?
False
Suppose 0 = 2*m - 2*x - 5708, 0 = -m + 2*x - 71 + 2922. Is m a composite number?
False
Let x(c) = -c + 2. Let k be x(2). Suppose k*d = 2*d - 6. Suppose 10 + 31 = 4*a + d*z, a = 5*z + 16. Is a a prime number?
True
Suppose 5*c - 4 = 5*u + 26, 5*c + 2*u = 9. Suppose -c*h - d = -2*h - 319, 0 = -h - 2*d + 321. Is h a composite number?
False
Let u(l) = 4*l**3 - 14*l**2 + 12*l + 13. Is u(9) prime?
False
Suppose 4*r = -2*c + 6, -8 - 2 = 2*c. Suppose 0*y - r*y + 482 = 2*z, 2*z + 113 = y. Is y prime?
False
Let r = 5 + -13. Is 4*15*(-2)/r a prime number?
False
Suppose 4*b - 2 = 2*b. Suppose -1 = -g, -g + b = 3*i - 6. Suppose i*p + p - 165 = 0. Is p a prime number?
False
Let h(j) = -j**2 - 4*j + 4. Let k = -8 + 3. Let f be h(k). Is f/(-1 + 28/30) a prime number?
False
Let o(z) = 20*z**2 + 5. Is o(3) a composite number?
True
Suppose 0 = -4*a + 3*a. Suppose a = -2*d - 0*d + 322. Is d a composite number?
True
Suppose -2*x = -x - 44. Suppose -z + x = -6*n + 2*n, -n = 2*z - 61. Is z - (1 - (3 - 3)) a composite number?
False
Let c be (-1)/(-3) + 22/6. Suppose 0 = c*g - g. Suppose -l + 105 + 8 = g. Is l a prime number?
True
Suppose 4*j + 6*i - 187 = i, 3*i = 3*j - 120. Let w = j + -5. Is w composite?
True
Let d be 1/(2 + 14/(-8)). Suppose -5*u = -19 + d. Suppose u*g = 30 + 111. Is g a composite number?
False
Is 3582/8 - (9/(-12))/(-1) a prime number?
False
Let r(o) = 19*o**2 + 1. Let k = -16 - -11. Let b(f) = f**3 + 5*f**2 - f - 7. Let l be b(k). Is r(l) prime?
False
Let b = 3 + 0. Suppose -b*u + 3*k + 176 = -2*k, 2*u = 2*k + 112. Suppose r + u = 3*r. Is r a prime number?
False
Let n = 227 + -47. Suppose 5*s - 5*j = -0*s + n, -j + 75 = 2*s. Is s a composite number?
False
Let g = -6 - 2. Suppose 0 = 5*s - 0*s. Is -5 - -3 - (s + g) a prime number?
False
Suppose 0 = 4*f - 8 - 8. Suppose 0 = -3*w + w + 5*l + 98, f*w = -4*l + 252. Is w a prime number?
True
Suppose 5*s - 16 + 191 = 0. Let t = 132 + s. Is t a composite number?
False
Suppose x + 2*l - 3 = 0, -2*l + 3*l - 9 = -2*x. Suppose 0*s + x*s - 255 = 0. Is s prime?
False
Let d(m) = m**3 - 8*m**2 + 4*m - 10. Let s be d(8). Suppose 0 = w + 4*j - 131, -2*w + 2*j + s = -230. Is w composite?
False
Suppose c = -17 + 178. Is c prime?
False
Let u = 10 - 7. Let q(z) = 102*z + 1. Is q(u) a composite number?
False
Suppose 31 + 0 = m. Is m a composite number?
False
Let l be (-4)/4*-6 + -4. Suppose 3*b - 155 = -l*b. Is b a composite number?
False
Let h = 851 + -560. Is h prime?
False
Let n(r) = 97*r**2 + 3*r. Let f be n(-3). Suppose 3*c + 196 = k - 2*c, -4*k + 4*c = -f. Is k composite?
True
Let p be 3 + -5 + 6/3. Suppose p = -5*u - 212 + 987. Is u a composite number?
True
Let y(p) = 16*p + 3. Let i be (2 + 12/(-5))*-25. Let w = i + -5. Is y(w) composite?
False
Let b = -4 + 16. Suppose -b*q + 8*q = -1256. Is q prime?
False
Let a = -156 + 313. Is a a prime number?
True
Is (60 - -2)/((-10)/(-245)) + 4 prime?
True
Let t(d) = 3*d**3 - 6*d**2 - 8*d - 11. Is t(6) a composite number?
False
Let i be -1 - -2 - (-4 - -3). Suppose 2*v - 64 = -2*r + 122, 3*v - i*r = 299. Is v prime?
True
Let n(j) = -j**2 - 3*j + 2. Let c be n(-4). Suppose 0 + 12 = -4*h. Is (c/h)/(10/525) composite?
True
Suppose -5*r - 46 = -a + 9, 2*r + 139 = 3*a. Suppose -4*c - 70 = 2*y, -3*y + 76 = -4*c + y. Is 4/c - (-2665)/a a composite number?
False
Let s = -321 - -176. Let r be (5 + -2)/(2/(-32)). Let v = r - s. Is v composite?
False
Let g = 52 + 359. Is g a composite number?
True
Suppose -c - 3*i = -4*i - 4316, -4*c - 2*i + 17282 = 0. Is c composite?
True
Let g = 5592 + -3845. Is g a composite number?
False
Suppose -j - 2 = 5. Let t(a) be the second derivative of -a**5/20 - a**4/2 + a**3/2 - 3*a**2/2 + a. Is t(j) prime?
False
Let y(z) be the third derivative of -z**4/8 - z**3/6 + 6*z**2. Is y(-4) a prime number?
True
Let q be 7/21*(7 - 1) - -21. Let s = 101 - 4. Let z = s - q. Is z composite?
True
Let a(s) = s + 535. Is a(0) a prime number?
False
Let z = -144 - -525. Is z a prime number?
False
Suppose 4 = 2*n - 2. Suppose 5*k - 106 = n*k. Is k composite?
False
Suppose -x = -3*y - 2*y - 2, 34 = 5*x - y. Is x a composite number?
False
Let l be (3 - 1) + 2 + 3. Suppose -2*z - 20 = -l*z. Suppose z*k = k + 237. Is k composite?
False
Let h be 612/20 - 6/(-15). Let p = h - -366. Is p a composite number?
False
Suppose 4*l - 5 + 1 = 0. Let u be (-23)/(-4) + l/4. Let c(j) = j**3 - 4*j**2 + 2*j + 5. Is c(u) a prime number?
True
Suppose 3*g + 6 = 0, 3*v - g = 2 - 3. Let z be 4/10*(v - -6). Suppose 372 = z*y - 5*k, -y - 754 = -5*y + 5*k. Is y a prime number?
True
Suppose -k + 0*m - 2*m - 18 = 0, 3*k - 2*m = -54. Is (-299)/(-9) + 4/k a composite number?
True
Is (-2)/(-1 - 1347/(-1349)) prime?
False
Let z(p) = -p**3 - 12*p**2 + p + 16. Let u be z(-12). Is ((-4906)/(-33))/(u/6) prime?
True
Suppose 3*h - 29 = 2*s, 0 = -4*h - 5*s + 2*s + 33. Suppose v + 2*g = 14 + 2, 4*v - 3*g = h. Is v a prime number?
False
Let n(i) = i**3 + 5*i**2 - 4*i + 5. Let h = -10 - -4. Let k be n(h). Is (-4)/k*(-7)/(-2) a prime number?
True
Let m(o) = -3*o - 2. Let a be m(2). Is (-4)/a + 37/2 a prime number?
True
Suppose 3*h - 4 = -2*t, -2*h - 2*t = -0 - 6. Is h*(-3)/(-6)*-43 composite?
False
Suppose 5*y = 5*s - 0*y - 810, 5*s + y = 804. Is s prime?
False
Let c(l) = 40*l**2 + 4*l - 11. Is c(5) composite?
False
Suppose -5*y = 3*z - 555, -2*y - 5*z = -z - 222. Is y a prime number?
False
Suppose -2*s + 0*s = 2*p - 896, 2*s - 902 = 4*p. Is s a prime number?
True
Suppose 3*h - 4*h - 2*k - 7 = 0, -5*h - 20 = -5*k. Is 0 - h/((-5)/(-103)) a prime number?
True
Let t = 1094 + -445. Is t composite?
True
Let y = 8 + -6. Suppose 0 = 2*w + 5*d - 206, 5*w + 3*d - 561 = y*d. Let x = w + -76. Is x a prime number?
True
Let g = 443 - 140. Is g a composite number?
True
Let h = 1356 + -967. Is h prime?
True
Let f = -1 - -4. Let t be 0/(3/f*1). Suppose 2*y = s - 10, 4*s - 2*y = 40 - t. Is s a prime number?
False
Let z = -7380 - -13975. Is z a composite number?
True
Is ((-1)/(-2))/(3/318) composite?
False
Suppose -2*q = q + 36. Let f = 37 - q. Is f prime?
False
Let s = 7 - 4. Let g be (5/(-1))/(s/(-9)). Is 4/10 - (-549)/g composite?
False
Let h = 148 - -159. Is h prime?
True
Suppose -377 = -4*s + 6799. Is (-24)/60 - s/(-10) a prime number?
True
Let j = -38 - 42. Suppose 0 = -2*y - 8*y + 2070. Let r = j + y. Is r composite?
False
Let p(d) = 7*d**3 + 17*d**2