er?
True
Let m be ((-10)/3)/((-10)/(-15)). Let t(i) = -99*i + 4. Is t(m) prime?
True
Let l be 68*1 + 1 + -1. Let q(p) = -52*p + 14*p - 7*p - l*p. Is q(-1) prime?
True
Is ((-30)/20)/(3/(-398)) a prime number?
True
Let b be (-2 - -2) + 1 - -4. Suppose -5*d = -b, 0*w - 2*w + 5*d = -217. Suppose -3*h = -0*h - w. Is h a composite number?
False
Suppose 0 = -5*s + 4*o + 2880 - 941, -2*s = -2*o - 774. Is s a prime number?
False
Suppose -2*l = -5*y + 2*y + 1040, 2*y - 668 = -5*l. Let i = 6 + -2. Suppose -i*g - 60 = -y. Is g prime?
True
Suppose -2*z - 8 = -3*n - 0*n, 2*z = n. Let v = -2 + z. Suppose -2*w - 3*w + 185 = v. Is w composite?
False
Suppose 0*s = -s + 4. Suppose -s*a + 5*a - 23 = 0. Is a composite?
False
Suppose 0 = -3*y + 84 + 117. Is y a composite number?
False
Suppose 4064 = -2*a - v + 13247, a - 4*v - 4614 = 0. Is a composite?
True
Let a(o) = 85*o - 4. Suppose j = 5*x + 4*j - 6, 3*x - j = 12. Is a(x) composite?
False
Suppose -5*u + 4*c + 21 = 0, 7*u - 3*u + c = 21. Suppose -u = -5*v + 10. Is v/6 - 133/(-2) prime?
True
Suppose 0 = -4*j + 1142 + 1422. Is j composite?
False
Let t(a) = -a**2 + 10*a - 5. Let w be t(9). Suppose 24 = w*k - 128. Is k a composite number?
True
Suppose 5*i + 404 = -651. Let j = i - -354. Is j a prime number?
False
Suppose 2*n + 89 = 3*n. Is n composite?
False
Suppose -2*z = z. Suppose 3*h + l - 30 = z, 0 = h + 3*l - 7*l - 23. Is h composite?
False
Suppose 2*j + c = -c + 2, -4*j - 2*c = -6. Suppose 0 = -j*b + 3*b - 61. Suppose 4*o - 31 - b = 0. Is o composite?
False
Let v be (-6)/(-27) - (-2)/(-9). Let t be 12/(-10)*-5*41. Suppose -2*g - 2*y + t = 0, 2*g - 3*y - 266 = -v*y. Is g a prime number?
True
Suppose -5*t + 2901 = -2*t. Is t composite?
False
Let r be (-4885)/(-25) - (-4)/(-10). Suppose 0 = 3*j + 2*j - r. Is j composite?
True
Let k = -237 + 463. Suppose -s = s - k. Is s a composite number?
False
Let t(c) = -17*c**3 + c**2. Let g be t(-1). Let r be (14/(-4))/((-1)/2). Let x = r + g. Is x a prime number?
False
Let t(o) = 20*o**2 - 5*o - 7. Is t(-6) composite?
False
Suppose -8 = -2*a - 2, 3*w - 2*a = 0. Suppose w*t - 346 = -0*t - 5*p, 2*t - 346 = 3*p. Let l = t + -120. Is l composite?
False
Let x(p) = 4*p**3 - 3*p**2 - 4*p + 1. Let f be x(3). Suppose -3*d = 2*d - f. Is d prime?
False
Let q(u) = u - 1. Let c be q(-1). Let j be 54/10 + c/5. Suppose d - 3*f = -8*f + 52, 5 = -j*f. Is d a composite number?
True
Suppose -5*x + 1829 = -3*z, 726 = -0*x + 2*x - 4*z. Is x a composite number?
False
Suppose 0 = -5*r - 5*x + 1035, -r + 4*r + x = 613. Is r a composite number?
True
Let a = 2149 + -1518. Is a prime?
True
Suppose 0 = -3*q + 3*t - 6, 3*q = -q + 3*t - 6. Suppose 2*l - 980 + 42 = q. Is l composite?
True
Let n = -7 + 12. Suppose 4*m = n*c - m - 415, -4*c - 5*m = -332. Is c composite?
False
Let q(k) = -k + 14. Let h be q(12). Let g(s) = 50*s**3 - s**2 + 1. Is g(h) prime?
True
Suppose 3*u - 26 = u. Is u a prime number?
True
Let b = -7 + -1. Is 2/b - 10647/(-12) prime?
True
Let o = 25 - 4. Let m = o + -47. Let g = m - -57. Is g composite?
False
Suppose 2 = y + 1. Suppose 0 = -4*f, -2*f - 2*f + 1 = -a. Let m = y - a. Is m a prime number?
True
Let y be -2 + (10 - 3) - 0. Suppose 4*c - 138 - 14 = v, 4*c - y*v = 168. Is c prime?
True
Suppose -211 - 33 = 2*i. Let f = i - -189. Is f composite?
False
Let g(w) = 22*w**2 - 2*w. Let t(d) = d - 10. Let y be t(7). Let o be g(y). Suppose 2*p = -2*p + o. Is p a prime number?
False
Let p = 326 - 226. Let t = p + -41. Is t a composite number?
False
Suppose -5*r = -21 + 1. Suppose 265 = p + r*p. Is p a composite number?
False
Let m(a) = -6*a**2 + 3*a + 7. Let f be m(-5). Let l = -495 - -252. Let q = f - l. Is q prime?
False
Is (-7)/((-3 + 6)/(-111)) prime?
False
Suppose 20 = 3*w + 2*w. Suppose 7 = w*t - 3*t. Suppose t - 59 = -2*k. Is k prime?
False
Let j(b) = -14*b + 8. Let m be j(7). Suppose 3*a + 95 + 22 = 0. Let o = a - m. Is o a prime number?
False
Suppose i - 3*i = -80. Is i*2 + (-3)/1 composite?
True
Let x be (-2)/3 + 2/3. Suppose y + 4*y - 10 = x. Suppose 4*j + 5*k - 332 = 2*j, -y*j + 328 = 3*k. Is j composite?
True
Let h = 2 - 0. Suppose -243 - 55 = -h*g. Is g a composite number?
False
Let r(z) be the second derivative of -z**5/20 + 211*z**2/2 - 3*z. Is r(0) a prime number?
True
Let g(d) = d**3 - 2*d**2 - 8*d + 5. Let t be g(10). Suppose -4*m + 8 - 1 = y, 3*y = -3*m - 6. Suppose -2*a = m*a - t. Is a a composite number?
True
Let w = 167 + -107. Is (-2)/(-8) + w/16 prime?
False
Let h(s) = -s - 15. Let l be h(-13). Is (-886)/l*(-9 + 10) a prime number?
True
Let j be 2/(-7) + 46/14. Let l(w) = 11 - j*w + 2*w + 2*w - 2*w. Is l(0) composite?
False
Is 1217 - ((-2)/(-7) + 6/(-21)) prime?
True
Is -1*(2 + -42 + 3) a prime number?
True
Let p(c) = 54*c**3 + c**2 + 2*c + 4. Is p(3) a prime number?
False
Let w = -26 - -18. Let v = w - -14. Let k = 59 - v. Is k composite?
False
Suppose 2*j - 3*y + 87 = 0, -3*j + 2*j = -3*y + 36. Let m = j + 130. Is m a prime number?
True
Suppose 2*v + 4*o = 489 + 489, -5*o = v - 477. Is v a prime number?
False
Is (-1)/(3828/(-956) - -4) prime?
True
Suppose -5*p - 590 = -0*p. Is (p + -1)*(-7 - -6) composite?
True
Let g(u) = u**2 + u - 7. Let v be g(-7). Suppose 2*b - v = 7*b. Let s(a) = -7*a + 2. Is s(b) prime?
False
Let a(k) be the second derivative of k**5/10 - 2*k**4/3 + 2*k**3/3 - k**2/2 + k. Is a(5) prime?
False
Let j(f) = 2*f**3 - 22*f**2 - 18*f + 4. Is j(13) prime?
False
Let q = 623 - 890. Suppose j - 2*s = 2*j + 198, -780 = 4*j + 5*s. Let g = j - q. Is g prime?
False
Let l(u) = -u + 13. Let g(f) = f**3 - f**2 - 3*f. Let w be g(3). Let h be l(w). Suppose -2*q + 0 = -h, 0 = -3*d + 5*q + 245. Is d prime?
False
Let p(l) = l + 5. Let z be p(-4). Let d be -2 - (1 + -3 - z). Is d/2 + (-129)/(-2) prime?
False
Let t(l) = 2*l**2 - 13*l + 2. Let g be t(12). Is (g/(-6))/((-2)/6) a prime number?
True
Let y(h) = 10*h**2 + 2*h + 2. Let f be y(-4). Suppose f = -x + 3*x. Is x a composite number?
True
Let v = 31 + -20. Is v a composite number?
False
Let v(k) = -k**3 + 8*k**2 - 8*k - 1. Let a be v(6). Let f = 101 + a. Suppose f = 3*s + s. Is s a prime number?
True
Suppose 396 = 4*v + 2*m, -89 = -2*v + 5*m + 85. Is v prime?
True
Suppose -5*d - 679 = -t, -1831 = -3*t + 4*d + 184. Is t prime?
False
Let q = -794 - -1117. Is q a composite number?
True
Let h(r) = 3*r**2 - 2*r + 3. Let n be h(-4). Suppose -13*b + 12*b + n = 0. Is b composite?
False
Let i(k) be the first derivative of -k**3/3 + 2*k**2 + 4*k + 1. Let x be i(4). Let p(b) = 2*b**3 - 5*b**2 - 4*b + 5. Is p(x) a composite number?
False
Let l = 546 - 326. Suppose -4*x - 4*r + l = -0*x, 5*r - 220 = -4*x. Is x prime?
False
Let v(h) = 0*h + h + 5*h**2 - h**2 + 4 - 8*h. Let j be v(4). Suppose -52 = -4*k + j. Is k a prime number?
True
Suppose 0*x = 3*x - p - 169, -2*p = 8. Is x composite?
True
Is (5722/(-8))/((-7)/28) composite?
False
Is (2/4)/((-8)/(-944)) composite?
False
Suppose 3*f = f + 6. Let z(n) = n - 5. Let m be z(f). Let o = m + 4. Is o composite?
False
Let w(x) = -226*x**3 + x**2 - 1. Let l be w(-1). Let i be ((-2)/4)/((-1)/l). Suppose 27 = -2*u + i. Is u a composite number?
False
Let i be (3 + -2)/((-1)/(-6)). Suppose 14 = 4*r - i. Suppose 8 = d + 3*x, 2*d - 2*x + r - 61 = 0. Is d composite?
False
Let a = -17 + 52. Let z = a - -114. Is z a prime number?
True
Let b(s) = -s**3 + 18*s**2 + 21*s - 27. Is b(16) a prime number?
True
Let d(p) = p**3 + 9*p**2 - 4*p + 1. Is d(-9) a prime number?
True
Suppose 0*l + 2*l = 28. Let s be (-2)/l + (-22)/(-7). Suppose s*h - 671 = -h + r, -179 = -h - 2*r. Is h a composite number?
True
Let n(v) be the third derivative of v**5/60 + v**4/3 + 7*v**3/6 - v**2. Let q be n(-8). Is q/(0 + (-2)/(-4)) a prime number?
False
Suppose i = 21 + 22. Is i a composite number?
False
Let l = -6 - -6. Suppose -2 = -i - n + 2*n, l = -3*i - n - 2. Suppose i = -5*b + 104 + 81. Is b composite?
False
Suppose -130 = -2*o - 456. Let c = -112 - o. Is c prime?
False
Let r(z) = -854*z**3 - 2*z**2 - 3*z - 2. Is r(-1) composite?
False
Suppose 4*v + 672 = -4*r, -3*v + 3*r = 494 - 14. Let n = v - -283. Is n prime?
False
Let v = -10 + 15. Suppose -4*w + v*c + 45 + 83 = 0, -c + 152 = 4*w. Is w a prime number?
True
Let t be (138/8)/(1/8). Let l = 240 - t. Is 21/2*l/9 a prime number?
False
Suppose -2*f + 1734 = 77