h - 10*h - 14. Suppose -5*n + 157 - 51 = -3*y, -4*n + 76 = h*y. Which is bigger: n or 19?
n
Let s(g) = -g**3 + 3*g**2 + 10*g + 4. Let m be s(5). Suppose 0 = -3*n + 3*v + 15, 0 = -3*n + m*v - 6*v + 15. Let d be 14/10 + 3/n. Which is smaller: 12/5 or d?
d
Let i = -420 - -414.26. Which is greater: i or 0?
0
Let r = -557 + 557.1. Which is bigger: r or -39?
r
Let u = 130 + -70. Let i = u + -67. Let h be 2*-1 - 32/(-14). Is h not equal to i?
True
Let z(v) = 7*v + 18. Let p(s) = -20*s - 55. Let c(k) = 4*p(k) + 11*z(k). Let x be c(-7). Is 6 at most as big as x?
False
Let x = 4/2463 + -30128/352209. Which is greater: 1 or x?
1
Suppose 0*i = -i + 5. Suppose -i*t + 82 = 3*w, t + 5*w - 1 = 11. Is t < 18?
True
Let k be (-8)/(-8) + -2 + 0 + 2. Let l be 5*k + 220/(-40). Is l less than 0.035?
True
Let k(v) = 14*v**3 + v**2 - 9*v - 23. Let y be k(-2). Are -0.3 and y equal?
False
Let c = -310/13 + 309/13. Suppose 6 = -2*s + 3*s. Suppose s*r = 2*r. Which is smaller: r or c?
c
Let i = 139 + -138.9. Which is smaller: i or 0.065?
0.065
Let z = -14 - -14.6. Which is greater: -4 or z?
z
Let f = 10 + -9.1. Which is smaller: 13 or f?
f
Let o(n) = 1 - 7*n + 6*n**2 + 2*n + n - n**3 - n**2. Let s be o(3). Let z be 1 + -2 - s/7. Do -2 and z have the same value?
True
Let l(x) = x**3 - 6*x**2 + 5*x - 2. Suppose 0 = -7*z + 3*z + 20. Let a be l(z). Let p be (54/12)/(a/(-4)). Is p greater than 7?
True
Let j = -541 - -511. Suppose -5*z + o + 8 - 151 = 0, 5*z + 3*o + 151 = 0. Is j bigger than z?
False
Suppose 11*s - 12 = 8*s. Let g be (s + -4 - 4)*2. Let p be (g/(-48))/(1/(-4)). Is p bigger than 1.3?
False
Let q(k) = k**3 + 11*k**2 - 12*k + 14. Let o = 5 + -17. Let x be q(o). Which is greater: x or 12?
x
Let u be ((-5)/((-100)/115))/((-6)/(-24)). Let h = -3 - -6. Do h and u have the same value?
False
Let q be (-8)/(-42) - 10/15. Let b = -6/7 + q. Which is smaller: b or -2/5?
b
Let i = 26 - 22. Let w be ((-2)/i)/(6/(-12)). Which is bigger: w or -1?
w
Let f be ((-870)/(-203))/(1/7). Which is greater: f or 28?
f
Let t = -178 - -892/5. Which is greater: t or 47?
47
Let p be 4/(-14) - (13 - (-643630)/(-48440)). Which is smaller: p or -1?
-1
Let p be 2/(-4)*(-6)/(-1). Do p and -47/20 have the same value?
False
Let r = -2176 - -2949. Is r smaller than 772?
False
Let d(q) = -q - 11*q**2 + 12*q**2 + q - q**3. Let n be 4/(-18) - (165/(-27))/5. Let y be d(n). Is -1/5 greater than y?
False
Let z = -9 + -15. Let u(o) = -8*o - 336. Let p be u(-39). Does p = z?
True
Suppose -3*o - 1 = -2*o. Let d be o + (-1 + 2)*0. Let g be 10/15*(-3 + 15/6). Is d smaller than g?
True
Let x(c) = 0 + 2 + c**2 + 3*c + c + 4*c. Let p be x(-6). Let w be ((-3)/p)/(60/50). Is 7 greater than w?
True
Let p be (-13)/52 + (-1)/(-4). Let q be 6/4*22/(-66). Are q and p non-equal?
True
Suppose -495*t - 2 = -494*t. Which is smaller: 1/10 or t?
t
Let l be (-108)/(-455) + (-4)/(-14). Let i = 2330/161 + -2544382/177905. Let t = l - i. Which is smaller: 0 or t?
0
Let d = -6 + 6. Let j = -2182/11 + 197. Is d < j?
False
Let c = 15 + -13. Let u(f) = -c*f - 3*f**2 + 4*f - 2*f. Let q be u(-1). Which is smaller: -4 or q?
-4
Suppose 42*a = -j + 40*a, -20 = -4*a. Which is greater: -29 or j?
j
Let o = -172 + 167. Suppose 0 = -n + 4*y + 12 - 1, 3*n + 4*y + 31 = 0. Do n and o have the same value?
True
Suppose 55 - 55 = -2*z. Is 2/873 equal to z?
False
Suppose 10 = 2*b + 3*b. Suppose 3*z + b*z = 0. Let i = -2/25 - -41/200. Which is greater: i or z?
i
Let f be (1 - 1167938/1547864) + (-1)/4. Let x = f - 6/1013. Is 1 greater than or equal to x?
True
Suppose -15 - 9 = -a. Let o be -4*(-305)/50 + 15/25. Let m = o - a. Is m > -13/3?
True
Suppose -1111*y + 1119*y = -320. Is y greater than or equal to -44?
True
Let q = 0.2 - -2.85. Let o = q + -0.05. Let w(s) = s**2 - 10*s + 1. Let h be w(10). Is o != h?
True
Let i be (-142)/(-14) + -7 - 3. Let b(c) = c**2 + 5*c - 10. Let q be b(-7). Let s = 3 - q. Is s greater than i?
False
Let g(r) = -2*r**3 + 8*r**2 + 4*r - 3. Suppose -4*l = n + 3*n - 12, 0 = 3*l + 4*n - 6. Let m be g(l). Is m at least -122?
False
Let a(g) = g**3 - 4*g**2 - g - 6. Let p be a(4). Let k be (2/p)/((-51)/(-5)). Is -1 at least k?
False
Let c be (1 - (-3)/(-15))*(-55)/2. Let d be c/(-16) - (-21)/(-56). Are -1/56 and d equal?
False
Let l = 35023/7 - 5049. Is l smaller than -47?
False
Let m(s) be the third derivative of -s**4/24 + 5*s**3/3 - 8*s**2. Let h be m(8). Suppose 2*r + 8 = -4*w, 0 = 3*r - 6*r - 4*w - 6. Is h at most r?
True
Let n(v) = -v**3 + 6*v + 4. Suppose -j - 2 = x - 2*j, 0 = x + 3*j + 14. Let k be n(x). Is k greater than or equal to 99?
True
Suppose 28 = g - 59. Let c be (-93)/g + (-3)/(-3). Which is smaller: c or -1?
-1
Suppose 4*j + 15 = -k, 22 = -4*k + j + 2*j. Let s = -49 + 26. Let v = k - s. Which is smaller: v or 15?
15
Let w(y) = -2*y**2 - 53*y - 68. Let u be w(-25). Which is bigger: -5 or u?
u
Suppose 18*t - 8010 = 3*t. Which is bigger: t or 536?
536
Let j be 1 - (34/(-2) + 0). Let u be (-2)/24*j/8. Let k(m) = m**3 + 28*m**2 - 35*m - 173. Let b be k(-29). Which is smaller: b or u?
u
Suppose 59*r - 5*a = 63*r - 2438, 0 = -2*r - 2*a + 1220. Which is greater: 611 or r?
r
Suppose 117 = -13*r + 16*r. Suppose l + r = 3*u + 5, -2*u = -l - 35. Is l bigger than -39?
True
Suppose 4*c + 13 = 5*l, 3*l = -0*c + c + 5. Suppose -3*i = 4*a - 26 - 34, 0 = -5*i. Let n be (-11)/a - (-3)/9. Are n and l equal?
False
Let f(l) = 3 + l**2 + 4 - 7 + 1 + 6*l. Let o be f(-5). Let b be (-2)/(-12)*(o - -3). Which is greater: b or -1?
b
Let u = -1316 - -1316. Let q = -7 + 18. Which is greater: q or u?
q
Suppose 247*s - 4 = 251*s. Is s not equal to -7/50?
True
Let o = -782/5 - -22888/145. Let j = o + -1244/899. Let x be (0 - 1) + (1 - 0). Is x at least as big as j?
False
Let g(a) = -a**3 - 19*a**2 - 29*a - 23. Let j be g(-17). Let r = j - -184. Which is greater: r or 77?
77
Suppose g + 6 = 3*o + 9, g - o - 1 = 0. Is g at most as big as -14/13?
False
Let m = 554 - 556. Which is smaller: m or -0.2?
m
Let s = -22 + 14. Let r = -8.2 - s. Let g = 0.2 + -0.25. Is g equal to r?
False
Let s = 27 - 27. Which is bigger: 1 or s?
1
Let h(a) = -250*a**3 + 4*a + 3. Let v be h(-1). Which is bigger: 247 or v?
v
Suppose 6*t + 186 = -0*t. Let p = t + 84. Is 54 at least p?
True
Let r = -111 + 292. Is r less than 545/3?
True
Suppose -4*d - 118 = 38. Which is bigger: d or -42?
d
Let d be 3 + -4 - (-18 + 2). Suppose 0 = -5*i - d, -3*l - 2*i = -0 + 6. Which is smaller: 3/8 or l?
l
Let c be (2*2)/(16/(-552)). Let f = c + 692/5. Let u = f - 19/35. Is 1 > u?
True
Let d = 1 - 3. Let i be (-6)/(-24) + d*(-13)/24. Is 1 <= i?
True
Let w = 2091 + -27224/13. Is w at most -3?
True
Let i be 0 - (-64)/24 - (2 + 0). Which is bigger: -334 or i?
i
Let p be 8/20*5 + 110/(-1). Let k be p/8*12/(-9). Is 18 smaller than k?
False
Suppose -2*z - 4*y = 38, 4*z - 3*y + 3 = 2*z. Suppose u + 5*n + 12 = -53, -u - n - 57 = 0. Let c be ((-11)/u)/(z/(-5)). Is -1 less than c?
True
Let z(p) = 4*p - 131. Let r be z(0). Let w = r + 136. Is w less than or equal to 5?
True
Let q = -0.15 + -0.25. Let y = -0.52 - 0.08. Which is smaller: q or y?
y
Let d be ((-30)/5)/(1 + 0/(-2)). Let u(f) = -2*f**2 + 2*f - 1. Let v be u(2). Is v not equal to d?
True
Let l = 330 - 2971/9. Which is bigger: l or -1?
l
Let x = 20 + -23. Let p(g) = -g**2 - 5*g - 7. Let h be p(x). Does h = 4/9?
False
Let c = -25951/75 + 346. Which is smaller: c or 0?
c
Let g be (10/(-3))/((-28)/(-63)). Let i = 129 - 137. Does g = i?
False
Suppose 0 = -g + p, 3*g + g = p. Let z = -16/225 - 2/225. Which is smaller: g or z?
z
Let y(z) be the first derivative of z**4/4 + 8*z**3/3 - z**2 + 3*z + 2. Let p(d) = d - 1. Let v(i) = -2*p(i) - y(i). Let h be v(-8). Which is bigger: h or 2/29?
2/29
Let k = -265 - -1327/5. Do -84 and k have the same value?
False
Suppose -5*i + 4 = -2*i + 4*p, 3 = 3*i + 3*p. Let f = 438 + -3075/7. Which is greater: i or f?
i
Suppose -2*r + 0*d = d - 13, 5*d = 15. Let h be (8/(-6))/(4/(-18)). Let x = r - h. Which is greater: x or 2?
2
Suppose 0 = 10*i - 12*i. Suppose -2*t + 4*t + 20 = i. Are t and -9 equal?
False
Suppose -2*a + 3*n = -1, -11*n = 2*a - 10*n + 3. Which is smaller: a or 24?
a
Let q(j) be the second derivative of 7*j**4/12 + j**3/2 - 3*j**2/2 - 6*j. Let n be q(1). Do n and 5 have the same value?
False
Let s 