*k - 2*y + 15, 10 = 2*y. Let z be 3/(-2) + 531/k + -1. Are 86 and z equal?
True
Let o = 15.5 - 18. Let z = o + 2.5. Which is smaller: z or -23?
-23
Let m(v) be the third derivative of v**4/12 + 10*v**3/3 - 29*v**2. Let g be m(-9). Is 3 <= g?
False
Let r(i) = -30*i - 493. Let m be r(-13). Which is greater: m or -102?
-102
Let k be 1/(-2) - (-75)/6. Suppose 4*o + 64 = 5*d, d - k = o + 3. Let s = -22 + 10. Is s smaller than o?
True
Let c be (-2)/20 + 48/80. Which is smaller: c or 54?
c
Let c = 9961879/11 - 907096. Let d = 1472 + c. Is d != 2?
True
Let a(s) = -14*s + 2. Let l be a(1). Let g be ((-14)/l)/((-4)/16). Which is greater: -5 or g?
g
Let p = 191/2 - 100. Let s(t) = 2*t**2 + 64*t + 457. Let w be s(-11). Is w at least as big as p?
False
Let r = 90 - 65. Let z be (-3)/(-9) + -3 + r/15. Let x be -1 + 86/42 + -1. Is z less than x?
True
Let z = 61 + -58.83. Let l = z + -0.17. Let v = 0.7 - 1. Is l at least as big as v?
True
Let t = 0.004 - -0.043. Which is greater: t or -0.1?
t
Suppose 2*v + 80 + 56 = 4*q, 0 = v. Which is smaller: -0.1 or q?
-0.1
Let q = -13.057 + 13. Let o = -0.007 - q. Is 2 at most as big as o?
False
Let a(i) = 2*i**3 - i**2 - 4*i + 10. Let n be a(8). Let b be ((-14)/n)/((-2)/4). Is b <= 0?
False
Let i = -112 + 49. Let v = -133 - -70. Is i less than v?
False
Let z = 21 - 20. Let v be 176/(-86) - (2 - 4). Which is bigger: z or v?
z
Let b = -19 - 6. Let q = b - -39. Let w = 14 - q. Which is bigger: -0.1 or w?
w
Let g be ((-3)/2)/(54/(-12) + 4). Let a be 4/6 - 182/3. Let f be (-52)/a + g/(-15). Which is smaller: f or -1/3?
-1/3
Let x = 11 + -11. Suppose x = -2*n - 6 + 4. Do 1/28 and n have the same value?
False
Let l be ((-3)/6)/((-1)/2). Let t(x) = -41*x**3 - 10*x - 6. Let a(r) = 8*r**3 + 2*r + 1. Let b(j) = 11*a(j) + 2*t(j). Let w be b(l). Is 7 not equal to w?
False
Let j = 0.29 - 39.29. Let l = -30 - -2. Let p = l - j. Are -1 and p equal?
False
Let b(y) = -y**3 - 4*y**2 + 2*y + 4. Let d be b(-4). Let s be 3 - (96/(-4) - 0). Let a be 15*3/(s/(-3)). Which is bigger: d or a?
d
Let q be 53*(0/(-1) + (-65)/(-13)). Which is greater: 262 or q?
q
Let i = -6 - -8. Suppose 3*w - 2 = t, 4*w + i*t + 1 + 3 = 0. Let c be (-42)/310 + ((-45)/(-25))/9. Is c > w?
True
Let m be (-99)/108*10 + 1/6. Which is smaller: m or -98/13?
m
Suppose 4*b - 2*b = 5*o - 23, -3*b - 15 = -o. Let h be o/5 + (-38)/30. Which is smaller: 0.5 or h?
h
Let r(t) = -t**3 - 11*t**2 + 8*t - 21. Let j be r(-12). Suppose 0 = 2*d - 1 - j. Is d greater than 13?
True
Let d(n) = -6*n - 4. Let m(f) = -f. Let j(a) = -d(a) + 4*m(a). Let w be j(-8). Let o be 1/(-4) + 9/w. Which is bigger: o or 1?
1
Suppose 15*o - 12*o - 12 = 0. Let j be (2 - o)/((-18)/(-219)). Is -25 less than or equal to j?
True
Let g = -473.7 + 473. Which is smaller: 0.002 or g?
g
Let b be 58/(-4) + 2/(-4). Let o be (-20)/(-75) - 6100/375. Which is smaller: o or b?
o
Let y be (-2)/2 - (-6239)/6205. Is 1 not equal to y?
True
Suppose 3*x + 115 = 3*m - x, -3*m - 3*x + 87 = 0. Let f be (-6)/m + (-24)/(-11). Let y be 0*(f - (0 + 3)). Is 2 smaller than y?
False
Let k(l) = -l**2 + 12*l - 26. Let d be k(3). Are d and -1/69 equal?
False
Let a = -0.1 - 0.9. Let r = -61 + 76. Let i be (-5)/r*(1 + -7) + -4. Is i at least as big as a?
False
Let u be (-3)/2*(8 - (-196)/(-21)). Suppose -t = u + 3. Is t != -3?
True
Let n = 670 - 670. Suppose 0 = t - 0 - 7. Is t at least as big as n?
True
Let q(t) = -10*t + 60. Let o be q(7). Let l be 29/(-87) + (o/6 - -1). Which is bigger: l or 3/13?
3/13
Let q be (2 + -1)/(-1)*(-15 + -14). Let n be (29 - q)/(3/1). Is n bigger than 3?
False
Let g = 16 + -17.9. Let b = -24.4 + 23. Let i = b - g. Are -2 and i equal?
False
Let f = -16 + 1. Let v = f - -16. Which is smaller: v or -5?
-5
Let t be 3/(-266)*1*249/747. Which is greater: t or 0?
0
Let t = -5.7 - -5.8. Which is smaller: t or 199?
t
Let t = -57.8 + 72.8. Which is greater: t or -4/3?
t
Let f be (8 + (-20)/4)/((-3351)/(-2)). Is f > -1?
True
Suppose 8*d = -2*l + 6*d - 4, 5*l - d = 8. Which is smaller: 6/77 or l?
6/77
Let v = 37 + -61. Let o be -1 + 2 + v/18. Let l be ((-2)/(-1))/((-10)/2). Is o > l?
True
Let f be (-4)/14 + (-2482)/(-14). Let r be 5/(75/36)*-74. Let x = r + f. Which is smaller: 0 or x?
x
Let p(y) = -2*y**2 + 4*y - 3. Let g be p(3). Let f(x) = -2*x - 14. Let t be f(g). Suppose 0 = -s - 3*s - t. Which is smaller: s or -7/3?
-7/3
Let v be 4/18 - (-504)/(-810). Let j = -4.06 + 0.06. Let f = j + 4.1. Is v at least as big as f?
False
Let f be 8/(-24) + (-31)/(-3). Which is bigger: f or 7?
f
Let z = -493/2 + 9383/38. Suppose -37*n + 31 = -6*n. Is z bigger than n?
False
Suppose 17*z = 10 + 58. Suppose -m - 3*m = -z. Is m >= -0.05?
True
Let n(k) = 2 - 5*k + 9 + 5 - 4. Let f be n(4). Is f at least -7?
False
Let k be -1 + 800/(-404) + 3. Is -0.06 equal to k?
False
Suppose -14*p = -12*p + 5*t + 209, -3*p - 5*t = 326. Is -117 at least as big as p?
True
Let s = 203/4 - 409/8. Which is greater: 1 or s?
1
Let n be 2 - (-3 - (-2 + 1)). Let f be 18/8 - 6/24. Which is greater: f or n?
n
Let t = -41.3 + 41. Let b(g) = 2*g. Let z be b(3). Which is greater: t or z?
z
Let h(o) = -34*o + 21. Let c be h(1). Which is smaller: c or -7?
c
Suppose 2*s = 4*s + 14. Let h(q) = q**3 + 8*q**2 + 10*q + 13. Let d be h(-7). Does s = d?
False
Let a = 67 + -61.9. Let f = a - 5.3. Which is bigger: -35 or f?
f
Suppose 5*v + 3 = -g, 0 = -3*v - 10*g + 15*g + 15. Which is bigger: v or -1/601?
v
Suppose -89*s = -84*s - 15. Let p = -9 - -15. Which is bigger: p or s?
p
Let l = 109 - 42. Let s be (-2*(-2)/4)/(l/(-2)). Is 1 <= s?
False
Let z = 41929/5 - 8327. Let m = 16 - 74. Let p = z + m. Which is smaller: p or -4?
-4
Let u = -5 - -21. Let i = -15 + u. Which is greater: 6 or i?
6
Suppose 9 = 3*w - 4*w. Let t be 3/w + 50/42. Let v be -1 - (1 + 1) - -4. Is t at most v?
True
Suppose 3 = 4*j - 17, 5*w - 3*j + 300 = 0. Which is greater: w or -2?
-2
Suppose -3*r - 10 = -3*t + r, 3*r = -2*t + 1. Suppose 0 = 4*v - 2*j, -5 - 3 = 4*v + t*j. Let u be ((-9)/(-12))/(57/12). Is u greater than v?
True
Let o = -54630/59 - -926. Let m = o - -47/177. Let u(k) = k**3 - 2*k**2 - 4*k + 2. Let l be u(3). Does m = l?
False
Let k = 792.051 - -95.839. Let s = 876 - k. Let f = -12 - s. Is 0 less than f?
False
Suppose 5*a = 4*c, -3*a + 20 - 3 = c. Let k be 6/7*a/(-3). Is k at most as big as -3?
False
Let m = -57 - -58. Let j be m - ((-574)/(-56))/(43/4). Is -1 >= j?
False
Let q be 4 + (-1)/3*(-36 + 0). Let l be (-17 + (-1 - -1))*-1. Let h = q - l. Which is smaller: -3/13 or h?
h
Let x(s) = 41*s - 12. Let y be x(1). Let z = 1 - -29. Which is smaller: z or y?
y
Suppose 0*n + n = 1. Let d be (1 - 7) + -2 + 5. Let i be -1 + ((-7)/6 - d). Which is greater: n or i?
n
Let n = 883 + -890. Which is smaller: -76/11 or n?
n
Suppose -b - 4 = 0, 2*w + 2*b + 10 = -14. Let q be 2/5 + 78/15. Let m = q - 6. Is w less than m?
True
Let u be -3*(-20)/(-45) - 8/(-6). Which is greater: -3/133 or u?
u
Suppose 0 = -2*f - 5*f + 63. Suppose 2*p + f = r - 0*r, 0 = 4*r - 4. Which is smaller: -30/11 or p?
p
Let m = -0.06 + 0.05. Let c = 0.13 + -0.37. Let t = c - -0.34. Which is greater: m or t?
t
Suppose -u - 26 = -25. Let d be ((-45)/10)/u + -3. Which is bigger: -2 or d?
d
Let o be -2 + (-56)/(-18) - (-4 + 6). Suppose 0 = f - 2*v - 5, -4*f - 5*v - 18 - 1 = 0. Which is smaller: f or o?
f
Let t = -228 - -245. Suppose -k = -3*o - 14, 0 = -5*k + 3*o + 112 - 30. Are k and t nonequal?
False
Suppose 5*n + 3*t = 39, 4*n - 18 = 3*t - 3. Suppose -n*c + 10 = -4*c. Suppose -c*m = g + 12 + 1, 2*m = -3*g. Do -1 and m have different values?
True
Let h(u) = -u + 10. Let t be h(10). Suppose 22 = -2*k + 4*v, 3*k - 2*v = -t - 13. Let y be (-36)/(-24)*(1 + 212/(-228)). Which is smaller: k or y?
k
Suppose -7*y + 10 = -8*y + t, -y + 3*t = 8. Which is bigger: -8 or y?
-8
Let q = 71644/31057 + 2/2389. Let y = q + -77/39. Is y at least 10?
False
Let f = -306.7 - -294. Is -0.1 less than f?
False
Suppose -r = -4*z + 527, -4*z + 6*r - 3*r + 517 = 0. Let v = -91 + z. Let s be (2/3)/(4/v). Is s greater than or equal to 8?
False
Suppose 0 = -2*r + 6 + 4. Suppose 25 = 5*j, 0*j = r*f - 4*j + 50. Which is smaller: -7 or f?
-7
Suppose 2*u - 5*b = 13, u - 2*u - 21 = 3*b. Let a = 1/364 + -739/4004. Are u and a nonequal?
True
Let x(j) = -9*j - 3. Let r be x(4