/60 - (-6)/10 a composite number?
True
Let z = -390 - -1979. Is z a composite number?
True
Let i(k) = -k**3 + 23 + 17*k**2 + 149*k - 72*k - 74*k. Is i(16) a composite number?
True
Suppose -3*f + 13 = -2*d, 2*f - 4 - 10 = 4*d. Let v(u) = 365*u + 1. Let q be v(f). Suppose 3*l + 5*z = q, -3*l - z = -l - 726. Is l a prime number?
False
Suppose -f = -s - 4, -3*s - 12 = -4*f - s. Suppose -f*w + 13 = -3*w + 5*o, 2*w - 4*o = 4. Suppose 4*t - 12 = w. Is t prime?
False
Let b(p) = -p**2 + p + 2. Let j be b(0). Suppose a + 2 = w, 3*a - 3 = -j*w + 1. Suppose 2*i - i - 91 = a. Is i a composite number?
True
Let q = -12 - -17. Suppose 5*m + 4*k - 7388 = 0, -k = -q*m - 2*k + 7397. Suppose 4*l + 3*g = m, g = 4*g - 12. Is l a prime number?
True
Suppose -5*a = -2*g + 488, 0*a + 5*a + 742 = 3*g. Suppose -16*h + 14*h = -g. Is h a prime number?
True
Suppose -10 = -14*r + 9*r. Suppose 2*w - 8284 = -r*w. Is w prime?
False
Let h = -38 + 40. Suppose h*x = -2 + 8. Is x prime?
True
Let o be (-143676)/(-42) + (-1)/(-7). Suppose -3*z + 2*y + o = 0, -2*y + 5660 = 5*z + 3*y. Is (-3)/9*(0 - z) composite?
False
Let i(u) = u + 8. Let q = -2 + -4. Let w be i(q). Suppose -w*d = -287 + 33. Is d composite?
False
Let y be (-3 - -2)*5*-1. Suppose -5*b = -5*n + 2615, 4*n = n - y*b + 1593. Suppose -n + 79 = -3*j. Is j prime?
True
Let i(q) = 2*q**3 - 23*q**2 - 32*q - 48. Is i(23) a composite number?
False
Suppose -b + 43265 + 37951 = 5*q, 4*q = 2*b + 64970. Is q a prime number?
False
Let l = -21 - -22. Let z(t) = 2319*t. Is z(l) composite?
True
Let m(u) = 5*u**2 + 3*u + 2. Let s be m(-3). Suppose 1 = 7*o - 8*o. Is s*4/(-8)*o prime?
True
Let g(y) = y**3 - 37*y**2 - 113*y + 62. Is g(47) composite?
True
Let t = -28 + 49. Let c = t - 16. Suppose 2*f + c = 31. Is f a prime number?
True
Let q(h) = 189*h**2 - 5*h + 12. Is q(-5) a composite number?
True
Is ((-3)/(-15))/(24/550920) prime?
True
Let s(p) = 4*p**2 + 19*p - 20. Let f be s(9). Suppose y = 1126 + f. Is y a prime number?
True
Let i = -1738 - -2485. Let j = i + -28. Is j a prime number?
True
Let r(k) = -12*k**3 + k**2 + 9*k + 5. Is r(-6) composite?
False
Let w = 673 - -485. Let p = w - 687. Is p prime?
False
Let h(k) be the first derivative of -3 + 3/2*k**4 + 2/3*k**3 - k - k**2. Is h(2) composite?
True
Let t = 2368 - 3644. Let l = t + 2391. Is l a prime number?
False
Suppose 95168 = 5*b + 16213. Is b a prime number?
True
Let r = -11 + 20. Let q = 12 - r. Suppose -4*x - 4*p + 1008 = 0, x + q*p - 194 = 60. Is x composite?
False
Let r = 2326 - 1653. Is r a prime number?
True
Suppose -122 - 189 = -i + 2*t, t + 1230 = 4*i. Is i a prime number?
True
Let o = 450 + -1120. Let q = o - -1559. Is q prime?
False
Suppose 4*c - 100 = g + 15, g = -4*c - 115. Let y = g + 170. Suppose 4*h = 381 + y. Is h prime?
True
Suppose 5*d = 3*d + 10. Suppose -d*y - 253 + 743 = 0. Suppose 0 = 4*h - 42 - y. Is h composite?
True
Suppose 33*n - 31*n - 6936 = 0. Let o = n + -649. Is o a composite number?
False
Suppose -2*r + v + 7 = -r, 4*r - 3*v - 23 = 0. Suppose r = 5*t - 28. Suppose 0 = -5*x + t*x - 143. Is x prime?
False
Let l(t) be the first derivative of -3*t**3 - 3*t**2/2 - 3*t - 2. Let n be l(-4). Let m = -8 - n. Is m prime?
True
Let n be 1 + 1 + (-3)/3. Suppose -3*t = a + n - 3, 0 = -t. Suppose 0 = -a*y + 2*z - 6*z + 606, -2*z = 5*y - 1539. Is y composite?
True
Suppose 48*q = 37*q + 51535. Is q a composite number?
True
Let g = 747 - 1201. Let w = 1063 - g. Suppose 3*i + 4*d - w = 0, -2*d = 5*i - 2357 - 162. Is i composite?
False
Let w(k) = -k**2 + 10*k - 5. Suppose -5*g + 3*m + 32 = 0, 3*m = -2*g - g. Let t = 4 + g. Is w(t) composite?
False
Let y(u) be the second derivative of -37*u**5/20 + u**4/12 - 5*u**3/6 - 3*u**2/2 + 2*u. Is y(-2) prime?
True
Let i = 18 + -16. Suppose 4*m + i = 6. Is (28/4)/(m/23) prime?
False
Let k be (-10)/(-45) + (-204)/(-54). Suppose -629 = -2*y - 4*f + 277, k*y - 5*f - 1786 = 0. Is y prime?
True
Suppose -3*w = -2271 + 864. Suppose -w + 95 = -2*y. Is y prime?
False
Suppose -87314 = -2*x - 28572. Is x composite?
True
Let t(y) = y**2 - 4*y - 3. Let c be t(4). Let d be 6*((-20)/c)/4. Is (-6)/15 + 5734/d composite?
True
Let b(h) be the first derivative of -85*h**2/2 - 3*h - 109. Let c(x) = x**2 + 4*x + 1. Let w be c(-3). Is b(w) a prime number?
True
Let u = -12 + 14. Suppose 2*f - 2*r - u*r = -6, r = -3*f + 19. Suppose -f*d + 10824 = 2*t + 2149, 8645 = 5*d - 4*t. Is d composite?
False
Let b = 2421 + -1249. Is (b/(-16))/(3/(-12)) composite?
False
Suppose 0 = -15*a - 1318 + 4978. Suppose -756 = 2*z - t, 4*t + 125 + 262 = -z. Let q = a - z. Is q composite?
True
Let t(f) = f**3 - 19*f**2 + 15*f - 20. Is t(19) a prime number?
False
Let n(b) = -3*b**2 - b + 2. Let g be n(1). Let j be (g + 27)/((-8)/(-104)). Suppose -2*p + 4*h = -498, 3*p - 2*h - 438 = j. Is p prime?
True
Let b(k) = 5*k**2 + 0*k - 4*k**2 - 9 + 0*k + 6*k. Let g be b(-8). Let p(w) = 26*w**2 - 3*w + 6. Is p(g) a prime number?
True
Is 102588/22 + 62/(-682) composite?
False
Suppose -2*q = 55 + 3. Let d = -16 - q. Let x(m) = -m**3 + 12*m**2 + 15*m - 7. Is x(d) a composite number?
False
Suppose 2*f + 7 - 9 = 0. Let s(g) be the third derivative of 55*g**4/24 + 6*g**2. Is s(f) a composite number?
True
Suppose 2*b = -3*x + 88700, -2*b - 2*x + 82104 = -6598. Is b a composite number?
True
Let w be 26/(-10) - (-12)/20. Let t be 48/(2/(-4)*w). Suppose 2*u - 206 = t. Is u a prime number?
True
Is 20844 - 15/3*-1 composite?
False
Suppose 0 = 9*a - 168711 + 58938. Is a prime?
True
Is -388*-2*(-15)/(-24) a prime number?
False
Suppose -40 = 4*k - w + 56, 4*k = -4*w - 96. Is ((-14048)/k)/(6/9) composite?
True
Suppose -3*j = 0, 2*i + 4*j = -35020 + 126998. Is i composite?
False
Let z be 1/(9/75) - (-1)/(-3). Suppose g = 3 + z. Is g prime?
True
Let c = -62975 + 96232. Is c prime?
False
Suppose -2*v - 148009 = -5*x, 0 = 2*x - 4*v + 8*v - 59218. Is x composite?
True
Suppose -5*k + 3*k = -1226. Suppose 0 = -v + s + 538, s + 3315 = 5*v + k. Is v a composite number?
False
Let n be 1/(1 + 0/1). Suppose -f + 2 = -n, f + 1 = 2*d. Suppose -d*w - 4*r - 345 = -5*w, 115 = w + 4*r. Is w composite?
True
Suppose 11 = y + 11. Suppose 5*r + 5*l = 7185, y = 4*r + l - 7114 + 1366. Is r a composite number?
True
Let m = -110 + 125. Suppose 10*i + 5245 = m*i. Is i composite?
False
Let l = 76 + 3. Suppose 7*a = l + 250. Is a composite?
False
Suppose -l + 4*g = 12, -2*l + 3*g - 6 = g. Suppose 0 = -8*w - l*w + 20872. Is w prime?
True
Is (-6)/(-48)*6*(-1224352)/(-24) prime?
True
Suppose -4*p + 28 = 2*d, -15 = -5*p - 4*d + 17. Suppose -3*t = -2*a + 4, -t - 2 = 3*a - p. Suppose -4*f - f + o + 214 = 0, t = 5*f + 5*o - 220. Is f composite?
False
Let k = -1 + 1. Suppose -4*u - 5*y + 3114 = 0, 4*u - 5*y + 0*y - 3134 = k. Is u prime?
False
Suppose 0 = 3*j - s + 41, -4*j + j + 5*s - 61 = 0. Is ((-2252)/j)/((-3)/(-9)) a prime number?
True
Let g be (3/(-3))/((-1)/167). Let c = 358 - g. Is c prime?
True
Suppose 60 = -3*k + 72. Let g(u) = 181*u**3 + 2*u**2 - 5*u + 3. Is g(k) a composite number?
True
Let i(h) = 4*h**2 - 2. Let g be i(1). Let a be (-4)/(-8)*249*g. Suppose 2*y + a = 5*c + 1038, y - 401 = -4*c. Is y a composite number?
False
Let s be 688/(-10)*2 + 2/(-5). Let c = s - -235. Is c prime?
True
Let o(u) = -3*u - 2. Let d be o(-6). Let i(k) = -k**3 - 3*k**2 + 6*k + 10. Let q be i(-4). Suppose -4*a - d = 0, 4*a - 459 = -3*j - q*j. Is j composite?
True
Suppose -25*u = -31*u + 29166. Is u prime?
True
Suppose -3*v = -3*k - 9906, -4*v = 2*k - 7886 - 5304. Is v prime?
True
Let u = -445 + -35. Let m = u + 1535. Is m composite?
True
Let n be 3 + (-9)/((-45)/145). Suppose 914 = 2*q - 3026. Suppose -27*p + n*p = q. Is p a prime number?
False
Let v = 38 - 26. Let b(h) = -h**3 + 12*h**2 + 3*h - 15. Is b(v) composite?
True
Let u = 541 - 215. Is u composite?
True
Suppose -3*m - f + 2462 = 0, -4*m - 4104 = -9*m - f. Let g = -258 + m. Is g a composite number?
False
Let p(n) = -426*n - 2 + 15*n + 14*n. Let u be p(-1). Suppose -v - u = -6*v. Is v a composite number?
False
Let q = 4096 + 183. Is q a prime number?
False
Let b = -27 + 31. Let a(q) = 3*q**2 - 37*q + 56. Let f(c) = -c**2 + 12*c - 19. Let r(s) = b*a(s) + 11*f(s). Is r(16) a composite number?
True
Suppose -2*c - 1 - 1 = 0. Let p be 0*(-1 + (-2)/c). Suppose 0*u + 2*u - 74 = p. Is u com