u = -3529/1081 + 79/23. Does u = 1?
False
Let o = 339 - 466. Which is bigger: -126 or o?
-126
Let h = -9 + 6. Let y be ((h - -5) + -2)*(-1)/(-1). Let r be ((-5)/20)/((-2)/6). Are y and r non-equal?
True
Let p(f) = -f**3 - 6*f**2 + 2. Let k be p(-6). Let a = -9 + 24. Let q be (a/10)/(6/(-8)). Is q less than k?
True
Suppose 0 = z + 2*z + 3*b - 12, 2*b = -3*z + 7. Let s be (2 + z)/((-2)/(-6)). Let k(v) = v**3 - 7*v**2 - 8*v + 4. Let x be k(8). Is x < s?
False
Let h = -6320 - -2686001/425. Is -1 > h?
False
Let g be 7 + ((-376)/64 - -5). Is g at least 6?
True
Let l = -23978/37 - -648. Let r = l + -126/407. Which is smaller: 0 or r?
r
Let o = 6485/2 + -3173. Which is smaller: o or 71?
o
Let z be 6/(-2) + 3 + 1. Let b be 0 + (-21)/27 + z. Is 26 less than or equal to b?
False
Suppose -h + 2*m = -8, 2*h = -h - 5*m - 9. Let t be 0/(-2*1/h). Let i be 55/100 + (-2)/(-8). Is i greater than or equal to t?
True
Suppose -3*h + 18 = -h. Let a = h + -4. Let f = -4 + a. Which is bigger: -1 or f?
f
Let h(z) = -6*z - 2. Let n be h(2). Let i be 4/14 + (-66)/n. Suppose -3*y + 9 = -9. Is i less than y?
True
Suppose -14 = 4*m - 2*k, -2*m + k - 5 = -m. Let w be (-20)/35 - 6*153/378. Which is smaller: m or w?
w
Let k(x) = 7*x**3 - 2*x**2 + 1. Let n be k(1). Let t be (-4)/(-396)*n*-9. Suppose 6*g = 2*g, 2*f + 2 = -2*g. Which is bigger: f or t?
t
Let a = -69.22 - -69. Let m = 55 - 54. Are m and a nonequal?
True
Let f(n) = 47*n + 87. Let b be f(-10). Is b less than -384?
False
Suppose 80 = 5*n - 0*n. Let g(c) = 2*c + 8. Let r be g(4). Does r = n?
True
Let k = -7 - -6. Let v = -40 - -319/8. Let u = v + -1/8. Are k and u nonequal?
True
Let s = -9 - -14. Suppose 3 - 18 = -s*u. Suppose -u*g - 3 = 6. Which is greater: -1 or g?
-1
Let g(o) be the second derivative of -4*o + 2*o**2 + 1/2*o**3 + 0 - 1/2*o**4 + 1/20*o**5. Let f be g(4). Is f greater than -15?
False
Let d be 794*60/189 - 4/14. Let h = 252 - d. Do 1 and h have different values?
True
Let h = 53 - 68. Let j = 3.5 - 4. Let r = j + 0.4. Is h >= r?
False
Let j(u) = 2*u + 5. Let m be j(-4). Let x be (30/(-4))/(m/12). Let r be 84/(-45) - 4/x. Is r smaller than -4/5?
True
Let t(u) = u**2 - 7*u + 7. Let a be t(8). Suppose -97 + 27 = 5*m. Let y = m + a. Which is smaller: y or 2?
y
Suppose 0 = -5*k - 25, 2*p - 5*k - 31 = -p. Suppose 0 = -5*c - 4*l - 39, -c - 5 = -0*c - p*l. Which is smaller: -6 or c?
c
Let y(o) = -7*o - 4. Let w be y(-6). Suppose -5*p + 2*h = -189, -39 = -2*p + 2*h + 33. Is w smaller than p?
True
Let r = 9/50 - 4567/25. Do -184 and r have the same value?
False
Let o(m) = 19*m**2 - 323*m + 10. Let n be o(17). Is n bigger than -8?
True
Let b be 240/(-10)*2/(-4). Let m be -2 - (-3)/(b/44). Is 11 at most as big as m?
False
Let a = 467 - 456. Which is smaller: a or -13?
-13
Let a(m) = 3*m + 9. Let l be a(-7). Let t(h) = -h**3 - 11*h**2 + 13*h + 15. Let j be t(l). Is -2/9 < j?
True
Suppose 0 = 3*o + q - 7, 2*q - 7 = 4*o - 13. Which is greater: o or 5?
5
Let s = 3563/10 - 356. Let p be 18/(-27) + 2/(-6). Is p bigger than s?
False
Let x = -11.995 + 12. Let m = 0.105 - x. Does 6 = m?
False
Let r = -5 + 7. Let m be 634*13*r/4. Let k be m/(-195) - (-4)/30. Is k less than -20?
True
Suppose 5*c = -2*s + 12, s - 3*c = 4 + 2. Suppose 3*h - s*h = 0. Let p be -4*(-7)/(-112) - 1/(-2). Which is smaller: h or p?
h
Let y be (-1)/2*(-4)/5. Suppose -2*q - 168 - 112 = 0. Let a = q - -1258/9. Is y bigger than a?
True
Let f be -15*9/(-2)*8/12. Let s = f + -78. Is -33 at most s?
True
Let w = 4.6 - 1.7. Let v = 2.95 - w. Let k = 26 + -28. Is v at least k?
True
Let f(i) be the second derivative of -2*i**3/3 - i**2 + 10*i. Let r be f(-1). Which is greater: r or 2/3?
r
Let f(d) = 4*d**2 + 15*d + 21. Let z be f(-7). Is 113 less than z?
False
Let z(y) = 115*y + 509. Let p be z(-13). Is -986 not equal to p?
False
Suppose 6*p + 330 = p. Suppose -7 = -2*t + 13. Let s be 9/(-15) - p/t. Is s equal to 5?
False
Suppose 0 = x + 2*r - 24, 4*r = 3*x + 7 - 39. Let n = x + -16. Let m be (-50)/(-48) + -1 + 0. Which is smaller: n or m?
n
Suppose -3*v + 5*a = -6*v + 20, 4*v + 5*a - 20 = 0. Does 9/94 = v?
False
Let z = -9.9 - -9.929. Which is smaller: 7 or z?
z
Let f = -758 + 729. Which is smaller: 3 or f?
f
Let z(f) = f**2 + 7*f + 1. Let u be z(-7). Let b = 482 + -10603/22. Is u greater than b?
True
Suppose -3*k = -4*k. Let j be k - -3 - (-959)/(-315). Is 0 greater than j?
True
Let a = 7/71 + -929/781. Let v = 150/149 + -7919/3278. Let f = a + v. Which is bigger: f or -2?
-2
Let w be (-10)/104 + (-2)/(-8). Let r = 3319 - 3318. Which is smaller: r or w?
w
Let f be 8/16*(3 - 3). Which is smaller: 2/503 or f?
f
Suppose 35*v - 7*v = 140. Are 77 and v unequal?
True
Let q = 112/17 + -1198/187. Which is bigger: -82 or q?
q
Let t = -5096/361 + 4/361. Is -14 > t?
True
Let r = -27.1 + 27. Which is smaller: -2/133 or r?
r
Suppose -10 = -o - 0*r - 4*r, 3*o + r = 74. Let y = -20 + o. Let d(n) = -n**3 + 6*n**2 - 3*n - 1. Let m be d(y). Which is greater: -18 or m?
-18
Let v = 65 - 65. Let j = 31 + -5. Is j not equal to v?
True
Let w = 539/5 - 42631/395. Let t = 348/1501 + w. Suppose 137*v - 136*v = 4*k + 2, 0 = 4*k + 4*v - 8. Which is smaller: t or k?
k
Suppose 3*x + 5*u - 53 = 0, -u - 80 + 78 = 0. Is 142/7 at most x?
True
Let i(p) = -p**2 - 4*p + 4. Let y be i(2). Let l be (354/(-24))/((-6)/y). Let u = -19 - l. Which is smaller: u or 10?
u
Let h(t) = -19*t**2 - 286*t - 13. Let v be h(-15). Let i = -0.01 - 1.49. Let f = -0.8 - i. Which is greater: f or v?
v
Let u(y) = -5*y**3 - 3*y**2 - 2*y - 2. Let r be u(-1). Which is smaller: r or -28?
-28
Let h = 3050/7 + -51808/119. Let q be 4/6 + 7/3. Suppose -5*t + 2*t = -q. Which is smaller: h or t?
h
Let f = 49 - 48.8. Let o = f + -16.2. Which is smaller: o or 2?
o
Let m be (64/(-96))/(-2 + (-10)/(-6)). Suppose 2*p - 6*p = 0. Let g = 0 + p. Which is greater: g or m?
m
Let q be ((3 + -1)*1)/(-1). Let f = 2.2 + -2.28. Let i = f + -1.92. Is i >= q?
True
Let h be 17/(92/26 - 78/(-169)). Suppose 4*s = 4*p + 8, 2*s + 2*s = -5*p + 17. Which is smaller: s or h?
s
Let g(r) = -9*r**3 + 2*r**2 + r. Let x be g(-1). Suppose 0*o + u - 2 = -2*o, -4*u = -o + x. Let t = -0.3 - -0.1. Which is greater: o or t?
o
Suppose -223*k + 217*k = -6. Which is smaller: -3/56 or k?
-3/56
Let y = -13 + 13. Let x be 25/6 + (-14)/(-28). Let u = 151/33 - x. Which is bigger: u or y?
y
Let a be (-1136)/(-1632) + (-4)/6. Which is smaller: a or 1?
a
Let s = -1/286 + 865/2002. Let f(m) = 16*m**2 + 3 - 4*m - 17*m**2 + 3. Let r be f(-5). Which is smaller: s or r?
s
Suppose 0*f + 1 = -f - 3*h, f = h + 11. Suppose f*g = 9*g + 11. Let p be (48/(-2))/2*1. Are p and g unequal?
True
Let t = 14 - 11. Let j = -3 + t. Let y = -3 + 9. Is y at least as big as j?
True
Let r = -77 - -50. Is r less than -161/6?
True
Let k be 6/(-4)*(-1 - 1). Let m(f) = 2*f**3 - 2*f**2 - 3*f + 2. Let u be m(2). Which is smaller: k or u?
k
Let u = -1.699 + -0.101. Let j = u - -1.5. Which is bigger: j or -0.12?
-0.12
Suppose -3*n - 22 + 16 = 0, -2*s = -4*n - 10. Which is greater: s or -1/3?
s
Let i be -1 + -62*3/(-6). Let x be i/(-8) + 15/20. Let g be -1*(x + (-200)/(-65)). Is g less than 0?
True
Let g = -7 + 9. Suppose -7*z - 45 = -g*z. Let r be 1 + (126/(-4))/7 - 5. Is z greater than or equal to r?
False
Let r(b) = 1 + 30*b**3 - 43*b**3 + 7*b**2 - 4*b**2 - 2*b**2 + b. Let z be r(-1). Suppose 0 = l - 5 - z. Is 19 smaller than l?
False
Let h = -40/3 + 83/6. Do 2/85 and h have the same value?
False
Let n be (2/4)/(12 + (-253)/22). Which is bigger: -2/579 or n?
n
Let q = -89 + 88. Is 0 > q?
True
Let x = -125 - -124. Which is greater: x or -2/511?
-2/511
Suppose 5*u = -i + 10, 15*u - 13*u + 2*i - 12 = 0. Is 2/7 <= u?
True
Let t be 6/(-21) - 61/7. Suppose 35 = 2*x + 15. Let c = t + x. Is -0.3 smaller than c?
True
Let z(v) = -v**2 + 15*v + 55. Let o be z(18). Is 2/27 < o?
True
Let d be ((-120)/25)/4*-5. Let z = d - 16. Suppose 2*v = -2*v + 3*k - 46, 4*v + 5*k + 30 = 0. Do z and v have the same value?
True
Let h be 27/12 - (-8)/(-4). Suppose -2*v - 2*p + 16 = -3*p, -v + 5*p = -26. Suppose -5*o - 7 = -2*c, 4*c = -2*o + v - 4. Is h less than c?
True
Let t = -1403 - -1402. Does t = -6/55?
False
Let o be (4/7)/(2/84). Is o >= 21?
True
Let s = 0 + 0.2. Let u = -125 - -122. Is s greater than or equal to u?
True
