-j + h*y = -218. Let r be j/(-18) - (-4)/18. Is r <= -13?
True
Let x = 1.1 + -2.7. Let f = -8.4 + 10. Let r = x + f. Which is smaller: r or -1?
-1
Let h(f) = -2*f**2 - 28*f - 13. Let q(j) = j**2 + 4*j - 12. Let r be q(-4). Let k be h(r). Which is smaller: 34 or k?
34
Let r = -0.43 - 2.57. Is -4/41 bigger than r?
True
Let k be (70/(-15))/((-4)/6). Suppose -3*j - 12 = -k*j. Let n be (1/j)/((-3)/(-6)). Is n > -0.2?
True
Let x = -1269 + 1270. Which is smaller: -15/38 or x?
-15/38
Let o(s) = -152*s - 3. Let d be o(-2). Let b = d - 2411/8. Is b less than or equal to -1/5?
True
Suppose 3*v = -p + 23, -4*v + p + 4*p - 1 = 0. Let x = -543 + 546. Is x greater than v?
False
Let l be 2/7 - (-56)/(-196). Let j = 21/2 - 10. Do j and l have different values?
True
Let n = -40614/47 - -864. Let a(c) = -3*c + 18. Let r be a(6). Which is smaller: r or n?
n
Suppose 0 = 8*f - 47 + 7. Let h be f/(-25) - 2*(-21)/(-90). Let z = 3 + -4. Which is greater: z or h?
h
Suppose -100 = -31*r - 813. Which is greater: -16 or r?
-16
Let n(b) = b**3 - 7*b**2 + 9*b - 47. Let i be n(5). Which is smaller: i or -51?
i
Let m = 64/3 + -20. Let n = 1.3 + -0.4. Let i = -1.1 + n. Which is smaller: i or m?
i
Let g = -5/31 + 4/31. Let k = 11566 - 1434149/124. Let j = g + k. Are j and -1 equal?
False
Let m be 1/(-2) + 7/14. Let r = -115 + 58. Let u = r - -56. Which is greater: u or m?
m
Let m = 18 + -17. Suppose 2*u + m = c, 4*c - u + 2*u = 13. Do -1 and c have different values?
True
Let w = 23.9 + -11.5. Let c = w + -13. Let x = c - -3.6. Is x >= 1/4?
True
Let b = -3.7 - -1.3. Let x = b + 12.4. Is 1 at least as big as x?
False
Let l be (6/8)/((-4)/(-208)). Let v be 33 - 3*15/(-9). Does l = v?
False
Let t(q) = -q + 2. Let p be t(4). Let a(v) = 2 + 25*v**2 + 27*v**2 - 86*v**2 + 32*v**2 - 2*v. Let b be a(p). Is b not equal to -2?
False
Let b(k) = k**3 - 33*k**2 + 58*k + 51. Let f be b(31). Which is bigger: f or 6?
6
Let a be 16/(-200)*2/((-72)/5). Let s be 0*((-26)/(-6) + -4). Which is greater: a or s?
a
Let t = -0.249 + 24.549. Let i = -42 - -19. Let b = t + i. Which is smaller: 0.1 or b?
0.1
Suppose 4*o + 2*s - 56 = 0, -7*o = -2*o + 5*s - 60. Let h be 6/o*(-10)/6. Suppose -2 = -59*b + 58*b, -2*q - 4 = -2*b. Which is smaller: q or h?
h
Suppose 3*n - 11 = k + 5*n, -n - 10 = 5*k. Suppose -5*p - 78 = -2*m + 91, m - 2*p = 87. Let a = 287/3 - m. Which is smaller: a or k?
a
Suppose 5 = -z + 6. Let y be (z/5 - 1)*-5. Suppose -y*f - 20 = 0, h - 5*f + 4 = 29. Which is greater: h or -0.03?
h
Suppose -3*o - q = q - 18, 2*o + 3*q = 17. Suppose -3*a + o = -5*a. Is -2 smaller than a?
False
Let m be (-2 - -1)/((-1)/2). Suppose m*f = -f - 3*j + 15, 5 = 3*f + j. Is 2/45 > f?
True
Let x be 179/(-255) - 2/(-12). Let f = -2/2401 + 21677/81634. Let w = x - f. Is -2 >= w?
False
Let s be 4/310*746845/44. Let n = -219 + s. Which is bigger: n or 1?
1
Let c(w) = w**2 + 1. Let s(m) = -m**2 + 2*m - 16. Let q(v) = -2*c(v) - s(v). Let h be q(-7). Is -21 less than h?
False
Let m = -270/7 - -272/7. Is m smaller than -1.51?
False
Let i = 7 + -5. Let u = i - 1.8. Which is bigger: 2/15 or u?
u
Let s = 2/18365 - 1079864/18365. Is -58 greater than or equal to s?
True
Let q be ((-161445)/19824 - -8) + 2/14. Which is bigger: q or 1?
1
Let z(k) = 4*k + 5. Let i be z(-11). Let q = i + 21. Which is bigger: -1 or q?
-1
Suppose -h - 5*r = -0*r - 28, 2*r = 2. Is 21 != h?
True
Let x = -0.0741 - 6.9259. Which is smaller: x or -0.1?
x
Let f = 22 + -7. Let g = -85 + 151. Suppose -g = -4*i - 2*y, -3*i - 5*y + 53 = -0*y. Which is smaller: f or i?
f
Let v(r) = 12*r - 588. Let k be v(49). Is k < 1/226?
True
Suppose -2*z + 31 = 27, -3*z = -2*w - 6. Which is bigger: w or -80.5?
w
Suppose 0 = 9*i - 11*i. Suppose 0*x + 5*x - 45 = i. Suppose x = -w + 4*w. Is 3 not equal to w?
False
Let i = -2 + 2. Let q = i + 1. Let f = -4001/31 + 129. Which is greater: q or f?
q
Let b be -3 + (-136)/(-36) + -1. Let a be (-84)/240 + 1 + (-7)/5. Which is smaller: a or b?
a
Suppose -25*f = -s - 21*f + 317, 5*s - 3*f = 1602. Is s at least 321?
True
Let p(f) = -3*f + 1. Let n be p(0). Let m be 522/(-9)*n/2. Which is bigger: m or -28?
-28
Let w be ((-26)/14 - -1)/((-4)/196). Suppose -2*c - 79 = b, 0 = -b - 4*c - 123 + w. Is b <= -1?
True
Let l = -5 + 6. Suppose 0 = u + l. Which is greater: u or -2/121?
-2/121
Let o be 40/70 - 2/2. Suppose b + 2*b + 21 = 0. Let a = -6 - b. Is a != o?
True
Let r(i) = i**2 + 7*i + 11. Let a be r(-5). Let p be (-3)/a - (-1017)/342. Is 1 at most as big as p?
False
Let g(m) = -2*m + 3. Let k be g(9). Let h = k - -15. Let w be (3 + h)*(-2)/(-75). Which is smaller: w or 0?
0
Suppose -8*v = 5*t - 6*v - 834, 0 = 5*t - 5*v - 820. Which is smaller: 167 or t?
t
Let b be (-63852)/(-15962) + (2 - 9 - -3). Let t = -119687/111734 - b. Which is smaller: t or -1?
t
Let j = 10/19 - 12/95. Let q = 3.3537 + -0.0537. Is q at most as big as j?
False
Let p(o) = o**3 + 6*o**2 - o - 3. Let z be p(-6). Let m be ((-2)/(-5))/(z - (-27)/(-15)). Which is smaller: m or 3/4?
m
Suppose 24 = 100*p - 88*p. Let n = 3 - -1. Is p less than or equal to n?
True
Let y = 214 + -231. Is -9 greater than or equal to y?
True
Let o be 4 - ((-104)/(-4))/2. Let n = o - -9. Which is smaller: n or -2/39?
-2/39
Let o be 2*871628/1320 - (-2)/(-11). Let y = 1321 - o. Is y < 0?
False
Let n = 467/4 - 115. Is 2 at least n?
True
Let c(y) = y + 1. Let h be c(1). Let i = -141 + 168. Let b = i + -29. Is h greater than or equal to b?
True
Let t be 100/(-3570)*(-3)/(-15). Is 0 greater than or equal to t?
True
Let j = 16 + 1. Let x = 21 - j. Is x equal to -4?
False
Let w = 10 - -4. Suppose 3*y + 5*m - 10 = 0, -2*y + 5*m + 17 + 23 = 0. Suppose y = -x + w. Are x and 2 equal?
False
Let p(m) = -m**3 + 6*m**2 - 2*m + 10. Let t = 63 + -57. Let g be p(t). Is 23 less than or equal to g?
False
Let b be (5/10)/(2/(-4)). Let m = -3 + 6. Let p be ((-1)/(2 - m))/1. Which is smaller: p or b?
b
Let a be (40299/40327 - 1)*(-7)/2. Which is bigger: a or -1?
a
Let z = -36 + 40. Do z and 23/7 have different values?
True
Suppose 60*c - 8 = -68. Which is greater: 40/97 or c?
40/97
Suppose -3*l + 118 = 388. Let o be (-5)/(-9) - (-20)/l. Are o and 4/39 equal?
False
Let v be (-66)/693*(-9)/(-7). Is v != 1?
True
Let v = 47 + -53. Let m = -0.093 + 6.193. Let l = v + m. Is -4 greater than l?
False
Let z = -118.1408 + 0.1408. Does 1/4 = z?
False
Let t = 2/9381 - 9863/2260821. Which is bigger: t or 0?
0
Let f = 97 - 487/5. Let t(h) = 5*h**2 - 5*h - 9. Let j(i) = 6*i**2 - 5*i - 10. Let r(n) = -4*j(n) + 5*t(n). Let b be r(6). Is b equal to f?
False
Let b = 136/143 - 13/11. Do -1/3 and b have the same value?
False
Let y = -18376.999 + 18391. Let q = -14 + y. Let v = q + -20.001. Is 1 not equal to v?
True
Let j = -0.457 - -0.357. Let o = 33 - 428/13. Which is smaller: o or j?
j
Let c be (18/45)/((-3843)/1920 + 2). Let m = 378 + c. Is 122 <= m?
True
Suppose 2*z = 13 + 33. Let s = 10 - z. Is s <= -15?
False
Let b = 20 - -16. Suppose 5*f - f + b = 0. Let r = -5 - f. Is 4 != r?
False
Suppose -3*j + 11 = 2. Suppose 0 = 3*u - 3*b + j, 0 = 5*u - 5*b + 2*b + 3. Let m = 11405/21 - 543. Which is bigger: u or m?
m
Let i be 1312/24 - (4/3)/2. Does 52 = i?
False
Let r = 7.05 - 7. Let p be 9/15*1*-10. Is r bigger than p?
True
Let v = 14403 + -71659/5. Let y = v + -719/10. Which is greater: 0 or y?
0
Suppose 0 = -5*a - 3*m + 37, -8*m - 34 = -4*a - 6*m. Suppose -3*f + 34 = 10. Let d = -4 + f. Which is greater: a or d?
a
Let x = -0.28 + -60.72. Let h = x + 76. Let n = 0.3 - 1.3. Which is smaller: n or h?
n
Let h(t) be the second derivative of t**4/6 + t**3 + 2*t**2 - 4*t. Let y be h(-4). Let a = 49/4 - y. Which is smaller: 0 or a?
0
Let m = 24 - 22. Suppose -5*r = -4*r + m. Let l be r - ((-16)/4 - -5). Is l at most as big as -2/7?
True
Let r be 159*((-30)/(-9) + -3). Let j be (-2 - -4)*1/((-2)/r). Are -54 and j equal?
False
Let s = 0 + -1. Let p be (78/208)/((-18)/8). Which is smaller: s or p?
s
Let h be ((-48)/25)/(0 - 252/240). Which is smaller: 3 or h?
h
Let v be (-2 - 0)/4*4/(-10). Let x(k) = -k**3 - 8*k**2 + 10*k + 3. Let z be x(-9). Let g(i) = i**2 + 5*i - 7. Let m be g(z). Is v less than or equal to m?
False
Let f(x) = x**3 - 7*x**2 - 22*x + 35. Let z be f(9). Is 7/24 != z?
True
Let v = -41 - -104. Suppose 23 - v = -2*d. Let n(y) = -2*y - 