 Let h = k - -32.8. Suppose 5*y = 14 + 1. Is h at least as big as y?
False
Let p(n) = -n**2 + 78*n - 736. Let u be p(11). Is -1/1382 at most as big as u?
True
Suppose 92 = -0*n + 4*n. Let k = n + -26. Suppose -z + 4*j - 15 = 0, -2*j + 22 - 7 = -3*z. Is z greater than k?
False
Suppose -257418 = 161*t - 107*t. Is t bigger than -4766?
False
Let q = 2.177 - 1435.177. Is -2/7 bigger than q?
True
Let b be (-98199)/(-270) - 18/(-60). Which is bigger: 2549/7 or b?
2549/7
Let p be 3/(-3)*(-7 - -7). Let y be ((-5)/(-55))/((1 + 1)/(-2)). Which is smaller: p or y?
y
Let a = 101.824 - 98.824. Suppose 0*f + 3*f = s + 96, -f = -3. Which is smaller: a or s?
s
Let m = 14978 - 14978. Which is greater: m or 452.1?
452.1
Let t = 15 + -18.01. Let l = 0.49 - t. Let i = -3.4 + l. Is -40/9 less than i?
True
Let u(a) = 2*a - 47. Let k be u(9). Let r = k - -75. Which is smaller: 44 or r?
44
Let o = 5281 - 5280.699. Which is smaller: -5 or o?
-5
Let p(y) = -3*y**3 + y**3 + 17 + y**3 + 0*y**3 + y + 4*y**2. Let d be p(5). Which is greater: d or 6?
6
Suppose 0 = -7*o + 2*o + 65. Suppose -o + 398 = 5*t. Let h = t + -81. Is -4 smaller than h?
False
Suppose -4*x - 2*z + 7 + 45 = 0, 5*z + 50 = 2*x. Which is smaller: x or 162/11?
162/11
Let a = -1 - -2. Let k = 136503/8728000 + -2/136375. Is k smaller than a?
True
Let j be 132/(-198)*(-9)/4127. Is 1 != j?
True
Let s be (0 + 0)*1/(-2). Let h = -4015 - -4019. Suppose -7*i + 8 = 5*n - 6*i, s = -5*n + 3*i - h. Which is greater: n or -16?
n
Let m = 13824 - 13709. Which is smaller: m or 9?
9
Let q = -1620 + 1380. Which is smaller: -247 or q?
-247
Let n = -107705 - -181482913/1685. Which is greater: n or 0?
0
Let i = -0.2078 + 0.3078. Suppose 4*o + 489 - 21 = 0. Is i less than o?
False
Suppose -5*w + 19*p = 18*p - 7361, 3*p = -3. Is 1470 < w?
True
Suppose -2310 = 92*v + 1370. Let h be (-12)/5*(-70)/(-4). Which is smaller: h or v?
h
Let i be ((-368898)/(-9141))/(-2) + 2. Let w = 200/11 + i. Which is greater: w or -1?
w
Let z = -24489 + 25466. Is 979 less than z?
False
Let o(h) = -h**2 + h - 1. Let r(b) = -b**2 + 4*b - 2. Let l(z) = 2*o(z) - r(z). Let j be l(1). Let w be (-6 - j) + -1 - 24/(-6). Which is bigger: -0.05 or w?
w
Let a = 3.6 - 0.6. Let d = -4 + a. Let t = 36.08478 - 0.08478. Is t <= d?
False
Suppose -5*u = 5*m + 755, -10*m + 11*m = -2*u - 305. Is -145 >= u?
True
Let j(i) = 158*i**2 + 88*i - 156*i**2 - 101 - 25*i. Let g be j(-33). Which is smaller: -247 or g?
-247
Let h(t) = -t**3 - 7*t**2 + 6*t + 2. Let y be h(-8). Let i be (36/15 - 2)/(y/15). Which is bigger: i or -42?
i
Let q = -31 - -43. Suppose 43 = -w - 2*c + q, 2*w - 3*c + 48 = 0. Let v be -2*(-168)/560*-45. Is v less than w?
False
Let g = 669 + -662. Let o be 1 + -9 + g + (1 - 1). Is o less than 3/17?
True
Suppose a + 0*h = -5*h + 6, 0 = -3*a + h - 14. Let j be ((-4)/(-10))/(a/(-1 - -121)). Which is greater: -13 or j?
j
Let r(n) = 12*n**3 + 870*n**2 + 179*n + 61. Let h be r(-72). Is -1 smaller than h?
True
Let a(h) be the first derivative of -h**4/4 - 14*h**3/3 - 25*h**2/2 - 13*h - 2. Let j be a(-12). Let k be j/4*(5 + 42/(-18)). Which is smaller: k or -2?
-2
Let h = -223/42 - 23/6. Let x = -541/63 - h. Let t(z) = -108*z - 540. Let l be t(-5). Is l bigger than x?
False
Suppose -47*k - 48*k - 54625 = 0. Is -575 less than k?
False
Let s(c) = 16*c**2 - 15*c**2 - 51 + 29*c - 29*c. Let x be s(-6). Is x < 0.09?
True
Suppose -1481*a + 1894 = -1483*a + 2*i, -983 = a + 5*i. Is -4 greater than a?
True
Let k be 792/216 - (3 + (1 - 0)). Let g = -0.05 + -0.15. Let d = g + 2.2. Are k and d nonequal?
True
Let x be (-24450)/(-45)*(-1)/2. Let f = x - -71729/264. Which is greater: -1 or f?
f
Suppose 667*t + 683*t - 1339*t - 1265 = 0. Is t less than 131?
True
Let f(r) = -r**2 + 12*r + 31. Let b be f(14). Suppose -4*y = b*w - 916, -5*w = -4*y + 1360 - 476. Let p be (-23)/y*-10 - (-6)/(-6). Which is smaller: p or 2/3?
p
Let s = -13655 + 12330. Is -1325 <= s?
True
Let a be (6/(-9))/((-136)/55491). Let k = -272 + a. Let x = k + 65/204. Which is greater: -3/4 or x?
x
Let k(j) = j + 12. Let l be k(-8). Let t(q) = -l*q**2 + 10*q - 5*q**2 + 4 + 10*q**2. Let w be t(-10). Which is greater: 8 or w?
8
Suppose -3*n + p - 34 - 117 = 0, 3*n = -2*p - 139. Let h = 526 + -314. Suppose 4*o = 5*g + 30 - 247, 4*g - h = 4*o. Which is smaller: o or n?
n
Let b(i) = 24*i**2 - 1. Let q be b(1). Suppose 0 = -2*v + 3*v + q. Let k be 138/v*(-5)/2. Which is smaller: k or 14?
14
Let x = -130 - -125. Let q = x - -9. Which is greater: 24/5 or q?
24/5
Let v = 3.9 + 0.1. Let u = -275605 - -275605.17. Is v > u?
True
Suppose 0 = -3*a - 2*b + 2, -107*b - 3 = 3*a - 110*b. Is -1/9330 at most as big as a?
True
Suppose -2*r - 6 + 14 = 0. Let c be -3 - (-69)/r*(-1)/(-3). Is c <= 1?
False
Let f be (-789)/95 - (-2)/(-4). Let p = f - -87/10. Let r be (6 - 42/7)*10/(-20). Which is smaller: r or p?
p
Suppose -11*c = -12*c - 5*q - 723, 4*c + 2892 = 2*q. Is -2 at most as big as c?
False
Let i = 12312 - 12313. Which is smaller: i or -3/6586?
i
Let z be (2/14)/(1*(-1)/(-7)). Let a(d) = -d. Let q(v) = -14*v + 65. Let t(n) = z*q(n) - 5*a(n). Let h be t(17). Which is smaller: h or -87?
h
Let n(x) = -x**3 + 3*x**2 + 3*x - 2. Let g be n(4). Let h = g + 5. Let c = 36378/1003 + -616/17. Which is bigger: h or c?
c
Let c = -9556 + 9259762/969. Suppose -s - s - 2 = 0. Is c < s?
False
Suppose 264*a = -153*a - 69976 - 190232. Is -624 at least a?
True
Let i = -5 + 5. Suppose -5*f = -i*f - 150. Let y be (-480)/(-70) + -7 + 204/7. Which is smaller: y or f?
y
Let h be (0 - 2)*39/13689*-477. Is h not equal to 4/7?
True
Let l(f) = -f - 9. Suppose 2*r = 6*r + 32. Let x be l(r). Let p = 691 - 690. Is x <= p?
True
Suppose 0 = 5*j - 2*d + 74 + 26, 2*j + 46 = 2*d. Let w be (-1309)/(-44)*((-3)/3 - 35/(-91)). Is w equal to j?
False
Let y(m) = -299*m - 283. Let g be y(-4). Which is smaller: 911 or g?
911
Let o be 6 - 213*(-14 + 1). Let d be (-7 + o/395)*-1. Let m = -10 - -21/2. Which is smaller: d or m?
d
Let b = 3914 + -3877.6. Is b at least -4/5?
True
Let m be (-6)/8*24/18. Suppose 0 = -2*x + 2*a + 3*a - 63, -5*a = -5*x - 150. Let r be m + x/(-21) - (-2)/(-6). Which is bigger: r or -1?
r
Suppose 0 = -143*x + 141*x - 6. Is -0.307 bigger than x?
True
Let l = -0.9 + 0.9. Let i = 0.4 + -0.4. Let k = l + i. Which is greater: k or 0.1?
0.1
Let o = 25698 + -24608. Is 0.07 != o?
True
Let a be 1*13/65*-2. Does a = 1.38?
False
Let v be 7017283/39182 + (-2)/22. Let b = -179 + v. Is b < 0?
False
Let z be -2*15/(-6)*2. Let g be (-684)/285*170/(-42). Which is greater: g or z?
z
Let a = 1529 - 1530. Is 600 at most as big as a?
False
Suppose 7 = 2*q - h, 5*q - h = 14 + 8. Suppose -95 = q*w - 10*w. Let y be (1 - (5 + -2))*546/(-52). Which is smaller: w or y?
w
Let q(p) be the third derivative of p**6/40 - p**5/60 + p**4/24 - p**3 + 22*p**2. Let g be q(3). Suppose -m + 15 = h, h + g = 5*m + 3*h. Is 14 < m?
False
Let t = 83 - 129. Let q = t - -54. Let r be -11 + 9 - (-6)/q. Is r greater than -0.02?
False
Let n = 105.844 + -4.844. Are -14 and n equal?
False
Let o be -3 + (-3 + 52/6)*3. Suppose 20 = -5*x - 4*u, 0 = -2*x - 12*u + o*u + 10. Which is greater: x or 10/13?
10/13
Suppose -3*d + 135 = -5*g, 5*d + 4*g - 433 + 171 = 0. Let z = 71056 - 71004. Is z less than d?
False
Let j = -29 - -85/3. Let b = 440 - 443.33. Let h = 0.33 + b. Which is smaller: h or j?
h
Let h = 50.6 + -272.6. Let d = 180 + h. Does d = -1?
False
Suppose 81 = -3*m + 7*m + 3*k, 3*k = 9. Suppose 5*t = m*t + 5174. Which is smaller: -397 or t?
t
Suppose -30*n - 1483 + 5173 = 0. Let k = n - 123. Let g = 4438/29 - 153. Which is smaller: k or g?
k
Let q = -236 - -259.7. Let k = 79.66 - q. Let b = -56 + k. Is b less than or equal to 2?
True
Let c = -4056741 + 166291199/41. Let s = 858 + c. Let l = 203 + -203. Is l > s?
True
Let l(v) = -v**3 + 18*v**2 + 3*v + 6. Let a be l(18). Let i = a - 41. Suppose 0 = i*c - 14*c - 170. Which is greater: c or 33?
c
Let b(c) = 6*c + 26. Let z be b(-6). Let n = -23505/182 + 1678/13. Is n at most as big as z?
False
Let g = 92808 - 92807. Let r(s) = 38*s. Let k be r(2). Let b = 382/5 - k. Is b > g?
False
Let m = 145 + -170. Let s be (-3)/((-120)/m)*8/(-82). Which is smaller: s or 0?
0
Suppose 27*s - 21587 = -5009. Let o = -619 + s. Is 0.06 greater than or equal to o?
True
Suppose 