t j be x(-5). Which is bigger: 19 or j?
19
Let r be (-2*((-9)/(-5) - 2))/((-320)/(-63200)). Is r not equal to 33?
True
Suppose 0 = 2*t - 10, 106 = 4*j - 3*t - 731. Let x be (-2)/(-6)*j/(-5) - -5. Which is smaller: -10 or x?
-10
Let b(y) = -454*y + 7717. Let s be b(17). Which is smaller: 9/647 or s?
s
Let f = 16.37 - 12.27. Do 51/7 and f have different values?
True
Let v(m) = -1482*m + 3214. Let k be v(3). Which is smaller: k or -1229?
k
Let w(d) = -d**2 + 55*d - 178. Let g be w(70). Which is bigger: g or -1229?
g
Let s = 21309 + -3686443/173. Which is smaller: s or -1?
-1
Let m be 4/(-8) - (11 - (-127377)/(-11076)). Which is smaller: 0.1 or m?
m
Suppose 4*s = 24*s - 11874 - 17266. Is s at most as big as 1454?
False
Suppose 10*x + 20 = 20. Let h be 2 + -3 + 372/375. Is x < h?
False
Suppose 7*s = 6*s + 15. Suppose -26 = -i - s. Suppose 18*z - 21*z + 3*l = -27, -l + 41 = 4*z. Are i and z unequal?
True
Let a be 2*(-606)/408 - -3. Is -168 > a?
False
Let j = 33 + -51. Let t = 17.8 + j. Let u = -2 - -2. Is u > t?
True
Suppose 17*t = 163*t + 199144. Is -1364 greater than or equal to t?
True
Let p = -0.3 + 0.26. Let v = -2.83 + 0.94. Let c = 1.99 + v. Which is smaller: c or p?
p
Let m be (-414)/(-4)*4 - 2/(88/308). Which is bigger: m or 400?
m
Let m(f) = -77*f**2 + 65*f - 9. Let x be m(1). Let y be (-14 - 2)/((-4)/(-6)). Is y > x?
False
Let b be ((-4)/3 - (-8)/(-3))/(-2). Suppose -3*a + 5*n + b - 7 = 0, -3 = a - 3*n. Which is smaller: -2/25 or a?
-2/25
Let r = 4/381 + -7833/127. Let h = -62 - r. Is 0.43 less than h?
False
Let o be (388/970)/((-131932)/10). Which is smaller: o or -1?
-1
Let z = -1228/41 + 30. Let s = -521 - -520. Which is greater: z or s?
z
Let u = 0.286 + 260.514. Let t = u - 261. Let w = -49 + 35. Is t at most w?
False
Let l(z) = -551*z + z**3 + 2*z**2 - 550*z - 3 + 1100*z. Let h be l(-2). Which is smaller: 5/42 or h?
h
Let f(h) = h**2 - h. Let j be f(2). Suppose -4*d + 6 = -2. Suppose -2*i + 0*b + 7 = 3*b, d*i - j*b = -8. Is 2/7 bigger than i?
True
Let l be (-4)/(-14) + 8/(-28). Let k be 9/18 - 155/(-10). Let h be ((-25)/60)/((-30)/k). Which is bigger: h or l?
h
Suppose -11*u = -0*u + 110. Suppose 58*r + 3*r + 305 = 0. Is r bigger than u?
True
Let g(s) = s**2 - 28*s + 50. Let p be g(26). Let c be ((-15)/(-6))/((-1)/p). Is -1 at most c?
True
Let v be (-2)/(-7) + ((-6)/(-4536))/((-316)/68200). Is v greater than or equal to 1?
False
Let w(y) = -y**3 - 12*y**2 - 13*y - 20. Let t be w(-11). Suppose 3*f - f + 3*m - t = 0, 4*m = -5*f + 19. Let g be 29/f - (-3)/(-21). Which is smaller: g or 3?
3
Let q = -3149 + 3273. Is 117 less than or equal to q?
True
Let v(r) = -10*r**2 + 5*r + 245. Let p be v(18). Which is greater: p or -2904?
-2904
Let v = -0.5 + 0.4. Let q be 24/(-16)*2/705. Let k = q - -2588/705. Is k equal to v?
False
Let i = -14/15 + 217/120. Let q(t) = t**2 - 48*t + 573. Let n be q(22). Does n = i?
False
Suppose 0 = 755*d - 782*d - 107271. Is 0.2 greater than or equal to d?
True
Let t = -99 - -99.5. Which is bigger: t or -369?
t
Let l(m) = -m - 26. Let o be l(0). Let y be 4/(-2) + -1 - (-10269)/18. Let b = y - 594. Which is smaller: o or b?
b
Suppose 0 = 30*l - 414 - 2016. Which is smaller: l or 1038/13?
1038/13
Let w be (-2720)/96 - -28 - (2324/(-6966) + 0). Which is smaller: w or 0?
0
Let d = 19.9 + -135.9. Let x = -8.9507 - -8.7507. Is x at most as big as d?
False
Suppose 3*r = 4*j + 1568, 5*j + 1979 = -r - 0*r. Let t be (-9)/(-12) + j/20. Let i be (t/475)/((-2)/5). Are 1 and i non-equal?
True
Let g = -51835 + 621341/12. Which is smaller: g or -58?
-58
Let p = 126 - 75. Suppose -2*s + 83 = -p. Let c(l) = 25*l - 59. Let g be c(5). Which is bigger: g or s?
s
Suppose 23 + 7 = 5*o. Let n be (-5 + 4)*(1 - 1). Suppose 5*y - 4*u + n + o = 0, 4*y = 2*u - 6. Is y at least as big as -5/6?
False
Suppose -8*r - 4 = -p - 5*r, 2*p = -5*r + 8. Suppose 0 = p*m - s + 6, 0*s - 2*s + 8 = -4*m. Let g = 56699/75 - 756. Is g greater than m?
True
Let s = 15.71 + 1.29. Let u = -0.043 + 8.043. Which is bigger: u or s?
s
Suppose -2*w + 162 - 328 = -2*u, 5*u + 2*w = 373. Which is greater: 73 or u?
u
Let z = 9 + 0. Let m = 5 - z. Let y be ((-6)/180*-15)/((-2)/4). Is y greater than or equal to m?
True
Let l be (78/24)/(30/16 + -2). Let o be 5 - (46151/247 + (-4)/l). Is o >= -182?
True
Suppose -13*v - 139 = -12*v. Let m be v/360 - 6/(-15). Do -1 and m have the same value?
False
Let b = 21402 + -21402.3. Which is greater: -4/185 or b?
-4/185
Let m = 26 + -27. Let w = m + 0.9. Let r be 624/300 - 1*2. Which is smaller: w or r?
w
Let l = 4618 + -2488. Which is smaller: 2129 or l?
2129
Let c = -7 - 8. Let w be ((-14)/10 - 6/c)*-2. Suppose 3*a = 4*d - 13, w*d - d + 5*a = 32. Is 5 <= d?
True
Let t = -1898/9 - -2386/9. Is 54 greater than or equal to t?
False
Suppose z = 3*h, 0 = -0*z + 4*z + h - 39. Let c be z*2*21/(-14). Let q be (-2)/(-5)*(-2)/(8/260). Which is bigger: q or c?
q
Suppose 3381 = 3*m - 3*d, 197 + 922 = m + 3*d. Are m and 1125 equal?
True
Let p(k) = k**3 + 18*k**2 + 67*k + 2. Let d be p(-19). Does d = -1630?
False
Let q = -199 - -204. Suppose -3*c = 3*o + c + 10, q*o - c - 14 = 0. Is o bigger than -3?
True
Let m = -9.6 - -8. Let g = m - -1.67. Let q = 3.0007 - 10.0007. Is g >= q?
True
Let w = 0.04709 + 0.05291. Are w and -71.7 equal?
False
Let f be -12*(2/(-6) + -1). Let g = -87019/7 + 12415. Let o = f + g. Is o smaller than -2/7?
False
Let k(y) = 246*y + 751. Let i be k(-16). Which is greater: -3186 or i?
i
Suppose 18*s + s + 4864 = 0. Let l = -381 - s. Which is smaller: -124 or l?
l
Suppose -a - 51 + 36 = -2*r, -a = -4*r + 25. Suppose u - r*j = 26, 23*u + 4*j = 27*u - 24. Is u <= 3/146?
False
Let y = -2974 - -1489. Let a be y/(-300)*90/(-12). Which is smaller: -38 or a?
-38
Let g = -3/6814 - 4790221/47698. Does -101 = g?
False
Let n = -21910 - -21845. Which is smaller: 2/17 or n?
n
Let o = -0.6582 + 0.607. Which is bigger: o or -2/11?
o
Suppose 32 + 43 = 15*l. Suppose 40 = -5*m + 5*h, -l*m - 4*h + 2*h = 68. Is -37/3 >= m?
False
Suppose -3*s = -s. Let h be (6 - 10) + (-1 - (-190)/18). Let c = h - 16/3. Which is smaller: c or s?
s
Let c = -0.776 + 2.976. Is -3.92 <= c?
True
Let q = 7701 + -7646. Is 43 > q?
False
Let x be 462/(-847) + (-320)/(-22). Let l(p) = -3*p**3 + p. Let f(t) = -t**2 + t - 1. Let r(j) = f(j) + l(j). Let s be r(-2). Which is smaller: x or s?
x
Let m = -297.06 + 294. Let y = -2.9 - m. Let s = -3.1 - -1.1. Which is smaller: y or s?
s
Let f = -20731 - -20731. Let l = 4887292 + -24050363592/4921. Let p = 2/133 - l. Is f < p?
False
Suppose 0 = 491*l - 492*l - 1. Which is bigger: l or -1/1251?
-1/1251
Let n = 70 + -52. Let x = -16.2 + n. Let b = 3.2 + x. Which is smaller: b or 1?
1
Let t = -6.9 - -0.9. Let j be -9 + (21 - 4) + 2. Is j != t?
True
Let c = 10599 - 94903/9. Is c at most 55?
True
Let b(d) be the first derivative of -d**2/2 - 4*d - 3. Suppose -5*r - 22 = -j, 0*j + r + 11 = -2*j. Let n be b(j). Which is smaller: n or 2/21?
n
Suppose d + 10164 + 23264 = -4*q, -d - 25071 = 3*q. Let x = q - -4053143/485. Is 1 <= x?
False
Let p be ((-96)/(-20))/(6/(-135)). Let w = 104 + p. Is w equal to 2/15?
False
Let y be (228/(-1980))/((-159)/(-18501)). Let n = y + -2/1749. Which is smaller: n or -14?
-14
Suppose -4 + 64 = 15*v. Suppose -20*m = v*w - 15*m - 275, -4*w - 2*m = -266. Which is smaller: -0.4 or w?
-0.4
Let g be 35/21*6/4*6. Suppose -g*a = -21*a + 120. Let o = 837/2 + -400. Which is smaller: o or a?
o
Suppose 0 = -5*a + p + 2, 0 = -2*a - 97*p + 101*p + 8. Which is smaller: a or 1/5606?
a
Let n(t) be the second derivative of t**4/12 - 7*t**3/6 - 53*t**2 - 66*t - 2. Let f be n(15). Let p = 12 + 0. Which is greater: f or p?
f
Let o = 282 + -245. Let x = o + -108. Is 1 at most as big as x?
False
Let j(a) = -108*a + 3493. Let x be j(15). Are x and 1874 equal?
False
Let y = -16907 - -16906. Do 28/1111 and y have different values?
True
Let n(p) = -p**3 + 42*p**2 + 39*p - 2. Let m be n(43). Is m > -187?
True
Let t be (-352)/16*(1 + -26). Suppose -t = -0*y - 5*y. Which is smaller: 0.1 or y?
0.1
Let u be (-2)/4*2/(-8)*-16. Let c be u*((-1)/(-5) - (-452)/40). Which is bigger: -22 or c?
-22
Let x = -3/313 - -1652/205015. Let b = -4094 + 4094. Is x smaller than b?
True
Let f = -2797/120 - -7/120. Suppose -5*h - 4*g - 102 = 0, -g - 14 = h + 3*