3/42. Let l = j + 68/21. Let h be (-11487)/(-1094) - (-1 - 0)/2. Which is smaller: l or h?
h
Let i be (-3 - (-6)/(-6)) + (-325)/(-81). Is i at most as big as 1?
True
Let b = 1311 + -1351. Suppose -99 = 5*i + 101. Is b < i?
False
Let h = 0.19 + 0.01. Let c = 0.056 - -58.944. Let j = -58.97 + c. Which is bigger: h or j?
h
Let f be 9/2 + (-5)/((-30)/9). Let l be f/(-39) + 3/(5538/232). Which is smaller: 1 or l?
l
Let d = -2288/5 - -417. Which is greater: d or -42?
d
Let r = 784 - 117. Which is smaller: 666 or r?
666
Let u = 1235 + -1313.9. Let n = u - -79. Are 4 and n unequal?
True
Let h = -7 - -91. Is h at most as big as 84?
True
Let s = 248 - 247. Which is bigger: 15.8 or s?
15.8
Let r be (-12784)/(-62745) + 2/(-10). Is r greater than -1?
True
Let g = 27 + -19. Suppose -g = 3*p + p. Let u be ((-12)/(-27) + 0)/(34/(-51)). Do u and p have the same value?
False
Let f = -1032 + 1031. Which is smaller: 14/101 or f?
f
Let h(k) = k**2 + 6*k + 2. Let w be h(-6). Let t(x) = x**3 + 12*x**2 + 22*x + 23. Let j be t(-10). Is w < j?
True
Let q = -741/4 + 185. Let i = -11 + 6. Let b be (5/(50/4))/i. Is q greater than or equal to b?
False
Let x be 1*(1 - 0)*-12. Suppose -112 = -2*t + 5*o - 114, 0 = -t + o - 4. Is x less than or equal to t?
True
Let m(j) = -2*j + 35. Let v be m(15). Suppose -o - 4*z + 0*z - 2 = 0, -2*z = -v*o + 12. Which is bigger: o or 7/3?
7/3
Let d = -11573 - -5404593/467. Which is smaller: 1 or d?
d
Let z = 0.26 - 1.26. Let p = -2.77 - 0.23. Is p greater than or equal to z?
False
Let r be -7 - 2 - 70/(-14). Is -48/17 equal to r?
False
Suppose -166 = r - 252. Is 427/5 at most as big as r?
True
Let j = 9 - 11. Let g = -2/91 + -5/91. Is g at most j?
False
Let h be ((-2)/1015)/(75/125). Are h and 2 unequal?
True
Suppose 2*r + 6 = -4*f, r + 1 = -2*f - 2*f. Let m be (-1 - 163)/(14/(-28)). Let h be m/104 - (1 - -2). Is h at least f?
False
Let q = 1 + -2. Let o be 2/(-3) + 2535/3735. Which is smaller: o or q?
q
Let p = -299485463/534 + 560834. Let r = 3/89 + p. Let v be (39/18 - 2)*-4. Is v <= r?
True
Suppose 15 = -101*q + 98*q, 2*i + 5*q = 27. Which is smaller: 28 or i?
i
Let d = 21 + 25. Let k = 45 - d. Which is bigger: k or -10/9?
k
Let r = -454 + 124. Let f = 558 + r. Let o be (-7)/((-777)/f) + -2. Is 1 > o?
True
Let b(c) = -c**3 + 13*c**2 - c + 33. Let r be b(13). Do r and 15 have different values?
True
Suppose 17 = 3*b + 62. Let j(z) = -z**3 + 10*z**2 - 5*z + 2. Let n be j(9). Suppose -5*y + 2 = m, 30 + n = -5*m + y. Which is smaller: b or m?
b
Let w be (12/(-8))/((-365)/100*-3). Is -1 greater than w?
False
Let a(l) = -31*l**2 - 157*l - 6. Let i be a(-5). Which is smaller: i or 25?
i
Let c = -5.2 - -2.2. Let l be (-2)/(2 + -3) + 64/(-26). Is l less than or equal to c?
False
Let p(o) = -o + 4. Let j be p(5). Let v be 6/10 + (-1782)/3520. Do v and j have different values?
True
Let x be (-1 - 0)*(-2 - 3). Suppose 4*s + 124 = 2*s + 2*q, 326 = -x*s - 3*q. Let r = 261/4 + s. Is r not equal to 2?
True
Suppose 4*x - 8 + 4 = 0. Suppose -l = -3 - x. Do l and 7 have different values?
True
Let b be (-2)/(-7) + (-13)/70. Let s be 2/((-15)/3 - -6). Suppose -2*x - 5*j + 12 = 0, 2*j - 2 = -s*x + 4*x. Which is bigger: x or b?
x
Let w = -24 + 36. Let s = 1.266 - 1.366. Do w and s have the same value?
False
Let g = 15 - 12.8. Let t = -0.8 - g. Which is smaller: t or -2/13?
t
Suppose 3*v + 2*f + 687 = 0, -4*f = -2*v - 198 - 244. Is v not equal to -226?
True
Suppose 2*w - 3*q - 11 = 0, -q - 3 = w - 6. Let k be (-6)/18 + w/(-6). Which is greater: -6 or k?
k
Let l be (((-4)/10)/(-1))/((-44)/110). Is l at least -2/531?
False
Suppose -43*k - 292 = 396. Is -23 at most as big as k?
True
Let s = -3.7 - -3.08. Let l = -0.38 + s. Are 0 and l equal?
False
Let w be (-51)/34 + 41/2. Let g = -78 + 47. Let d = g + w. Which is smaller: d or 1?
d
Let i(p) = 10*p**2 - 5*p**3 + 4*p**3 - 3 + 2*p**3. Let h be i(-10). Is -4 at least as big as h?
False
Let d be (-1)/(-14)*32/72. Let m be ((-8)/24)/((-1)/3). Which is greater: d or m?
m
Suppose -2007 = 14*c - 11*c - 4*t, -3*t - 2028 = 3*c. Which is greater: c or -671?
-671
Let c be (-2)/(-4)*(-4)/(-74). Let k = 1859 + -1858. Which is greater: c or k?
k
Let t = -14.572 - -0.572. Is 1 greater than or equal to t?
True
Let j = -96 + 92. Let l be j/(-8)*(-1 + -5). Is -3 bigger than l?
False
Let g(z) = 2*z**3 - 31*z**2 + 12*z + 45. Let l be g(15). Let q = -10 - -14. Suppose 0 = 5*c - 3*f - f + 21, q*c = f - 8. Is c less than l?
True
Let k = 4.79 + -242.79. Let i = k - -234.46. Let r = 3.6 + i. Which is smaller: r or -1?
-1
Let s be 1 + -1 + 1295/(-45). Let m = s - -29. Which is smaller: 1 or m?
m
Let w be -1 + (-4)/48 + 6204/144. Does w = 44?
False
Let u be (-3)/12 - (1030/80 - 3). Is -10 smaller than u?
False
Let m(o) = 4*o**2 + 3*o - 4. Let k be m(3). Suppose 3*y + 0*y + k = -2*a, -80 = 5*a + 3*y. Let u(j) = -j**2 - 9*j - 12. Let h be u(-9). Is h > a?
True
Let r = 671 + -671. Let i = 16072/23 - 699. Which is smaller: i or r?
i
Suppose 0*t - 2*t = -3*h + 11, -12 = 4*h. Let s(m) = -2*m**2 + 22*m + 3. Let f be s(11). Let c be (16/20)/(f/(-30)). Is c bigger than t?
True
Let a = -18 - -50. Suppose -4*g - 12 = -2*r, 3*r - 2*g = -6*g - a. Which is smaller: -8 or r?
-8
Suppose -j + 29 = -5*d - 4, 27 = j - 3*d. Suppose 0 = u - 4*u + 5*r + 49, -3*u = -3*r - 51. Are u and j unequal?
False
Let x be 1*4*(-5)/(-475). Let m(f) = -12*f + 49. Let y be m(4). Which is greater: y or x?
y
Let x be (0 - (-27)/2)*4. Suppose -5*r - 255 = -5*k, 0 = -3*k - 5*r + 4*r + 161. Is k less than x?
True
Suppose 0*a = 2*a - 36. Suppose -5*t = a - 3. Let g = 568 + -1712/3. Which is bigger: g or t?
g
Let i be (-14 + 20)/(-1 - 13/(-12)). Let t be 12/i - (-2)/(-12). Which is greater: -2/97 or t?
t
Suppose -396 = -52*p + 30*p. Which is bigger: 17 or p?
p
Let z be (30/(-4))/(-5) + 1/(-2). Let d = 2207/9 + -245. Which is bigger: z or d?
z
Let j = 25.2 + -25.3. Which is smaller: 126 or j?
j
Suppose 456 = 3*f + f. Suppose 3*p = -u, 5*u - 5*p - f = -34. Suppose -u = 4*a + 8. Which is smaller: a or -6?
-6
Let r be (4 - (-1282)/46)/((-1277)/(-14)). Let c = r - 2/1277. Is -1 bigger than c?
False
Let q be (-2 - 31/(-70)) + (-7)/49. Let g = q + 1/5. Are g and 7 nonequal?
True
Let k be (0 - -3) + 2/(-2). Let z be ((-4)/3)/(-4) - -2. Is z > k?
True
Let k = -1.264 + 1.364. Is -44/3 greater than or equal to k?
False
Let s = 54 + -53.69. Let c = 0.426 - 0.036. Let x = s + c. Which is smaller: x or 3?
x
Suppose -5*j - 42 = -r - j, -50 = -r - 4*j. Let p be 15*-3*(88/(-132))/((-4)/(-6)). Which is greater: p or r?
r
Let i = -3 + -2. Let s = 1.98386 + 0.01614. Is s not equal to i?
True
Let o(w) = 68*w**3 + 14*w**2 - 11*w + 11. Let g(d) = 23*d**3 + 5*d**2 - 4*d + 4. Let k(v) = 11*g(v) - 4*o(v). Let c be k(-1). Is 18 greater than c?
False
Let j(y) = -109*y**2 - 3*y + 4. Let x be j(-4). Let p be 9/15 + x/(-70). Let f = 25 - p. Which is smaller: -1 or f?
-1
Let j(z) = z**2 + 8*z - 9. Let y be j(-9). Suppose y*n + 64 = -4*n. Let b be (8 - 5) + n/5. Is 1 < b?
False
Suppose 0 = 5*p + 5*d - 65, -41 + 61 = 4*d. Which is smaller: -2 or p?
-2
Let d = 1.704 - 1.604. Let l = -11.5 - 0.5. Is d smaller than l?
False
Let z be ((-14)/49)/((-14094)/126). Which is smaller: -1 or z?
-1
Suppose 3*j + 2*a = 23, -5*a + 14 = 5*j - 31. Suppose -o = j*h + 2*o - 11, 3*o = -4*h + 10. Which is greater: h or -2/65?
h
Let g(x) = -3*x**2 + 74*x + 68. Let d be g(27). Is d less than -4?
True
Let p(n) = -90*n**3 + 2*n - 1. Let i be p(1). Let j = -115 - i. Which is bigger: j or -25?
-25
Suppose -4*l = -r - 287, -4*r - l - 450 = 613. Is -266 >= r?
True
Let a(l) = l**2 + 2*l - 1. Let f = 39 + -35. Let r be a(f). Is 23 equal to r?
True
Let d(q) = 174*q**2 + 2*q - 4. Let i be d(1). Is i equal to 518/3?
False
Let n be (5/10)/(870/(-4) + -4). Are n and 0 nonequal?
True
Suppose -6*k + k - 20 = 0, 0 = l - 3*k - 16. Let z = -2 - -2. Suppose b + z - 6 = 0. Is b equal to l?
False
Suppose 199 = 3*f + 286. Let l = 5 - 1. Suppose 56 = -2*t - l. Do t and f have the same value?
False
Let o = -4.977 + 2.948. Let r = 0.029 + o. Is 19 at most r?
False
Let m(b) = -6 - 8 + b - 25*b**3 + 41*b**3 - 17*b**3. Let v be m(0). Are -14 and v unequal?
False
Let w(f) = f**2. Let k be w(2). Suppose k*n - n = -6. Which is bigger: 0 or n?
0
Let b = -1886 + 1168. 