0/8 - (-9)/(-12). Suppose 4*c = 238 + m. Is c a prime number?
True
Suppose -2*d = -2*h + 6*h + 54, 0 = -5*d + 2*h - 99. Is (-3812)/(-6)*d/(-14) prime?
True
Let v be (-111)/3 - 1 - -4. Is v/51 + (-671)/(-3) composite?
False
Let b = 34 - 11. Suppose 0 = r - 58 + b. Is r a composite number?
True
Suppose 10 = 2*h, -4*h - 11 = -2*p + 11. Is p prime?
False
Let k(u) = -17*u + 1. Let z be k(1). Is ((-15)/4)/(4/z) prime?
False
Let h(r) = r**2 + 12*r + 27. Let x be h(-10). Let c(f) be the third derivative of 5*f**4/24 - f**3/3 - f**2. Is c(x) a composite number?
True
Let q = -9 - 0. Let y(g) = -10*g - 13. Is y(q) prime?
False
Let g(c) = 13*c + 4. Let l be g(-8). Let r = -67 - l. Let b = -23 + r. Is b a prime number?
False
Suppose 2*w + 417 + 995 = 0. Let y = 390 + w. Let o = y + 443. Is o a composite number?
False
Let i(m) = -m**3 + 2*m**2 - m. Let y be 2/((-2)/((-6)/3)). Let c be i(y). Is (2/6)/(c/(-78)) a composite number?
False
Let f(h) = -40*h**3 - 3*h**2 - 2*h - 3. Is f(-2) a prime number?
False
Let x be 4/(-4)*(-1 + -4). Let o(a) = 3*a - 3. Let b be o(x). Suppose -3*c + 99 = 5*g, c + 32 = 2*g - b. Is g a prime number?
False
Let v(y) = y - 8. Let x be v(8). Suppose -3*o - o = 0. Is (-11)/(o + (-1 - x)) prime?
True
Suppose 5*s - i = -125, 0 = 5*s - 2*i - i + 125. Let d = -47 - s. Is 2 + 1*-3 - d a prime number?
False
Let g(l) = 32*l**2 - 1. Let r = -6 - -4. Is g(r) a composite number?
False
Let t be 1 - (3 + 9)/(-3). Let o(b) = b**2 - 5*b + 2. Let a be o(t). Suppose -a*c = -4*c + 158. Is c a composite number?
False
Suppose 5*j - p = 1675, 3*j - 989 = 4*p + 16. Is j a composite number?
True
Suppose 2*m = 0, 4*l - l + 465 = m. Is (-4 - l) + -2*1 a prime number?
True
Let p(l) = 6*l**2 + 4*l + 6. Let n be p(8). Suppose 2*f = q - 252, 3*q - 330 = 5*f + n. Suppose -2*z = 2*j - 316, -5*z + 224 = 3*j - q. Is j a prime number?
False
Let l(u) = 1893*u + 7. Is l(2) composite?
False
Let z(h) = 13*h + 5. Is z(4) a composite number?
True
Let y(c) = c**2 + c. Let f(w) = -2*w**2 - 22*w - 5. Let k(g) = -f(g) - 3*y(g). Is k(10) prime?
False
Let s be (621/12)/((-3)/(-8)). Is (s/8)/((-2)/(-8)) a prime number?
False
Let a = -215 + 314. Suppose 5*h - 245 = -5*f, -11 = 2*h - 3*f - a. Is h a prime number?
True
Suppose 4*v = 7615 + 5469. Is v composite?
False
Suppose n + 2*n - 4468 = -4*b, -3*n - 5585 = -5*b. Is b a composite number?
False
Suppose -4*j = 3*t - 6, t + 5*j = 3 - 1. Let c be (1/3)/((-4)/(-1284)). Suppose d - c = -4*f, -d - d - t*f = -232. Is d composite?
True
Suppose 2*b - 375 = -3*b. Let f = b - -38. Is f prime?
True
Let p(d) = 2*d - 4. Let n be p(4). Let y = 200 - n. Suppose 4*g - 196 = 4*a - 3*a, 4*g + 2*a = y. Is g composite?
True
Let r(j) = 2*j**2 + 5*j - 3. Let y be r(-4). Suppose -3*k + y = -5*c, 2*k - 5*c = -0*k + 1. Let l(u) = 2*u**2 - 7*u + 5. Is l(k) prime?
False
Suppose 0 = -2*u + 4*u - 5*a - 619, 0 = a + 3. Is u a composite number?
True
Let n = -15 - -27. Let h(a) = a**3 - 13*a**2 + 15*a + 17. Is h(n) composite?
False
Let u(r) = r**2 + 10*r - 3. Suppose 3*q = 4*s - 54, -2*s = 4*q - 3*q + 8. Is u(q) composite?
False
Let a(b) = 30*b - 1. Let w = 8 - 2. Is a(w) a composite number?
False
Let v(w) = -35*w + 7*w - 3*w + 6. Is v(-7) a composite number?
False
Is (((-9208)/32)/((-2)/8))/1 composite?
False
Let w = 126 - 49. Is w a prime number?
False
Is 5*(-1 + -2 + 74) prime?
False
Let c be -6 + 3 + 0 + 37. Let a be ((-2)/2)/((-1)/17). Let t = c + a. Is t a composite number?
True
Suppose g - 4*y + 18 = -0*g, g = -3*y + 17. Suppose 0*c + c = -4*j - 6, 0 = -2*j - g*c. Let w(d) = d**3 + 4*d**2 + 1. Is w(j) composite?
True
Let x be ((-135)/36)/(3/(-40)). Let z = x - 28. Let u = 31 + z. Is u a prime number?
True
Suppose -4*n = -3*u - 0*u, -5*u + n = 0. Suppose u = -2*b - 2*b - 20. Let v(d) = 2*d**2 - d - 2. Is v(b) a composite number?
False
Let w(p) be the first derivative of 2*p**2 + p - 3. Is w(9) prime?
True
Let b(d) = 25*d - 2. Let c be b(-2). Let r = c + 107. Is r prime?
False
Suppose 4*b = o + 3*o - 12, -9 = 5*b + o. Let u = 4 + b. Suppose -u*p - 148 = -6*p. Is p prime?
True
Suppose -o = -4*j - 58, 3 = j - 1. Let a = 15 + o. Is a prime?
True
Let l = 1468 - 664. Suppose -l = -5*z - 134. Let m = z + 23. Is m composite?
False
Let g(x) = -x + 1861. Is g(0) composite?
False
Let b = -12 + 19. Suppose 0 = r + 3, 9*r - 5*r = -t - b. Suppose -s = -30 + t. Is s a composite number?
True
Let r(x) = 13*x**2 + 6*x - 22. Is r(-9) prime?
True
Let c = 9 - -5. Is c/(-21) - 35/(-3) a prime number?
True
Suppose -3*i + 7*i + 44 = 0. Let n = 15 + i. Suppose 2*c = n*u - 72 + 2, -9 = -3*c. Is u a prime number?
True
Suppose -3*p - 5*z = p - 728, -2*p = -z - 378. Suppose 0 = k - 202 - p. Is k a prime number?
True
Suppose -4*j + 6095 = 1639. Let u = j - 469. Suppose 0*a + 5*a - u = 0. Is a a prime number?
False
Is (-2)/(-4) + (-7112)/(-16) composite?
True
Suppose -j + 2*d + 9 = 0, 3*d = 4*j - 9*j + 6. Let u be -3 + -2*(j + -20). Is (6 + -4)/(2/u) a prime number?
True
Let u(i) = 6 + 2 - 4 + 5*i - 3. Is u(6) a composite number?
False
Let c(x) = 25*x + 7. Let n be c(7). Let a = n - 108. Suppose -u + a = u. Is u a composite number?
False
Let a = 54 + -26. Is 150/14 + 8/a prime?
True
Suppose -5*o + 104 = m, 5*o - 3*o = m - 83. Is m a prime number?
True
Suppose 13*v - 5012 = 9*v. Is v a prime number?
False
Suppose 3*r = -509 + 2219. Suppose 0 = 3*o + 2*o - r. Let c = o - 81. Is c prime?
False
Let b(v) = -v**2 + 3*v + 371. Is b(0) composite?
True
Suppose 0 = -4*q + 3*z + 187, -4*q - 5*z + 2*z = -205. Is q prime?
False
Let a be (-4)/(-6) - (-745)/(-15). Let g = a + 314. Is g a composite number?
True
Suppose 4*t + 2*p = 3*t + 3, 5*t - 5 = -5*p. Let b(c) = -58*c + 1. Is b(t) a prime number?
True
Let u = -65 - -156. Suppose j - 18 = u. Is j a composite number?
False
Let h(d) = -d. Let q be h(-2). Suppose 4 + q = 2*c. Is -2*((-30)/c - 1) composite?
True
Let l = -8 + 31. Is l a composite number?
False
Suppose 0 = -2*l - 0*l - 4. Let x be (-2)/(-4) + 19/l. Let y(s) = s**2 + 7*s + 1. Is y(x) composite?
False
Let y(h) = 0 - 6*h - 3 - h**2 + 6. Let j be y(-6). Suppose -j*k + 74 - 17 = 0. Is k a composite number?
False
Suppose -2*r - 34 = 5*a + 21, 0 = 3*r + 2*a + 77. Let y = r - -11. Is 7*(-1)/2*y a composite number?
True
Let s = 47 - 25. Is (-10)/55 + 2798/s prime?
True
Let m be (-3)/12 - (-786)/8. Let t = 225 - m. Is t composite?
False
Suppose 0 = 3*i - 27 - 21. Suppose 0 = 3*d + 6, o - 4*d = -6*d - i. Let m = 1 - o. Is m prime?
True
Let f be (-8)/6*(-24)/(-16). Let v(s) = -s - 3. Let q be v(3). Is f/(-6) - 82/q a prime number?
False
Suppose 0 = 2*a - a - 55. Let h = -10 - 0. Is h/a - 2622/(-22) a prime number?
False
Suppose 2*p - 3*u = 0, -3*u + 4 = -2*u. Suppose 0 = -2*l + p*l - 136. Is l composite?
True
Let n = 814 - 185. Is n a prime number?
False
Let u(w) = 14*w**2 - 3*w - 9. Is u(4) prime?
False
Is 180 + -3 - (-8 + 8) prime?
False
Let w(j) = j**2 + 5*j + 1. Let u be w(-8). Suppose 0*f = 5*f + u. Let k = f + 8. Is k a composite number?
False
Suppose -11 = u + 3*c, 4*u + 5*c = c - 20. Let v = u - -4. Is v/(-7) - (-597)/7 a prime number?
False
Suppose 0 = 5*a + w - 268, 3*a + 2*w - 150 = 5*w. Is a a prime number?
True
Let s be (-2 - -11)*(-8)/(-12). Let c(k) be the third derivative of k**6/120 - k**5/12 + k**4/6 - k**3/2 - 2*k**2. Is c(s) composite?
True
Let w(d) be the second derivative of 7*d**3/6 + 5*d**2 - 3*d. Is w(7) a prime number?
True
Let c = 1825 - 986. Is c composite?
False
Let s(f) = 39*f - 1. Let a be s(-3). Let g = a + 66. Is (1 - g) + 0 + 0 a composite number?
False
Let n(p) = 40*p - 17. Is n(7) a composite number?
False
Suppose -15 = 5*l, -114 - 659 = -4*f + 3*l. Is f composite?
False
Let r = -11 + 22. Let f = 42 + r. Is f prime?
True
Suppose 0 = 2*r - 0*r - 20. Suppose -5*u - 5 = 4*m, u + 0*u + r = m. Is (19 - m)/(2/3) a composite number?
True
Suppose 4*p + 57 = -f, 2*f - 5*p + 34 + 28 = 0. Let d = f + 64. Is d composite?
False
Let k be (-6 + 5)/((-1)/34). Let r = k + 57. Is r prime?
False
Let y(i) = -317*i + 12. Is y(-5) composite?
False
Let c be -88*(-4)/((-32)/(-6)). Let g = c - 29. Is g prime?
True
Let z = -5 + 1. Let h = -5 - z. Let f = h - -7. Is f prime?
False
Let s = -3263 + 4624. Is s a composite number?
False
Let c be (-21344)/12 + (-6)/(-9). Is (-12)/(-16) - c/