 prime?
False
Suppose 4*f = -0*f + 16. Suppose -2*o - 266 = -f*o. Is o composite?
True
Is (-1)/6 + 29793/18 a prime number?
False
Let m = -53 - 30. Let x = m + 174. Is x composite?
True
Suppose 0*n + n = 2. Is 75/2 - n/(-4) a prime number?
False
Let m = -12 - -11. Let b(p) = 49*p**2 + 41*p**2 + 2 + 2*p - 1. Is b(m) a composite number?
False
Let x be (-2 + 9/6)*-6. Let k = x - 2. Is (0/(-2) - k)*-38 a prime number?
False
Suppose j + 4*s - 1527 = 0, j + 2*j - 4*s - 4645 = 0. Is j a composite number?
False
Suppose o - 322 = -3*r, 2*r + 872 = 3*o - 149. Is o composite?
False
Let j(o) = -565*o + 3. Is j(-2) prime?
False
Let n(v) = 7*v**2 + 2*v + 2. Let q be (-2 - 2)*(-15)/(-12). Is n(q) composite?
False
Suppose 0*j = -2*j + 22. Let h = j - 5. Is ((-14)/(-6))/(2/h) a composite number?
False
Suppose 1002 = 8*c - 6*c. Let h = c + -185. Suppose h = 4*f - 0*f + 2*b, -2*b - 316 = -4*f. Is f a composite number?
False
Let q(a) = 5 + a - 4 + 69*a**2 - 4 + 2. Is q(1) a prime number?
False
Suppose 2 = o, 1620 = -5*d - 5*o + 10175. Is d a composite number?
False
Let i(y) = y**3 + 2*y**2 - 3*y - 1. Let u be i(-2). Suppose 2*v = 3*v - u. Suppose v*c = m + 603, -4*c + 233 = -3*m - 245. Is c a prime number?
False
Let v(p) = -7*p**3 - 25*p**2 - 40*p - 29. Let d(m) = -3*m**3 - 13*m**2 - 20*m - 15. Let w(l) = 5*d(l) - 2*v(l). Is w(-14) a prime number?
True
Let x(t) = -t + 6. Let p be x(3). Let a = -18 - -24. Is (-2)/p - (-1342)/a a prime number?
True
Let m be (0 - 120/(-9))*3. Suppose 2*z + 3*z + m = 0. Is 2/(z/2)*-62 a prime number?
True
Let z be (-4)/((-8)/31)*6. Let d = z + 122. Is d prime?
False
Suppose -830 = k - 6*k. Suppose -3*f + 90 = 3*v, f - k = -4*v - v. Is v a composite number?
True
Suppose -n = -2*r + 1, 2*n = r - 0*n - 2. Let s be (0 - 2/(-4))*r. Suppose s = 2*w - m - 244, m = -2*m - 6. Is w a prime number?
False
Let o = 9 - 9. Let i(g) = -g**3 + g + 5. Let m be i(o). Suppose -m*k = -90 - 75. Is k prime?
False
Suppose -5*q - 575 - 450 = 0. Let r = q - -425. Suppose -j = 3*j - r. Is j composite?
True
Suppose 5*p - 20854 + 8709 = 0. Is p a composite number?
True
Is 189 + 5/((-15)/(-6)) prime?
True
Suppose 26 = -3*x + 2*u - 12, -x - 5*u - 7 = 0. Is ((-2)/(-3))/(x/(-1206)) a prime number?
True
Let k be 4/14 - (-108)/14. Suppose 455 = k*q - 3*q. Is q a composite number?
True
Suppose -2 = -4*b + 10. Suppose 2*r - 132 = -4*h - 0*r, h - b*r = 47. Is h a prime number?
False
Let d(l) = -6*l. Let h be d(9). Let c be -1*(h + 1)*1. Let n = -19 + c. Is n prime?
False
Is 565 - -1*(3 + -2) prime?
False
Let s be 4/18 + (-25)/(-9). Let j be (-1 + -10)*(-3)/s. Suppose 5*q = -j + 41. Is q prime?
False
Let i(d) = -d**3 - 3*d**2 + 5*d - 4. Let o(m) be the second derivative of -m**5/20 - 5*m**4/12 - m**3/2 + 2*m**2 + m. Let y be o(-3). Is i(y) composite?
True
Suppose -3294 = -4*r - 802. Is r a composite number?
True
Let o(i) = i**2 - i. Let d be o(2). Let a(c) be the second derivative of 5*c**4/6 - c**3/6 - c**2/2 + 6*c. Is a(d) prime?
True
Let t(d) = 5*d**3 - 6*d**2 - 8*d - 3. Let u(y) = -4*y**3 + 5*y**2 + 7*y + 2. Let z(j) = 3*t(j) + 4*u(j). Is z(-4) composite?
False
Suppose c - 3 = 1. Suppose -3*f + 634 = -f. Suppose -2*b - c*i = -210, b = -2*b - 5*i + f. Is b a composite number?
False
Let l be (-2)/3 - 8/(-3). Suppose l*p = 6 + 4. Suppose 210 + 85 = p*w. Is w prime?
True
Let g = -74 - -123. Is g composite?
True
Suppose 3*k + k - 120 = 0. Suppose 0 = t - 4*t + k. Is t a prime number?
False
Let q = 64 + 31. Suppose -3*t + 70 = -q. Is t a prime number?
False
Suppose -v + 5*u - 14 = -3*v, 4*u = 16. Let s = -2 + v. Is (s + 0)*(-3 - 0) prime?
False
Suppose -4*g = 3*a + 2874, 5*a + g + 4795 = -4*g. Let c = a + 1483. Is c prime?
True
Suppose h = -5 + 10, -2*h + 13 = b. Let x = 9 + 69. Suppose -21 + x = b*i. Is i prime?
True
Let u(b) = -2*b**3 - 15*b**2 + b + 14. Let x = 8 + -19. Let a be u(x). Is a/(-15)*(-6)/4 a composite number?
True
Suppose -4*p - 3380 = -2*m - p, 5*p - 6782 = -4*m. Is m a composite number?
False
Suppose -4*o + 20 = o. Let q be ((-2)/o)/(4/8). Is (34 + q)*(-5)/(-15) a composite number?
False
Suppose -6*t + t = -2*m + 17, -t = 5. Let i = 4 + m. Suppose i = r + 4*h - 31, h = 3*r + 2*h - 71. Is r a composite number?
False
Suppose -6*v + v + 5038 = -4*s, -5*v + 5032 = -s. Is v a composite number?
True
Suppose 5*d - 34 = 1. Suppose d = t - 0*t. Let f = 3 + t. Is f a prime number?
False
Let i = -34 - -51. Suppose 5*k - i = z, -k = 2*k + 2*z - 5. Suppose -5*l + k*t = 5*t - 61, -3*t = -2*l + 13. Is l a composite number?
False
Let j = 585 + -106. Is j a prime number?
True
Let d(n) = 11*n - 4. Let q be d(8). Suppose -q = -2*r - 16. Is r a prime number?
False
Let b = -3243 + 5738. Is b a prime number?
False
Suppose 0*x - 3*x + 9 = 0. Suppose 4*d - 2*g = 354, -7*g + 3*g = x*d - 249. Is d a prime number?
False
Let c = -29 + 15. Is (-4)/c + 1107/21 a prime number?
True
Suppose -3*t + 28 = -2*h + t, t = -5*h - 48. Let l(s) = s**3 + 11*s**2 + 5*s + 3. Is l(h) a prime number?
True
Suppose 4*u - 824 = -0*d + 4*d, 0 = -5*u + 3*d + 1040. Is u a composite number?
False
Let i(m) = 2 + 2 - 187*m - 2. Let w(h) = 560*h - 5. Let s(o) = 8*i(o) + 3*w(o). Is s(1) composite?
True
Is (-1471)/(2 - -1 - (3 + 1)) prime?
True
Let z(l) = -l - 3. Let q be z(-7). Suppose q = 2*r - 0. Suppose -r*o = -28 - 58. Is o composite?
False
Suppose 3153 = 11*t - 8*t. Let n = t + -572. Is n composite?
False
Let n = 20 - 14. Let f(z) = -z + 5. Let s be f(n). Is 3/((-1)/17*s) a prime number?
False
Let x = 1124 - 623. Is x a prime number?
False
Let i = 8 + -19. Let s = 0 - i. Let p = s - 1. Is p composite?
True
Suppose 0*d + 3*d - 1433 = o, 2*d - 5*o - 938 = 0. Is d composite?
False
Suppose 0 = -o - 4*o + 3*a + 99, 0 = -o + 5*a + 11. Is o a prime number?
False
Suppose 2*l = 3*l - 127. Is l prime?
True
Suppose 2*d - 1229 = -331. Suppose 5*t = j + 744, -4*t - 2*j = -t - d. Is t a prime number?
True
Let v(j) = j**2 + 2. Let i be v(2). Let o(t) = 9*t - 8. Is o(i) a prime number?
False
Suppose -3*v + 1016 = -229. Is v a composite number?
True
Is 0 + 132 + 0 + -1 composite?
False
Let p(l) = -l**2 + 20*l - 2. Is p(9) prime?
True
Suppose 4*j + 3*f + 1 = -0*f, 0 = -4*j + 4*f - 8. Let c be 1 + -4*j/2. Suppose -5*r + c*a + 178 = 0, 0 = 5*r + 5*a - 155 - 15. Is r a composite number?
True
Suppose -9 = 3*y, -2*f = -5*f + y + 459. Let q(d) = d**3 - d**2 - d + 285. Let b be q(0). Let p = b - f. Is p a composite number?
True
Suppose 2124 = 2*q + 5*m, 5*q - 4*m = 7887 - 2544. Is q a prime number?
False
Let q(p) = -p**2 + 8*p + 10. Suppose 3*n = 3*i + 36, -4*n = -0*i - 5*i - 52. Suppose -3*j + 16 = -n. Is q(j) a prime number?
False
Let f be (-44)/12 + (-4)/(-6). Let w be (2 + f)*-1 - -1. Suppose -5*h = -0*c + w*c - 24, -5*c - 5*h = -45. Is c prime?
True
Let l(v) = -v. Let b be l(-4). Let h(d) = -2*d**3 + d**2 - 3*d - 1. Let o be h(b). Let m = 202 + o. Is m prime?
False
Suppose 2*y - 903 = -y. Is y composite?
True
Let h be (-264)/9*90/(-12). Let d = 377 - h. Is d a prime number?
True
Let l(q) = 14*q - 53. Is l(10) a composite number?
True
Let a = 4 + -4. Let i = 4 - a. Suppose -g - v + 76 = g, i*g - 5*v - 138 = 0. Is g prime?
True
Let v = 38 + 111. Is v a composite number?
False
Let a(c) = -14*c - 4. Let w be a(-5). Suppose -n = -3*n + w. Suppose n = 2*l - 41. Is l prime?
True
Let t(r) = r. Let d be t(-7). Let a(q) = 2*q**3 - 9*q**2 - 4*q. Let m(n) = -3*n**3 + 18*n**2 + 9*n. Let b(s) = 5*a(s) + 3*m(s). Is b(d) prime?
False
Let x = -6 - -11. Suppose 0*s - x*s = -1285. Is s a composite number?
False
Let z(b) = -b**2 + 4*b. Let g be z(3). Let c be 1/g - 476/(-3). Is c*(-2)/6*-1 composite?
False
Suppose 0 = 2*w - 1 - 9. Suppose -5*l - 445 = -w*v, 0*v - 2*v - 2*l = -170. Is v prime?
False
Let z(n) = -4*n - 3. Let q(k) = -k**2 - 8*k + 2. Let j be q(-6). Suppose 0 = 2*l + j - 6. Is z(l) a prime number?
True
Let i(d) = -4*d - 2. Let g(w) = w + 2. Let x be g(-4). Is i(x) a composite number?
True
Suppose 0*m + 4*m = -8. Let n(l) = -8*l**3 - 2*l**2 + l + 1. Is n(m) prime?
False
Let h = -160 + 323. Is h prime?
True
Suppose 5*m + 4*t + 274 - 1885 = 0, t = 4*m - 1272. Is m a prime number?
False
Let x(l) = l**3 + 7*l**2 + 5*l - 4. Let g be x(-6). Let f(i) = 29*i - 3. Is f(g) composite?
True
Suppose 0 = -14*b + 9*b + 155. Is b a prime number?