 - 7/3. Is o >= 1/390?
False
Let g(j) = -2*j**2 + 2*j - 1. Let f be g(1). Let o = -15338/77221 - 13/1457. Is f at least o?
False
Let r = -199.96707 - 0.03293. Which is bigger: r or -0.09?
-0.09
Let r be (-2 - 1)/(-3)*13. Suppose 3*i - 7 + 35 = -5*c, -3*i - r = 2*c. Let z be ((-15)/(-2) + 3)/(i/2). Is z greater than -21?
False
Let j = -14647 + 14080. Which is bigger: j or -565?
-565
Suppose -4*s + s + 45 = 0. Let u = -21 + s. Let v be (2 + -2)/2*(-7 - u). Which is smaller: v or -18?
-18
Let y(g) = -g**3 + 6*g**2 - 97*g + 97. Let i be y(10). Is -0.5 greater than i?
True
Let p be (-1)/(-4) - 3/12. Let t be (-16)/(-12) + (-28)/(-42). Let f be (t - (2 + -3)) + (-204)/70. Which is smaller: p or f?
p
Let d = -4583.1 - -4583. Which is greater: d or 385/3?
385/3
Let c(v) = 13*v**2 + 4. Let p be c(4). Let y = 165 - p. Which is bigger: -49 or y?
y
Let n be (-2)/4 - 58/4. Let v = 6063 - 6057. Let w be (v/n)/(62/(-10)). Which is greater: w or 1?
1
Let p = 14 + -14. Suppose p = 3*k - 2*k. Let h be (-238)/(-30) - -7*(-5)/5. Which is bigger: h or k?
h
Suppose 2*g = -5*r + 589, -130*g + 125*g = r - 104. Is 2/11 greater than or equal to r?
False
Let b be 16/(-40) + (-22)/(-5). Let h be (b - 96/(-66)) + -3. Which is greater: h or 3?
3
Let t = -11 - 1. Let l(h) = -2*h - 39. Let m be l(t). Which is smaller: m or -19?
-19
Let j = -20354 - -21170. Is j at most as big as 8960/11?
False
Let d be 1/6 - 102/(-36). Suppose -5*a - 84 = 6*q - 4*q, -d*a + 3*q = 63. Let i be 1*1*(-5 + -12). Is i less than a?
False
Let l be 2/(-14) + (-297)/(-1540). Let m = -22 - -26. Suppose -f = -3*x - 2*f + 1, 4*x - m*f = -4. Is x <= l?
True
Let a = -10.14 - -10.8. Let s = a + 1.34. Is -9/4 >= s?
False
Suppose -1205 = 77*o - 82*o. Which is smaller: 479/2 or o?
479/2
Let q = 21.2 + -19. Let n = -1971.2 - -1969. Let c = n + q. Which is greater: 4 or c?
4
Let v = 1670 + 1823. Let z = 6748 - v. Let h = -400367/123 + z. Does h = -1?
False
Suppose 23 = -3*m - 161*r + 165*r, m = -r + 4. Is -4/3065 at least as big as m?
True
Let r(j) be the second derivative of 2*j**3/3 + 111*j**2/2 + 10*j. Let t be r(-29). Is t less than or equal to 1?
True
Let v = -2287 - -2286.665. Is v equal to 5?
False
Let o be (((-1496)/51)/(-11))/4. Is o less than -470?
False
Let d = 139.2 + -140.438. Let n = 1.14 + d. Let h = 0.198 + n. Is -16 smaller than h?
True
Let y(p) = p**3 - 2*p + 2. Let q be y(0). Let j be 79826/20592 + q*15/(-10). Let a = -2/1287 + j. Which is smaller: 2 or a?
a
Let f(l) = -25*l + 114. Let y be f(21). Let o = -412 - y. Is o > -28/15?
True
Let v = 584.93 + -513.3. Let f = -0.63 + v. Let p = 71 - f. Is p >= 0.6?
False
Suppose 4*i = -3*v - 309, 4*i = 3*v - 52 - 239. Let z = -73 - i. Let q be 1*z*(-5)/70. Is q smaller than -1.1?
False
Let y be 3842/15752 + (-3)/12 + -41 + 41. Do y and 0.1 have different values?
True
Let d(n) = 167*n + 266. Let w be d(-4). Which is greater: w or -399?
-399
Let y be 50071/(-8036) - (-8)/224. Is y <= -5?
True
Suppose 0 = -0*s + 16*s + 48. Let k = 1251 - 5019/4. Which is greater: s or k?
s
Let c = 11.79019 - -0.20981. Suppose -26 = 5*s - 11. Are c and s unequal?
True
Suppose 177*w - 3252 - 9492 = 0. Which is bigger: 37 or w?
w
Suppose 2260 = 15*w - 2015. Let y = 350 - w. Which is smaller: y or 61?
61
Let d = -35 - -165. Suppose 4*p - 3*u - 553 = 2*u, -410*u + 412*u + 10 = 0. Do p and d have different values?
True
Let m = -9577/90 - -955/9. Which is bigger: m or 195?
195
Let i be ((-8)/3)/((-448)/168). Is i less than or equal to 2/9715?
False
Let d = 2.2 - 1.78. Let x = 144 + -144. Which is greater: d or x?
d
Let q be (1 - 15/(-2))*-2. Let g(a) = 2*a**3 + 22*a**2 + 18*a - 11. Let c be g(-10). Let k be 24/9*c*15/(-20). Are k and q equal?
False
Let p = 1.64 + -1.39. Let f = -1.75 - p. Which is smaller: 0.04 or f?
f
Suppose 0 = -17*x - 0. Suppose 4*f = 2*k + 8*f - 28, 5*k - 3*f - 5 = x. Let v be 3*(-2 + (-110)/(-36)). Is k greater than or equal to v?
True
Let a be 4518/(((216/60)/9)/(8/30)). Is 3013 < a?
False
Suppose 20*j = 8 + 12. Which is bigger: 29/53 or j?
j
Suppose 0 = -16*c - 59 + 443. Suppose -a + 26 - 2 = 0. Let l = c - a. Is l equal to 23?
False
Let t = 24 + -170/7. Let f(h) = 28*h**2 + 559*h + 36. Let s be f(-20). Is s at least t?
True
Let p be (-100)/26 - 96/624. Which is bigger: -282/103 or p?
-282/103
Let m = 77 + 17. Let i be -7 - (-8 - -16 - 29). Suppose -6*q - 752 = -i*q. Is m != q?
False
Let m(b) = -b + 2. Let d(s) = -s + 2. Let j be d(7). Let q be m(j). Suppose -2*a = q*t - 3*t, a = -t + 1. Which is bigger: t or -1/53?
-1/53
Let m = -126.717 + 125.917. Let j = 2.3 + -4. Which is greater: m or j?
m
Suppose -61*y + 134576 = 7574. Is y < 2082?
False
Let x = 5.1 - 2401.1. Is x at least 0.1?
False
Let k(b) = 29*b + 507. Let j be k(-14). Do j and 6 have the same value?
False
Let b(g) = 26*g**2 - 2*g - 9. Let u be b(-4). Suppose -2*o - o + u = -5*s, 310 = -4*s - 2*o. Which is smaller: -78 or s?
s
Let k be 10 - 16 - (-612)/159*2. Is 2 smaller than k?
False
Suppose 5*p + 6 = -p. Let r be p - (-8 + 6)/2. Is 0 at most r?
True
Let n be (0 + 4 - 6)/(6/3). Let k be n/(-3) + (256/(-24))/(-16). Let t be 1/(-8) - 525/(-4840). Which is greater: t or k?
k
Suppose -5*f = 3*g - 31, -6*g + 7*g - 2*f = 3. Let n = -12 + 7. Let m(p) = p**2 + 3*p - 1. Let l be m(n). Which is greater: l or g?
l
Let j = -222.48 - -1.48. Let i = -221.1 - j. Is -148 greater than i?
False
Let t be 21 + -19 - (6 - 1). Let f be 6/t + 68/24. Is f greater than or equal to 2?
False
Let g(b) = b**2 - 11*b + 28. Let y be g(2). Let u(r) = -r**3 - 4*r**2 - 4*r - 3. Let i be u(-4). Suppose -y = -i*z - 426. Which is smaller: 0.1 or z?
z
Let b be ((-50)/(-175))/((-4)/(-7)). Let a(q) = -q**2 + q + 5. Let w be a(10). Let z = w - -677/8. Is z <= b?
True
Let k = 105 - 130.4. Let h = -16.5 - k. Let t = -9.9 + h. Which is smaller: t or 0.051?
t
Suppose -21*y = 26 - 5. Let i = 2/117 + 1/117. Is y at least as big as i?
False
Let r be (1152/117 + -10)*-13. Is r smaller than 147/248?
False
Suppose 0 = -140*f + 176 + 944. Which is smaller: f or 251/32?
251/32
Let i = 34694 + -34686. Let c = 1.8 + -2. Let f = c - -0.1. Is f at most i?
True
Let i = -13146 + 13141. Which is smaller: -176/39 or i?
i
Let w = 527 + -527.067. Let y = w + 0.113. Which is smaller: y or 0.2?
y
Let x(o) = -2*o**2 - 44*o - 138. Let d be x(-4). Which is greater: d or 70/11?
70/11
Let z = -2480 + 2455. Is z less than or equal to -239/10?
True
Let j(i) = -i**3 + 2*i**2 - 108*i - 297. Let z be j(0). Which is bigger: -303 or z?
z
Let f be (4 + (-65)/15)/(-3 - 23108/(-7704)). Which is bigger: f or 645?
645
Let d(j) = 7*j + 10. Let v(k) = -10*k - 15. Let s(u) = 8*d(u) + 5*v(u). Let h be s(5). Suppose h = 28*m - 33*m. Do m and -8 have the same value?
False
Let c = -3.137 - -3.237. Which is bigger: c or 694?
694
Suppose 152*g - 26 = 126*g. Suppose 4*x = 8*x - 16. Let t be ((-6)/x)/(2349/36). Which is smaller: t or g?
t
Let b be (-20)/(3/((-30)/(-4))). Let t = 4335 - 3025. Suppose -t = 28*i + 118. Which is bigger: i or b?
b
Let h be 30/135*(-90)/(-115). Is -1 at least as big as h?
False
Let o = 1750 - 1750.1. Which is smaller: -317 or o?
-317
Let z = -12156 + 1325027/109. Is z > 0?
True
Let a(f) = 6*f**2 - 49*f - 3. Let y(b) = -2*b**2 - 1. Let d(u) = a(u) + 4*y(u). Let r be d(-24). Which is smaller: r or 15?
15
Let i be -4 + 5 - (1 + 1). Let d be (i - 3)*1 - 2. Let g be 19/6 - (-2 + (-30)/d). Is g smaller than -1?
False
Suppose -4*x - c + 8 = 3*c, x + 8 = 4*c. Let m = -96733 - -872897/9. Let u = m - 256. Is u at most x?
True
Suppose n + s - 6 = 0, 0*s - 2*s + 7 = n. Suppose 6*c - n*h = 3*c + 677, 679 = 3*c - 4*h. Is 229 <= c?
True
Let p = -0.2 - -0.3. Suppose 0 = -2*h + 3*f - 56, 4*h + 2*f - 5*f + 100 = 0. Let q be (-4)/h + 1432/(-6424). Which is smaller: q or p?
q
Let f = -52227 - -52225. Let g = 2 + -2. Is f bigger than g?
False
Let c = -21151 - -21418. Is 275 greater than c?
True
Let f(j) = 29*j**2 - 2*j + 1. Let d = -14 - -15. Let a be f(d). Suppose 0 = 2*r - 81 + 23. Is a at least r?
False
Let z = 575 + -572. Let v be ((-18)/534)/(60/(-16) + z). Which is greater: 1 or v?
1
Let a(j) = j - 4. Let y be a(6). Let r be y*(2 - 6/4). Let o be ((-5224)/(-308) - 4) + (-51 - -38). Is r <= o?
False
Let x = -1.37 - 1. Let r = x - -1.06. Let q = r - -0.71. Which is sm