Is u a composite number?
True
Let b = 583 + -318. Is b composite?
True
Let l = 248 + 899. Is l a prime number?
False
Suppose -383 = 8*o - 3159. Is o composite?
False
Suppose 435 = 2*a + 67. Let d = a + -93. Is d a composite number?
True
Let g be -3 - (0 + 804/(-3)). Let z = -170 + g. Is z a prime number?
False
Let c(g) = -2*g - 6*g - 4 + 1. Let s(d) = d - 16. Let b be s(11). Is c(b) composite?
False
Let i(v) be the third derivative of v**6/120 + 3*v**5/20 - v**4/3 - v**3/6 + 3*v**2. Is i(-8) a composite number?
False
Suppose -d = 13 - 69. Let c = d + 11. Is c a composite number?
False
Suppose 3*g = -g + 20. Let m(k) = -k**3 + 7*k**2 - 4*k + 1. Is m(g) composite?
False
Let i be (165/10)/((-2)/4). Let y = i + 64. Is y prime?
True
Suppose 0 = 10*l - 4*l - 17634. Is l a prime number?
True
Let u(r) = 3 + 9 + 1 - 1 + 7*r. Is u(11) a prime number?
True
Let z(d) = -d**2 - 6*d + 6. Let c be z(-5). Is (-2)/(c + -3)*-524 prime?
True
Suppose 2*n = 257 + 537. Is n/7 + 2/7 a prime number?
False
Let t be (-15)/6*8/(-10). Let f(a) = -1 + 24*a + 2 - 2. Is f(t) a composite number?
False
Let k = -9 - -32. Is (-12)/(-8)*(-1 + k) composite?
True
Suppose 4*l - j - 6415 = 0, 4931 + 3093 = 5*l - 3*j. Is l a composite number?
True
Let x = 193 - 126. Is x a prime number?
True
Let v(j) = j**2 + 5*j + 2. Let k be v(-5). Let g = 1 + k. Suppose g*b + 9 - 48 = 0. Is b a composite number?
False
Let s be -3 + -2 + 16/2. Suppose 500 = 2*d + 3*o - o, -o = -s. Is d prime?
False
Suppose 0 = -x + 3*x - 198. Suppose q = -0*q + x. Suppose -3*p = -q - 96. Is p prime?
False
Is (-2 + (-51)/(-6))*46 prime?
False
Suppose -4*w = 0, 2*t = -w + 21 + 19. Suppose 5*b = b + t. Suppose -c - 2*j = -37, b = -8*j + 3*j. Is c prime?
False
Suppose -333 = -3*k - 108. Let q = k + -40. Is q a prime number?
False
Suppose 3*a = r - 110, 5*r + 4*a + 101 = 670. Is r a composite number?
False
Let v = -8 - -15. Let c = 22 - v. Is c composite?
True
Let v = 576 + -322. Suppose -3*x - v = -5*x. Is x prime?
True
Suppose -3*i - x - 3*x = 14, 4*i + 17 = -5*x. Let g(j) = 2*j**i - 2*j + 2*j - 3 - j. Is g(-4) composite?
True
Let p(v) = 8*v - 10*v + 109 + 0*v**2 - v**2 + 654. Is p(0) composite?
True
Let u(c) = 16*c**2 - 4*c + 3. Is u(2) composite?
False
Suppose -j + 21 = -4*j. Let g = 82 - j. Is g a prime number?
True
Let p = 170 - 117. Is p a composite number?
False
Suppose -n = 4*x - 287, n - 906 = -2*n - 3*x. Let a = 464 - n. Is a prime?
True
Suppose 15 = 3*f + 2*f. Suppose -2*n - 5*o + 344 = n, f*o = -3*n + 342. Is n composite?
False
Suppose -4*l + 5*z = -8, 7*z - 3*z - 2 = -l. Suppose 0*m = m + l*w - 81, 3*m - 225 = 3*w. Is m a prime number?
False
Let k(x) = -x**2 - 20*x - 22. Is k(-9) a prime number?
False
Let r(m) = 18*m**2 + 9*m - 19. Is r(-8) composite?
False
Suppose 3 + 0 = 3*s. Suppose 2*c + s = 67. Is c composite?
True
Let w = 0 + 2. Is 10 - w/(-6)*0 a prime number?
False
Let y = 182 + -1. Is y a composite number?
False
Suppose 0*c + 757 = 2*v - c, -374 = -v + 5*c. Is v prime?
True
Let q = 4 + -1. Suppose 0 = 5*o - 10, 7*o = 5*d + q*o - 147. Is d a prime number?
True
Let u = 2 - -5. Let a = u - 4. Let k = a + 116. Is k composite?
True
Let h(y) = -6*y**3 + y**2 + 4*y + 3. Let k be (-10)/15*9/(-2). Suppose -b = 5 - k. Is h(b) a composite number?
False
Let v(f) = -18*f - 2. Let p be v(-9). Suppose 2*c - 198 - p = 2*j, 0 = -4*j. Is c a composite number?
False
Let y be (-3)/(-9) - 28/(-6). Suppose y*r - 14 = -q, -2*r + 20 = -7*r. Is q prime?
False
Suppose 5*i + 7 = 4*i. Let a(y) = y + 11. Let o be a(i). Suppose -2*t = -o*x - 122, x - 81 - 51 = -2*t. Is t composite?
True
Let i(f) = f**3 - f**2. Let r be i(1). Suppose -2*u - 75 = -l - 7*u, 3*l + u - 281 = r. Is l a prime number?
False
Let r(n) = 14*n + 3. Let j be r(-7). Let v = 182 + j. Is v prime?
False
Suppose m - 80 = 410. Is (m/15)/((-4)/(-6)) prime?
False
Let m = 8 + -3. Suppose -c = -5*f - 191, 2*c = -c - m*f + 653. Is c a composite number?
False
Let v = 1377 + -811. Suppose 61 + v = 3*w. Is w composite?
True
Let r(d) = 3*d**2 + 6*d + 9. Let y be r(7). Suppose 4*h = 3*k + y + 151, 4*h + 2*k - 334 = 0. Is h a prime number?
False
Let m(t) = -5 - 4 + 8 + 76*t**2 + 2*t. Let u = 0 + 1. Is m(u) prime?
False
Let x = 659 + 463. Suppose -5*b + x = 7. Is b composite?
False
Suppose -3*o - 3723 = -5*m - 4*o, -5*m - 2*o + 3721 = 0. Is m composite?
True
Let t be 2/3 + (-1)/(-3). Suppose 0*p + t = -p. Is 0 + p + 2 + 32 composite?
True
Let m(l) = 5*l + 0*l**3 - 2*l + l**3 + 1 + 5*l**2 + 1. Let x be m(-4). Is (3 - 0)*22/x a composite number?
False
Suppose -5*i - 158 = -4*i + 2*u, -3*i - 474 = -5*u. Is (-1 + i)*1/(-3) prime?
True
Let v = -302 + 484. Let l = v - 39. Is l a composite number?
True
Suppose 35 - 141 = -2*j. Is j a composite number?
False
Let a(g) = -95*g - 5. Is a(-8) a composite number?
True
Suppose 2*t = 2*j - 6, j - 15 = -3*j + 5*t. Let g be j + 2 - (2 - 2). Suppose g*v = -0 + 6, -4*c - 3*v + 229 = 0. Is c a prime number?
False
Let x(p) = p - 7. Let q be x(11). Suppose -q*g = -0*g - 572. Is g prime?
False
Let u = 1249 + -822. Let k = u + -126. Is k prime?
False
Suppose 3*b = 3*l + 1185, 3*b - l = -4*l + 1197. Is b a composite number?
False
Let q(g) = -3*g**3 + 2*g**2 + 2*g - 3. Let r be q(-3). Is 479/9 + (-20)/r a prime number?
True
Let h(w) be the first derivative of 5*w**3/3 - w**2 + 2*w + 8. Is h(-3) a composite number?
False
Suppose 0*z + 5*z = -35. Let q(f) = -f**2 + 15*f + 10. Let t be q(11). Let w = z + t. Is w composite?
False
Suppose 2*a + 37 = -f + 89, 5*f - 8 = -a. Let o = a - 9. Is o prime?
True
Suppose -1213 = 10*r - 10763. Is r composite?
True
Suppose -5*d = -k - 12817, -4*k + 3*k - 10254 = -4*d. Is d a prime number?
False
Let i be 24/40*5*1. Suppose 596 = i*g + g. Is g prime?
True
Suppose -4*u + 4*x + 4256 = 0, 2*u + 2*x - 814 - 1302 = 0. Is u a prime number?
True
Suppose 0 = -2*i + 349 + 73. Is i prime?
True
Let b = -612 + 1279. Is b a composite number?
True
Suppose -2*l + 18 = 3*p, 63 = 4*l - 4*p - 13. Is l a prime number?
False
Let m(d) be the first derivative of 110*d**3/3 - d**2/2 - 1. Is m(-1) composite?
True
Let d(y) = y**2 - y - 3. Let j be d(3). Suppose 4*o - 128 = -4*c, -2*c + c + j*o = -44. Is c a prime number?
False
Suppose 3*y + 4 - 265 = 0. Is y a composite number?
True
Let g = -1 - -5. Is (5 - g) + 108 + 0 a composite number?
False
Let l(v) = 6*v**3 - 2*v**2 - 3. Is l(2) prime?
True
Let b be (1 - 0) + -9 + 8. Suppose 3*f + b*f = 45. Suppose 0*h + f = h. Is h prime?
False
Suppose -5*t = -3429 - 1601. Is t composite?
True
Let i be 94 + 0 - (0 + -1). Let t = i + -133. Let l = 53 - t. Is l a prime number?
False
Let g(k) = 112*k**2 - k. Suppose 0 = -b - 1 + 2. Is g(b) prime?
False
Suppose 179 = -5*x - 586. Let y = 94 + x. Is y/(3/3 - 2) a prime number?
True
Is 9/(-9)*(-32 - 1) composite?
True
Suppose 3*n - 2*n - 78 = 0. Suppose 249 - 14 = 5*o + 2*v, -4*v + n = 2*o. Is o a prime number?
False
Suppose 0 = -2*l + 5*u + 18 - 0, -2*l + 4*u + 16 = 0. Let z(g) = g**3 - g**2 - g - 1. Is z(l) a prime number?
True
Suppose -7*t = -6*t - 16. Let u = t + 19. Is u a composite number?
True
Suppose -384 = -5*t - 44. Suppose 0 = 3*r + 11 - t. Is r a prime number?
True
Suppose -5*q - 2*y + 20 = 0, q - 4*y = -q - 16. Suppose 4*p = 2*f + 146, -q*f - f = -3. Is p a composite number?
False
Let h(c) = c**3 - 4*c**2 + 2*c + 4. Let y be h(3). Let x be ((60 - -1) + -2)*y. Let o = x - 38. Is o composite?
True
Let i = 7 - 7. Is -1 + (190 - (i - -2)) a prime number?
False
Suppose -h + 849 + 270 = 0. Is h composite?
True
Suppose 5*m - 80 = 5*g, -2*m = -4*g - 0*g - 42. Is m composite?
False
Let f be ((-8)/(-4))/(1/26). Let v = -22 + f. Let p = v + -11. Is p a prime number?
True
Is 3493/(-14)*(1 + -3) a prime number?
True
Suppose 2*q = 5*q. Suppose q = -4*d + 20, 4*d - 85 + 260 = 5*k. Is k prime?
False
Let f be (-4)/(-6)*(-413 + 2). Suppose 3*m = 945 + 522. Let c = m + f. Is c a composite number?
True
Let a(r) be the first derivative of 1/3*r**3 - 3/2*r**2 + 7*r - 1. Is a(-5) a prime number?
True
Suppose -5140 = -4*x - 6*x. Is x a prime number?
False
Suppose 2*p + 34 - 258 = -3*b, 2*b - 4*p - 144 = 0. Let u be (4/3)/(8/12). Is 0/u - b/(-2) a prime number?
True
Suppose 2*a = -4*p - 98, 2*p + 159 = -2*a - a. Let i(j) = 4*j - 2. Let c be i(6). Let q = c - a. Is q 