= 59*l - 61*l - 6. Let v be (-21 + -1)*l/30*-5. Is -15 at most as big as v?
True
Let o be (-5 - -4)/((-94)/(-46) + -2). Let y be 26 + o - 331/(-1). Which is greater: y or 335?
335
Let h = 20 + -17. Suppose -16 = h*v - 46. Let q be -4 + -3 + v - 3. Is q at least 3/7?
False
Suppose 2*y = 7*y - 5*f - 40, 4*y = 5*f + 37. Suppose 267*s - 271*s + 912 = 0. Suppose -29*b - 9*b - s = 0. Are b and y unequal?
True
Suppose -204 + 214 = -2*t + 7*t. Is t at least as big as -1917?
True
Let w = 5137 + -5061. Is 689/9 at most w?
False
Let g = 29.11 + 125.89. Which is smaller: g or -1?
-1
Suppose 4*d = -2*h + 6698, 39*d + 3345 = h + 37*d. Is 3347 != h?
False
Let y be (512/(-272))/(-16) + (-108388)/(-34). Is y >= 3188?
True
Let x = 10532/77 + -630076/1463. Let n = x + 294. Let i be (0 - (-1)/2)*(-161 + 159). Which is smaller: i or n?
i
Let b = -497 - -509. Let k be 4/b - 1456/39. Suppose -c - 50 = -0*c - 4*d, -5*d + 205 = -5*c. Is k at most c?
False
Let k be (94 - (-2 + 1))/(-1). Let q = -96 - k. Is 44 equal to q?
False
Suppose -5906 = 35*n + 7*n + 5980. Let o = -701 + 417. Is o != n?
True
Let r = -921 + 1314. Suppose 6*f + r = 303. Which is smaller: -11 or f?
f
Let o = -67.093 - -0.093. Let c = o + 9. Let s = 57.98 + c. Which is greater: -3 or s?
s
Let w be (-29)/(-145) - 1917/(-4715). Let r = w + -32/41. Which is greater: r or 3?
3
Let c be 70/(-20)*((-24)/64 + 17575/46920). Which is greater: c or 1/4?
1/4
Let l be (3/1842)/(135/(-378)). Is l != 1?
True
Suppose -g + 2*y = 447, 42*y = g + 38*y + 457. Which is bigger: -446 or g?
g
Let q be (-12)/(-8)*2 - 276/44. Suppose -4*l + 5*n = -166, -l + 42 = -n - 0. Let g be (-16)/(-40) - l/10. Which is bigger: g or q?
q
Let l be (2/14)/(19/((-1596)/(-216))). Let i(q) = -q + 12. Let k(o) = 2*o - 25. Let j(z) = -5*i(z) - 2*k(z). Let c be j(9). Is l at most c?
False
Let o = -26440018 + 7958437434/301. Let a = o - 2/43. Is -27 > a?
False
Let j = -0.182 + -167.818. Let a be (30/105 + 4/(-63))/1. Is a not equal to j?
True
Let b be -5 - -5 - (7/((-1722)/1404) - -6). Which is greater: 2/5 or b?
2/5
Suppose -2*g + 2*s = -9 - 5, 3*g - 2*s - 21 = 0. Suppose g = 11*k - 4. Suppose -w + k = 4*d, -d - 3*w = -3*d - 17. Is d less than -3?
False
Let t = 21.2883 - -0.0117. Let i = -39.6 - t. Let w = 62 + i. Is w at most -0.1?
False
Let n be (128/208)/(19/247). Let z be -4 + 4 + 60/9. Which is greater: z or n?
n
Let y = -11304 + 11305. Let z = 26421/13 - 2031. Is z <= y?
False
Let d be (-9)/(-5) + 313396/(-23970). Which is smaller: d or -11?
d
Let x = -46.62 - -47. Let s = x + -0.58. Let l = 7.2 + s. Is l less than -0.1?
False
Suppose -2*m - 3 = k, -3*m + 4*m + 4 = -3*k. Are k and -4/2495 equal?
False
Suppose 629 + 111 = -5*v + 5*s, 3*v = -5*s - 412. Let j be (v/(-270))/(4/10). Which is smaller: j or 0?
0
Suppose w - 5*w + 108 = 2*s, 4*w - 4*s = 96. Suppose i + 2 - 6 = 0, 3*r - 2*i = -w. Let t be 2/42*r/(-1). Is -2.7 bigger than t?
False
Suppose 102*y = 96*y + 6. Let j be -2*102/(-12)*y. Is 16 equal to j?
False
Let z = -66 + 57. Suppose 192*n + 126 = 183*n. Which is greater: z or n?
z
Let c = -489 + 747. Is c less than or equal to 260?
True
Let y be (-20)/(-50)*(-5)/(-4). Suppose 0 = -2*u - 2*i - 976, -36*i = -3*u - 31*i - 1416. Which is smaller: y or u?
u
Let p = -5876 - -5878. Is 33/14 at most as big as p?
False
Let n = 694 - 130. Do n and 562 have the same value?
False
Let q(k) = 490 + 4*k**2 - 3*k**2 - 466 - 9*k. Let h be q(4). Suppose -25*r + 29*r = -h. Are r and -2/107 unequal?
True
Let f = -189043/9 - -21005. Is 3/191 < f?
True
Let a be ((-15)/(-110))/((-2)/6 + 0). Let v = -21/110 + a. Let c = -22 - -22. Are v and c non-equal?
True
Let y = -442.2 - -33.2. Let l = y - -353. Which is smaller: l or -0.2?
l
Suppose 0 = 16*s - 18*s - 42. Let a be -4 + s/(-9) - (0 - 1). Is 2/17 greater than a?
True
Let h = 4 + 9. Let j = h - -26. Let z = -38 + j. Which is smaller: z or -52?
-52
Let o be 33/(-3) + 3 + (-10 - -19). Which is greater: o or 34/53?
o
Suppose -12*s + 18*s + 36 = 0. Let j = 17 - 15. Suppose -2*p - 4*q = -0*p - j, -25 = 5*p + 4*q. Do s and p have the same value?
False
Let x(d) = -d**3 - 13*d**2 - 11*d + 27. Let z be x(-12). Suppose 6 = -z*v + 21*v. Which is bigger: v or 3/400?
v
Let r = 250 - 2252/9. Let t = 64728 - 64737. Is r greater than t?
True
Let c = 161 - 164. Let v be 5*1*(c + 16) + 4. Is v less than 68?
False
Suppose -2*o = -2*f - 136 + 46, 0 = 2*f - 5*o + 87. Let j be ((1/(-152))/1)/(f/(-92)). Which is smaller: -1 or j?
-1
Let k = 391 + -764. Let p = k - -360. Which is smaller: -20 or p?
-20
Let o = -4617 - 4952. Are -9569 and o equal?
True
Let f = 7180677.994 - 7189355. Let v = -8703 - f. Let h = 0.006 - v. Which is smaller: 1 or h?
1
Let k be 2/19 - (-1100)/380. Suppose 0 = k*v - 5*p + 6, 2*p + 0*p = v + 3. Suppose -3*c - 3*j + 9 + 30 = 0, v*j + 46 = 2*c. Are 17 and c non-equal?
False
Let r(w) = w**2 + 14*w - 14. Suppose 0 = 4*n - 8*v + 4*v + 44, 0 = 4*n - 2*v + 50. Let b be r(n). Which is bigger: -20 or b?
b
Let w(m) = 5*m - 6. Suppose -2*j + 2*u + 10 = 4*u, 2*j - 4*u = -14. Let q be w(j). Which is smaller: -1/62 or q?
q
Suppose 0 = -3*h + 5*d - 4*d - 149, h = -5*d - 55. Let g(c) = c - 27. Let b be g(-21). Is h >= b?
False
Let y be 567/6 + 6/(-12). Let b = -89 + y. Which is smaller: b or 3?
3
Let q(p) be the first derivative of -3*p**2/2 + 6*p + 86. Let i be q(-10). Which is smaller: 3 or i?
3
Let q = -38.8 + 469.8. Which is greater: 4 or q?
q
Let n(r) = -366*r + 145337. Let o be n(397). Suppose 5*c + 8 = -q, -5*c + 4*q + 4 = q. Let j be c*24*6/(-4). Which is bigger: j or o?
j
Let u be -1 - -701 - 1/9*45. Is u < 695?
False
Suppose -518 - 282 = 8*z. Let b = z + 100. Which is greater: 5/156 or b?
5/156
Suppose -2*b + m = -1, 3*b + 3*m + 5 = -2*m. Let c = -0.94353 - -0.94553. Which is smaller: c or b?
b
Suppose 0 = -10*x + 153 + 297. Suppose 4*p - x*k + 44*k = 0, 3*p = 3*k. Let l be 4/(-6) + (-80)/(-111). Which is greater: l or p?
l
Suppose 7*i - 2 = 6*i. Suppose l = -i*l + v - 31, 0 = -3*v + 3. Which is bigger: -19/2 or l?
-19/2
Suppose -43*p + 10 = -53*p. Let q be (-1)/(4 + p + -5). Are 0.16 and q unequal?
True
Let i = -93.1 - -31.8. Let y = i + 60. Let f = y - -1.17. Which is bigger: f or -2/9?
f
Let j = 19 + -17.6. Let u = 1.5 - j. Let r = -0.727 - -0.766. Which is bigger: r or u?
u
Suppose 1734 = 5*t + 2*c - 6*c, 3*t - 1070 = -5*c. Let f be (t/(-105))/(1/((-6)/14)). Let s(q) = -q**3 + q**2 + q - 1. Let x be s(2). Which is greater: f or x?
f
Suppose -2*y + 377 = 3*x, -8*x + 13*x - 627 = -3*y. Let h be (x/(-27))/(-1) + (-4)/1. Which is smaller: -1 or h?
-1
Let q(i) = i**3 + 11*i**2 + 47*i + 371. Let u be q(-10). Is 49/24 at most u?
False
Suppose -21 = -14*n + 7*n. Suppose 20 = 7*p - n*p. Do p and 17/3 have the same value?
False
Suppose -2*n = -u + 46, 3*u = -4*n - 0*n + 168. Let g = -36 + u. Let t be g/(-24) + (-2)/6. Which is greater: t or -14/11?
t
Let s = 3 - 2. Let p = -21051/154 - -1517/11. Is s less than or equal to p?
True
Let q = 695238.909 - 696156. Let g = q - -920. Let n = -0.091 - g. Are 2/7 and n unequal?
True
Let k = -3269.6 + -820.4. Which is greater: k or -1/3?
-1/3
Let i(d) be the third derivative of -d**6/120 + 2*d**5/15 - d**4/4 - 5*d**3/6 + 13*d**2. Let k be i(7). Let z be (k/3)/(10/(-3)). Is 0 < z?
False
Let t = -42.2337 - -2.5337. Is t bigger than -5/7?
False
Let b(z) be the first derivative of -4*z**2 - 278*z - 76. Let m be b(-35). Which is smaller: m or -9?
-9
Let v = 20415 - 19888. Which is smaller: 533 or v?
v
Let q = 1153775/8 + -144401. Which is greater: q or -178?
-178
Let y = 36 - 35.77. Let w(z) = -z**2 - 108*z - 1632. Let r be w(-90). Which is smaller: r or y?
r
Let d = -5975 + 5987. Let m = -38 - -57. Is m smaller than d?
False
Let o = -15 - -2. Suppose 0 = -g + 5*g - 56. Suppose -3*n + 14 = g. Which is bigger: o or n?
n
Let o = 77 + 125. Suppose -46*g + 1674 - 1248 = -8912. Is g < o?
False
Let h(p) = -13*p + 45. Let j(s) = 12*s - 45. Let k(g) = -3*h(g) - 4*j(g). Let r be k(-3). Do 70 and r have the same value?
False
Let s(u) = 2*u**3 + 14*u**2 - 21*u - 40. Let h be s(-8). Let a be h + -1 + 33 + -6 + 5. Which is smaller: 32 or a?
a
Let w = 612 - 548. Let i = w - 63.936. Which is smaller: 2 or i?
i
Let t be 2/(-4) + (-9)/2. Let d = t - -16. Which is smaller: d or 114/11?
114/11
Let 