-4*h + h. Suppose h*x = -0*x + 4*l + 51, -5*x = l - 108. Is (-2)/(-7) - (-393)/x prime?
True
Let v = -62 + 88. Is v a composite number?
True
Suppose 3*l = 3*h + 30, 3*l = 2*l + 5*h + 14. Is 4226/18 - (-2)/l prime?
False
Let r = 80 - 55. Suppose -r = -2*s - 3*s. Suppose -3*k + 2*k + t = -104, s*k - 3*t = 524. Is k prime?
False
Let v be 6 + (3/(-1) - -2). Suppose v = -4*c - 3. Is (-4 - c)/((-2)/55) a prime number?
False
Let y = -640 - -971. Is y composite?
False
Suppose 0 = -3*f - 3, 4*f = 2*u + 2*f - 6. Suppose -u*d = -0*d - 44. Is d prime?
False
Let c(a) be the first derivative of a**2/2 + 9*a + 3. Let b = -20 - -30. Is c(b) composite?
False
Let k(t) = -94*t - 14. Is k(-4) a composite number?
True
Let l be 25/4 - 3/(-4). Suppose -l*h + 8*h = 23. Is h a prime number?
True
Is 212*(-28)/(-8) - -3 a composite number?
True
Is (683 - 1)*(-5)/(-10) a composite number?
True
Is 34*(441/30 - 2/10) a composite number?
True
Suppose 0*q = 2*f + 4*q + 2, -7 = -3*f - q. Is 3 - (2 - 517 - f) composite?
False
Suppose -2*d + 0*d - 48 = -2*h, 4*d - 4 = 0. Let s = -35 + h. Let o = s - -43. Is o a prime number?
False
Let i = 953 + 2316. Is i a prime number?
False
Suppose 3*t - 7*t = -8, -5*b - 2*t = -179. Is b prime?
False
Let q = -13 + 24. Is q a prime number?
True
Suppose 19 = 3*j + 2*w, -w + 0 = -5. Let u(k) = -k + 6. Let t be u(6). Suppose t = -j*b + 46 + 11. Is b a prime number?
True
Suppose 0 = f - 2 - 4. Let x be (-2 - 8)*(-3)/f. Suppose 3*q = x*b + 105, 0*b - b = 0. Is q a composite number?
True
Let c(d) be the third derivative of -d**5/60 - d**4/24 - 2*d**3/3 + 2*d**2. Let y be c(0). Is -62*((-10)/y)/(-5) a prime number?
True
Let v(i) be the second derivative of -i**5/20 + 5*i**4/6 + 7*i**3/6 - 5*i**2 - 3*i. Is v(9) prime?
False
Let r(c) = -c**3 - 6*c**2 + 2*c + 7. Let a(n) = -3*n. Let y be a(2). Let x be r(y). Is (-2 - x/(-3))*-3 prime?
True
Suppose 4*m + m = 45. Suppose -a = -m - 2. Is a a composite number?
False
Let u(g) be the third derivative of g**6/120 - g**5/15 - 5*g**4/24 - 5*g**3/6 - 2*g**2. Is u(6) a composite number?
False
Suppose -r - 6 = -2*x - 2*r, -6 = -2*x + r. Let k = 45 - 40. Suppose 2*h = -6, -3*z + k*h + 27 = x*h. Is z a prime number?
True
Suppose 0 = 2*v + v - 6. Suppose 2*m - v*a - 58 = 0, m + 2*a = -3*m + 92. Is m composite?
True
Let f = -174 + 983. Is f a composite number?
False
Let t(x) = x - 3. Let f be t(6). Suppose 4*r - f = 9. Suppose -4*j + r + 37 = 0. Is j a prime number?
False
Let d = -13 - -19. Let j be (-4)/d*36/(-8). Let p(a) = 6*a**2 + a - 4. Is p(j) a composite number?
False
Suppose -153 - 60 = -3*m. Is m a composite number?
False
Is (13/(1 + 0))/(3/111) a composite number?
True
Let z(j) = -34*j - 1. Let q be z(-2). Suppose v - 61 = q. Suppose -5*d + v = -42. Is d a prime number?
False
Let g(d) = -d**3 - 6*d**2 - d - 1. Let k be g(-6). Suppose -3*o + 5*o = 2*l - 270, k*o = -4*l + 504. Is l a prime number?
True
Suppose -8*t = -3*t - 20. Is ((-2)/t)/((-3)/258) composite?
False
Let i be 2/4 - (-292)/8. Suppose 0 = -5*a + i + 18. Is a prime?
True
Let w(a) be the first derivative of -7/2*a**2 - 7*a + 2 + 1/3*a**3. Is w(-5) composite?
False
Let s = -1 + 2. Let g(y) = 2*y**3 + y**2 - y + 1. Is g(s) prime?
True
Let h(v) = -2*v + v + 7 + 2*v. Let f be h(-7). Let b(c) = -c**2 + c + 37. Is b(f) a composite number?
False
Let t(p) = p**3 - 9*p**2 + 5*p - 1. Is t(10) a prime number?
True
Suppose -n + 224 = -4*q + 88, -5*n + 4*q + 664 = 0. Let y = n + -5. Is y a prime number?
True
Let s = -11 - -14. Suppose s*o = 4*o - 163. Is o composite?
False
Suppose 2*n + 170 = 690. Let y = n + -169. Is y a composite number?
True
Let m be 0 + 0 + 131 - 2. Let n = 226 - m. Is n composite?
False
Let l(c) = 7*c**3 + 2*c**2 - 9*c - 9. Is l(8) a composite number?
False
Let t = -19 - -24. Let f(k) = 2*k**3 - 6*k**2 + 2*k + 4. Let o be f(4). Suppose 9*i + c - 239 = t*i, 5*c = i - o. Is i prime?
True
Suppose -38 = 4*l - 322. Is l composite?
False
Suppose -4*q + 7965 = 5*u, -3*u + 4*q + 4600 = -147. Is u a prime number?
False
Let n be ((-16)/(-40))/((-2)/(-290)). Let c = -32 + n. Is c a prime number?
False
Let f = 739 - -462. Is f a prime number?
True
Let t be 39/9 - 3/9. Is -37*t/(-8)*2 composite?
False
Let o(z) = z**2 - 4*z - 8. Let d be o(6). Suppose -3*t + 2*v = -8, -5*t + v = -0*v - d. Suppose -7 = -t*p - p. Is p a composite number?
False
Suppose -5*v - z = -13, v - z - 5 = -2*z. Suppose -4*d = 2*q + 6, 3*d = q + v*q. Let f(c) = 3*c**2 - 1. Is f(d) prime?
True
Let t(c) = -3*c**3 + 10*c**2 + 11*c + 11. Is t(-8) prime?
True
Suppose -4*t - 2 = -3*u, 4*t - 2*u + 2 = 2*t. Let g be ((-16)/(-12))/(2/54). Is g*t + 1 - -2 a composite number?
True
Let b be 85/((12/9)/4). Suppose 2*d = -3*d + b. Is d composite?
True
Let n be (3/6)/(3/18). Suppose n*y + 2*y + 3*r - 902 = 0, -r - 725 = -4*y. Suppose 0 = x - y + 54. Is x a composite number?
False
Let c be 2/7 + (-830)/(-35). Suppose -c = 5*q - 9, -4*f = 4*q - 256. Is f composite?
False
Let p = 932 - -429. Is p a composite number?
False
Let w(l) = -l**3 - 8*l**2 - 10*l - 5. Let f be w(-8). Let k = f + 2. Is k prime?
False
Let v(q) = 2*q - 5. Let u be v(4). Suppose -2 = d + 4*a + 3, -u*d = -a - 24. Let w = 8 + d. Is w prime?
False
Let j(m) = -33*m**3 - 4. Is j(-3) a composite number?
False
Let v be (3 - 0)/((-12)/(-56)). Is 999/6*v/21 composite?
True
Let r = 462 + -199. Is r a prime number?
True
Suppose i - 1 - 3 = 0. Suppose -7*k = -i*k - 99. Suppose -k = l - 2*l. Is l composite?
True
Let y(x) = -x**3 - 7*x**2 + x + 4. Let c be y(-7). Let k = c + 5. Suppose -k*w + 78 = 5*s, -4*w - 3*s = 2*s - 176. Is w a composite number?
True
Let c be (-1)/(0 + 1) - -2. Is ((-2)/2 - -36)/c composite?
True
Let y = -616 - -875. Is y a prime number?
False
Let b(r) = 18*r**3 - 4*r**2 - 3*r. Let o be b(-2). Let x = o + 233. Is x a prime number?
True
Let l be (4/(-8))/(2/(-16)). Suppose -l*s + s + 135 = -4*j, -3*j = -9. Is s prime?
False
Let m(q) = q**2 + 6*q + 5. Suppose -2*a - 21 = 5*f, a - 12 = 4*f + 5*a. Let l be m(f). Suppose 7*y - o - 250 = 2*y, -5*y + 5*o + 270 = l. Is y composite?
True
Let l = -1534 - -2995. Is l a composite number?
True
Suppose 0 = -2*v + v + 5*q + 85, -4*v = 3*q - 271. Suppose -v = -5*t + 2*u, -5*t - 3*u + 2*u + 70 = 0. Suppose -5*n = 2*f - 187 + t, 357 = 4*f - n. Is f prime?
True
Suppose 2*h - 1 = 3, v + 5*h - 234 = 0. Suppose -v = -4*j - 76. Suppose -c + j = -82. Is c composite?
True
Let n = 384 - 211. Let f = 408 - n. Suppose f = 5*k - 5*a, 3*k + 0*a - 142 = 4*a. Is k prime?
False
Let y = 56 - -501. Suppose -3*g + 2*g + y = 0. Is g a composite number?
False
Suppose -5*a - 2189 = -2*p, -3*p = -5*p - 2*a + 2168. Is p a composite number?
False
Let s = 1 + -77. Let c = s + 126. Suppose -c + 5 = -5*a. Is a prime?
False
Suppose -3*y + 3*w + 15 = 0, 8*w = 3*y + 3*w - 15. Suppose -3*q - 1 + 115 = -5*p, 0 = -y*p - 2*q - 124. Let d = 35 + p. Is d a composite number?
False
Suppose 4*p = 10 - 150. Suppose -2*g + 134 = -2*m, -3*m + 87 = g - 0*m. Let x = p + g. Is x composite?
False
Let x be (-4)/(-3 - (-3 + 1)). Suppose 2*f - 3*j + 45 = 5*f, -4*f + 44 = -x*j. Is f prime?
True
Let w = -7 + 10. Suppose w*u - 5*g - 6 = 0, 0 = -4*u - 2*g + 14 + 20. Is u prime?
True
Let g(s) = 1 + 5*s**2 + 5*s + 0*s**2 - s**2 - 3*s**2. Is g(-9) composite?
False
Let l(j) = j**2 + 2*j - 3. Let b be l(-4). Suppose 221 + 174 = b*y. Is y a composite number?
False
Suppose 5*g + 0*g - 50 = -4*q, 4*q - 3*g - 34 = 0. Suppose -4*m - 5*h = -0*m - 222, 5*h - q = 0. Is m a prime number?
True
Suppose -4*r + 212 = -2340. Suppose 0 = -3*q - c + r, 839 = -0*q + 4*q - c. Is q prime?
True
Let l be (16/(-2) - -1) + -1. Let x be 5/1 + l/4. Suppose 0*p - x*p = -111. Is p a composite number?
False
Let a be (-3)/(-7) - (-300)/(-14). Is (-557)/(-3) + 14/a prime?
False
Let c be 1/1*-2*-1. Let r(a) = -a**2 - a + 1. Let u(p) = -16*p**2 - 10*p + 14. Let t(s) = 12*r(s) - u(s). Is t(c) prime?
False
Let f = -23 + 26. Suppose -2*s - f*s = -3*p - 610, -4*s + 2*p + 486 = 0. Is s a composite number?
True
Is (2 - (-12)/(-3))*(-4271)/2 a prime number?
True
Let o = 2 + 0. Let i be 99 - (-4)/o - 3. Suppose -i = -k - k. Is k prime?
False
Suppose 5*x + 73 = -12. Let b = x + 138. Is b composite?
True
Let f = -910 + 1779. Is f composite?
True
Suppose -6*d + 574 - 4 = 0. Is d com