 -113551. Is y composite?
True
Let r = 24851 - 10644. Is r prime?
True
Suppose -2*v + 8088 = 2*v. Suppose -2*n + 1347 = -0*t - t, -3*n + 3*t = -v. Is n a composite number?
False
Let a = -28 + 53. Is a/(-9) - -3 - 6933/(-27) a composite number?
False
Let a = 19 - 16. Suppose a*m = -14 + 50. Suppose 3*x - m = 0, -3*x - 930 + 136 = -2*t. Is t composite?
True
Let d(v) = -171830*v**3 - 12*v**2 - 12*v - 1. Is d(-1) composite?
True
Let o(a) = 182*a - 165. Is o(25) a prime number?
False
Suppose -3*h + 5*h = 0. Suppose -7*o + 3*o + 22 = 2*m, -7 = -m + 2*o. Suppose -2*d - m + 75 = h. Is d prime?
False
Is (-23847417)/(-1221) - (-4)/(-74) prime?
True
Suppose -2*r + l = -15, r = 2*r + 4*l + 15. Suppose -b = 2*i + 89, i - 3 = -r. Let s = 126 - b. Is s a prime number?
True
Let c(y) = 10*y**2 - 7*y**3 + 4*y**3 + 4*y**3 + 7 - 3*y. Is c(-8) a prime number?
False
Suppose -3*s - 4*c + 270 = 0, -5*s - 4*c = -26 - 432. Is s composite?
True
Is ((-64379)/68)/((-1)/4) a composite number?
True
Suppose -x + 25832 = 5*w, -w = -0*w - 3*x - 5176. Is w composite?
False
Suppose 3*w - 2 = 4. Suppose w = u - 3. Suppose u*z = -1361 + 6276. Is z prime?
True
Is 1938 - (-2 - 1 - (-29 + 22)) prime?
False
Is (-3*4/(-12))/(6/6054) a composite number?
False
Suppose 1244 = 55*n - 51*n. Let o = n - 180. Is o a prime number?
True
Suppose -125*h - 1439 = -126*h. Is h a composite number?
False
Suppose 5*p - 38141 = 2*p - x, -4*x + 25434 = 2*p. Is p composite?
False
Is (79177/14)/((-4)/40*-5) prime?
True
Let h(j) = 5*j**2 - 5*j + 5. Let n be h(2). Let m = 8 + n. Is m prime?
True
Suppose -5*a - 5*o + 10*o + 45 = 0, -a + 13 = 3*o. Let i(p) be the second derivative of p**4/6 + 7*p**3/3 - 3*p**2/2 + 23*p. Is i(a) composite?
False
Let f(o) = 3*o + 2*o**2 - 19*o + 11*o**2 + o - 13. Let v be f(-10). Let x = 2068 - v. Is x composite?
False
Let g = 42 - 52. Let z(b) = -2*b**3 + 5*b**2 + 11*b + 5. Is z(g) a composite number?
True
Let b(u) = 3*u**2 - 5*u - 7. Let a = 20 - 2. Suppose 0 = -m + 3*m - a. Is b(m) a composite number?
False
Let w be (-14)/4 - 6/(-4). Is (12 - 10)*(-235)/w a composite number?
True
Suppose 5*w - 5*k = -359 - 341, -2*w = -5*k + 280. Let n = 29 - w. Suppose -4*v = -3*v - n. Is v composite?
True
Let k(s) = 20*s + 6. Let q(r) = -r**3 + 3*r**2 + 6*r - 4. Let n be q(4). Let w be k(n). Let t = w + 69. Is t prime?
False
Suppose 1834 = -16*t + 16250. Is t a composite number?
True
Suppose -3743 - 3193 = -3*d. Let l = d - 1635. Is l a composite number?
False
Let l = 1287 + -3350. Let n = 947 + l. Is (-10)/25 + n/(-15) prime?
False
Suppose 2*p = 5*r + 3817 + 1477, 5*p - 13297 = -3*r. Let q = 4434 - p. Is q prime?
True
Let q(l) = 16*l**2 + 8*l + 13. Suppose -10*z + 9 = -9*z. Is q(z) a composite number?
False
Suppose 5*n + 4 = 3*n. Let g be 930/(-39) + 10/(-65). Is (1480/g)/(n/6) a composite number?
True
Let m be (-8)/4*(-15)/6. Suppose v - l = 1360, -m + 3 = -2*l. Is v a prime number?
True
Let i be -6*1*4/(-6). Suppose -20 = -c - i*c. Suppose 2*w - 330 = -c*b, 2*b + 318 = 2*w - 0*b. Is w a prime number?
False
Let u be (-6 - (-4 - 1) - -5)*-16. Suppose 4*b + 140 = 848. Let w = b + u. Is w a prime number?
True
Suppose -10*z - 1372 = -38*z. Is z prime?
False
Suppose 6942 = 4*r - 4226. Suppose q - 1445 = 5*m, -m + r = 3*q - 1607. Is q a prime number?
False
Suppose 46483 = 10*p - 35747. Is p prime?
False
Let i(b) = 226*b + 17. Let h be i(-7). Let c = -951 - h. Is c composite?
True
Suppose 2*i = -3*b + 127862, -5*b - 84696 = -2*i + 43198. Is i a composite number?
True
Let l(z) = -z**2. Let d be l(-1). Let a(w) = -5*w. Let r be a(d). Suppose 231 = r*c - 2*c. Is c a composite number?
True
Suppose -24 + 7 = -3*s - 2*v, -3*v + 21 = 3*s. Suppose -s*j - 4*m - m = 9, 2*m = -5*j + 4. Suppose -33 = -j*o + o. Is o prime?
False
Let k(p) = 4*p**2 + 2*p - 425. Is k(64) a composite number?
False
Suppose s = 3*s - 4*q, 0 = -2*s + q + 3. Suppose 0 = o + 2*g - 250, 21*o = 25*o + g - 986. Is ((-10)/(-6))/(s/o) a composite number?
True
Is 9/(45/18280) - -3 composite?
False
Suppose 0*i = -4*g + i + 3485, -g + 874 = -3*i. Suppose 0 = 2*c - c - g. Let x = -290 + c. Is x a composite number?
True
Suppose 10*h + 8*h - 648630 = 0. Is h prime?
False
Suppose 107021 = 9*f - 52072. Is f a prime number?
False
Let d(x) be the third derivative of -x**4/8 + 7*x**3/3 + 6*x**2. Let k be d(11). Let q = 42 + k. Is q a prime number?
True
Is (3144/(-21))/(-8) + 2/7 a prime number?
True
Suppose 0 = 93*m - 95*m - 80. Let r = m + 66. Is r a prime number?
False
Suppose 4*u - 2*m + 19202 = 2150, 0 = -5*u - 5*m - 21285. Is (7 - 13)*(-2)/3 - u a composite number?
True
Let z = 13 + 6. Suppose -18*i = -z*i + 397. Let j = -188 + i. Is j composite?
True
Suppose 4*f = g - 1, 5*f + 7*g = 2*g + 5. Suppose f = -7*v + 24754 - 7541. Is v a prime number?
True
Let b(q) = 64*q**2 - 6*q + 4. Suppose 0 = -5*o + o + 2*r + 34, 0 = 2*o + 5*r + 1. Let z be b(o). Is z/14 - (-6)/(-21) composite?
True
Let w(q) = q**3 + 3*q**2 - 3*q - 4. Let d be w(-3). Suppose d*b + 3 = 13. Is (-6)/9*(-489)/b a composite number?
False
Let f(g) = -21*g**3 - 6*g**2 - 4*g. Let t be f(-4). Let v(h) = -944*h - 73. Let b be v(-1). Let p = t - b. Is p composite?
True
Suppose 42405 = 3*p + 4*d, 3*p - 3*d = 31740 + 10644. Is p prime?
False
Let f(v) = v**3 - 12*v**2 + 4*v - 8. Let m be f(12). Let o = 1097 + m. Suppose 2*s = 5*s - o. Is s composite?
False
Let h(z) = -2*z + 13. Let a be h(6). Let v be 14 + -12 - (-3 + a). Is 88 + v/(3 - -1) a composite number?
False
Let q = 332 + 138. Let w = 703 - q. Is w composite?
False
Let c = 545 - 466. Is c a composite number?
False
Suppose c - 2252 = -0*c. Let k be 3*((-8)/(-1) - 7). Suppose -c = -k*f - f. Is f prime?
True
Suppose -5 = r - 0*r, q - 4*r = 18. Let x be q/(-6) + (-840)/(-72). Let d(f) = -f**3 + 14*f**2 - 18*f + 2. Is d(x) composite?
True
Let b = 13138 + 8497. Is b prime?
False
Let v be 3 + 18/(-6) - (-14 + 1). Let u be ((-2)/(-6))/(1/6). Let g = u + v. Is g composite?
True
Let b be (-1 - 44)/(((-30)/(-186))/5). Let u = 2444 + b. Is u a composite number?
False
Let y = -1178 - -6217. Is y a composite number?
False
Let w be (-35)/5*(5679/(-21) - 3). Suppose b - 6*b + r + w = 0, -r - 4 = 0. Is b composite?
True
Let j be 2 + -4 + (-1 - -7). Suppose -103 = j*q - 563. Is q composite?
True
Let n(j) = 2*j**2 + j - 9. Let k be n(4). Is -291*(-2)/3*k/18 a prime number?
False
Let p be 12*(-4)/(-12)*37. Is (1 + 6/8)*p a prime number?
False
Is 58*(414/12 + 1) composite?
True
Is (-14)/(-350)*18065*5 a prime number?
True
Suppose -2429 = -a + 5*d, 5*a - d = -6*d + 12145. Suppose 0 = 5*b - 0*z - z - a, -4*b = z - 1936. Is b composite?
True
Let j(w) = -w**3 + 46*w**2 + 27*w + 39. Is j(23) composite?
True
Let h(u) = 210*u - 7. Let s(c) = -c**2 + 4*c + 2. Let a be s(4). Is h(a) prime?
False
Let w be 27254/22 - 16/(-88). Suppose -s - w = 2*s. Let x = s + 604. Is x a prime number?
True
Let x be 12/(-20)*(-11 + 1). Let i = -9 + x. Is i - -93 - (-12)/(-4) a composite number?
True
Suppose 5*o - w = -1, -2*o - 2*w - 1 + 3 = 0. Suppose -3*b - 5605 = -5*p, o = -2*p - 4*b + b + 2242. Suppose -3*f + p = 8. Is f a prime number?
False
Let o(h) = 28*h**2 - 5*h + 6. Let x be o(4). Let q(t) = 75*t**2 + 7*t + 15. Let j be q(-3). Let i = j - x. Is i prime?
False
Is (-1119*(-4)/24)/((-1)/(-26)) a prime number?
False
Is -3 - (-2558255)/57 - (-2)/6 composite?
False
Let f(s) = -65*s. Let q be f(1). Let j be ((-6)/3)/(2/q). Suppose 0 = m + 2*h - j, 0 = 4*m - 0*h - 2*h - 230. Is m composite?
False
Let a be -2*1*(-3)/6 - 7. Suppose -5*x + 14 = -k - 1, -2*x = 4*k + 16. Is 471/a*(k - -3) a prime number?
True
Let b = 11175 - 5686. Is b prime?
False
Suppose 417 + 65 = 2*m. Let i = 3 + -1. Suppose 0 = 3*x + 5*u - m, 3*x + i*x = -4*u + 406. Is x prime?
False
Is (-2)/(-8) - (-104895)/84 a composite number?
False
Let q = -23733 - -34546. Is q a composite number?
True
Let p = 5 + -11. Let x(y) = 9 - 4 - 71*y - 60*y. Is x(p) a prime number?
False
Let j(q) = 2*q**3 + 2*q**2 + q - 2. Let y be j(-2). Let a(c) = c**2 - c + 1. Is a(y) composite?
False
Let x(i) = i**3 + 12*i**2 + 29*i + 25. Is x(-6) composite?
False
Let d(c) = -c - 6. Let t be d(0). Let q be (-55)/(-33) - (-4)/t. Let x(h) = 76*h**2 + 1. Is x(q) composite?
True
Let o(k) = -k**2 + 8*k - 13. Let g be o(5). Suppose -u = g*s - 113