(-28))/((-9)/(-1917)). Let n = j - 7459/140. Which is greater: q or n?
q
Let t = -1.09 + 0.53. Let q = t - -0.444. Let m = q + 0.066. Is 3 < m?
False
Suppose 3*p = -14*o + 16*o + 3, 5*o = -5*p + 5. Is o at most -3.08?
False
Let r = -60 + 55. Let d be ((-51)/(1683/(-110)))/((-28)/33). Which is smaller: r or d?
r
Let t(i) = i - 2. Let r be t(15). Suppose -4*a - 5*p = -r, 6*p = 2*a + 5*p - 17. Suppose 0 = 3*n, -a*n + 4 = -4*w - 8*n. Which is smaller: w or 40?
w
Let o be -1 - 0 - 182/63. Suppose -10*i + 7*i + 5*f = 2, 3*i + 14 = -f. Are i and o equal?
False
Let g = -72 + 77. Suppose 2*v + g*q = 226, -4*q + 4 = -3*q. Is v smaller than 102?
False
Let o be (-8500)/510*1/5. Is 113 >= o?
True
Suppose -78 - 138 = -4*x. Suppose -12*m + 6*m - x = 0. Let i be 0 - ((-3)/m - (-30)/(-54)). Which is smaller: -1.2 or i?
-1.2
Suppose -r - u - 2*u - 104 = 0, 90 = -r + 4*u. Let k = r - -98. Is -4/3 smaller than k?
True
Let f = -164.12 - -9.24. Let r = -155 - f. Let k = -0.2 - 0.8. Which is greater: r or k?
r
Let s(b) = -b + 24. Let k be s(18). Suppose k*a - 3*a = 9. Suppose a*w = 2*w. Is -1 at least as big as w?
False
Let t be (-9 - -3 - -9) + 382/(-130). Let c be ((-2)/(-6))/((4/(-3))/(-4)). Is c at most t?
False
Let b = -407.0882 - -0.0882. Let k = 406.931 + b. Is k greater than or equal to -3?
True
Suppose -4*f - 4*r = 33528, 2*f = -60*r + 63*r - 16759. Is f <= -8382?
False
Let l = -49 - -131. Suppose 0 = 3*b - 15, -b + 0*b + 175 = 5*a. Suppose -2235 = -a*k + 587. Is k > l?
True
Let z = -52 + 51.9. Let v be (-2)/(-3) - 14/(-6). Suppose -7*y + v*y - 12 = 0. Do z and y have the same value?
False
Suppose 2*h - 4*j - 33 + 165 = 0, -h = 2*j + 50. Let k be 87/(-58)*244/6. Are k and h equal?
False
Suppose -30 = c - 142*g + 138*g, 5*g - 37 = c. Let j = 119 + -85. Which is greater: c or j?
j
Suppose 1005*q + 12948 = 953*q. Which is smaller: -240 or q?
q
Suppose -4*c + 3538 = -2*g + 2708, 5*g = -4*c - 2005. Which is greater: g or -406?
g
Suppose 144 = -3*a - l, 3*a + l - 192 = 7*a. Let p be a/14 - (-8)/(-14). Let k be 1 + -31*p/(-120). Which is smaller: 0 or k?
k
Let a = -277 + 277. Do -2/1071 and a have different values?
True
Suppose -9*s + 18*s + 4 - 13 = 0. Which is smaller: s or -2/2033?
-2/2033
Let a = -88 + 92. Let l be (-3 + 3)*a/4 - -1. Which is smaller: l or -2/135?
-2/135
Let s be (-1)/(2/16)*-1*18/8. Is s at least as big as 41?
False
Let n(m) = -m + 3. Let g be n(-4). Let x = 149 + 464. Let f = x - 614. Is f less than or equal to g?
True
Let g(v) = -v**3 - v**2 - 13. Let y be g(0). Let i be (17/68)/(y/(-20)). Which is smaller: 2 or i?
i
Let p(k) = -3*k**2 + 75*k + 17. Let n be p(-30). Which is greater: -4934 or n?
n
Let u(k) = -2*k**3 + 4*k**2 + k - 9. Let y be u(-3). Let d be ((-18)/48)/(18/y). Is d less than or equal to -3?
False
Let a = 23437 - 23437. Is a at least as big as 7901?
False
Let x(n) = -n + 10. Let v be x(9). Let g be 33876/(-1694) + (-8080)/(-404). Which is smaller: g or v?
g
Suppose 136*r + 212128 = 152*r. Does r = 13258?
True
Let i be (-6)/9 - (-46)/6. Let b be (2 - (-875)/(-91)) + i. Which is greater: b or 0?
0
Let y(x) = x**3 - 8*x**2 + 7*x + 5. Let u be y(7). Let k be (-8)/u*(-4*2)/(-2). Let d be (-3)/(-6) - (-15)/(-2). Which is smaller: k or d?
d
Let u be (1 - 2)*15*(-96)/144. Suppose 8*t = 7*t + 5*x + u, 5*t + 4*x - 50 = 0. Which is greater: t or 2?
t
Let z(k) = -k - 15. Let f be z(-13). Let u be (-43)/(-10)*5*f. Are -130/3 and u equal?
False
Suppose 44*n + 531 = -133*n. Which is greater: n or 1668?
1668
Suppose -2*w = 3*k + 1014, 7 - 1719 = 5*k - 4*w. Let y be ((-8)/6)/((-884)/k). Which is bigger: y or -2?
y
Let i = -1798 - -4183/2. Which is greater: i or 295?
295
Let s be (-6)/9*(1 + (-37)/(-2)). Let j = 26 + s. Let h be (3/(-3))/(1/j). Is -14 less than h?
True
Let w = 0.3429 + 0.6571. Which is bigger: 50.4 or w?
50.4
Let b be (1356/(-3616))/(-1 - (-10)/4). Is 84/89 equal to b?
False
Let t = -2679 - -2685. Is 83 equal to t?
False
Let u = 2837 - 2836.9. Which is smaller: u or 180.9?
u
Suppose 0 = -4*m + 3*c + 66, 5*m - 3*m = -2*c + 26. Suppose -p - m = -6*p. Let x = 1 - p. Which is smaller: -5/9 or x?
x
Suppose -2*j = -5*r + 1, -4*j = -7*j - 3*r + 9. Suppose h - 246 = -3*h + j*o, 0 = -o - 1. Suppose 0 = 4*k - 55 - h. Which is smaller: 27 or k?
27
Suppose -53*r + 58*r - 15 = 0. Let f be (-133)/(-40) - r/24. Is 3 >= f?
False
Suppose -5*b - t + 20 = -0*t, -8 = -2*b + t. Let d(r) = -r**2 + 11*r - 30. Let k be d(b). Is k equal to 21?
False
Let p = -159598/475 - -336. Is p less than 0?
False
Let r = -66 - -786. Let v be ((r/204)/10)/(1/(-3)). Which is bigger: v or -1?
-1
Let p = -8 + -19. Let y = -11705 + 11699. Which is smaller: y or p?
p
Suppose w + 2*p + 68 = 0, -w + 4*p = 17 + 39. Let n be (w/(-24))/(55/3 - -1). Which is smaller: n or 1?
n
Let p be (-190)/(-76)*(81 + -2)*138/5. Is 5451 != p?
False
Let f(v) = v**3 - 17*v**2 + 25*v - 7. Suppose -3*q - a + 5*a = -65, -5*q - 4*a + 55 = 0. Let c be f(q). Are c and -82 equal?
True
Suppose -16*r + 13*r - 558 = 0. Let b = -219 - r. Is -33 not equal to b?
False
Let u be (1 - 2)/2 + (-18)/(-4). Let k be ((-67)/u)/((-6)/(-24)). Let s = 123 + k. Do 54 and s have the same value?
False
Suppose 4*a + 4*a + 16 = 0. Suppose -84 = 4*x - 96. Suppose -x*b + 2*z + 80 = b, 29 = b - 5*z. Which is smaller: b or a?
a
Suppose -168 + 18 = -15*i. Suppose -2*j - 4*l = i, 0*l = 3*j + l - 5. Let u = 5.4 - 5. Do j and u have the same value?
False
Let i = 5.432 + -2.882. Are i and 1/4 non-equal?
True
Suppose 9*i - 6*i = -3*c + 24, -3*c + 4*i = -3. Suppose 28 = -p - 2*r + c*r, -r = 4*p + 125. Which is smaller: -34 or p?
-34
Let k(t) = -29*t**2 + 34*t + 87. Let m be k(-10). Is m at most -3153?
True
Let y be -2 + (-84)/(-35) + 507/(-5). Let n = -73 - y. Let o be 3 - -1 - (228/n + 3). Which is smaller: -7 or o?
o
Suppose 157*p = 383*p + 443*p - 669. Is -13/372 != p?
True
Suppose 38*k + 84 = 44*k. Suppose -616 - 84 = k*h. Which is smaller: h or -197/4?
h
Let b be (2 + -5 - -4) + -1. Suppose b = l - 3*q + 5*q + 13, -4*q = -3*l + 11. Let f be 2/3 + 56/(-12). Is l != f?
True
Let t(v) = -v**2 - 2*v + 2. Let x be t(0). Suppose 0 = -x*c - 5*c + 70. Let g be 13 + (3 - (-8)/(-2)). Is c <= g?
True
Let t be (-6)/30 - (2/(-4) - 315/700). Which is bigger: t or 0.2?
t
Suppose 4*m + 8 = -2*l, 7*m - 3*l - 12 = 12*m. Which is smaller: m or -23/41?
-23/41
Let p be 16/10*3*175/(-900). Which is smaller: -1 or p?
-1
Let g = 0 + -0.03. Let i = g - 0.04. Suppose 8134*t + 10 = 8136*t. Which is smaller: t or i?
i
Let m = 277.163 + -277. Let a = -0.093 + m. Which is bigger: -0.6 or a?
a
Let z = 3430.8 + -3431. Let h = 22 - -14. Do z and h have different values?
True
Suppose 10*s + 3*g - 824 = 0, 0 = s + 2*s - 5*g - 259. Are 115 and s unequal?
True
Suppose 4*s - 36 = 6*s. Let q(l) = -10*l**2 + 9*l**2 + 1 + 3 - l**3 - 20. Let v be q(0). Which is smaller: s or v?
s
Suppose 0 = u + 4*f - 5 + 1, -53 = 3*u - f. Let l be 84/u*28/(-12). Do l and -2 have the same value?
False
Let i be (-10)/19280*15412 + 8. Which is smaller: i or -8?
-8
Let o = 0.76967 + -2.26967. Let n = 5/12 - -1/4. Which is smaller: o or n?
o
Let o be ((-132)/(-22))/(-6) + -3. Which is bigger: o or -2442?
o
Let z = 0.24 + -0.183. Let l = 0.157 - z. Are 2/13 and l equal?
False
Suppose 4*s = i - 3430, 28*i = 32*i - 8. Do -858 and s have different values?
True
Let q = 16.36 - -2.04. Let i = -16.4 + q. Which is bigger: i or -0.026?
i
Let n(b) = -b - 39. Let j(i) = 3*i + 118. Let y(h) = 6*j(h) + 17*n(h). Let l be y(-16). Let c be 188/7 + (-1)/(-7). Is c < l?
True
Let f be 24087/(-124) - (-3)/12. Which is smaller: f or -196?
-196
Suppose -19*c - 4*c + 7268 = 0. Suppose -3*j = -c - 125. Is j smaller than 148?
True
Let u(t) = -3*t**3 + 4*t**2 - 63*t - 131. Let c be u(-2). Suppose -2*x - 10 = 0, -4*j - x - x = -2. Suppose -j*b + a = 3*a + 59, -2*b - c = -3*a. Is -18 <= b?
False
Suppose 36*c = -5808 - 8232. Let x = 83849/215 + c. Is 0 greater than or equal to x?
True
Let o be 14 - (-8)/(-160)*395. Which is bigger: 4 or o?
4
Suppose 0 = -3*k + a + 6698, 155*a = k + 159*a - 2211. Are k and 2230 non-equal?
True
Let s = -27.5 - -27.6. Let t(z) = -143*z**3 + 2*z**2 + 7*z + 6. Let u be t(-1). Which is smaller: s or u?
s
Let d(s) = -s**2 - 47*s - 194. Let g be d(-42). Let q be (g - 0)*55/(-20). Is q a