Are m and w unequal?
False
Let y be (-1)/(-4) - 1/(12/377). Let p = -32 - y. Let q(l) = -l**3 - 7*l**2 + 8*l. Let c be q(-8). Do p and c have the same value?
False
Let i be 29/((-870)/(-2115))*20/(-6). Are -236 and i nonequal?
True
Let m = 138 + -412/3. Is -19 >= m?
False
Let w be (-14)/((-14)/5) - (201 + 2). Which is bigger: 0 or w?
0
Suppose 2*a = 7*a - 5*i - 115, -5*i - 71 = -3*a. Let n be 1/(-2) - a/(-4). Suppose 3*l = -2*u, -l - n*u - 17 = -2*l. Is l greater than or equal to 8?
False
Let b be -6*(-4)/(-18) - 11550/99. Which is smaller: b or -233/2?
b
Let n be (-16)/120 + -17*4/(-60). Which is smaller: 8/27 or n?
8/27
Let c = -0.6 + 19.6. Let t = c + -8. Let u = t + -17. Which is smaller: 1/4 or u?
u
Let l = 1/21781 - -413834/108905. Let p(x) = -x - 1. Let y be p(-6). Is l at least y?
False
Suppose -2*j = -5*j + 99. Let l = 1843 - 1811. Which is bigger: l or j?
j
Let k(o) = -o**3 - 5*o**2 + 14*o - 9. Let a(c) = 2*c + 11. Let i be a(-9). Let d be k(i). Is d greater than -12?
True
Let f be (-3)/12 + 18/8. Suppose -3*m + 7 = -f*m. Suppose 5*l = -m - 3. Which is smaller: l or 1?
l
Let w be (-1 - 0)*15/1. Let j = 7 + w. Which is bigger: j or -51/7?
-51/7
Let t be (-2 + -2)*-2 - (6 - 2). Let q(a) = 12*a - 6. Let x be q(t). Is 42 less than x?
False
Suppose -7 = b + 6*b. Suppose -12*c - 35 = -7*c. Let a be (18/(-4))/(c/(-2)). Is a <= b?
True
Let y be (-7)/((-42)/(-5))*(-429)/(-172). Let f = -17/8 - y. Are -1 and f equal?
False
Suppose -g - 9 = 13. Suppose -5*t - 19*z = -18*z + 104, 2*t + 5*z = -37. Which is smaller: t or g?
g
Let p(i) = 12*i**2 - 2*i + 1. Let k be p(1). Suppose -3*d - 4*q = -14, -2*d - q + 10 = q. Suppose -d*t = -k*t + 45. Is t at least as big as 6?
True
Suppose -21 = -t + 4*v, -t + 3*v + 0*v = -22. Let a = 25 - t. Let k = -39/98 - -30/49. Which is greater: k or a?
k
Let v = -1.7 - -2.03. Let w = v + -0.13. Let q = 105 - 105. Which is smaller: q or w?
q
Suppose -105 = -6*l + l. Suppose 462 = 14*o + 8*o. Is o less than l?
False
Let p = -465/2 - -5811/25. Which is bigger: 0 or p?
0
Let g = 813 + -892. Is g greater than -81?
True
Let o = 170.4 + -171. Is 0.36 less than o?
False
Let m = -13 - -14. Let f be (-388)/(-4)*(-3)/(-12). Let k = -1253/52 + f. Which is smaller: k or m?
k
Let p(v) = v**3 + v**2 + 2*v + 2. Let m be p(-2). Let c be (14/8)/7*m. Is c <= 0.1?
True
Let f = 5 + -14.9. Let y = f + 0.9. Let p = y - -10. Is p smaller than -2?
False
Let b be 0 + (-3)/18*-1. Let v = -104/217 + 6/31. Are v and b nonequal?
True
Let y be (3/(-6))/(33/(-18)). Let j be (-8)/(-28) - (-2)/(-7). Is y <= j?
False
Let s = -34.5 - -7. Let k = s - -29. Which is greater: -2 or k?
k
Suppose 4*r + 4*r - 120 = 0. Suppose 0 = -5*u + 5*l - r, 2*u + 4*l + 2 - 8 = 0. Which is smaller: -7/5 or u?
-7/5
Let a(w) = 2*w + 18. Let b be a(6). Let y be b/(-4)*10/(-3). Which is smaller: 26 or y?
y
Let x(k) = -2 - 6 - 2 - 2*k + 1. Let a be x(-6). Suppose 2*t + a*t + 10 = -5*w, -12 = 4*w. Is t <= 0?
False
Let x(i) = 4*i - 6. Let o be x(4). Let v = 5372/15 - 1048/3. Are o and v nonequal?
True
Let g be ((-2)/(-6))/((-20)/36). Let r = 0.33 - 0.3. Is r greater than g?
True
Let g(a) = 9*a**2 - 17*a - 74. Let u be g(12). Which is smaller: u or 1019?
u
Let s(i) = 22*i**2 + 2*i - 4. Let y be s(-2). Suppose 0 = -5*a + 150 - y. Are a and 17 non-equal?
True
Let c = 833.1 - 828. Which is smaller: c or -0.01?
-0.01
Let i = -33067/94350 + 9/3700. Let b = i + 1/68. Let o be (-1)/(-2)*(-4)/2. Is b > o?
True
Let j(n) = n**3 - 10*n**2 - 9*n - 10. Let w be j(11). Let t be 144/(-324) + 390/27. Is t less than w?
False
Suppose 4 = -2*m + 2*w - 2, 12 = m + 2*w. Let k(h) = -m + 7*h + 1 - 11*h + 0. Let r be k(-2). Is 7 <= r?
True
Let c = -1323 - -1322. Let z be 2/(26/3) + 0. Is z less than c?
False
Suppose 27*i - 30*i + 2*x + 1026 = 0, 350 = i + 2*x. Is 344 bigger than i?
False
Suppose 43*t - 60*t = 14671. Does -862 = t?
False
Let y(r) = -3*r + 6. Let g be y(2). Is g at most as big as -3/26?
False
Let f = -0.316 + 0.107. Is f smaller than 0?
True
Let u = -7 + 78. Suppose -355 = -5*b + 2*y, 3*y = b + y - u. Is b at least as big as 71?
True
Suppose c = 2*n + 4*c - 17, -4*c + 23 = 3*n. Let g be ((-6)/8)/((-12)/8). Which is greater: g or n?
n
Suppose -5*n = 15, 118*x + 2*n = 122*x + 418. Is x smaller than -104?
True
Let l(f) = f**3 + 2*f**2 + 3*f + 4. Let s be l(-6). Let m be (1*s)/2 - 2. Let p be 4/(-18) - 180/m. Is p at least as big as -0.1?
True
Let t = 364 - 365. Which is smaller: 0.1211 or t?
t
Suppose 0 = -0*f + f - 3. Let u(y) = y**3 - 3*y**2 - 6. Let v be u(f). Let c be (0 + 3)/((-2)/4). Does c = v?
True
Let k = 89/4 + -2217/100. Which is smaller: -1 or k?
-1
Let u be -47*15/(-10) + 0. Let c = 71 - u. Which is smaller: c or -12?
-12
Let j = -1.198 + 0.168. Let s = j + 0.03. Let m = -0.4 - -1.4. Which is smaller: m or s?
s
Let z be (-13)/(-4 + (-26)/(-6)). Let d = z - -41. Which is smaller: d or -1?
-1
Suppose l + 32 = 3*l. Let k be ((-3)/(-6))/((-2)/l). Let r be k/22 - 69/(-77). Which is smaller: r or 1?
r
Let q = -3979/2 + 1905. Is q bigger than -84?
False
Let o be 26/8 - 3 - (-57)/12. Suppose 42 = -k - o*k. Is -62/9 equal to k?
False
Let r be 64 + -60 + (3/(-1) - 0). Which is greater: -16 or r?
r
Let r = 115 - 2896/25. Which is smaller: r or -2?
-2
Let n = 0.02 + -6.02. Let a = n + 5.89. Let c = a - 0.09. Is 0.2 less than or equal to c?
False
Let j(m) = -m**3 + 13*m**2 + 32*m - 21. Let n be j(15). Let w be ((-2)/n)/(2/6). Which is smaller: -2/21 or w?
w
Let f = -175 - -253. Let p = f + -78.04. Let b = -0.8 - -1. Which is smaller: b or p?
p
Let j = 1/339 - 701/7797. Let h = -8 - -4. Let t = -4.1 - h. Are t and j nonequal?
True
Let j(z) = -16*z**2 + 205*z - 3. Let l be j(11). Is l bigger than 318?
False
Let v = -2206/5 + 437. Which is greater: v or -5?
v
Let d(n) = -5*n - 2. Let y(g) = -2*g - 1. Let p(w) = -3*d(w) + 5*y(w). Let i be p(4). Suppose 39 - i = -2*q. Which is bigger: -8 or q?
-8
Suppose -19 = -g - 23. Let i be 9/18 + (-138)/g + -2. Is i less than 32?
False
Suppose 0 = 4*g + 2403 - 303. Is -525 != g?
False
Let v = 3 + 1. Let y be (-84)/(-48) - (-342)/(-168). Which is bigger: v or y?
v
Suppose -6 = 2*y - 18. Let u be (5 - 17/3)/((-28)/y). Are 0 and u equal?
False
Let u be 4/3 - (-1218)/261. Which is bigger: u or 142/25?
u
Suppose x - 1 = -3*d, -2 + 1 = 3*d - x. Let w be (d/(-3))/(1*2). Suppose -3*r + 3 + w = 0. Are r and 13 non-equal?
True
Let g = -1543 - -4628/3. Which is smaller: g or -498?
-498
Let c = -0.15 - -1.25. Let v = 5 + -4. Let n = c - v. Which is smaller: -0.4 or n?
-0.4
Let y be (-26)/(-30) - (264/45 - 6). Suppose 5 = -2*j + 33. Let m be 32/j + (-2)/7. Which is smaller: m or y?
y
Suppose 10*x - 2 = w + 12*x, 3*x = -3. Let i = -2 - 0. Which is smaller: i or w?
i
Let i = -0.17 + 55.17. Let l = i - 93. Is l greater than 1?
False
Let o(m) = m**2 - 19*m - 36. Let b be o(21). Let w be b/(-33) + (-369)/(-396). Is w at least as big as 0?
True
Let d be (-8)/(-20) - (2947/1230 + -2). Which is greater: d or -1?
d
Let i = -10.015 + 0.015. Let x = -43 - i. Which is smaller: x or 1?
x
Suppose 22*f + 9*f = 10*f. Which is smaller: -4/9 or f?
-4/9
Let b(j) = j**3 - 3*j**2 + 2*j + 1. Let o be b(2). Suppose -5*l = 2*g + 57 - o, -28 = 3*l + 4*g. Let y be -3*(-2 - (-4)/l). Are 3 and y non-equal?
True
Let j(d) = -114*d + 56*d + 59*d + 11. Let k be j(-12). Is -1 less than or equal to k?
True
Let k(q) = q**2 + 25*q + 56. Let h be k(-18). Let t be ((-30)/h)/((-4)/14). Is t equal to 17?
False
Let c be (-5)/(35/(-2)) - 50/(-70). Which is smaller: c or -22/85?
-22/85
Suppose -k = -1 - 1. Suppose 0 = k*c - 3 + 29. Does -11 = c?
False
Let y(o) = o**3 + 2*o**2 - 12. Let s be y(-5). Let a = s + 88. Which is smaller: 1/5 or a?
1/5
Let i = 43 - 36. Suppose i*w + 15 = 4*w, 4*l = w + 9. Which is smaller: -3/19 or l?
-3/19
Let v(d) = d**2 + 14*d + 4. Let g be v(-10). Let r = 86 + g. Is r at least 50?
True
Let y be (-1)/(4/8) - -8. Let j(w) = w**3 - 7*w**2 + 8*w - 8. Let i be j(y). Suppose -3*b = -5 - i. Is 7 at least as big as b?
True
Let b be (-112)/342 - 2/(-9). Which is greater: -14 or b?
b
Let g be (152/3)/(2/36*3). Suppose 4*i + g = 20*i. Suppose 0*c = 4*c - 76. Is c >= i?
True
Suppose 6*b + 222 = 450. Is b not equal to 37?
True
Let i = -229/177 - 22/59. Suppose 3*u + 2 + 1 = 0. Let n = u - 1. 