= d + 313. Is o a prime number?
True
Let u = 1 - 4. Let v(s) = -10*s - 4. Is v(u) composite?
True
Suppose -3597 = -2*s + 5*o, -165 + 5565 = 3*s - 3*o. Is s a composite number?
False
Let w = -341 - -558. Is w a composite number?
True
Suppose -5*d + 3*b + 305 = 0, -44 = -d - 3*b - 1. Is d a composite number?
True
Is ((-102)/(-24))/((-5)/(-2020)) a composite number?
True
Let u(t) = 31*t**2 - 5*t - 5. Is u(-3) a prime number?
False
Let y(f) = -2*f**3 - 12*f**2 + 16*f + 11. Let r be y(-10). Suppose 4*s - 135 = -r. Let h = s + 288. Is h a prime number?
False
Let d be (-73)/(-4) - (-4)/(-16). Suppose -4*t + 3*n = d, 24 = -0*t - 5*t + 3*n. Let z(i) = -i**3 - 4*i**2 + 4*i - 1. Is z(t) a composite number?
False
Suppose 2*l + 26 = 4*l. Let y = l + 24. Is y composite?
False
Suppose 0 = -d + 38 + 41. Is d prime?
True
Let s(q) = 10*q + 11 + 6*q**2 + 4*q + 5*q**2 - 7*q**2. Is s(11) a composite number?
True
Let m be 6/4 + (-309)/(-6). Let c = 42 + m. Is c composite?
True
Suppose -5*n + 6141 = -1414. Is n prime?
True
Suppose -20 = -4*i + 5*o, 3*i - 20 = i + 5*o. Suppose -5*w - 3*g + 21 = i, -6*w + 2*g + 11 = -w. Suppose w*d - 28 = -d. Is d prime?
True
Let n be (3/9)/(1/3). Is (n - 2)/2*-8 a composite number?
True
Let b(g) be the second derivative of 11*g**3/2 + 11*g**2/2 - g. Is b(4) composite?
True
Let b be ((-1)/4)/((-4)/48). Suppose -407 = -b*j + 604. Is j composite?
False
Is (-19790)/4*(-14)/35 composite?
False
Suppose 4*c = 2*j + 1604, -3*c - 2*c + 2006 = -3*j. Suppose 0 = -4*z + y - c, -4*z = -3*y + 295 + 113. Let l = -16 - z. Is l prime?
True
Suppose 4*b + 4964 = 2*p + 13182, -b = 2*p - 2047. Is b prime?
True
Suppose 4*l - 4*g = -0*g + 140, 5*g - 89 = -3*l. Let p = 104 - l. Is p a composite number?
False
Suppose -980 + 3269 = 3*l. Is l composite?
True
Let a(m) be the third derivative of m**7/1008 - m**6/180 + m**5/30 + 2*m**2. Let h(j) be the third derivative of a(j). Is h(3) composite?
False
Suppose -4*c = 8, -4*n - 2*c + 910 - 102 = 0. Is n a prime number?
False
Suppose -9*h = -6*h - 1455. Is h a prime number?
False
Suppose -2*o + 3964 = 2*w, -2*o - o = -w + 1994. Is w prime?
False
Let y = 13 - -10. Is y composite?
False
Let q(t) = 2*t + 24. Let x be q(-10). Suppose -2*z - 772 = -5*z + i, 0 = x*z - 3*i - 1031. Is z a prime number?
True
Is (2 + -3)/((-9)/1989) a prime number?
False
Let i = -285 - -754. Is i composite?
True
Let h = -252 + 437. Is h composite?
True
Let p(m) = m - 4. Let n be p(8). Suppose -102 - 406 = -n*a. Is a a composite number?
False
Let a(p) = -196*p - 2. Let f be a(-3). Suppose 0*c = -3*c + 3*m + 354, -5*c + 4*m = -f. Suppose -n + 2*o + 31 = 0, 0*o = 3*n + o - c. Is n composite?
False
Let w(d) = d**3 + 3*d**2 + 12*d - 7. Is w(5) composite?
True
Let c(h) = -3*h + 9. Let s be c(4). Let y(u) be the third derivative of -u**6/30 - u**5/30 - u**4/24 + u**3/3 + u**2. Is y(s) a composite number?
True
Let w(j) = j**3 + 14*j**2 - 4*j - 17. Is w(-14) composite?
True
Suppose -2*n - 5 = -y, -3*y - 1 + 7 = -3*n. Is (0 - y)/((-6)/(-474)) a prime number?
True
Let r(j) = j**3 + j**2 + 2. Let b be r(0). Suppose -5*v + b*x + 2*x + 393 = 0, -2*x - 4 = 0. Is v a prime number?
False
Let i(d) = -21*d + 10. Is i(-8) a composite number?
True
Let z(l) = -2*l**3 - l**2 + l - 3. Let x be z(-4). Let m = 358 - x. Is m composite?
True
Suppose 3*j - t - 874 = 0, -2*t + 6*t - 1451 = -5*j. Suppose -j - 153 = -4*n. Is n prime?
False
Let r(g) = -2*g**3 - 5*g**2 - 3*g - 5. Let w = -11 - -7. Is r(w) a prime number?
False
Let l = -2 + 2. Suppose -4*y = -l*y + 536. Let b = y - -231. Is b a prime number?
True
Suppose -5*s - 4*b = -1523, -6*s + 4*s - 4*b + 602 = 0. Is s composite?
False
Let v = -10 - 9. Suppose 0*d = -4*d - 128. Let h = v - d. Is h a prime number?
True
Let h(d) be the first derivative of d**5/60 - d**4/12 + 2*d**3/3 - d**2 - 1. Let n(b) be the second derivative of h(b). Is n(5) prime?
True
Suppose 5*v = 4*v - 132. Let u = 295 - v. Is u composite?
True
Let w(l) = -l + 6. Let k be w(6). Suppose k = 4*s - 20, -3*b - s + 164 = -0*s. Is b composite?
False
Let v = -465 + 1006. Is v a composite number?
False
Suppose -4*t + 131 + 77 = 0. Let f be 4/6 - t/6. Let o(d) = -d**2 - 9*d - 5. Is o(f) prime?
True
Let p(h) = -h**2 + 14*h + 6. Is p(9) prime?
False
Suppose 2*k - m = 4*k - 4, 2*k = -4*m - 2. Is k prime?
True
Let c(g) = g**3 - 9*g**2 + 9*g - 3. Let t be c(8). Suppose -t*z + 19 = -6. Suppose 2 = -z*r - k + 77, 4*r - k - 60 = 0. Is r a prime number?
False
Let d = -8 + 56. Let s = -66 - -121. Suppose -o = -d - s. Is o composite?
False
Suppose -8180 = -2*s - 3*s + q, 2*s = 4*q + 3254. Is s a composite number?
False
Let d(j) be the first derivative of -j**4/4 + 15*j + 3. Is d(0) a composite number?
True
Let w = 134 - 31. Is w a prime number?
True
Let w(v) = 36*v + 5. Is w(4) prime?
True
Let o(u) = u**2 + 1. Let b(m) = 3*m**2 - 2*m - 3. Let a(z) = b(z) + 2*o(z). Let y be a(-1). Is (1 + 1)/(y/381) a composite number?
False
Let q be -2 - (3 + -3 + -3). Suppose 0 = z + q - 60. Is z prime?
True
Let z(b) = -15*b - 11. Let m be 5/(-1) + 4 + -5. Is z(m) a prime number?
True
Suppose 20*h - 4109 = 13*h. Is h prime?
True
Suppose -3*u + 5*g + 1012 = 0, -4*u + 4*g + 1358 = 6*g. Is u a composite number?
True
Let a(z) = 2*z**3 + z**2 + 4. Is a(3) prime?
True
Is ((-786)/4 + -2)*-2 a composite number?
False
Suppose 0*v + 59 = k - 3*v, 118 = 2*k - 2*v. Is k a composite number?
False
Let f(m) = 2*m**2 - 3 + 7*m**2 + 6*m + 4 - 2*m**2. Is f(-4) a composite number?
False
Suppose 12 = -5*x + 4*q, -q - 3*q + 12 = -3*x. Suppose 2*v - 402 = -x*v. Is v a prime number?
False
Let n(z) = 11*z**3 - z**2 + 2*z - 3. Is n(3) prime?
False
Suppose 356 = -2*t + 1458. Let c = t + -126. Let o = -54 + c. Is o a composite number?
True
Let j(s) = 2*s. Let r be j(3). Let y(g) = g**3 + 9*g**2 - 9*g + 1. Is y(r) a composite number?
False
Let t(n) = -3*n - 4. Let i be t(-9). Let u = -8 + i. Is u composite?
True
Let b(l) = -38*l + 29. Is b(-11) composite?
True
Let q = -1178 - -1822. Let v = 1111 - q. Is v composite?
False
Let h(j) = -4*j**3 - 3*j**2 + 3*j. Let b be h(3). Let y = -89 - b. Is y a composite number?
False
Suppose -20 - 12 = 4*x. Let a = x - -4. Let k = a - -18. Is k a prime number?
False
Suppose c + 5*u = 121, -2*c - 2*u + 160 = -90. Let w be 2/(-6) + (-14)/(-6). Is 2*(w + c/4) a composite number?
False
Let n(f) = -8*f**3 - 4*f**2 - 2*f + 1. Let o be -5*(-2 - (-4)/(-5)). Let j be (-24)/o - (-2)/(-7). Is n(j) composite?
False
Let z(o) = 10*o - 25. Is z(8) a prime number?
False
Let z be (-1 + 3)/(-8 + 7). Is (4/(-6))/(z/147) prime?
False
Suppose 4*v - 201 = 187. Is v a prime number?
True
Is (-12 + 35)*107/1 a composite number?
True
Let c be 4 + -1 + 56 + -3. Suppose -c = g - 321. Is g a prime number?
False
Let f(u) = -u**3 - 12*u**2 - 11*u + 5. Let c be f(-11). Suppose -2*x = -c*a - 42, -4*a + 45 = 3*x - 41. Is x a composite number?
True
Let g be -1 + (-24 - (-1 - -2)). Suppose -2*v - 185 = -3*i - v, -4*i + 4*v = -260. Let h = g + i. Is h composite?
True
Let y = 127 - 79. Let n(u) = 10*u**3 + 2*u - 3. Let m be n(2). Let j = m - y. Is j a composite number?
True
Let s(i) = 187*i**2 + 1. Let j be s(1). Suppose c + j = 5*c. Is c composite?
False
Let a = -53 + 90. Is a a composite number?
False
Is (3 - (9 - 4)) + 53 a prime number?
False
Let x be (1 - 0)/((-2)/(-10)). Let y(w) = 7*w**2 + 3*w + 6. Let h be y(x). Suppose 2*i - 2*v - 68 = 0, 4*v + h = 5*i + 25. Is i a composite number?
True
Suppose -5*s + 583 = 33. Let b = s + -40. Suppose -5*i - 2*x - 18 = -117, -4*i + 3*x + b = 0. Is i a composite number?
False
Let k(t) = 122*t**2 + t + 1. Let o be k(-1). Suppose 4*u = -5*g + 205, 2*u = g + o - 9. Is u a prime number?
False
Suppose 7*j - 2*j - 5 = 3*o, 25 = o + 5*j. Suppose -2*p = -3*a + 27, -o*a - 3*p + 0*p = -45. Is a composite?
True
Let y = -13 + 18. Suppose -1 = -5*o + 2*u, 0 = -y*o + 7*u - 3*u - 3. Is 1 + -1 + 4/o composite?
True
Suppose 0 = r + 13 - 4. Is ((-66)/r)/((-4)/(-42)) a prime number?
False
Let u(s) = 40*s**2 + s - 19. Is u(-8) composite?
True
Let v(j) = -2465*j + 6. Is v(-1) prime?
False
Let y = -26 + 11. Let i = y - -27. Is 6/i*22/1 a prime number?
True
Let b(t) = -7*t**3 - 2*t**2 + 2*t - 2. Let v be b(4). Is 6/9*v/(-4) prime?
True
Let x(q) = q**2 + 5*q - 4. Let b be x(-6). Suppose 0 =