 composite?
True
Let c = 46 + 446. Suppose -5*i + 146 = 4*x - 3*x, 3*i + c = 3*x. Is x a composite number?
True
Suppose -263 = -2*n - 3*g, g = 5*n + 209 - 824. Suppose -3*l - x = -n, -x + 249 = 4*l + 82. Is l a composite number?
False
Suppose 153 = d - 2*n, -3*d + n = -58 - 426. Is d prime?
True
Let k = 87 + -51. Let t be (0 + -1 - 0)*-3. Suppose -21 = -t*g + k. Is g a prime number?
True
Is 3/6 + (-163)/(-2) composite?
True
Let z(w) = w**2 - 7*w + 3. Let k be z(7). Suppose -3*v + 9 + k = 0, b = 2*v + 169. Is b a composite number?
True
Suppose 6*g - 150 = g. Suppose -g - 10 = -5*r. Is ((-79)/2)/((-4)/r) a prime number?
True
Let d(v) = -v + 4. Let n be d(4). Suppose -4*t + 39 = -3*r - 36, 2*t - 3*r - 33 = n. Is t composite?
True
Let q(i) = i + 11. Let j be q(-8). Suppose y = j*y - 4. Suppose 0 = -2*h - y*h + 136. Is h prime?
False
Is 7476/8*(-4)/(-6) a composite number?
True
Suppose 2*u = 3*t - 101, t - 4*u - 27 = -0*u. Let r = t - -62. Is r a prime number?
True
Suppose 5*f - 101 - 18 = 3*r, 95 = -3*r - f. Let b = r + 54. Is b composite?
True
Let f(p) = -6*p**3 - 6*p**2 + 5*p - 1. Let h be f(-5). Suppose h + 794 = 4*g. Let w = -164 + g. Is w a prime number?
False
Is (31 - 27) + 2279/1 prime?
False
Suppose -h + 17 - 6 = 0. Suppose -2*g - h = -3*g. Suppose -g = -2*v + 243. Is v prime?
True
Let l = 1 - -8. Is (-2)/6 + 336/l prime?
True
Suppose 5*i - 3*o - 814 = 0, 2*o = 5*i - 376 - 435. Is i prime?
False
Let v(i) = i + i - 2 + 3*i. Is v(12) a composite number?
True
Suppose 0 = 5*f - 15, -5*a + 5*f = -589 + 9. Let o be -3*5*(-1)/3. Suppose z - l - 44 - 20 = 0, -2*z + a = -o*l. Is z prime?
True
Let p(h) = -7*h**2 + 9*h**2 - 3 + 3*h + 11*h**2. Is p(2) prime?
False
Let k = 13 - 8. Suppose 127 + 28 = k*i. Is i prime?
True
Suppose 0 = 2*v - 1185 + 11. Is v a prime number?
True
Let v = 91 + 321. Is v + 1 + 0 - 0 prime?
False
Let j(i) = 16*i**2 + 2*i + 6. Let q be j(-7). Let c = q + -342. Suppose -w + c = w. Is w composite?
True
Let d(x) = 12*x**2 - 4*x + 3. Suppose 0 = 3*i - i - 8. Is d(i) a composite number?
False
Suppose 3*d - v = 3678, -847 - 1619 = -2*d - 4*v. Is d a composite number?
True
Let m be 4*(-2)/28*-7. Suppose -2*i + 0*x - 5*x + 168 = 0, 4*x = -m*i + 170. Is i prime?
True
Let d = 63 - -105. Let t = 19 + d. Is t a composite number?
True
Let s be (-6)/12*(1 + -7). Suppose -50 - 37 = s*j. Let a = j + 88. Is a prime?
True
Suppose -4*g + 0*g + 20 = 0. Suppose 0*r + 2*r = -g*c + 818, 2*c - 1636 = -4*r. Is r composite?
False
Let q(j) = j**2 - j + 1. Let i(n) = -11*n**3 + 7*n**2 - 10*n + 9. Let x(h) = -i(h) + 6*q(h). Is x(2) a composite number?
False
Suppose 2*l - 1276 = 5*c, -366 = -l + 5*c + 267. Suppose -3*m = 5*s - l, 3*m - 234 - 395 = 2*s. Is m composite?
False
Let i(n) = -31*n - 3. Let o(c) = c**3 + 4*c**2 + 2*c + 6. Let p = 7 - 11. Let g be o(p). Is i(g) a prime number?
True
Let d(h) = 10*h**2 - 9*h - 3. Is d(-6) composite?
True
Let y be (1/(-3))/((-1)/6). Let f(h) = 2 + 1 - 4*h - h + y*h**2. Is f(4) a prime number?
False
Suppose 0 = q + 4 - 0, 28 = 4*j - 5*q. Let d = 6 + -3. Suppose 5*k - 85 = -4*i + j*i, -i + 44 = d*k. Is i composite?
True
Let q be (3 + -1)*(1 + -2). Let r = 5 + q. Suppose -2*v - 2*g + 3*g = -32, 9 = v + r*g. Is v prime?
False
Suppose 0 = -3*o + 6*o - 18. Is ((-4)/o)/((-6)/603) a composite number?
False
Suppose 559 + 21 = 4*w. Is w prime?
False
Let y(m) = -m**3 - 3*m**2 + m - 3. Let f be y(-3). Let p be 14/(-3) + 2/f. Let k(i) = i**3 + 4*i**2 - 4*i + 7. Is k(p) composite?
False
Suppose 3*z + 2 = -t - 4, 0 = 3*t + 3*z. Suppose t*q + 2*x - 235 = 0, 399 = -2*q + 7*q - 4*x. Is q composite?
False
Suppose 9*j - 485 = 4*j. Let t = j + -30. Is t a prime number?
True
Suppose -u + 0*u = -3*c + 86, -38 = -c + 5*u. Suppose 0 = -2*m + a + 31, -3*a = 2*m - 3*m + c. Is m a composite number?
False
Suppose -2*c + 473 = -63. Suppose 0 = -12*l + 16*l - c. Is l a prime number?
True
Let o(n) = -n**2 + 17*n - 13. Is o(11) prime?
True
Suppose m + 4*i - 20 = -0*m, -3*i = -3*m. Suppose d + 131 = 5*d - t, -5*d + 169 = m*t. Is d a prime number?
False
Suppose -44 - 1 = -5*q. Suppose 0 = -q*h + 4*h + 395. Is h a prime number?
True
Suppose -2*c = -179 - 195. Is c a composite number?
True
Let m = 27 + -15. Suppose m = -5*u + 5*x + 87, u - 3*x = 19. Is u a prime number?
True
Suppose -10 = -5*t - 0. Suppose -3*l - 2*l = -5*h + 80, -t*l = -3*h + 48. Suppose -516 = -2*z - 2*z + 2*x, -4*x - h = 0. Is z prime?
True
Suppose 4*w + 614 = 6*w. Is w a composite number?
False
Suppose 17*s + 7634 = 19*s. Is s prime?
False
Let h(c) = c**3 - c**2 + 1. Let q(f) be the second derivative of -f**5/5 + f**4 - 5*f**3/6 - 7*f**2 - 2*f. Let j(n) = -5*h(n) - q(n). Is j(-8) composite?
True
Let x(j) = j**2 + 12. Let g(b) = -3*b**2 + b - 25. Let o(i) = -2*g(i) - 5*x(i). Let w be o(9). Suppose -5*f + w + 392 = 0. Is f a composite number?
False
Let l(y) = -y**2 - 6*y + 0 + y - 4*y + 1. Is l(-7) prime?
False
Let r(j) be the third derivative of 1/60*j**6 + 0*j + 0 + 1/12*j**4 + 5/6*j**3 + 3*j**2 - 1/15*j**5. Is r(6) composite?
True
Suppose -2*h - 5 = -n + 3*h, 0 = -4*n - h - 22. Let g = n + 88. Is g prime?
True
Let g be (-3)/15 - (-28)/(-10). Is 35*g/9*-3 a composite number?
True
Let b be ((-2)/3)/(14/(-63)). Suppose -2*i + 4*u = 8*u - 104, 2*u = b*i - 116. Suppose z = 4*z - i. Is z a prime number?
False
Suppose t - 2*x - 746 - 136 = 0, 3468 = 4*t + 4*x. Let v = t + 35. Is v prime?
True
Let k(a) = -49*a - 5. Is k(-4) prime?
True
Let k(o) = -o**2 + 13*o - 11. Let x be k(12). Let d = x + 24. Is d a composite number?
True
Let p be -4*1/3*-3. Let o = 84 + -28. Suppose -4*k - p*b = -24, -4*b = -4*k - 0*b + o. Is k prime?
False
Let w = 83 + -5. Suppose 0 = -2*g + 3*f + w, -g - 3*f = -6*g + 177. Is g composite?
True
Let z be 8/6 - (-2)/3. Suppose z*v - 28 - 10 = 0. Is v a composite number?
False
Suppose 0 = 2*x + 2*k - 6, x + 1 = -3*k + 6*k. Suppose -2*z - 4 = x*z. Is 2*5 - (-4 - z) a composite number?
False
Suppose -139*t = -145*t + 5034. Is t a prime number?
True
Let f = 1 - 3. Suppose 0 = -p - 4 - 1, -5*i + 4*p + 15 = 0. Is (f - (i - 96)) + 0 prime?
False
Let w = 391 - 252. Is w a prime number?
True
Suppose -5*d - 1 = -4*v, -3*d + 5*v + 5 - 3 = 0. Is d/(-1 - (-228)/231) a composite number?
True
Suppose -121*i + 354 = -115*i. Is i a composite number?
False
Suppose 7*u - 5350 = 3141. Is u composite?
False
Let c = -9 - -30. Is c composite?
True
Suppose -3*a = 2*a. Suppose -6*i + i + 185 = a. Is i composite?
False
Let s = -93 - -160. Is s composite?
False
Let z be 7/3 - 2/(-3). Let i = z - 0. Is (i - 1 - -1) + 110 a composite number?
False
Is (5854/(-1))/(1 - 9/3) a composite number?
False
Suppose 7350 = 3*f + 3*u, 0 = 2*f - f - 3*u - 2470. Is f composite?
True
Let p = 112 + -65. Is p composite?
False
Is 2/(-4)*(-191 + 13) a composite number?
False
Suppose -z - 2*z - 156 = 0. Let y = -10 - z. Is (4/(-6))/((-2)/y) a prime number?
False
Suppose 10 = -5*q, 3*q + 4233 = g + 2*g. Is g composite?
False
Let j(y) = -2*y - 3. Let s be j(-3). Suppose 2*q + 33 = 4*q - 3*i, -s*i - 9 = 0. Suppose q = 4*m, 4*r + 2*m - 62 - 32 = 0. Is r prime?
False
Let v(f) = 2*f**2 - 5*f + 4. Is v(7) a composite number?
False
Let t = 9 + 5. Let k be t/(-4)*(-8)/14. Suppose -k*o - 40 = -156. Is o a prime number?
False
Let t(l) = 68*l**2 + 5*l + 8. Let q(v) = -67*v**2 - 6*v - 9. Let g(f) = 4*q(f) + 5*t(f). Is g(3) a prime number?
False
Suppose -27 = -3*z + 5*b, -3*z + b + 17 + 10 = 0. Is 78 - 3/z*3 a composite number?
True
Suppose -2*b = 40 + 2. Let z = 16 - b. Is z a prime number?
True
Suppose n - 3*v - 753 - 305 = 0, -3*n + 3207 = 2*v. Is n composite?
True
Let m(w) = -2*w + 7*w + 0*w**2 - w + 4 + w**2. Let k be m(-4). Suppose k*f - 635 = -f. Is f composite?
False
Let y = 0 + 0. Suppose y*h + 5*h = 125. Suppose h + 6 = t. Is t a composite number?
False
Is (-841)/(-2) - 15/10 a prime number?
True
Let o = 47 - 74. Let w = -12 - o. Is w a prime number?
False
Let n = 3 + -1. Let l(h) = 9 - 3*h**2 + h - 3*h**2 + h**n - h**3 + h. Is l(-6) prime?
False
Let q(k) = -k**2 + 10*k - 7. Let v be q(9). Suppose 5*f = 3*h - 0*h - 590, -v*f = -2*h + 400. Is h a composite number?
True
Suppose 12 = 2*p - 4*g, -3*p + 2*g + 2*g = -12. Suppose p = -o + 2*o - 73. Let q = o + -20. Is q composite?
False
Suppose 0*h = -h + 635. Is h a prime nu