. Does k = 62?
False
Let m = -729.7768 - 1.2232. Which is smaller: 1 or m?
m
Suppose -20*x = 3*z - 15*x + 112, 4*z + 131 = -3*x. Suppose 12 = -n + 6*n - 2*g, -n + 5*g + 7 = 0. Which is smaller: n or z?
z
Let u = 1474847621/325625776 + 27/415339. Let l = u - 7270955/1220688. Let n = 3/173 - l. Which is smaller: n or 2?
n
Suppose -h + 2*v = 3*v + 3, 5*h + 3*v = -13. Suppose -5*z + 19 + 20 = -4*u, 4*z - 12 = 0. Let t be (-2)/u + 2/(h - -4). Is t not equal to -0.2?
True
Let r be (-33)/((35/(-77))/(-5)). Which is smaller: r or -355?
r
Let t = -12 - -12. Let i = 395 - 378.5. Let l = 16.529 - i. Is t greater than l?
False
Let s(a) = -3*a + 28. Let m be s(8). Let n(x) = x**3 - 5*x**2 + x + 6. Let q be n(m). Let g be 9/q*(-52)/(-6). Which is smaller: -11 or g?
g
Let m = 1291 - 1523. Let b be 4/(-58) + 3928/m. Let a be ((-4)/6)/(2/47). Which is bigger: a or b?
a
Let a be (-30)/6 - -4 - (-10629)/(-63). Which is smaller: a or -169?
a
Let v = -0.91 + 7.18. Let m = v + -9.27. Do 27 and m have different values?
True
Let s = -9777/2 + 4923. Which is smaller: s or 36?
s
Suppose -2*x - 92 - 5 = 3*n, -102 = 2*x + 2*n. Let b be (14/x)/((-2)/438). Do 56 and b have the same value?
False
Let v be (-2)/(-12)*11/(231/12). Let u(t) = t**2 - 17*t + 29. Let x be u(15). Is v at most as big as x?
False
Let l(i) = 3*i + 8. Let t be 3 - (-7)/(21/6). Suppose 17 = t*v + 7. Let d be l(v). Which is smaller: d or 13?
13
Let f(y) = 2059*y + 4643. Let p be f(-2). Suppose 4*u + 2912 = 5*h + 270, 2107 = 4*h - u. Which is bigger: p or h?
h
Let q = 0 + -3. Let j(s) = 2*s + 10. Let l be j(q). Let c be (-3)/(-102)*(l/5 - 0). Do c and 0 have different values?
True
Let b = 712.2 - 315.2. Which is smaller: b or -0.2?
-0.2
Let i = -3158 - -3045. Let h be (-1 + 58)/(2/(-4)). Is h greater than or equal to i?
False
Let o = -7.372 - -2.372. Is -2/243 equal to o?
False
Let i = 1908 + -1806. Is 108 equal to i?
False
Let s = -1950.64 - -2029. Let f = s + -0.36. Let i = 69 - f. Do -4 and i have the same value?
False
Suppose 6 = -3*x, -173*b + 169*b = -4*x + 272. Is -36 less than b?
False
Suppose 30 = 47*b - 17. Let d = -3084 - -385498/125. Is b at most as big as d?
False
Let c = 916/77 - 134/11. Is 12/995 bigger than c?
True
Let v = -9649 + 10289. Which is smaller: v or -0.4?
-0.4
Let n(v) = -352*v. Let g be n(-1). Let k = g + -357. Is 22 equal to k?
False
Let u = 10.33 - -1.67. Does -0.53 = u?
False
Let w = 2 - 2. Let s = -4892 + 4888. Which is smaller: w or s?
s
Let w be (-53)/2 + (20/8 - 3). Let a(v) = v - 4*v + 35 - 28 - 3*v**2. Let y be a(3). Which is greater: y or w?
w
Let v be (527*-1)/(9 - 8). Let i = v - -507. Is -17 less than i?
False
Let p be (-4 - ((-35)/(-10))/(-7))*(6 + -8). Is -12 > p?
False
Let g = 1212 + -1353. Which is greater: g or -29?
-29
Let c = -60 + 62. Let b = 325/6 - -63/2. Let p = b - 85. Which is smaller: c or p?
p
Let u(n) = 5*n - 490. Let x(d) = 2*d - 327. Let a(p) = -5*u(p) + 8*x(p). Let r be a(-18). Which is greater: -7/2 or r?
-7/2
Let o = -1297 - -1296.8. Is o <= 3/14?
True
Let t be 48/408 + 3/(51/389). Let z = -201 + 2610/13. Is z less than or equal to t?
True
Let l = 18 - 18. Suppose l = -8*x - 0*x - 8. Is -28/13 less than x?
True
Suppose 34*n - 6*n + 87 + 25 = 0. Is -75.3 < n?
True
Let c be (3 - 1)*19/(-38). Let f be (c/(40/(-16)))/(19/(-25)). Which is smaller: -1 or f?
-1
Let v = 5 - -2. Suppose 5*c - 4*k + 16 = 0, -15*c + 19*c = -k - 38. Let j = v + c. Is j at least as big as 2/5?
False
Suppose 3 = g - 4*u, -3*u + 3 = g + u. Let m be 0/11*(-1)/g. Which is smaller: 3/95 or m?
m
Let x = -11 + -85. Let g = 7014 + -7110. Is x bigger than g?
False
Let g(f) = -6*f + 23*f**2 - 12 - 22*f**2 + f. Let t be g(7). Let b = -3/2 + t. Which is bigger: 26 or b?
26
Let l = 15.8 - -231.2. Let g = l - 247.21. Let i = 2.8 - 3. Which is bigger: i or g?
i
Suppose 350 = 4*a - 2*r + 346, -2*r - 4 = -2*a. Are a and 6/619 equal?
False
Let j = -478 + 372. Suppose -1386 = -7*d + d. Let o = -337 + d. Is o at most as big as j?
True
Let m(z) = -7*z - 112. Let q be m(-15). Let p be (-12)/(-8)*q/((-105)/40). Which is smaller: -8 or p?
-8
Let b = 1940.5 + -2732.5. Which is smaller: -1/2 or b?
b
Let n(o) = o**2 + 27*o + 43. Let i be n(-23). Let z = i - -53. Let a be (6/(-30))/(z/(-10)). Is -5 < a?
True
Let s be 2379/(-4) + (10 - 205/20). Let c be 28/((s/(-10))/7). Which is bigger: c or 4?
4
Let u(r) = -r - 5. Let l(m) = -m - 1. Let j(g) = -2*l(g) + u(g). Suppose -5187*w + 21 = -5194*w. Let o be j(w). Which is bigger: o or -7?
o
Let b(g) = -261*g**2 - 1. Let v be b(1). Let n be 0/(9 + 4 + -14) + -261. Is n <= v?
False
Let c be 15/5 - -5*(3 + -89 - -1). Is -419 at least as big as c?
True
Let p = -146 + -406. Suppose -5*j + j = 3*y + 8659, 8652 = -4*j + 4*y. Let k be (j/p - 4) + (-1)/(-6). Is k at most 0?
False
Let u = -29190 - -29190. Let f = 474 + -332. Which is smaller: f or u?
u
Suppose t = u - 17, -29 - 46 = -3*u - 3*t. Let f be 62/84 + 3 + (-75)/u. Which is greater: f or -32?
f
Let r = 7 - 3. Suppose -5*t + 24 = r. Suppose -t*u = 4*b - 3*u - 37, -3*u = b - 23. Which is smaller: b or 10?
b
Let f(u) be the third derivative of 203*u**5/60 + 2*u**3 - 26*u**2. Let r be f(3). Let g = r - 5447/3. Does g = 24?
False
Let a = -686.04626 - -0.04626. Which is smaller: 9 or a?
a
Let p be 50036/30*(592214/74032 - 8). Let h = -5/1322 + p. Is 0 less than h?
False
Suppose -z - 2*y = -7, 0 = -z - 4*y + 511 - 498. Which is bigger: 4/4165 or z?
z
Let b = -590/13 + 1757/39. Let o = -20.06 + 0.06. Let r = 20.11 + o. Is r < b?
False
Suppose -5*o = 2408 + 542. Let g be -9 + o/(-45) + -2*2. Which is smaller: -0.04 or g?
-0.04
Let t(p) = 2*p**2 - 6. Let v be t(-2). Let f(x) = 8 - 9*x - 3*x - 2 - x**v. Let a be f(-6). Which is bigger: a or 44?
44
Suppose 949*z = 892*z - 57. Which is smaller: z or -1/2455?
z
Suppose -14*p + 26103 = 7*p. Is p at most as big as 1/3?
False
Let o = 1404.3 + -1404. Which is bigger: o or 59.4?
59.4
Suppose 22 = 5*i - 3*d + 2, -10 = 5*i + 3*d. Let p be -3 - i/4*4. Let l be (2 + -4)*(p - -14). Is l != -20?
False
Let m = -12 + 8. Let y = 290503/17 - 17093. Is m greater than y?
True
Let j = 0.086 + 1.914. Suppose -2*w - 3*w + 55 = -2*n, -3*w = n - 33. Is w at most j?
False
Let f = 7022 + -5726. Is f smaller than 1297?
True
Suppose 9*c - 58 = 11*c. Let d = 4 + -1. Suppose -8*y + d*y = 145. Are y and c nonequal?
False
Let j = -7563 - -9703. Which is smaller: j or 2139?
2139
Let x be (-72)/21 + (-4)/(-10 - -9). Is x equal to -4/35?
False
Let r(w) = 2*w**2 + 86*w + 537. Let o be r(-6). Which is smaller: 8/11 or o?
8/11
Suppose -5*o - v - 1491 = 0, o - 5*v + 108 + 211 = 0. Are -291 and o non-equal?
True
Let z be -6 + 4 + 2*(-69)/(-60). Let n be (0/4)/(-2 + -2). Is n at most as big as z?
True
Let b be -128 + (9 - (14 - 0)). Which is bigger: -130 or b?
-130
Let r(v) = -2*v**3 + 109*v**2 - 29*v - 1008. Let i be r(54). Suppose 1364 = -3*l + 7*l. Is i >= l?
True
Let y be 6/14*77/(-11). Which is bigger: -2.9 or y?
-2.9
Suppose 5*v - 71 = -51. Let r be (-2)/v - (71037/(-18))/9. Is r at most as big as 438?
True
Suppose 4*k + 2*d - 20 = -0*d, 18 = 5*k - d. Let r be k/(-1) + ((-9)/(-1))/3. Which is greater: -46/21 or r?
r
Suppose -860*g = 896*g - 1802*g - 3542. Let h be (-1)/(-1) - 1074/14. Which is smaller: h or g?
g
Let x(o) = -404*o**3 - o**2 + o - 1. Let j be x(1). Let k(n) = -2*n**3 + n**2 - 3*n - 3. Let a be k(0). Let i be j/(-550) - (-1)/5*a. Is 1 > i?
True
Let h be 4 + 14/(-4)*(1 + 1). Let p be (-3 - 2) + 9 + h. Is 0 less than p?
True
Suppose -686*i = -689*i + 5*z - 298, i + 2*z = -70. Let j be (-3)/12*(-8)/(-6). Is i bigger than j?
False
Suppose 2*r - 393 = 221. Let o = r - 357. Which is bigger: -53 or o?
o
Let v be (-7*((-29)/7 + 4))/(-1). Which is greater: 14/415 or v?
14/415
Let z = -24467.90486 - -24468. Is z at most 1?
True
Let w = 126 - 126.02. Let i = 0.078 + w. Is -1 equal to i?
False
Let x = 0.94 - -0.27. Let s = -67.21 + x. Let m be (8/(-20))/(3 + 16/(-10)). Which is greater: m or s?
m
Let v = 5/424 - 5441/452408. Which is bigger: v or 0?
0
Let o = -235 - -160. Let p = -74.8 - o. Let a(k) = -7*k**3. Let q be a(1). Which is smaller: q or p?
q
Let f = 8/51 + 3/17. Let h = 14274.64 - 14848. Let b = -573 - h. Is f at most b?
True
Let u = -6840 - -6839.911. Suppose 5*t = 5*n + 15, -5*t = 2*n 