0 + (2 - 9813/(-15)). Let n = x - 4565/7. Which is smaller: n or 5?
n
Let m = -17.2 + -89.8. Let n = -103 - m. Let h = 2.6 + 0.4. Which is bigger: h or n?
n
Let f = 151 + -145. Let x be (-72)/(-255) + 5/((-75)/f). Are -5 and x equal?
False
Let n = -2601 - -2601. Let b = 1.7 + 13.3. Let q = b - 21. Is q greater than n?
False
Let o = -95/158 + 8/79. Let i = -12991/2 + 6747. Let x = -241 + i. Which is smaller: x or o?
o
Suppose 40*w = 30*w. Let c be (-17)/(-102) - (-7)/(-6). Let n = -2 - c. Which is smaller: w or n?
n
Suppose 2*h - 22 = -30. Let c be (2/4 - 1)*h + -6. Let j(s) = -s**3 - 2*s**2 + 10*s - 5. Let w be j(c). Are w and -13 non-equal?
False
Suppose -5*p = 2*p - 61 + 89. Is p less than -260/67?
True
Suppose -12*b - 150 = -2*b. Let k be (-2)/b - 288/135. Let a be (4 + 2)*2 - k. Which is smaller: a or 13?
13
Suppose 150*r = 167*r - 1258. Suppose 3*d - o - r = 0, -9*d + 5*o + 95 = -5*d. Are d and 8 unequal?
True
Let t = -13636 - -13636.0257. Which is greater: t or -2?
t
Let n(a) = a. Let s be n(3). Suppose 0 = -s*q + 3*b - 18 - 0, -5*b + 25 = 0. Let l be 110/154*(-15)/50. Which is greater: q or l?
l
Suppose 4*s + 4*h - 212 = 0, 7*h = 3*h + 16. Let o = s + -50. Let l = o + 2/3. Is -40 < l?
True
Let k = 5.14 + -5.1346. Let f = 1.0054 - k. Is -0.182 at most f?
True
Suppose -2*j = 3*u + 15, -j + 60 = -4*j + 3*u. Let k = 50 + j. Let w be ((30/k)/6)/((-36)/14). Which is bigger: 0 or w?
0
Let i(g) = g**3 + 10*g**2 - 7*g - 5. Let a be i(-8). Suppose -172*m + a*m + 420 = 0. Which is bigger: -61 or m?
m
Let u(m) = 6*m - 62. Let b be u(11). Suppose -b*t - 3*z = 12 - 13, -5*t - 4*z = -1. Does t = -2/301?
False
Suppose -2242 = 12*n + 7*n. Does n = -136?
False
Suppose 2*s - 3 = -b + 2*b, 0 = s - 4*b + 9. Let c(v) = 24*v + 318. Let p be c(-13). Let t be (14/(-980)*-12)/(p/14). Are s and t unequal?
True
Let q = -569756 - -570317. Suppose -1321 = -5*i + 1479. Are q and i equal?
False
Let s = 0.5 + -1.5. Let r = 71 + -79. Let a = s - r. Is -2 != a?
True
Let s = 376.3 + -565.4. Let g = s - -189. Is -26 at least g?
False
Let r = 195 - 53. Let c = r + -111. Is c at least 33?
False
Let m = -948 + 947.94. Which is greater: m or 0.059?
0.059
Let t(u) be the first derivative of -7*u**2/2 - 102*u - 61. Let d be t(-16). Is 12 at most d?
False
Suppose 0 = -g - 3*g - 32. Let o be 5/(-30)*(-4661 + -3). Let h = o + -784. Is h at least as big as g?
True
Let l(r) = r. Let p be l(0). Suppose -1072 = 3*q - 0*q + 2*o, 4*o = -2*q - 704. Let d = q + 28799/80. Is p greater than d?
True
Let s be 13 + (5 - 4 - -4). Let v be (-96)/30 - (-2 + s/10). Let y be -4 + 70/(-6) + (v - -7). Is -11 <= y?
False
Let s be (-10)/24 + (-14)/(-21). Let x = 19 - 21. Let y be (-1)/x*(2 - 2). Which is greater: y or s?
s
Suppose 11 = 4*f - 21. Suppose -1 = f*s - 1. Let n be (12 - 13)*s/(-1). Are 2/31 and n non-equal?
True
Let c = 5.2 - 696.2. Let b = c + 680. Which is bigger: -4 or b?
-4
Let z(f) = -1445*f + 2900. Let u be z(2). Let t(k) = -k + 3. Let b be t(3). Suppose b = 5*a - 0*a - 3*o + 15, 2*a = -2*o + u. Is -1/101 at least as big as a?
False
Suppose 10 = -5*y + 5*k, -10*y + 3*k = -13*y + 6. Suppose 13*l - 66 + 599 = y. Which is smaller: -38 or l?
l
Let f(n) = -3*n - 3. Let h be f(-1). Suppose h = -2*a - 3*u + 22, 5*u + 6 = -4. Let b = 48 + -35. Does b = a?
False
Let f(q) = 68 - 33*q + 52*q - 32*q. Let p be f(2). Is p equal to 42?
True
Let p = 8403 + -8402.41. Let h be 0 - (-2)/(3 + 3). Is h equal to p?
False
Suppose -83*v - 33 = -80*v + 5*x, v - 2*x - 11 = 0. Let d = 2791 - 214899/77. Which is smaller: d or v?
v
Suppose 0 = j - 4*c - 1, -4*c + 9*c + 14 = -3*j. Let u be (-2370)/(-3474) + 2/j. Is -1 < u?
True
Suppose y - 15 = 9. Suppose 0 = -5*g - 352 - 873. Let n be -69*(g/63 - -4)*-3. Is n > y?
False
Let w(d) = -d**3 - 8*d**2 - 5*d - 18. Let f be (-154)/21 - (-4)/(-6). Let y be w(f). Let o = 16 - y. Is o at most as big as 5?
True
Let h = -274 - -217. Let o be 2/((-8)/h) - (-8)/(-32). Which is smaller: o or 11?
11
Suppose 5*n + 2*m = 105 + 287, 0 = -2*n - 3*m + 148. Suppose 20*b - 5*b + 1314 = -3*b. Let g = b + n. Is 17 > g?
True
Suppose 18 = 8*p - 7*p. Let k be (-24)/p*2/(494 + -2). Is k at least as big as -1?
True
Let a = -8508 + 8628. Which is greater: a or 5?
a
Let p(h) = -345*h**2 - 3. Let f be p(-2). Let t = f - -412. Let u = -59229/61 - t. Is -0.1 <= u?
True
Let j = 17859 - 13107. Is j at least 4752?
True
Let b(i) = -i**2 + 2*i + 35. Let a be b(7). Suppose 0*r + 4*r - 124 = a. Let v be r - (2 - 1) - 3/(-6). Is v at most 32?
True
Suppose 12*y = 4*y + 16. Let d(j) = 2*j - 3*j + 35 - 2*j**2 - 40 + j**y. Let t be d(3). Which is smaller: 1 or t?
t
Let b(r) be the third derivative of -3*r**4/8 + 4*r**3 + 21*r**2. Let c be b(3). Let n be (15/(-20))/(c/4). Which is bigger: -1/150 or n?
n
Let a = -0.2485 + 0.4485. Is a less than 11/13?
True
Suppose -7*j - 27 = 43. Suppose -4*q = o + o + 76, 0 = -2*o + 3*q - 104. Let s = o + 34. Which is greater: s or j?
j
Let r be ((-153)/(-34))/(3/(-20)). Let q = 670 + -2011/3. Which is smaller: r or q?
r
Suppose 0 = -y - 6*u + 23, -6*y + 3*y = -3*u + 15. Let z be -7 + y + 85/11. Do -1 and z have different values?
True
Let s = -4.58 + 5.88. Let a = s + -6.3. Suppose 0 = 5*k - 14 + 4. Which is bigger: a or k?
k
Let x = 151.77 - 183.77. Which is smaller: -53 or x?
-53
Suppose 5*p + 10 = 4*f, 6*p + 5*f = 10*p + 17. Do p and -10105 have different values?
True
Suppose -4 - 2 = -4*x - 3*w, 0 = 4*w - 8. Let a be -3 - ((x + -1 - 4) + 0). Let g be (1/(-3) - (-15)/18)*a. Is g < 19?
True
Suppose -4*l - 45 = 2*v + 53, 3*l + 5*v = -91. Let p be 14616/(-440) + 4/l. Which is smaller: p or -34?
-34
Suppose 0 = 4*m + 16, g + 5*m - 3*m - 1 = 0. Let f(h) = h**2 - 11*h - 6. Let t be f(g). Which is smaller: -183/8 or t?
t
Suppose 35*w - 11326 - 3118 = -1984. Which is greater: 367 or w?
367
Let p(x) = x**2 - 8*x - 104. Let b be p(19). Let h = 55 - b. Does -50 = h?
True
Let g = -4594 + 4621. Which is smaller: g or 73?
g
Let f be 19175/3198 + 3*-2. Let n(g) = -2*g**3 + 59*g**2 - 29*g - 1. Let i be n(29). Which is smaller: f or i?
i
Suppose -x + 0 - 39 = -5*p, 2*x = p - 6. Is -8/1195 at least as big as x?
False
Let y = 0.466 + -4.766. Let w = -2 - -2.2. Is w at least y?
True
Let o(q) = -q - q**3 + 0*q - 44 + 12*q**2 - 6*q. Let b be o(11). Is b >= 1/159?
False
Let c(y) = -31*y - 2128. Let l be c(-69). Let p be 4/(-14) - 1059/(-105). Which is bigger: p or l?
l
Let j(i) = i**2 + 3*i - 5. Let r be j(-6). Let t = 14 - r. Let y be (t/(-3))/((-1)/6) + -8. Is -50/11 > y?
True
Let p = 0 + 2. Suppose 12 = x - 2*m + 5*m, -28 = -4*x - p*m. Suppose 25*f - 57 = 18. Is f at least x?
False
Let v be -2579 + 17 + 1/(-4 - 135/(-35)). Which is greater: v or -2567?
-2567
Let j be -4*(4 - 5) + 1*8. Let h be (j/(-16))/(18/(-96)). Suppose -5*s = -4*x + h + 5, 2*x - 2*s - 4 = 0. Which is smaller: 3/56 or x?
3/56
Let h be (((-20)/(-55))/((-8)/(-44)))/2. Let n = -378/31 + 26392/2139. Is n at most as big as h?
True
Let g be (30/(-20))/((-1)/10). Let p be (-1111)/(-66) + 2/12. Is g not equal to p?
True
Let i = 2076 - 2077. Is i >= -266?
True
Let f = -8077 + 8081. Is -4/261 at least as big as f?
False
Let i be 5 + -9 - (-2)/2. Let t = 50.2 + -47. Let s = t + -0.2. Which is bigger: s or i?
s
Let t = -265 + 265. Let f = 38 - -22. Suppose -2*w - f = 5*r, 2*r - 30 = w - t*w. Are -31 and w unequal?
True
Let l(n) = -15*n + 58. Let m be l(4). Let a be (15/210)/(m/(-568)). Which is smaller: 19 or a?
19
Let v = 178 - 172. Suppose -12*k + 147 = 9*k. Which is greater: k or v?
k
Let f be ((-4)/72)/(83/(-1494)). Are -1/7164 and f non-equal?
True
Let j(g) = -g**3 - g**2 - g - 1. Let q = 37 - 37. Let f be j(q). Let h be f - (173/(-175) + 0). Is h <= 1?
True
Let c = 234 - 234. Which is smaller: c or 18/23?
c
Let w be (-4 + 30/6)/((-2)/4). Let n be 15 + w + 7 + -10. Let k be (-15)/n + 193/126. Which is bigger: 1 or k?
1
Let o = 398 - 385. Let j(a) = -17 + 2*a - 3*a + 2*a. Let x be j(o). Is -7 less than x?
True
Let v be ((-390)/715)/(3/(-22)). Suppose 0 = v*x + 62 - 42. Let y = 2 - 7. Is x smaller than y?
False
Let c(r) = -r**3 + 8*r**2 - 12*r + 8. Let i be c(6). Suppose i*m - 8 = 16*m. Is -2/39 at most as big as m?
False
Suppose 4*w + 4*k - 4 = 0, 0 = 2*w + 5*k - 5. Let c(u) = -u**3 - 3*u**2 - u + 1. Let l be c(w). Are -2/63 and