Is t a composite number?
True
Let h = -8433067 + 12049530. Is h prime?
True
Let d = 256978 - 129635. Is d prime?
True
Suppose g - 9*g + 24 = 0. Let b = g - 12. Let y = b + 95. Is y composite?
True
Suppose -3*n - 30 = -2*g + 3*g, -5*n - 57 = 4*g. Let z(y) = 20*y**3 + 22*y**2 + 9*y - 5. Let x be z(n). Is x/6*(11/(-2) - -4) a composite number?
False
Let r(u) = 10*u + 11. Let z(s) = s**3 + 11*s**2 - s - 5. Let i be z(-11). Is r(i) composite?
False
Suppose 0 = -33*r + 30*r + 9. Suppose 0 = t - g - 206, 0*g + 5*g = r*t - 620. Is t a prime number?
False
Let n be (3*(-410)/(-6))/((-3)/174). Let f = -147 - n. Is f composite?
False
Suppose 0 = 4*c - 2*c + 2, s - 4 = 4*c. Suppose -5*d - 4*q + 20 = s, 7*q = -d + 2*q + 4. Suppose -d*z + 3440 = -2676. Is z a prime number?
False
Suppose s - 354 = 5*i + 94, 5*s - 2200 = 5*i. Suppose -447*w = -s*w - 3771. Is w composite?
False
Let m(c) = c**3 + 7*c**2 + 11*c + 5. Suppose 2*i + 35 = -5*i. Let w be m(i). Suppose -2*t + k - 6*k + 163 = w, -3*t + 5*k + 282 = 0. Is t composite?
False
Let w = -298332 + 458831. Is w a prime number?
True
Let x(k) = -76*k + 191. Let t be x(37). Let i = t - -8602. Is i a composite number?
False
Suppose 1106 + 586 = 9*t. Let j = t - -332. Suppose -3*i + i + j = 2*n, 3*n + 2*i - 779 = 0. Is n prime?
False
Let a(t) = t**2 - 6*t + 2. Let q be a(-4). Suppose q*s = 41*s + 457. Is s a composite number?
False
Suppose 4*s - 2*s = -3*f - 15, -4*s = -4*f. Let y be (4/18 - (-14)/18) + s. Is (-3)/((-27)/14673) + y/(-3) composite?
True
Suppose -62*y + 60*y - 1368 = 0. Let f = -476 - y. Suppose s - i - f = 0, -5*s = 2*i - 3*i - 1052. Is s a prime number?
True
Let u(q) = 525*q**2 - 8*q - 68. Is u(-9) a prime number?
False
Suppose -53 = 3*g - 2*d - 166, -2*d + 72 = 2*g. Suppose -4*h - g + 57 = 0. Is -4 + 12373/h - 4/(-10) a composite number?
True
Suppose 82*f + 513023 = 975299 + 5863450. Is f composite?
True
Let a = -99049 + 216002. Is a a prime number?
True
Suppose 51*q = 26*q + 62*q - 3892363. Is q composite?
False
Suppose l - 5*z = 93068, -4*l - 164230 = 3*z - 536525. Suppose 0 = 5*y + 3*v - l, -4*y = 2*v - 33585 - 40875. Is y a prime number?
True
Let h be 1117*(-4)/((-4)/(-1)). Suppose -520 = j + 40. Let d = j - h. Is d a composite number?
False
Let w = 1114 + -3905. Let j = 11256 - w. Is j prime?
False
Let q(j) = 10*j**2 - 5*j + 7. Let x be q(-11). Let v(h) = -h**2 + h - 631. Let p be v(0). Let z = x + p. Is z composite?
False
Let i be ((-2076)/8)/((-1)/2). Suppose 3*x = 4*c + 1 - 7, 4 = 5*c - 2*x. Suppose -v + i = -c*v. Is v a composite number?
True
Suppose -3*o - 4*q + 86077 = -3*q, -2 = q. Suppose 7*a = -4102 + o. Is a a composite number?
True
Suppose -2 = a, -5*x + a - 12189 = -2*a. Is (x - -28)/(0 - 1) composite?
False
Let r = 842 + 7739. Suppose -8434 = -f + 3*d, 0 = -4*f - 2*d - r + 42247. Is f a composite number?
False
Let g be (-13)/(-26) + (1 - (-4691)/2). Suppose 6*q - g = 347. Is q a composite number?
False
Suppose 43*i - 41*i = 53582. Is i composite?
True
Let u = 47531 - 15624. Is u a prime number?
True
Suppose -18766 = 18*x - 48088. Is -1*(6 + (0 - x)) composite?
True
Let g = -183 - -259. Let z = 71 - g. Is (-24)/(-9) - z/15 - -1171 a composite number?
True
Suppose -v + 10 - 2 = -o, -5*o = 3*v - 24. Let n(y) be the first derivative of -y**4/2 + 7*y**3 - 5*y**2 + 11*y - 1. Is n(v) a composite number?
False
Suppose 388 = 2*n - 4*h - 0*h, 2*n - 391 = 5*h. Suppose 4*b - n = -4*u, 3 = -2*b - 3. Let l = u - 25. Is l a prime number?
False
Suppose 0 = 5*a + 5*l - 43175 - 35465, -62913 = -4*a - 5*l. Is a composite?
False
Let o(s) = -s**3 + 2*s - 1. Let r be o(1). Suppose 3*g - 19037 - 7618 = r. Is g a composite number?
True
Let m be 1*264/(-36)*(-6 - 0). Suppose -m*a + 145390 + 262798 = 0. Is a a prime number?
True
Let v = -322 - -256. Is 6/(v/(-44)*4/10533) composite?
True
Let v = 142120 + 69457. Is v a prime number?
False
Suppose 44762 = 2*l + m + 14970, -29786 = -2*l - 4*m. Is l a composite number?
False
Let p(j) = j**2 - 51*j + 312. Let s be p(44). Suppose -4*i = -6*i + 8. Suppose -1681 = -i*b + 3*k - 281, 0 = 2*b - s*k - 710. Is b a prime number?
True
Suppose -3*y = 3, -4*y + 6*y = c - 464. Suppose -c*i + 454*i = -443512. Is i a prime number?
True
Suppose -25060 = -4*r - 4*v, -v - 31301 = 11*r - 16*r. Let x = r - 1856. Is x composite?
True
Let t(y) = -y**3 + 7*y**2 + 5*y - 3. Let p = 62 - 55. Let k be t(p). Suppose -s = -5*m + 707, 0 = -2*m - s + 255 + k. Is m composite?
True
Suppose -24948 = -k + 5*t + 8061, -5*t = -5*k + 164965. Is k a composite number?
True
Let c(n) be the second derivative of -6*n**5 - n**4/2 - 5*n**3/3 + n**2 + 170*n. Is c(-2) composite?
True
Suppose 1947 = 3*y + 2*j, -j = 5*y + j - 3245. Let k = 310 + y. Let c = -562 + k. Is c prime?
True
Suppose 2*z - 3604 = -3*r, -5*r + 5*z + 5129 = -861. Let o = 1985 - r. Is o composite?
True
Let q = 5026 - 287. Suppose 0 = 5*s - 3*f - 2948 - 20793, -s = 4*f - q. Is s a prime number?
False
Suppose 31 = 4*s + 23, 3*s = 4*d - 264878. Is d composite?
False
Let v = 272 - 293. Let r(p) = -640*p - 73. Is r(v) composite?
False
Let k = -322823 - -671812. Is k composite?
False
Let w(d) be the first derivative of -4/3*d**3 + 9*d + 1/4*d**4 - 11/2*d**2 + 12. Is w(6) a prime number?
False
Suppose -199*k + 14710094 = -101*k. Is k composite?
True
Suppose 2*u - q - 15012 = -2347, 4*q = 4*u - 25324. Suppose 0 = -2*n + 4*i + u, 0 = -2*n - i - i + 6322. Is n composite?
False
Let j(c) = -918*c**3 + 9*c**2 + 128*c + 522. Is j(-5) a composite number?
True
Let y be (3*-3)/((-14)/(-21154))*1. Is y/6*(-44)/66 a prime number?
True
Suppose -4*o - 12 = 0, 0 = 3*b - 43*o + 38*o - 800406. Is b composite?
False
Suppose 4*z - 5 = 55. Suppose -z*h + 11045 + 10540 = 0. Is h a composite number?
False
Let t be 10/(-6) + (-31840)/(-15). Let i = -995 + t. Let q = i - 641. Is q prime?
False
Let x(h) = 13*h**2 + 129*h - 10. Let d be x(-10). Let y(v) = 7*v + v**2 - 8*v + 0*v + 2722. Is y(d) a composite number?
True
Suppose -2*t = 2*q - 20326, 4*q - 8165 = -2*t + 32485. Let o = -2639 + q. Is o prime?
True
Let w(y) = 113*y + 5. Suppose 5*t - 245 = -5*m, t - 2*m = 54 - 11. Suppose -4*g + t = -0*g - c, 0 = 4*c - 4. Is w(g) prime?
True
Let k(a) be the third derivative of 11*a**5/10 + 5*a**4/12 + 17*a**3/6 - 2*a**2 + 10. Is k(-7) prime?
True
Let b = 269 - 0. Suppose -3*n - 1235 = -b. Let r = 57 - n. Is r a prime number?
True
Let u = 48390 + -21856. Is u a composite number?
True
Suppose -5*r + 5*f = -26106 - 349609, 0 = 2*r + 3*f - 150316. Is r prime?
True
Is 132908 + 7 - (54/(-9) + 14) prime?
False
Suppose -5*z - n + 20 = n, 10 = -5*z + 4*n. Suppose -657 = -j - z*j. Suppose 0 = c + 5*d - j, 2*c = -2*d + 5*d + 373. Is c prime?
False
Let w = -233 - -1035. Suppose b - 5*h - w = 0, h + 2*h = b - 804. Suppose 2*j - 5*d - 1613 = 0, 2*j + b = 3*j - 2*d. Is j a composite number?
False
Suppose 755936 = 98*x - 2814498. Is x a prime number?
True
Suppose -3*q + 40 = -2*i, 3*q + 2*i = 7*i + 46. Suppose q*a - 24861 = 6111. Is a prime?
False
Suppose 8*g - 4616 = 4*g. Let t = 6553 - g. Is t prime?
True
Let q(r) = 1274*r - 2594. Is q(32) a composite number?
True
Suppose -3*t = 4*x - 5646923, -2*t + 3*x + 4266886 - 502248 = 0. Is t prime?
True
Let d(x) = 2*x + 12. Let b be d(-5). Let a(t) = -6*t + b + 21*t + 16*t. Is a(5) composite?
False
Let r(x) be the third derivative of x**4/24 - 7*x**3/3 + 18*x**2. Let j be r(18). Suppose 559 + 457 = j*m. Is m a prime number?
False
Let f(i) = i**3 - 20*i**2 - 24*i + 34. Let m be f(10). Let q = 16528 - m. Is q prime?
False
Suppose 2*m + 45*k - 42*k = 218038, 0 = -4*m - k + 436056. Is m a prime number?
True
Suppose 3*f + 144489 = 8*f - 4*y, y = f - 28897. Let m = f + -15514. Is m a prime number?
False
Let a be (-629)/148 + (-1)/(-4) - -123359. Suppose -3*f = v - 74013, 0*f + 5*f + v - a = 0. Is f composite?
False
Let m be (-3)/(-12) - (-675)/(-12). Let z = 52 + m. Is (-2)/z + (-325)/(-2) a composite number?
False
Let y(l) = 2*l**2 + 33*l + 112. Let j be y(-12). Let o be 2/(-8) + 957/4. Suppose -o - 9129 = -j*c. Is c a prime number?
False
Let n = 355802 - -183359. Is n a composite number?
True
Let y = -85 + 1422. Suppose y = 5*d + 2*d. Is d composite?
False
Suppose -1659317 - 655606 = -13*p. Is p a prime number?
False
Let l(g) = g**3 + 12*g**2 + 6*g - 