Is r prime?
True
Suppose 623*d - 685*d + 1014743 + 34869431 = 0. Is d composite?
False
Suppose g - 3*r - 3 = 0, 6 = 3*g + 4*r + 23. Is (2 + -4)/(4*g/38802) a prime number?
False
Let z(s) = -170*s**3 + 7*s**2 - 6*s + 22. Let j be z(5). Let h = j + 47256. Is h prime?
False
Suppose 24*j = -69*j + 83281035. Is j a composite number?
True
Let a(h) = 28*h**2 - 256*h - 169. Is a(-48) a prime number?
True
Let q(y) = 53 - 59*y - 11 - 16. Is q(-15) a prime number?
True
Suppose 12*a = 6*a + 54546. Suppose 3*j = -11 - 4, a = 3*i - 5*j. Suppose 5*t + i = 7*t. Is t a composite number?
False
Is (-438432)/(-9) + 1190/357 prime?
False
Let i = 628 + -622. Is 870550/100 + (45/i)/5 a prime number?
True
Let c be 521 - ((-12)/(-2) + -10). Let l = 3286 - c. Is l a prime number?
False
Let r(t) be the first derivative of -833*t**2/2 + 11*t + 76. Is r(-4) a composite number?
False
Let f = 950 - 946. Suppose 0 = -5*g - t + 19980, -2*g + f*t - 2276 = -10290. Is g prime?
False
Suppose 1 = -5*n + 26. Suppose -4*s + y = -7, -y - 4*y = n*s - 40. Suppose 0 = -s*f + h + 4152, 3022 = -5*f - 4*h + 9959. Is f prime?
False
Is ((-804)/(-12))/(5/1765) a prime number?
False
Let h(m) = 220*m**2 - 44*m + 575. Is h(22) a prime number?
True
Suppose -614*c = -622*c + 16. Suppose 3*z - 1017 - 1272 = 0. Suppose c*u - z = 1299. Is u composite?
False
Suppose -9 = -q - 2*q. Suppose 26*y - 335 - 419 = 0. Is (y/3)/(-3*q/(-513)) a composite number?
True
Let a be ((-9)/15)/(18/(-5220)). Let x = 292 - 3. Let u = a + x. Is u a prime number?
True
Let v(b) = 254*b + 39. Let r be v(-3). Is 5/15*r*-11 composite?
True
Suppose 924165 + 198207 = -9*o. Is 33/11*o/(-12) a prime number?
True
Let d = -67428 + 120067. Is d composite?
False
Let o(m) = m**3 + 13*m**2 - 6*m + 30. Let t be o(-14). Let s = -78 + 73. Let x = s - t. Is x a prime number?
False
Suppose -2*q + v + 413 = 0, 4*v = 5*q - 208 - 817. Let i = q + 45. Is i a prime number?
False
Let g = -50 + 44. Let x be (-3)/(1*3/(-156)*g). Is (-20995)/x - 3/(-2) composite?
False
Let y(t) = -2*t**2 - 9*t - 5. Let z be y(5). Let x be z/(-1) + 0*1/5. Let c = x - -165. Is c a prime number?
False
Let h be (-132)/32*-2*-92. Let d = h + 1226. Is d prime?
True
Suppose 0 = 5*i - p - 643324, -43*i = -39*i - 4*p - 514656. Is i composite?
True
Suppose -154*s + 150*s = -3*t + 2433075, -3*s + 9 = 0. Is t composite?
True
Let y be ((-48)/10)/(20/(-50)). Suppose 0 = -y*i + 116 + 3688. Is i composite?
False
Suppose 46*m - 5*v - 414388 = 43*m, -2*m = -5*v - 276267. Is m prime?
False
Suppose 11*z - 16*z + 118715 = 0. Let l = 34940 - z. Is l composite?
False
Is (-13365275)/(-154) - (-9)/6 prime?
False
Let k be (((-525)/(-10))/5)/((-2)/(-20)). Let y = k - 266. Let s = y + 878. Is s composite?
True
Suppose 1731341 - 595355 = 136*u - 1577078. Is u prime?
True
Let d be (-644)/4 - (2 + -4). Suppose 4*i + 7*q = 4*q + 33, 2*i - 3 = 3*q. Is 0 + (-2)/(i/d) a prime number?
True
Let g(p) = p**2 - 3*p + 182. Let o be g(0). Let u = 267 - o. Is u a prime number?
False
Let b(p) = -97*p**3 + 20*p**2 - 24*p + 113. Is b(-21) prime?
False
Let y(v) = v**3 - 2*v**2 + 6*v + 20. Let i(o) = 2*o**2 - 10*o + 16. Let l be i(7). Let f = l + -37. Is y(f) a prime number?
True
Suppose -5*a + 35453 = 5*o - 188967, 5*a - 15 = 0. Is o prime?
False
Let f(h) = 2*h**3 + 16*h**2 - 53*h + 65. Let r be f(20). Suppose -4*s + r + 4327 = 0. Is s a prime number?
False
Let p(u) be the third derivative of 181*u**4/12 + 3*u**3/2 + 51*u**2. Suppose -6*v = -v - 55. Is p(v) a composite number?
True
Is (-1)/((5/(-60985))/(-13 - -14)) composite?
False
Suppose -688967 - 1618029 + 246232 = -4*z. Is z a composite number?
False
Suppose -4*x = 4*t + 1012, -x + 2*t - 259 = -0*t. Let k = 784 + x. Is k prime?
False
Is 315/90*720388*1/2 composite?
True
Suppose 3*s - 9 = -0*s. Suppose -4*l = 3*r - 7659, -r = 3*l - 2967 + 409. Suppose 348 = m + 2*d - 303, -4*m = -s*d - r. Is m prime?
True
Let l(c) = 229*c**3 + 2*c**2 + 3*c - 8. Let u be l(3). Let f = 10736 - u. Is f a prime number?
False
Suppose 3*a = -2*a. Suppose 3*k = -3*g + 2205, 0 = -2*g - a*k + 3*k + 1480. Suppose 5*l - g = 1298. Is l prime?
False
Is 7/(-21) - 3960540/(-54) prime?
False
Suppose -5*w + 4*u + 424277 = 0, -w + 12*u + 84859 = 10*u. Is w prime?
False
Let u(l) = -l + 27. Let s be u(17). Let t(x) = -x**2 + 11*x - 14. Let d(y) = y**2 - y + 1. Let c(z) = d(z) - t(z). Is c(s) composite?
True
Suppose 3*j - 4*l - 1481131 = 0, -4*j - l + 1420437 = -554398. Is j a composite number?
False
Suppose 8*z - 11*z - 102 = -3*y, 3*y = -5*z + 102. Let l be 2 - 10*(-5)/(-2). Let m = l + y. Is m composite?
False
Let s(u) be the second derivative of -u**5/5 - 7*u**4/12 + 5*u**3/3 - 8*u**2 - 53*u. Is s(-11) a prime number?
False
Let t(a) = -a**3 - 15*a**2 - 14*a + 5. Let p be t(-14). Let r be p/20*-7*-1324. Suppose y - 8*y + r = 0. Is y composite?
False
Suppose -2*w = -5*m + 1881547, 49*w = 52*w + 18. Is m a prime number?
True
Let m = 391953 + -166612. Is m a prime number?
True
Is (0 - 2547392/(-20)) + 9/(-15) prime?
False
Suppose -y = -5*k - 25, 0*y - 3*k = -y + 21. Suppose -154735 = y*x - 50*x. Is x composite?
False
Let n = 102 - 199. Let a be (n/(-2))/((-9)/(-18))*-6. Let p = 49 - a. Is p a prime number?
True
Let f(d) = 30*d**2 - 2*d + 5. Suppose -o - 12 = -3*y - 5*o, 0 = -2*y + 2*o + 8. Let c be f(y). Suppose -2113 + c = -4*r. Is r prime?
True
Let a = 534617 + -51104. Suppose -5*m + a = 36*m. Is m prime?
False
Suppose 9*n = 135 - 27. Is 3*(-20)/n*-307 prime?
False
Let m = -50 - -17. Let k = -36 - m. Is (k - -5)/(6/2253) a prime number?
True
Suppose 4838174 + 13612391 = 35*i. Is i prime?
True
Suppose 7*m - 14 = 7. Suppose -i = 2*j - 436, -m*i = -4*j + 3*j - 1287. Suppose -i = -p - p. Is p a prime number?
False
Let k(v) = 1663*v**2 - 376*v - 68. Is k(27) prime?
True
Suppose -5*y - 185 = 5*r, r - 3*y + 17 = -28. Let w = -36 - r. Suppose -n - w*n + 2764 = 0. Is n a composite number?
False
Let d = 82670 - 54374. Let h = -18969 + d. Is h prime?
False
Let r(v) = 4*v**3 + 5*v**2 + 12*v + 43. Let d(s) = -s**2 - s + 2. Let l(k) = 5*d(k) - r(k). Is l(-10) a prime number?
True
Let r(k) be the second derivative of 373*k**4/6 + k**3/2 + 5*k**2/2 - 20*k. Let u be r(-2). Suppose 4*f + u = 3*p, 5*f = -5*p + 3*f + 4989. Is p prime?
True
Let z(g) = -78*g**3 - 4*g**2 - 80*g - 139. Is z(-12) a composite number?
False
Suppose 1242*i = 1257*i - 8007855. Is i composite?
False
Suppose 5*n = 6563 + 22292. Let q = -3268 + n. Is q a composite number?
False
Suppose 0 = 4*x + 2*g - 30, -3*x + g = 3*g - 25. Suppose 50 = x*c - 5*o, 2*o - 3 = -4*c + 13. Is (-13 - -259) + -1 + c composite?
False
Suppose 10*q + 1996151 + 992126 = 27*q. Is q prime?
True
Let d = -413247 + 990874. Is d a prime number?
True
Let a(w) = -38*w - 225. Let y be a(-6). Suppose -c + 5330 = -3*f, -5*f - 2512 = -y*c + 13482. Is c composite?
False
Suppose 7*o - 8459 = 14809. Let z = -1411 + o. Suppose 1539 + 3251 = 5*a - 5*w, 2*a = 5*w + z. Is a a composite number?
True
Let y = -69893 + 188464. Is y composite?
False
Suppose -328416 = -5*t - t + 195642. Is t composite?
True
Suppose -4*q = -r + 4*r + 60, 5*r = 4*q - 100. Is (-55701)/36*r/15 a prime number?
True
Let h(x) = -5012*x - 607. Is h(-25) a prime number?
True
Let b(t) = -18*t**2 - 6*t - 2. Let s be b(2). Let x = s - -91. Suppose 0 = -i - 4*g + 197, -3*g - 367 = -x*i + 641. Is i a prime number?
False
Suppose -7*r + 320 = 4*y - 3*r, 3*y + r = 234. Let u be (-4)/10 + y*5/25. Suppose u*w = 7*w + 1048. Is w a composite number?
False
Let d(s) be the first derivative of -14*s**2 - 113*s + 109. Is d(-12) prime?
True
Suppose 22*c = 163615 + 213751. Is c composite?
True
Suppose 0 = -3*z + 8*z. Suppose 3*i = -z*i. Suppose i = -4*l + 231 + 757. Is l composite?
True
Suppose 4*x + 14 + 1 = -v, 3*x = 3*v - 15. Let l be 2/(x - (0 + (-45774)/11443)). Suppose 5*q - 11449 = -6*s + 2*s, 4*s - q - l = 0. Is s a composite number?
False
Let a = -217 - -219. Suppose 3*q - 1972 = -4*j, a*j - 3*q - 986 = -q. Is j prime?
False
Suppose -6*r - 6191429 = -5*a, 184*a + 4*r - 1238317 = 183*a. Is a a composite number?
True
Let a be -781 + (-18)/45 + 16/(-10). Let b = -252 - a. Is 1*(6 - 4) + b prime?
False
Suppose 7*g + 26*g = 6*g + 8967807. Is g a prime number?
False
Let q = 29630 - 12931. Is q a composite number?
False
Let r = 