 x. Suppose 4*v - 8 = x, -5*v + 116 = -3*j - 35. Is j at least as big as -47?
True
Let n = -554 + 565. Let h = 0 - 0. Suppose h = -2*g + g + c - 3, g = -c - n. Is -7 >= g?
True
Let c = -0.602 + 0.062. Let a = -16.54 - c. Which is smaller: a or 2/3?
a
Suppose 0 = 2*a + 5*g + 87, 0*g + 135 = -4*a + 3*g. Suppose 8 - 43 = s. Which is bigger: a or s?
s
Let i = -202 - -201.97. Is -3 less than i?
True
Let n be 9/2589*98/(-1029). Is 1 at most as big as n?
False
Let q be 501/(-2338) - 214/308. Let y be (-4 - -2)*(0 + 1). Let s = -4 - y. Which is greater: q or s?
q
Let g be 11/(20350/60) + 0. Which is smaller: g or 0?
0
Suppose s + 9*s = 60. Let a(q) = -q**3 - q. Let h(z) = -5*z**3 + 7*z**2 - 13*z - 2. Let v(n) = 4*a(n) - h(n). Let b be v(s). Is -1/2 at most as big as b?
True
Suppose -2*t + 384 = -6*t. Let d be 100/t + 2/3. Let s = d + 5/56. Do 4 and s have the same value?
False
Let r = -32 + 34. Suppose 5*d = n + 6, -2*d = r*n - 3*n. Which is smaller: 5/2 or n?
5/2
Let v = 497.9 - 498. Which is smaller: v or 4?
v
Let u = -1397 + 1436. Is 35 not equal to u?
True
Let j be -4 - (3 - 44 - -2). Let o be 5*7/(j/3). Suppose a = -4*d + 20, 19 - 4 = -4*a + o*d. Which is smaller: 1/30 or a?
a
Let s = -47 + 56. Suppose 3*f = -4*f + 56. Is f greater than s?
False
Let d be 1/(3/(-2)) - 0. Let l = -2 + 8. Let r = l + -5. Which is greater: d or r?
r
Suppose 5*s + 2*z + 39 = -13, z = 4*s + 52. Which is greater: -16 or s?
s
Suppose 41*r - 768 = 35*r. Which is greater: r or 2/3?
r
Let s = -1800 + 3609/2. Which is greater: -1 or s?
s
Let m = -48 - -36.4. Let x = -12 - m. Let v = -1.6 + x. Which is smaller: v or -3/4?
v
Let k = 0.18 - -0.36. Let y = -0.24 + k. Let g = 0.7 - -1.3. Which is smaller: y or g?
y
Let t(y) = -y**3 + 5*y**2 - 3*y - 1. Let s be t(4). Suppose -s*z + 2 = -4. Which is greater: z or 13?
13
Suppose n + n = -2. Let w(a) = 25*a - 3. Let c be w(n). Is c equal to -28?
True
Let n = 5.4 - 7. Let c = -1.6 - n. Is 1 greater than or equal to c?
True
Let v(l) = -2*l**2 - 17*l + 6. Let n be v(-9). Is 3 at least n?
True
Let q(o) = -o + 17. Let a be q(-5). Let d = a - 26. Is -4/3 >= d?
True
Let a be 2/(-5) + (-44)/(-10). Suppose 5 = i + 1. Suppose -5 = -5*h - 4*o, -o - i*o = 0. Is a at least h?
True
Let j(d) be the third derivative of -d**5/60 + d**4/4 + 4*d**3/3 - 15*d**2. Let t = 13 - 6. Let v be j(t). Which is bigger: 5 or v?
5
Let x = -17828/101 - -353/2. Let z = x - -2041/1414. Which is bigger: z or 2?
2
Suppose -55*l = -19*l + 5652. Are l and -156 non-equal?
True
Let o = 436 + -4802/11. Is o at most as big as -0.5?
True
Let q be (-2 + (-987)/(-532))*8. Is -0.1 bigger than q?
True
Let r be (-1)/((-2)/(-4)) + 1. Suppose 28 = -6*t + 5*t. Let u = -32 - t. Which is smaller: r or u?
u
Suppose 0 = -0*z + 2*z - 4. Suppose -z*o + 121 = -3*h, -5*h = 4*o - o + 189. Let v be 1/(h/(-147)) + -4. Is -1 > v?
False
Let k = 858 - 852. Is k smaller than 4/9?
False
Suppose h + 5 = 2*h. Suppose -3*b + 5 = -0*w - h*w, 5*b - w = 23. Suppose 2*s - b = l, 4*s = -4*l - 0*s - 32. Is l greater than or equal to -7?
True
Let u = -6.25 - -6.1. Let s = u - -0.35. Which is smaller: 0.3 or s?
s
Let i = 866 - 897. Are i and -1 non-equal?
True
Let q be ((-1)/2)/((-45)/(-30)). Suppose 8*n - 3*n = -5*b - 95, 97 = -5*b - 4*n. Is q bigger than b?
True
Suppose -j - 107 = 4*g - 113, -5*g = 4*j + 9. Let f be 2*(-1)/10*-16. Is f at most g?
False
Let j(p) be the first derivative of 1/2*p**2 + 1 - 4*p. Let a be j(3). Is 2/7 > a?
True
Let a = -4 + 11. Suppose a*k + 6 = 9*k. Suppose k = -o - i - 0, 5*i + 7 = 3*o. Are -3/17 and o unequal?
True
Suppose 5*g + 321 = 5*r - 9, -2*r - 4*g + 150 = 0. Which is smaller: r or 70?
r
Let f be (-10)/4*16/10. Let g be f + (3 + -1 - 1). Is g less than 0?
True
Let h be 3/(-6)*(-24)/(-2). Let m = -20 - -21. Let x be 7/(4/(-2) + m). Which is smaller: x or h?
x
Suppose 3*m - k + 296 = -2*m, 3*m - 3*k + 180 = 0. Let x = m - -60. Which is smaller: -1/20 or x?
-1/20
Let v(d) = d**2 - 4*d + 7. Let u be v(3). Suppose -u*l + 30 = 86. Which is smaller: l or -17?
-17
Let l = -5.66 - 1.34. Let s = -13 + 8. Let v = s - l. Is -2 <= v?
True
Let h be (-114)/1235*(132 + (-1 - -4)). Which is smaller: -11 or h?
h
Let o = 0.0952 + -5.1852. Let h = o + -0.91. Is -1/2 >= h?
True
Let u = 231.11 + -231. Which is bigger: 10 or u?
10
Let b = -2669 - -2670. Is 34.5 < b?
False
Suppose 30 = 4*v - v. Suppose 2*k + 3*q = 4, 3*k - v - 11 = 3*q. Let z = -9 + 11. Which is bigger: k or z?
k
Let p be 2*(0 + 7/12). Let i(n) = -n - 7. Suppose -4*k - 16 = -2*k. Let w be i(k). Which is smaller: p or w?
w
Let x = 461 - 464. Let o = -2.93 + -0.27. Let h = o - x. Is h smaller than -5?
False
Let q = 26 + -27. Let w be (q - ((-16)/(-12) - -1))/4. Is w bigger than 0?
False
Suppose 0 = 14*y - 25*y - 22. Is -4 greater than or equal to y?
False
Let w = -17 + 44. Let s = w - 44. Which is smaller: 0 or s?
s
Let p(g) be the first derivative of -g**4/4 - 2*g**3/3 - g**2/2 - 2*g - 9. Let c be p(-2). Which is smaller: c or -3/26?
-3/26
Let u = 2272 - 2271. Is 1/1709 greater than u?
False
Suppose 0*i = -5*i - 3*s - 449, -2*i + 2*s = 170. Let k be (i/(-160))/((-2)/8). Which is bigger: -2 or k?
-2
Suppose 2*p - 3*o + 8 = 0, -2*p + 14*o = 9*o + 16. Which is greater: p or 26/27?
p
Let t = 0.2 + -0.46. Let l = -0.4002 - -0.0402. Let m = l - t. Which is smaller: m or -0.12?
-0.12
Let h be (-16)/56 + (-437233)/(-1530291). Let d = h + -2596903864/8088681. Let k = 321 + d. Which is smaller: k or -1?
-1
Let h be 6*(16/(-4) - 2). Which is bigger: h or -35?
-35
Let d be 6/5*(-5)/(-2). Suppose 0 = -x - d*x + 20. Suppose x*a + 30 = 4*k, -2*k - 1 = -2*a - 3*k. Is -3 <= a?
True
Suppose 0 = -4*g + 3*u + 30, -5*u - 14 = -2*g + 8. Let p = g + -5. Is 15 smaller than p?
False
Let k(v) = -6*v + 6. Let n be k(11). Let w = n + 421/7. Which is smaller: w or 0?
0
Suppose a - 160 = x, -2*a = x - 6*x - 314. Let g = -73 + a. Which is greater: g or 90?
90
Suppose 15 = -24*m + 29*m. Suppose -m*h + 3*j = -33, -23 = -2*h + 2*j + j. Is 0 at most as big as h?
True
Suppose 30*r = -673 - 137. Let g be -5*5 - (-3 + 6). Is r not equal to g?
True
Suppose 2*p + 7 = i, -5*i + 7*p - 12*p = 10. Which is smaller: i or 1/163?
1/163
Let g(n) be the second derivative of n**4/12 - 4*n**3/3 + 2*n. Let h be -7 + 16 - 11 - (-1 + -9). Let s be g(h). Is 3 at most s?
False
Suppose 2*d = -0 - 14. Let j = d + 2. Let y be 104/(-40) - 3/j. Do y and -4 have different values?
True
Suppose 6 = r + 2*r. Let b be (r/(-8))/(-4 + 5). Let j = b + -1/4. Which is smaller: 0 or j?
j
Let d(g) = -18*g. Let c be d(1). Let t = c - -12. Let z = 5 + t. Is -1/23 at least z?
True
Let k = 1725/7106 + -5/323. Is 1 >= k?
True
Let y = 143 + -145. Which is smaller: y or 9?
y
Let l = -19 - -39/2. Let q = 325 + -344. Is l greater than or equal to q?
True
Let c be 2*138/(-12)*1. Is c at least -27?
True
Let y = 9 - 8.86. Let r = y + 0.16. Let f = 0.4 - r. Which is smaller: f or -0.2?
-0.2
Let g(n) = 6*n - 55. Let p be g(9). Which is smaller: p or -92?
-92
Suppose 3*z = -5*a - 12, 2*a - a + 20 = -5*z. Is z >= -28/11?
False
Suppose n = -4*n. Let g = n + 1. Let s = g - 1. Which is smaller: s or -1?
-1
Let t be (-6 + 8)/((-4)/(-50)). Let g = -25 + t. Suppose g = 6*o - 4*o + 6. Which is smaller: o or -2?
o
Let q = -64 - -67. Suppose -q*p - 80 = 2*h - 13, -2*h - 2*p - 64 = 0. Is h != -30?
True
Suppose -3*y - y - k - 18 = 0, 16 = -4*y - 2*k. Which is greater: y or -1.8?
-1.8
Let f(k) = 5*k**3 - 3*k**2. Let j be f(2). Suppose 182*q - 90 = 179*q + 3*l, -4*q + 115 = l. Is q less than j?
False
Let x(n) = n**3 - 12*n**2 - 4*n + 49. Let q be x(12). Is -3/23 <= q?
True
Let t = -81 + 77. Let d be ((6/t)/((-33)/(-55)))/(-5). Which is bigger: -4 or d?
d
Let o = 703 + -701. Do o and 368 have the same value?
False
Let f = 9 - 9. Let q = 38 + -35. Suppose 5*a + q*j - 24 = f, 4*a + 2*j + 2*j = 24. Is 3 < a?
False
Let k = 0.2 + -0.4. Let x = k + -0.02. Let b = x + -0.48. Is 2 less than b?
False
Let j be 0 - ((-740)/208)/5. Let r = -7/13 - j. Which is smaller: r or -1/2?
r
Suppose 31*j - 36*j - 2*d = 5, -j = -3*d - 16. Let v = 0 - -1. Let b be (-1)/20 - v/(-4). Are b and j equal?
False
Let f = 2367 + -2367.0509. Is f at least as big as 0?
False
Let u = 23 + -39. Let o = 9 + u. Let h = o - -11. Is h greater than or equal to 6?
Fals