e 7*(-11)/(-154)*-2. Is l at least -4/239?
False
Let q = -93/7 - -1009/77. Let n be (1/(-2) - 0)/(7/(-70)). Suppose 5*x = 4*d - 9 - n, 0 = d - 4*x - 9. Is q > d?
False
Let s be 24/(-7)*(-28)/90. Suppose 4*w = -u + 5*u - 8, -3*w - 2*u = -9. Is s >= w?
True
Let y = -4 + 18. Let f be (-3)/(-2)*y/7. Suppose -3*b - 5*h = -b - 15, -5*h = f*b - 15. Which is bigger: 1/15 or b?
1/15
Suppose 0 = 4*j - 1 - 3. Suppose -320 = -16*w + 20*w. Let u be ((-12)/w)/((-15)/(-8)). Which is smaller: u or j?
u
Let d(a) = a**2 + 8*a - 6. Let p be 1*10*(-4 + 3). Let c be d(p). Let r = c - 10. Which is greater: 3 or r?
r
Let f be (-3 - (-15)/6)/(3/6). Is f less than or equal to -3/47?
True
Let z = -139 + 62. Which is smaller: -79 or z?
-79
Let f be (28/63)/(-1) + (-5)/9. Is f less than 32?
True
Let v = -60 + 149. Let p = v + -65. Which is smaller: 2 or p?
2
Let b be (72/(-27))/((-1)/3). Which is greater: b or 7?
b
Let j(i) = -30*i - 746. Let b be j(-25). Let n(f) = f**2 - 2*f - 3. Let v be n(-2). Is v <= b?
False
Let v = -161/60 - -64/15. Let k be (5 - 14) + 92/12. Let h = v + k. Is 0 smaller than h?
True
Let l(k) = 46*k**2 - 3*k + 1. Let y be l(1). Which is bigger: y or 0.04?
y
Let g be (-136)/(-24) + (-3 - -2). Let o = g - 440/93. Is o bigger than 0.07?
False
Let i(c) = 12*c - 4. Let u be i(-2). Let t be u/(-68) + -1 - -1. Let h = t + -73/136. Which is greater: h or 2/5?
2/5
Let f = -41 - -34. Let q = -10 - f. Which is bigger: 0.07 or q?
0.07
Let u = 26 - 35. Let s = 28/3 + u. Let v be (-4)/(-6) + (-16)/15. Which is smaller: s or v?
v
Suppose k + 3 = 4*k, 2*u = -k + 9. Suppose -u*i = 4*b - 2 - 2, 0 = b. Which is greater: i or 0.04?
i
Suppose 7*m = 2*m + 3*d, m - 2*d = 0. Suppose m = g + 2*g - 3. Let h be (4/2)/(4 + 7). Is g at most as big as h?
False
Let n(g) = 7*g - 13 + 0*g**2 + g**2 - 7 + 7. Let q be n(-9). Do q and 8 have different values?
True
Let z = 285 + -285.01. Let a be 7/5 + 2/(-5). Which is smaller: a or z?
z
Let o = -169638986/357 - -475178. Let s = 16/21 + o. Which is smaller: s or 0?
s
Suppose -5*i = -17*i - 4*i. Which is smaller: i or -12/67?
-12/67
Let b be (-2 - -4) + 5/5. Suppose -3 + 6 = -b*l. Which is smaller: -1/3 or l?
l
Let d be (4/15)/((-2)/5). Let u = -78 + 83. Suppose 0*s - 4 = 2*s + u*n, -2*s + n = 4. Which is greater: d or s?
d
Let w be (3 - 0)*(-39)/27. Let c be (-46 - -1)/((-65)/(-20) + -4). Let i be (1/3)/((-4)/(c*1)). Which is smaller: i or w?
i
Suppose -4*d - 26 = 22. Let m(h) = 25*h - 262. Let s be m(10). Is d != s?
False
Suppose -x + 2*x + 9 = -2*r, -3*x = 5*r + 24. Let m = x + 9. Suppose -i + m*i = 10. Is i smaller than 3?
True
Let g = -0.7 - -0.2. Let u(k) = 7*k**2 - 12*k - 11. Let d(x) = -4*x**2 + 6*x + 5. Let s(z) = 5*d(z) + 3*u(z). Let p be s(7). Which is bigger: g or p?
g
Let t be (12/(-2))/(-4 - (9 + -3)). Let v = -22 - -24. Which is smaller: t or v?
t
Let x = -64 + 104. Let n = -0.2 - -0.3. Is x < n?
False
Suppose 4*x - 2 - 2 = 0. Let l be -3 - (-5 - (x + 1)). Suppose -j + 6 = w, 0 = 3*j - 3*w - l - 2. Is 2 equal to j?
False
Let x = -8.97 + 9. Let v = x + -0.03. Let l = 164 - 160. Is v at most l?
True
Let p be (-1)/((-21)/264)*2/24. Is p less than or equal to 2?
True
Let a = -114.2 - -16.2. Which is smaller: 1 or a?
a
Let w be ((18/(-8))/(-3))/(33/44). Suppose -5*k - 2*u + 31 = 1, 0 = u. Let b = k - 6. Is b less than w?
True
Let n be 46/12 + (-4)/(-24). Suppose 4*r + 13 = -23. Let u(t) = -t**2 - 8*t + 12. Let v be u(r). Which is smaller: n or v?
v
Suppose 5*r - 18 = 4*w, w = -3*w - 3*r - 2. Let g = -199 - -213. Which is smaller: w or g?
w
Suppose -c + 25 = 11. Are 5 and c non-equal?
True
Let f = 3590549/15 - 239591. Let m = f - -221. Let b = -2 - -1. Are m and b nonequal?
True
Suppose 0 = -5*n + x - 4*x - 14, 5*x = -15. Let v be 2/(-4)*6/(-8). Is v equal to n?
False
Let v be -3*19*(-4 + (-33)/(-9)). Suppose 4*f = 4*n + v + 69, 2*f - 65 = 3*n. Is -22 < n?
True
Let k = -52912000899/168769340 + -2/25315401. Let l = k - 131/15. Let d = l - -324. Which is smaller: 1 or d?
1
Suppose -4*n + 124 = 4*u, 0*u = n - 5*u - 61. Let i = -37 + n. Is i less than -0.01?
True
Let o = 54 - 53. Let i be 1615/(-200) - (0 + o/(-5)). Which is bigger: i or -8?
i
Let k(n) = n**2 - 9*n + 6. Let f be k(5). Is f greater than or equal to -15?
True
Suppose -7 = 3*z - 2*z. Let p be 1 + 792/(-1148) + 2/z. Is p < 1?
True
Let t be 30/(-4)*110/(-33). Suppose -4*b = 27 + t. Let r = -10 - b. Is r at most as big as -0.2?
False
Let z = 16/21 - 2/3. Let m(o) = -5*o - 18. Let a be m(-4). Let n be 70/220 - a/(-11). Which is smaller: n or z?
z
Suppose 4*v - 2*u - 8 = -0*v, -5*v = 2*u - 19. Let z(l) be the third derivative of l**4/24 + 8*l**3/3 + 4*l**2. Let s be z(-11). Which is bigger: v or s?
s
Let t = 8102/717 + 8/239. Let m be ((-513)/(-15))/3 - 2/5. Is m bigger than t?
False
Suppose -330 = -12*n + 17*n + c, -2*c + 315 = -5*n. Which is greater: 3 or n?
3
Let d be 5*1*(-2)/5. Let a be (1*d)/(4/2). Let l be (-14 - -8)*(-4)/216. Which is greater: l or a?
l
Let u = -371.6 + 371. Which is smaller: u or -0.023?
u
Let d be (-4)/10*(0 + (-8 - -3)). Let v be (3 - 14/4)*d. Which is bigger: v or -5/11?
-5/11
Let w be (4/(-18) + 192/(-108))/(-2). Let q = 0 + 0.3. Does w = q?
False
Let j be -3 + (1 - -3) + 0. Let i = j + -16. Let l be 14/15 + 6/i. Which is greater: l or 2?
2
Let z = 13.275 + -0.275. Which is smaller: 0.7 or z?
0.7
Let x be -6*1*14/(-84) - 18. Which is bigger: 3/8 or x?
3/8
Let j = -5.4 - -1.45. Let w = j - 0.05. Let n = 6 - 8. Is n greater than or equal to w?
True
Let n = 160 + -172. Is n at most as big as -53/4?
False
Suppose -3*p = -87 + 15. Suppose 4*r + p = 2*r. Let f be (-6)/r*(-1)/2. Which is smaller: 0 or f?
f
Let m = -13 + 10. Let v be -2 - (3 + m - 2). Let n be v + (0 - 2) - -3. Which is greater: 2/31 or n?
n
Let u = -0.03446 - -0.00846. Let d = -2 + 3. Which is smaller: d or u?
u
Let f(m) be the first derivative of -4*m**3/3 + m**2 - m + 19. Let g be f(-2). Which is smaller: g or -19?
g
Let l(w) be the second derivative of w**4/12 - w**3 - 4*w. Let a be l(6). Suppose a - 5 = -j. Is j not equal to 3?
True
Let b = -425 + 424.6. Is 3/5 < b?
False
Suppose b - 20 + 30 = 0. Let t be (-2)/b + (-3168)/(-110). Are 30 and t non-equal?
True
Let x = 18 + -18.21. Let i = 21 - 20.89. Let l = i + x. Which is greater: l or -1?
l
Let d be (-12)/(-3 + 6) + (-4 - -3). Is 0.27 greater than d?
True
Let y(w) = 119*w**2 + 10*w - 14. Let c be y(1). Which is bigger: c or 113?
c
Let d = 64 + -446/7. Let i = -139 + 133.1. Let o = 0.1 - i. Which is greater: d or o?
o
Let m = 283 + -283. Which is smaller: 9 or m?
m
Suppose o - 3*o = -88. Let f = o + -59. Is f smaller than -16?
False
Let w = -114 - -109. Which is smaller: 2 or w?
w
Let f = 6 - 4. Let k = f - 5. Let o be (42/(-4))/k - 3. Which is smaller: -4 or o?
-4
Let j(n) = -n**3 + 18*n**2 - 16*n - 27. Let h be j(17). Let x be h/(-2)*((-15)/25 + 1). Is 27 less than x?
False
Let v = 435 + -511. Is v > 0.1?
False
Let x(z) = -76*z - 7. Let g be x(-4). Let h be 6/(-27) + 471/g + -3. Let t = -0.3 - -0.2. Which is bigger: t or h?
t
Let i = 0.3085 + -0.5085. Let m = 2.86 + -3. Is m <= i?
False
Suppose 2*w = 3*w - 2. Let r be (-2 + 2)/(1 + 1). Suppose r*v = -w*v. Is -1/3 >= v?
False
Let v be (-16)/24 + 746/(-70). Let t = -83/7 - v. Let o = -47/60 - t. Which is smaller: 2 or o?
o
Let w = 124 - 51. Let v = 70 - w. Which is smaller: v or -0.2?
v
Suppose v = w + 14 - 15, 3*v + 1 = 5*w. Let a be (-6)/195*(-2)/4. Is a smaller than w?
False
Suppose -369*w - 20 = -373*w. Which is smaller: w or 0.11?
0.11
Let q = 80 - -86. Is q at least 165?
True
Let g = 0.1 + 0.8. Let c = g + -0.3. Let n = 3.71 - 5.71. Is c less than n?
False
Let k = -60/43 + -5376/215. Which is smaller: k or -25?
k
Let m = 0.35 + -0.05. Let b = 153 + -149. Let l be (-6)/4 - (-7)/b. Is m >= l?
True
Let w = 24 + -14. Let t = w - 6. Suppose 2*j - 5*g - 22 = 0, -2*j - 5*g - 2 = -t*g. Which is greater: -3/8 or j?
j
Let q(b) = -b**2 + 6*b - 4. Let h be q(5). Let x be h + (2 - 0) + -1. Let w = -10084/5 - -2020. Which is bigger: w or x?
w
Let f(u) = 29*u + 272. Let r be f(-12). Which is smaller: r or -70?
r
Let x(j) = 10*j - 27. Let g be x(9). Suppose -3*l = w + 2*w - g, l = 3*w - 51. Is 18 smaller than w?
False
Let a(s) = -60*s**2 + 1. Let g be a(1). Let w = g + 32. Let q be (