/7
Let i be 6 - 2/((-4)/(-542)). Is i bigger than -265?
False
Let s be 1/((-68)/(-16) - 4). Suppose -s*c + 0*c - 3 = -f, 0 = -4*c - f - 13. Let n be (8/(-10))/(1/5). Does n = c?
False
Let c = -0.059 - -0.022. Let f = -0.163 + c. Is -0.2 smaller than f?
False
Let r be 35/13 + -4 + 1. Let a be 111/21 - (-2)/(-7). Let s = a - 6. Which is smaller: s or r?
s
Suppose -157*r = -170*r - 871. Is r <= -70?
False
Let h = 1209 + -1212. Suppose 5*o - s - 4 = -3, 1 = 3*o - s. Suppose -8 = 2*w - o*w. Is h > w?
True
Let p = -83/55 + 21/11. Which is smaller: p or 421?
p
Let v(a) = 7*a**3 - 2*a**2 + 2*a - 8. Let x be v(-4). Is x <= -497?
False
Let v be (88 - 1)/(39/26). Let a = v - 65. Which is greater: -14 or a?
a
Let g = -1.7 + 3.5. Let s = g - 3.1. Let h = 3.3 + s. Which is smaller: 2/3 or h?
2/3
Suppose 6*p - 2 = 5*p - 3*m, -p - m = 0. Let b = -0.06 + 0.17. Which is greater: b or p?
b
Let s be (10/(-6))/(-5)*7*18. Let d(o) = 5*o**3 - o**2 + 3*o - 1. Let r be d(2). Is r smaller than s?
True
Let u = -11/15 + 1/15. Let w be 3/2*(-8)/6. Do u and w have the same value?
False
Let x be 5*(28/20 + -2). Let w be 26 - x/(-3) - -1. Suppose m = 5*n + 5*m - 34, 4*n + 2*m - w = 0. Which is smaller: 5 or n?
5
Let d = 134.8 + -135. Which is smaller: -3.1 or d?
-3.1
Let q = -1.2 - -1.237. Let o = -0.263 - q. Is -0.7 < o?
True
Let z = 192.8 + -193. Which is smaller: z or -11?
-11
Let i be (-33)/(-5) + (-2)/(-5). Let h(o) = -i - 8*o + 5*o + 2*o. Let r be h(-6). Is -2 at least as big as r?
False
Suppose z - m = -8, 1 = 3*m - 2. Let i = 8 + z. Which is smaller: 4/15 or i?
4/15
Let t = -4 - -4.2. Let s = 57.2 - 57. Is s smaller than t?
False
Suppose -294 = 12*s - 18. Let h = 37 - 58. Let k = s - h. Is -3/2 not equal to k?
True
Suppose -25*g + 56 = 31*g. Let h be 146/738 - (-2)/(-9). Are g and h unequal?
True
Let t = 488 + -314. Is 175 not equal to t?
True
Let a = -2597 - -3127. Which is smaller: a or 529?
529
Let n(l) = -l**3 - 7*l**2 - 4*l + 14. Let v be n(-6). Let x be (-6)/v - (-498)/6. Let s be x/35 + (-2)/7. Is s less than or equal to -5?
False
Let k be 2/(-4)*6 + 5. Let d be (-4 - -6)/(k/4). Suppose -4*h - 1 = x, -2*h + d*h = -2. Which is bigger: x or 2?
x
Let k(w) be the second derivative of -w**4/4 + w**3/6 + 5*w**2/2 - 4*w. Let a be k(4). Let c = 272/7 + a. Which is smaller: c or 0?
c
Let k(j) = j - 7. Let n be k(11). Suppose 4*r - 4*q = 20, -6 = 4*r - r + n*q. Let w = -4 + r. Is 0 at most w?
False
Let p = 57 - 45. Let f(a) = 2*a - 12. Let w be f(11). Is p not equal to w?
True
Let h = 41 + -39. Do 6 and h have different values?
True
Suppose 7 = -4*g - 57. Let i be ((-30)/(-24) + -2)/((-30)/g). Let k(s) = s + 5. Let n be k(-4). Are n and i unequal?
True
Let l = 26 - 22. Suppose l*k + 32 = 2*k. Let n be (-17)/3 - k/24. Is -7 less than or equal to n?
True
Suppose -12 = -5*k - 2. Let h be 280/(-128) + 1/k. Let v = h + 3/16. Is -1 <= v?
False
Let q = 3/464 - -2543/1392. Which is smaller: q or 1?
1
Let o = 0.34 + 5.26. Let b = o - -17.4. Are b and -0.2 non-equal?
True
Let m = 17 + -16.3. Let b be (-28)/(-6)*(-5 - 10). Let r be 5/b - (-9)/(-21). Do r and m have different values?
True
Let t = -14 - -15. Let j(k) = -2*k - 5. Let o be j(-7). Suppose 2*z = -z + o. Is z greater than t?
True
Let s(k) = k**2 - 12. Let p be s(5). Suppose 0 = 2*a + 2*c + 5 + 5, 3*c - p = a. Which is smaller: -22/3 or a?
-22/3
Let r be 2*2/(-4)*5. Let w = 0 - r. Which is smaller: w or 6?
w
Suppose 5*m - 400 = 5*s, 0 = -5*m - 0*m - 4*s + 391. Suppose -6*y + m = -17. Let r = -22 + y. Which is bigger: r or -4?
-4
Suppose 0 = -7*c + 456 - 218. Let b be 5*(1 + 58/10). Is b not equal to c?
False
Let t = -531 + 510. Is -3 at most as big as t?
False
Let n = -2761/6 - -1481/3. Which is bigger: n or 34?
34
Let q = -1959/103834 - -4/193. Is q less than or equal to -1?
False
Let n be (-33)/(-4) + (-11)/44. Suppose -12*z - 4 = -n*z. Is 3/10 at least z?
True
Let r = 92 + 20. Let l = r - 110. Which is bigger: l or 8?
8
Let m be (-510)/630 - (-1)/(-3). Do -1 and m have the same value?
False
Let u = -3613/60159 - 1/1823. Which is bigger: 6 or u?
6
Let c(n) = n**3 - 9*n**2 + 15. Let u be c(9). Suppose 0 = -4*f + 5*s - 61, 4*f - s + 42 = -u. Is f < -13?
True
Let k = 4548 - 150050/33. Are k and 0 nonequal?
True
Let d = -0.25 - -144.25. Let n = -149.28 + d. Let h = 0.28 + n. Is h smaller than 4?
True
Let b = -3.234 + 0.274. Which is smaller: b or 1/4?
b
Let v be (-3)/((-3)/(-2)) + -3. Let f(j) be the first derivative of -j**2 - 27*j - 6. Let s be f(-12). Which is bigger: v or s?
s
Let z = 23 - 30. Let j be 30/z - 18/(-63). Let n be 4 + j + 15/(-10). Is 4 less than n?
False
Let u = 7.1 + -12. Let m = -5.9 - u. Which is greater: m or 7?
7
Suppose 5*i + 11*w = 6*w + 50, i + 4*w - 16 = 0. Suppose c + s = -2*c - 11, -25 = 5*s. Let r be (4 + (1 - c))*1. Is r at most as big as i?
True
Let j = -149/144 - -13/16. Let v = 6 - 4. Suppose -v*h + 3*h = 1. Is j less than or equal to h?
True
Let k = 20019/20 + -1001. Which is smaller: 1/6 or k?
k
Suppose 7*b - 1067 = -1074. Let p = 991/10 - 99. Which is smaller: b or p?
b
Suppose -5*g - 2 = 58. Suppose 0*x + 140 = 4*x. Suppose 0 = -4*s + 2*c + 8 - 64, -2*c = 3*s + x. Which is smaller: g or s?
s
Suppose -5 - 1 = 2*x. Let q be ((-18)/(-825))/(20/(-25)). Let c = q + -2399/770. Which is greater: x or c?
x
Let p(l) = -l**2 + 5*l - 6. Suppose -2*s = k - 6*s + 12, -s = -k. Let g be p(k). Let z be 2 - -2 - (g - -4). Which is smaller: z or 4?
z
Suppose -9*o + 11*o = 0. Do 234 and o have different values?
True
Let n(q) = -q**2 - 24*q + 296. Let o be n(9). Which is bigger: o or -22/27?
-22/27
Suppose 5*u = 2*h - 4031 - 162, -h + 841 = -u. Is u greater than or equal to -836?
False
Let b be ((-1)/9)/((-4325)/15 + 2). Is 0 < b?
True
Let w be (-10*8/(-560))/(6/14). Which is bigger: 2.9 or w?
2.9
Suppose 2*s + 0*s - 50 = -4*z, 0 = 2*s - 6. Suppose 0*x = -2*i - x + z, -2 = -i + 3*x. Suppose -9 - 11 = -i*l. Is l at least 4?
True
Let n = -39 - -46. Suppose 2*k - 2*h + 14 = n*k, k - h - 7 = 0. Is 20/7 >= k?
False
Let f be ((-20)/135)/(4/(-6)). Let s = -1024 - -1026. Do f and s have different values?
True
Let f = -2.3 + 2.5. Let u = f - 0.2. Which is bigger: u or -0.1?
u
Let o = 15 - 84. Let u = -49 - o. Which is bigger: u or -0.3?
u
Let b(j) = j**3 - j**2 + 2. Let i be 3 + 0/(-3) + -1. Let q be b(i). Let v be (-8)/66 + 4/q. Is v greater than 1?
False
Suppose 4*p = -5 + 17. Suppose p*c = 6*y - 9*y - 3, 3*c + 3 = -y. Do 2/127 and y have different values?
True
Suppose -6*n + 10 = -4*n. Suppose 3*s = n*s. Let b be (-16)/92*2/8. Is s less than or equal to b?
False
Let m(p) = -37*p + 1292. Let k be m(35). Suppose -g = -6*g + 5*s + 20, 4*s = -2*g + 2. Which is greater: g or k?
g
Let i = -755 + 32467/43. Is -1 at most as big as i?
True
Let u be (-826)/288 + (-12)/27 + -3. Are -7 and u non-equal?
True
Let o(z) = z**2 + 8*z + 3. Let j be o(-4). Let t = j + 14. Let y = t - 0. Is y smaller than 1?
False
Let j = -11 - -16. Suppose 6*f - f + j = 0. Let b = 8/3 - 3. Is f greater than b?
False
Let d be -1 - 4/(156/(-9)). Let w(t) = -2*t**2 + 17*t + 9. Let h be w(9). Which is bigger: h or d?
h
Suppose -j = -v + 16 - 116, 4*v = 0. Do j and 100 have the same value?
True
Suppose -161*l + 1254 = 48*l. Let u be 66/(-16)*(-8)/6. Which is smaller: l or u?
u
Let n = -53 + 55. Suppose -n*r - 68 = r - 5*u, 12 = 3*u. Is r less than -106/7?
True
Let s = 11560/9 + -1284. Which is bigger: -1/5 or s?
s
Suppose 0 = -5*v + 5*l + 35, 4*v + 3*l - 58 = l. Let m be 10/30*(2 - 2). Suppose -d - 5*n - 14 = m, -4*n = -d + 2*d + 11. Is d at most as big as v?
True
Let l be 626*(5 - 33/6). Which is greater: l or -314?
l
Suppose x + 3*a - 9 = 0, -12*x - 6 = -7*x - 2*a. Are x and 3/31 equal?
False
Suppose -6 = -3*h + 4*h - 2*p, -3*h + p + 7 = 0. Let b be (5/(-3))/((-2)/6). Suppose -b*l + h*l = 0. Which is smaller: l or -6/11?
-6/11
Let j = 5.953 + -6. Let a = j - -0.014. Is a <= -1?
False
Let k be ((-1)/2 + 0)*(-40)/(-2). Suppose x - 2 + 12 = 0. Is k less than or equal to x?
True
Let d = 28680 - 143388/5. Suppose -3*y = -6, 2*r - 4*y - 6 = -6*y. Which is bigger: d or r?
d
Let m = -3/2 + 5. Let n(v) = -4*v - 6. Let d be n(-1). Let w be d*(8/44 + 37/(-22)). Which is bigger: m or w?
m
Suppose 3*p = -2*w + w + 12, 3*w + 3*p = 18. Suppose -17 - w = -2*z.