t y = -135 + 137. Suppose 38*u = 36*u + y. Is -4/239 greater than u?
False
Suppose 38*v + 587 - 587 = 0. Which is bigger: -16/363 or v?
v
Suppose 3*m = 5*p + 5*m - 14, 3*p - 4 = m. Let k be (p/4)/((-7 - -11)*-2). Let o = -5 - -4. Is k at least as big as o?
True
Suppose 2*p - 2388 = -2*c, 2*c + c + 2*p - 3578 = 0. Let r be c/153 + (-2)/(-9). Which is bigger: r or -9?
r
Let f be (390/8)/(3/(-12)*1). Let l = 3153/16 + f. Is l less than 2?
False
Let d be -2 - -3 - 112 - 6/2. Suppose -5*s = -13*l + 18*l + 540, -l = 5*s + 84. Do d and l have the same value?
True
Let y = -376 - -118. Let l = 254 + y. Which is smaller: -0.42 or l?
l
Let r be (-22)/(-6) - 2/(-6) - 49. Let j be (8/(-16))/((-3)/(-282)). Do r and j have different values?
True
Suppose 4*b - 24 = -g + 15, b - 4 = 0. Let m(v) = -3*v**2 + 65*v + 44. Let p be m(22). Suppose -p*y - 25 = -23*y. Is y at least g?
True
Let o be 1/(-6 + (-1905)/(-318)). Let d be ((-1268)/(-6))/(-2) + 76/(-76). Is d >= o?
False
Suppose 28*s - 11*s - 391 = 0. Let v be 111/259 + s/(-21). Which is greater: v or -274?
v
Let i be (53/(-6) - 0)/((-169)/12 - -14). Which is smaller: i or 105?
105
Let s = 33806.1 + -33810. Is 65 at most s?
False
Suppose 16*b - 132*b = -392892. Is b > 3386?
True
Let v be (-72)/116*(-50)/(-30). Let u = v - -583/87. Which is bigger: u or 7?
7
Let m = 14962 - 14966.3. Is 2/19 >= m?
True
Let k = -1.19 + 3.24. Which is smaller: k or -3/2?
-3/2
Let u = 3/4027 + 11700/511429. Let m = 202 - -70. Let z = 273 - m. Is u at most as big as z?
True
Let b = 126 + -2267/18. Let g = -579 + 580. Is g >= b?
True
Let h be 2/(-8) - (1 + (-2019)/(-36)). Let s = h + 1928/33. Is 0.2 not equal to s?
True
Suppose 4*q + 40 = 4*o, -16 = 3*o + 5*q - 6. Suppose 13*c - 10*c + 4*g - 1 = 0, 0 = -2*c + 3*g - o. Which is greater: c or -4/245?
-4/245
Let h(i) = -i**2 - 11*i - 2. Let a be h(-7). Let q be (8 - a)*(-11)/3. Let n = -70 + q. Is 1 at least as big as n?
True
Let l(a) = -a**2 + 3*a + 7. Let m = -8 - -8. Let b be l(m). Suppose -b*c + 105 = 28. Which is smaller: 12 or c?
c
Let a be -8 + 15/27*(-270)/(-20). Is a greater than -1996?
True
Let t = 30590 - 81277628/2657. Which is smaller: t or 0?
0
Let k = 112589 + -112574. Let f be 6*2/3 - -1. Which is greater: k or f?
k
Let m be ((-63)/(-9) - 2) + -1 + 612/(-8). Let v(y) = -73*y**2 - y + 2. Let f be v(1). Is m at least f?
False
Let k = 192 - 198. Let y be ((-1640)/k)/5 + -2. Is y <= 53?
True
Let p = -20 - -10. Let a be 2/10 + (-118)/p. Let x(v) = -7*v**2 + 152*v + 213. Let l be x(23). Is a != l?
True
Let u = -155313 - -1080929/7. Which is smaller: u or -895?
-895
Let g = 1394 - 3435. Let j = g + 2042.786. Let f = 0.014 + j. Is f bigger than 1?
True
Let k = 19817 + -40796. Which is smaller: k or -20980?
-20980
Let m = 140.4 + -139.731. Let b = m + 0.331. Which is bigger: 2.08 or b?
2.08
Let h(w) = -2*w**2 + 3*w + 17. Let r be h(4). Let s be -5 - -6 - -2*r/6. Is s at least as big as -3/164?
True
Suppose 2*q + 5*w - 8 = 0, -5*q + 3*w + 9 = -11. Let t be q - 4/(16/12). Let z = -0.8 + 1. Is t not equal to z?
True
Suppose 41 + 7 = -4*w. Let y be (-2)/58*(w + 3). Is y > 0?
True
Let d = -337 - 381. Let m = 719 + d. Is 0.02 equal to m?
False
Let h(j) = -j**3 - 12*j**2 + 3*j - 13. Let p be h(-13). Let y = -103 + p. Let q = y - 46. Which is smaller: -30 or q?
q
Let r be 1*69 + -4 + (-6 - -4). Which is smaller: 88 or r?
r
Let q = -273457/510 + 3217/6. Is -162 greater than q?
False
Suppose -42*k - d - 5717 = -41*k, -11442 = 2*k + d. Is -5725 >= k?
True
Suppose 2*y + 5*o = -33, -87 = 5*y - 2*o + 97. Let p be (-10)/(-25) + 746/10. Suppose -3*t - 27 - p = 0. Is y >= t?
True
Let g be 29956/16 + 3/(-12). Suppose 13*c = -5*c - g. Are -102 and c unequal?
True
Let q = 13684 + -13916. Are q and 42 non-equal?
True
Let o be (4 - -2927)*28/(-6). Let t = 14512360/1061 + o. Which is bigger: t or 1?
1
Let u be (-3)/(-12) + 110/8. Suppose 56*y = 53*y + 4*q + 84, -5*y = -q - 140. Let w be 2/(y/(-4)*(-4)/u). Which is smaller: 4/19 or w?
4/19
Suppose 4*x - 42 = -a, -9*x + 48 = -5*x + 4*a. Let o be (x/15 - 0)/((-2)/(-564)). Suppose 2*n = -2*n + o. Which is bigger: n or -1?
n
Suppose -4*n + 1124 = 2*l, -n + 135 = 3*l - 141. Let q be ((-1645)/n)/((-13)/6). Are q and 2 nonequal?
True
Suppose 7*y = 2*y. Suppose -2 = -5*f - 0*f - 2*k, y = 5*f - 4*k - 26. Suppose -5*s = 4*o + 8, -7 - 3 = f*s + 5*o. Is s equal to -2/71?
False
Let g = 46.26536 + 0.03464. Let i = -60 + 14. Let b = g + i. Which is smaller: 1 or b?
b
Let j = 14 + -29. Let o(h) be the first derivative of 5*h**2/2 + 6*h - 13. Let l be o(-4). Which is smaller: l or j?
j
Suppose -5*n - 1193 = -3*g + 1339, -3*n = g - 830. Is g >= 5874/7?
False
Let t = -3378/55 - -307/5. Suppose j - 70 = -25. Let g = j + -46. Which is greater: g or t?
t
Let y(b) = b**3 - 11*b**2 + 21*b - 28. Let r be y(9). Let p = 11 + 543. Let x be r + p/(-186) + 0 + 4. Which is greater: 0 or x?
x
Let c = -66/155 + 4462/11935. Let y = -10077 + 10077. Is y >= c?
True
Let t = 3498.99 + -3433. Let k = t - 66. Which is greater: k or 0.27?
0.27
Let b = -0.0728 - -112.8728. Let g = -112 + b. Is g at most as big as 2/15?
False
Let k = 2928 + -20450/7. Let a(t) = 25*t - 268. Let w be a(11). Which is bigger: w or k?
w
Suppose -2 + 10 = 2*p - 2*b, -2*p + 4*b = 0. Suppose z - p*z + 14 = 0. Suppose 0 = z*u + 5*u - 259. Which is greater: 38 or u?
38
Let v(l) = 854*l + 227. Let j be v(2). Is j at least 1936?
False
Let l(v) = -812*v - 990. Let x be l(-2). Which is smaller: x or 638?
x
Let u(m) = m**3 - 8*m**2 - 12*m - 7. Let i be u(9). Let x = -55 - i. Let v be (-316)/16 + (-2 - x/12). Is v not equal to -20?
False
Let h = 1.3 + -0.5. Let x = -23.2 - h. Let d = -26 - x. Is -2/3 <= d?
False
Let p = 13197 - 11913. Are p and 1288 unequal?
True
Let b be ((-6)/9)/(((-40)/6)/(-5)). Let f be (0 + -1)/(-6 - (-32)/3). Let y = b + f. Are y and -0.2 non-equal?
True
Let y(f) be the second derivative of -f**5/20 - f**4/4 - 5*f**3/6 + f**2 - 2*f + 6. Let o be y(-2). Is 14 >= o?
True
Let p be 30/4 + (-2)/(-8). Let r(q) = 1695*q + 11872. Let w be r(-7). Which is greater: p or w?
p
Let n be (-54)/(-12) + (-18)/(-12) - -34. Let v be 0 + 16/n - 56/65. Is -5 less than v?
True
Let b = 8.2879 - 8.5879. Suppose 92 = -5*t - f, t + 4 + 8 = 3*f. Which is smaller: b or t?
t
Suppose 4*u + a = 3*a + 44, 5*u + a = 41. Let k be (-8)/(-6)*u/(-6). Let n be (-11)/k - 14/(-28). Which is greater: 2 or n?
n
Suppose 3*b - 8*y + 50 = -3*y, -5*b + 3*y - 62 = 0. Suppose 2*m + 2*l + 44 = 0, 5*l - 563 = -2*m - 604. Which is bigger: m or b?
b
Let c(z) be the third derivative of -z**6/120 - z**5/15 - z**4/8 - z**3/6 - 31*z**2 + 2. Let o be c(-3). Which is greater: o or 1/9?
1/9
Let d = 1.1508 - 1.3508. Which is smaller: -3853 or d?
-3853
Let z(b) = 28*b + 54. Let o(j) = 3*j + 1. Let d(i) = 20*o(i) - 2*z(i). Let c be d(10). Suppose 3*p + 54 = -y, -y + 6*y + 234 = 3*p. Is y at least as big as c?
True
Let s = 2045 + -2229. Suppose 13*b - 8*b + 925 = 0. Are b and s unequal?
True
Let r(v) = 10*v - 17. Let c be r(2). Suppose -c*j + 942 = 2*j + 4*a, 5*a - 15 = 0. Are j and 1/2 unequal?
True
Let s = 479787/29 - 16419. Which is greater: 126 or s?
126
Let i = -4576.90492 - -4577. Which is smaller: -1 or i?
-1
Let g be (0*4/12*-1)/1. Let u be -53 + (g - 4 - -4) - 4. Let b = 59 + u. Which is greater: b or 1?
b
Let w be (-1140)/1330*-2*42. Is -2 less than or equal to w?
True
Let t(c) = c**3 + 3*c**2 - 4*c - 3. Let q be t(-7). Let z = -18772 + 18602. Which is smaller: z or q?
q
Let h(c) = c + 33. Let y be h(-36). Suppose 3*n - 13*n = 60. Which is smaller: y or n?
n
Let s be 54/((-6)/(-1)) - 4. Suppose -6*m + 1 = -s. Which is bigger: 1/111 or m?
m
Let w = 0.164127 - 0.064127. Let b = -0.15 - -23.15. Which is greater: w or b?
b
Let r = -18 - -54. Suppose -i - 158 = -4*w, -92 = -3*w + 5*i + 18. Is r at least w?
False
Let b = -0.0404 - -1.5904. Let h = -4.45 - b. Is -1/4 <= h?
False
Let s = -935 - -1816. Let f = s - 54623/62. Are f and 0 unequal?
True
Let b be ((-24490)/93)/(30/(-72)). Which is greater: 633 or b?
633
Let f(v) = v**3 - 4*v**2 - 3*v + 9. Suppose 2*g = i + 4*i - 13, -i + 17 = 2*g. Let p be (2 + -3)/((-2)/g). Let j be f(p). Is j greater than or equal to -8?
False
Suppose -4*l - 5*b - 90 = 0, 4*l + 157*b + 84 = 155*b. Suppose n = 2*n + 18. Does l = n