= -3445 + 75. Is (c/(-1) - -2) + (-15)/5 a prime number?
True
Suppose -18*v - 110551 = -25*v. Is v a prime number?
False
Let m be (-611)/5 - 1/(-5). Let p = 56 - m. Is p a composite number?
True
Let u(g) = -g**3 - 7*g**2 - 3*g + 8. Let v be (-4)/((32/12)/4). Let z be u(v). Is 34/(6/z + 1) a composite number?
True
Let r be ((-72)/27)/((-2)/(-21)). Let d be 441/r*(0 + -20). Suppose 5*o = -3*k + 152, -5*k = -0*k - 4*o - d. Is k composite?
False
Suppose 0*q = -2*q. Let z = q + 0. Suppose 4*k + 12 = z, 5*w + 2*k - 123 = 306. Is w a prime number?
False
Let m(o) = 495*o**2 - 2. Let j(l) = l**3 + 14*l**2 + 14*l + 10. Let y be j(-13). Let h be m(y). Suppose -1594 = 3*k - h. Is k composite?
False
Suppose 2*r - 196 - 184 = 0. Suppose 2*b - r = 788. Let m = b + -312. Is m a composite number?
True
Let z(f) = 3*f**3 - 5*f**2 + 4*f - 1. Let w(j) = 5*j + 1. Let t be w(3). Let s be (-12)/t - 38/(-8). Is z(s) prime?
True
Suppose 3*c = 4*w + 4037, 2*c + 3*w + 4041 = 5*c. Suppose 0 = -6*n + 515 + c. Is n a prime number?
True
Let n be 1 + (-380)/(2 + -1). Suppose -5*y + 3350 = 2*f, -f - 1349 = 5*y - 7*y. Let j = y + n. Is j a prime number?
True
Suppose 3*d + i + 3*i = 6, 5*d - 5*i = -25. Let m be (-1)/d*(-656)/(-4). Suppose -q + 2*q = m. Is q a prime number?
False
Suppose 0 = k - 30*k + 11049. Is k a composite number?
True
Suppose 12*k + 7082 = 14*k. Is k prime?
True
Let x(v) = 4*v**2 + 17*v**2 - 1 - 10 + 0*v**2 + 3*v. Is x(-5) composite?
False
Let d = 17 + -17. Suppose 5*q - b - 2931 = d, 5*q + 2*b = -3*b + 2955. Is q composite?
False
Let s be 608/48*(1 + -13). Let c = s + 531. Is c a prime number?
True
Let i = 55 + -51. Is (-5)/(30/(-326))*(i - 1) a prime number?
True
Suppose 3*w = -3*b + 5*w + 27, 2*w - 22 = -4*b. Suppose -b*t + 2*c + 860 = -5*t, 1699 = 4*t + 3*c. Is t prime?
False
Let q = 8419 + 3058. Is q prime?
False
Let d be 16/6*6*1253/8. Is 1 + d/5 + (-5)/25 a prime number?
False
Is 8/(-12) + (-302204)/(-12) a prime number?
True
Suppose -g = 4*q - 2467, 17*g + q - 2461 = 16*g. Is g a composite number?
False
Let n = 41 + 17. Let z be (-1722)/(-35) + -4 + 24/30. Suppose n + z = 4*t. Is t a prime number?
False
Let z(r) = -r**2 - 9*r - 3. Let i = -20 + 14. Let x be z(i). Suppose -s - 4*s - 5*q + 160 = 0, -x = 3*q. Is s a prime number?
True
Suppose d + 4*t - 4183 = -578, 4*d - 4*t - 14340 = 0. Is d prime?
False
Suppose 4*j + 4*b = 12, 0*j - 2 = j - 4*b. Suppose -v = 5*w + 1, -v + 2*w + 4 = -j. Is (-6 + v)/(4/(-2202)) a composite number?
True
Suppose a = 2*y - 8, -2*a - 26 = 3*a - 3*y. Let z be a*-3*3/9. Suppose -3*l = -4*t + 439, -z*t = -6*t - 2*l + 216. Is t a prime number?
True
Let n be 1 + (-4*3)/(-3). Suppose -219 = -4*f - 2*c + c, 0 = n*f + 4*c - 282. Suppose 1 + f = z. Is z a composite number?
True
Suppose -4*o + 4*w - 104 = -w, -2*w - 26 = o. Let q = -29 - o. Is (-1)/q - (-102)/18 composite?
True
Let x(s) = -s - 334. Let m be (-2)/(-8)*(11 - 11). Let i be x(m). Let u = 477 + i. Is u prime?
False
Let x(r) = 182*r**2 - r + 1. Let d be x(2). Suppose d = 5*g - 4548. Is g a composite number?
True
Let v be 3 + 5/((-10)/(-6)). Let s(n) = 3*n**3 - 5*n**2 - 4*n - 1. Is s(v) composite?
False
Let l = -24045 - -41726. Is l a prime number?
True
Suppose -u - 3*u = 0. Let d = -11 + 13. Suppose -d*p + u*p = -402. Is p prime?
False
Suppose 0*c = 3*c - 6. Suppose 3*u + 2*j = 1706 - 29, -u + 559 = -c*j. Is u composite?
True
Let n(r) = r**3 + 7*r**2 + r + 10. Let j be n(-7). Suppose t = j*s + 353, -5*t - 3*s + 4*s = -1807. Is t/3 + (-3)/(-9) composite?
True
Let s(u) = -u - 7. Let o be s(-11). Suppose v - 456 = -2*c, 3*c - 3 = 12. Suppose 542 + v = o*p. Is p a prime number?
False
Let k(q) = q**3 + 7*q**2 + q - 5. Let s be k(-7). Let x(i) = -21*i + 18. Let z be x(s). Suppose 5*g - 785 = z. Is g a composite number?
False
Suppose 17*w = 10*w + 973847. Is w prime?
True
Suppose -2 = -7*t - 72. Let r(g) = -2*g**3 + 4*g**2 - 12*g - 13. Is r(t) a prime number?
False
Let u(w) = w**2 + 29*w + 31. Is u(19) a composite number?
True
Let v(n) = 248*n**2 - n + 2. Let q = 35 + -39. Is v(q) a composite number?
True
Let k(t) = t**2 - 7*t + 1. Let o(i) = i. Let c(a) = -k(a) - 2*o(a). Let w be c(4). Suppose -x + 176 = w*b, 2*x + 2*x - 3*b = 779. Is x prime?
True
Suppose 652465 = -263*b + 274*b. Is b prime?
False
Suppose -23*x = -19*x + 20. Let c = x - -40. Is c a prime number?
False
Suppose -4*u + 1046 = -6*u. Let l = u - -968. Is l a composite number?
True
Let t = -25 - -19. Is -4 + 2571*(-2)/t prime?
True
Let c = 8 - -1. Suppose 5*d + c = 8*d. Suppose -p = d*p - 572. Is p a composite number?
True
Let r(u) = -3*u**2 - 3*u - 8. Let k be r(-4). Let p be k/16*14*-36. Let c = -865 + p. Is c prime?
True
Suppose v + 625 = 2960. Is v composite?
True
Suppose 140777 = -29*c + 395368. Is c a composite number?
False
Let o(l) = -l**2 + 6*l + 8. Let z be o(6). Let t be z/40 - 24/(-5). Is (t/15)/(1/159) a prime number?
True
Let q(u) = -27*u**2 - 11. Let o be q(-5). Let l = o + 2815. Is l a prime number?
True
Let x be (87/6 - 2)*(4 - 2). Suppose n + x = -t + 92, 3*t + 225 = 3*n. Is n a composite number?
False
Let b(i) be the second derivative of i**4/12 - i**3/6 + 523*i**2/2 - 19*i. Is b(0) composite?
False
Let v(p) = 3*p - 4 + 6 + 2. Let t be v(3). Let c = t + -6. Is c prime?
True
Suppose -14 - 6 = -5*y. Suppose -y*j + 150 + 854 = 0. Is j a prime number?
True
Let s(r) = 3*r**3 - 24*r**2 - 8*r - 33. Let u(h) = -h**3 + 8*h**2 + 3*h + 11. Let j(n) = 4*s(n) + 11*u(n). Let y = 12 - 3. Is j(y) prime?
True
Let r be 12/78 + (-418)/13. Let v = r + 34. Is v prime?
True
Let z = -85568 - -228937. Is z a composite number?
True
Is (2644/10)/(17577/(-1035) + 17) a composite number?
True
Suppose -3*o - 3 = 0, -3*v + 2 = -5*o - 9. Suppose 0 = -v*g + 3*y + 210, 2*g - 69 - 161 = -2*y. Let j = -52 + g. Is j a prime number?
True
Let h(q) = 52*q**2 - 10*q + 3. Let k(m) = -155*m**2 + 29*m - 8. Let g(u) = -17*h(u) - 6*k(u). Is g(-5) composite?
True
Suppose -29*o + 45525 = -14*o. Is o prime?
False
Suppose -6*b + 310 = -5*b. Let t = b - -57. Is t a composite number?
False
Suppose -184*i = -172*i - 21804. Is i a composite number?
True
Let n(m) = -181*m - 60. Is n(-7) a prime number?
False
Let z(n) = n**3 - 21*n**2 - n + 35. Let k be z(20). Let f = 636 + k. Is f composite?
False
Suppose -62*u + 67*u = 44995. Is u composite?
False
Is 7566/(-104)*(-1072)/12 a prime number?
False
Is -25 + 25 - (-879 + 2)*2 a prime number?
False
Suppose 5*r + 0 = -2*j - 54, -r + 5*j - 27 = 0. Is (76/r - -6)/((-2)/78198) prime?
True
Let m be ((-6)/(108/(-654)))/((-2)/18). Let a = m + 868. Is a composite?
False
Suppose 8*o = 2*o. Is (o - -2) + (-1)/((-4)/1636) prime?
False
Suppose 80 = 2*b - 0*b. Is b/30*2103/4 a composite number?
False
Suppose 2*c = 3*w - 7499, 0 = -15*w + 20*w + 5*c - 12540. Is w prime?
True
Let p be (-6)/(-14) + 228/(-42). Let q = 9 + p. Suppose 2491 = q*r - c, -r + 486 + 142 = 5*c. Is r prime?
False
Let b = 2282 - -645. Is b composite?
False
Let v be (21/6)/(2/(-4)). Let i be (-2)/v + 4739/49. Suppose 0 = 2*d + 31 - i. Is d composite?
True
Suppose -4*l = -5*k + 1124 + 544, 3*l + 670 = 2*k. Suppose 0 = -5*v + 623 + k. Is v prime?
True
Let w(f) = 39*f - 12. Let t be w(-9). Suppose 0 = -43*n + 42*n - 509. Let q = t - n. Is q composite?
True
Is 5/1 - 20520/(-114) composite?
True
Suppose -15*p + 61860 = -10*p - v, 5*p = -2*v + 61875. Is p a prime number?
True
Let w be (-6394)/(-14) + 36/126. Let j(r) = 246*r. Let m be j(-1). Let l = w + m. Is l a prime number?
True
Suppose 786181 = 29*w - 18*w. Is w a prime number?
True
Suppose 0 = 2*r - u + 4321, -4*r + 4*u = u + 8643. Let w = 3067 + r. Is w a prime number?
True
Let w = 6820 + -3149. Is w prime?
True
Suppose 3 = 2*q + 11. Is (-2)/4 - (1230/q - 0) composite?
False
Let a = -9897 - -4569. Let p be (-12)/(-42) - a/21. Suppose -y = -3*y + p. Is y a prime number?
True
Is (174/4)/(30/1580) a prime number?
False
Let u = -19 - -25. Suppose -u = -i - 3. Is (-1765)/(-20) + i/4 a composite number?
False
Let x(j) = -5*j + 15. Let y(p) be the first derivative of 3*p**2/2 + 16*p + 10. Let h be y(-10). Is x(h) prime?
False
Suppose 3*g = -15*g + 74106. Is g composite?
True
Let l(x) be the second derivative of 5*x - 11/2*x**2 + 6*x**3 + 0. Is l(6) a composite number?
True
Let h(b) be the second derivat