= -1.47 + 1.07. Are j and k unequal?
True
Let c be (-813)/1197 + -1 + 23/(828/48). Is -1 at least c?
False
Let y = 12772 + -12772. Which is smaller: y or -0.2368?
-0.2368
Suppose -2*g = 0, 782*g - 786*g = -2*k. Which is smaller: k or -1824?
-1824
Suppose 0 = -3*n - 5*y - 0*y + 1070, -n + 352 = 4*y. Let k(j) = 35867*j - 286575. Let z be k(8). Is n greater than z?
False
Let w(o) = -o**3 - 7*o**2 - 7*o - 9. Let q be w(-6). Let y = 48.6 - 60.6. Which is bigger: q or y?
q
Suppose -2*b - 52 = -3*b. Let d = -40833 + 40834. Is b less than or equal to d?
False
Suppose 22*u = 556 - 23 + 435. Which is greater: u or 64?
64
Let y = 67.601 + 0.399. Let c = 70 - y. Is -44/5 at most as big as c?
True
Let y = -27 + 17. Suppose 0 = -41*a - 383 - 68. Is y at least a?
True
Let q be 1/(0 + 5 + (-288)/54). Let g be (q - -23) + (-3 - -19)/(-4). Are 23 and g equal?
False
Let m(v) = -v**3 + 4*v**2 + 725*v - 3570. Let t be m(5). Is 678/23 at most as big as t?
True
Suppose -574 = -4*j - 2*i, j + j = -5*i + 275. Let d be 4 + (-480)/j + 0. Does 1 = d?
False
Let l(g) = 2*g**2 - 20*g - 22. Let s be l(11). Let a be 42/(s + -7) - -7. Let d = -16.5 - 0.5. Is d < a?
True
Let m be (-602)/(-6) - 16/12. Suppose 5*f + 500 = 5*h, -h + 4*f = -5*h + 384. Is m != h?
True
Let a be 1*(-5)/(-10)*-4. Suppose s = -2*s + 39. Let v be (-3 - (-1 + -4))/(a/s). Which is greater: -12 or v?
-12
Let g = -123 + 55. Suppose 5*n + 165 + 167 = f, -4*f - 280 = 4*n. Is g greater than n?
False
Let c = -429.6 - -430. Let h = -20.6 - -24.1. Is h less than c?
False
Let p = 8017 + -9992. Is p smaller than -1974?
True
Let p = 59.4 - 59.36. Let d = 1 - 1.14. Let x = p + d. Are -0.22 and x non-equal?
True
Let y(i) = 9*i + 2180. Let m be y(18). Which is smaller: 2341 or m?
2341
Suppose 0 = t + 14 - 46. Let c be t/54*(-195)/(-20). Let s = 82/9 - c. Are s and 4 non-equal?
True
Let s = 25/1654 - -7973/785650. Is 0 less than s?
True
Suppose 2*j - 2 = -3*l, -5*j - 2 = -6*l + 10*l. Suppose l*y - x - 27 = 50, -x - 118 = -3*y. Is 40 less than or equal to y?
True
Let q(i) = 42 - 76 - 45*i + 41. Let n(a) = 2*a**2 + a. Let t be n(-1). Let u be q(t). Which is smaller: -39 or u?
-39
Suppose 2*o + 2 = -4*g, 3*o - 16 = 3*g - 1. Let r = 3676/351 + -127/13. Let k = r + -398/297. Which is smaller: k or g?
g
Suppose -2*h - 14*f + 2 = -13*f, f + 10 = 4*h. Let l be (69/21 - h) + (-6)/21. Which is greater: l or 2/585?
l
Let g be ((-276)/16)/(((-957)/38104)/(-29)). Is g != -19918?
False
Suppose 4*r - 6*r = -2*u + 60, 0 = -5*r. Let b be (2/(-66))/(10/u). Let f = 74/21 + -20/7. Which is bigger: b or f?
f
Suppose 6 = 2*b - 4. Suppose -d - 9 + 4 = -4*j, 3*d - 19 = -5*j. Suppose b + d = -8*h. Which is smaller: h or 1/5?
h
Let p(a) = a**3 + 6*a**2 - 10*a + 24. Let f be p(-9). Let u = f + 106. Let b(n) = -n**2 + n + 8. Let g be b(6). Is u greater than g?
False
Let c(b) = -b**2 + 15*b - 63. Let u be c(7). Let m be (7/(-158))/u*6/(-18). Which is smaller: -1 or m?
-1
Let i(k) = 7*k**2 - 10*k. Let p be i(2). Let r be 1452/756 + p/(-7) + 1. Which is smaller: 1 or r?
1
Let x(c) = 608*c**2 + c + 6. Let m be x(-2). Let t = -46274/19 + m. Which is bigger: t or 1?
1
Let s = -5542091/262 - -21153. Are s and -1 unequal?
True
Let o be -6 + (-14 - 6*2*2/(-8)). Which is smaller: -42 or o?
-42
Let w = -0.0688 - 58.9312. Which is bigger: w or -7?
-7
Suppose 5*q - 683 = -z, -q + 121*z = 120*z - 139. Is 131 greater than or equal to q?
False
Let o = 8.6 + -9. Let l be 13/(65/(-90)) + 5. Let c(m) = -m**3 - 12*m**2 + 11*m - 23. Let z be c(l). Are o and z non-equal?
True
Suppose 3*b - 83 = 34. Suppose 24 = 7*p - b. Suppose 5*h = 41 + p. Which is greater: 53/5 or h?
53/5
Let w be -150 + 2/(-1 - (-3)/1). Let g = w + 150. Which is smaller: g or -1/190?
-1/190
Let f = 0.179 - 1.179. Which is smaller: 3424 or f?
f
Let w = 123.5 - 123.6. Is w > 0.035?
False
Suppose -4*w - 2*b = 14240, -320*b + 324*b - 3569 = w. Is -3563 != w?
True
Let d be ((-6408)/15)/4 - (-612)/(-510). Which is smaller: 54 or d?
d
Let z(w) = -4*w - 37. Let n be z(-9). Is -12/365 at least n?
True
Let f = -5635 - -95765/17. Let t be -2 - (1 + -1) - -1. Which is greater: f or t?
t
Suppose -49*h - 7006 + 7153 = 0. Suppose -2 = -r - 3*l - 4, -3*r - 5*l = -2. Suppose -2*q + 0*q - 2 = 0, 0 = r*s - h*q - 67. Which is smaller: s or 0.1?
0.1
Suppose a + 648 = 14*z - 19*z, -2*z = 5*a + 3401. Which is bigger: a or -674?
-674
Let o(u) = -u**3 + 6*u**2 + 15*u - 30. Suppose 2*d = -5*d + 56. Let l be o(d). Is l bigger than -39?
True
Let q = 1210189/69 + -17539. Suppose 5 - 32 = 3*r. Let w = -8 - r. Is w greater than q?
True
Let w be 1 - (-98676)/20 - ((-12)/(-30))/(-2). Which is bigger: 4934 or w?
w
Let h be 3/5 + (-4)/(-10). Let r be ((-3)/(718 - h))/(-1). Do 0 and r have the same value?
False
Let p(d) be the second derivative of d**4/24 - d**3 + 8*d**2 + 13*d. Let c(q) be the first derivative of p(q). Let u be c(-5). Is -13 less than u?
True
Let z be (1 + -55123)/((-322)/(-14)). Let i = 2397 + z. Is i smaller than -1?
False
Let y = -224932/11707 + 442/23. Let n = 38 - 39. Is n bigger than y?
False
Let a = 398 - 452. Let n be 12/a + 532/(-441). Which is bigger: n or -0.21?
-0.21
Suppose 87*q - 78*q = 9. Let g = -5731 + 2687841/469. Which is smaller: g or q?
g
Let c(i) = -i**2 + 19*i - 62. Let l be c(-18). Let m = l - -772. Does 39 = m?
False
Let c = -16177/8 - -2029. Suppose -2*f - 5*p + 41 = 0, -f - f - 2*p + 26 = 0. Is c greater than or equal to f?
False
Let k = 1666 - 1665.98. Which is smaller: k or -1/6?
-1/6
Suppose 23*c - 594 = -10*c. Suppose 0 = -29*y - c*y - 1551. Which is bigger: y or -172/5?
y
Let u be ((-9)/(-30))/(10/(-840)). Let v = u - -383/15. Does -2/9 = v?
False
Let h = -5.632 + 5.4. Let b be (-17138)/3895 - (-36)/15. Which is greater: b or h?
h
Suppose -1829 = 6*t + 187. Let k be 4/(-14) + (-264)/t. Is k >= 105?
False
Suppose 8 = -32*b + 28*b. Let a(j) = -25*j + 74. Let y be a(3). Is y smaller than b?
False
Let z(k) = k**3 - 48*k**2 + 49*k + 774. Let d be z(41). Is d != -8984?
False
Let y = 7267 + -7268. Is y at most as big as -26/283?
True
Let h be (9 + -6 - -6) + 1859. Is h greater than or equal to 1869?
False
Let v be (-9)/18 - 1/((-4)/22). Suppose -2*s = 4, v*j - 4*s + 5*s = 298. Let i = j - 59. Which is greater: i or -2/31?
i
Let x = -2/168667 + -23106593/66286131. Let o = -2/131 - x. Let g = 102 + -104. Which is bigger: o or g?
o
Suppose -5*u - q = 511 - 519, 4*q - 32 = 3*u. Is u equal to -8/637?
False
Suppose 0 = -b - 0*b + y + 28, 0 = -2*b - y + 71. Let q(r) = 5*r - 7. Let a be q(8). Is b at least a?
True
Let y = -7.05 - -0.05. Let l = y - -3. Let w = -205.2 - -205. Which is greater: w or l?
w
Let c be (3/(-5))/(2/(-5)). Let w = -203 - -206. Suppose 0 = -2*l - 5*z + z - 10, 7 = w*l - 5*z. Which is smaller: c or l?
l
Suppose 4*j - 4 = -4*v, -3*j + 4*j - 5 = -3*v. Let u be (-164)/84 - (-2)/1. Is u < j?
False
Let s(g) = -8*g - 47. Let w be s(-11). Let r = w - 66. Let y = -53/2 - r. Are y and -1/27 equal?
False
Let z(a) = -a**3 + 7*a**2 - 7*a + 2. Let q be z(6). Let t = -3947 - -3924. Which is bigger: t or q?
q
Let p = 14138 + -14304. Is -1/7 at least p?
True
Let c be -3 + (-1)/(2/9). Let h be 27/(-18) - (-27)/2. Let r be h/(-9) - (-20)/(-3). Which is smaller: c or r?
r
Suppose -12*o + 83 + 1 = 0. Suppose -o*l - 19 = -19. Are -1/15 and l non-equal?
True
Let r(n) = 9*n**2 - 125*n - 665. Let o be r(-6). Which is smaller: 407 or o?
407
Suppose -3*t - j = -5, 2*t - 12 = -0*t - 5*j. Let b be -3 + 15 - (-18 + 449372/14980). Which is greater: t or b?
t
Let f = 195 + -154. Suppose -13*p + 39*p = 1014. Which is smaller: f or p?
p
Let d(q) = q**2 - 29*q - 181. Let t be d(-5). Which is smaller: t or -28?
-28
Let v = 14 - 12. Suppose z - v = -0, -4*b - 4*z = -100. Let h = b - 24. Which is greater: 0 or h?
0
Let m = 2/379 - 425/8717. Let z = -109 + 118. Suppose -5*b - 10 = -z*l + 4*l, -4*b = 8. Which is greater: l or m?
l
Let v = -20/483 + 21611/556899. Which is bigger: v or 1?
1
Let u = 12.541 - 12.6. Let k = u + -0.005. Let d = k - 10.936. Which is smaller: -1 or d?
d
Let x = 9.021 - 10.491. Which is greater: -2/9 or x?
-2/9
Let n be (-2)/(-7) + 456/(-1498). Suppose 0 = -6*a - 56 + 158. Suppose -13*p = 4*p + a. Which is bigger: n or p?
n
Let d be (39/24)/(1380/(-180)). Is d at most 1?
True
Let g = -15