 number?
True
Is 0/(3 + 2) - (-73 - 1) composite?
True
Is (-5)/((0 - -4)/(-76)) a composite number?
True
Suppose 7*y + 47855 = 24*y. Is y prime?
False
Suppose -5*t = -3*g - 385, 2*g + 79 - 2 = t. Is t a composite number?
True
Let g(v) = 4*v - 7. Let w(l) = -4*l - 5*l + 14 + 2*l. Let y(u) = 5*g(u) + 3*w(u). Is y(-6) composite?
False
Let m(q) = 8*q**2 - 10*q**2 + 6*q**2 + 8 + 0*q**2 + 11*q. Is m(-9) composite?
False
Let p be ((-34)/3)/(4/6). Is (p/2)/(1/(-14)) a composite number?
True
Let k(u) = -151*u - 4. Is k(-3) composite?
False
Let l = 3024 - 1639. Is l a prime number?
False
Let r = 2 - -1. Suppose 0*m + 328 = q + 3*m, r*m + 12 = 0. Suppose 4*h - 256 = q. Is h composite?
False
Let k be 3/(2 - -1) - 1. Suppose -5*g = -3*z - 638, k = 4*g - 3*z - z - 512. Is g prime?
True
Let x(j) = j + 7. Let w(r) = 6. Let y(k) = -7*w(k) + 6*x(k). Let a be y(1). Let f(c) = c**2 + c - 5. Is f(a) a prime number?
True
Let u = -2 + 2. Suppose -3*y + 540 + 117 = u. Is y prime?
False
Let y = 126 + 35. Is y a prime number?
False
Let q = -774 - -1151. Is q a prime number?
False
Let p = -359 + 544. Is p composite?
True
Let d be 24/13 - (-2)/13. Suppose w + 211 = d*w. Is w composite?
False
Suppose 2*k + 0*k = -4*r + 32, -3*k - 4*r = -54. Is k/6*15/1 a composite number?
True
Suppose 4*b + 3*a = 0, -3*b - 2*b + 3*a = 0. Let v = 201 - b. Is v a prime number?
False
Is 2*(-163)/(-2) - 0 a composite number?
False
Suppose -4*i + 2*t = 3*t - 3, 5*i - 30 = 4*t. Let w = i - -5. Is w a composite number?
False
Suppose -2*y - 3*m + 5 = 0, -m = -5 + 4. Suppose 5*k = -4*p - y, -8 = 2*p - 0*p. Suppose -4*j = -3*s - k*j + 22, 2*s + 4*j = -4. Is s prime?
False
Let q(t) = -13*t**2 - 3*t + 4. Let r be q(3). Let k = r - -181. Is k a composite number?
False
Let q = -23 - -70. Is q prime?
True
Let f = 5 - 8. Let w = 16 + f. Is w prime?
True
Let m = -2 - -6. Let q(z) = -2*z + 4. Let c be q(m). Let w = 27 + c. Is w a prime number?
True
Suppose -5*v = i - 2085, 1029 = 3*v - 5*i - 222. Is v composite?
True
Let b(r) = 3*r. Let l be b(-2). Is (-1580)/(-6) + 2/l a composite number?
False
Suppose 2*x - 3 = 5, -h + 5*x = -49. Is h a prime number?
False
Is 2*(2 + 741/6) prime?
True
Suppose -3*l = -11 - 34. Is (2/3)/(1/l) composite?
True
Suppose 3*l + 2*d + 263 = -0*d, 3*l = -d - 265. Is (l/1)/(-10 - -9) a composite number?
False
Let i = 12 - 23. Let w = i - -46. Is w prime?
False
Let c = 1553 + -156. Is c a composite number?
True
Is (-2378)/(-6) + (-12)/9 a composite number?
True
Suppose 0*j = 4*j + 32. Let k be (525/12)/(2/j). Let s = k - -258. Is s a composite number?
False
Suppose 3*h = -3*j + 498 + 954, 0 = -5*j - 2*h + 2405. Is j prime?
True
Let y be 2*(-1 - 15/(-6)). Suppose y*o + o = -32. Let p = o + 27. Is p prime?
True
Is (1377/18 + -2)*(-1 + 3) prime?
True
Let i(f) = -862*f**2 + 20*f - 14. Let o(h) = 287*h**2 - 7*h + 5. Let g(t) = -6*i(t) - 17*o(t). Is g(-1) prime?
True
Let i = 9 + -3. Is i/(-4)*(-158)/3 composite?
False
Is 2/4 + (-4203)/(-6) a composite number?
False
Suppose 2*o = -3*m + 1237, o - 414 = -2*m + m. Is m a prime number?
True
Let n = 3491 + -1854. Is n a prime number?
True
Let a = -216 - -553. Is a composite?
False
Suppose 0 = -5*h + 4*l + 6087, -4882 = -4*h - 0*h - 3*l. Is h a composite number?
True
Suppose -v = v + 4*h - 46, 0 = -2*v - 2*h + 38. Suppose u + 35 = 5*d, -u - v = -4*d + 17. Is 8/u + 501/15 composite?
True
Let p(h) = 25*h**2 + h - 1. Is p(-3) a prime number?
False
Let z = -29 + 23. Is (2/z)/(7/(-6195)) prime?
False
Let u(b) be the third derivative of -b**6/40 + b**5/20 + b**4/24 + b**3/6 - 3*b**2. Is u(-2) prime?
False
Suppose -73 - 322 = -5*g. Is g a prime number?
True
Suppose -5*x = 199 - 1054. Let g = x + -94. Is g composite?
True
Suppose -4*b + 4*f = -12, 7 = 2*b + 2*f + 1. Suppose 40 = b*p - 269. Is p a prime number?
True
Let o = 142 + -53. Is o a prime number?
True
Is (-14)/77 - 58779/(-33) a prime number?
False
Let u = -6 + 10. Let f(n) = -51*n**3 + 4*n**2 - 3*n. Let r be f(u). Is r/(-20) - 2/(-5) a prime number?
False
Suppose 3*k - 3*l - 129 = 0, 5*k + 4*l - 222 = 2*l. Suppose k - 169 = -5*n. Is n composite?
True
Let s = 32 - 18. Let c be 60/35 - (-4)/s. Suppose c*n - 256 = 150. Is n composite?
True
Let n(i) be the third derivative of 7*i**4/24 - 2*i**3/3 + 2*i**2. Let z be -1*3*(-20)/12. Is n(z) prime?
True
Suppose 2*h = 3*h. Suppose 5*q = -h*q + 5. Is (2 - q)*(-4 - -23) a composite number?
False
Let u = 1171 - 790. Is u prime?
False
Let o be (-9)/(-6) - (-45)/(-6). Let d = -3 - o. Suppose -4*c = -d*c - 34. Is c prime?
False
Let v(i) = 358*i + 5. Is v(2) prime?
False
Let h = -14 - -189. Suppose 2*b = 6*b - 20. Suppose -b*c + 5*r = -h, -1 - 10 = -c - 5*r. Is c prime?
True
Let l = 1221 + -775. Is l prime?
False
Suppose 764 = 3*a - 4*s - 306, 1078 = 3*a + 4*s. Is a prime?
False
Let g(b) = -b + 3. Let d be g(4). Let k = d - -4. Suppose 3*c = 3*p - k, 7*p - 3*p - c = 10. Is p a prime number?
True
Suppose -z + 0*z = -3. Is 446/z*(-3)/(-2) a composite number?
False
Suppose -f - 6 = -3*f. Suppose 0 = z - 2*w - 117, -681 = -5*z + f*w - 117. Is z a composite number?
True
Let w be 538 - 2/(2/3). Suppose -4*o + 117 = -w. Is o a composite number?
False
Let z = -10 - -17. Suppose -2*g = -z*g + 35. Is g prime?
True
Let c be 190/12 - (-1)/6. Suppose -t = 1 - c. Is t a prime number?
False
Suppose 8 = 3*o - 10. Let q(t) = 10*t - 7. Is q(o) composite?
False
Let v be (6/1)/(1 + 1). Let g be (-711)/(-6)*2/v. Is 1/(((-2)/g)/(-2)) a composite number?
False
Let f(r) = 2*r - 5. Let i be f(5). Suppose 3*g - 4 = i. Suppose -4*u + 115 = z + 39, g*u + 4*z = 57. Is u composite?
False
Suppose s = -2*a + 4*a + 30, 0 = -3*a - 2*s - 38. Let w = -5 - a. Let i(x) = -x**3 + 10*x**2 + 11*x + 11. Is i(w) prime?
True
Let u(l) = 16*l**2 - 7*l - 4. Is u(-6) composite?
True
Is -1 + 1 - (-2849)/7 composite?
True
Suppose z - 6*z = 3*h - 382, 504 = 4*h + 4*z. Suppose j = 5*a - 638, -5*j + 4*j = a - h. Is a a composite number?
False
Let d(r) = 4*r**2 - 13*r - 16. Is d(17) composite?
False
Let c(n) = -n**2 + n + 1. Let d(i) = -i**3 - 2*i**2 - i + 2. Let j(p) = -3*c(p) + d(p). Is j(-4) prime?
False
Suppose -5*j + 4*o + 465 = -o, 0 = j + 5*o - 117. Is j a prime number?
True
Let m(l) = l**3 - 7*l**2 + 2*l + 11. Is m(9) a composite number?
False
Suppose -4*i = i + 210. Let l be (-2)/(-7) + 12/i. Suppose l*n + 75 = 3*n. Is n prime?
False
Let j(m) = -45*m - 37. Is j(-14) a composite number?
False
Let l(a) = 9*a**3 + a + 7. Is l(3) a prime number?
False
Let h(s) = 0 - 20*s + 0 - 7. Is h(-6) prime?
True
Suppose -3*r + 4*i + 4 = 2*r, 3*r - i = 8. Suppose 1775 = r*b + b. Is b composite?
True
Suppose 0 = 2*a - 0*a - 358. Suppose -4*t + a = 55. Is t a composite number?
False
Let g(c) = c**3 + 2*c**2 - 3*c - 1. Is g(3) prime?
False
Is (2661/12)/((-2)/(-8)) a prime number?
True
Is ((-127)/(-6))/(1/6) composite?
False
Suppose 347 = 4*l - 5*b, -246 = -3*l - b - 0*b. Let w = -9 + l. Is w composite?
True
Let z be (2 - 4) + -1 + 0. Let d be (z - (-2 - 1)) + 2. Suppose 5*j - g = 291, -2*j + 6*j - 244 = -d*g. Is j composite?
False
Suppose -2*c + 19 = u, -c = -u - 2*u - 13. Let r be -1*c/4*-2. Suppose 0*v - 5*f + 300 = v, -4*f = -r*v + 1471. Is v composite?
True
Let w(r) be the first derivative of 2*r**3/3 - r**2/2 + r - 3. Is w(-4) composite?
False
Suppose 0 = 15*b - 13*b - 4358. Is b prime?
True
Let s = -381 + 1118. Is s a composite number?
True
Let g(d) = 8*d**2 - 3*d - 11. Let y be g(8). Suppose -5*t + 75 = -p - y, 4*t - 453 = -3*p. Suppose 50 = n - 5*a, t = 3*n - 3*a + a. Is n a prime number?
False
Let b(c) = -c**3 - 4*c**2 + 6*c + 1. Let q be 1/((-9)/(-6))*-9. Is b(q) a prime number?
True
Let n = 38 - -39. Let q = -38 + -2. Let l = q + n. Is l prime?
True
Suppose 2247 = 16*l - 13*l. Is l prime?
False
Suppose -5*k = -k. Suppose -2*v + v + 163 = k. Is v a prime number?
True
Suppose 3*y - t = 2, -3*t = -2*t + 2. Suppose -2*m + 6 + 38 = y. Is m a composite number?
True
Suppose 2*l = -4*n + 110, -n + 50 = 4*l + l. Is n a prime number?
False
Is 6654 - 1 - 2*4/2 a prime number?
False
Let r be (-4)/18 + 1180/(-36). Let y = 4 - r. Is y a prime number?
True
Let g(k) = k + 12. Let i be g(-9). Suppose -5*z = 3*x, -i*z - 6*x + 3*x = 6. Suppose 5*o + 2*n = 115, -z*n = 2*o - 5*n - 32. Is o a composite number?
True
Let h(d) = d*