) - 2)*(-3)/(-3) composite?
True
Suppose -5*c + 93*d = 89*d - 3551702, 0 = -2*c - 2*d + 1420688. Is c prime?
False
Suppose -3*v + s + 12252 = -2*s, -2*s = -4*v + 16334. Is v composite?
True
Suppose -5*z - 33653 - 40715 = -4*d, -5*z = 0. Suppose -d = -6*u + 36446. Is u a prime number?
True
Let q be (32/(-12))/(-4)*-63. Is 2467376/224 + 3/q prime?
False
Let g be (-12)/(-16)*4 - 3. Suppose -32*u + 26*u + 9210 = g. Is u prime?
False
Suppose 15*c - 18*c = 0, x - 15 = -5*c. Suppose -16*s = -x*s - 1165. Is s composite?
True
Suppose -t - 1 = -7. Let g(z) = -14*z**2 - z**3 - 1 + 6*z + t - z - z. Is g(-16) prime?
False
Let g = 4207 + -14214. Is (2*g/(-10))/((-99)/(-495)) composite?
False
Suppose -225*f + 227*f = -10. Is 91*(-5)/25*f a prime number?
False
Suppose 0 = -5*v + h + 454697, 5*v + 49*h - 48*h - 454693 = 0. Is v composite?
True
Let l be (-19)/57 + (-1294)/(-3). Let m = -81 + l. Suppose 9*n = 793 + m. Is n a composite number?
False
Suppose 0 = -3*o + 5*o - 1082. Suppose -2*h + 16 = 8. Suppose 3*r - h*r + o = 0. Is r prime?
True
Is (8 + 4)/(-12) - -116318 composite?
True
Let s(g) = 7*g**3 + g**2 - 4*g - 2. Let q be s(-7). Let o = 454 + -2111. Let w = o - q. Is w a composite number?
True
Let o(r) = 29*r**2 - 5*r - 34. Let n be o(-9). Let m = -8 + 8. Suppose -9*k + 5317 + n = m. Is k prime?
True
Suppose -4*f = 3*m - 1524400, 81*f - 79*f + 5*m = 762214. Is f prime?
True
Let z(g) be the first derivative of 13*g**3/3 + g**2 + 6*g - 3. Let n = 99 + -94. Is z(n) prime?
False
Suppose 3*f - 729 - 7509 = -3*c, 13775 = 5*c - 4*f. Suppose -5*k + 18 + 7 = 0. Suppose -3*u + 238 = k*q - c, 0 = -4*q + 4*u + 2404. Is q prime?
True
Let b = 23 - 83. Let m be b/(-9) + (-4)/(-12). Is 2/(-2)*m*(-1 - 22) prime?
False
Suppose 11*z - 57 - 42 = 0. Suppose z*c - 8*c = 3. Suppose 31 - 514 = -c*p. Is p composite?
True
Let w(g) = -g**3 - 16*g**2 - 17*g + 26. Let y be w(-15). Suppose 0 = -4*b - y. Is (1/(-1))/(b/9086) a prime number?
False
Suppose 11*f + 2090 = 13244. Let j = 263 + f. Is j prime?
True
Let v(p) = -4*p**3 + 6*p**2 + p + 4. Let w be 1 + (-3)/4 - 752/(-64). Let g = 7 - w. Is v(g) composite?
True
Let n be (6/(-8))/((-1)/8). Let g(u) = -u**2 + 5*u**3 - u**2 - 11 - n*u**2 + 6. Is g(6) a composite number?
False
Let f = -503 - -508. Suppose 5*b - 255283 = -f*d + 4877, b - 3*d = 52028. Is b a composite number?
True
Let n(y) = -175*y - 2. Let c(g) = -1. Let v(d) = 5*c(d) - n(d). Let u be v(-2). Let p = u - -1306. Is p a composite number?
False
Is 16/((-1216)/(-133)) + 266114/8 prime?
False
Suppose -1033602 + 650668 - 3881402 = -16*n. Is n a prime number?
True
Suppose -c = -0 - 5. Is c/(-10) + (-855)/(-6) a prime number?
False
Let i be 20/(-12)*3*-1*415. Suppose -n - 251 = 4*q - 1911, -5*q = -4*n - i. Suppose -5*g - q = -2*l + l, -5*g + 375 = l. Is l composite?
True
Let d = -1183 - -1892. Let a be 2 + 3/(3/43). Suppose a = 2*i - d. Is i a prime number?
False
Is (0 - (-4 - 5) - 15) + 42253 a prime number?
False
Let j = -689990 + 1342541. Is j composite?
True
Let z be (-4)/(-6)*-3 - 91. Suppose 2*d + 70*r = 73*r - 27, 4*r - 20 = 0. Is z/2*d*12/54 a composite number?
True
Is ((-8)/(-5))/((-112)/(-82180)) composite?
True
Is (9 + -4)*160443/45 prime?
True
Let q(k) = -k**3 - 7*k**2 - 10*k - 11. Let z be q(-6). Suppose x - z = -11. Is x composite?
False
Let x = 3 - 0. Suppose 2*l - 845 = -r, -3*r + 0*l = x*l - 2541. Suppose 4*h = r + 8435. Is h a prime number?
False
Is (9 - -3) + 34219/1 a composite number?
False
Let t(y) = -202*y**2 + 13*y - 10. Let c be t(1). Let p = c - -1412. Is p prime?
True
Suppose -2*r + 80883 + 80967 = -8*l, -l = 3*r - 242866. Is r prime?
True
Suppose w = -i + 194627, 5*w - 167293 - 805782 = 5*i. Is w a prime number?
False
Suppose -141 = -2*p - 137. Suppose p*b = -4*b + 12966. Is b a composite number?
False
Suppose 6*l - 10*l = 84. Let p be (-6 - l)*(-4)/10. Is 141 + p/3 + 2 a composite number?
True
Let q(m) = m**2 - 7*m + 11. Let y be q(6). Suppose -y*n + 3*i = -4, -4*i + 3*i = -3*n + 4. Suppose -4*g + 194 = -n*g. Is g composite?
False
Suppose -34*i + 9511855 = -2940951. Is i a composite number?
False
Suppose -4*g = -4, 2*y - 37 = 3*g + 26. Suppose -23*v + y*v - 5190 = 0. Is v composite?
True
Is 1*(-21 - -22) - 48156/(-1) a composite number?
False
Suppose -5226 - 28602 = -6*w. Suppose w + 1470 = 4*i. Is i a composite number?
False
Let b = -80242 + 144273. Is b a composite number?
True
Suppose 1028247 + 3288949 = 26*w. Is w a composite number?
True
Let y be -3185*(-20)/(6 - 2). Suppose -8*s + 12979 = -y. Is s a composite number?
False
Suppose 0 = 4*y - 4*w + 5708, -8*y - 2859 = -6*y - w. Let z = y + 2046. Is z a composite number?
True
Suppose 3*q = 5*b - 39, 4*q + 0*b = -4*b - 20. Let o be 193 + (q + 4)/2. Let g = 314 - o. Is g a prime number?
False
Suppose 249*f - 229086 = 247*f + a, 5*f = 2*a + 572719. Is f a composite number?
False
Let b(q) be the third derivative of q**4/12 + 2*q**3/3 - 17*q**2. Let m be b(0). Suppose -m*y + 26 = -2. Is y composite?
False
Suppose 23785 + 3657 = 6*q - 812. Is q prime?
False
Suppose -t + 1820 = -2*h, 3*t - 5*h - 1817 = 2*t. Let l = t + -461. Is l composite?
False
Suppose -8*p + 3*p - 4*c - 110267 = 0, 0 = 5*p + 3*c + 110269. Is (-1)/((3 - -2)/p) composite?
True
Let h be (-1 - 0) + (-767)/(-13)*4. Is 4/(-10) + 2319779/h prime?
True
Suppose -266*u = -177*u + 227*u - 30675068. Is u a prime number?
True
Let n(b) = -4*b**2 + 420. Let s be n(0). Suppose p = 1252 - 1. Suppose -s - p = -3*k. Is k a composite number?
False
Suppose -19*n + 2389930 = -13*n + 40*n. Is n composite?
True
Let u = 119 - 117. Is u/14 + (-1 - (-571627)/49) prime?
False
Let s(p) = 150*p**3 - p. Let u(o) = -o**3 + 6*o**2 - 6*o - 3. Let k be u(3). Suppose -3 = -k*a + 3. Is s(a) prime?
True
Let z(v) be the second derivative of v**4/12 + v**3 + 11*v**2/2 + 36*v. Let q be z(-4). Suppose q*f + 174 = 3*p, p + 5*f = 21 + 19. Is p prime?
False
Let t(p) = 4*p**3 - 27*p**2 + 21*p + 23. Let h be (17 + -10 - 2)*(-12)/(-5). Is t(h) composite?
False
Let a = -56 - -58. Let x(m) = 303*m**3 - 4*m**2 + 3*m + 3. Is x(a) prime?
True
Let t(x) = x**2 + 2*x + 3. Let r be t(-2). Let v be 1 + (112/35 - r/15). Is v + (-5 - -1) - -3377 a prime number?
False
Suppose 18*f - 17*f - 85374 = 5*n, 4*f = 3*n + 341513. Is f composite?
True
Let x(w) = 81*w**2 + 32*w + 245. Let j(i) = 40*i**2 + 16*i + 123. Let u(s) = 5*j(s) - 2*x(s). Is u(-11) a prime number?
True
Let l(n) = -n**3 - n**2 - n. Let z be l(-1). Let m be ((-14752)/4 + 1)*z. Is (-1)/4 - m/12 a prime number?
True
Let a(m) = m**3 - 16*m**2 - 17*m - 1. Let b be a(-17). Let t = -3520 - b. Is t a composite number?
True
Suppose 2*t - 123 = -7*w + 4*w, -2*t + 128 = 4*w. Let b = 109 - t. Is b/(-5)*1*(-29 + 0) a prime number?
False
Let k(u) = 7*u**3 - 4*u**2 + 135*u - 31. Is k(19) composite?
False
Let o(m) = 432*m**3 + m. Let j be o(-1). Let v(q) = -q**3 + 20*q**2 - 3*q - 12. Let n be v(15). Let p = j + n. Is p a composite number?
True
Let h(a) = -1691*a + 43. Let d be h(-4). Let n = -2170 + d. Is n a prime number?
True
Suppose 0*v = -2*v. Suppose 5*q - 4*m = -2*m, -3*m = v. Suppose -1597 = -5*z + 2*a + a, q = 3*a + 12. Is z prime?
True
Suppose 9364111 = 57*d - 151298. Is d a composite number?
True
Suppose c = -m - 13, -3*m + 5*c + 0*c = 79. Is -6*(-6)/m*40102/(-4) a composite number?
False
Suppose -p = 19*p - 7596240 + 1176460. Is p a prime number?
False
Let s(v) = 146*v + 70. Let l be s(-30). Let g = 13549 + l. Is g a composite number?
False
Let a(j) = 3230*j - 2159. Is a(54) composite?
True
Let w(x) = x**2 + 10*x + 17. Let d be w(-9). Let m be 2 + 1 + (7 - d). Suppose -3*k + 5*j - 1359 + 6008 = 0, 4*k - m*j = 6180. Is k a composite number?
False
Suppose -67*i = -12*i - 2141004 - 282901. Is i a composite number?
False
Suppose -15*p = -64 - 86. Is p/(-55) - (-432255)/55 prime?
False
Suppose -2*o - 4*p = 2, -o - 3*p - 2 = 2. Suppose o*j + 3154 - 10149 = 0. Is j prime?
True
Suppose 20*m - 166078 - 128302 = 0. Is m a prime number?
False
Let i be ((-1722)/2)/((-7)/(-364)*-4). Suppose 3*h + i = 5*o + 1220, 0 = -h - 1. Is o a composite number?
True
Suppose -38*s + 33*s + 3400 = 0. Suppose -2241 - s = -2*t - 5*p, -5*p - 25 = 0. Is t a prime number?
False
Let z(q) = 2*q**2 + q - 3. Let b = -6 - -4. Let u be z(b). Suppose -3*m = -2*m - 4*w -