alse
Let b = -6089 - 1244. Let p(j) = -494*j + 4. Let x be p(8). Let q = x - b. Is q composite?
True
Suppose -55*t + 630219 - 88925 + 45391 = 0. Is t a composite number?
False
Let t be (-2)/3*((-19)/2 + -4). Suppose 0 = -p - t*p - 240. Let j(a) = a**2 - 16*a - 53. Is j(p) prime?
True
Let k be (17/(-2))/(61/(-83082)). Suppose -k = -7*g + 11320. Is g a composite number?
False
Let w be 18/(-21) + (-180)/(-63). Suppose z = -w*z + 30729. Is z a prime number?
True
Is 285930 - -1 - (-54 + 48) a prime number?
True
Suppose 0 = u - 2 - 3. Suppose -3*l + 3*m + 13 = 4, -2*l = -u*m. Suppose -4*n + 3*s = 2*s - 4013, 5*n + l*s = 5010. Is n composite?
True
Let y = -2961036 + 5089379. Is y prime?
False
Let n = 1721 - 762. Suppose -z = -3*g + 4531, -n = -g + 4*z + 544. Is g composite?
False
Let w = -47025 - -27399. Let h = w - -32855. Is h a prime number?
True
Let x(u) = 36*u**2 + 465*u - 284. Is x(69) prime?
False
Let h be (-6)/4 + 27/6. Let c be (2/h)/(5 + 146/(-30)). Suppose -3*i = -2204 + c. Is i a prime number?
True
Suppose 0 = -12*f - 151798 + 991762. Is f a composite number?
False
Let g be (-110)/(-44)*(-3 - 1)/(-2). Suppose 3*p = -l + 129, 0 = -0*l - 2*l - g*p + 255. Let s = 59 + l. Is s a composite number?
False
Let s(j) = -2*j**2 - 107*j - 1018. Let u be s(-61). Let m be (-3)/(-6) + 8381/(-2). Let g = u - m. Is g a composite number?
True
Let w(m) be the first derivative of 121*m**2/2 - 8*m + 1. Let o = -21 + 28. Is w(o) composite?
False
Suppose 15 = -3*i, 0 = 4*l + 7*i - 3*i + 8. Suppose 0 = -3*x + l*z + 2106, 23*z - 22*z = -2*x + 1389. Is x prime?
False
Suppose y = -2*i + 11, -10 = 5*i - 3*y - 21. Suppose 27568 = i*m + 3*c, -4*c - 20683 = -3*m - 8*c. Is m prime?
False
Let i be (14 + -2)*1*62/8. Let c = -95 + i. Is c*((-4666)/4 + 0) a prime number?
True
Let p(q) = -q**3 - 12*q**2 - 3*q - 45. Let u = -277 - -263. Is p(u) prime?
True
Suppose 6*w - 764288 = -o + 1877788, -1321011 = -3*w + 4*o. Is w a composite number?
True
Let i(a) = -219*a - 9. Let z(y) = -2 + 0 + 0 + 3. Let u(x) = i(x) - 2*z(x). Is u(-7) a prime number?
False
Let l(s) = -59541*s**3 + 3*s**2 + 10*s + 5. Is l(-1) prime?
True
Let x(l) = 29*l**2 - 7*l + 41. Let c = 373 + -368. Is x(c) a prime number?
False
Let f = 710786 + -74383. Is f a composite number?
False
Suppose 340062 = 2*o + 4*l, o + 4*o - 850267 = 4*l. Is o a composite number?
False
Let r be (-186)/(-42) - (-1)/(-14)*6. Suppose -5*b + 19318 = 4*f - 12664, 0 = r*f - b - 31970. Is f prime?
True
Let y(c) = 815*c**2 + 184*c - 2753. Is y(15) prime?
False
Suppose 1783822 = -607*x + 656*x - 3259699. Is x a composite number?
False
Suppose -23*b - 4 = -22*b. Is 1151/(b/26 + (-19)/(-39)) composite?
True
Let o(f) = 174*f - 23. Let u(r) = -349*r + 47. Let y(a) = -a**2 + 10*a - 12. Let b be y(9). Let z(s) = b*u(s) - 5*o(s). Is z(5) prime?
True
Suppose -4*t + 7281 = 5*u + 171, 2*t = -10. Let x(z) = 13*z**2 + 2*z - 2. Let d be x(2). Is (-12)/d + u/18 a prime number?
True
Let t = 31058 - -14313. Is t composite?
True
Let k be (-15)/2*(-4 + 16/(-10)). Suppose -k*j + 36*j + 6714 = 0. Is j prime?
False
Let d = 81662 + 73439. Is d prime?
False
Let f = 864 + -1662. Let z = f + 1119. Is z + 2/2 - 5 a composite number?
False
Let q = -457992 - -779351. Is q composite?
False
Suppose 37224 - 7241 = j. Is j prime?
True
Suppose 12080 = 5*u - 5*w, -w = -3*u + 2009 + 5233. Let b = 6594 - u. Is b a prime number?
False
Let z be (-311)/(-4) - (-12)/48. Let u = 73 - z. Is (-15*1)/u*3464/12 a composite number?
True
Is -7 - (-804912)/(11 - -1) a composite number?
True
Suppose 9*c - 1637580 - 209416 = -321595. Is c composite?
False
Let a be (-6)/15 - (-3 - (-6)/10). Is -4*((-1063)/36 - a/9) composite?
True
Let n(p) = 536*p + 26 + 43 + 35 + 145 + 380*p. Is n(26) a prime number?
False
Let s(t) be the second derivative of -4321*t**3/2 - 4*t**2 - 58*t - 1. Is s(-1) a composite number?
True
Let l(d) = 2*d + 21. Let b(y) = 4*y + 43. Let k(u) = 3*b(u) - 7*l(u). Let j be k(-14). Is 3198/j + (-44)/55 prime?
False
Let h = -450099 - -811822. Is h a composite number?
False
Is 0 - (2 + 12 + -14676) composite?
True
Let a be -1447*(-1 + (-1 - -1)). Let b be (-4884)/(-55)*((-60)/9)/2. Let d = b + a. Is d prime?
True
Let j(x) = x. Let h be j(0). Suppose 2*g = -u + 1163, h*u = g + u - 581. Suppose 1324 = 4*p + 4*v, 4*p + 3*v - g - 746 = 0. Is p a prime number?
False
Let m be (21/7)/((-3)/(-36)). Let n = m + -39. Let l(v) = 91*v**2 - 4. Is l(n) prime?
False
Suppose 4*b - 3*d - 2*d - 27 = 0, -2*b - 5*d = 9. Suppose -5*o + 3*w + 17470 = 8*w, -4*o + 13975 = b*w. Is o prime?
False
Suppose 1185 - 16128 = -12*g + 9*g. Is g a composite number?
True
Suppose 3*d - 29370 = -8325. Suppose 4*r - 3*x = -5*x + 9340, -3*r = 4*x - d. Is r a prime number?
True
Suppose 0 = -4*j + 8*j + 24. Let d be (j + (-1 - -3))/(2/9). Is (-31673)/(-171) + 4/d a composite number?
True
Suppose -125*y + 13599128 = -77*y - 4946248. Is y composite?
True
Let u be (56/24)/(-1 + (-6474)/(-6471)). Let d = u + -2672. Is d a composite number?
True
Suppose -193*b - 6 = -195*b. Suppose x - 698 = -b*j, 2707 = 4*x - 0*x - 5*j. Is x a prime number?
True
Suppose -4*x = -4*i - 128, 5*x + 96 = -3*i + 10*x. Is (i/(-20))/4 - (-930633)/55 prime?
True
Let r(j) = -2*j - 3. Let y be r(2). Let x(d) = -d - 4. Let m be x(y). Suppose 2*a = l + 3589, -5*a - m*l + 3455 = -5523. Is a a prime number?
False
Suppose 0 = -2*x + 3*t + 2065160, 124*x - 125*x = -3*t - 1032589. Is x a prime number?
True
Suppose 0*i - 4*h - 20 = i, 5*i = 5*h + 25. Let r be (-1*2 + 3)*(-14 - -19). Suppose -2*s = -4*p + r*p - 2207, i = -5*p + 5. Is s a composite number?
False
Let h(k) = -k**2 - 14*k + 37. Let n be h(-16). Suppose b - n = -4, 0 = 2*f + 3*b - 58817. Is f a composite number?
True
Suppose 2*a + 2*f = 166920, 40008 = -4*a - 5*f + 373849. Is a composite?
False
Let o(l) = -16*l**3 + 7*l**2 - 4*l - 14. Let t(f) = 2*f**2 - 18*f - 14. Let b be t(11). Let g = -35 + b. Is o(g) prime?
False
Suppose 49 = -5*w - 1. Let b(s) = -s**3 - 69 - 4*s + 3*s**2 + 64 - 11*s**2. Is b(w) a composite number?
True
Let x(j) = -24*j**3 - 3*j**2 + 7*j + 15. Let a(i) = -i**2. Let z(c) = -3*a(c) + x(c). Is z(-4) prime?
True
Let m(j) be the second derivative of 2*j**3/3 - 10*j**2 + 14*j. Let r be m(6). Suppose 4*o = 2*z + 3*o - 399, z - 189 = r*o. Is z composite?
True
Let p = 313 - 109. Let u = p + 1307. Is u a prime number?
True
Let r(l) = 22*l - 149. Let x be r(7). Suppose -x*i = -12248 - 587. Is i prime?
False
Let v(s) = 26 + 77*s - 4 - 158*s + 41*s**2 + 79*s. Is v(7) a composite number?
False
Suppose 3*d = 17*n - 19*n + 251503, -4*d = -3*n - 335326. Is d a composite number?
False
Let j = 232388 - 139719. Is j composite?
False
Suppose -33*o = 9160 - 143569. Is o a prime number?
True
Let k(n) = -n - 4. Let p be k(-13). Let j = 849 + -402. Suppose p*h = 8*h + j. Is h a prime number?
False
Let y(h) = 67*h - 10*h - 22 + 9 + 31*h. Is y(3) a composite number?
False
Is (3 - 8 - -70926 - 4) + -4 a prime number?
True
Let i = -2473 - 1307. Let m = 12293 + i. Is m a composite number?
False
Let j(l) = l**3 + 4*l**2 - 4*l + 10. Let f = 33 - 38. Let u be j(f). Suppose 3171 = -2*q + u*q. Is q a prime number?
False
Suppose -4*g - 75 - 105 = 0. Let m be ((-60)/g)/((-1)/45). Let i = m + 113. Is i a composite number?
False
Is 2/5 + -49 + (-298030720)/(-200) prime?
False
Suppose -42*q = 14694974 - 59040338. Is q composite?
True
Suppose 3*a + 5*l = 32041, -4*l = -107*a + 110*a - 32045. Is a composite?
False
Suppose -143*p = -192*p + 60993289. Is p a prime number?
False
Suppose -3*t - 18 = -15. Is 111741/68 - t/(-4) a composite number?
True
Let a be ((-16)/(-4) - 2)*(-34)/4. Is 6/1 - (a + -876) composite?
True
Let x(c) = 2*c**2 + 11*c - 60. Let v be x(21). Suppose v = -2*d + 14287. Is d a composite number?
True
Suppose -5*f = -w - 301769, -2*f - 4*w + 53401 + 67289 = 0. Is f a prime number?
True
Suppose 0 = -l - 0*l - 3*q + 863, 0 = 5*l + 3*q - 4363. Suppose -l + 81 = -k - 5*c, -k + 3*c = -754. Is k composite?
False
Let d = -18 - -23. Let a be (-8 + d)*((-2)/(-2) - -2). Is (-907)/(a/(-3) - 4) a prime number?
True
Suppose -2*v = 54*d - 58*d - 502850, 1257165 = 5*v - 2*d. Is v a prime number?
False
Let o(m) = 1542*m + 1749. Is o(9) prime?
False
Is -4*(-2 + 1) - (35037772/(-77) + 17) a prime number?
False
Let v