32 + 127. Is (-1838)/(-5)*y/(-42) a prime number?
True
Let c be (6/5)/(4/10). Suppose t - 71 = -c*p, -5*t + p + 58 + 233 = 0. Is t a prime number?
True
Let g(u) = 1 - 1 - 42*u - 5. Is g(-5) composite?
True
Let l = 114 - 135. Let o = 712 - l. Is o composite?
False
Suppose 235402 - 72717 = 5*g. Is g prime?
True
Let w(y) = -y**2 - 4*y + 1. Let b be w(-2). Suppose -2*r = -5*r + 5*f + 4, 0 = 5*f - b. Is 2 - 0*r/9 prime?
True
Let b be 7/1 + (-1 - -1). Let x(k) = -3 - b - 25*k + 236*k. Is x(3) a prime number?
False
Let j = 41813 + -26586. Is j composite?
False
Is (-1044276)/(-51) + 2 + -1 a composite number?
False
Suppose 10762 = -b + 3*b. Is b prime?
True
Let p be 0 + (-58*2)/(-4). Let i = p - -74. Is i composite?
False
Let k = -195 - -195. Let l = 3783 - 2006. Suppose -i - 886 = -k*h - h, -2*h = 3*i - l. Is h composite?
False
Suppose -k + 119 = -y + 6*y, -503 = -5*k - 2*y. Let q = 42 - k. Let i = q - -88. Is i a prime number?
True
Let u = 1642 + 6456. Suppose 2*k - u = x, -5*k - 5*x + 2*x = -20245. Is k a composite number?
False
Suppose -2*q = 4*j - 135498, -5*q = 2*j + 158070 - 496775. Is q composite?
True
Let q(f) = 7*f + 2. Let u(s) = -6*s - 2. Let z(d) = 5*q(d) + 6*u(d). Let y be z(-5). Suppose 5*o + v + 0*v - 30 = 0, -o = 2*v + y. Is o composite?
False
Suppose -1140 = -2*p - p. Suppose -u - 14 = 37. Let a = u + p. Is a a prime number?
False
Suppose -2*z + 931 = -41335. Is z composite?
True
Suppose s + 4166 = v + 36410, -2*s = 2*v - 64492. Is s a prime number?
False
Suppose 4*y = 3*y + 4. Let c be -7 + 6 - (1 + -135). Suppose m + y*h = 193 - 64, 0 = -m - 5*h + c. Is m prime?
True
Let k(m) be the first derivative of -m**2/2 + 6*m + 4. Let n be k(3). Suppose 2*a + n*a - 4*y - 34 = 0, 5*y + 5 = 0. Is a a composite number?
True
Suppose -9*j + 3*p - 23946 = -12*j, -5*j + 39886 = -p. Is j a prime number?
False
Let h(c) = -274*c + 77. Is h(-20) a prime number?
True
Let f(u) = u**3 + 4*u**2 - 3*u + 3. Let h be f(-5). Let q(i) = i + 8. Let m be q(h). Let x = m - -34. Is x a composite number?
True
Let i(u) = -u**3 - 7*u**2 + 5. Let t be i(-7). Suppose -692 = -t*o + 2723. Is o a composite number?
False
Suppose -a + 379 = -0*a. Let g = 672 - a. Is g a composite number?
False
Let t(i) = 1277*i**2 + 23*i - 29. Is t(4) composite?
True
Let x be (-2631)/(-1)*2/6. Suppose x = t + 3*h, 3*h + h + 4385 = 5*t. Is t prime?
True
Suppose -6*u = -2*u - 3*a + 2890, u + 720 = 2*a. Let p = 1440 + u. Suppose p = 2*q + 6. Is q composite?
True
Is 143667/17 + (-2 - 8) a composite number?
True
Let j be 2/3 - 59/3. Let u = j + 22. Suppose 5*n + u*a - 277 = 0, 3*n - 144 = -3*a + 27. Is n prime?
True
Suppose -d + 3*n = -31670, 0 = 3*d - 4*n - n - 94990. Let p = d + -44515. Is 4/(-10) - p/25 composite?
True
Suppose 1134 = -15*d + 8*d. Let x = d - -251. Is x a prime number?
True
Let n be 2/(8/(-12)) + 0. Let w be (0 - -4) + n - -2. Let a(b) = 23*b**3 + 5*b - 5. Is a(w) composite?
False
Suppose 3689 + 5548 = 3*t. Is t composite?
False
Let l be 1*(1*(2 - 3))/1. Is (0 - l - 3) + (222 - 15) a prime number?
False
Is (-2094820)/(-160) + (-9)/(-24) a composite number?
False
Let x be (-52 - -1521) + 5 + (-2)/2. Suppose -x = -5*r + 3*i + i, -2 = i. Is r composite?
False
Let x be 0 + (-18 - -2) + -4. Is ((-1124)/2)/(x/50) composite?
True
Let c(m) = -2*m**3 - 12*m**2 + m + 6. Let n be c(-6). Suppose z + 9*x - 4*x - 391 = n, -754 = -2*z + 4*x. Is z a composite number?
True
Let s(o) = 5*o - 4. Let n be s(4). Let a(q) = 7*q + 35. Let m be a(-5). Is n + (2 + m)/(-2) a composite number?
True
Let v(d) = 4*d**3 - 4*d**2 + d - 19. Let i be v(9). Suppose -i = -6*j + 1888. Is j prime?
False
Suppose n = 3*n + 4*k - 10310, 3*n - 4*k - 15465 = 0. Is n a composite number?
True
Let u be (-1 + 0)*(1369 - 2)*-1. Suppose -2*t = -195 - u. Is t a composite number?
True
Let n be (4 - 1) + (-81)/27. Suppose 4*r - 1115 + 271 = n. Is r prime?
True
Let n = 11274 - -89. Is n a prime number?
False
Let b(i) be the second derivative of 2/3*i**3 - 3/2*i**2 + 4*i + 11/12*i**4 + 0. Is b(2) a prime number?
False
Let a(w) = -w**2 - 9*w - 7. Let j be (3 + 4)/1*-1. Let p be a(j). Suppose 3*s - p*s + 44 = 0. Is s a composite number?
False
Is -2*(-123)/(-24)*-188 a composite number?
True
Let i = -2 - -4. Let f(s) = -11*s**3 + 7*s - 6. Let a(d) = 32*d**3 + d**2 - 20*d + 17. Let w(m) = 3*a(m) + 8*f(m). Is w(i) a composite number?
False
Is ((-546)/84)/((-2)/452) prime?
False
Suppose 3*b + b + 3*s = 0, -b + 3*s = 0. Suppose b*p = p - 5. Suppose 5*c - 2*o + 4*o = 1447, -p*c - o = -1451. Is c a prime number?
False
Let g = -41 - -46. Let l be 1 - (4 + -2 - 3). Suppose 2*x - 4*x - 6 = -l*c, -3*c + 9 = g*x. Is c a prime number?
True
Is 1*-4*1869842/(-104) composite?
False
Is 3301*129/3 + -8 composite?
True
Let f(m) be the second derivative of 16*m**3/3 - 17*m**2/2 + 7*m. Let j be f(9). Let i = j - -120. Is i composite?
True
Is ((-420)/36 + 12)*33861 prime?
True
Suppose -15*n + 12*n + 6 = 0. Is (-16016)/(-16) - n/(-1) a composite number?
True
Let u = -81825 + 152666. Is u a composite number?
False
Let l(r) = 8*r**3 - 59*r + 59*r - 3*r**2 - 4*r**2 + 10. Is l(5) a composite number?
True
Let k = 25776 - 17247. Is k a prime number?
False
Let w be (-38)/57 - 3724/(-6). Let l = 1411 - w. Is l prime?
False
Let o = -36 + 40. Suppose -2*i + 4*d + 2426 = 0, -o*i + 2*i = d - 2401. Is i a composite number?
True
Let t = 30 - 30. Let o = t - -13. Is o a prime number?
True
Let w(x) = -2*x + 3. Let k be w(-6). Let q(b) = b - 2. Is q(k) a composite number?
False
Suppose 5*s = 2739 + 126. Let l = -26 - -29. Suppose r - s = -2*u, -u - 290 = -2*u + l*r. Is u a composite number?
True
Let f = 13 + -8. Suppose -t + f = -4. Is (-596)/6*t/(-6) composite?
False
Let p(l) = -l**3 - 5*l**2 - 4*l. Let f be p(-4). Suppose f + 5 = 5*n. Is (-23)/((n + -3)/2) a composite number?
False
Let f be 8/(0 + (-6)/(-3)). Suppose 4*l = -5*i + 16, 2*i - f*l = i + 8. Suppose j + 3*o - 62 = 0, -59 - 75 = -2*j + i*o. Is j a composite number?
True
Let n = 46 - 1753. Let z = -1012 - n. Is z prime?
False
Suppose 2*z - 4834 + 1944 = 0. Suppose 8*r - z = 611. Is r a prime number?
True
Suppose -3*n - 5*a = 5553, -12 = -7*a + 3*a. Let s = n + 3805. Is s composite?
False
Let m be -3 + 90 - (-12)/4. Suppose 241 = l - m. Is l a composite number?
False
Let x(c) = -c**3 + 12*c**2 - 11*c + 10. Let l be x(11). Is 45/6*68/l a prime number?
False
Let a = -3081 + 5786. Is a a prime number?
False
Let u(r) be the third derivative of r**4/24 + 37*r**3/6 - r**2. Let c(n) = -6*n - 60. Let v be c(-10). Is u(v) a composite number?
False
Let n be 1/(-6)*3*18. Let f = 7 - n. Let p = 69 + f. Is p prime?
False
Let l(m) be the first derivative of 2*m**3/3 - 5*m**2/2 - 6*m + 12. Is l(-9) prime?
False
Let w(t) = t**2 - 2*t - 10. Let m be w(-3). Is 1082/4*(m + 6 - -3) a prime number?
False
Suppose -4*f + 155 = 5*a - 9*f, -5*f = 10. Suppose -24*h - 170 = -a*h. Is h composite?
True
Is (-7 - -8) + 7 - -2597 a composite number?
True
Let z(d) = d**2 - 12*d + 4. Let p be z(10). Is p/(-40)*(-2230)/(-4) prime?
True
Suppose s - 6*s - 4*n - 2798 = 0, 0 = 3*s + 4*n + 1682. Let o = s - -842. Suppose -2*u + o = -3*t, 0 = -5*t + 2*t - 6. Is u prime?
True
Suppose -3*t + 4*t = 1. Let p be (1 + t)/((-10)/(-1785)). Let o = 14 + p. Is o prime?
False
Let z(m) be the first derivative of 1 + 1/4*m**4 - 5*m**3 + 6*m**2 + 11*m. Is z(15) composite?
False
Let n(l) = -6*l**2 + 3*l + 7. Let j be n(6). Let b = j - 1394. Let d = -1100 - b. Is d a prime number?
False
Let o(q) = -1237*q - 66. Is o(-5) a composite number?
True
Let r(v) = -v**3 - 18*v**2 + 19*v - 44. Let b be r(-19). Is 11/b + (-11925)/(-4) a prime number?
False
Is -5 - (7 - 8) - -5265 a composite number?
False
Let x = -185 - -1411. Suppose -4*m = p - x, -457 = -3*m + 5*p + 474. Is m prime?
True
Let h(c) = -138*c + 8. Suppose 5*l = -3*r - 4, r - 6 = -5*l - 24. Let o(i) = -139*i + 7. Let p(k) = r*o(k) - 6*h(k). Is p(-4) a composite number?
True
Let o be 4 - (3 + -3 - -2). Let s(j) = 20*j**3 + 2*j**2 - 5*j + 3. Is s(o) composite?
True
Is ((-6)/(-4))/(((-495)/(-127138))/15) prime?
True
Let z(h) = 2*h - 8. Let o be z(6). Suppose -x = -2*w - o*x + 461, -2*x + 10 = 0. Is w composite?
False
Suppose 4*l + 4*j + 0*j - 5008 = 0, 5022 = 4*l - 3*j. Suppose 0 = i - 5*o - 414, 2*o + l = 3*i - o