 = 184/855 - l. Suppose 0 = -2*p + 2*i - 10, 5 + 13 = -2*p + 4*i. Is g at most p?
False
Let j(u) = -u + 3. Suppose -3*i + 14 = 5*f, 6*f - 4 = 2*f. Let n be j(i). Is n equal to -1?
False
Suppose 0 = -2*p + 5*p - 33. Let c = p + 4. Let h be 3 + (-5)/(c/4). Which is smaller: 1 or h?
1
Let d = -1.3 - -0.6. Let m = 1 + d. Let h = 0.2 - m. Is h bigger than 1?
False
Let d(w) be the second derivative of w**4/12 - w**3 - 3*w. Let z be d(6). Is z bigger than -2/7?
True
Let b be -1 + 1 - (-10 - 6). Is 0 > b?
False
Let z = 0.2 + -0.1. Let s = 20.044 + -0.044. Let p = s + -19.8. Which is smaller: z or p?
z
Suppose 16 = 6*g - 2*g. Let s be (-1)/g + (-2)/(-4). Let n(j) = j**3 - j**2 + 1. Let o be n(-1). Which is smaller: o or s?
o
Let u = 3443/13 + -265. Which is smaller: u or -2?
-2
Let n = 12/59 - 10538/177. Let v = 296/5 + n. Which is smaller: v or -1?
-1
Let p = 0.915 + 0.085. Is p != 27?
True
Suppose 0 = -2*g - 4 - 6. Suppose 2*f = -2*f + 4. Let u be (-2)/g*(-6 + f). Is u >= -3?
True
Suppose 0 = 2*a - 12 - 2. Suppose -3 = g + 3. Let r be 2*(a/g)/(-7). Which is smaller: r or -1?
-1
Suppose -2*r + 3*s - 9 = r, 5*s - 25 = 0. Suppose -z - 10 = -r*k + 6*k, 3*z - 21 = 5*k. Which is bigger: -4 or k?
k
Let d = 31 - 44. Let k = d + 12. Let h be (((-6)/(-4))/1)/3. Which is smaller: k or h?
k
Let i = 38 - -15. Is i bigger than 53?
False
Let l be ((-22)/4)/((-15)/(-2)). Let g = 106/165 + l. Which is bigger: g or 1?
1
Let i = 8 - 6. Suppose 2*d = -i*s - 2, 2*s = d - 2*d + 1. Let b be -1*(s - 9/6). Does b = 0?
False
Let s = 1.86 - -0.14. Which is bigger: s or 12?
12
Let k = -0.06 + -0.34. Let s = k + 0.46. Let f = 0.04 + s. Is f >= 2?
False
Suppose 2*d = -3 - 1. Let z be (-1)/(d/4*-2). Is z less than -4/3?
False
Suppose -3*d = 2*g - 0*d - 3, 0 = -2*d - 6. Let o = g + -4. Let m be 4/o + (-80)/45. Which is greater: m or 0.2?
m
Let n(o) = -o**3 - 2*o**2 - 4. Let u be n(-3). Suppose 2*i = 5*m + 28, -i + 4 = -5*i - u*m. Let s = -4 + i. Which is smaller: s or -2/9?
-2/9
Let l = -1.97 - -2. Let k = -0.27 - l. Let n = -0.7 + k. Do n and 1/7 have different values?
True
Let z be ((-42)/35)/(2/(-5)). Which is smaller: z or 5?
z
Let k(d) = -15*d**2 + d + 3. Let j be k(-1). Is -12 at most j?
False
Let b be (-3)/5 + (-2)/5. Which is bigger: 2/35 or b?
2/35
Suppose 5*h = -5*p + 345, 3*p = p + 5*h + 138. Let k = -343/5 + p. Is k greater than -2?
True
Let y = -16 - -16.4. Let v = -0.4 + y. Let d = 195 + -1367/7. Which is bigger: d or v?
v
Let s(v) = -12*v + 29. Let m(h) = -2*h + 5. Let p(y) = -34*m(y) + 6*s(y). Let z be p(-3). Is z bigger than 17?
False
Let a(r) be the third derivative of r**4/8 + r**3/6 - 2*r**2. Let y be a(-1). Let p = 1 + y. Do -1/7 and p have the same value?
False
Let g be 6*1/(-4)*10/45. Is g at most as big as 57?
True
Let x be (-2)/(130/(-15) + 0). Is x at least as big as -1?
True
Suppose 0 = 2*w + 7 + 11. Let l(a) = a**3 + 10*a**2 + 10*a + 8. Let d be l(w). Suppose 0*x + 27 = -n - 5*x, 3*n + 4*x + 26 = 0. Which is smaller: n or d?
n
Let n = 1.6 - 1.7. Are n and -1/13 nonequal?
True
Let g(l) = 2*l + 27. Let k be g(-8). Which is greater: 9 or k?
k
Suppose 4*s - 14 - 10 = 0. Let u(h) = h - 7. Let l be u(s). Which is bigger: l or 4?
4
Let f be 84/9*(-9)/(-2). Let g be 2 - (-2)/(-39)*f. Let v = 2 + 0. Which is smaller: g or v?
g
Suppose 3*h = -3*v, 2*h + 9 = 4*h - v. Suppose h*u + 1 + 20 = 0. Suppose -4*x + 4*g - 2 = 6, -x - 3*g - 22 = 0. Is x less than u?
False
Let x = 8.54 + -0.54. Is x at least as big as 0.3?
True
Let p = 4993/5 - 995. Let g = 3638 - 109253/30. Let o = p + g. Is -1 smaller than o?
True
Let c = 0.17 + 0.03. Let t(i) = i + 12. Let j be t(-8). Suppose 0 = 3*m + 12, 0*a - 5*a + j*m + 21 = 0. Are c and a unequal?
True
Let r be 0/(-2) - -8 - 1. Let y(h) = -h - 11 + 11 + 9. Let g be y(r). Is 0 >= g?
False
Let c = -8/7 - -9/14. Let y be 2/(-6)*(32 + -35)*1. Do y and c have different values?
True
Let q(m) = -m**3 + 3*m**2 - 2*m + 1. Let r be q(2). Let p(s) = 0*s**2 - 3*s - s - s**2 - 1. Let c be p(-3). Is c less than r?
False
Let s be 32/(-14) - 2/(-7). Let v = -3 - -6. Suppose 3*h = -0 - v. Is h less than or equal to s?
False
Let y(v) = v**2 - 5*v - 4. Let r be (-2)/(-7) - 40/(-7). Let s be y(r). Let c = 1 - s. Is c at least as big as -2/5?
False
Let q = 6/29 - 8/319. Suppose 0 = -0*t - 4*t + 4. Do q and t have the same value?
False
Let l = -0.16 - -0.26. Is l <= -9?
False
Let h = 0.1 - 0.1. Let p = 0.003 - 2.303. Let f = -1.3 - p. Is h <= f?
True
Let u be (-4)/(-18) + (-185)/630 + 0. Is -1 at least u?
False
Let t = 17 + -10. Let b = 12 - 5. Is b smaller than t?
False
Suppose -10*p = 19 + 1. Suppose 0 = -4*c - 11 - 1, -v = -3*c - 6. Is v less than p?
True
Let x be 1 - (0 - (1 + 2)). Let d = -1 - -6. Let u be 27/d + (-6)/15. Which is smaller: u or x?
x
Suppose -5*f - 13 = -4*z + 13, 3*z = 12. Suppose -s = s + 4. Let l be f - (s/(-2) - 6). Is l equal to 3?
True
Suppose 3*s - 6 = 3*w, 0*w = 4*w. Let o be ((-134)/(-30))/(s/(-6)). Let n = -14 - o. Do 0 and n have different values?
True
Let x = -21 - -22. Is x <= -2/5?
False
Let f = -1 + 9/8. Let n(k) = k**2 - 5*k. Let i be n(5). Which is greater: i or f?
f
Let q = -0.41 + 0.31. Which is smaller: q or 0?
q
Let x = 0.46 + -0.06. Let d = -0.3 + x. Let t = -233 - -235. Is d smaller than t?
True
Let i = 4 + 0. Suppose i = -w + 2. Let c = w - -1. Which is smaller: c or 1?
c
Let s(c) = 9*c - 63. Let i be s(7). Which is bigger: 2/331 or i?
2/331
Suppose -4*m + 5 + 7 = -4*p, 5*m = 4*p + 16. Let w(t) = t - 4. Let b be w(7). Is b at least p?
True
Suppose -5*g - d + 28 = 0, -3*d = 2*d - 15. Let o = -1256/15 + 442/5. Is o bigger than g?
False
Let h = -7.98 - 0.02. Let m = h - -6. Which is greater: m or 1/2?
1/2
Let q = 425 - 2984/7. Let n be (-6)/39 - 1361/(-819). Let y = q + n. Does y = 0?
False
Suppose 4*l - 2*l = 2. Suppose -9 = 2*s + s. Let r be 2*((-66)/(-21) + s). Which is bigger: r or l?
l
Suppose 16 = 2*s - 4*v, 2*s - 8 = 3*v - v. Is s at least as big as -12/19?
True
Let r be (-60)/(-27) - (-8)/(-36). Suppose -r*i - 45 - 25 = 0. Let w be (-4)/(-10) - (-24)/i. Which is greater: 4 or w?
4
Let s(d) be the second derivative of -d**4/12 + 2*d**3/3 - 3*d**2/2 - d. Let r be 13/5 - (-12)/(-20). Let i be s(r). Which is smaller: i or 0?
0
Suppose 2*z + 37 = 5. Are z and -16 unequal?
False
Let h be (-9)/18*(-1 + 1). Suppose -2*j + 0*j + 22 = h. Let d = 6 - j. Are -5 and d unequal?
False
Let k = 169/931 + -108016/220647. Let u = k + -2/79. Is -0.1 <= u?
False
Let s = 0.25 - 4.55. Let x = -0.7 + s. Let w = x + 4. Is 2 != w?
True
Let g = -0.2 + -0.9. Do -1 and g have different values?
True
Let v be (18/(-40))/(6/16). Let g be (-6 + 5)*(3 + -2). Is v <= g?
True
Suppose 0 = -2*i, 5*x + 120 = 3*i - 4*i. Is x not equal to -25?
True
Let n = 23.9 + -24. Is -21 smaller than n?
True
Let k = -114093/44915 - -6/3455. Let m = -47769/16744 - -111/161. Let j = k - m. Are 1 and j unequal?
True
Let x be 19/(-2) + (-2)/4. Let f be (-2)/(-10) + 12/x. Let t be 14/(-9) - (-5 + 3). Which is greater: f or t?
t
Suppose -4*q - 33 = 3*r, 5*r = 5*q - 125 + 35. Let s = 33 - r. Let z be (2/s)/(2/(-4)). Is z < 1?
True
Let v be 2 + (2 - (-17)/(-4)). Let d = 35 - 34.98. Which is smaller: d or v?
v
Let j(l) = l + 1. Let k be j(-6). Is -2 <= k?
False
Let w = 1 - -1. Let z be (1/(-12))/(w/(-4)). Is 1 at least as big as z?
True
Let t = -22 + 20.3. Let l = t + 0.7. Which is greater: 1/7 or l?
1/7
Let b = 0.07 + 3.93. Let k = -6 + b. Let n = -3 - -17/6. Do n and k have different values?
True
Let d = -0.027 + -0.973. Is -0.26 greater than d?
True
Let c = 17 + -13. Let z = -4 + c. Which is smaller: z or 9?
z
Let m = 18 + -15. Let n = 2.7 - m. Does -0.1 = n?
False
Let r = 0 - 6. Let d be 2/r*18/15. Let i(a) = -a + 3. Let j be i(4). Is d greater than j?
True
Let c(i) = i**2 + i + 2. Let y be c(-2). Let m be (-11)/14 + y/14. Do m and 2 have different values?
True
Suppose 4*x + 1 = 5. Let f be 2/x + 0/(-5). Suppose 0 = -o + 6*o - 5. Is f smaller than o?
False
Let n be 116/(-30) + (-2)/15. Let d(h) = h**3 + 5*h**2 + 5*h + 3. Let g be d(n). Is 1/6 >= g?
True
Let y be -2 - (-2 + -1) - -12. Let q = 53/4 - y. Is q less than or equal to -7?
False
Let s be (-2*1)/(-2 - -1). Suppose 3*y - 3*o - 12 = 0, 3*y - 7*o - 14 = -2*o. Is y at least as big as s?
True
Let a = 27 - 2