)/(h/42) a prime number?
False
Suppose -b = -14 + 10. Is b - (-9)/6*142 a prime number?
False
Let a be (-2 + (-12)/(-15))*10. Is 3/a + (-538)/(-8) prime?
True
Suppose 3*d = 4*d + 916. Let h = 1323 + d. Is h composite?
True
Is -1 + 1 + 1 - (-154 - 4) prime?
False
Is 3060/28 + 4/(-14) composite?
False
Let s be 414/6*20/6. Suppose 5*j + 0*j - s = 0. Is j a composite number?
True
Suppose -2*h + 56 = -2*j - 2*j, -60 = -2*h + 2*j. Suppose 3*x = 2*m + 67, -m = -4*x + 49 + h. Is x prime?
True
Let h = 3 + -2. Let j(f) = -9*f**3 - 2*f**2 + 2*f - 1. Let i be j(h). Is (-4)/10 + (-234)/i a composite number?
False
Suppose 5*r + 4 = 7*r. Is r composite?
False
Let c(z) = z**3 + z**2 + 2*z - 6. Let j be c(4). Suppose 0 = -i - 5*n + 34, 4*n = -2*i + n + j. Let u = -29 + i. Is u prime?
False
Let d(l) = l**3 + 2*l**2 - 2*l - 2. Let y be d(-3). Is ((-2510)/y)/(4/2) a prime number?
True
Let v(z) = -9*z**2 - 2*z - 3. Let y be v(-3). Suppose 168 = 21*i - 24*i. Let c = i - y. Is c a composite number?
True
Let z(p) = -119*p + 1. Let o(b) = 119*b - 1. Let v(u) = -4*o(u) - 5*z(u). Let n be v(-3). Let q = -243 - n. Is q a composite number?
True
Let k(x) = -x**2 - 16*x - 5. Let m be k(-8). Suppose r - m - 30 = 0. Is r prime?
True
Let q(x) = x**3 - x**2 - 5*x + 2. Let g be q(3). Let j be 12/30 + 18/g. Suppose 0 = j*u - 95 + 19. Is u prime?
True
Suppose 0 = -2*c - 2*c + 2492. Is c composite?
True
Let o(z) = -z**2 - 11*z + 15. Let g be o(-12). Suppose g*d + 3*h = -d + 1016, -h - 4 = 0. Is d a composite number?
False
Let z(y) be the third derivative of -59*y**4/8 + 2*y**3/3 - 2*y**2. Is z(-3) prime?
False
Let k(t) = t**3 - 8*t**2 - 7*t + 5. Let v be k(9). Suppose -4*u = v - 259. Is u composite?
False
Suppose 2*q + 0*q - 4 = 0. Suppose -q = -g + 2*g. Is -7*(-4)/(g/(-1)) composite?
True
Suppose 2*d = -4*j - 28, -2*j - 2*j + 2*d = 44. Let b(c) = c**2 - 13*c - 21. Is b(j) composite?
True
Suppose -v = 2*v - 4*x - 791, -3*x - 792 = -3*v. Is v a composite number?
True
Let p(t) = 4*t**2 - t - 2. Let g(b) = -3*b**2 + 25*b - 15. Let o(u) = u**2 - 8*u + 5. Let d(q) = -2*g(q) - 7*o(q). Let v be d(4). Is p(v) prime?
True
Is (6195/5)/3 - (-2)/(-1) a composite number?
True
Suppose 17 = -2*f + 3*p, -f - 4*f - 4*p = 31. Let u(l) = 20*l - 2. Let s be u(f). Let o = 211 + s. Is o a composite number?
True
Let g(f) = -f**2 + 28*f - 3. Let t be g(12). Suppose 5*s = -2*u + t, -28 = -2*s + 5*u + 36. Is s composite?
False
Is (-35050)/(-20) - 2/(-4) composite?
False
Let k be (-92)/20 - 2/5. Let b(q) = 20*q - 9. Let o(g) = -21*g + 8. Let s(v) = 5*b(v) + 6*o(v). Is s(k) a composite number?
True
Suppose -14822 = -5*n - 187. Is n a composite number?
False
Let j(u) = 290*u - 1. Is j(3) a composite number?
True
Suppose -10*x - 1535 = -15*x. Is x a prime number?
True
Suppose 11 + 7 = 3*d. Let a be 1/(-3) + 26/d. Suppose p + 21 = a*p. Is p prime?
True
Let l = -8 - -10. Suppose l = 2*d, 5*h + 4*d = 60 + 39. Is h prime?
True
Let v = 21 - 59. Let o = 63 + v. Let t = o + -11. Is t composite?
True
Let c(i) = 2*i**3 + 2*i**2 - 3*i + 4. Is c(3) prime?
True
Let t(f) be the first derivative of f**3/3 - 3*f**2/2 + 3*f + 5. Is t(9) a composite number?
True
Let c(y) = -15*y + y**3 - 4*y**2 + 10 + 19*y**2 + 0*y**3 - 2*y**3. Is c(11) a prime number?
False
Let q = 852 - -77. Is q composite?
False
Is (-7458)/(-90) + 4/30 composite?
False
Suppose -2*d + 14 = -0*d. Let x(o) = -2 + d*o + 9*o - 3. Is x(6) a composite number?
True
Let o be 1*-212 + 4 + 2. Let c = o - -537. Is c a prime number?
True
Is (2/6)/(2 + 8074/(-4038)) prime?
True
Is (-2)/(-11) + 833/77 prime?
True
Let r(b) = -b**2 + b - 75. Let h be r(0). Let n = 109 + h. Is n prime?
False
Let u(w) = 5*w**2 + 15. Is u(8) a composite number?
True
Suppose -2*s = 2*s - 184. Suppose s = 3*i - 101. Suppose 2*p = p - u + 49, -p + 2*u = -i. Is p prime?
False
Let h = -14 + 17. Suppose -d - 2*i + 25 + 92 = 0, -d + h*i + 127 = 0. Is d composite?
True
Let u = -144 + 267. Is u a composite number?
True
Is -597*3/(-11 - -2) a prime number?
True
Let v(p) = p**3 + 2*p**2 - 2*p - 1. Is v(-2) a prime number?
True
Let b = -10 + 18. Suppose b*g = 3*g - 10. Is (1 + g)/(5/(-55)) composite?
False
Is ((-1090)/(-3))/((-3)/(18/(-4))) composite?
True
Suppose 8 = 4*a, -a = 4*y + 4*a - 2. Is (-110)/y*(1 + 0) composite?
True
Suppose -2*x = 2*x - 16. Suppose -x*y + 34 = -162. Is y a composite number?
True
Let b(v) be the first derivative of -v**3/3 + v**2/2 - 118*v - 2. Let g be b(0). Let f = -69 - g. Is f prime?
False
Let d = 11 - 9. Suppose -y = 4*m - 358, 5*y = -m + d*m - 79. Is m a prime number?
True
Suppose -433 = -3*n - 0*n - w, -4*n = -4*w - 588. Is n a composite number?
True
Let u be (3 + 9/(-3))/(-2). Suppose 5*m + 15 = -6*r + 4*r, -4*m + 5*r = -21. Is (u - 0 - -120) + m composite?
True
Let y(n) = -n - 1. Let g be y(6). Is 2/g - 14090/(-70) composite?
True
Suppose -10 = -5*t + 10. Let a = -2 + t. Is (-2 + 3/a)*-14 a composite number?
False
Suppose 0*n = 4*n + 8, -l = -3*n - 13. Suppose l = 5*v - 13. Let k = 59 - v. Is k composite?
True
Let p be (-2)/3*(-54)/4. Suppose 5*a - 23 = -8. Let x = p - a. Is x a prime number?
False
Let x(a) = -103*a + 2. Let c be x(2). Suppose -z + 5*z + 284 = 0. Let b = z - c. Is b a prime number?
False
Let b(u) = 11*u**2 - u + 1. Is b(1) composite?
False
Let p = -6140 - -11233. Is p composite?
True
Let d be 8 + -9 - (-225 - 0). Suppose -j = 5*v - 3*v - d, 0 = 5*v + 3*j - 559. Is v a composite number?
False
Is (-1)/(693/(-345) + 2) a prime number?
False
Suppose -5*z - t + 11586 = 0, z = -4*z + 4*t + 11581. Is z a prime number?
False
Let d be -21*(51/9)/1. Let n = -1 - d. Is n composite?
True
Suppose 13*l - 203 = 12*l. Is l a composite number?
True
Suppose 5*l - 7*v - 1410 = -2*v, 5*l - 2*v - 1395 = 0. Is l a prime number?
True
Suppose 0 = 4*p - 4 - 4. Is ((-42)/4)/((-1)/p) a composite number?
True
Let l = 304 - 215. Is l a composite number?
False
Suppose 87 = 3*b - 0*b. Suppose 4 = -5*m + b. Suppose 227 = m*c - 118. Is c prime?
False
Let l(x) = -31*x + 26. Is l(-3) a prime number?
False
Suppose -z - j + 114 = 0, -6*z + 84 = -5*z - 5*j. Let f = 224 - z. Is f prime?
False
Suppose 0 = -0*u + 5*u + 25. Let y = -3 - u. Suppose 0*x + y*x - f = 154, -5*f = -5*x + 385. Is x a composite number?
True
Let z(a) = -7*a + 1. Let i(k) = -27*k + 4. Let n(h) = h**3 + h**2 - h + 9. Let x be n(0). Let c(m) = x*z(m) - 2*i(m). Is c(-4) composite?
False
Suppose 4*s = 5*h - 19, -4 = 5*h - h. Is (-20712)/(-18) - 2/s prime?
True
Let p be ((-13)/3)/(3/(-45)). Suppose 0 = 5*i + c - 68 - p, -5*i - 5*c + 125 = 0. Suppose -4 = -q + i. Is q composite?
False
Suppose -5*r - 40 = -3*v, -2*r + 3*v + 1 = 17. Let h(u) = u**2 + 4*u - 7. Is h(r) a composite number?
True
Let y(u) = -u**3 - 7*u + 0 - 6 - 3*u**2 + 0*u. Is y(-4) a composite number?
True
Let p = 195 + -30. Suppose -p = -5*i + 100. Is i a composite number?
False
Suppose 0 = 2*q + 8*j - 3*j - 2793, 5*q + 4*j - 7025 = 0. Is q a composite number?
False
Let m(b) = b**2 + b - 7. Let p be m(5). Suppose -4*q = -5*w + 72 + p, 4*w = 2*q + 82. Is w prime?
True
Let i(h) = 46*h**2 - 6*h - 5. Is i(-1) prime?
True
Let h(g) be the second derivative of 13*g**3/6 - 4*g. Let i be h(-2). Let o = i + 41. Is o a composite number?
True
Let c(g) be the third derivative of 7*g**5/20 + g**4/8 - g**3/2 + 5*g**2. Is c(-3) composite?
True
Let y = -24 + 487. Is y a composite number?
False
Let a(j) = 20*j**3 + 2*j - 1. Let w be a(1). Suppose -4*t + 679 + w = 0. Suppose 0 = -5*i + t + 150. Is i a composite number?
True
Let w = -253 + 410. Is w a prime number?
True
Let q be (2 - 4)/(5/(-20)). Let v(u) = 56*u + 3. Is v(q) a prime number?
False
Is 172*(-3)/12*-1 composite?
False
Suppose 1 = -y + 7. Let m be (2/y)/(3/(-18)). Is m/7 - (-520)/7 a prime number?
False
Let p(f) = -f**2 - 11*f - 2. Let y(d) = -d**2 - 10*d - 3. Let g(j) = 2*p(j) - 3*y(j). Let i be g(-7). Is 1 - (i + 1 + -35) a composite number?
False
Suppose -4*k = 4*s + 4, -k + 5*s + 9 = -4*k. Suppose h - 1 = k. Suppose 3*c = h*a + 45, 3*a - 25 = -2*c - 0*a. Is c prime?
False
Suppose 3042 = 12*n - 4530. Is n a prime number?
True
Let s = -13 + 32. Is s a composite number?
False
Is (-3870)/12*(-4)/(-6)*-1 composite?
True
Suppose 0 = -5*j - 4*i + 214, 4*i = 2*j + 3*j - 206. Suppose -4*c + 16 = -2*v, 3*v = -3*c - 2*c +