 + -15. Let x = 7.8 + -8.8. Is k >= x?
False
Let f(y) = 59*y + 37. Let n be f(3). Let v be 1068/n - 7/(7/5). Which is bigger: -0.1 or v?
v
Let w(d) = 4*d + 2. Let f be w(2). Suppose -23*z + 27*z + 12 = 0. Let q be (3 + z + (-14)/(-4))*2. Which is smaller: f or q?
q
Let k be (-52 - -42)/(((-3)/18)/1). Let y(r) = r**2 - 7*r. Let l be y(-5). Is l equal to k?
True
Let q = -6701/370576 + 10/1007. Which is bigger: q or 0?
0
Let n be (-8 - (-2 - 1)) + 9. Suppose n*m + 2*y + 110 = -30, 181 = -5*m - 4*y. Which is bigger: m or -286/9?
-286/9
Let i = -5.833 - 24.167. Suppose 2*f + 6 = 14. Let s = -4 + f. Is i greater than or equal to s?
False
Let m be (-11)/(-9) + (-12)/54. Suppose 752 + 3685 = 3*j. Let a = j - 36981/25. Which is smaller: a or m?
a
Let i(p) = -46*p + 2596. Let a be i(57). Is a bigger than -5.3?
False
Suppose -120*y = 15 + 105. Which is bigger: 5/502 or y?
5/502
Let c(r) = -r**3 + 14*r**2 + 23*r - 18. Let f be c(15). Suppose k = -2*b + 54, b - 5*b + f = -k. Suppose -15*t + 13*t = b. Is t <= -15?
False
Suppose -3*n = -2*v + 296 + 113, 0 = 4*n - v + 542. Suppose 3*x + 248 = -2*i - x, -3*i - 4*x - 382 = 0. Which is bigger: n or i?
i
Suppose -5*s - 4*u = u + 25, -3*u = 5*s + 15. Let y be (2/(-6))/((-10)/(-450)*-5). Suppose -b - 2*r = b - 12, -y*r = s. Which is greater: 1 or b?
b
Let v be (3 + -6 - 15)/(1/(-2)). Suppose -4*o + b = -153, 0*o + o - b - v = 0. Let t = o - 12. Which is bigger: t or 0?
t
Suppose 1191*h - 1204*h = -61724. Is 4748 greater than h?
False
Suppose 130 = 5*m - 5*n, -8*m + 169 = -4*n - 35. Which is bigger: m or 457/19?
m
Suppose -390 = 74*p + 56*p. Is p smaller than 132?
True
Let d be 9658/12 + (-5)/2. Let q = 778 - d. Is -0.3 greater than or equal to q?
True
Let o be 75 - ((-4)/14 + 744/1085). Is o equal to 75?
False
Let n = 2478.7 + -2579. Is 6 at most as big as n?
False
Let y = -50448/61 + 827. Let u = -187/244 - y. Which is greater: u or 0?
0
Suppose -12*c + 3*c + 81 = 0. Let r be (-3)/(-9) - 3/c. Let p be (-2 - -5 - r)/((-12)/80). Which is smaller: -21 or p?
-21
Let v be (-39)/91*10/618. Which is greater: v or 1?
1
Suppose -5*z = 3 - 63. Let u be (z/(-8) + 2)*-2*1. Is u <= -1/15?
True
Let k = -133138/7 + 95046/5. Which is greater: -11 or k?
k
Let u(j) = 5*j - 20. Let t = -498 - -502. Let p be u(t). Do p and -12/23 have different values?
True
Let g = 538 + -522. Which is smaller: g or -10?
-10
Let y = 1421 + -2339. Which is greater: -916 or y?
-916
Suppose -209 = 8*r - 721. Let a be (-138)/r*1/3*-2. Which is greater: 2 or a?
2
Let i(j) = -341*j**2 - 8*j - 23. Let z be i(-2). Which is greater: z or -1369?
-1369
Let v = 231 + -111. Let b be (-1)/(-3) - (-4088)/v*-5. Which is greater: b or -172?
b
Let u = 3854194/417 - 27724/3. Is u at least as big as 1?
True
Let w be (-1)/(6/(-60)*-335). Let k = 51.8 + -51.85. Which is greater: w or k?
w
Let p = -893 - -921. Suppose -5*f - 75 = -2*y - p, -3*y + 48 = -3*f. Let a be 16/(-7)*(-4 + -1). Which is greater: a or y?
a
Let u = -71.95 + -1.05. Let w = 3 - u. Which is greater: w or -2?
w
Let j be (14770/98)/(-1) - 2/7. Is j less than 4?
True
Let s(h) = 19 + 15*h + 0*h**2 + 89 - h**2. Let c be s(21). Suppose -2*f + 57 = -3*a, 2*a - 4*f + 38 = -f. Is c at least as big as a?
True
Suppose 0 = 19*k - 9 + 28. Let x = -0.4 - 3.6. Let r = x + 3.7. Is k greater than r?
False
Let a be -1 - (-10)/30 - 4/(-6). Suppose 5*d + y + 59 = 0, -2*d + 4*y - 18 - 10 = a. Which is bigger: d or 6?
6
Let o(g) = 210*g + 48. Let v be o(7). Which is greater: v or 3033/2?
v
Let q be 6 + 9/(63/1162). Let a be (-1527)/(-189) + (-5 - q/(-36)). Which is greater: 7 or a?
a
Let l = -596 + 596. Suppose l = 20*c + 891 - 331. Is c smaller than -260/9?
False
Suppose 31*i - 35277 = i + 36093. Which is smaller: 11892/5 or i?
11892/5
Let p = -286 + 1951. Do p and 1667 have the same value?
False
Suppose 9 = 3*i - 3. Suppose 0*a = -i*v + 3*a + 3, -2*v = 5*a + 31. Is -45/17 at most as big as v?
False
Let i = -1088 + -784. Let d = -1886 - i. Let b = 1 + -1.4. Which is bigger: d or b?
b
Let t(r) = 5 - 5*r**3 - 4*r + 4*r**3 - 21*r + 48*r**2 + 41*r**2 - 116*r**2. Let d be t(-26). Are -28 and d non-equal?
True
Let l = 1570 - 1384. Which is smaller: 1 or l?
1
Let t = 3/2035 - -3797/185185. Let c be (-5)/15*-3*9. Let p be 6/c*(-3)/(-2). Which is smaller: t or p?
t
Let a = -3741/2 - -2661. Which is smaller: a or 790?
790
Let d = -25731437/2082 - -12359. Which is bigger: -1 or d?
d
Let d(s) = -6*s - 15. Let f be d(-6). Let l = f - 35. Let o = -20 - l. Are o and -6 equal?
True
Let l be (-117778)/(-8)*(-292)/744381. Let w = l + -3/1133. Is w != -7?
True
Suppose 0 = -3*l + 4*v - 54, 0 = -42*l + 43*l + 5*v - 20. Let a = -63 - -66. Which is smaller: a or l?
l
Suppose 0 = -4*o + 1 + 7. Let l be 6 + (o + -2)/(3 - 5). Let m be -26*5/(-22) - 1. Which is greater: m or l?
l
Let d = 887 - 525. Suppose -a + 4*x = 2*a - 255, d = 4*a + 2*x. Is a less than 91?
True
Let v(c) = 3847*c - 61560. Let y be v(16). Suppose 1 + 7 = -4*k. Is k less than or equal to y?
False
Let y(x) = -x**2 - 5*x - 6. Let p be y(-5). Let n = 1528/5 - 313. Which is bigger: n or p?
p
Let v be (-14140)/(-784) + (-9)/12. Let b = -591/35 + v. Is -72 smaller than b?
True
Let r(w) = w**2 + 10*w - 116. Let v be r(-17). Let u be (v - 3)/((-6)/(-2) - 5). Which is greater: -2/15 or u?
u
Suppose -3*f - 9415 = 3*f + 5*b, 6255 = -4*f + b. Which is bigger: -1567 or f?
f
Let b(j) = -6*j**2 - 4*j - 13. Let u be b(-5). Let x be (0 - 150) + 20/(-30)*-9. Which is smaller: u or x?
x
Let s = 15 + -11. Suppose -w - 24 = -4*w - 2*v, w = -3*v + 1. Let a be (-8)/w - (-207)/115. Is a less than s?
True
Let l be (4/5)/((-36)/1250). Let s = l + 28. Let m = -8776/48389 + -2/4399. Is s != m?
True
Let j be ((-31473)/(-1287))/((-2)/(-22)). Is 265 less than or equal to j?
True
Let j(s) be the third derivative of -s**4/24 + 7*s**3/3 - 22*s**2. Let t be j(-9). Let z = t - -61. Which is smaller: 83 or z?
83
Let n = -638.029 - 0.971. Let q = -622 - n. Which is greater: -0.8 or q?
q
Suppose -17*u = 10*u + 47*u + 23606. Which is greater: u or -2555/8?
u
Let x(k) be the first derivative of 32 + 1/2*k**2 - 35*k. Let g be x(-6). Is -41 > g?
False
Let h(c) = -c - 1. Let g(i) = i**3 + i**2 - 6*i - 1. Let v(x) = -g(x) + 6*h(x). Let a = 2 - 4. Let r be v(a). Which is smaller: -6/7 or r?
r
Let i = -36474231/26 + 1402544. Let v = i - -311. Is v > 0.2?
False
Let a be 1551/22*(-2)/(-9). Suppose -16*c + 222 = -18. Is a smaller than c?
False
Let m be (4 + (-441)/111)*102/12. Is m at least as big as -1?
True
Let i be 0/((-4)/(-2)) - 2. Suppose 763*d = -1588 - 4516. Is d greater than i?
False
Let s = 22.41 + -22.47. Is -0.231 greater than s?
False
Let x = -55.13 + 174.63. Is x less than or equal to 1?
False
Let x = -1306.3 - -1287. Are -0.11 and x unequal?
True
Let t = 7.472 + -7.8. Let b = 30 - 29. Which is bigger: b or t?
b
Let p(n) = -3*n - 19. Let f be p(-8). Suppose -5*d = -f*u - 95, -5*u + 3 = -0*d + 2*d. Let r be d/35 - 93/(-5). Which is greater: r or 18?
r
Let w = 0 + 32. Let h(k) = 4*k + 15. Let a be h(w). Is 142 bigger than a?
False
Let r be -17*((-33)/3 - -12). Which is smaller: r or 6?
r
Let s = 102.448 + 0.052. Let a = s - 104. Which is bigger: 1 or a?
1
Let i(m) = -2. Let y(z) = -3*z + 36. Let k(t) = -30*i(t) + 2*y(t). Let x be k(21). Let s(b) = -b + 4. Let f be s(-4). Is x greater than or equal to f?
False
Let j = 1401 + -1401.04. Is j bigger than -68?
True
Let i be (-3 - 0 - -2)*(5 + 33256/32). Is -1043 at most as big as i?
False
Let t = 12590 + -12469. Which is greater: 719/6 or t?
t
Let q(l) = -l**3 - 2*l**2 + 26*l - 162. Let g be q(-10). Which is smaller: g or 379?
g
Let z be (0 + (1 - 0))*5. Let n be (3980/(-16))/z - (-1)/(-4). Is -52 not equal to n?
True
Let l = -5312 + 5306. Let f be 5/(25/(-14) - -1). Which is smaller: f or l?
f
Let a(g) = -g**2 - 28*g - 107. Let j = 610 + -619. Let v be a(j). Which is bigger: v or 129/2?
129/2
Suppose -24*t = -29*t - 2*g - 40615, 2*t - 2*g + 16232 = 0. Is -8119 bigger than t?
True
Let r = -7543 + 11800. Is 4256 greater than r?
False
Let j = -50328897 - -44742427808/889. Let p = -302/7 + j. Is 0 greater than or equal to p?
False
Let g = 13.879 - 14.759. Which is smaller: 82 or g?
g
Let c = -17149 + 17149. Let h = -1259/62 - -41/2. Which is bigger: h or c?
h
Let d = -38.9