Is a a composite number?
True
Suppose -10*g + 8*g + 1246 = 0. Is g prime?
False
Suppose -y = -5 + 2. Suppose 0 = y*x - 8 - 4. Suppose 82 = 2*h - 2*m, 2*m = x*h + h - 196. Is h a composite number?
True
Suppose -j + v + 265 = -4*j, 162 = -2*j + 3*v. Let x = 124 + j. Is x composite?
False
Let n be ((-8)/5)/(2/(-5)). Suppose 3*l = 4*o + 248, 0*l = -n*l + 4*o + 332. Suppose 2*y + l = 6*y. Is y prime?
False
Let c(j) = 98*j**2 - 2*j - 1. Is c(-3) a prime number?
True
Suppose 32 = -3*f + 7*f + 4*o, -2*o + 20 = 3*f. Suppose 0*y - 196 = -f*y. Is y prime?
False
Let p(s) = s**2 + 4*s + 11. Let j be p(-15). Suppose -i + j = -15. Is i composite?
False
Let a = 7 - 4. Let t = a - -8. Suppose 3*c + q = t + 257, -357 = -4*c - q. Is c a prime number?
True
Suppose 4*y + g = -18 - 10, 0 = y - 4*g - 10. Is 227 + y + (-2)/(-1) composite?
False
Suppose -7 + 1 = -3*r. Suppose 7*q - 187 = r*q - 2*g, 2*q = 2*g + 86. Is q composite?
True
Let k be 2/(3/(-6)*2). Let w(p) = 8*p - 2. Let o be w(2). Is (-1 + (-5)/k)*o prime?
False
Let p = -5 + -8. Let c = p - -23. Is c a prime number?
False
Suppose -2*k + 63 + 71 = 0. Is k prime?
True
Suppose 0*n + 4074 = 2*u + 4*n, -3*n = 3*u - 6126. Is u a composite number?
True
Is 1597/(3 + (-2 - 0)) a composite number?
False
Is (-34002)/(-14) - (3 + 46/(-14)) composite?
True
Let n be 1/(-2)*0*-1. Suppose -v = 3*p - 3, -5 = -p - n*v + v. Suppose 107 = 3*d - b, -p*b + 39 = 4*d - 117. Is d a prime number?
True
Let l = 54 + 46. Suppose -3*x + 162 = 5*o - 0*x, 5*x = 4*o - l. Suppose 27 = 3*w - o. Is w composite?
False
Let s be (-2)/5 - (-44)/10. Suppose -5*z - s = 1. Is z + 48/(-2 - -5) composite?
True
Let d = 70 - 41. Let v = 128 - d. Let j = 20 + v. Is j a composite number?
True
Suppose 1038 = 3*d - 75. Is d a prime number?
False
Let x(y) = 11*y**3 - 13*y**2 + 12*y - 6. Let k(f) = 5*f**3 - 6*f**2 + 6*f - 3. Let r(a) = -13*k(a) + 6*x(a). Is r(4) composite?
False
Is -3 - (-416 + -2) - -4 prime?
True
Suppose -10*o = -190 - 1440. Is o composite?
False
Let m be (-82984)/18 - (-2)/9. Let u(g) = 3*g + 29. Let s be u(-12). Is m/(-14) - (-2)/s prime?
False
Let w be 8/(-1)*(-3)/12. Is (89/(-5))/(w/(-10)) composite?
False
Suppose 3*o - 170 = 223. Suppose 2*k - o = k. Is k prime?
True
Let h(i) = -i - 2. Let t be h(4). Let a = 59 + t. Suppose 2*s + 2*u = s + a, -2*s - 2*u + 108 = 0. Is s prime?
False
Let g = -1239 + 2224. Is g a prime number?
False
Let l be (-6)/4*(-112)/24. Suppose -2*b - 565 = -l*b. Is b prime?
True
Let j(k) = 31*k**2 + k + 1. Suppose 20 = a - 6*a, -3*a - 4 = 4*y. Is j(y) composite?
False
Let a = -5 + 6. Let b = -4 + a. Is (-1 - b)/(14/651) a prime number?
False
Suppose -5*o + 827 = -3218. Is o a composite number?
False
Let r be ((-2)/(-4))/((-3)/(-306)). Suppose r = -2*l + 4*h + 575, 5*l - 1334 = 2*h. Suppose -6*t + t = 4*a - l, 4*t - 201 = -3*a. Is a a prime number?
True
Let k = 81 - 30. Is k composite?
True
Let k(c) = -c**2 - 59*c + 29. Is k(-18) a composite number?
True
Let w(d) = -108*d**3 - d**2 + 1. Let x be w(1). Let f = -55 - x. Is f composite?
False
Let v be (0 - 1) + 10 - 2. Let m(h) = 4*h - 2. Let i be m(v). Suppose 4*t - i = 18. Is t prime?
True
Suppose 4*i + 0*h - 2404 = 3*h, 4*h = -i + 620. Suppose 4*w = i - 144. Is w prime?
False
Suppose 4*t = 4*b + 224, 8*t - 289 = 3*t - 4*b. Is t a prime number?
False
Let g = -4 - -1. Let j(y) be the second derivative of -3*y**5/20 - y**4/3 - y**3/6 - y**2/2 + y. Is j(g) prime?
True
Is (-5)/(-3) - (-8156)/6 a prime number?
True
Is (1228/(-2))/(-3 + 1) prime?
True
Suppose 3*y - 856 = -y + 4*f, -826 = -4*y - 2*f. Is y a composite number?
True
Let i = 241 + -506. Let p = 476 + i. Is p a composite number?
False
Suppose -c - 163 + 38 = 0. Let r = c + 212. Is r composite?
True
Let n = -6 - -8. Suppose 270 = 5*p + 4*k, -k = p - n*k - 63. Is p prime?
False
Let d be 1/3 + (-1)/3. Suppose -2*u - 2*u - 5*f + 29 = d, -5*f = u - 11. Is u a prime number?
False
Suppose -m + 64 = -187. Is m prime?
True
Suppose -8*a = -4*a - 436. Suppose -325 = 5*v - 3*c, -2*v - a = -c + 20. Is 0 + (-3)/6*v a composite number?
False
Let w(s) = -1215*s**3 - 2*s**2 + 2*s + 2. Is w(-1) prime?
True
Let m be 1/(0 - 3/(-15)). Suppose m*h + 8 = 4*z + 24, -5*h = -20. Suppose g - 21 = a + 27, 0 = -a - z. Is g composite?
False
Let s(d) = -2*d**3 + 8*d**2 + 8*d + 9. Is s(-8) a prime number?
True
Let o be (-626)/12 + (-1)/(-6). Let u = -29 - o. Suppose -2*r + 39 = -u. Is r a prime number?
True
Let d(m) = 190*m**3 + 2*m**2 - 1. Let j(l) = -l**2 - 3*l - 1. Let b be j(-2). Is d(b) a prime number?
True
Suppose 4*m = 10*m - 4362. Is m a composite number?
False
Suppose -5*o + 3320 = -2075. Let t be 2/8 + o/4. Suppose 162 = 2*y - 2*d - 14, -3*y = -5*d - t. Is y prime?
False
Let n(q) = 9*q - 1. Suppose 0 = c - 6*c. Suppose c*y - 2*y + 8 = 0. Is n(y) a prime number?
False
Let d = -3 + 11. Suppose d*a = 3*a + 745. Is a prime?
True
Suppose -62 - 48 = -5*r. Is r a composite number?
True
Let c = 16 - 11. Suppose -c*v + 348 - 2258 = 0. Is (-2)/(12/v)*3 a prime number?
True
Let u(k) = 1 - 25*k + 17*k - 2 + 102*k. Is u(1) prime?
False
Suppose 0 = -50*d + 51*d - 673. Is d a composite number?
False
Suppose 0 = 2*i + 10 + 6. Is (-3)/12 - 1594/i composite?
False
Suppose 3*o - 5*z + 6 = 0, 6*o + 4 = 4*o + z. Suppose -5*d + 70 = -3*d. Let x = o + d. Is x a prime number?
False
Let r(o) = 5*o**2 + 4*o - 5. Is r(-4) prime?
True
Let o be 1 - (-8)/(-2) - -213. Suppose -i - 2*p = -53, -i + 6*i - p = o. Is i composite?
False
Suppose 0 = -4*g + 4*d + 4 + 4, 0 = -g - 2*d + 2. Let r be (g - -2)*6/(-8). Is 14/21 + (-289)/r prime?
True
Is ((-3)/(-9))/(1/111) a prime number?
True
Suppose -1730 + 185 = -3*v. Is v composite?
True
Let d be ((-6)/3 - -4)*2. Let o = -2 - 3. Is 38/1 + d + o a composite number?
False
Let h(n) = -n**3 + 9*n**2 - 3*n - 10. Let x be h(9). Let m = -18 - x. Is m a composite number?
False
Let c(k) = 14*k + 3. Let j be c(-7). Is (-8)/(-10)*j/(-2) a composite number?
True
Let q(d) = d**3 - 3*d**2 - 2*d - 5. Let b be q(6). Suppose -4*w + 3*w + b = 0. Is w a composite number?
True
Let l(p) be the first derivative of p**3/3 + 2*p**2 + 2. Let w be l(-3). Is (-411)/(-2) - w/(-6) a prime number?
False
Is 6584/4 - (-4 - -8) prime?
False
Let a be 1639 + 5/(10/6). Suppose 15*o - a = 13*o. Is o a composite number?
False
Suppose -3*t - 56 = -t + u, 5*u + 150 = -5*t. Let q = 77 + t. Is q a prime number?
False
Is 4/(-16)*46*-106 composite?
True
Let q(m) = m**3 - 4*m**2 + 4*m - 3. Let n be q(3). Let o(k) = k**3 + 4*k**2 - 4. Let p be o(-3). Suppose n*f - p = f, -f = 3*s - 25. Is s composite?
True
Let r(a) be the third derivative of 0 - 1/6*a**3 - 1/60*a**5 - 11/40*a**6 + 0*a - 1/12*a**4 - 2*a**2. Is r(-1) composite?
True
Suppose 114 = 5*i - 1351. Is i a prime number?
True
Let f = 189 - 11. Is f composite?
True
Let l(c) = -338*c**3 + 2*c + 1. Is l(-1) a prime number?
True
Let l(j) = -5*j + 2 + j**2 - j + 2*j**2. Is l(4) a composite number?
True
Let a = 38 - 7. Is a a prime number?
True
Suppose -3*d + 4*y + 1504 = -175, 0 = 3*y + 6. Is d a composite number?
False
Let r(x) = x**2 + 6*x + 2. Let g be r(-5). Is 38 - g*3/(-9) prime?
True
Let w = 13 + -9. Let j be w/(-14) - (-37)/7. Suppose 0 = j*h + 2*d + 22 - 130, -5*d = 2*h - 39. Is h a composite number?
True
Suppose 9 = 3*p - 3. Let b = 0 + p. Suppose j = -0*j - 3*u + 103, -b*u = 4*j - 380. Is j prime?
False
Suppose 0 = -9*n + 16*n - 3871. Is n composite?
True
Let i = 4 + -4. Suppose -4*f + 1 + 39 = i. Suppose -f = -c + 9. Is c a composite number?
False
Suppose 4*a = 7*a - 129. Suppose -a = -b + 219. Is b prime?
False
Suppose 6*a = 4*a - 4. Let c(s) = 18*s**2 - 2*s - 2. Is c(a) prime?
False
Let y(h) = -4*h**3 - 6*h - 11. Is y(-6) a composite number?
True
Let w(o) = -o**3 - o**2 - 11*o - 10. Is w(-4) prime?
False
Let a be (-2 + -12)*(-66)/7. Is a + 1*(-1)/1 a composite number?
False
Let r(o) be the first derivative of o**3/3 - 4*o**2 - 4*o - 4. Let y be r(9). Suppose -3*l - y*x = -80, -x = 1 + 4. Is l prime?
False
Let z(y) = -y**3 - 4*y**2 + 5*y + 3. Let p be z(-5). Let k be ((-5)/(-4))/(p/1956). Suppose -3*w + 8*w - k = 0. Is w prime?
True
Suppose -n = -5*n. Suppose n*b - b = -235. Is b a prime number?
False
Let r be 3/(9/6) - 0. Suppose z - 83 = -2*x, -4*z + r*x + 171 + 191 = 0. Is z a composite number?
Fa