e 2358 = -r*v + 6*v. Is v a composite number?
True
Suppose -12577 = -5*z + 3*r, -5*z + 11*z - 15082 = r. Is z prime?
False
Let d = 109 - 69. Let a = 7 + d. Is a - -8 - 1*2 composite?
False
Let z(u) = -1508*u**3 - 2*u**2 + 2*u - 1. Let g(f) = -1507*f**3 - 2*f**2 + f. Let v(l) = 2*g(l) - 3*z(l). Is v(1) prime?
True
Suppose 1455914 = 34*z - 0*z. Is z prime?
True
Let f = -594 - -1191. Is f a composite number?
True
Let y = 1976 - 3034. Let h = y - -147. Let u = -564 - h. Is u prime?
True
Let z(r) = -182*r + 5. Let c be z(-3). Let j = 708 + c. Is j composite?
False
Let q(l) = -3*l + 48. Let t be q(15). Suppose 0 = t*s + 6, -s = 5*k - 1102 - 1411. Is k a prime number?
True
Suppose -34*q + 539682 = 159528. Is q composite?
True
Let p(v) = -8*v + 1. Let d be p(-2). Let o = d + -12. Suppose -o*h - 1434 + 388 = -4*g, -h - 2 = 0. Is g a prime number?
False
Let f(u) = u**3 - 43*u**2 - 74*u + 119. Is f(45) a prime number?
True
Let m(r) = 6*r**3 - r**2 - 23*r + 5. Is m(9) a prime number?
True
Is (18 - -110610) + 7/(-1) a prime number?
False
Let i = 2713 + -1547. Suppose z + z = i. Is z prime?
False
Is (382170/(-50))/((-18)/(-10) + -2) prime?
False
Suppose -7*o = 14*o - 201873. Is o composite?
False
Let m = 132 - -23. Is m prime?
False
Suppose 2*z - 30185 - 16185 = 0. Is z a composite number?
True
Is (206/(-6))/(33/(-7821)) prime?
False
Suppose 2*n - 2*y - 3670 = 0, 2*y - 7352 = -4*n - 0*y. Suppose -3*z + 4*a + 1381 = 0, n = 4*z - 4*a + 3*a. Suppose -x = -104 - z. Is x a prime number?
True
Let r be (-1 - (-10)/7) + (-324)/(-126). Suppose -2*d + 3618 = -4*t, -t + 1797 = -r*d + 7204. Is d a prime number?
True
Let g(j) = j**2 - 21*j + 57. Let i be g(18). Suppose 2*o = -i*o + 5405. Is o prime?
False
Suppose 3*o + 27 - 3 = 0. Let b(m) = m**2 - m + 19. Let z be b(o). Suppose 6*p + z = 7*p. Is p a composite number?
True
Let p = 2243 + -2006. Is p a prime number?
False
Suppose 0 = 3*j - 4*t - 2432, -730 = -4*j - 2*t + 2476. Suppose -4*w + j = -2*d, 0*w - 5*w = d - 991. Suppose -v = -0*v - w. Is v a prime number?
True
Suppose -3*j = 2*j + 4*a - 67883, 3*a = -4*j + 54307. Is j a prime number?
False
Let l be 8 + -10 + (1 - 508). Let o = 1398 + l. Is o a prime number?
False
Suppose 4*f - 2 = -2*b + 4, -4*f + 3*b - 9 = 0. Let n be 3 - (-2 + (-1 - -3)). Suppose z = -f*g + 4*g - 349, 4*z = n*g - 265. Is g a composite number?
True
Suppose 115 = -7*y + 2166. Is y composite?
False
Suppose 5*i - 30 = 20. Let k be (-15)/(-1)*(i - -1). Let h = k + -80. Is h prime?
False
Let j(u) = -u**2 + 22*u - 9. Let o be j(14). Suppose 2*q = 35 + o. Is q composite?
True
Let g(l) = 12*l**3 + 2*l**2 + 14*l - 34. Let v(x) = -10*x**3 - x**2 - 14*x + 35. Let c(a) = -4*g(a) - 5*v(a). Is c(16) a composite number?
True
Let m be (4/6)/((-1)/((-15)/(-2))). Is 2 + -6 - (m + -217) a composite number?
True
Is (-10 - -6) + 3259/1 + -4 prime?
True
Let t(i) = 25*i + 5. Let f be t(6). Let v = f - 79. Let j = v + -9. Is j composite?
False
Let o(p) = -3*p - 6. Let t be o(-2). Suppose t = 2*q - q - 331. Is q a prime number?
True
Suppose 113*r = 131*r - 2396754. Is r prime?
True
Suppose 4*g - 4984 = -2*y, -g - 2*g + 3724 = 5*y. Let l = 1906 - g. Suppose d + l = 3*d. Is d composite?
True
Let k be 4 - (4 + -7 - -17). Is (-254)/(-10) + 4/k a prime number?
False
Let y be 2/5*(65/(-5) - -3). Is 28/16*(1519 + y + 1) composite?
True
Suppose 8 = 5*p - w - 30, -5*w = -10. Is (-3)/(-12) + 5382/p a prime number?
True
Let v(m) = -m**3 + 4*m**2 + 7*m + 2. Let o be v(4). Is 7955/o - 2/12 a prime number?
False
Suppose 0 = -5*k + 121 + 84. Let u(x) = 4*x + 3*x - 42*x**2 + 0*x + k*x**2. Is u(6) composite?
True
Suppose 5*q = 26017 + 3888. Is q composite?
False
Is -3642*1*30/(-90) composite?
True
Let k(i) = 1476*i + 12. Let x be k(5). Suppose 5*z + x = -z. Let l = 2109 + z. Is l a composite number?
False
Suppose -10309 = -4*l - 9*l. Is l a composite number?
True
Let q(x) = x**3 - 12*x**2 - 12*x - 13. Let k be q(13). Let t(p) = -2*p + 163. Is t(k) a prime number?
True
Let b = 22 + -42. Let m be ((-3)/(-4))/((-3)/b). Suppose -9*r + m*r + 844 = 0. Is r prime?
True
Let k = 1862 + 4141. Suppose c = -5*f + 7504, 6*f + c - k = 2*f. Is f prime?
False
Suppose -3*x = -0*x + 495. Let g = x + 240. Suppose -g = -3*y + 198. Is y a composite number?
True
Suppose -7*v = -9*v + 26. Let k(l) = 7*l**2 - 17*l - 11. Is k(v) composite?
True
Let s(n) = -15*n**3 + 10*n**2 + 10*n - 11. Let p be s(-6). Suppose l = p - 220. Is l a composite number?
True
Let f(u) = -u**3 + 20*u**2 - 17*u + 29. Is f(14) composite?
False
Suppose o = -4*s + 2*o + 103, -4 = -4*o. Is -2 - 7562/(-9) - s/117 a composite number?
True
Let g(d) = d**3 - d**2 - 3. Suppose 4*w = 5*l - 12, 3*l + 3*w - 4*w = 3. Let k be g(l). Is (2/k)/((-4)/306) prime?
False
Is (-32*28)/(-4) + 2 prime?
False
Let c(s) = 5*s**2 - 11*s + 9. Let q(x) = -5*x - 1 - x**3 + 6*x**2 + 4 - x**2. Let r be q(3). Is c(r) prime?
False
Let q(b) = b**3 + b**2 + b + 21134. Is q(0) a composite number?
True
Let g(c) = 27*c**2 + 13*c - 89. Is g(10) composite?
False
Let m(t) be the first derivative of -t**3/3 + 11*t**2/2 - 11*t + 2. Let c be m(10). Is (-179 - (3 - 3))*c a prime number?
True
Let u(c) = 54*c**2 + 9*c - 31. Is u(4) a prime number?
False
Suppose -5*g - 5*f + 3340 = 0, -2*g + 1304 = -2*f - 44. Let h = g - 402. Is h a prime number?
True
Let v = -41 - -31. Let h = 25 + v. Suppose h = -3*g, 0*y = 2*y - 2*g - 252. Is y prime?
False
Let n be ((-20)/12)/((-2)/12). Let s be ((-10)/25)/((-1)/n). Suppose 8 = -s*i + 644. Is i a prime number?
False
Let t be 0 + -229 - (-7 - -5). Let m(i) = i**3 + 6*i**2 + 6*i - 17. Let l be m(-7). Let x = l - t. Is x a prime number?
False
Is (-10 + 7)*(-10706)/6 a prime number?
False
Suppose 0 = -2*o - 13 + 21. Is (-1)/o*2 + (-747)/(-2) a composite number?
False
Let o be (-18)/(-27) - 5/3*1. Is 2*o*422/(-4) a composite number?
False
Suppose -l + 4*g + 91 = g, 0 = 3*l - 2*g - 259. Suppose -5*a = 2*b - 1066, -2*a - 5*b - l = -503. Is a a composite number?
True
Let m be 1*((-1)/(-1) + -3). Let d be m*6*(-1)/4. Suppose -w = 4*z - 263, -w + d*z = z - 245. Is w prime?
True
Suppose -3*x + 4*r = -9309, 4*x + 6205 = 6*x - 3*r. Is x prime?
False
Let v = 906 - -175. Is v a prime number?
False
Let b be (2 + 8)*(-2)/(-4). Suppose 0 = -0*x + b*x - 3*s, 40 = 5*x + 5*s. Is x + (-132)/(1 + -3) a prime number?
False
Let d be 33/(-12) + (-6)/(-8). Let v = d - -61. Suppose 0 = -p + v + 152. Is p a prime number?
True
Suppose 0 = -2*y - 3*y - 2*h + 26, 5*y = 5*h + 5. Let p(w) = -2*w - 7. Let q be p(-6). Suppose -y*x + q*b + 240 = 0, 3*b = 5*x + 7*b - 341. Is x prime?
False
Let w be (-3)/7 + 26436/42. Suppose 2*g - w = -2*j + 5*g, j = -2*g + 297. Is j a prime number?
True
Let u = 27 + -21. Let o(s) = 9*s**2 - 7*s + 11. Is o(u) a prime number?
True
Suppose 4*b + 29340 = 6*b. Suppose b = 11*r - 6967. Is r prime?
False
Suppose 3*f - 510 = 3*p, 3*p = 4*f + p - 678. Suppose 5*u + 5*j = -1545, 449 = -2*u + 4*j - f. Is (-1 + -1)*2 - u composite?
True
Let j be (12408/28)/(3/42). Suppose 0 = -16*o + 4*o + j. Is o prime?
False
Suppose -2 = -0*y - 2*y - 2*c, -2*c - 28 = -4*y. Let h(b) = 48*b - 17. Is h(y) a composite number?
False
Let u(h) = 2*h - 38. Let k be u(20). Suppose 4*z + k*m - 4042 = 0, 2*m = 4*z + 3*m - 4039. Is z a composite number?
False
Suppose -3*o + 9 + 0 = 3*l, 3 = o - 2*l. Suppose -19 = -o*j - t + 1, 5*t = 5*j. Suppose 5*p = j*x - 130 - 345, -4*x + 382 = -3*p. Is x composite?
False
Let s be 0/(2 + (-4 - -1)). Suppose -v - 13 = -3*k, 5*v + 4*k + s - 30 = 0. Suppose -n - 127 = -v*n. Is n composite?
False
Let s = 449 + 906. Is s a prime number?
False
Is 8 - (59730*-1)/10 a prime number?
True
Let n be -4 + 6 + 9 - 2. Is ((-735)/n)/(-5)*3 composite?
True
Let r = -1657 + 2836. Suppose -r = -6*a + 3*a. Is a composite?
True
Let w(k) = 994*k - 153. Is w(7) a prime number?
False
Let u(n) = 2*n. Let d be 1/(0 - 4/(-12)). Let w be u(d). Is (-2708)/w*9/(-6) composite?
False
Suppose -22 = -l - 11. Suppose -l*p + 25*p - 14518 = 0. Is p composite?
True
Let n(s) = s**2 - 1. Let m be n(-2). Let j(u) = u - 3. Let a be j(m). Suppose a = -4*b + 425 - 85. Is b composite?
True
Let g(r) = -97*r - 6. Suppose -3*f + 4*n = -4 + 24, 0 = -5*n + 10. Is g(f) a composite number?
True
Suppose -2*m - 2 = -10. Is (4/m*-66)/(-2) prime?
False