s 4/1*h/(-4) a composite number?
False
Suppose 0 = 4*n + d - 6042, 0*d - d = 3*n - 4532. Suppose -n = -3*m + 545. Is m composite?
True
Is 1532/16 + 10/8 prime?
True
Suppose -z - 3 = 7. Let v(i) = -38*i. Let o(m) = -115*m. Let t(s) = z*v(s) + 3*o(s). Is t(1) a composite number?
True
Let v(o) = 9*o**2 - 4*o - 7. Let h(u) = u**2 - u - 1. Let p(s) = -5*h(s) + v(s). Let b = 1 + -4. Is p(b) composite?
False
Suppose 18 = -2*h - 6. Let x(b) be the third derivative of b**6/120 + 13*b**5/60 + b**4/2 + b**3/2 + 2*b**2. Is x(h) a composite number?
False
Let g(k) = -24*k**3 + 5*k**2 + 9*k - 6. Let z(h) = 36*h**3 - 8*h**2 - 14*h + 9. Let c(s) = -8*g(s) - 5*z(s). Is c(2) a prime number?
False
Suppose 162 - 22 = 2*x + 2*j, 0 = -5*x - j + 350. Let l = -23 + x. Is l prime?
True
Let y = -50 - -20. Let x = y - -179. Is x composite?
False
Let v(d) = -d**2 + 8*d + 5. Let k be v(8). Suppose -3*f - 62 = -k*f. Is f composite?
False
Let h(b) = 76*b - 1. Let r(m) = -m**3 - m**2 + m - 1. Let g be r(-2). Let k be h(g). Let n = k + -18. Is n a prime number?
False
Suppose 1 = -g - 0*g. Let p(t) = 122*t**2 - t - 1. Is p(g) prime?
False
Suppose -3*a + 64 = -26. Suppose 4*o - 38 - a = 4*s, -5*s - 1 = -o. Is o a prime number?
False
Let x(u) be the second derivative of -u**4/12 + 7*u**3/3 + 5*u**2 + 6*u. Is x(12) a prime number?
False
Let v be 3/(-6) + 7/2. Let a(z) = 4*z + z**v + 0*z**3 + 2*z - 8*z**2 + 10. Is a(7) a composite number?
False
Let n = -218 - -421. Is n a composite number?
True
Let n = 11 + -8. Let t be n/9 + (-884)/(-12). Suppose -3*f + f = -t. Is f prime?
True
Suppose 0 = -4*s - 24 + 8. Let b be s/6 + (-8162)/(-21). Suppose -5*h - 3*l = -406, 4*h - b = -4*l - 68. Is h a composite number?
False
Let q(s) = s + 1. Let y be q(5). Let z = 8 - y. Suppose 20 = i - c, -2*c - z*c = -8. Is i a composite number?
True
Suppose l + 14 - 1 = 3*w, -4*w - 3*l = 0. Suppose w*p - 7*p = -2164. Is p a composite number?
False
Let a = 318 + 7499. Is a prime?
True
Suppose -1228 = -4*v + 5*p, -3*v + 0*p + 921 = -p. Is v prime?
True
Let a(m) be the third derivative of m**6/120 + 2*m**5/15 + m**4/4 - 2*m**3/3 + 2*m**2. Let n be a(-6). Let p = n - -47. Is p prime?
True
Let j = 269 - -53. Is (j/(-6))/((-1)/3) prime?
False
Is -993*((-6)/4 - 14/(-12)) a composite number?
False
Let m = -10 + 11. Let q(z) = 76*z + 1. Is q(m) prime?
False
Suppose 0 = 5*r - 126 - 19. Is (r/(-2))/((-5)/110) a composite number?
True
Let g(o) = -9*o + 10*o**2 + 13*o - 6*o + 1 - o**3. Suppose r = -y + 4 + 4, -r = 0. Is g(y) composite?
False
Suppose 247 = 3*z - 5*g, 3*z - g - 174 = z. Suppose 2*v = -4*h + 54, 3*h = 3*v - v - z. Is v prime?
True
Suppose 3393 = -6*o + 8835. Is o a composite number?
False
Suppose 0 = 2*o + 4*n - 28, -2*o - 5*n + 29 = -o. Suppose 5*r + 1188 = -z, 4*r - o*z + 962 = z. Let x = -95 - r. Is x a prime number?
False
Is (-24)/(-16) + 206/4 a prime number?
True
Let w(q) = 2*q**3 - 3*q**2 + q - 2. Let n be w(2). Suppose 5*g - 19 + n = 0. Suppose 0*y - g*y = -105. Is y a prime number?
False
Let v(y) = 3*y + 4. Let g(z) = -1. Let n(h) = g(h) + v(h). Let s be n(3). Suppose -s = 3*x, 0 = -a + 2*x - 4*x + 57. Is a prime?
False
Let t = 124 - 13. Let g = -48 - 4. Let i = t + g. Is i prime?
True
Let j be (-56)/(-10)*30/(-4). Let m be 2/3 - (-83)/(-3). Let s = m - j. Is s a composite number?
True
Suppose -4*n = -124 - 32. Is n a prime number?
False
Let n(p) = 4*p**3 - 10*p**2 - 17. Is n(7) prime?
False
Suppose 2*u + 4*r - 945 = -319, -2*r = 4. Is u prime?
True
Is 7603/4 + 8/32 prime?
True
Let l(z) = -2*z + 9. Let c be l(6). Is (2/c)/(8/(-228)) composite?
False
Let y = 2022 + -187. Is y composite?
True
Suppose 3*i = 4*i - 3. Suppose 4*u - 5 - 11 = 0. Suppose -u*v = -0*v + 4, r - 3 = -i*v. Is r a composite number?
True
Suppose 4*h - 648 = 2*r, -2*h - 3*h = r + 317. Let v = 533 + r. Is v a composite number?
False
Let l = -15 + 11. Is 0 + 1 + (-256)/l composite?
True
Suppose -2*w + 5*w + 174 = 0. Let m = 113 + w. Is m a prime number?
False
Suppose 0 = 2*n + 166 + 34. Let b(w) = -9*w + 23. Let u be b(8). Let k = u - n. Is k a composite number?
True
Let d(w) = -2*w**2 - 10*w + 4. Let n be d(-9). Let i = n + 21. Let l = i + 72. Is l prime?
False
Let r = -3 - -3. Suppose -i + 5*v = -r*i - 218, 3*i - 674 = -5*v. Is i a composite number?
False
Let o be (-4)/6 - (-760)/6. Suppose -2*a + 5 - 28 = 3*f, 0 = f - 4*a + 3. Let g = o - f. Is g composite?
True
Let c(g) = -20*g - 5. Is c(-2) prime?
False
Suppose 3*m - 107 - 79 = 0. Let n be m/4 + (-3)/6. Suppose -3*j = j + 4*v - 160, 3*v = n. Is j a composite number?
True
Let r(u) = 2*u**2 - u - 3. Let w be r(-3). Suppose 0 = -5*z + w - 3. Suppose 341 = 4*b + z*t, -163 = -b - b - 3*t. Is b a prime number?
True
Let w = -10 + 17. Suppose -3*c = -w*c + 140. Is c a prime number?
False
Suppose -1 + 33 = 4*d. Let f be -4*(2 - 126/d). Suppose -f = -3*c + 104. Is c a prime number?
True
Suppose z - 5 + 1 = 0. Suppose -10 - 6 = -z*n, 3*n - 1568 = -4*m. Is (-4)/18 - m/(-9) prime?
True
Suppose -10*f + 12*f = 7382. Is f composite?
False
Is (1028/(-8))/((-4)/40) a prime number?
False
Let r(u) = 138*u**2 - 2*u + 3. Is r(4) a composite number?
False
Is (1005/6)/(3/6) composite?
True
Let j(d) = 4*d - 2. Is j(2) a composite number?
True
Let o be (2/(-4))/(2/(-4)). Let v(h) = -2*h**2 + o - 2 - h**2 - h**3 - 6*h. Is v(-5) prime?
True
Suppose 5*c + q + 50 = -0*q, -c - 3*q - 10 = 0. Let p = c - -14. Is (8/(-4))/(p/(-518)) a prime number?
False
Suppose -2588 = -5*t + 2*p, 5*t + 0*p + 4*p = 2594. Suppose 3*x - 235 - t = 0. Is x composite?
False
Suppose 13 = 3*w - 8. Let s be (2 - 6)*-17*w. Suppose -s = -l - 3*l. Is l a composite number?
True
Suppose 69*y - 67*y = 1934. Is y prime?
True
Suppose 5*u + 212 = -18. Let g = u + 233. Is g composite?
True
Suppose -2*v = v + 27. Is 388/3 + v/27 composite?
True
Suppose 5*n = o + 26, 5 = -2*o + 3. Suppose -n*k = -249 - 26. Is k a prime number?
False
Let n(h) = 14*h - 8. Let x be n(10). Let y = x + -77. Is y a prime number?
False
Is (-3 + 185)*5/10 composite?
True
Let g(o) = o - 5. Let n be g(5). Let x(f) = -f + 6 + 99 - 14. Is x(n) composite?
True
Let u = -1 + 3. Suppose u*z + 8 = 118. Is z a prime number?
False
Is (-1)/(-2)*(-10)/15*-4083 a composite number?
False
Let n(q) = q**3 + 11*q**2 + 11*q - 5. Let u be -3 - -3 - 108 - 3. Let a be 1/4 + u/12. Is n(a) composite?
True
Let w be -8 - 2/(-1 + 2). Is (w/6)/((-2)/18) a prime number?
False
Let q(a) = -53*a - 2. Let i be 2*-4 - (2 + -1). Let s be q(i). Suppose -p + 3*p + 359 = 3*x, -4*x - p + s = 0. Is x prime?
False
Suppose -1327 = -3*a - 376. Is a prime?
True
Let o be ((-9)/(-6))/((-1)/(-2)). Suppose 2*g = 4*c + 68 + 106, -5*g = o*c - 474. Is g prime?
False
Let g = 310 - 210. Let k(q) = -q**3 + q**2 - q + 3. Let u be k(0). Suppose a = -u*a + g. Is a prime?
False
Is ((-16)/4 - -8) + 34 a composite number?
True
Suppose -3*y + 476 = -661. Is y a prime number?
True
Let b be ((-3)/2)/(3/4). Let j be b/3*45/(-6). Suppose -36 = -2*u - 3*q + 2*q, -j*q - 10 = 0. Is u a prime number?
True
Suppose -5*u + 3*h = 10, h = -5*u - 0*u - 30. Let r = 11 + u. Suppose -r*k + 60 = -2*k. Is k composite?
True
Suppose 16 = -6*s + 3*s - a, 1 = -a. Let b be -3 - s*2/1. Suppose 335 = -2*j + b*j. Is j a composite number?
False
Suppose 1 = -k + 6. Suppose -k*j + 66 = -2*y, 3*y = -2*j - 2*y + 38. Is j prime?
False
Suppose -3*n + 2*n - 3*c = -529, -2*c = -3*n + 1631. Is n composite?
False
Is ((-2228)/12)/((-1)/3) prime?
True
Let y(j) = 4*j**3 - 2*j**2 + 5*j + 4. Is y(3) prime?
True
Suppose 2*a = a + 31. Is a a prime number?
True
Let f be 7 + 4 + -1 + 0. Let x be (4 - -1)*4/f. Is 10*(-2 + (x - -1)) a composite number?
True
Let j be (18/8)/(12/(-64)). Is 879*((-8)/j)/2 prime?
True
Let g = 2 + -1. Let p be (-36 - -5) + g*-1. Let y = p - -53. Is y a composite number?
True
Suppose 9 = 2*q - 17. Suppose -q = -3*k - 2*k + 3*c, 4*c = -2*k. Is k/3*-3 - -25 a prime number?
True
Suppose -5*c + 5341 = 3*g, -1065 = -0*c - c + g. Is c a composite number?
True
Let n = -406 + 569. Is n prime?
True
Suppose 3*h + 6*c - 2*c - 87 = 0, -5*c + 15 = 0. Suppose -u + 3 = -h. Suppose 77 = 4*d - 5*g, -3*g + u = d - 6*g. Is d a prime number?
True
Suppose j = -4*j + 10, 0 = -v + 2*j + 210. Is v a composite number?
True
Suppose -r = -4*d + 9, 4*r + 1 + 2 = 5*d. Let 