et r = 4 + d. Suppose 4*h + 10*i - 13 = 9*i, -10 = -2*h - 4*i. Which is smaller: h or r?
r
Let f be 0*(-4 - (-44)/12). Which is bigger: f or 6/11?
6/11
Let u(h) = -h**2 + h + 6. Let b be u(-2). Are b and -3/11 nonequal?
True
Let r = -13.8 + 9.5. Let t = r + 4. Is t at most 1/2?
True
Let d(w) = -w. Let p be 1/(-4) + 30/(-8). Let y be d(p). Let b be ((-5)/(-10))/((-2)/y). Which is smaller: b or 2?
b
Let p be (12/(-3))/8*0. Which is smaller: -2/9 or p?
-2/9
Let s be ((5 + -1)/(-12))/((-2)/(-18)). Which is bigger: -7/4 or s?
-7/4
Suppose -z = -0*z. Let y = 5.2 + -5. Which is greater: z or y?
y
Suppose 5*l + 7 = 22. Let f be 2/10 - 11/5. Let v = 0 - f. Which is bigger: v or l?
l
Let h = -1 - -2. Let d = -36 - -24. Let r = d - -8. Which is bigger: h or r?
h
Let d = -137940069748 - -29547728520410510/214207. Let z = 149/3017 - d. Let q = z - 6/71. Do 0 and q have different values?
True
Suppose -5*k + 2*g + 15 = 0, 11 - 41 = -k - 5*g. Let y(f) = -4*f - 7. Let w be y(-3). Are k and w non-equal?
False
Let x = 86 - 37. Is x less than 49?
False
Let y be ((-24)/54)/(4/(-15)). Is 1 at least as big as y?
False
Let m(d) = d - 13. Let v(x) = 2*x + 4. Let s be v(3). Let o be m(s). Are o and -3 equal?
True
Let f(x) be the third derivative of x**6/120 + x**5/60 - x**4/24 + x**3/3 + 2*x**2. Let n be f(-2). Suppose n = 3*r - 1 - 8. Is r less than 4?
True
Let w = 0.25 - -3.55. Let q = w - 4. Is q <= 0.2?
True
Suppose 3 = 3*x - 6. Suppose n = -b + x - 0, -n + 3*b = -7. Which is smaller: n or 3?
3
Suppose 0 = -2*f + 4, 2*t = 2*f + 27 - 7. Are t and 11 equal?
False
Let c = 0.08 + -0.07. Let v be (-30)/(-40)*8/15. Which is smaller: c or v?
c
Let u(r) = -r + 3. Let n be u(8). Let a = n + 11. Are 5 and a nonequal?
True
Suppose o = 5*o. Let n = -7/20 - -1/20. Which is smaller: o or n?
n
Let t(k) = 4*k**3 + 7*k**2 - 3*k - 6. Let u(n) = -9*n**3 - 15*n**2 + 7*n + 13. Let a(j) = 7*t(j) + 3*u(j). Let r be a(-4). Which is bigger: r or -2?
-2
Suppose 4*c - 2*c = 0. Let y = 4 - c. Is 3 equal to y?
False
Let s = -15/44 - -1/132. Let p(d) = d**3 + 4*d**2 - 4*d + 7. Let f be p(-5). Is f at most s?
False
Let f(z) = 3*z + 1. Let w be f(1). Let g = 5 - 1. Are g and w nonequal?
False
Let k = 22 - -6. Let a be k/(-21)*(-18)/(-4). Let s be 4/18*(-9)/a. Are s and -0.3 nonequal?
True
Let z = -64 + 321/5. Suppose -2*j - 6 = -4. Which is bigger: z or j?
z
Let k(o) = o**3 + 3*o**2 - 3*o - 1. Let c = -1 - 3. Let l be k(c). Is -4 >= l?
True
Let v(h) = -h**2 + 4*h + 2. Let t be (-3 - (0 - 0)) + 12. Suppose t = -5*y + 29. Let i be v(y). Which is greater: 1 or i?
i
Let o = -61.9 - -56. Let t = o + 6. Which is greater: -2 or t?
t
Let r(q) = -q - 1. Let v be r(4). Are v and -4 non-equal?
True
Let b = 0.124 - 2.124. Which is bigger: b or 1?
1
Let d = 148/11 - 14. Let k be ((-7)/((-70)/(-8)))/((-2)/(-5)). Which is bigger: d or k?
d
Let n be (-2)/(-10) - (-11)/(-55). Which is smaller: -2/27 or n?
-2/27
Let r = 53 + -25. Suppose 5*w - r = -8. Let i be w + -3 - (0 - 0). Which is greater: 2 or i?
2
Let v = -6.4 + 6. Let p = v + 0.5. Let a = 11 - 10. Is p not equal to a?
True
Let u be ((-4)/2 - -1)*-2. Suppose -i = -3*i + u. Let f = -3/28 + -1/7. Which is smaller: i or f?
f
Suppose 3*d - 2 = 4*y - 7, -8 = -2*d - 3*y. Let w = 0.03 - 0.09. Do d and w have the same value?
False
Let v(u) = -u**2 + 7*u - 15. Let d be v(8). Which is smaller: -22 or d?
d
Let g(w) be the second derivative of w**4/12 + 5*w**3/6 - 5*w**2/2 + 3*w. Let k = -13 + 8. Let c be g(k). Which is smaller: -4 or c?
c
Let o = 0.4 + -0.32. Let c = 2.92 + o. Let x = -3.1 + c. Which is smaller: -1/3 or x?
-1/3
Let y be 2*(2691/6)/3. Let h = y + -3885/13. Which is smaller: 0 or h?
0
Let g = -193 - -78. Let t be (-1)/(-5) + g/(-50). Are -0.1 and t non-equal?
True
Let b = 6 + -5. Let v be -6*(0 + 1)/b. Let n = v + 7. Are 4/7 and n nonequal?
True
Let b(l) be the third derivative of -l**7/5040 - l**5/30 + l**2. Let v(u) be the third derivative of b(u). Let i be v(-3). Which is smaller: i or 4?
i
Let i be 150/(-65)*3/(-15)*4. Which is bigger: 1 or i?
i
Let i be ((-2)/(-4))/(3/66). Let k(w) = -w - 11. Let a be k(-15). Suppose o = -4*x - i, 4*o + x - a = -3. Which is smaller: 0 or o?
0
Let f be -4 - (0 + -6 + 3). Which is smaller: f or -4/5?
f
Let t = 1.5 - 0.5. Let f = -0.9 + t. Which is smaller: 0.9 or f?
f
Let g(a) = a**2 - a. Let d be (-4 - -4)/(1/1). Suppose -u - 3*u = d. Let b be g(u). Is b >= 0.4?
False
Let w = 153 + -154. Let y = 1.1 - 0.94. Are y and w equal?
False
Let n = -0.1 + 0.11. Let v = 1.99 + n. Let p = -0.9 + -0.1. Which is smaller: v or p?
p
Let z = -1.7 + 1.6. Let j be (-2)/7 + 99/(-21). Which is smaller: z or j?
j
Let l = -260 + 1296/5. Is l at least 0.2?
False
Let c(y) = -2*y**2 + 1. Let j be c(-2). Let t be (0 - 7) + -1 + 1. Is t bigger than j?
False
Let j = 863/2457 - -2/1755. Let u = 1/21 + j. Is 1 > u?
True
Let p be 56/(-18)*-6*99/44. Is p less than 43?
True
Let y be 16/(-36) - (-2)/(-9). Let w(p) = p**2 + p - 4. Let d be w(3). Suppose -4*l - 2*q - d = 0, -5*l + 0*q - 16 = 4*q. Which is smaller: l or y?
y
Let t be (28/42)/((-116)/(-70482)). Let y = t + -405. Is 1 < y?
False
Suppose -f = f - 6. Suppose -2 + f = -x. Is x greater than or equal to -3/7?
False
Let y = 11 - 18. Let d(x) = x - 6. Let s be d(0). Let c be s/15*10/14. Which is smaller: c or y?
y
Suppose 5*h + 2*q - 5 = 5, 4*q = -h + 2. Let o(w) = 3*w**2 + w**3 - w**h - 1 + 0*w**2. Let s be o(-2). Does s = 1/4?
False
Let z = 80.9 + -81. Is z greater than or equal to 0.33?
False
Let s = 61 + -307/5. Let r(v) = -v**3 + 6*v**2 + 19*v - 24. Let q be r(8). Is q smaller than s?
False
Let j be -8 + (-3)/(-1) - -1. Let c be (2 + j)*(-1)/7. Are c and -1 equal?
False
Let p = 0.1 - -0.1. Let y = p + -0.2. Let j = 6.2 - 6. Which is smaller: y or j?
y
Let q = 650 + -401. Let n = 253.98 - q. Let r = n + 0.02. Do -1 and r have different values?
True
Let l(b) = -b**3 - 5*b**2 + 8*b + 7. Let z be l(-6). Suppose 57*p - 61*p - 24 = 0. Is z not equal to p?
True
Let c be 10/15 - (-7)/(-24). Are c and 1 unequal?
True
Let j = -612/1505 + 2/301. Suppose -2*n = -5*n. Let b = 1 + n. Is j != b?
True
Let h(n) = n - 9. Let y(g) = g - 10. Let b(z) = 6*h(z) - 5*y(z). Let c be b(7). Let i = c + -7. Are -1 and i non-equal?
True
Let g be (-5 - -1) + (-15)/(-4). Which is greater: -4/7 or g?
g
Suppose 2*c - 4*c - 36 = 0. Which is greater: -17 or c?
-17
Let l = 15 - 11. Suppose 0 = -y + 4*o - 10, l*y + 4*o - 20 = 0. Is y at least as big as 1?
True
Suppose -5*j = -4*j - 1, 5*j + 19 = 4*b. Suppose -b = -3*l + l. Let t be 4/(-6) + (-4)/l. Is 0 bigger than t?
True
Let c = -1 + 0. Let v = -48 + 23. Let j be (-85)/v + (-4)/10. Which is greater: c or j?
j
Let c = 3.05 - -12.05. Let z = c - 15. Is 2/9 greater than or equal to z?
True
Suppose 0 = -4*v - 3*n + 79 + 38, n = -1. Which is bigger: 28 or v?
v
Let d = 89 + -149. Let h be 9/(-15) - 46/d. Which is greater: 0 or h?
h
Let l be ((-9)/(-18))/((-1)/(-2)). Are l and 9/5 unequal?
True
Suppose 2*p + 1 = 2*b + 3, 41 = 4*b + 5*p. Suppose -5*u + z - 6 = 0, 3*u - b*z + 5*z = -2. Are 0.4 and u non-equal?
True
Let a = -243/2 + 119. Let q = -22 + 20. Which is bigger: a or q?
q
Let h be 4/24*3*-10. Is -4 equal to h?
False
Let m = 1/162 + 209/1134. Which is smaller: 1 or m?
m
Let r be (1 - 100/102)*(-4 - -1). Which is smaller: r or -1?
-1
Suppose 3*v - 95 + 36 = 2*c, -4*c + 3*v - 121 = 0. Is c at least -33?
True
Let k = 2301915 - 1853041826/805. Let p be 418/(-1610) + (-2)/(-7). Let q = k + p. Is q > 0.4?
False
Let u = -4/49 - 62/441. Do 0.4 and u have the same value?
False
Let i = -6917 + 34127/5. Let o = i - -92. Let q = 3 + -4. Which is bigger: o or q?
o
Let b(q) = q**3 + 5*q**2 + 6*q + 4. Let f be b(-4). Let g be (f + 3)/((-1)/2). Suppose i = -g*i. Is i at least 1?
False
Let l be (-6)/(-9)*3/(-21)*-6. Which is greater: l or 0.2?
l
Let g be 86/7 - 10/35. Suppose 3*q = -0*q - g. Let m = 6 + q. Is m not equal to 3?
True
Suppose r - 5 = -0*r. Let c = -2 + r. Suppose c*q = -2*q. Which is smaller: 2/15 or q?
q
Let f = 13/8 + -733/456. Let z = f + -119/285. Is z less than -1?
False
Let i be (2/5)/(3/75). Let s = i + -7. Suppose -s*l = l. Which is smaller: l or -2/7?
-2/7
Suppose 2*z + 6 - 2 = -4*h, 0 = 2*z - 2*h - 2. Suppose z = f - 2 - 2. Suppose f*y + y = 5. Is y equal to 2/7