 s - 4*s. Let p be -32 - (4 + -4) - s. Let h be (-8)/(-28) - 165/p. Is 5 at most h?
True
Let s = -14587/11 + 1327. Suppose 4*c - 1 = 7. Is c != s?
True
Let m(q) = -q**3 + 4. Let z be m(0). Suppose z*r = -5*b + 11, r + 4*r = -5. Suppose k + 14 = -0*k + b*p, -15 = -3*p. Which is greater: k or 3?
3
Let h = 221 + -223. Which is bigger: -32 or h?
h
Let t = 21 - 34. Let c = -1745 + 1744. Which is bigger: t or c?
c
Let j = 13 + -19. Suppose -2*h = h + 27. Let k be (-8)/3*h/(-4). Is j greater than or equal to k?
True
Let h = -15 - -14. Let p be 21/(-6) + (-3)/(-6). Let d be 1*(h + (-2)/p). Are 1 and d non-equal?
True
Let b be 31/(-4) - 2/8. Let l(o) = o**3 + 3*o**2 - 12*o - 8. Let f be l(-5). Suppose -f*j + 7 = -3*i - 10, i + 4*j = 13. Is i greater than or equal to b?
True
Let w be (-3)/(-9) + (-1461)/4437. Is 1 >= w?
True
Suppose 2*n = 13 - 3. Suppose 0*a + a = -5*x + 34, x = n. Suppose 12*f - 9*f = 2*h + 21, f - 2*h - 3 = 0. Are a and f nonequal?
False
Let i(a) = a**2 - 4. Let m be i(-3). Suppose -2 + 4 = -v, 4*g = -m*v - 10. Which is bigger: -5/4 or g?
g
Suppose 0 = 3*o - 4*v + 44 + 90, 5*o + 2*v + 206 = 0. Is -43 <= o?
True
Let o be 17/(561/18) + 14/(-66). Which is smaller: 565 or o?
o
Let d = -842 - -838. Is 77 greater than or equal to d?
True
Suppose 0*x + 2*x = -7*x. Suppose s = 6*s - 4*z - 3, x = 2*s - z. Is 3/10 equal to s?
False
Let u(k) = -3*k - 15. Let b be u(-6). Suppose -4 = -2*l + 4*a, -b*l + a = -2*l - 1. Which is greater: l or 4/31?
4/31
Let t = -707 - -12015/17. Is 0 not equal to t?
True
Let z(i) = -3*i - 15. Let y be z(-6). Suppose l - 3*p = -16, y*l - l + 18 = -p. Let h = -14 - -4. Is h at least as big as l?
True
Let y = -1/9896 - -497275/9896. Let a = -50 + y. Suppose 5*t = 2*d - 13, 4*t - 3 = 3*d - 19. Is t >= a?
False
Let p(j) = -j**3 - 5*j**2 - 4*j - 1. Let s be p(-3). Let i be 4/s + 8/(-28). Which is smaller: -2 or i?
-2
Let k(a) = 35*a**2 - a + 1. Let q be k(1). Let t be 10/q - (-9)/(-7). Let d be ((-14)/9 - t) + 1. Which is smaller: -0.1 or d?
-0.1
Let o = 327347/11 - 29788. Let r = o - -29. Is r bigger than 2/47?
False
Let r = 687 - 673. Which is bigger: 20 or r?
20
Let t be ((-124)/(-10))/((-9)/(-15))*3. Let m = t - 87. Which is bigger: -24 or m?
-24
Let x = 4305 + -4306. Let z be 134/(-60) + 3/9. Let l = -343/170 - z. Which is greater: l or x?
l
Let l(h) = h + 1. Let z(c) = c**2 + 12*c - 9. Let q be (-3)/(-2)*(8 - 6). Let d(x) = q*l(x) - z(x). Let k be d(-10). Are 4 and k unequal?
True
Let b(p) be the second derivative of -p**3/6 - 11*p**2/2 - 5*p. Let i be b(-10). Let u be (-4)/14 + -4 + 768/189. Which is greater: u or i?
u
Let d(k) be the third derivative of k**6/120 + k**5/10 - k**4/3 - 17*k**3/6 + 50*k**2. Let i be d(-6). Is i greater than or equal to 0.1?
True
Suppose -15 = 3*f + 6. Which is bigger: f or -6?
-6
Let w(u) = -u - 9. Let f be w(0). Let b = f - -4. Suppose 0 = 4*s + 5*n + 40, -4*s + n - 4*n = 32. Are s and b equal?
True
Let p = -0.47 - -0.9. Let q = 0.4 - p. Let k = q - 0.17. Which is bigger: k or -0.3?
k
Suppose -4*q = -2*k - 66, -5*q + 4*k - 2*k + 84 = 0. Suppose q - 42 = 2*i. Is i smaller than -12?
False
Let p(g) = -g**3 + 4*g**2 - 3*g. Let l be p(2). Let m(f) = 62*f - 37 + 65*f - 130*f. Let w be m(-13). Is w smaller than l?
False
Let g be ((-45)/(-10))/9*4. Let b(k) = -5*k**g + 4*k**2 - k**3 - 5*k**2 + 0*k**3. Let x be b(-6). Is x != 0.3?
True
Let u = 4559/36 + -1808/9. Suppose o + 95 = -5*f, 4*o - 5*f = -o - 355. Let h = o - u. Which is smaller: h or -2?
-2
Let y be (-8 + 1 + 6)/(1/12). Which is bigger: y or -11?
-11
Let z = 5 + -8. Let u(o) = -4*o**2 + o. Let g be u(-1). Let i be 13/g + 6/(-15). Is z < i?
False
Let u(j) = -j**2 - 20*j + 40. Let g be u(-22). Let o be (-120)/(-25)*(-2 + (-9)/g). Which is greater: o or 0?
o
Let z = 20.6 - 17.6. Which is smaller: -27 or z?
-27
Let v = -634 - -612. Are -21 and v equal?
False
Let s(h) = -h**2 + 4*h + 6. Let l be s(6). Let f be -9 + l*2/(-3). Which is smaller: -11/2 or f?
-11/2
Let h(l) = l**3 + 6*l**2 + 19*l + 62. Let n be h(-6). Is n greater than or equal to -59?
True
Suppose -q = 2, -7 = 82*r - 77*r + q. Is r greater than -6/205?
False
Let u be 4 - ((-498)/344)/((-30)/80). Is -1 less than u?
True
Let c = -11 - -6. Let d(h) = h**3 + 6*h**2 + 5*h - 7. Let u be d(c). Let g(v) = 60*v - 245. Let q be g(4). Do q and u have the same value?
False
Suppose -123 = -2*o - 173. Which is smaller: -24 or o?
o
Suppose -a + 11 = -3*m, 4*a + 0*a = -5*m - 41. Let d(w) = 4*w - 9. Let s be d(m). Is -29 bigger than s?
False
Let p be 1/(-2) - (468/(-440) + 1). Is 1 equal to p?
False
Let z be 1/((-4 - -10) + -5). Which is greater: z or -2/559?
z
Let k = -350.1 + 329. Let v = k - -21. Is -20 not equal to v?
True
Let v = -351 + 358. Which is greater: v or 55/9?
v
Suppose -2*f - 8*f = 0. Which is smaller: f or -2/1811?
-2/1811
Suppose -9*a - 147 = 1581. Do -192 and a have the same value?
True
Let q(f) = 2*f - 40. Let l be q(21). Which is greater: l or -57?
l
Let o = -7 - -15. Let k(g) = 3*g**2 - 2*g - 2. Let f be k(-1). Let n be 2/(-4) + f/(-18). Which is smaller: o or n?
n
Suppose 2*b = u - 2, -2*u = -24*b + 25*b - 4. Let r = 9/16 - 65/144. Which is bigger: b or r?
r
Let p be 8/(-2) - (-4 - (9 - 8)). Let n = 10 - 1. Which is bigger: p or n?
n
Suppose -4*y - 683 = a, -1366 = 7*a - 5*a + 5*y. Is a > -683?
False
Suppose 7*a + 4*c + 1220 = 197, 427 = -3*a - 4*c. Do a and -148 have different values?
True
Suppose a + 3*d = -176, 2*d = 19*a - 16*a + 517. Does a = -173?
True
Let c be 2/((-1078)/(-5845)) - 3/(-7). Is 12 smaller than c?
False
Let l be 15 + -1 + -5 + -8. Are l and 11/19 unequal?
True
Let f be (154/147)/((-4)/330). Let v = -571/7 - f. Which is smaller: v or 4?
4
Let f = -792 + 760. Is -33 equal to f?
False
Let x be 3*(-1 + 7/3). Let r(a) be the third derivative of -a**6/120 + a**5/15 - a**4/6 + a**3/6 - 6*a**2 + 4*a. Let p be r(x). Which is greater: p or -16?
p
Suppose -2*z - 12 = -4*n + 24, 4*n + 5*z = 36. Suppose 6*m + n = 3*m. Which is smaller: m or -2?
m
Suppose 4 = -2*p + p. Let s be 2*2/p*-1. Let c = -6.6 + -0.4. Are s and c equal?
False
Let p = 0.835 + -1.835. Do p and 137/3 have the same value?
False
Let h = 17 - 3. Suppose -2*v = -4*z + 80 - 22, -4*z - 4*v + 64 = 0. Is h < z?
True
Suppose -h = -2*h + 5. Suppose 15 = -h*b + 6*b. Let m be 39/b - (-3)/(-1). Which is smaller: 1/6 or m?
m
Let m = 31 + 3. Suppose -6*v + 8*v = -m. Which is smaller: -19 or v?
-19
Let f = 182.2 + -154. Let c = -31 + f. Is -0.1 <= c?
False
Let x be 2/(-17) + (-4482)/918. Is x bigger than 25?
False
Suppose -6*y + 36 = 60. Let f be (1/28)/(y/(-16)). Which is smaller: f or 0.14?
0.14
Suppose y = -5 + 15. Let u = 1429 - 1425. Which is smaller: u or y?
u
Let a be (3 + (-9)/3)/(-1). Suppose a = -6*i + 10*i + 68. Which is greater: -0.1 or i?
-0.1
Let y(q) = 26*q**2 + 5*q - 3. Let x be y(3). Let s be (-6)/8 - x/24. Let b = s - -9. Which is greater: b or -3?
b
Let m = 597/1198 - -1/599. Let u(s) = -9*s + 1. Let o be u(9). Is m >= o?
True
Let i be 4/(-6)*21/(-14)*-9. Let c(t) = 3*t + 4. Let v be c(-6). Let m = v + 4. Which is smaller: i or m?
m
Let p = -7 - -10. Suppose -4*c + p*w - 6 = 0, c + 0*c = 4*w - 8. Which is bigger: -1/4 or c?
c
Let d be 4/(-10) + 25366/(-385). Let t = 66 + d. Which is bigger: t or 12?
12
Let v(a) = a**2 - a. Let c be v(2). Suppose -3*n + c*o + 5 = 12, 2*n + 5*o = 27. Let k be (-6860)/20384 + 12/26. Which is bigger: n or k?
n
Let d = -90.66 - -94. Let j = d + -3.2. Is j >= -2?
True
Let m = -1271 + 856. Is m != 0.1?
True
Let g be (3 + (-2 - 0))*18. Let c be g/(-15)*(5 - 4). Is c equal to -1?
False
Let q(f) = -f + 5. Let h be q(4). Let s = -4 + h. Let i(d) = 3*d + 1. Let x be i(s). Which is smaller: -7 or x?
x
Let u = 44 - 45.3. Let a = u - 7.7. Which is greater: a or 0?
0
Suppose 3*m = 2*z, -5*z - 4*m + 57 = 11. Let y be (1 - 0) + (-111)/18. Let d = -2/3 - y. Is d < z?
True
Suppose 5*z + 21 = 12*z. Let i be (-2)/6 - 14/z. Let j = 7 - 13. Is i smaller than j?
False
Suppose -5*g - 51 = 34. Let a be 10/6*(-12299)/1255. Is g less than or equal to a?
True
Let k be 14 + 4/(-4) + -2. Suppose i = k*i + 750. Let u = i + 373/5. Which is smaller: -4 or u?
-4
Let h(u) = u**3 + 9*u**2 + 5*u - 15. Let c be h(-8). Let s = c + -14. Is -5 greater than s?
False
Let g(m) = 2*m**2 + m + 1. L