?
False
Suppose -1445*g + 598391 = -1422*g. Is g prime?
True
Suppose 609837 + 704567 = 4*d + 2*n, -328599 = -d - n. Is d a composite number?
True
Let k = -102017 + 165984. Is k prime?
False
Let p(f) = 1 - 7*f + f + 2 + 14*f**2 + 18*f**2. Suppose 0 = t - 2*v - 8, -t + 4 = 5*v + 10. Is p(t) prime?
True
Let i be 1/3 - (-10)/(-30). Let l = 4 - i. Suppose 3*d = -1 + l, -3*w + 529 = -2*d. Is w a composite number?
True
Suppose -1864*t + 1861*t - 2*s + 2194345 = 0, -1462898 = -2*t - 2*s. Is t a composite number?
False
Let g = 123 - 119. Is -4 - (-1515 + g + -4) prime?
True
Let d(s) = 8 + 2 - 4 + 8 - s. Let m be d(12). Suppose 3*z + m*v - 1058 = -z, 3*z = -4*v + 801. Is z a composite number?
False
Suppose 139*y - 401*y + 50537966 = 0. Is y composite?
True
Let q(y) = y**2 - 6*y + 3. Let r be q(6). Suppose 0 = -b + 2*b + i + 2457, 3*b + 7359 = r*i. Let m = 5026 + b. Is m prime?
False
Let z = 10990 - -42447. Is z a composite number?
False
Let r(g) = 27*g**3 + 41*g**2 - 17*g + 409. Is r(18) a prime number?
True
Is ((-498)/(-4))/((-162)/(-544212)) a prime number?
False
Suppose -35 = 2*t - 5*t + 5*m, 41 = 5*t - 4*m. Suppose 0 = -p - 2*u + 2487, -2*u + 6449 = t*p - 6026. Is p composite?
True
Let c(i) = 27*i**3 - i**2 - 8*i**2 + i**2 + 3*i**2 + 6*i - 5 + 2*i**2. Is c(2) a prime number?
True
Let a be 672/140 + -8 - 4/5. Let t = 2 + -10. Is t/a*(1 - 102/(-4)) a composite number?
False
Let j(x) = 31*x**3 - 5*x**2 + 3*x + 2. Let g be j(3). Let l = 1690 - g. Is l prime?
True
Let q = 1522484 - 953163. Is q prime?
True
Suppose -4*l + 115 + 119 = -2*m, -5*m - 605 = -5*l. Let c = m - -502. Let p = -166 + c. Is p a prime number?
True
Suppose 11*d - 111783 = 4*d. Suppose -18*o = -d - 43917. Is o prime?
False
Let h be (-4)/6*(-6 - -3). Suppose 8*q - 37090 = -h*q. Suppose q = 2*p - 3*t - 2*t, -p = -3*t - 1856. Is p a composite number?
False
Suppose -12*g = -0*g - 22284. Suppose j + g = 3*j + 3*n, -3*n = -3*j + 2748. Is j a prime number?
False
Let x(d) = d**3 - 21*d**2 + 22*d - 34. Let s be x(20). Is 1 + -1 + (538 - s/(-2)) a composite number?
False
Let w(f) = 5*f**3 - 4*f**2 + f + 1. Let p be w(-1). Is ((-6051)/p)/(2/18) composite?
True
Let q(c) = c**3 + 5*c**2 - 9*c - 10. Let p be q(-6). Let t be (-6)/8 - (-17894)/p. Suppose o + 0*o = 5*k - t, -4*o = -k + 451. Is k composite?
True
Let v = -623 - -627. Suppose -l = v*u - 397797, 4*l + 397792 = 3*u + u. Is u composite?
True
Let h = -125316 + 398423. Is h a prime number?
True
Let r = 143807 + -49098. Is r composite?
False
Suppose -6*h + 85 = -29. Suppose 2*t - 2*l = 5*t - h, -2*l = -4. Suppose -g - t*g = -5262. Is g composite?
False
Let y(h) = 101*h + 66 - 34*h - 213*h - 257*h. Suppose -2 = 2*v + 36. Is y(v) a prime number?
True
Is 11984622/65 - (-5 + (-58)/(-10)) prime?
False
Let h(d) = 7*d**2 - 5*d + 7. Let y be h(2). Let t = y + -29. Is 284 + t*9/(-12) a prime number?
False
Suppose -10837 = 18*j - 23*j - 2*i, 3*j - i = 6500. Is j a prime number?
False
Let i = -734 + 738. Is 2 - 9 - (-103720)/i a prime number?
False
Suppose 3*a = -3*q + 750942, 4*a = 123*q - 128*q + 1251563. Is q prime?
True
Let i(h) = h**2 - 16*h - 64. Let l be i(20). Let n be 0/(l/(-9) + 12/(-54)). Suppose n = -3*j - 12, -828 = -4*c + 4*j - 72. Is c a composite number?
True
Let f(p) = 160*p**2 - 4*p - 140. Let q be f(-9). Suppose 3*s - q + 1654 = 0. Is s a composite number?
True
Let n(r) = 1 + 5*r + 6*r - 10*r. Let a(k) = 28*k - 15. Let l(o) = a(o) - 4*n(o). Is l(3) a prime number?
True
Let u = -166792 - -287603. Is u composite?
False
Let j be 732/108 + (-4)/(-18). Let g(w) be the second derivative of 181*w**3/6 - 3*w**2 + w. Is g(j) a composite number?
True
Let f be 54/90*(0 + 5). Suppose 709 + 2715 = 4*k. Suppose r - 4 = -f, 0 = -o - 5*r + k. Is o a prime number?
False
Let k(j) = -16711*j**2 - 16*j - 52. Let m be k(-5). Is (m/(-44))/(6/8) prime?
True
Let j be (2 - 2 - 3)*(0 + -1). Suppose 0 = 4*v + 3*h - 5*h - 4792, h + 3594 = j*v. Is v a prime number?
False
Let g(f) = -f**3 - f**2 + 6*f + 4. Let y(c) = -c**3 - c**2 + c. Let l(h) = -g(h) + 3*y(h). Let t be l(-2). Suppose t*n - 9457 = 3*n. Is n composite?
True
Let w(l) = 132*l**2 + 69*l + 572. Is w(-7) a composite number?
True
Let j be (-35)/10*2*2/(-2). Suppose j*u = 2*u + z + 22884, -2*z = 3*u - 13733. Is u prime?
False
Suppose -45*v + 63*v = 293418. Is v composite?
False
Let v(n) = 100*n - 401. Is v(18) prime?
True
Suppose k = -3*v + 54, 5*k - 82 = -3*v - 28. Let u(a) = -2*a + 28. Let n be u(v). Let j(b) = b**3 + 14*b**2 - 3*b - 11. Is j(n) a prime number?
True
Suppose 0 = -11*z + 15*z - 560. Let i = 105 - 152. Let x = i + z. Is x a prime number?
False
Let x = 54 - -131. Suppose x = 5*d - l, 3*l = 2*d - 27 - 34. Is ((-179)/1)/(-4 - d/(-10)) prime?
False
Let y(o) = o**2 - 6*o - 22. Let c be y(9). Suppose 0 = -5*x + f - 5*f + 1, -c*f = 3*x - 11. Is ((-83 - 1) + x)*(-33)/9 a prime number?
False
Let u(j) = j**3 + 44*j**2 + 16*j - 5. Suppose 15*t = 14*t - 32. Is u(t) composite?
True
Let s(h) = 4*h + 18. Let j be s(-4). Let u(y) = -4 + 1125*y + j - 1 - 4. Is u(4) prime?
True
Is (-6945)/(-10)*151*40/60 composite?
True
Suppose -56243424 = 989*u - 1085*u. Is u composite?
True
Suppose -38*q + 35*q = -4*p - 234907, -2*q + 4*p + 156606 = 0. Is q a composite number?
False
Suppose 0 = 2*z - 2*l - 68, 5*z = -4*l - 116 + 286. Suppose 0 = q - 37 + z. Is 1 + 1 + 0 + 10683/q composite?
True
Let y(z) = -z**3 + 74*z**2 - 6*z - 308. Is y(61) prime?
True
Suppose 3*a - 5*a = -5*w + 7, -w + 23 = 5*a. Suppose 40 = -w*n + 52. Is (-2439)/(-6) - n/((-16)/2) prime?
False
Let h(f) = 173*f**2 - 31*f + 249. Is h(25) a prime number?
True
Let l(y) = 19*y**2 + 33*y - 16. Suppose 29*r = 31*r + 28. Let f be l(r). Suppose -5*m = -11*m + f. Is m composite?
False
Let w(d) = d**2 - 4*d - 4. Let p be w(-3). Let j = -26 + p. Let n(q) = 7*q**2 - 3*q - 7. Is n(j) a composite number?
False
Suppose 2*u - 4*f - 3223 - 192359 = 0, 0 = -3*u - 4*f + 293383. Is u composite?
True
Let d(k) be the second derivative of 5*k**3/6 - 2*k**2 + 8*k. Let y be d(-2). Is 4462/14 - (2 - (-32)/y) a prime number?
False
Suppose 5*l - 2*f = 0, -4*l = -2*l + 3*f. Suppose k + 1 = 2, -3*v - 4*k + 7387 = l. Let w = v - 1520. Is w a prime number?
True
Let d = -188 + 201. Let l(p) = 72*p - 59. Is l(d) composite?
False
Suppose 2*z = -3*m + 31, z = -m - 0 + 12. Suppose 3*s - 2*j - m - 16 = 0, 2*s - 2*j - 18 = 0. Is (s/2)/(1/14) a prime number?
False
Suppose -633283 = -48*x + 1908893 + 8553552. Is x composite?
True
Suppose 1957886 = 6*m + 4*v, 30*m - 25*m - 1631601 = 4*v. Is m composite?
True
Is 1/((-2)/(-165482)) - (-5)/(-40)*0 a composite number?
True
Let r be (-21)/6*-13976 - 7/7. Is (r/(-18))/((-1)/2) a composite number?
True
Suppose 3*a - 5*a + 8 = -2*j, 5*a - 26 = -j. Is 1/j + 271 + (-6)/(-3) a prime number?
False
Let r(w) = 9*w**3 - 21*w**2 + 17*w + 18. Is r(8) a prime number?
False
Let d(y) = y**2 - y + 4. Let l be d(0). Suppose -66 + 22 = -l*a. Suppose 0 = -a*v + 8*v + 4155. Is v a composite number?
True
Let h(p) = 154*p**2 - 12*p - 24. Let z be h(-2). Let v = 6117 - z. Is v a prime number?
True
Let p be (-2 - 1016644)/(-2)*(-55)/(-165). Suppose -p - 318652 = -43*h. Is h a composite number?
False
Let a(j) = 380*j**2 - 11*j - 3. Suppose -5*z - 75 = -20*z. Is a(z) composite?
True
Suppose 4*d = 2*n + 104, 33 + 17 = 2*d - 2*n. Suppose -7*l + d*l = 54820. Is l a prime number?
True
Let s(o) = 171*o**2 - 11*o - 21. Let n be s(-14). Let a = n - 2180. Is a prime?
True
Let d = 496 + -495. Is (-62 + d + 2)/(82/(-1394)) a prime number?
False
Let v be (-2)/3 - 3424/(-96). Is v/((-49)/7) + 2314 composite?
False
Let x(j) = j**3 + 11*j**2 + 6*j + 54. Let a be x(-11). Let z(y) = 37*y**2 + 18*y - 61. Is z(a) composite?
False
Let c be (8/(-6))/((-80)/300). Suppose -c*h - 7*h + 12804 = 0. Is h prime?
False
Let w(k) = -2*k**2 - 24*k - 15. Let u be w(-12). Is (-41694)/u + 12/(-20) a composite number?
True
Let j = 106061 + -51220. Is j a composite number?
True
Suppose -4*c + 5 = 3*t, 3*c - t - 5 = c. Let m be c + -3 + 1 + 3. Suppose 232 + 419 = m*d. Is d a prime number?
False
Suppose 24*o + 2*p = 29*o - 290523, -2*o + 4*p + 116206 = 0. Is o prime?
False
Let j(b) = b**3 + 36*b**2 + b + 38. Let g be j(-36). Suppose -24247 = -k - 2*k + 2*w, 8077 = k + g*w. Is k a prime number?
True
Let s(y)