o - 2460107 = -891*o. Is o a prime number?
True
Suppose -27*j + 102*j = 10342425. Is j a prime number?
False
Let v = 3739 + 216352. Is v prime?
False
Let l be -1 - (-8 - (-20)/5). Suppose -l*b + 4*n - 100 = -14372, 4*b + 3*n - 19071 = 0. Is (-2)/((-8)/b) - -2 a prime number?
True
Let u(c) = -2255*c**3 - 14*c**2 - 74*c - 44. Is u(-5) prime?
False
Suppose d - 11*i + 5 = -15*i, 3*i + 9 = 0. Is d/(-4*(-7)/34076) a composite number?
True
Suppose 7 + 17 = s + 3*h, 4*h = 20. Suppose s*u - 4*u - 2*n = 37515, 0 = -5*n - 25. Is u a prime number?
False
Suppose -3*d - 149 = -2*l, -2*d = 4*l - 173 - 101. Let f(j) = -j**3 + 3*j**2. Let q be f(3). Suppose 362 = 5*b + 2*y, q = -3*b + 4*b + y - l. Is b composite?
True
Is (-398)/8*2*(-18 - (73 - 17)) a composite number?
True
Let h = 7619 - 4045. Suppose 4*c + h = 4*b - 750, 2*b = -5*c + 2197. Let u = b - 445. Is u composite?
False
Let l = 13699 - 9349. Suppose -21685 - l = -5*v. Is v prime?
False
Suppose 0*l - 3*l + 4*u + 16483 = 0, -2*l + 10981 = 5*u. Is l a composite number?
True
Let j(h) = 14*h**2 + 13*h + 82. Let z be 3*-5*20/(-15). Let p be 1/((-4)/z)*(0 + -5). Is j(p) composite?
False
Let q be 21 - (-42)/(-4 + -3). Let z(y) = 2*y**3 + 2*y**2 + 10*y + 47. Is z(q) a composite number?
True
Let y be ((423 - 2)*3)/1. Suppose 0 = m - 1622 - 77. Suppose 2*n = m + y. Is n a composite number?
False
Let c(r) = -r**3 - 6*r**2 - 5*r - 191. Let u be c(-18). Is u/6 - 9/54 a prime number?
True
Suppose -2*j = 6, -24 = 3*p - 3*j + 21. Is (-4)/p - (-4)/((-180)/(-9215)) composite?
True
Suppose 2*t - 5*z + 5 = 0, -2*t + 25*z - 24*z = -7. Suppose t*f = 1271 + 3114. Is f prime?
True
Let c(f) be the second derivative of -37*f**4/12 - f**3/6 - 12*f**2 + 10*f. Let d be c(-4). Let m = 121 - d. Is m composite?
False
Let j be 12/(-9) + (-2)/3. Let f(w) = w**2 - 15*w - 26. Let v be f(j). Suppose 2*r + v*r - 12770 = 0. Is r a prime number?
True
Suppose -29 = -6*k + 4*k + 5*y, 0 = 2*k + 2*y + 6. Suppose 5*i - 2*u - u - 32248 = 0, k*i - 2*u = 12900. Is i composite?
False
Is (290/348)/((-4 - 2649652/(-1324824)) + 2) prime?
False
Suppose -6*m = 12465 + 4887. Let z = m + 5213. Is z a composite number?
True
Let i(g) = -5*g**3 - 3*g**2 + 39*g - 32. Is i(-17) a composite number?
False
Let h be (-114)/81*-3 + (-4)/18. Suppose 1004 = h*r - 4*t, r + 2*t - 221 - 30 = 0. Suppose -10*k + 1521 = r. Is k composite?
False
Let g be (-12441)/5*(21 - 41). Suppose -35*o + 237329 = g. Is o composite?
True
Suppose -17*g = 7*g + g - 17522975. Is g composite?
False
Suppose 120*s = 5*s + 4143848 + 51569627. Is s prime?
False
Let y(j) be the first derivative of 2*j**3 - 11*j**2/2 - 17*j + 2. Let w be (-6)/4*440/(-66). Is y(w) a prime number?
False
Let c(s) = -81*s + 10. Let h be 5 - (-3 + 3 - 1). Suppose 21*n = 23*n + h. Is c(n) composite?
True
Suppose 187*p - 2 = 186*p. Is p/(-2 - 8496/(-4244)) prime?
True
Suppose 0 = -5*o - 4*r + 1149513, -139*o + 2*r - 459808 = -141*o. Is o composite?
False
Let m(i) = -1727*i + 1. Let j be m(-1). Suppose -16*q + 7*q + j = 0. Let a = 73 + q. Is a composite?
True
Suppose 0 = -4*q - x + 3831491, -737*x - 4789320 = -5*q - 732*x. Is q prime?
True
Suppose 1442495 = -51*z + 4059152. Is z a prime number?
True
Suppose 0*y = 4*y + 2*b - 1270, 0 = -2*y + 3*b + 639. Suppose -2*r = 5*l - 5475, -3*r = -3*l + 2767 + 497. Suppose l = v - y. Is v a composite number?
True
Let t(i) = -i**3 + 44*i**2 - 33*i - 29. Let s be t(26). Suppose -3*f = -3*y + f + s, 0 = 2*f + 8. Let x = 5269 - y. Is x composite?
True
Let w be 22/77 - 4828/(-7). Let b = 3232 - w. Suppose -4*c + 9*c = 4*n - b, 3*n - 1903 = 2*c. Is n prime?
False
Let v be (-7480)/24*(2 - -1). Let n = -568 - v. Suppose -8*l + n = -825. Is l composite?
False
Let u = -514 - -527. Is (-4)/1 + (3435 - u) a prime number?
False
Let k(m) = 157494*m - 8077. Is k(12) prime?
True
Let a = 507466 - 244143. Is a a composite number?
False
Let c be 3 - 2*3/(-6). Suppose 13675 - 2493 = 5*p + 3*t, -5*p + 2*t = -11187. Suppose -6 = 2*q, -q = 4*m - c*q - p. Is m a composite number?
False
Let i = -1 + 21. Suppose 5*l = 0, -5*w - 5*l + 25 = -i. Is 382*(30/(-105) + w/7) prime?
False
Let q = 9055 + 17942. Is q a prime number?
False
Suppose -2*h + 5*h + 6 = 2*r, r - 3 = 2*h. Let c be (-31 - -32) + (h - 97). Is (c - -3)/(-3)*23 a prime number?
False
Let p = 9970 - 5643. Is p a prime number?
True
Let x be (-22)/(-4 - -3) + -5. Let q(u) = u**3 - 13*u**2 - 37*u - 48. Is q(x) a prime number?
True
Let u(k) = -63*k**3 + 13*k**2 + 13*k + 90. Is u(-11) a composite number?
True
Let d(m) = -m**3 - 7*m**2 - 9*m - 13. Let l be d(-6). Let f be -3*4/3 - -24. Suppose -l*i = f, 3*v + 5*i - 1067 = 224. Is v prime?
False
Let t(a) = 12619*a - 130. Is t(15) composite?
True
Suppose 2*i + i + 4*d = 52, -4*d + 4 = i. Suppose -6 = 2*h + 2, -2*q - i = 4*h. Is 345 + q + (0 - 2) prime?
False
Suppose 67*k - 129 = 139. Let s be (-30632)/5 + (-2)/(-5). Is s/(-15) - (k/10 - 1) prime?
True
Suppose -a - a + 3*j = -30451, -3*a + 5*j = -45678. Let t = 21828 - a. Is t a prime number?
True
Let l = 69 - 69. Suppose -u - 3*u - 2*f + 6612 = l, -3*u + f = -4959. Suppose u = t - 4*z, -6*t = -t - 4*z - 8329. Is t a composite number?
False
Is ((-102538)/(-10))/((182/(-35))/(-26)) a composite number?
True
Suppose 3*l = -2*d + 42, -3*d + l = 2*l - 56. Suppose 20*m - d*m = 28. Is 16176/m + -4 + (-3)/7 a composite number?
False
Suppose 0 = -5*t + 3*b + 1349991, 2*t - 8*b - 540046 = -13*b. Is t prime?
False
Suppose -12 + 0 = -3*n, 3*q - 167875 = -4*n. Suppose 13*u - 166336 = -q. Is u a composite number?
True
Let t = -647 + 647. Let m(k) = 21*k + 1261. Is m(t) a composite number?
True
Suppose -1223 = -5*u - 2*f - f, -3*u + 728 = -4*f. Let l = u + -109. Suppose 989 = 4*p - 3*o, 4*o + 598 = 3*p - l. Is p composite?
False
Let w(x) = -2*x**2 - 71*x + 117. Let r be w(-37). Is (-3 - (-22)/r)*3183 prime?
False
Let m(k) = 3*k - 39. Let u be m(15). Suppose -u*d - 1431 = -33195. Is d a composite number?
True
Let m be (-3 + 2)*1089/(-18)*-22. Let o = m + 8970. Is o prime?
True
Let t be 11/((10/(-4))/(45/(-18))). Suppose 0 = 3*r - t*r + 59608. Is r a prime number?
True
Suppose -2*i - 5*v + 50782 = -9*v, -i = v - 25391. Is i composite?
False
Let p(w) = w + 20. Let j be p(-15). Suppose 15 = j*r - 2*r. Suppose 1207 = v - 5*n, -6*n + 6093 = r*v - 2*n. Is v composite?
False
Suppose d - 2*x - 181779 = 0, -159*d + 161*d - x = 363537. Is d a prime number?
False
Is (400/(-160))/(10/(-1552204)) a prime number?
True
Let o = -2273 - -3906. Is o prime?
False
Let v(a) = -12*a - 35. Suppose 3*m - 5*f + 68 = 0, 4*m + 124 = -m + 3*f. Is v(m) a composite number?
False
Let a = 1055072 - 635781. Is a composite?
False
Let r = -245666 + 415123. Is r a composite number?
False
Let z = 46288 + -15797. Is z a prime number?
True
Suppose -119400883 = -143*n + 30436519. Is n a prime number?
False
Let q be (15 - 6) + (-6 - -3). Suppose -2*v - q = -10. Suppose -419 = -3*h + v*o, -725 = -5*h - 0*h - 2*o. Is h prime?
False
Suppose -5*b + 5*s + 335 = 0, -5*b + 186 + 135 = 2*s. Let p = b - 65. Suppose p = 5*z + 439 - 2294. Is z composite?
True
Let p(l) = l**3 + 55*l**2 + 33*l + 167. Is p(-28) prime?
True
Let r = 74626 - 21577. Suppose -17099 = -p - 4*q, 5*p - 2*q - 32380 - r = 0. Is p a composite number?
True
Is (-92)/10 - (80 + -89) - 603336/(-5) a composite number?
True
Let b = 137 + -129. Suppose b*k - 20342 = -6862. Is k a composite number?
True
Let f be 864/88 + (-8)/(-44). Suppose -3*n - 231 = -f*n. Is n a composite number?
True
Suppose 0 = -168*j - 5935939 + 31061515. Is j prime?
False
Let p(t) = 669*t - 4. Suppose 45 = -i - 65. Let x be (-1 - 0)/(22/i). Is p(x) a composite number?
True
Let b be 4 - 6/2 - (3 + 6). Let w(i) = -27*i**3 + 11*i**2 - 4*i + 31. Is w(b) prime?
True
Let v = -8 + 14. Let y = -8425 - -8425. Suppose y = v*p - 1078 - 3104. Is p a prime number?
False
Let j(w) = -w**3 + 8*w**2 + 2*w + 61. Let v be j(9). Is v + (2 + 15/(-10))*3494 a prime number?
False
Suppose -2*g + 21 - 7 = 0. Let y(r) = 81*r**2 + 30*r + 11. Let u(n) = -54*n**2 - 20*n - 7. Let l(h) = 7*u(h) + 5*y(h). Is l(g) a composite number?
False
Let x = -104394 - -148771. Is x composite?
True
Let m(c) = c**3 + 33*c**2 + 21*c - 101. Let z be m(-39). Let t = -5143 - z. Is t a composite number?
False
Is (139/(-695))/((-1)/725