10*y + 1244915. Is y a composite number?
True
Let m(g) = 44*g**2 + 56*g + 5. Let q be m(-36). Suppose 53*a - q = 46*a. Is a prime?
False
Suppose 5 = 6*k - 13. Suppose -k*g = 4*l + 28364, 5*l - l - 3*g = -28364. Let s = -4486 - l. Is s a prime number?
False
Is (5 - 11) + -1 - (-1 + -209713) a prime number?
True
Is ((-659103)/(-6) - 4*(-4)/16)*2 composite?
True
Let v be 422704/64 + 1/4. Suppose j - 2*f - 1323 = 0, -8*j + 3*j + 5*f + v = 0. Is j a composite number?
False
Suppose -2*k - 5*t + 972 = 0, -5*k + 12*t = 17*t - 2460. Let z = 2659 + k. Is z a composite number?
True
Let h(z) = z**2 + 4. Let l be h(0). Suppose l*i = 5*k - 86, 3*k + 0*k - 2*i = 50. Is (-4)/k + 209604/84 prime?
False
Let t = 412937 - 175638. Is t a prime number?
False
Suppose s = -6, 0 = -30*u + 26*u - 2*s + 1473120. Is u a composite number?
True
Let l(o) = 107846*o**2 + 53*o - 2. Is l(-1) composite?
False
Let l(g) = g**2 - 33*g - 90. Let c be l(16). Let p = c + 1108. Is p composite?
True
Let l(f) = -96*f**2 + 20*f - 41. Let m(n) = 32*n**2 - 7*n + 14. Let s = 31 - 37. Let j(z) = s*l(z) - 17*m(z). Is j(3) a prime number?
True
Suppose 18 = 4*l + 2*l. Suppose 3*y = l*h - 2511, 0 = 4*h + 3*y - 1447 - 1908. Is h prime?
False
Suppose 4*t - 180 = -0*t. Let a be t/(-5)*(-820)/6. Suppose 7*m = -3*m + a. Is m a composite number?
True
Suppose -23*o + 249*o - 8716199 = 15*o. Is o composite?
True
Suppose -19*z = -11 - 84. Suppose v - z*v - 3014 = -2*b, -3*b + 4548 = 3*v. Is b a composite number?
True
Let l be ((-308)/(-70))/((-2)/(-10)). Is ((-2)/(-6))/(l/(-231))*-382 a prime number?
False
Let l be 1 + (-2 - -3)*-1. Suppose -8*z + 56280 + 8192 = l. Is z composite?
False
Suppose 0 = 54*r - r - 1671779. Is r a composite number?
False
Let g(n) = 32*n**3 + 4*n**2 + 7*n - 22. Let p be g(9). Suppose 0 = 6*m + 5*z - p, 5*m - 19750 = 5*z - 8*z. Is m composite?
True
Suppose -26*l - 6*l = -7423008. Is l composite?
True
Let u(b) = 4814*b**2 - 4540*b**2 + 28 + 4*b - 19*b. Is u(5) a composite number?
False
Suppose 0 = -3*n + 3*v - 6 + 18, -v - 8 = -5*n. Let u(s) = 1793*s**2 + 15*s - 15. Is u(n) composite?
True
Let a(k) = 3*k - 5. Let r be a(4). Suppose 5*n - 5*h - 55 = 0, 3*h - r = n - 26. Is 10*53 + (3 - n) prime?
False
Let q = 4 + -2. Suppose 4*g = 10 + q. Suppose -223 = -3*p - 3*o + 158, -2*p + g*o = -264. Is p composite?
True
Let s = 351 + -341. Is ((-30428)/s)/(3/5 - 1) a composite number?
False
Let x be (-1 + 39)/(20/(11 - 1)). Suppose 27764 = x*n - 20135. Is n a prime number?
True
Let w = -7753 - -23480. Is w composite?
False
Suppose -3*j = 4*c + 14, -4*j = -3*j - 3*c - 17. Suppose m - j*v - 620 = -4*v, 4*v = -3*m + 1856. Is -1 + (-3)/((-6)/m) a prime number?
True
Let j(c) = -5*c + 1. Let q(m) = m + 2. Let h(y) = j(y) + 4*q(y). Let i be h(-3). Suppose 6*z = i*z - 45642. Is z a composite number?
False
Suppose 135 = 12*o + 375. Is -20998*(-5)/o*-2 prime?
True
Let f = -20 + 11. Let w be (-3)/f - 1/3. Suppose -i = -4*h - 205, w = h + 5. Is i prime?
False
Suppose 85*w + 2765017 = 67331952. Is w composite?
True
Let o = -80 + 120. Suppose 5*l + o - 265 = 0. Let w = l - -34. Is w composite?
False
Let s(a) = -a**2 - 26*a - 13. Suppose 9*b + 3*t = 4*b - 120, 4*b - t + 96 = 0. Is s(b) composite?
True
Suppose -2*w = -4*a + 397938, -a + 2*w = -51096 - 48381. Is a a prime number?
True
Suppose -5*u + 4434 = -2146. Suppose b + 56 = u. Let i = b - -793. Is i a prime number?
True
Let n be (2/(-5))/((-40)/11000). Suppose 11*v = -k + 14*v + 100, -5*v - n = -k. Is k composite?
True
Let d be -28972*(14/4)/(-7). Suppose 4*w - 8989 = 5*m + d, -11745 = -2*w + 5*m. Is w/25 + 8/20 composite?
True
Suppose m - 3*l - 25099 = 11719, 110460 = 3*m - 3*l. Is m a composite number?
False
Let l(f) = 7*f + 29. Let r(z) = z. Let w(j) = l(j) - 5*r(j). Let o be w(-13). Suppose o*a = -4*q + 181, 5*q = -4*a + 153 + 87. Is a a prime number?
False
Is 48546 + -1 + 28*(-12)/(-42) a composite number?
True
Let i(b) = -b**3 + 12*b**2 + 6*b + 58. Let f be i(13). Is (-12387)/1*22/f prime?
False
Let l(g) = 201641*g - 4987. Is l(6) a prime number?
True
Suppose -4*i - 26*i + 5487204 = -18*i. Is i a composite number?
False
Suppose 49*d + 127934 = 180412 + 205556. Is d a composite number?
True
Let g(s) = -131*s + 29. Let j(y) = 7*y**2 - 4*y - 5. Let u be j(-1). Let w be g(u). Let n = w - -3486. Is n prime?
True
Let v(i) = i**3 + 35*i**2 + 28*i + 35. Suppose 2*f + 5*o + 82 = o, 2*o - 145 = 5*f. Is v(f) a composite number?
False
Let d(x) = 77414*x + 75. Is d(1) a composite number?
False
Let u be 1/(((-18)/(-134649))/((-4)/(-6))). Suppose -23*b + 24*b = 2*l + u, 3*b - 5*l = 14960. Is b prime?
False
Let i = 39513 + -17396. Is i a composite number?
True
Suppose 26*r + 2368 = -726. Let h = r - -865. Is h prime?
False
Let c(p) = 9*p**2 - 9*p + 3. Let z be 83/(-8) - (-147)/392. Is c(z) a composite number?
True
Let s be 4/1 + (-1 - -1). Suppose 90205 = 4*x + r, -3*x + r = -78015 + 10356. Suppose 4*b - x = -s*b. Is b a composite number?
False
Is (11 - 288/27)/((-1)/(-23451)) a composite number?
False
Let h be (80/(-5))/((-2)/20). Let k be -2 - ((-2)/7 + h/(-28)). Suppose 0 = s - 3*l - 149, 707 = 2*s + 3*s + k*l. Is s a composite number?
True
Let c(r) = -130*r**3 - 5*r**2 + 53*r + 117. Is c(-8) composite?
True
Let y = -631 + 648. Let d(q) = 11*q**2 - 34*q + 32. Is d(y) a composite number?
False
Suppose 26*k - 40*k + 200648 = 0. Suppose 0 = -5*s + 2*v + k - 4481, -3935 = -2*s - v. Is s a prime number?
False
Is -5*(-12)/(-450) - (351068/(-60) + -4) composite?
True
Is 13 + 27044/14 + (-2)/(-7) a composite number?
True
Suppose 2*r + 3*r = 4*x + 2443, 2*x + 1202 = -4*r. Let z = x - -1055. Suppose -3*m + z + 305 = 0. Is m a composite number?
False
Let k(z) = -17*z**2 + 70*z - 125. Let q(w) = 26*w**2 - 104*w + 189. Let h(p) = 7*k(p) + 5*q(p). Is h(-27) a composite number?
True
Let r be (-2)/(-8) + (-459)/108. Is (-2)/4*(-3585 + (r - 1)) prime?
False
Suppose 0 = -2*l - 10, -3*p + 4*l = 2*l - 25. Suppose -3*i - 8 + 2 = p*y, 0 = -y + 3*i + 6. Suppose -3*z + 5*z - 2159 = -3*j, y = -z - j + 1082. Is z composite?
False
Let x(c) = 4363*c**2 + 234*c - 465. Is x(2) prime?
False
Let g(z) = 14979*z**3 + z**2 + 5*z - 5. Let n be g(2). Suppose -31*h = -n - 72266. Is h composite?
False
Let w = -187 + 203. Suppose 8*m = w*m - 98984. Is m a composite number?
False
Let l be (6/(-5))/((-6)/(-15)) + 7. Suppose -l*t = -7*t + 63. Suppose 0 = y - 2102 - t. Is y a composite number?
True
Let z(m) = m**2 - 22. Let s be z(5). Suppose 4*q - 17417 = -s*f, 0 = -2*f - 10*q + 5*q + 11609. Is f a prime number?
True
Let i = 1028 - 1719. Let q = 1746 - i. Is q a composite number?
False
Let u(v) = -5*v. Let q be u(0). Suppose 2*k = 4*m - k - 11, -5*m + 5*k + 15 = q. Suppose 3*t + m*t = -5*f + 11020, -3*f = -4*t + 8809. Is t a composite number?
False
Let p(u) = -u**2 + 30*u + 69. Let o be p(32). Suppose 2*w = -o*l - w + 36466, -2*w - 36481 = -5*l. Is l a composite number?
True
Is 494182 + 10/(60/18) a composite number?
True
Let q = -25030 + 51449. Is q a prime number?
False
Suppose 1168*l = 233*l + 276482305. Is l composite?
False
Suppose 171*s - 5869563 = 150*s. Is s composite?
True
Let f = 418 + -416. Let i(u) = 19*u**3 - 4*u**2 - 9*u + 10. Let w be i(8). Suppose 8*s + f*s = w. Is s composite?
False
Suppose 21*m = 362365 - 11180 + 385516. Is m composite?
False
Suppose 0 = -n + 3*o + 32, -8*o = -3*n - 4*o + 81. Suppose -2914 = n*y - 17013. Is y prime?
True
Let a(d) = 2*d**3 + 0*d**3 + 1 - d**3 - 4*d**3 + 4*d - 7*d**2. Let c be a(-4). Suppose 0 = 5*q + 2*x - c, 5*q - 21 = -4*x + 44. Is q a composite number?
False
Let q = -6648 - -10279. Is q a prime number?
True
Let r(w) = -21*w**3 - 2*w**2 - 2*w - 1. Let t be r(-1). Suppose -o + 3*l = -5042, 0 = 19*o - t*o + 2*l + 5047. Is o prime?
False
Suppose l + 5*y = 4*l + 4, l + 6 = 4*y. Suppose l*a = 4*u - 4332, 4*a + 3993 = u - 4699. Is a/8*(12 + -16) a composite number?
False
Let u = -401 + 856. Suppose 451*d + 4652 = u*d. Is d a prime number?
True
Suppose -5*k + 0*k + 2*o + 11 = 0, -10 = -2*k - 2*o. Let r(j) = 1651*j - 44. Is r(k) a prime number?
True
Suppose -4*j - 2*x = 0, -3*j - 3*x - 2 = 2*j. Suppose z + 39 - 415 = j*f, z + 5*f - 397 = 0. Is z composite?
True
Let a(l) = -149343*l - 1935. Is a(-4) prime?
False
Let f(w) = -4*w**3 + 9*w**2 - 200*w - 26