= y - -14020. Is (-4)/64*-8*1*v composite?
True
Let v = -711 - -707. Is ((-60)/(-9))/v + (-370692)/(-54) a prime number?
True
Let m be -4*(-3)/24*0. Suppose m = 14*f + 10344 - 27046. Is f prime?
True
Suppose 3*q + 594208 = 4*v, 3*v - 3*q - 585073 + 139414 = 0. Is v a prime number?
True
Let y = 58 - 45. Suppose 4*q + y = -23. Is ((1 + 2)/q)/(1/(-1119)) prime?
True
Suppose -2*a + 81412 = 3*a - f, 2*a = -5*f + 32581. Suppose -2*r + 57965 = a. Is r a prime number?
False
Suppose 146009 - 1562743 = -22*l. Is l a composite number?
True
Suppose -5*j = 0, -4*a + 2*a = 2*j - 10. Suppose 0*h - f = a*h - 1190, 0 = 3*h + 2*f - 707. Is h a prime number?
True
Let h = 11826 + -5826. Let v = 11433 - h. Is v prime?
False
Let a be (63/14 + -5)/((-2)/296). Let z = -56 + a. Is (-50)/18 - -3 - (-4568)/z a composite number?
True
Let j = -21211 + 155638. Is j a prime number?
False
Let o = -152183 - -303924. Is o composite?
True
Is (-18)/2 + (-13 - 11 - -156124) a prime number?
False
Suppose 3*d = -z + 566330, 30 = 3*d + 57. Is z a composite number?
True
Suppose 8*q + 13124 = -27924. Let u = -152 - q. Is u a composite number?
True
Suppose 0 = -s - 3*f + 54145, 0 = 4*s - 5*f + 24735 - 241213. Is s composite?
True
Suppose 0 = 2*k - 632 - 1024. Let u be 3/(-2) - 9966/(-12). Let s = k + u. Is s a prime number?
True
Is (-9)/15 + (-28)/6*2475396/(-105) a prime number?
True
Suppose -44*q = -47*q + 396. Let f = -130 + q. Is 259/f*(3 + -1) a prime number?
False
Let u(c) = -4*c**3 + 3*c**2 + 4*c - 1. Let a be (-14)/(-63) - 218/9. Let h = -28 - a. Is u(h) prime?
False
Suppose 31*w - 5518812 = -125*w. Is w prime?
False
Let z be (0 - -20) + (2 - 4) + -1. Suppose 4*q = -5*u - z, q + 4*u + 26 = 8. Suppose q*x = 542 + 2784. Is x composite?
False
Let v = 237334 - 133479. Is v a composite number?
True
Let a = 12357 - -8600. Is a prime?
False
Let x be (-1)/((-9)/27) - 366*36. Let n = -9283 + 99. Let c = n - x. Is c prime?
True
Suppose 3*x = -2*i + 6, 14 = 2*x + i - 3*i. Suppose -3625 = -4*b + j, x*b + 0*j - 5*j = 3613. Is b a composite number?
False
Suppose 0 = g + g + 868. Let x(m) = m**3 + 19*m**2 + 10*m + 65. Let i be x(-15). Let b = i + g. Is b prime?
False
Suppose -10*o + 35623 = -86167. Is o composite?
True
Let t = -119 - -71. Let d = -52 - t. Let m(s) = -74*s**3 + 2*s**2 - 2*s + 5. Is m(d) a prime number?
False
Let b(h) = -35*h**3 + 3*h**2 + 1. Let y be b(-3). Let a = y - 438. Suppose 44 - a = -c. Is c composite?
False
Suppose 4*b - 288122 = -4*j + 305534, 5*b - 741998 = 4*j. Is b prime?
False
Suppose -r - 127608 = -6*m, 0 = -2*m - r + 5*r + 42514. Is m a composite number?
False
Is ((16/(-32))/1)/((-1)/206246) composite?
False
Let c(a) = a**3 + 5*a**2 - 5*a - 23. Let u be c(-2). Let l(f) = -1790*f + 3. Is l(u) a prime number?
False
Suppose 7*b - 31 = -17. Suppose v - 4157 = -4*f, -3*v - 5*f = -b*f - 12498. Is v prime?
False
Let z be 1/6*-2 - 336/18. Let i(b) = 62*b**2 - 7*b - 82. Is i(z) prime?
True
Suppose -7*k + 25 = -2*k. Suppose -k*y + 4118 = -137. Is y a composite number?
True
Suppose d + 1333955 = 7*d + 29*d. Is d a composite number?
False
Suppose -26*x + 20*x - 72 = 0. Is (-4)/x + (-60106)/(-6) composite?
True
Let w = 6044 - -4179. Is w a prime number?
True
Suppose 0 = 4*z - 3*p - 544, 3*z - 136 = 2*z + 3*p. Let a be ((-94)/3)/((-136)/(-4284)). Let t = z - a. Is t composite?
False
Suppose -2*n - 2*s + 1872 = 0, 1046 - 4783 = -4*n + 3*s. Is 10499/(-10)*-14 + 374/n a prime number?
True
Let o(q) = -q**3 + 22*q**2 - 40*q + 7. Let v be o(20). Suppose 6 = v*h - 8. Suppose 4*y + 3*m = 3356, 0 = h*y - 4*m - 880 - 798. Is y a composite number?
False
Let m(j) = -378*j - 4. Let i be m(-1). Let n = i + -1076. Let a = 1905 + n. Is a composite?
True
Suppose 78440 = 21*g - 11*g. Let i = 12102 - g. Is i prime?
False
Suppose -319*r - 5*x + 240773 = -315*r, r + 5*x - 60212 = 0. Is r a composite number?
True
Let n be -6 + (-4525)/(-20) + 2/(-8). Let o = -130 + n. Suppose 3*z + i + 4*i - 53 = 0, -3*i - o = -4*z. Is z prime?
False
Let x(r) = 642*r**2 - 5*r - 9. Let a be 24/(-14) + (3 - 46/14). Is x(a) prime?
False
Is (-4511150)/(-16) - 118/(-944) a composite number?
False
Let d(u) = u + 2. Let h be d(0). Suppose -20733 = -2*q + 2*t - 3*t, -h*t = 5*q - 51835. Is q composite?
False
Let j = 36 - 26. Suppose 12 = b + j. Suppose 352 = 2*q + 3*w, q - b*w = -0*q + 183. Is q composite?
False
Suppose -2*c - 12990 = 3*t, 4*t = 6*t + 4. Let l = -3094 - c. Is l prime?
False
Let k(t) = 43*t**2 - 11*t - 17. Let g(n) = 3*n - 27. Let f be g(7). Is k(f) prime?
True
Suppose n + 30*b = 26*b + 2692835, -4*n + 10771364 = 4*b. Is n prime?
True
Let s = -40 - -34. Let h be (((-19752)/(-9))/4)/(2/s). Is (h - 13)*1/(-3) prime?
False
Suppose 112 = u + 844. Suppose 0 = 3797*y - 3802*y + 1915. Let d = y - u. Is d prime?
False
Let q = 6964 + 10453. Is q a prime number?
True
Is (160201/(-10))/((-69)/690) a composite number?
False
Suppose -8554 = -7*u + 9660. Is (-15)/(-9) + u/3 composite?
True
Suppose -1974838 = -4*z - 5*p, -12*z - 2*p + 2468539 = -7*z. Is z a composite number?
True
Suppose 0 = 5*y - 4*u - 16003, y + 5*u - 3339 = -121. Is y prime?
True
Let y(d) = 23*d**3 + 95*d**2 + 38*d - 2. Is y(17) a prime number?
False
Let i = 8455 + -1062. Is i a composite number?
False
Suppose -11*k = k - 24. Is 1543*(k/(-4))/((-12)/24) a composite number?
False
Let g(p) = -1700*p + 95. Let q be g(-8). Suppose 3*l - 3*k = q, 0 = 3*l + 7*k - 5*k - 13675. Is l composite?
False
Suppose 8*q - 12 = 5*q. Let y(j) = -71*j**2 + 7*j + 5. Let f be y(q). Let x = 1812 + f. Is x prime?
True
Let a be 26/7 + 2/7. Suppose -4*m = -3*x + 4409 - 17381, 0 = 5*m + 5*x - 16250. Suppose -m = -o - o + a*w, o + w = 1623. Is o prime?
False
Suppose k - 3*q = 48952, 3*k + 40*q - 41*q - 146800 = 0. Is k a prime number?
False
Let t(u) = -u**2 - 41*u + 104249. Is t(0) a prime number?
False
Let s(p) = -26*p**3 - 14*p**2 - p - 11. Let m be s(-10). Let r = m - 8346. Is r a composite number?
False
Suppose -4*i + q = -76, 10 = -5*i + 4*q + 94. Suppose 8320 = -i*l + 31340. Is l a composite number?
False
Let d = 222 + -219. Is 16/104 + (2370084/52)/d composite?
False
Let k(y) = -y**2 - 2*y + 4. Let a be -1*(-2 + 5 - 1). Let u be k(a). Suppose 5*i = 2*n + 8247, 0 = u*i + n - 3210 - 3385. Is i a prime number?
False
Suppose 0 = -41*i + 200*i - 66242868 + 15424401. Is i prime?
False
Suppose -8*d = -174769 - 10159. Let t = d - 10835. Is t a prime number?
True
Suppose -7823 = -3*z + 11*t - 10*t, -5*z - 4*t + 13061 = 0. Suppose 2*s - 4*a + 6*a - 1734 = 0, -a = -3*s + z. Is s a prime number?
False
Let w = -82246 + 27695. Is 10/(-12) + w/(-6) prime?
True
Let t = -30359 + 53502. Is t composite?
False
Suppose 4 = 4*o, 3*o - 181208 = -6*a + a. Is a prime?
True
Let s(r) = 1630*r**2 - 111*r + 19. Is s(-8) composite?
False
Suppose -5*i = -a + 3*a - 23, 2*i - 6 = 0. Suppose -j - 4*s = 43, 5*j + a*s = -141 - 106. Is 6*(-2)/18*j - -3 composite?
False
Let j(y) = -y**3 + 5*y**2 + 6*y - 5. Let b(v) = -v + 14. Let i be b(8). Let o be j(i). Let h(t) = -t**3 + 2*t**2 + 6*t + 4. Is h(o) prime?
True
Let n be 4/(-14) + 4002/42. Suppose 0 = -91*q + n*q - 5772. Suppose -299 = -o - 3*s, 6*s - q = -5*o + 4*s. Is o prime?
False
Suppose -3*h + 5630 = -13*h. Let p = -4 + -1. Is (p - -2) + (5 + -6 - h) prime?
False
Let q be (32/56)/(4/70). Suppose q*w - 3*w = 0. Suppose o + 3*o - 76 = w. Is o prime?
True
Suppose -25*z + 171 + 11654 = 0. Suppose -3*b + 2*r + z = 0, 8*r = -5*b + 3*r + 780. Is b a composite number?
False
Let w be -3 + (-8 - -4) + 23. Suppose 40845 = -w*p + 21*p. Suppose -4*f = -f - p. Is f prime?
False
Let f(l) = -3*l**2 + 17*l - 14. Let u be f(4). Is 1/(3/(558/u)) composite?
False
Is 2*(2/(-2) - -20824) - 5*1 a prime number?
True
Let f(d) = -21*d**3 - 16*d**2 + 42*d + 52. Is f(-15) a prime number?
True
Let r = 57 - 34. Let s(u) = u - 33. Let n be s(21). Let z = n + r. Is z a prime number?
True
Let x(y) = -5*y. Let n be x(-3). Suppose -3*t + 3711 = -3*p, -t + 564 = 5*p - 655. Let m = n + t. Is m prime?
True
Let s be -11 - (-3 - 1) - (-48 + 39). Let r(a) = -31*a - 1. Let x be r(-3). Suppose s*t - 2630 - x = 0. Is t composite?
False
Suppose 0 = 18*c + 11*c - 522. Suppose 130280 = c*t + 5234. Is t a composite number?
False
Let a = 82371 - 6760. Is a prime?
True
Let d be (-1400)/(-750) + 2/1