rue
Suppose 2*r - 70 = -2*r - 2*f, 5*r = -3*f + 88. Suppose -5*k + j = -2 - r, 2*k - 5 = 3*j. Suppose -k*b - 4*g = -516, b - 139 = g + 3*g. Is b prime?
True
Let b be 4/(-5) + (-2)/10 - -1. Suppose -8*l = -3*l + 4*t - 21, b = -3*l - 2*t + 13. Is (4/l)/(-4*(-1)/370) a prime number?
False
Suppose -328*b = -2*u - 332*b + 172390, u + 3*b - 86195 = 0. Is u a prime number?
False
Let v(s) = -2*s**3 - 8*s + 5. Let h(x) = 3*x**3 - x**2 + 15*x - 11. Let n(r) = 3*h(r) + 5*v(r). Let u be n(-5). Is 7 + (-30)/5 - -194*u a composite number?
False
Let z(h) = 10*h + 114. Let o be z(-11). Suppose -5*m + u + 14107 = -3*u, -o*u - 12 = 0. Is m prime?
True
Let p(y) = y**3 - 2*y**2 + 13*y - 3. Let j be p(6). Suppose 0 = 5*r + j + 996. Let h = r + 494. Is h composite?
False
Is (6271/(-6))/(151/(-906)) composite?
False
Suppose -3*n = 9, -5*w + 64673 = -45*n + 49*n. Is w a prime number?
False
Let s(a) = -2*a**2 + 6*a + 4. Let l be s(3). Suppose -2640 = -16*t + l*t. Suppose 18*f - t = 8*f. Is f prime?
False
Suppose -8815 + 1533 = -11*c. Suppose 3*x = -3*o + 2*o + c, 6*o = x + 4029. Is o a prime number?
False
Suppose 3*v + m - 193651 = -3*m, 3*m = -v + 64547. Is v prime?
True
Let t be -2 + 2122/2 + 0. Suppose -57*j + 201973 = -16109. Let q = t + j. Is q composite?
True
Let p = -751424 + 1116565. Is p composite?
True
Let i(k) = 1950*k - 59. Suppose -5*w + 4 = 4*z, 4*w - 2*z = z + 28. Is i(w) a prime number?
True
Let n be 25626/12*(22 + 0). Suppose -n - 25370 = -9*x. Is x prime?
True
Suppose 0*g = 36*g - 34128. Suppose -4*y - g = -3*b + 627, 4*b - 2075 = -3*y. Is b prime?
True
Let k be (-1)/(-1 - -2 - 2). Let p be 1 - k - (5 - 8). Suppose -4*y = 4*w - 8712, -p*w = 2*w + 5. Is y prime?
True
Is (-14852)/(-6) + (-150)/(-90) composite?
False
Suppose 7 = 26*s - 27*s. Let g(f) = -f**2 - f + 39. Let b be g(s). Is 2*(b/(-12))/(2/2524) prime?
True
Is 20/8*5746 - (-4 - 0) prime?
True
Suppose -171 - 193 = -7*u. Let q = u - -91. Suppose -194 = -z + q. Is z composite?
False
Let r = 215 + -194. Suppose -r*i = 21*i - 57246. Is i a composite number?
True
Let p be (28 + -27)/((-1)/(-2798)). Is ((-5)/(-20)*-6)/((-3)/p) a composite number?
False
Let p(o) = o**2 + 21*o + 44. Suppose -4*d - 146 = 4*x - 54, d + 27 = -5*x. Let f be p(d). Is 17106/f + 2 + (-24)/11 composite?
True
Suppose 5*x = x - 5*s - 41, 2*x = -4*s - 28. Is 2/44*x + 26307/33 prime?
True
Suppose 15*s + 13*s = 22*s. Suppose s = -38*q + 1051 + 24523. Is q a composite number?
False
Let b = 191964 - 54331. Is b a prime number?
True
Suppose f = 3*r - 46748, -11*r + 6*r - 2*f = -77895. Is r composite?
False
Suppose 38 = -9*v - 34. Let n(f) = -374*f - 53. Is n(v) a prime number?
True
Let m = -46 + 46. Suppose -5*d - 4 + 24 = q, -4*q - 20 = m. Let f(n) = 367*n + 12. Is f(d) a composite number?
False
Let v(m) = 12*m**2 + 13*m + 1. Let j be v(-7). Let b be 10/15 - 2/9*j. Let c = 333 + b. Is c prime?
True
Let l(c) = 0 - 1 + 15*c + 1 + 7. Suppose -27 - 29 = -7*r. Is l(r) a prime number?
True
Let v be 28/(-35)*-10 + -6. Suppose 3*y - 1541 = v*y. Is y composite?
True
Is (7/(-7))/(52/(-49602956)) prime?
False
Let t = -559707 + 1056704. Is t a prime number?
True
Let m(n) = 144282*n - 2707. Is m(3) a composite number?
False
Suppose -14*o + 15 = 85. Let s = 9 + o. Is (-1)/2*s*83/(-2) prime?
True
Let i be ((-133)/(-42)*-2)/(1/(-3)). Suppose 0 = -s - 2*g + 3269, i*g = 18*g - 1. Is s a composite number?
False
Let g(q) be the first derivative of -935*q**2/2 - 58*q + 98. Is g(-9) prime?
False
Suppose -106368 = -113*j + 12356063. Is j prime?
False
Let v(u) = -8*u - 18. Let k be v(-3). Is 12226*((-56)/16 + k) a composite number?
True
Let n = -311000 + 461341. Is n a prime number?
False
Let c(n) = 261*n**2 - 83*n - 1077. Is c(-22) composite?
True
Let i(h) = 2*h**3 + 4*h**2 - 12*h + 17. Suppose 0 = -5*b + 5*n - n + 29, 2*n = 5*b - 27. Is i(b) prime?
True
Is 58454 + 1/(-4)*28 composite?
True
Is (-5)/20*7724*-67 composite?
True
Let b be 1*-4 + 3 + -106. Let g = 15 - b. Let v = -87 + g. Is v prime?
False
Suppose 176*a - 2391853 = 68*a + 89*a. Is a composite?
False
Let a(j) = 18612*j - 2995. Is a(9) a prime number?
True
Suppose -6*f + 793 = -10067. Suppose 2*d - 2*n - 3*n - 885 = 0, 4*d - f = 2*n. Let m = d - 109. Is m a composite number?
True
Suppose -62594625 = 1683*y - 1758*y. Is y prime?
False
Let t(c) = c**3 - 14*c**2 - 12*c + 1. Let z(o) = 6*o + 4. Let m be z(2). Let k be t(m). Let f = k + 430. Is f a prime number?
True
Let t = 20749 + -12966. Suppose j = 5*x + t, -31072 = -4*j + 19*x - 14*x. Is j composite?
True
Let m(a) = -3770*a**3 + 6*a**2 - 58*a - 347. Is m(-5) composite?
True
Let t(d) = 1424*d + 1770*d - 5 + 918*d. Let u be t(4). Suppose 0 = 8*s - 749 - u. Is s a composite number?
True
Suppose 0 = 5*p - 1442 - 333. Suppose 2*y - a + 312 = 4*a, 2*a = -5*y - 809. Let z = y + p. Is z a composite number?
True
Let d be -150*((-9560)/25)/(-4). Let m be (d/80)/(-2 + (-18)/(-8)). Let t = m + 3476. Is t a composite number?
True
Let w(m) = 574*m**2 - 110*m - 695. Is w(-7) a prime number?
True
Let i = 1428 - 168. Suppose -3*u = -411 - i. Is u a prime number?
True
Is (-440)/24*-3771 + 3 + -1 a composite number?
True
Let q(z) = 2*z**3 - 12*z**2 + 17*z + 34. Let t = 578 + -569. Is q(t) a composite number?
False
Suppose -2*d + 0 + 4 = -4*w, 0 = -3*d - 3*w + 24. Suppose 2*x - d*x = -17132. Is x a prime number?
True
Suppose -2*t - 78 = -4*x, 4*x - 5*t - 68 = 7. Suppose -y - 16 + x = 0. Suppose 8 = -y*s + 4, -3257 = -3*d - 4*s. Is d prime?
True
Let u = -44 + 32. Let x = 15 + u. Suppose 1531 = 4*z - 3*y, -x*z - 5*y = -7*z + 1541. Is z prime?
True
Let x(s) = 600*s**2 - 70*s + 7. Is x(-15) a composite number?
False
Let j be (-36)/162 - (-2)/(-27)*-3. Suppose j = 4*d - 4*i + 5*i - 11381, -i + 5689 = 2*d. Let p = -1085 + d. Is p a prime number?
False
Let x be (42/(-4))/7*-52. Let d be x/(-15)*-1 - (-1)/(-5). Suppose -4*f - 1543 = -d*f. Is f a composite number?
False
Let r(k) be the first derivative of 53*k**2 - 11*k + 49. Suppose -4*d + 2*c + 3 = -11, d + c - 2 = 0. Is r(d) composite?
False
Suppose m = -3*v + 2163969 + 774732, 4*v - 4*m = 3918268. Is v a composite number?
False
Let s = 50 + -240. Let o(v) = -5*v**3 + 11*v**2 + 22*v - 3. Let n be o(-6). Let l = s + n. Is l prime?
True
Suppose 6*i = -184*i - 23*i + 45541317. Is i a prime number?
False
Let h(m) = 10132*m**3 + 6*m**2 - 10*m + 5. Is h(1) a prime number?
True
Suppose 4*b - 253849 = -4*f + 3*b, -3*f - 5*b = -190374. Is f a prime number?
True
Suppose 20*x = -51*x + 1206858 + 2340799. Is x prime?
False
Suppose 5*q + 2*m = 3*m + 65, 5*m + 52 = 4*q. Suppose -q*h - 8 = -34. Suppose 3*w + 2658 = 7*w - h*i, -5*w + i + 3330 = 0. Is w a composite number?
True
Let x(j) = 4*j**2 - 9*j + 38. Let a be ((-30)/1)/(2/1). Is x(a) prime?
False
Suppose 2*c + 11140 = -4*q - 24270, 0 = -4*q + 5*c - 35389. Let j = q + 13534. Suppose 0 = 9*k - 6*k - j. Is k prime?
False
Let r be (((-720)/(-4))/(-6))/(-1). Suppose 0 = -j - 4*w + 37, -2*w = -2*j - 0*w + 54. Suppose j*u - r*u = -565. Is u a composite number?
True
Let a(o) = 31571*o + 1 - 9189*o + 26. Is a(1) prime?
True
Let o = -166948 + 320081. Is o prime?
True
Let i(w) = 4790*w - 394. Is i(28) composite?
True
Suppose 9*k = 39*k - 1617630. Is k a composite number?
True
Let z = -11491 - 15323. Let s = z - -50513. Is s prime?
False
Is (-147)/294 - (-1231932)/8 a composite number?
False
Let v(a) = a**2 - 9*a - 1. Let i be v(10). Let b(g) = -7*g - 1. Let p be b(i). Let f = 569 + p. Is f composite?
True
Is (4 + 3*(-50)/45)*(-61281714)/(-52) a composite number?
True
Is ((-8715)/(-2))/(874/146756) - 4/46 a composite number?
False
Let r(t) = -12*t**3 + t**2 + 2*t + 4. Suppose 0 = 4*h - 4*z - 12, 0*h + h = -z + 3. Suppose -3*d - h*d = 18. Is r(d) a composite number?
False
Suppose 0 = -16*t - 2*t - 11*t + 28839601. Is t composite?
True
Let g = -99363 - -323654. Is g a composite number?
False
Let z(k) = 96*k**2 - 189*k + 56. Is z(27) a composite number?
False
Suppose 2*x + 3*w - 36271 = 0, -7387*x = -7385*x + w - 36281. Is x a composite number?
False
Let m(f) = -2*f + 26. Let c(v) = v - 10. Let x be c(17). Let n be m(x). Is 7/(-42) + 18518/n prime?
True
Let g(a) = -373*a + 422. Let f be (-4)/(-5) - ((-686)/(-35))/2. Is g(f) a composite number?
False
Suppose 0 = 4*o - o - 15. Suppose -5*j + 