a composite number?
True
Suppose 28 = 2*d - 12. Suppose 7*y - d = 3*y. Suppose -4*z + 2*z - 52 = -4*s, y*z = 5*s - 75. Is s composite?
False
Suppose 21*m = 8*m - 13. Let l(f) be the first derivative of -305*f**4/4 + f**2/2 + f - 2. Is l(m) prime?
False
Suppose -4*j - 79 = -b + 492, -2*b + 1130 = -4*j. Let g = -348 + b. Is g a prime number?
True
Let v = -491 + 2184. Is v composite?
False
Is 3698 + -32 - (2 - (-3)/(-1)) composite?
True
Let v = 1 - -207. Suppose -3*q + 0*h = -h - v, -4*q = -2*h - 278. Is q composite?
True
Suppose -31*a + 235924 = 21*a. Is a composite?
True
Let v be 4/30 + 0 - 163/(-15). Suppose -2*k = -59 - v. Is k a prime number?
False
Suppose -3*d + 24735 = -8709. Let z = d - 7925. Is z a composite number?
True
Suppose -16*t + 2462 = -15*t. Suppose -3*i - 844 = -l, 2*l + l + 5*i - t = 0. Is l a prime number?
True
Let z be 1*2 + (-230)/(-2 + 3). Let k = z - -389. Is k a prime number?
False
Suppose -13 = -5*f + 7. Suppose 0 = f*i + 2*i - 126. Is i a prime number?
False
Let g(p) = -p**3 + p**2 + 5*p + 1. Let t be g(-2). Suppose -t*q + 124 + 140 = 0. Suppose q = f - 163. Is f a composite number?
False
Let m = -13 + 7. Let o be (-3)/m + 6532/8. Suppose -206 = -3*d + o. Is d a prime number?
False
Suppose 0 = -0*x + 6*x - 12. Let w(k) = -78*k - 2. Let o(h) = 1. Let t(p) = -3*o(p) - w(p). Is t(x) composite?
True
Let p(j) = j**3 + 31*j**2 - 8*j - 37. Is p(-31) a prime number?
True
Suppose -3*k + 2*g + 5973 = 0, 3*g - 2*g = 2*k - 3982. Is k prime?
False
Suppose 6*f = 1171 - 457. Is f a prime number?
False
Suppose 6*q - 3*d = 10*q - 60347, -5*q - 3*d + 75436 = 0. Is q prime?
False
Let z(a) = -135*a**2 - 4*a - 2. Let v(q) = -67*q**2 - 2*q - 1. Let w(i) = -5*v(i) + 2*z(i). Is w(2) a composite number?
True
Let z = -37184 - -128601. Is z a prime number?
False
Let w = -24 + 3. Let l be (-6)/w + 9297/21. Suppose 5*z = 2*g + l, z + 2*g - 33 - 58 = 0. Is z composite?
False
Suppose -1312 = 2*k - 5*q, -5*q = 5*k + 852 + 2428. Let j = 1110 + k. Is j composite?
True
Suppose -y + 5 = -4*m, 2*m = 5*y - 11 - 14. Suppose m = -3*x + 5*l + 794, 0 = -2*x + 4*l - 152 + 682. Is x a prime number?
True
Suppose -64463 - 113157 = -5*k + 5*x, 0 = -3*k + 4*x + 106577. Is k composite?
True
Suppose 198*l - 105348 = 186*l. Is l composite?
False
Let k be (4/(-7))/((-24)/84). Suppose -k*j + 529 = 89. Suppose -28*w + 24*w + j = 0. Is w composite?
True
Let s = 1173 + -776. Is s composite?
False
Let i = 253 - 143. Is 73570/i + (-6)/(-33) a prime number?
False
Let f = -5241 + 2152. Let u = -2200 - f. Is u prime?
False
Let b = -30 - -50. Let f be (1 + -3)/((-8)/b). Suppose -f*q - 447 = -2*c, 0 = -2*c + 4*c + 3*q - 407. Is c composite?
False
Suppose 15 = -3*l, 3*l = -3*y + 6*l - 993. Let b = 1 - y. Is b - (2 + (2 - 4)) composite?
False
Let n(s) = -s - 4. Let f be n(-8). Let y = f - -1. Suppose y*v + a + 149 = 1105, 2*a - 384 = -2*v. Is v composite?
False
Suppose 0 = 2*s + 2*i + 1042, -s - 3*i + 2049 = -5*s. Let y = -301 - s. Is y prime?
False
Let n = -11577 - -23530. Is n a composite number?
False
Let i = 27632 - -3125. Is i composite?
False
Let a(n) = -n**3 + 40*n**2 + 15*n - 109. Is a(26) a prime number?
False
Suppose 11*y = 14*y - 12. Suppose y*w - 2*v = 550, v = -3*w + 4*v + 408. Is w prime?
True
Let c = -1811 - -3844. Is c prime?
False
Let w(b) = 723*b**2 + 31*b - 23. Is w(-6) a prime number?
True
Let l be (-80745)/(-6)*(-4 + 6/3). Is l/(-63) - (-2)/(-9) prime?
False
Let c(b) = 2309*b + 18. Is c(1) composite?
True
Suppose 0 = -5*z - 2 - 18. Is z*(2375/(-20) - (2 - 3)) prime?
False
Suppose 0 = 2*i - 6*i + 8. Suppose 10 = i*v, -5*n - 2*v = 3*v - 1445. Let u = 411 - n. Is u composite?
False
Is 88 + (-5)/10*18 a composite number?
False
Suppose -100*r + 492877 = -23*r. Is r composite?
True
Let p = 245 - -586. Let n(z) = 4*z**3 + 2*z**2 - 5*z - 4. Let d be n(-4). Let s = d + p. Is s a prime number?
False
Is 114/399 + (-1 - (-8202)/7) a prime number?
True
Suppose -5*r = -4*q - 26, -2*r + 3*r = 2*q + 10. Suppose r*x - 1143 = -x. Is x a composite number?
True
Let u(f) = -5*f + 3. Let o be u(2). Suppose 3 = 4*b + 11. Is (-1437)/(-7) - b/o composite?
True
Suppose 16 = 4*g, -2*g - 86 = -2*b + 830. Suppose -2712 + b = 3*f. Let a = -524 - f. Is a a composite number?
True
Let t(c) = 9*c - 2. Let z be t(2). Suppose -5*v = -z + 1. Suppose g + 0 = -2, v*g = -4*d + 262. Is d a composite number?
False
Suppose -5 = n, 3*n + 46 = -3*q - 2*n. Is (-538)/q - 1/(-14)*2 a composite number?
True
Suppose 89181 = 11*a - 98358. Is a a composite number?
True
Suppose 0 = h - j - 1184, 2*h - 2370 = -0*h + j. Suppose h = 4*z - 6610. Is z prime?
True
Let i = 4496 - 2549. Suppose -9*k = -6*k - i. Is k prime?
False
Suppose -5*v - 2*s = -19, -2*v = 2*v - 2*s - 8. Suppose w = -2*h + h + 10, -v*h + 4*w + 2 = 0. Suppose 1310 = 5*k + 3*a, a = 5*k + h*a - 1320. Is k prime?
False
Let a = -54 + 127. Suppose k - 180 - a = 0. Is k composite?
True
Suppose -55 = -v - 0*v + 5*d, 3*d = -3*v + 75. Let w = v + -25. Suppose -3*i - 3*y + 66 = 0, -2*y - 80 = -w*i + 3*y. Is i a composite number?
False
Suppose v - 10 = -v. Suppose 4*r = d + 20, v*r - 15 = 2*d + 7. Is r composite?
True
Let i(t) = -t**3 + 11*t**2 + 13*t - 9. Let s be i(12). Let o(a) = 38*a**3 + a**2 + 2*a - 2. Is o(s) composite?
False
Let n = -2363 - -3615. Let y = n + -617. Is y a prime number?
False
Suppose -4*r + 2*k + 10 = 0, 0*r - 5 = r - 2*k. Suppose 6*a - r*a - 4 = 0. Suppose 103 = -a*v + 755. Is v composite?
False
Let f = 49 + -48. Is (f - 20/12)*2739/(-2) a composite number?
True
Let t be ((-1256)/1)/(24/(-12)). Let c = 1980 + t. Is (-8)/2*c/(-32) composite?
True
Suppose 5*u = -3*d + 2796 + 1595, 5*u + d = 4397. Let y = u - -1509. Is y prime?
True
Suppose h = -5*l - 14 + 37, 23 = 5*h + 2*l. Is 2*260 + (4 - h) a prime number?
True
Let f(a) = 52*a**2 - 10*a - 11. Is f(-13) a prime number?
False
Let h be (2 - -10 - 3)/3. Suppose -4*t + 15 = -a + 3, -h*a = t + 10. Suppose -2*l + 2*p + 180 = 0, 4*p + 269 = 5*l - t*l. Is l prime?
False
Suppose 4*q - 69392 = -4*q. Let x = q - 5037. Is x composite?
False
Let k be -2 + 2/((-8)/(-836)). Let f = 394 - k. Is f prime?
False
Let d(x) = 5*x**2 - 9*x - 7. Suppose -r + 3*o = -2*r - 19, -r + 2*o + 1 = 0. Is d(r) a prime number?
False
Suppose -590 = -5*n + b + 7120, 3*b = -3*n + 4644. Is n a composite number?
False
Let x be (0 - 1/(-5)) + (-591734)/(-130). Suppose 15332 = 12*h - x. Is h prime?
True
Suppose m - 4 + 0 = 0. Suppose f - m = -8. Is ((-4)/f - -185) + 1 a prime number?
False
Let r(n) = 10*n**3 - n**2 + n - 1. Let o be r(1). Suppose -o = -f - 2*f. Suppose x - 43 = -3*p + 37, -4*x - f*p = -293. Is x composite?
False
Suppose i + 37 - 5 = 0. Let d(m) = -72*m + 3. Let a be d(-3). Let h = a + i. Is h a composite number?
True
Let k = -22005 + 32066. Is k composite?
False
Is 2810223/(-195)*(1 - (-32)/(-12)) prime?
True
Let s = 783 + -437. Let w = s - -93. Is w prime?
True
Suppose 0 = 3*q + 4*t - 60, 2*q - 4*t + 5 = 25. Is 5304/q - (-2)/(-4) composite?
False
Let n = 6 - -288. Let p = -168 + n. Suppose -4*s + 2*b + 257 = -19, p = 2*s + 2*b. Is s a composite number?
False
Is 36 + 156 + 0 + -1 composite?
False
Suppose -6*t = -35*t + 36917. Is t prime?
False
Suppose 10*n - 83096 - 958974 = 0. Is n a composite number?
False
Let l(b) = b**3 + 11*b**2 + 10*b + 7. Let r(i) = i**3 - 5*i**2 - 9*i + 12. Let h be r(6). Is l(h) prime?
True
Let s(o) = -o**3 + 6*o**2 + 9*o. Let v be s(7). Suppose 141 = -n - v. Let m = n + 312. Is m a prime number?
True
Suppose 0 = 5*o + q - 6*q + 20, 0 = o + q. Is 15/(o/(-12) + 10/12) prime?
False
Suppose 5*d - 187 = -62. Let n = d + -20. Suppose 0 = -n*p + 23 - 8. Is p composite?
False
Is 9921 + (-8 + 3 - -7) a composite number?
False
Let h(u) = u - 2 + 13*u**2 + 0*u**2 + u**3 - 3*u**2 + 14. Let s be h(-10). Suppose 0 = -2*i + 6, -s*i + 524 = 3*f - 97. Is f prime?
False
Let i be 3658/5 + 8/20. Suppose 4*z - i = -0*z. Suppose x + 50 = h - 3*x, -4*h = x - z. Is h a prime number?
False
Let z(l) be the first derivative of l**4/4 + l**3 - 2*l**2 - 6*l - 4. Let n be z(-4). Is n/(-3) + 2 + 31 composite?
True
Let t(a) = 1190*a**3 + 2*a - 3. Is t(1) composite?
True
Let q = -6 - -175. Suppose q + 1795 = -4*o. Let t = -328 - o. Is t a prime number?
True
Let n(t) = -2*t + 77. Let s be n(0). Let r = -155 + s. L