m = -m. Let i = 63545/13 - 4888. Which is smaller: i or m?
m
Suppose 2*f - 4 = 10. Let m(h) = h - 10. Let j be m(f). Let w be ((-700)/150 + 3/1)/((-1)/(-2)). Does w = j?
False
Suppose 115*g - 107*g + 5376 = 0. Let y = g - -678. Which is smaller: 41/9 or y?
41/9
Let x = 138 - 189. Let m = x + 51.1. Which is smaller: 216/5 or m?
m
Let m = -74 - -124. Let y = 28 - m. Let i = 2.08 + -1.98. Which is smaller: i or y?
y
Let q = -563/44 - -226/11. Suppose -5*v = -10, 11723*v - 11727*v - 10 = -2*j. Which is bigger: q or j?
j
Let v(r) = -12*r**2 + 137*r + 137. Let m be v(-1). Let w(i) = -i**3 + 4*i + 4. Let z be w(-2). Is z greater than m?
True
Let d(z) = -z**3 + 10*z**2 - 7*z - 12. Let o be d(9). Suppose 2*x + 3*s + o = -2, 4*x = s - 30. Let f = 0.5 + -0.4. Is x >= f?
False
Let z(s) = -6*s - 753. Let u be z(-53). Is u at least -434?
False
Let a = -3 + 1. Let l(s) = 5*s - 106. Let z be l(24). Suppose -9*x + z = -11*x. Which is greater: x or a?
a
Let q = -77/204 - 24703/2652. Let b = -1273/130 - q. Is 0.21 <= b?
False
Suppose 6312*f - 6515*f + 1521485 = 0. Which is smaller: 7492 or f?
7492
Suppose -3*j - 62 + 245 = 0. Let v = 33309 - 33247. Is j at most as big as v?
True
Let c = 67.727 - -0.273. Let d = c + -46. Which is bigger: 2 or d?
d
Let u = 92 - 97.3. Let h = 5.1 + u. Let k be 15*((-5)/12)/(-5). Which is bigger: h or k?
k
Suppose 105*m = 5*p + 102*m - 168, 2*p = -5*m + 61. Are 21 and p non-equal?
True
Let f = 1672076/1026345 + -432/265. Which is smaller: 1 or f?
f
Let x = 0.2457 + 5.4243. Are 3 and x equal?
False
Let c = -8376 + 8596. Is c greater than or equal to 0.18?
True
Let u be (1197392/52048 - 12) + -11. Are -1 and u equal?
False
Let b be ((-18)/(-30)*-94)/((-16)/(-80)). Is -282 >= b?
True
Suppose -2*p - 20 = 3*p. Let b(u) = u**2 - 3*u - 7. Let j be b(p). Let q = j - 165/8. Which is greater: q or 0?
q
Let i(o) = -o**3 - 10*o**2 - 3*o - 11. Let c be i(-9). Let t = -20 - c. Let j be t/(-6)*-4*(-1)/(-35). Which is bigger: j or 2?
2
Let z(j) = 21*j + 16. Let l be z(3). Suppose 93 = -2*k + l. Which is bigger: k or -90/11?
k
Let k = -41 + 44. Let c(w) = -k*w + 4*w + w + 20. Let i be c(-7). Which is greater: 0 or i?
i
Let h(u) = 79*u + 113. Let s be h(-3). Let f = -119 - s. Which is bigger: f or 0?
f
Let n = 410 - 487. Let u be (-14)/n + 497/110. Is u less than or equal to 4?
False
Let h = 84.1734 - -1.3266. Is 2/7 < h?
True
Let r = -13491740/749 + 18013. Which is smaller: r or -1?
-1
Let f = -111 + 119. Let t be 0 - (1 + -3) - f. Let n = -50 - -41. Which is smaller: t or n?
n
Let u = 1.9 - 2.8. Suppose 70 = -t + 7*a + 113, -29 = -5*t + 4*a. Which is greater: t or u?
t
Let y = 48 - -136. Let i = y - 122. Let n = -0.8 - 0.2. Which is bigger: n or i?
i
Let o be 2/(-20)*-5*(0 + 4). Suppose 5*z - 139 = -0*i - i, o*z + 468 = 3*i. Suppose 4*r + 2*h = -192, 0 = 6*r - 3*r + 4*h + i. Which is greater: -45 or r?
-45
Let g(a) = -a**2 - 3*a + 10. Let d be ((-8)/16)/(2/20). Let o be g(d). Is o equal to 2/97?
False
Let z = -8 - -15. Let u(w) = 6*w - 62. Let f be u(z). Let d = 1.5 - 3.5. Is f > d?
False
Let a be (-198)/(-44) + (-3)/(-2). Suppose 0 = -17*r + a*r - 1331. Are r and -121 non-equal?
False
Suppose -3*k = -2*k. Let m be (12 + -2 - 2)/(-15 - -13). Let c be m/(-5) - 6232/7840. Is c equal to k?
False
Let n = 44593 + -44592. Which is greater: -10/2051 or n?
n
Let s(w) = w**3 + w**2 - 11*w + 6. Let u be s(3). Let m = 11 - u. Let z be (-4 - 213/(-45))*(-6)/m. Is -1 != z?
True
Let o(f) be the first derivative of -f**2/2 - 24*f + 9. Let l be o(14). Let s = l + 44. Is 4 != s?
True
Suppose 0 = 66*l - 67*l - 2, 5*r + 36 = -3*l. Is r not equal to -10?
True
Let y = 13/29 - 71/870. Let l be 13/15 + (-2 - -1). Let k = l - y. Do -2 and k have the same value?
False
Let s = -0.92 + 0.64. Let k = 37.72 + -37. Let o = k - s. Which is bigger: o or 0.1?
o
Let j(c) = 9*c**2 + 11*c + 26. Let i be j(-2). Suppose -360 = -10*w + 60. Which is smaller: w or i?
i
Let q = 103 - 99. Suppose 2*d - 5*u - 29 = 0, -10*d + 61 = -7*d - q*u. Which is bigger: 32 or d?
32
Suppose 3*h + 3 = r + h, -3*r + 9 = 2*h. Suppose 0 = l - g - 4, 0*g + r*g + 12 = -5*l. Suppose l = 2*c - 5 + 1. Does c = 6?
False
Let i = 12108 + -10006. Is i less than 2102?
False
Suppose 6080 = -30*f - 4930. Does -367 = f?
True
Suppose -l = 3*q - 5, -9*l + 8*l + 3 = q. Suppose -5*k = 4*v - 19 - 28, 0 = -k - l*v + 13. Which is bigger: k or 29/4?
29/4
Let n(p) = 22*p**3 - 2*p**2 - p + 2. Let c be n(2). Let d = -3463 + 3210. Let x = c + d. Is -85 at least x?
True
Let m = -2 + 10. Suppose -2*p + 3*j - 44 + 91 = 0, 76 = 4*p - 4*j. Is m < p?
True
Let b = -16.5 + 109.5. Let i = 136 - b. Is 0 != i?
True
Suppose 0*w = r - w + 154, 5*w + 462 = -3*r. Let b be (-113)/(-21) + (r/33 - -5). Is b at most -0.1?
False
Let b(a) = -5*a - 40. Let s be b(-5). Let o be 40/6 - s/(-9). Which is smaller: 46/9 or o?
o
Let r(w) = -96*w - 45. Let n be r(5). Let p = -559 - n. Is p bigger than -23?
False
Let w be 0/(0 + -1 + 0). Let a = 199.7532 - -15.2468. Which is smaller: a or w?
w
Let u(g) = -4*g + 1. Let r be u(2). Let x = r + 2. Which is smaller: 1 or x?
x
Let s = 33 - 29. Suppose -2*g - 4*b = -5*b - 6, s*g - 2 = -3*b. Suppose -5*v = -2*n - 36, -n - 3*v + 17 = -g*n. Does -25 = n?
False
Let d be 19/(-38)*4*3 + 182/48. Which is bigger: 0.1 or d?
0.1
Let c = 1514 - 4271. Which is greater: c or 2/3?
2/3
Let s be (2/(-32)*1)/((-1430)/(-11341)). Let f = s - -18/65. Is -1 bigger than f?
False
Let a be 1/5 + 1/560*-127. Suppose -5 = -2*n + 5*j, 5*j + 4 + 1 = 4*n. Which is smaller: a or n?
a
Let t be ((-150)/(-40))/((-5505)/(-40)). Is t <= -1?
False
Let t(q) = -3*q**3 - 48*q**2 - 4*q + 45. Let y be t(-16). Which is bigger: -15 or y?
y
Let a be (126/1197 - (-40)/(-19))*1. Is a >= -4/3?
False
Suppose 5*m - 36 = 2*t + 68, -t + 47 = 2*m. Suppose m*g = 1864 - 522. Suppose -x + 0*x = -60. Is g equal to x?
False
Let c = 5 - 3. Suppose 0 = v + 2*j - 3, 2 = -v + 4*j + 11. Suppose -x + 2*k - 16 = c*x, v*k = 25. Is x at least as big as -7/8?
False
Let b = -51 + 73. Let g = 23.6 - b. Let m = g + -0.6. Which is bigger: -1/25 or m?
m
Let o = -2105 - -2104. Is -118/5 >= o?
False
Let a = 6 + -6.03. Let m = 25.636 - -0.364. Let x = m + -26. Which is bigger: x or a?
x
Suppose -146*d + 2076 = -1574. Let i be (-5 + (0 - -2))*-3. Is d at most as big as i?
False
Let m = 378 - 374. Suppose 2*g + 2*v = -58, 45*g - 127 = 50*g - m*v. Is -111/4 <= g?
True
Let a = 6.17 - 55.22. Let v = -0.05 - a. Let s = v - 47. Which is greater: -0.13 or s?
s
Let j be 43/21 - (-4 + 6). Let w(n) = -2*n - 2. Let l(a) = -a**2 - 9*a - 3. Let h(p) = -l(p) + 3*w(p). Let f be h(-4). Is j less than or equal to f?
True
Let o(b) = b**3 - 12*b**2 + 19*b + 15. Let n be o(10). Suppose -c = m - 5, -n*m + 43 = -3*c - c. Which is smaller: 25/4 or m?
25/4
Let q be ((-130)/75)/((-4)/24). Suppose 4*c = 5*c - 11. Is c smaller than q?
False
Let w = -1037/15762 - -5/426. Let o be ((-2)/(-3))/(6/45). Suppose 0 = -n + o*n. Which is smaller: w or n?
w
Suppose 12*w - 2*w = -200. Let r = 834 - 836. Is r <= w?
False
Let k be (1/(-2))/((-4)/1872). Suppose 1 + k = -5*m. Is -49 > m?
False
Let q = 4636 - 4638. Which is smaller: q or -18/11?
q
Let k = -28.1 - -15.1. Let v = 470 - 470. Which is smaller: k or v?
k
Let s be 2*-64 + (36 - 29). Let p = 120 + s. Does p = -5/13?
False
Let g be (-2 + -18)*4/10. Let w(p) = 9*p + 31. Let i be w(-3). Suppose -4*h + 3*o = 26, 2*o = i*h + 27 - 3. Is g at most as big as h?
True
Suppose 2*s + 118 = 2*f, -37*f - 5*s + 245 = -32*f. Is 60 smaller than f?
False
Let v = 129 - 129. Let j = 6.94 - 7.2. Let o = 0.34 + j. Is v greater than o?
False
Let l(t) = -2*t + 11*t - 3363*t**2 - 16*t**3 - 15 + 3363*t**2. Let g be l(2). Is g != -126?
True
Suppose -3*v - 11 = 4*t, 4*t - 5*v - 14 - 15 = 0. Let f(w) = -w**3 - 5*w**2 + 2*w - 2. Let l be f(-4). Let j be ((-26)/(-65))/(l/(-150)). Are j and t non-equal?
True
Let o be (-106 - -97)*4/(-18). Suppose -o*r - r + m - 7 = 0, -4*m = -5*r - 14. Is -13 at least as big as r?
False
Let s = 252 + -241. Let q = s - 45. Which is greater: 1/4 or q?
1/4
Let j = 305780 - 1521404/5. Do j and 1499 have different values?
True
Let m = -5 - -4.6. Suppose 1871*y + 52 = 1869*y. Which is smaller: m or y?
y
Let i = -30 - -30. Suppose i = 12*s - 42*s + 120. Which is smaller: 37/12