 -46*d - 16413373 = -203*d - 5119892. Is d a prime number?
True
Suppose 8*o - 8856 - 390568 = 0. Suppose 7*q + o = 165071. Is q composite?
True
Suppose -4*b - 8 = -4*h, 4*h + h - 10 = -b. Suppose -h*t + 2656 - 818 = 0. Is t prime?
True
Suppose -751310 = -43*g + 521447. Is g a prime number?
True
Let b be (2/2)/((-3)/(-45)). Suppose -b = -10*n + 7*n. Suppose s = n, 2*f - 616 = f - s. Is f prime?
False
Let j(r) = 9*r + 5*r**3 + 13 + 139*r**3 - 11*r**2 - 259*r**3. Is j(-6) composite?
True
Suppose -14*f = -4*f - 150. Suppose -3*t + 4*l = -32169, 0 = -f*l + 18*l. Is t a composite number?
False
Let j = 647321 - 32249. Suppose 45*t - 33 = j. Is t a composite number?
False
Let p(f) = f + 5*f - 4*f + 5*f**2 + 2 + 12*f**3 - 10*f**2. Is p(11) a prime number?
True
Let l = 3841 + 9738. Is l a prime number?
False
Let t be 62/10 - 3/15. Suppose 0 = 15*b - t*b - 132201. Is b a prime number?
False
Suppose s = -p + 5, -3*p + 10 = -4*s - 5. Suppose -p*b = -3*o - 5928 - 7597, 0 = -b + 3*o + 2705. Is b a prime number?
False
Suppose 0*l + 3*l - 441 = 3*s, -616 = -4*l - 3*s. Let g be -770 - -3 - 12/4. Let r = l - g. Is r a prime number?
False
Let n be (-8)/(-1) - (-34 + 1). Suppose 43*w - n*w - 8402 = 0. Is w a composite number?
False
Let k(y) = y**2 + 0*y**3 + 5 + 0*y**3 - y + 12*y**3. Let o be (-27)/(-18)*2/1. Is k(o) prime?
False
Let m(x) = x**2 + 5*x - 13. Let u be m(-7). Let q(s) = 5*s**2 - 3*s + 2. Let t be q(u). Let c(n) = n**2 + 4*n + 3. Is c(t) prime?
False
Let x(g) = g**3 + 4*g**2 + 8*g + 3. Let v be x(-5). Let j = v - -64. Is (6/30*5)/(j/4474) prime?
True
Let c(i) be the third derivative of -i**8/1344 - i**6/144 - i**5/120 - 13*i**4/24 + 23*i**2. Let z(t) be the second derivative of c(t). Is z(-3) a prime number?
True
Let o = 95343 - 13816. Is o composite?
False
Let t(o) = o - 8. Let c be t(9). Let f be (2/9)/((-30)/(-27) - c). Suppose f*d = d + 413. Is d a prime number?
False
Let s(t) = -t**3 + 11*t**2 - t + 14. Let x be s(11). Suppose x*f - 18061 = -4*h, -h = 2*f - 2937 - 1572. Suppose -h = -5*q - 584. Is q composite?
False
Suppose 0*u - 4*u + s + 72002 = 0, 5*s = u - 17991. Suppose 15*q - 13034 - u = 0. Is q a prime number?
True
Let i = -271 - -290. Suppose -i*p = -209483 - 64896. Is p prime?
False
Let w be (0/1)/(-12 + 13). Is 5295 - (w/(-1) + -2) a prime number?
True
Let s = -613 - -1486. Let v = s - -194. Is v prime?
False
Suppose -4*f - 685 = f. Let v = 644 - f. Is v prime?
False
Let b = 174043 + -94736. Is b a prime number?
False
Let g(s) = -s**3 + 7*s**2 - s + 6. Let t be g(7). Is 3 + 186 + (-7 - t) prime?
False
Suppose 4*q - 2 - 18 = 4*s, -2*q + 4*s + 10 = 0. Suppose 18556 = q*i + 5041. Suppose i = t + 880. Is t a prime number?
True
Is (-680)/(-255) - (-32318)/6 a prime number?
False
Let s(j) = j**2 - j + 20829. Let n be s(0). Suppose -9*i + n = -7638. Is i prime?
True
Suppose 155*d - 39*d - 1953556 = 0. Is d composite?
True
Is 498243/3*6*4/24 composite?
False
Let q(a) = 3869*a**3 + 2*a**2 - 3*a + 1. Let i be q(1). Let p = i - 5558. Is (1 - (2 + -4)) + (1 - p) a prime number?
True
Let o = 232083 - 66152. Is o a composite number?
False
Suppose 0 = 7*x - 25 - 66. Suppose -y + 17 = 3*s, -y + 12 + x = 5*s. Is ((-3862)/s)/(1 + 12/(-8)) composite?
False
Let l be 5/(((-12)/6376)/3*1). Let h = -5605 - l. Suppose 1886 = 4*t + z + z, -5*t = 4*z - h. Is t a composite number?
True
Let z = -2851 + 852. Let k = z - -6270. Is k a prime number?
True
Suppose 2542754 = 26*f - 1421180. Is f prime?
True
Suppose 0 = -3*h + 6. Is h/(-4) + 17545/10 + 5 a composite number?
False
Suppose -9 = -8*i + 5*i, 4*i = 3*z. Suppose -3*f + 5*j + 4528 = 0, 3*f - 7*f - z*j = -6048. Is f a composite number?
False
Suppose -668964 = 280*h - 292*h. Is h prime?
False
Let w = 116 + -114. Suppose -x - x - 26734 = -4*o, -13377 = -w*o - x. Is o a prime number?
False
Let v(z) = z**3 - 11*z**2 - 20*z - 145. Let l be v(14). Let o be (1*-2)/(-2) - -689. Let y = l + o. Is y a composite number?
False
Let p(n) = -4*n - 61. Let z be p(-16). Suppose -2*k - 3*m = -19486, -20737 = -5*k + z*m + 27978. Is k prime?
True
Let f be 5 - (165/66 + (-1)/(-2)). Suppose -4*k - 4*y + 74680 = 0, 6*k - 74686 = f*k - 2*y. Is k a composite number?
True
Let c be 189/42 + 1/(-2). Let y be (-39 - -40)*(-2 + 9 - 2). Suppose 2*u = y*m + 173, 5 = -c*m - 7. Is u a prime number?
True
Let q(f) = f**3 + 13*f**2 + 21*f - 5. Let v be q(-11). Suppose 2*d + i = v*i + 9254, 0 = 2*i - 8. Is d a composite number?
False
Suppose 5866578 = -4*m + 25*m - 3*m. Is m prime?
True
Let a(d) = -d**3 + 5*d**2 - 4*d. Let f be a(3). Suppose 0 = -v - 4*i + 31114, -6*v - 93267 = -9*v + 3*i. Suppose -v = -20*r + f*r. Is r prime?
True
Let u = -36 + -11. Let d = 57 + u. Let h(y) = y**3 - 8*y**2 - 5*y - 1. Is h(d) a composite number?
False
Suppose -18*l = -17*l - 22390. Suppose 2*t = -5*r + 14123, 3*r - l = -4*t + 5877. Is t prime?
True
Let x(o) = o**2 - 13*o - 13. Let m be x(14). Let z be ((-15)/6)/5*m*-4742. Let g = -1256 + z. Is g prime?
False
Suppose 2*x - 1146 = 5*y, 8*y = -4*x + 3*y + 2292. Let h = x + 2804. Is h a composite number?
True
Let v be 6/(-21) - 148056/(-21). Suppose -7*d + v = -9085. Is d a prime number?
False
Let i be (-3590)/(-25) - 6/(-15). Let t be i/32*(-4)/6. Is t - (-52 + 0)/(2/17) a composite number?
False
Let g = 4833 + -2329. Let u = -789 + g. Is 1*u - (1 - -15)/4 a prime number?
False
Let u be (2/((-8)/44))/(2/(-6)). Suppose 0 = -i - 2*i + 2*d - 49, 2*i + u = d. Is (i + 13)*3314/(-8) prime?
True
Let j(x) = -659*x - 927. Is j(-4) a composite number?
False
Let u(o) = -113*o**3 + 5*o**2 + 5*o + 12. Let x(a) = 227*a**3 - 10*a**2 - 11*a - 23. Let c(t) = -5*u(t) - 3*x(t). Is c(-2) prime?
True
Suppose 3*i + 4*n = 43277, 0 = 5*i + n - 34953 - 37164. Is i a composite number?
False
Let j = 37 - 36. Suppose 4*f + 8 = 0, -16 = 4*h + 4*f - 0. Is j/h - (-4222)/4 prime?
False
Let p(x) = -38794*x + 285. Is p(-1) a prime number?
True
Let t(m) = 8*m - 4. Let k be t(2). Let r be 8/(-4) + k/3. Suppose -3*s + 19 = p, -p - 2*p + r*s = -2. Is p composite?
True
Suppose 2*z = -2*y + 3448, y + 3*z + 5160 = 4*y. Suppose 3*k - 13593 = -y. Is k a prime number?
False
Suppose 181*c = -90*c + 100522138 + 239309423. Is c a composite number?
True
Let h(q) = q - 7. Let r be h(7). Let y be r*1/(-2) + 3 + -1. Suppose -y*f - 2290 = -5*n + 645, -n = -3*f - 574. Is n prime?
False
Suppose 3*s + 5*l = 14, -2 + 7 = s + 2*l. Suppose 289 = 171*f - 53. Suppose 4*w - f*d = 4600, -w - s*d = -5*w + 4598. Is w prime?
True
Let r = 31543 - 66473. Is r/(-20) + 3/(-2) composite?
True
Suppose 5*c + 0*c - 110 = 0. Suppose 2*o = 300 - c. Suppose 2*x = 405 - o. Is x composite?
True
Let o be 10/((-66)/(-24) - (-2)/(-8)). Let r(z) = z - 1. Let a be r(5). Suppose 5*x = 3*j + j + 2098, 1676 = a*x - o*j. Is x a composite number?
True
Let x be 126/33 + (-2)/(-11). Let w(o) = 9*o + 1 + x + 44*o. Is w(16) prime?
True
Let g(a) = 113999*a + 692. Is g(1) a prime number?
True
Suppose -7*p = 3*p + 5*p. Is p - (4 + 21*-79) prime?
False
Let n = -263 + 268. Suppose 19947 = 2*v + n*d, -4*v + 39839 = -0*v - d. Is v a prime number?
False
Let n = 1 - -4. Suppose 5*p - 4*m = 16, -26*p + 15 = -21*p - 5*m. Suppose -669 = -n*o + p*o. Is o prime?
False
Let v(x) = 5132*x**2 - 83*x - 976. Is v(-11) prime?
True
Suppose 139*o - 9406481 = 90*o. Is o a composite number?
False
Suppose -2*d + 8 + 0 = 0. Suppose -a = -d*a - 9. Is 9/6*251*(-2)/a a composite number?
False
Let x = 9 - 44. Is 38944/9 + x/315 a composite number?
False
Let l(t) = 6*t**2 - 7*t - 9. Let d be l(-2). Suppose -9*v - d = -101. Suppose -v*n = -0*n - 5336. Is n prime?
False
Let z = 82511 + -42088. Is z prime?
True
Suppose -2*c + 3742214 = -1169*t + 1167*t, -2*c + 3742238 = 2*t. Is c composite?
False
Let h be (-20)/(-3) + (60/18)/(-2). Suppose 0 = 5*p + g - 2667, 13 = 4*g + h. Is p prime?
False
Is 152176 + (-14)/(8 - 10) a prime number?
True
Suppose 2*j - 10*k = -7*k - 7, 0 = -3*k - 3. Is j*(-5 + 7404/(-30)) composite?
False
Let u be 6*((-25)/(-10) - 2). Let q(n) = -188*n + 1. Let k be q(-1). Suppose -48 = -u*d + k. Is d a composite number?
False
Suppose 215 = 5*m - 20. Let q = -50 + m. Is -2 + (1369 - 3) + q composite?
False
Let h = -78429 + 154966. Is h composite?
False
Suppose -44*m = -73*m + 7137277. Is m a composite number?
True
Suppose 