 13)). Is d at least as big as -89/2?
True
Let t be (-1)/1 + 2 + 1. Suppose 3*a - t*a - 47 = -5*s, -s = -3. Suppose -j = 5*g - 1, -39*j + 40*j - 2*g = 43. Which is smaller: a or j?
j
Let i = 11941 - 12647. Which is smaller: i or -711?
-711
Suppose l - 5*x - 563 = -0*l, -4*l + 2*x + 2324 = 0. Let p be 6/(-36) + l/6. Which is smaller: p or 98?
p
Suppose -36*z = 4*z - 8*z - 3552. Does -13 = z?
False
Let v be (3*6/441)/3. Which is greater: v or 1?
1
Let w be 6/(-93) + (9 - 112734/(-279)). Is w at least as big as 413?
True
Let z be (3/(-966))/(27/10158). Let o = z + 25/207. Which is bigger: o or -2?
o
Let l(o) be the second derivative of -55*o**4/12 + o**2/2 - 12*o. Let x be l(1). Let k = x - -53. Is k greater than 0?
False
Let p = -6 + 8. Let j = 613 + -611. Let s = j + p. Is s at least as big as 3?
True
Let t = -7075 + 1846577/261. Let c = t + -383/783. Which is greater: c or 1?
1
Let v be (-560)/700*(-1 + 6) - -5. Which is smaller: 491 or v?
v
Let d(n) = n**3 + 13*n**2 + 12*n - 4. Let y be d(-12). Let r = 527 + -377. Let a = r + -151. Which is smaller: y or a?
y
Suppose 4*l - 20 = -0. Let p = l - 3. Let w be (2 - 3)/((-14)/10). Is w equal to p?
False
Let b be (-3*(-14)/15)/(13/(-65)). Let i be 128/13 + b/(-91). Which is bigger: i or 26/3?
i
Suppose 0 = -57*y + 83 - 197. Which is smaller: -96/79 or y?
y
Let m be 702/(-195) - -6*(-6)/(-9). Is 0.1461 at least m?
False
Let y(c) = -4*c**2 + 49*c - 47. Let x be y(1). Which is smaller: x or -510?
-510
Let l = 308 - 297. Suppose -l*r + 96 = -35*r. Is -38/7 equal to r?
False
Suppose -5*x + 2*t - 46 = -2*t, -4 = -t. Let b be (-18)/(-207)*3*(-2)/x. Is 0 at least b?
False
Let x = 1/1070 + -6637/3210. Is -3 < x?
True
Let q = -625 + 625.1. Let l = 10 + -10. Suppose 3*p - 6 - 9 = l. Are q and p non-equal?
True
Let m(b) = -6*b - 114. Let r be m(8). Let o = r - -161. Is o at most as big as -1/649?
True
Let l = -95.836 - 0.164. Let u = 40 + l. Let i = u - -79. Is 1 >= i?
False
Let y = 1.101 + -1.05. Let l = -0.151 + y. Is l < -22?
False
Let s(j) = -3*j**2 - 35*j + 1791. Let b be s(44). Which is smaller: b or -5559?
-5559
Let a = -345 - -652. Suppose -6*o - 37 = -a. Let y = 23 - -23. Is y at least o?
True
Let d(s) = -11*s - 228. Let m be d(-29). Suppose -w - m + 20 = 0. Do -72 and w have the same value?
False
Let v = 0.215 + 11.585. Let b = v + -27.8. Which is smaller: -4 or b?
b
Let t be (12/(-22))/(34/504). Let z = 157/34 + -5059/374. Let r = z - t. Are 2 and r equal?
False
Let q be 2/14*(2 - 1). Let c = 4.028 + 3.972. Is q greater than c?
False
Let b(k) = -1664*k**2 - 29954*k - 37. Let l be b(-18). Let m be (-31)/(-133) + 2/(-7). Which is greater: m or l?
m
Let i = -57 + 45. Is i less than or equal to -300/23?
False
Let k(f) = 41*f - 2132. Let h be k(52). Which is bigger: -5/586 or h?
h
Let t(j) = 155*j**3 + 3*j**2 - 8*j + 7. Let p be t(1). Suppose 0 = 5*a + 2*x - 781, -4*a = -x - 225 - 392. Which is greater: a or p?
p
Let x = 33913 - 33898. Let p = -1/28 - 3/14. Is x smaller than p?
False
Let k = -2797 - -3325. Is k <= 527?
False
Let j(q) = -2*q**2 - 112*q + 741. Let y be j(6). Are -35/13 and y unequal?
True
Let l be 4*((-4)/10)/(8/(-20)). Let h(j) = -j**3 + 2*j**2 + 6*j - 5. Let t be h(l). Let k be 148/38 - (-9 - t). Is k smaller than 1?
True
Let g = -37508 + 37491.927. Let z = g - -0.073. Is z at most as big as 0.04?
True
Let x be (-12)/10*150/(-45). Suppose -13*a = -x*a - 108. Let b(q) = -2*q + 5. Let p be b(-4). Which is greater: a or p?
p
Let r = 3446035/11036 + -11/2759. Let v = r - 312. Which is greater: v or -83?
v
Let p(k) = 8*k - 1. Let r = 40 + -38. Suppose 0 = -5*a + z + 3*z, 0 = r*a - 3*z. Let n be p(a). Which is bigger: 33 or n?
33
Let m be -7 + 2348 + -25 + 38. Is m <= 2354?
True
Let h = -14303672/3561831 - 3/56537. Let z = h + 13/9. Is -4 at least as big as z?
False
Let z be (-2 - -1) + 3 + (-11 - -7). Let y be (-6)/(-8)*(-1)/((-3)/z). Which is smaller: y or 4/15?
y
Let q = -178 + 260. Suppose -q*g + 76*g - 78 = 0. Let c = 20 + -33. Is c greater than g?
False
Let i = -3968 - -4083. Is i >= -6?
True
Let s(w) = 34*w**3 + w**2 + 3. Let l be s(2). Let k be 6 + -6 - (6 - l). Is k greater than or equal to 272?
True
Let q = -83/184 + -50/23. Suppose 0 = -58*g + 63*g - 20. Suppose -2*h + g = -2*l, l + 8 = -l. Is q < h?
True
Let c be (-3)/(6/38) - -1. Let z = -52 - -48. Let b = z + -15. Is c greater than b?
True
Suppose -3*q - 22 = -6*q - 4*j, -3*q = -3*j - 36. Suppose 0 = -f - 4*f + 40. Which is smaller: q or f?
f
Let v be (0 + (-1)/(-3) - 0)*12. Suppose -9*t - 39 = v*t. Are t and 7 equal?
False
Let k(c) be the first derivative of 13*c**2/2 + 359*c + 147. Let f be k(-24). Is 47 greater than f?
False
Let q be -4*(-8)/188*5/470. Is 0 < q?
True
Let j(y) = y + 1. Let o be j(-6). Let c(i) = -14*i - 8*i - 14*i + 43*i - 5*i + 10. Let p be c(o). Which is smaller: p or 1?
p
Let a(p) = 104*p - 9. Let t be a(6). Let i = t - 45511/74. Suppose 822*r - 817*r + 5 = 0. Is r at most as big as i?
True
Let x(f) = 923*f + 287. Let y be x(1). Do y and 1207 have different values?
True
Suppose -5*d - 5*y + 2 = -13, -13 = -5*d - 3*y. Let x be 1 + -3 - (1 - d). Which is smaller: x or -36/29?
-36/29
Suppose -3*d + 8176 = 13*d. Let j be (d/104 - 5)/(9/(-12)). Which is bigger: 3 or j?
3
Suppose 23681 = 726*l - 48919. Let u be -1 + 100 + (0 - -1). Is l at least as big as u?
True
Suppose 2*y - 12*p - 4256 = -8*p, 2*y = -5*p + 4310. Is 2141 > y?
True
Let m be 2*-1 - 6*(-717)/2133. Let k = m - -217/1185. Which is greater: k or -33?
k
Suppose -2*p + 4 = -3*h + 2*h, 0 = -5*p - h + 24. Let z(c) = c - 5. Let n be z(p). Let r = 16 - 113/7. Are n and r nonequal?
True
Let n = 12/55 + 68/55. Let b(t) = 8*t**2 + 121*t + 17. Let u be b(-15). Which is greater: n or u?
u
Let v = 214285 + -214285. Let j be (-3)/(-2*(-3)/40). Which is smaller: v or j?
j
Let g = 140 - 225. Let v be (-16)/(-6) + 2/6 - g. Is 88 at most as big as v?
True
Suppose 32 = -6*d + 3*d - x, 56 = -4*d + 2*x. Let z be d/(-66) - 436/(-22). Let u be (-4)/(z/15) + 104/34. Which is greater: u or 1?
1
Let o be 16*(-1 - 2/(-1)). Let a = 53 + -52.53. Let k = -0.27 + a. Is k bigger than o?
False
Suppose 0 = -m + 3, 6*k - 10*k + 30 = -2*m. Suppose -k*v - 4 = -11*v. Is v < -1.52?
False
Let i = -44.9988 + -0.1512. Let o = i - -45. Let y = -0.05 + o. Does -7 = y?
False
Let i be -33334*(-8)/(-5088)*2/(-14). Let p be (-4)/(-3)*(-2)/212. Let c = i - p. Which is smaller: 7 or c?
7
Let h be 8/(-66)*-9*(280/(-30) + 9). Do 18.8 and h have different values?
True
Let m(x) = 12*x + 86. Let b be m(-11). Let h be (-7)/(b/(-4) - (-13)/(-26)). Let t(z) = -z - 6. Let j be t(-6). Do j and h have the same value?
False
Suppose 4*h - 9*h = 13*h. Let v be (-78)/12*(-1 - (1 - h)). Does 1/8 = v?
False
Let t be ((-9)/(-2))/(16/(-32)). Let d be 6 + t + -3 + (-1467)/(-246). Which is greater: -1 or d?
d
Suppose 0 = u + 4*z - 3302, u - 1457 = -z + 1845. Let w = u + -135389/41. Let d = w + -67/328. Which is bigger: 0 or d?
0
Let p = 5106 - 5114.484. Let u = -0.084 - p. Let y = 10.4 - u. Which is greater: 3/5 or y?
y
Let y = 4 + -1. Suppose 3*x - 15 = 0, 3*x = y*f - x - 136. Is 1/2 <= f?
True
Suppose 0 = 4*k + 2*m - 778, k + 0*k = -m + 195. Let w = 196 - k. Suppose -4*a + 4 = 5*y - 8, 5*y + 5*a - 15 = 0. Which is smaller: w or y?
y
Let u(y) = y**2 - 9*y - 14. Let q be u(9). Let s = 12 - q. Suppose 3*n - s = -4*x + 3, 2*x = 2*n + 4. Which is greater: n or 6?
6
Let d be 1 + (-7380)/1895 - -3. Let r = d + -14162/141367. Does r = 0?
False
Let j be (-12)/(1 - -1) + 224. Let p = 249 - j. Which is greater: 91/3 or p?
p
Let k = 0.1599 - -12.0561. Let f = -0.216 + k. Is 7 at most as big as f?
True
Suppose 4 = 34*r - 30*r. Suppose -25 = 12*o - r. Which is bigger: 29/4 or o?
29/4
Let k(m) = m**2 - 54*m + 717. Let q be k(20). Suppose -6 + 86 = 2*l. Is q at least as big as l?
False
Let m be ((-14 - -7) + 9)*(-3)/6. Do -24/395 and m have the same value?
False
Let a = -841.04 - -814. Let n = -35.3 - a. Let u = n + 8.3. Which is bigger: u or 5?
5
Suppose -33 = -3*o - g - g, 30 = 5*o - 5*g. Let k(v) = -v + 546258 - 2*v - 546262. Let x be k(o). Which is smaller: x or -59/2?
x
Suppose -2*r + 6*r - o = 7559, 3787 = 2*r + o. Suppose 5*k + 2*u - r = -526, 273 = k - 2*u. Suppose -5*g + 5 = -15, k = -5*n - 3*g. Is -58 bigger than n?
Fal