(t). Suppose -4*p + 217 = -f, -m*p + 0*f + 149 = 2*f. Is p a prime number?
True
Let u(a) = 6*a + 6. Let t be u(3). Suppose z + 2*o - 12 = 8, -z = -2*o - t. Suppose -5*v - z = -2, -5*v - 573 = -f. Is f prime?
False
Let g(r) = -r**2 - 11*r - 9. Let z be g(-8). Let l(d) = z*d**2 + d - 6*d + 3*d. Is l(1) a prime number?
True
Let a = 19551 - 10420. Is a composite?
True
Is 53876/8 + (-6)/4 prime?
True
Let o(n) = -n + 5. Let p be o(4). Let w(l) = -l**2 - p + 17*l - 21*l + l**3 - l**2. Is w(6) a composite number?
True
Let x be (-121)/6 + (-2)/(-12). Let p be ((-2)/4)/(x/120). Is 4/p*237/2 prime?
False
Suppose 2*u + x - 15 = 4*x, 3*x + 15 = 0. Suppose u*o = -3*o + 357. Is o prime?
False
Suppose 5*z - 48 = 2*z. Let k = 12 - z. Is 8 - 6 - 35*k prime?
False
Is ((-6677)/22 + -13)*68/(-6) composite?
True
Suppose 2*m - 326 = 2052. Suppose 5*c + 184 - m = 0. Let k = c - 46. Is k prime?
False
Suppose -2*a = -k + 20473, 8*a = -3*k + 7*a + 61433. Is k prime?
True
Let o = -40 + 19. Let y = o + 22. Is (-1)/(2/(-1594))*y a prime number?
True
Suppose 3*m = -2*m + 4*j + 50, 4*j + 26 = m. Let g(z) = z**2 - 5*z - 3. Let t be g(m). Let q(c) = 63*c - 4. Is q(t) composite?
True
Suppose 7*k + 10 = 9*k. Suppose 3403 + 2142 = k*l. Is l a prime number?
True
Let n = -3553 - -6272. Is n a prime number?
True
Let x(p) = 2591*p**3 + p - 1. Is x(1) composite?
False
Suppose 2*w + a = -0*a + 12, -3*a + 15 = 3*w. Suppose 6*v - w*v + 5 = 0. Suppose -v*b - 572 = -9*b. Is b a composite number?
True
Let o = -3055 - -2120. Is (2/2 + o)/(-2) composite?
False
Let z(m) = 6*m**3 - 4*m**2 - 3*m - 1. Let t be z(-2). Let a be (-4)/(-2 - 2)*t. Let r = a + 186. Is r a prime number?
True
Let y(t) = -t + 6. Let f(i) = -i + 3. Let o(d) = -5*f(d) + 3*y(d). Let k be o(0). Let n(j) = 53*j**2 - 5*j + 7. Is n(k) a composite number?
True
Suppose 0 = -2*o + 6*o - 8. Suppose 3 = -o*u + 9. Suppose -368 - 235 = -u*n. Is n a prime number?
False
Let y = 10670 + 4563. Is y a prime number?
True
Suppose -2*v = 3*k - 23595, 0*k + 7873 = k - 2*v. Is k composite?
False
Let d(x) = 63*x**3 - 1. Let g = 9 - 7. Let h be d(g). Suppose 0 = -3*f + h + 130. Is f a prime number?
True
Suppose o + 4*c = 21071, 0 = -4*o - 5*c - 34935 + 119186. Is o composite?
False
Let b = -9101 - -17082. Is b prime?
False
Let s(j) = 4*j**3 - 9*j**2 - 2*j - 287. Let q(p) = 2*p**3 - 5*p**2 - p - 143. Let l(n) = 11*q(n) - 6*s(n). Is l(0) composite?
False
Let l = -1685 - -2704. Is l prime?
True
Let h(w) = -w**2 + 16*w + 7. Let g = 7 - 5. Let p be (-1)/((-69)/33 + g). Is h(p) a prime number?
False
Let n = -630 - -931. Suppose 0*k = -k + n. Is k composite?
True
Let q be (-6 - (-2 - -3)) + -3. Let h(b) = 15*b**3 + 1. Let s be h(1). Let l = s + q. Is l a composite number?
True
Let o be (-2)/(1 - -1) + 4. Suppose b + o*p - 416 = 33, -4*p + 449 = b. Is b a composite number?
False
Let b(k) be the third derivative of 25*k**4/24 + 2*k**3/3 + 4*k**2. Is b(15) prime?
True
Let i = 3 - -1. Suppose 0 = 5*u - i*m + 85 - 307, 0 = 5*m - 10. Is u prime?
False
Suppose 3*g - 27 = 2*x - 7, 2*g + 5*x = -12. Suppose 3*h + 2773 = g*t, -3*h + 3510 = 5*t + 2*h. Let v = -390 + t. Is v composite?
False
Let k(b) = 19*b**2 - 2*b - 32. Let d be k(-6). Let s = d + -245. Is s a composite number?
False
Is (9/18*-2)/((-4)/40220) composite?
True
Suppose 2*k + 6 - 88 = 0. Let y = 106 - k. Is y prime?
False
Suppose 6*d - 8*d + 45548 = 2*l, -113835 = -5*l + 2*d. Is l prime?
True
Suppose 0*t = 5*p + 5*t - 4425, -4*t = 2*p - 1766. Is p a prime number?
True
Let k = 36 + -32. Let q(u) = 265*u + 1. Is q(k) a composite number?
False
Suppose 17 = -2*m + 5*a, -5*m - a = -10*m + 15. Let c(p) = 55*p**2 - 8*p + 15. Is c(m) a composite number?
False
Let z(b) = 6*b - 19. Suppose -4*w - 5*c = w - 30, -3*w = c - 14. Suppose -40 = -3*r + 2*j, 4*j + w = -r + 36. Is z(r) a prime number?
False
Suppose 0 = j + 7*j - 1664. Suppose -3*s = -3 - 3. Suppose -s*x = 2*x - 2*z - j, 5*x + z - 253 = 0. Is x composite?
True
Suppose 3*y + 336 = -5*y. Is (-50)/525 + (-175186)/y composite?
True
Suppose x + 2*b - 4*b = 212, -5*b - 206 = -x. Suppose -6*r + 257 = -r - 4*n, -x = -4*r - 2*n. Is r a composite number?
False
Suppose -516 = -7*z + z. Suppose 3*f = f + z. Is f composite?
False
Suppose -8*o - 2*o = -50. Suppose z - o*c = 649, 2*z = 4*z + c - 1320. Is z a composite number?
False
Is 6/(-2) - (4 - 70790*1) prime?
True
Suppose -5*w + 5*v + 255035 = 0, 7 - 15 = -2*v. Is w prime?
False
Let p be 129/27 + (-4)/(-18). Suppose 0 = p*w - 8*w - 435. Is (-4 + w)*1/(-1) prime?
True
Let m(y) = 4*y**2 - 2*y. Let v be m(2). Suppose 0 - 12 = 4*u. Is ((-138)/8)/(u/v) a composite number?
True
Suppose -3*x - 25 = -3*m - x, -4*m + 25 = -x. Suppose 325 = m*u - 130. Is u prime?
False
Suppose 12*q + 71254 = 347074. Is q a composite number?
True
Let i = 101 - 12. Suppose 0 = 21*y - 22*y + i. Is y composite?
False
Suppose -d = -0*d - 3*a, 0 = -4*d + a. Let v(z) = z - 11. Let l be v(17). Suppose d*m + 3810 = l*m. Is m a composite number?
True
Suppose 3*w - 366 + 78 = 0. Suppose -l = 2*u + 4 + 29, w = -5*u + 2*l. Is ((-76)/3)/(12/u) a prime number?
False
Let f = -854 - -2369. Suppose -12*w + 7*w = -f. Is w composite?
True
Let t = -6 - -5. Suppose -2*s + 2 + 0 = 0. Is s/t*(1 + -264) prime?
True
Is 32843 + ((-58)/(-15) - (-16)/120) prime?
False
Let t(c) = -c**3 + 12*c**2 - 10*c - 2. Let h be t(11). Let q be 36/(-8)*12/(-9). Suppose h*m = q*m + 165. Is m prime?
False
Let b(w) = -34*w + 12. Let j be b(2). Is 118*((-660)/j - (-4)/(-14)) a prime number?
False
Let v(m) = -123*m + 6007. Is v(0) composite?
False
Is ((-21)/(-3))/((-9)/(-3231)) prime?
False
Suppose -6*u = s - 4*u - 6, 3*s + 3*u = 30. Suppose -19*l = -s*l. Suppose 3*r - 1842 = 3*b - l*b, 0 = -4*r - 4*b + 2448. Is r a prime number?
True
Let m(o) = o**3 + 11*o + 22*o**2 + 34 + 31*o - 12. Is m(-17) a composite number?
True
Suppose -2*d - 2*h = -16, -10 = -d - 2*h + 2. Suppose 0 = x - 2*t - 121, -d*t = -x + 47 + 84. Is x prime?
False
Let r(u) = -333*u - 23. Let x be r(-3). Is x/2 + (29 - 26) prime?
True
Let o = -1851 + 3128. Is o prime?
True
Let y(h) = -5 + 2 + h - 1. Let f be y(6). Is (-14)/f*(2 - 9) prime?
False
Let b(t) = t**3 + t**2 - t - 11. Let m be b(0). Let d = 17 + m. Suppose d*k = 9*k - 1317. Is k a composite number?
False
Suppose 0 = 5*y + 2*n - 6244, -6*y = -2*y + 5*n - 4985. Suppose f = 5*k - 2*f - y, -754 = -3*k + f. Is k composite?
True
Let o = -148 - 10. Let u = 36 - o. Is u composite?
True
Let s = 14736 - 8623. Is s prime?
True
Let w(i) = 33635*i**2 - 5*i + 1. Is w(-1) prime?
True
Suppose -4*x - 39 = 3*j, -4*x = -4*j - j - 1. Let w(n) = 55*n**2 + 7*n - 11. Is w(x) a prime number?
False
Is 4078351/51 - 12/18 prime?
True
Suppose 0 = 4*v - 3*u - 2705, 1195 = 3*v + 3*u - 839. Is v prime?
True
Let j(q) be the third derivative of -q**6/120 - 2*q**5/15 + q**3/2 - 6*q**2. Let n be j(-8). Suppose 61 + 98 = n*t. Is t composite?
False
Suppose -g - 4*g = 0. Suppose g = v + v - 10. Suppose t = -v*t + 2022. Is t a composite number?
False
Let b(k) = 3122*k**2 - 3*k + 2. Is b(-1) prime?
False
Suppose -13*h = -10*h + 141. Let i be (2 - 4) + (590 - 0). Let f = i + h. Is f a composite number?
False
Let z(o) = o**3 - o**3 - 2*o**2 - 3 + o**2 - 5*o + o**3. Let i be z(3). Suppose 3*f + f + 3*c - 2942 = i, 2928 = 4*f - 4*c. Is f prime?
False
Let h(z) = z**3 + 15*z**2 + 17*z + 32. Let q be h(-14). Is 1/(-3) - q/(-6) - -1639 a prime number?
True
Suppose -7 - 48 = -5*a. Suppose 5*p - 19 - a = 0. Is -4 - p/(-2) - -20 composite?
False
Let k = -136 - -76. Is -3*(-4)/90 - 54412/k a composite number?
False
Suppose 5*q + 0*q - 34219 = -h, -3*q + h = -20533. Suppose -q = -10*m + 6*m. Is m a prime number?
False
Suppose -4*p - 5*z + 116962 = 0, 0 = 10*p - 9*p - 2*z - 29247. Is p a prime number?
True
Let z = -9 - -11. Let w be 3 + 6/z + -6. Suppose w = q + 5*l + 14, 3*l + 37 = 2*q - 0*l. Is q a composite number?
False
Let u be (-10 - -11)*(-8)/(-2). Let v be 182/u + (-6)/(-12). Suppose v = 2*t - 2*r, -r - 2*r = -9. Is t prime?
False
Suppose 4*r - 5*r = 151. Let a = r + 598. Suppose -2*t - a = -5*t. Is t a prime number?
True
Let s(x) = -79*x + 87. Is s(-18) a composite number?
True
Let d = 4 - -1. Suppose 6*p = d*p + 262. Is p prime?
False
Let q(m) = m**2 - 8*m + 3. Let d be q(9). Suppose -3*l = -6*l - d. Le