s t prime?
True
Suppose 4*m = -1 + 5. Suppose -m - 14 = -5*q. Suppose 3641 = q*v + 476. Is v composite?
True
Let y(j) = 6*j**3 - 30*j**2 + 15*j + 1. Let q = -364 - -376. Is y(q) a prime number?
True
Let a = 779 + 503. Suppose 3*z = -385 + a. Is z composite?
True
Is (-4)/(-74) - (9 - (-57940358)/(-259)) a prime number?
False
Is (2/12*(-49 - -46))/(2/(-104924)) a composite number?
True
Let s(p) = 5*p**2 - 3. Let n(q) = -q**2 + q - 2. Let g be (-25)/(-9) - 8/(-36). Let x be n(g). Is s(x) prime?
True
Suppose 5*u + 4*r = 6, -3*r = -3*u - r + 8. Suppose -d + 5751 = s - 2583, -4*d + 16666 = u*s. Is s prime?
False
Let s = 11669 - 6924. Is s/6 + 2/12 a composite number?
True
Let p(r) = 2059*r**2 - 1276*r + 73. Is p(16) a prime number?
False
Suppose 5*g + 22*s = 21*s - 8419, 2*s - 12 = 0. Let f(i) = -112*i**2. Let k be f(3). Let x = k - g. Is x a composite number?
False
Let n be (-7205 + -7 - 2)*3/(-2). Suppose n + 70480 = 11*t. Is t composite?
True
Suppose -3*d + 546560 = 2*b, 35*d - 31*d + 24 = 0. Is b a prime number?
True
Let a = 123 + 2622. Let c = a + 1832. Is c a composite number?
True
Let o be 29004/(-8)*(2 + (-12)/9). Let h be o/(-5) - (-3)/5. Suppose w - h = -75. Is w a composite number?
False
Suppose -2*l + 34 = 3*y, 4*y + 4 = -4. Suppose -l*p = -15*p - 8605. Is p composite?
False
Let x = -196 - -352. Suppose -s + 696 - x = 0. Suppose 3*m = 2*g - s, -4*g = -5*m - 744 - 334. Is g prime?
False
Suppose 11*m = 15*m - 196. Suppose -41 = 4*f + 15. Is f/m + (-8343)/(-21) a prime number?
True
Let f(x) = -15995*x**3 - x**2 + 12*x + 15. Is f(-2) prime?
False
Suppose -28436 = -y + 11*f, 0 = -17*y + 15*y + f + 56977. Is y a composite number?
True
Let n = 21865 + -21864. Suppose x + 4*a + 36 = 6, -3*a + 27 = -2*x. Is (n - 42/54) + (-22658)/x composite?
False
Let t(a) = 159 - 13*a**2 + 37*a**2 - 101 + 9*a + 12*a. Is t(-7) a prime number?
True
Suppose 2*b = -854 - 270. Let i be 65*(-1)/((-1)/19). Let p = i + b. Is p prime?
True
Suppose 102*v - 25855833 - 10450213 = -1785064. Is v a prime number?
False
Let o = -2353 + 3888. Suppose 0 = 5*j - o - 1270. Is (j - (2 + -1)) + (-42)/14 a composite number?
False
Let k = -967335 - -1623808. Is k a composite number?
True
Let s(f) = f**3 - f**2 + 2*f + 641. Let w(d) = -d**3 + 8*d**2 - 4*d - 16. Let h be w(7). Suppose 0*a - 2*a = t - h, 2*a = -2*t + 10. Is s(a) prime?
True
Let n be 2 - -3 - (14 - 9). Suppose -2*y + v + 2904 = n, -2263 = -2*y - v + 637. Is y composite?
False
Suppose 3*l + 3*b - 126195 = 0, -99*l + 96*l = -b - 126171. Is l a prime number?
False
Let h(w) = -24223*w + 1063. Is h(-6) a composite number?
True
Let f = 14445 + 13000. Is (-9)/((-45)/f) - 0 a prime number?
False
Suppose -3*q = -40 + 28. Suppose -62406 + 18826 = -2*x. Suppose x = q*j + 6*j. Is j prime?
True
Let z = 1495 - -3715. Let m = -3049 + z. Is m prime?
True
Suppose -5*p + 43692 = -z, -36*p + 32*p + 34947 = -3*z. Let j = p + -4102. Is j a composite number?
False
Suppose -2 = -4*p + 10. Let n be (-3)/1 - p*5/(-3). Suppose n*z - 484 = 4582. Is z a prime number?
False
Suppose n = 65709 - 4708. Is n prime?
True
Let a = 56 - 48. Let h(r) = 166*r**2 - 12*r + 1. Is h(a) a composite number?
False
Suppose 11*i - 12 = 5*i. Suppose 16 + i = -2*g. Let l(n) = 4*n**2 + 7*n - 2. Is l(g) prime?
False
Let c be 21 + -6*(15/10)/3. Suppose 0 = -c*u + 24*u - 19506. Is u composite?
False
Suppose -3702927 = -67*u - 588591 + 3112711. Is u prime?
True
Let q(g) = -2*g**3 + 35*g**2 - 17*g + 5. Let a be q(17). Suppose -r + a*c = -604, 0 = -133*c + 138*c + 5. Is r composite?
False
Let d be (1 - -3) + (-19)/(-19). Suppose -d*n + 11929 = 1764. Suppose -25 = 5*v, -2*v + n - 5214 = -3*z. Is z a prime number?
False
Suppose -5*l + 5*u + 104863 = -l, -104872 = -4*l - 4*u. Suppose 3*w - 137 = -110. Is (-3)/w*l/(-9) a composite number?
False
Let l be ((-71)/1 - 2)*-601. Suppose l = 16*n - 24639. Is n a prime number?
False
Suppose 3*a - 1093 = -4588. Let j = 49 - 29. Is a*((-8)/j)/(2/3) composite?
True
Suppose 4*i = 3*o + 15, -11 = 2*i - 5*i + 2*o. Suppose 5*b = 3*f + 12850, f = i*b - f - 7710. Suppose 4*y + 798 - b = 0. Is y a composite number?
False
Suppose 2*h = -0*h + 974. Let c = -873 + 982. Suppose -h - c = -4*y. Is y a prime number?
True
Suppose 2*y = -5*a + 7*y, 2 = -a - y. Is 4/(-18) - (123992/(-36) - a) a prime number?
False
Suppose 48 = 13*i + 11*i. Suppose 20*x - 22*x = -5*n + 27351, -x + 10944 = i*n. Is n prime?
True
Suppose 4*k - 320265 = d + 355387, 2*d = 5*k - 844565. Is k composite?
False
Let s(a) = a**2 + 34*a + 126. Let q be s(-30). Let u(k) = 184*k - 6 - 2 + 1. Is u(q) prime?
True
Let w be -5 - -6946*(-6)/12. Is w/(-4) + (-34)/68 prime?
False
Suppose 0 = u + 4*g - 32785, -2*u + g + 17711 = -47832. Is u prime?
False
Is (9/(-27))/((-10)/9460410) composite?
True
Suppose 23652 = 2*x - 5*z, -210*x + 212*x + 3*z = 23636. Is x prime?
True
Is (0/5 - -7) + 131256 composite?
True
Let y be 7 + ((-13)/26)/((-1)/(-4)). Suppose 5306 = -3*m + y*m. Is m composite?
True
Suppose -1852*l + 1863*l - 9081930 = 8693487. Is l composite?
True
Suppose -51*i = -35*i - 920528. Is i a prime number?
False
Let a(m) = 12*m - 7 - 11*m + 27. Let u be a(9). Suppose -2*j + u = 5*b, 3*j + 37 = -b + 5*b. Is b prime?
True
Is 50/(-100) - 3036870/(-4) a composite number?
True
Suppose 0 = 3*p - j - 2290668, 310*j - 309*j = 5*p - 3817782. Is p a composite number?
True
Is ((-7)/(42/240105))/(10/(-20)) prime?
False
Is (20 + -50)/(-15)*(-237086)/(-4) a prime number?
True
Let t(j) = 90*j**2 + 32*j - 43. Is t(-9) composite?
False
Is ((-2741)/(-3))/(((-28)/(-12))/7) prime?
True
Suppose 0 = -5*y + 15 - 0. Let p be 2/y*12 - 15/5. Suppose 2675 + 1170 = p*u. Is u a composite number?
False
Suppose -75 = -f - 74. Is (-6)/10*5 - (f - 6735) a composite number?
True
Suppose 2*j - 4*f - 13 = f, -2*j = 3*f + 11. Let d(x) = -260*x - 7. Is d(j) composite?
True
Let g be (122 + 8)/5 + 5. Suppose 2*h - 2*t = -4*t + 284, -t + 281 = 2*h. Suppose 0 = -g*n + 30*n + h. Is n composite?
False
Let v(m) = 2656*m**3 + 3*m**2 - m - 8. Let n be v(4). Suppose -g - 3*y - 10790 = -53295, y = 4*g - n. Is g composite?
True
Suppose 3*d = -5*u + 200281, 0 = 7*d - 6*d + u - 66759. Is d a prime number?
False
Let x = 363 - 346. Suppose -60136 = -x*d + 9*d. Is d prime?
True
Suppose 274*r - 38192600 - 1276101 = 260745153. Is r composite?
False
Let l = -119 - -171. Is (2224/6)/4*78/l composite?
False
Suppose 3*r + 24 = -0*s - s, 3*r - 30 = 5*s. Let j be -4 - (-4 - (3 - s/(-3))). Suppose j*t + 2*t - 1282 = 0. Is t prime?
True
Let n(y) = -5 - 124*y + 21 - 7 - 4 + 12*y. Suppose -5*t - 8 - 7 = 0. Is n(t) a composite number?
True
Let v be 4/(-10)*274*(-31 + -4). Suppose -18*k + v - 1550 = 0. Is k a prime number?
True
Suppose 58958 - 655100 = -18*k - 0*k. Is k a prime number?
True
Is (16/60)/((-16)/(-151224)) - 18/(-30) a composite number?
False
Suppose n + 43 = 3*m - 28, 0 = 5*m + 5. Suppose -t + 3*w + 6 = 0, -4*t + 72 = 2*w + 20. Is 6*(-3)/(t/n) prime?
False
Let q(m) = -856 - 17*m + 15*m**2 + 20*m + 32*m + 1073. Is q(-43) a prime number?
False
Let i be ((0 + 2)/(-1) - -8) + -1. Suppose 0 = i*d + 20 + 10. Is ((-6)/d)/(3/165) a prime number?
False
Suppose 5*w - c = 49525, -2*w - 2*c - 11677 = -31499. Suppose 3*d - 6*y = -3*y + 7434, 0 = -4*d - 2*y + w. Is d composite?
False
Suppose 2*j = -k + 11, 3*j - 3 = 2*j + 2*k. Let c(w) = -819*w + 174. Let i(g) = 117*g - 24. Let s(a) = 2*c(a) + 15*i(a). Is s(j) composite?
True
Let t be 2/(-3) - 9/((-135)/10). Suppose t*y + 5*k = 5*y - 68325, y - 2*k - 13663 = 0. Is y composite?
True
Is (-166*(1 + (-35)/40))/((-1)/3284) a prime number?
False
Let y = 658980 + -103513. Is y composite?
True
Let u(z) = -104*z + 2. Let s be u(5). Suppose 123 = 4*m + 111. Let q = m - s. Is q a prime number?
True
Suppose 649*j = 35488139 + 8214872. Is j a composite number?
False
Let v = 1794317 + -1227194. Is v a prime number?
False
Suppose -73*n + 2291560 + 2940875 = 486632. Is n a prime number?
True
Let c = 134 - 132. Is -113*((-1)/c)/((-1)/(-74)) prime?
False
Let h(v) = 20*v**2 - 42*v + 249. Is h(-35) a composite number?
True
Let t be (0*(1 - 2))/((-4)/4). Let z(m) = 8560 + m + 7*m + 3279 - 1116. Is z(t) a composite number?
False
Suppose 3*x + 0 - 3 = 0. Let k be -8*((-3)/x + 4). Let m = 63 + k. Is m composite?
True
Is (-1019829)/