 + 2072. Does 163/10 = m?
False
Suppose -9525 = -4*h - c + 2451, -2*h + 2*c = -5968. Is 2993 smaller than h?
False
Let k be (-4)/14 + (-226)/(-56). Let c = -194423 - -194427. Is k > c?
False
Suppose l - 6*m = -4*l + 31, 0 = -l - 4*m - 25. Is l >= -3/1160?
False
Let p(s) be the first derivative of s**2/2 + 7*s - 69. Let o be p(-27). Is o at least -9?
False
Let l = 275 - 257. Let k be 56/l*3*-3. Is -83/3 bigger than k?
True
Let b(s) = -s + 8. Let p be b(0). Let z be (-208)/20*2/p. Let x = 48896 - 48900. Which is bigger: z or x?
z
Suppose 23 - 23 = 21*o. Let j be (1/(-2))/(175/(-10)). Are o and j equal?
False
Let o = -91 + 92. Let x be 99/44*(-8)/3. Let t be x/23 - (-7 + 7). Are o and t nonequal?
True
Let c be 4732/24843 + 20095/231. Do c and 2 have the same value?
False
Suppose 16*v - 55 + 103 = 0. Let n(g) = 4*g**3 + g**2 + 7*g + 10. Let s be n(v). Is -111 less than or equal to s?
True
Let g = 5686.8 - 5687. Which is bigger: -8 or g?
g
Let r = 1.74 - -0.16. Let z = 5.8 - r. Which is bigger: 3 or z?
z
Let v be (-1)/2*-33*(-36)/(-1026). Let q = -52/57 + v. Suppose 0 = k + 2*c + 23, k - 4*c + 58 = c. Is q >= k?
True
Let b = -6 - -14. Let z(p) = 4*p + 18. Let m be z(-5). Let c be 144/20 + 0/m. Which is greater: b or c?
b
Suppose 4*a + 92 + 300 = 0. Let m be (-756)/a - ((-24)/(-14) + -2). Let x = -22 - -31. Is m at most as big as x?
True
Let q = 0.13 - 0.07. Let s = q - 0.96. Let x = -7.3 + 5.3. Is x bigger than s?
False
Suppose 0 = -4*n + 41*p - 37*p - 24, -3*p = -4*n - 29. Suppose -5*g - 50 = -2*g - 5*z, 0 = -z + 1. Which is smaller: n or g?
g
Let z be ((-4)/8)/((-5)/20). Suppose 2*i - z*o + o - 10 = 0, -5*o - 18 = -2*i. Let f be (6/i)/(1/50*5). Which is bigger: 11 or f?
f
Suppose u - 4*u = 24. Let f be ((-8)/20)/(u/6). Let i = 121 - 121. Is f < i?
False
Let y = -232.914 + 233. Let b = 0.056 - y. Let x = -22 + 65/3. Is x less than b?
True
Let q be 687/(-9) - 15 - (-4)/3. Which is greater: q or -61?
-61
Let n be (1 + -10)/(6/(-4)). Suppose -3*b + 2*c - 6 = -0*b, -4*b + 3*c = 9. Suppose 14*y - 16*y - n = b. Are y and -3 unequal?
False
Let n be (-1)/(548/(-542) + 1). Let j = -93 + n. Let h be (-8)/(-9)*(12/(-120))/(2/(-15)). Which is bigger: j or h?
h
Suppose 0 = -1799*n + 1794*n + 1070. Let o be -6 + n/4*(-2)/(-17). Which is smaller: o or -0.2?
-0.2
Let k(m) = -2*m**2 + 21*m - 55. Let x be k(-11). Let f = x - -554. Are f and 25 non-equal?
True
Suppose -22 = -v + 5*z - 10*z, 2*v = 3*z - 60. Suppose 3*o = -44 + 2. Is v not equal to o?
True
Let t = 31 + -28. Let b = t + 2. Suppose -2*n + 34 = b*w, -2*w + 16 + 1 = n. Which is smaller: n or 16?
16
Let f = -69777/476174615 - 2/81467. Are 1 and f non-equal?
True
Let j be (-29)/57 + (-4)/(-6). Let w(q) = 31*q - 173. Let b(a) = 20*a - 115. Let c(f) = -8*b(f) + 5*w(f). Let h be c(11). Is h smaller than j?
True
Let c(n) = 5*n**2 + 14*n**2 - n - 16*n**2. Let w be c(-1). Does w = 0.2?
False
Let l be -1*1/(-3)*43. Suppose 12 = 40*g - 34*g. Suppose 5*t + 11 + 15 = 2*m, -3*m = g*t - 39. Which is smaller: l or m?
m
Let x be ((-6)/4)/(13/(-26)). Suppose 3*t - 2*t + u + 27 = 0, 0 = x*t + 4*u + 83. Let a(r) = -5*r + 10. Let j be a(7). Is t greater than or equal to j?
True
Let u = -417 + 895. Let s = 872 - u. Are s and 392 nonequal?
True
Let d be 1 - (-15)/(-9) - (-233)/3. Let m = -77 + d. Let n be m/2 - ((-10)/(-26))/5. Do n and 1 have the same value?
False
Let m = -40012 + 40006. Let j = 0.1 + 2. Which is greater: j or m?
j
Suppose s = -4*u + 65, -24*u = -23*u + 1. Which is smaller: -13 or s?
-13
Let v = 2619 + -7856/3. Which is smaller: v or 23.03?
v
Suppose -2*u + 7 = 5*z, 0 = -z - 5*u + u + 5. Let d be ((-4)/((-128)/12))/(5/(480/84)). Which is bigger: z or d?
z
Let a = 198.28 - 106.15. Let b = 92 - a. Is -1 < b?
True
Let i = -4880/9 - -539. Let t(a) = a**2 - 4*a - 25. Let z be t(-3). Which is smaller: z or i?
z
Let i be (-1547788)/5136 + 15/(-12). Let g = -908/3 - i. Does 0 = g?
False
Let d = 3/57751 + -214429478/288755. Is -744 at least as big as d?
False
Let x = 6 + -6.14. Let o = -57912 + 57918. Which is smaller: o or x?
x
Suppose -4*p = -5*y + 1029, 3*p - 73 + 479 = 2*y. Which is smaller: 0.06 or y?
0.06
Suppose -44 = 16*m - 5*m. Let o be ((-2)/4)/((-127)/30 - m). Let u be ((-2)/(-3)*9)/2. Which is smaller: u or o?
o
Let l be 20/1*396/165. Suppose 0 = -4*p + 2*i - l, -p - 23 = -3*i + 8*i. Suppose -5*z - 5*k - 39 = -k, -6 = 2*z + 4*k. Are z and p nonequal?
True
Let b = 6724 - 3516658/523. Is 0 smaller than b?
False
Let k(d) = 2*d**3 + 11*d**2 - 21*d - 11. Let o be k(-6). Which is greater: o or 80?
80
Let o be -1 + 3 - (-4 + 5). Let j be 4/1 - (1 + 1/o). Let n be (j/4)/(198/24). Which is smaller: n or 1?
n
Suppose 11*c - 15*c + 183 = 3*l, 5*c = 5*l - 340. Which is bigger: 383/6 or l?
l
Let s(z) = z**2 + 2*z - 3. Let p be s(-7). Let a be p/(((-4)/(4 - 0))/1). Is a smaller than -2?
True
Let c(n) = -2*n - 35. Let i(a) = -a**3 + 6*a**2 - 5*a - 4. Let l be i(4). Suppose l = f + 20. Let s be c(f). Is s less than -14?
False
Let p(k) = -k**3 - 5*k**2 - k - 8. Let o be p(-5). Suppose -q - 71 = 25. Let x be (-6)/(-4)*q/72. Which is smaller: o or x?
o
Suppose -10*t + 319 = t. Let b = 337/11 - t. Which is bigger: b or 4?
4
Let f(y) = y**3 + y. Let k be f(0). Let c = 33292 + -33293.5. Which is smaller: c or k?
c
Let w = 83 + -64. Let n = 87 - w. Let u = n - 61. Which is smaller: u or 19/3?
19/3
Suppose -22*t - 514928 = 40*t - 78*t. Which is smaller: t or 32184?
t
Suppose -6161 - 4031 = 16*v. Let a = v - -518. Is -118 greater than or equal to a?
True
Let c = -4023/2 - -92537/46. Which is greater: -0.14 or c?
c
Suppose -8*o + 12 = -9*o. Let p be (2/o)/(3/(-9))*0. Suppose -1 = -3*b - u + 3*u, p = 2*b + 5*u + 31. Is b less than 1/2?
True
Let y(k) = -84*k**2 + 2*k + 1. Let f be y(-1). Let b be (11 + -140)/(171/18 + -8). Is f at least as big as b?
True
Let g(s) = 7*s + 257. Let d be g(2). Which is smaller: 240 or d?
240
Let q(b) = b**2 - 3*b - 246. Let t(u) = u**3 - 8*u**2 + 2*u + 35. Let v be t(7). Let i be q(v). Is -1 < i?
False
Let h = 0.0989 + -419.0989. Which is greater: h or 4?
4
Suppose 4*z = -5*l - 452, 0 = -2*l + 5*z + 33 - 194. Is l smaller than -88?
False
Suppose 15 = s + 5*d, 0 = -2*s - 5*d + 3*d + 6. Is -2/9775 > s?
False
Let o be 5270/(-36) + 20/(-15) + 2. Let h = o - -200603/1386. Let l = h + 3/11. Which is smaller: -2 or l?
-2
Suppose -82 + 22 = -10*l. Suppose -l*v + 3278 = 13652. Let j be (-38)/v - 2/(-7). Is j bigger than -1?
True
Let f = 50 + -32. Suppose -5*b - 4*s = -f - 6, 5*s = -20. Suppose -b*c - 4 = 4. Is c greater than or equal to 2/51?
False
Let l = -6.664 + 6.516. Which is smaller: 5/4 or l?
l
Let t be ((-6)/(-10))/((-102)/104890). Is t <= -4314/7?
True
Let g = -25233/5 - -5024. Let l = g + 2943/130. Let v = -2 + 2. Which is smaller: v or l?
v
Suppose b + 2*b - 102 = -3*o, -4*o + 138 = 5*b. Suppose -37*l = -46*l + 162. Let y be (-1143)/(-36) + l/(-24). Is o > y?
True
Let b(i) = i**3 + 15*i**2 + 28*i + 30. Let g be b(-13). Let t be (-2)/g*(-14 + 22) - 55. Suppose 35 = -f - 23. Which is smaller: t or f?
t
Let x = 82.14 - 81. Let d = -0.181 + 2.181. Is x at most as big as d?
True
Suppose 0 = 6*z - 18 + 66. Let j = z - -10. Suppose 0 = b + 1, -j*l + 33 = b - 12. Are 24 and l equal?
False
Let u = 562 + -562. Suppose u = -4*i + 1212 - 208. Which is smaller: i or 250?
250
Let m(x) = 2*x**2 + 4*x - 9. Let r be (-24)/36 + (-20)/6. Let j be m(r). Suppose k + 2*w = -4*k + 11, -j = 5*k - 4*w. Is k greater than 3?
False
Let h(o) = o**2 + 13*o + 47. Let n be h(-8). Let x be -7 + -2 + (-1 - -3). Let j = x - n. Which is greater: j or -15?
j
Let t = 3850 - 3834. Which is smaller: 11 or t?
11
Let n = 1055 + -222. Let p = -832 + n. Which is greater: p or -3.49?
p
Let j = -31 + 68. Suppose k = j - 100. Let z be 12/21 - (-18)/k. Is z <= -5/4?
False
Suppose -u + 4*x = -4 - 3, 3*u - 2*x - 41 = 0. Let d = u + -4. Let i = 8257 - 8245. Which is smaller: i or d?
d
Let m = -18535/291 + -62/97. Are 0 and m unequal?
True
Let v be (-60852)/63 + (-18)/27. Let n = v - -967. Is n less than or equal to 0.3?
False
Let p(q) be the first derivative of q**2/2 + 3*q - 397. Let j(w) = w**3 + 5*w**2 - 8*w - 6. Let k be j(-6). Let h be p(k). Is h < 4?
False
Suppose -2*p - p - 2*v + 146 = 0, -p - 3*v = -58. Let c = p - 39. Suppose s = 9 - c. 