= 5*o + 5*h + 27, -o - 34 = 5*h. Suppose v = 3*d - 10, v + 35 = 3*d + 5*v. Suppose -z + 7 + d = 0. Which is smaller: z or o?
o
Let l = -287 - -306. Which is smaller: 9 or l?
9
Let k(s) = -300*s**3 + 6*s**2 + 33*s - 87. Let t be k(3). Does -32137/4 = t?
False
Let b = -3.513 + 3.613. Which is greater: b or -1020?
b
Let w = -278.1 + 279.1. Let j = 5.9 + 105.1. Which is smaller: w or j?
w
Let j(o) = 2*o**2 + 31*o + 28. Let y be j(-15). Suppose 0 = -4*r - 3*d - 7, -d = -3*r + 3*d + 26. Let k be 14 + r*(0 + -1). Are y and k nonequal?
True
Suppose 0 = 2*a - z - 8, -a + 14*z - 5 = 15*z. Is -20/887 < a?
True
Let s = 4414 + -286992/65. Which is smaller: s or 0?
s
Let m = 221137/34 + -6490. Does 14 = m?
False
Let f = -560 - -1371. Let a = 811.35 - f. Is a bigger than 9?
False
Let z(r) = 3*r**2 - r + 4. Let k be z(-5). Suppose k*x = 83*x - 334. Which is smaller: x or -335?
-335
Let n be ((-43)/129)/((-2)/(-12)) + 74/2. Let t be (9/(-12) + 1)*4. Which is smaller: n or t?
t
Suppose 0 = -19*b - 5*b + 312. Suppose b*g = -4*g - 13*g. Which is smaller: 14/89 or g?
g
Let f = 66768 - 55484200/831. Let n = f - 60695/3324. Is -17 > n?
True
Let o be -42*4/(-60) + (-2)/(-10). Suppose l = 6*j - o*j + 17, 4*l + 7 = -3*j. Is -1/3 > j?
True
Let o = 5185 - 4897. Is o at most as big as 291?
True
Suppose 326 = f - 259. Suppose 13*k + f = 4*k. Let t = -60 - k. Which is smaller: t or 8?
t
Let h = -33 + 23. Let y(b) = b**3 - 7*b**2 + 15*b - 31. Let j be y(5). Which is greater: h or j?
j
Let n = -21 - -33. Suppose -25*x - 5058 + 5283 = 0. Is n < x?
False
Suppose 4*l - 16 = 0, -3*c - 2*c - 5*l = -5. Let g(t) = -t**3 + 9*t**2 + t - 11. Let u be g(9). Let o = u - -2. Which is greater: c or o?
o
Let y = -92.152 - -0.152. Let u = y + 94. Is 1 greater than u?
False
Let m be 2*5*12/10. Let r = 1009 - 1022. Let l = r + m. Which is smaller: l or -0.07?
l
Let i = -1/5468 - -11171/1284980. Let r(t) = t**2 - 117*t - 3551. Let a be r(-25). Is a bigger than i?
False
Let y(i) = -38*i**2 + i - 1. Let d be y(1). Let b = d - -41. Let l(t) = t + 7. Let k be l(b). Are 10 and k unequal?
False
Suppose -3*m = 3*v + 36, 4*m + 0*v + 48 = -3*v. Let r = -82 - -76. Let i(t) = t**3 + 9*t**2 + 21*t + 8. Let z be i(r). Which is bigger: z or m?
z
Let n = 513358/43 - 11938. Is 2 not equal to n?
True
Suppose 4*n - 20 = -6*n. Suppose -2*u - a = -4, -n*a - 3 = -5*u - a. Which is smaller: 2/345 or u?
2/345
Let f be ((-10)/12)/(-19 - (-3818)/207). Which is smaller: 0.06 or f?
0.06
Let f = 17333 - 17336. Do f and 8330 have different values?
True
Let h be 605/(-484)*(-5998)/(-10)*-4. Are h and 3000 unequal?
True
Let a = 2 + 6. Let q be (385/(-60) - -4)/(3/a). Is q greater than or equal to -6?
False
Let g = -162 - -137. Let j be 0*(g/(-30) + -1). Is j not equal to 1/542?
True
Let m = 566 + -1718/3. Let y be -5*(1/2 + 45/(-30)). Suppose 0 = y*q - 10*q - 35. Which is smaller: m or q?
q
Let k = -10845 + 10718. Are -151 and k unequal?
True
Suppose 5*t - 2*w + 800 + 10581 = 0, 5*w + 9151 = -4*t. Do -2279 and t have the same value?
True
Let x(w) = -2 - w**3 - 10*w**2 + 5*w + 8*w**2 + 5 + 0. Let f be x(3). Is -26 at least f?
True
Let q = -1.668 + -295.802. Let a = q + 295. Let k = -2.5 - a. Which is bigger: k or 0.1?
0.1
Let o = -133175 - -437213521/3283. Is 0 equal to o?
False
Suppose n + 34 - 30 = 0, 2*n = -w - 9. Which is greater: w or -16/17?
-16/17
Let w = -105366 + 105339. Let f = -5.3 + 5. Which is greater: f or w?
f
Let w be (-26)/(-4)*-4 - -2. Let l be w/(-10) - (-5)/((-100)/(-12)). Let o(j) = -2*j**2 - 9*j + 4. Let d be o(l). Is d greater than -41?
False
Let b = 119185/39 + -3055. Are 0 and b equal?
False
Let l = -1252.9 - -1253. Let g = -106721/402 - -19/134. Let t = g + 256. Is t < l?
True
Suppose 5402 = 10*p + 5072. Which is greater: 32 or p?
p
Let l be (6/8)/((-21)/28 - 156/(-80)). Is l not equal to -34?
True
Let t = -14035 + 14034.9. Is 1023 < t?
False
Suppose 7*f - 10 = 2*f + 3*b, 3*f + 2*b - 6 = 0. Suppose t = -3*j + 9 + 9, 2*j + 16 = 4*t. Let r be 3 + (t/(-8) - 1). Which is smaller: r or f?
r
Let m be (-7 - -13)*-1 - (-62244)/(-21). Which is bigger: -2969 or m?
-2969
Let t = 153/5 - 12082/395. Suppose 7*k - 12*k = -16*k - 23*k. Which is smaller: k or t?
k
Let o(q) = q**3 - 7*q**2 + 10*q - 11. Let b be o(6). Let m = b - 18. Which is greater: m or -23/5?
-23/5
Let r be (-1)/((-20)/12) + 8/20. Is r greater than or equal to 1/1836?
True
Let f(s) = -s**3 - 6*s**2 - 15*s - 2. Let z be f(-6). Let x = -35 + 120. Let b = x - z. Is b at least -20/13?
False
Suppose 9*n + 52 = 7. Let w be 12/3 - (-15)/n. Do w and -118 have different values?
True
Let n = 90 - 25. Let u = -346 - -410. Do n and u have the same value?
False
Suppose -251 = -8*k - 51. Let z = 27 - k. Suppose -5*p + 7 = 2*n, 5*n - z*p = -3*p + 6. Does n = -1/36?
False
Let i = -59/1037 - -334673/5900530. Is 0 greater than i?
True
Suppose 25*u - 20*u = 3780. Let i = u - 757. Is -29/17 at least as big as i?
False
Let b = 82859 - 396148881/4781. Is 1 equal to b?
False
Let p be (-1)/21*(-56)/7224. Which is greater: 2/7 or p?
2/7
Suppose 64*v - 988 + 3228 = 0. Suppose -5*p - 5*l = 40, 0 = 2*p + 3*p + 2*l + 34. Are v and p non-equal?
True
Let v = -21 + 35. Suppose -3*r + 2*r = -v*r. Is -28 at least as big as r?
False
Let d be (-119)/34 - (-26)/4. Suppose -5*q - 4*h = -21, -d*h - 7 = -3*q - 4*h. Is q equal to 1/85?
False
Let u = -42.02 - -1.02. Let b = 286 - 245.2. Let s = b + u. Which is greater: s or -1?
s
Let w be ((-11)/(-4))/(-11)*4 - -3. Suppose 7*a - 372 = -5*a. Is a greater than w?
True
Let q = -11 - -26. Suppose 19 = 5*k - 2*k - 2*x, -3*x - 15 = -3*k. Let h be (6/(-63))/((-30)/k - -3). Is h at most q?
True
Suppose -4*j + 5*a - 310 = 0, 42*j = 47*j - 5*a + 380. Suppose -3*r = -2*r + 70. Let d = j - r. Are -12 and d equal?
False
Suppose -2*s + 4*d - 9*d = 54, 0 = 5*s + 4*d + 135. Let u be 6/s + (-968)/18. Is -54 at most u?
True
Let d = -5593 - -5593. Let c = -8/7 - -15/14. Which is greater: d or c?
d
Suppose 3*n - 65*n - 11214 = n. Which is greater: n or -165?
-165
Let z be ((54032/660)/(12/110))/((-4)/3). Is -564 greater than z?
False
Let y(j) = -28 + 25*j + 4 + 11 + 13 + 8. Let c be y(0). Is 98/11 < c?
False
Let a(u) = -31*u - 43. Let i(h) = h + 1. Let o(x) = -a(x) - 6*i(x). Let y be o(5). Let v be (312/y)/(6/9). Which is smaller: v or 4?
v
Let d(r) = 1 + 6 - r**3 - 2 - 2. Let g = -415 + 412. Let l be d(g). Which is greater: 31 or l?
31
Let l be (-1 - 1)*(24 + -1). Let x(u) = -21*u + 164. Let j = 453 + -443. Let z be x(j). Is l at most z?
True
Let d = 0.4 + -0.39. Let r = d - -1.99. Let a = 27.41 - 27.61. Is r less than a?
False
Let l be (-12)/(-14) - 3078708/90825. Which is smaller: -34 or l?
-34
Let d be (0 - -1)/1*(-50 - -52). Suppose 0 = 3*s + 6, -r + s - 2*s + 1 = 0. Suppose 0 = -p - 3*q, -d*p = r*p + q + 56. Which is greater: p or -11?
-11
Let h = 0.0933 - 6.7933. Let g = 20 - 18. Which is smaller: h or g?
h
Let b = 6155277/595 - 10345. Is b equal to -0.1?
False
Let n be 6/30 + (-63536)/(-95). Is 669 bigger than n?
False
Let h = 135 + -350.05. Let u = -215 - h. Is -4 greater than u?
False
Let d(m) = -m - 2. Let n be d(4). Let g be ((-8)/n)/((-1)/((-3)/2)). Suppose 0 = 3*x - 2*z + 22, -z + 0*z = -g*x - 16. Which is bigger: -13 or x?
x
Let q be (-12)/42 + 2/(-14). Let s(d) = 17*d + 629. Let b be s(-37). Which is bigger: q or b?
b
Let r = 1305084071/8715 + -748757/5. Let s = r - -2/83. Let u = -43/10 + 453/110. Is s at least u?
True
Let v = 53.17 - 54. Let p = 17.17 - v. Is p smaller than -1?
False
Let u(i) = 19*i**3 - i**2 - i - 1. Let r be u(0). Let h(m) = m**2 - 8*m + 5. Let l(c) = c + 2. Let t be l(5). Let f be h(t). Is f != r?
True
Let f be (95/10)/(4/8). Suppose 2*j + f = 11. Let a = 10 + j. Which is smaller: a or 5?
5
Suppose 2*j - 2*u = 116, 2*j - 146 + 24 = 4*u. Suppose -2*y - 4*i = 11 + 11, 5*y - 3*i = -j. Let z = 24 + -27. Which is smaller: y or z?
y
Let w = 17 - 5. Let m(r) = r**2 + 9*r - 14. Let x be m(-9). Let k(a) = -a**3 - 12*a**2 + 25*a - 30. Let g be k(x). Is w at most as big as g?
True
Let w be (4/(-3))/(-15 - 1357/(-69)). Which is smaller: w or 14.7?
w
Suppose 0*c - c + 66 = 3*p, 61 = 2*p - 5*c. Let v(q) = 4*q - 92. Let o be v(p). Which is smaller: -1/64 or o?
-1/64
Let m(a) = 8*a**2 + 142*a - 111. Let i be m(-26). Is i < 1605?
Fa