 a prime number?
True
Let p = -49 - -86. Is p prime?
True
Suppose -4*t + 5*h = -477, 5*h + 0 = -5. Is t a composite number?
True
Is 179/(2/4 + 0/(-10)) composite?
True
Let w be (-3)/(-2)*(-42)/(-9). Let x = w - 7. Suppose 3*l - 4*o - 265 = 0, -l + x*o - o + 79 = 0. Is l prime?
True
Suppose 374 - 20 = y. Let u = y + -119. Is u prime?
False
Let m = 8 - 16. Let a be 330/m*(1 + -5). Suppose 5*l = 5*c - a, 5*l - 4*l - 41 = -c. Is c a prime number?
True
Suppose 2*u = 5*u + 3*i, -3*i = -3*u + 30. Let t = u - -3. Is 2/t - (-483)/4 a prime number?
False
Suppose 0 = -y + 3*y - 94. Let m = y - -42. Is m composite?
False
Let s(j) = 8*j**2 + 3*j - 4. Let k be (5/3)/(4/12). Is s(k) a prime number?
True
Let w(j) = 2*j**2 + 12*j - 1. Let a(x) = x**3 + 10*x**2 - 9*x + 12. Let l be a(-11). Is w(l) composite?
False
Suppose 0*n + 3*n - 594 = 0. Let t = -13 - 24. Let h = t + n. Is h a composite number?
True
Let j(r) = r - 1. Let x be j(2). Is 616/4 + x + 0 a composite number?
True
Let g(q) be the second derivative of -q**3/3 - 7*q**2/2 + q. Is g(-10) prime?
True
Suppose -2*c = 2*c - 4. Suppose 2*n - 1 - c = 0. Is 1/((-126)/127 + n) a prime number?
True
Suppose n = 27 + 640. Is n a composite number?
True
Let c be (-4)/(-14) + 66/14. Suppose c*a = 8 + 2. Suppose f = -a, 292 - 9 = 3*u + 4*f. Is u prime?
True
Let v(h) = -h**3 + 8*h**2 - 9*h + 3. Suppose 3*l = 9, -48 = 6*m - 3*m + l. Let b = -11 - m. Is v(b) a composite number?
True
Let v(l) = 32*l**2 - 2*l + 1. Is v(5) composite?
True
Let p(h) = h - 8. Suppose t - 10 - 1 = 0. Let g be p(t). Suppose -3*b = -2*a - 155, 4*a - 75 = -4*b + g*b. Is b composite?
True
Suppose x = 4*v - 60, 9 - 29 = -2*v + 3*x. Suppose 3*a - a - v = -q, 3*a + q = 25. Is (-30)/a*-1*3 composite?
True
Let t = 6 + -3. Let r be (23 + (-9)/t)*5. Suppose -52 = -4*c + r. Is c a composite number?
True
Suppose -w + 2*h = 10 + 1, -2*h + 9 = w. Is 2/(w - -3) + 90 composite?
True
Let f be -5 + 4 + -1 + 12. Suppose -4*a - f = -9*a. Suppose -2*t + 28 + a = 0. Is t a composite number?
True
Suppose -u + 6*u + 4*r - 16495 = 0, -4*u = 2*r - 13196. Is u composite?
False
Let l(t) = -t + 4. Let s be l(-6). Let r = -3 + s. Suppose 5*p - 2*y = -r*y + 70, 0 = -5*p + 4*y + 70. Is p prime?
False
Let p be (-7)/3 + (-2)/(-6). Let h be (-4)/(-18) + (-200)/90. Is p - (h + -90 + 1) prime?
True
Is ((54 - 3)*1)/(3 - 2) prime?
False
Let n(m) be the first derivative of 3*m**2/2 + 3. Let j be n(-5). Is (10/(-3))/(2/j) composite?
True
Let d = -79 - 112. Is (-4 + (3 - 0))*d prime?
True
Let q = 352 + 703. Is q a prime number?
False
Let i = 380 + -129. Is i a prime number?
True
Let z = 201 + -92. Is z prime?
True
Suppose -4*p + p = 1005. Let c = 484 + p. Is c composite?
False
Is (-37480)/(-50) - ((-39)/(-15) - 2) a prime number?
False
Suppose -2*u - 4*r = 2, 4*u = 5*r - 2*r + 18. Suppose -80 = -3*j - l, 4*j - 100 = -j + 5*l. Is (3/u - 0) + j a composite number?
True
Suppose 921 = 4*c - 387. Is c a prime number?
False
Suppose -752 = -5*g + 1153. Is g composite?
True
Let t be (-1)/(-2)*(0 - 0). Suppose -2*b - 8 - 12 = t. Is b/(-1)*(-1 - -2) prime?
False
Let m = -2 - 3. Let j be (-54)/15 - (-2)/m. Is (-2 - (j + -1)) + 3 prime?
False
Let o(q) = 13*q**3 - 2*q**2 - 3*q + 3. Let u be o(3). Suppose -6*v + u = -3*v. Is v prime?
True
Let c(x) = -478*x. Let u be c(-1). Suppose -5*j - 5*l = -480, j + 3*l - u = -4*j. Suppose -4*b + 312 = v, -b = -v - 3*v - j. Is b prime?
True
Let q = 524 - 292. Let x = 232 + q. Suppose 131 = 5*u - x. Is u composite?
True
Suppose 5*t - 40 = 5*y, -5*t = 6*y - y - 50. Let v(z) = z**2 - 10*z - 1. Let i be v(t). Let b(s) = s**3 + 9*s**2 - 15*s - 13. Is b(i) a prime number?
True
Let k(q) = 3*q**3 + 9 - 7*q**3 + 3*q**3 - 24*q + 5 - 19*q**2. Is k(-18) a composite number?
True
Is 5 + 4/2 + -5 + 1112 prime?
False
Let g(t) = 2*t**2 + 2*t - 17. Is g(8) a prime number?
True
Suppose -12 = 3*a, 0*f + 3*f + a - 875 = 0. Is f a composite number?
False
Let y = 5374 + -3737. Is y composite?
False
Let y = -11 + 4. Let t = y + 12. Suppose -w + 30 + 41 = t*k, -2*k = -4*w - 24. Is k composite?
True
Suppose -469 = -3*i - l, 0*l = -3*i + 5*l + 499. Let n = 249 - i. Is n prime?
False
Let w = 1710 + 709. Is w prime?
False
Let w = -29 + 68. Suppose -z - w = -2*t + 2, 2*z = 3*t - 83. Is (-4)/(-6) + z/(-3) composite?
True
Let a(j) = j**2 + 10*j + 11. Let x be a(-8). Let y(n) = n**3 + 8*n**2 - 4*n + 5. Let t be y(x). Let l = t - 63. Is l prime?
True
Let b = -59 + 34. Is (-1946)/(-5) - (-5)/b prime?
True
Let x(z) = 2*z**2 - 9*z - 2. Let p be x(7). Let n(o) = p*o + 33*o + 1 - 2. Is n(2) composite?
False
Let d = -67 - -338. Is d composite?
False
Let o(r) = r**2 - 11*r. Let z be o(11). Let d(s) = -2*s - 165. Let f(q) = -q - 83. Let l(p) = -6*d(p) + 11*f(p). Is l(z) composite?
True
Let n(d) = -4*d - 13. Is n(-6) composite?
False
Let o(x) be the third derivative of -x**6/120 - 3*x**5/20 - x**4/3 + 7*x**3/6 + 2*x**2. Is o(-8) prime?
True
Let g(f) = -232*f**3 + 2*f**2 + f. Let i = 5 - 6. Is g(i) a composite number?
False
Let f be -1 + (0 + 0 - -66). Suppose 0 = -5*m + 4*x - 6*x + 85, -5*m = -2*x - f. Is m a prime number?
False
Let d be 15*(-1 - 12/(-9)). Suppose 0 = -d*f + 4*h + 20 - 6, -3*f - h + 5 = 0. Is (-13 + f)*(0 + -1) composite?
False
Let w(d) = 20*d - 5. Let y be w(-4). Suppose 0 = -5*n + 3*z - z - 233, 0 = 5*n - 3*z + 232. Let v = n - y. Is v a composite number?
True
Let u = -18 + 18. Suppose -5*a + 578 = 3*l, u*l - 3*l = -5*a - 568. Is l prime?
True
Let r = -8 + -2. Let m be 55/(-2) - (-5)/r. Let v = 63 + m. Is v composite?
True
Let q(f) be the first derivative of f**4/4 - f**3 + 3*f**2/2 - 2. Let z be q(2). Is (3/6)/(z/124) composite?
False
Let a(d) = 500*d - 4. Let v(x) = -1500*x + 11. Let l(o) = -8*a(o) - 3*v(o). Is l(1) composite?
False
Suppose 0*a - 4*a = -16. Let r be (-6 + 4)/(a/(-6)). Suppose -3*j + 669 = -4*t, -j - 3*j + 892 = r*t. Is j a composite number?
False
Suppose 2*q - 7*q = -3*g - 2092, -3*g - 1254 = -3*q. Is q a composite number?
False
Suppose 0 = -5*v + 23 + 27. Suppose 0 = 2*f - 420 - v. Is f a composite number?
True
Let a(y) = -y**3 + 9*y**2 - 9*y + 4. Suppose -5 = -3*b + 16. Is a(b) prime?
False
Let q(z) = 3*z - 29. Let w(b) = -b + 10. Let x(h) = 2*q(h) + 7*w(h). Let m be x(10). Suppose 0*l + n = -5*l + 655, 5*n + 262 = m*l. Is l prime?
True
Let d = 33 + 21. Let r be (-35)/(1 - 0 - 2). Let g = d - r. Is g a composite number?
False
Suppose -3*d = -18 + 6. Is 1 + -4*(-2)/d composite?
False
Suppose -10*z + 6*z = -844. Is z a composite number?
False
Is 150 - (3 - (1 - -2)) - 1 a composite number?
False
Let o = 4 - 1. Is 71/o + 2/(-3) a prime number?
True
Suppose -4*o + 66 = -2*b - 3*b, 3*b + 2*o = -22. Let v be (136/b)/(4/(-20)). Let f = v - 17. Is f composite?
True
Let j = 6 + -3. Suppose -2*f + 16 = 2*l, -2*f = f - j*l. Is f prime?
False
Let l(b) = b + 1. Let x(u) = -3*u**2 + u + 6. Let n(v) = 6*l(v) - x(v). Let w be n(-4). Suppose 3*c + 10 = w. Is c composite?
True
Let f = 4 + -2. Suppose 3*a - f = 4*a. Let k = a - -67. Is k prime?
False
Suppose 26*v - 17*v = 21159. Is v composite?
False
Let m = -1518 - -737. Let k = 1149 + m. Suppose -101 = 3*u - k. Is u a prime number?
True
Suppose 2*a = -2*z - 2602, -3*z - 2*a - 3071 = 836. Let c = 822 + z. Is 2 - 2 - c/3 a composite number?
True
Suppose -20 = -4*g - g + j, -2*g = j - 1. Suppose -2*a = g*a - 75. Suppose 0 = 2*p - a - 7. Is p a composite number?
False
Let j = -128 + 1195. Is j prime?
False
Let d(n) = -24*n + 5. Let s(j) = 72*j - 14. Let z(a) = 11*d(a) + 4*s(a). Is z(5) composite?
True
Suppose 0 = -3*h + m + 13, -3*m = 5*h - h. Let d(p) = -6*p - 1. Let g be d(h). Let r = g - -38. Is r prime?
True
Suppose 5 = v + 4*y - 35, 0 = -3*v - 2*y + 100. Suppose 4*m = v + 44. Is m prime?
True
Suppose -2*i + 3*l = -4, 0 = 2*i - 3*l + 8*l - 20. Suppose -804 = h - i*h. Let f = -112 + h. Is f a composite number?
False
Suppose -l + 2 + 0 = 0. Let k be l - (6/3 - 68). Let m = 181 - k. Is m a prime number?
True
Let i = -6 - -8. Let b = i - -37. Is b a composite number?
True
Let i(x) = 20*x**3 - x**2 + 4*x - 3. Let g be i(2). Suppose 3*k - d - d = g, d - 2 = 0. Suppose -2*u + k = 3*u. Is u prime?
True
Suppose -5*h + h = -4. Is (-86)/(-6)*3*h a prime number?
True
Let b(z) = -z**2 - 12*z. Is b(-11) prime?
True
Let x(b) = 6*b - 16*b + 