aller than y?
True
Let w = 120 - 121. Let x be (w*31 + -1)*(-16)/(-144). Which is smaller: x or -5?
-5
Let d = 13 - 8. Suppose 0 = 5*w + p - 48 + 21, -d*p - 15 = -5*w. Suppose 0 = -4*c - 2*i - 24, 3*c + 0 = 5*i - w. Is -6 at least as big as c?
False
Suppose 0*h = -2*h - 4*u - 126, 0 = u - 2. Let i = -187 + 119. Which is smaller: i or h?
i
Suppose 0 = 15*w + 3047 - 3062. Is w < -2/513?
False
Let w = -3.8529 - -15760.8529. Which is greater: w or -2/5?
w
Let m = 189 - 571. Let h = m - -384. Which is bigger: h or 8/3?
8/3
Let b(m) = 4*m**2 + 23*m + 15. Let f be b(-5). Which is greater: 1/4423 or f?
1/4423
Let t = -2534 + 25339/10. Does t = 0.085?
False
Let x = 1 + 0. Let z = -3 + x. Suppose -5*m + 108 = -3*k, 0 = 20*m - 18*m - k - 43. Is m bigger than z?
True
Let x = 4180 - 4247. Is x > -7?
False
Let q = -7795/8004 + 80/87. Suppose -65*t = 12*t - 77. Is q > t?
False
Let k = 62 - 54. Let i be 160/50*(-2)/k. Is i at least as big as 0.19?
False
Let t = 1473 + 155. Suppose -z - 1529 = -t. Is z at least as big as 98?
True
Suppose -27*c = 5*l - 32*c + 15, -23 = -3*l - 5*c. Which is smaller: -0.29 or l?
-0.29
Suppose 124 = 4*g - 4*z, -z - 2 = z. Let y = -111 + 113. Let k be 53/y - 65/(-26). Which is smaller: k or g?
k
Let t(h) = -4*h - 23. Let s(m) = -2*m - 14. Let u be s(-4). Let d be t(u). Let j be (-22)/(-29) + 9/(-12). Is d < j?
False
Let t = -7014/11 + 637. Let n = t + 743/1133. Let f(o) = o**2 - 3*o - 3. Let d be f(4). Are d and n unequal?
True
Let x = -4112/5 + 826. Are -1.4 and x non-equal?
True
Let y = -10627 + 9509. Which is smaller: -2 or y?
y
Suppose 2 = 3*f - 4. Suppose 41 = -4*v - f*k + k, -5*k - 45 = 4*v. Which is smaller: -15 or v?
-15
Let a be (-1260)/702*(-2 + (-8)/20). Let d be ((-1766)/(-884) - 2)*-1956. Let l = a - d. Which is smaller: 0 or l?
l
Let u be -10 - ((-32570)/(-450))/(10/(-60)). Is u greater than 423?
True
Let n be ((-5148)/(-2112) + 2/32)/((-1)/(-2)). Is n < 230/49?
False
Let k = 0.09343 - -1.96487. Let m = 0.0583 - k. Is m bigger than -0.05?
False
Let h be ((-2)/(-14))/(1/1646 - 0) - 4. Is h equal to 2?
False
Let h(x) = -x**3 - 6*x**2 + 6*x - 7. Let b be h(-7). Let o = 94 - 82. Suppose -11*u = -o + 34. Are u and b nonequal?
True
Let t = -44 - -107. Suppose j - 44 = -5*p, -4 = -j - 0. Let g be (4 + 0 + 1 + 3)*p. Is t > g?
False
Let w = 2.137 - 1.737. Which is smaller: 6.43 or w?
w
Suppose -3*j + 138 = v, 230 = 4*j + j + 3*v. Suppose 7*o + 18291 = j*o. Is o <= 468?
False
Let b be (-120)/(-20) - (-3)/((-15)/20). Which is greater: b or 141/58?
141/58
Let x = -149/274 + 6/137. Let o = 163 + -71. Is o at most x?
False
Let b = 3937 + -4029. Which is bigger: b or -107?
b
Let o = 188/3 + -62. Let p(h) = 5 + 0*h + 4 - 5 + 4*h + 2. Let j be p(-1). Which is greater: o or j?
j
Let z = -104.1004 - -0.2004. Let d = 204 - 103. Let p = d + z. Which is smaller: p or -2?
p
Suppose -65*i = 71*i - 142*i - 210. Let a = -62 - -25. Which is smaller: i or a?
a
Let y(a) be the third derivative of a**4/8 + 79*a**3/6 + 9*a**2 - 5*a. Let n be y(0). Which is greater: n or 2?
n
Suppose 0 = -2*i + 2*z + 7556, -2*i - 3*z + 3687 + 3829 = 0. Does i = -0.2?
False
Let q(j) = 96*j**2 - 104*j**2 + 7*j - 27 - j**3 - 18*j. Let p be q(-7). Which is bigger: 2/681 or p?
p
Suppose -2 = 7*s - 30. Suppose 109 = g + x, -s*g + 3*x + 401 = -0*g. Let w = -1142/11 + g. Do 0.8 and w have the same value?
False
Let u = -51/10 - -203/5. Is 0.12 greater than or equal to u?
False
Let d be ((-44)/(-275))/((-1)/(-5)) + (-331)/(-5). Which is bigger: d or -10.2?
d
Let c = 47 + -85.9. Let g = c - -39. Let q = 0.3 + g. Which is smaller: -1 or q?
-1
Let n(k) = -32 - 14*k**2 - 4*k + 4 - 4*k**2 + k**3 - 13*k. Let t be n(19). Suppose 10 = -3*c + t. Which is bigger: c or -1?
c
Let t be (13 - (-1441)/(-88))*68/(-21). Let k = t + 18/7. Which is bigger: 0.2 or k?
k
Let o = -378 + 883. Is o smaller than 500?
False
Let f(z) = -z**3 + 54*z**2 + 228*z + 242. Let v be f(58). Let w = 10 + -3. Suppose -y + w = -2. Which is bigger: y or v?
v
Let v(b) = -73*b + 21. Let l(w) = w - 1. Let s(y) = -4*l(y) + v(y). Let i be s(17). Let h = -297889/232 - i. Which is greater: 0 or h?
0
Let m(s) = s**3 + 6*s**2 + 7*s + 5. Let f be m(-5). Suppose w = 2*v - 31 + 39, -12 = -w + 3*v. Let q = w + f. Which is smaller: q or -7/2?
q
Let o = -7.9 - -47.9. Let i = o - 40.101. Let f = i - -0.101. Which is bigger: -2/15 or f?
f
Let w be (-758)/(-4) + 0/18 - 0. Let h = w - 574/3. Is h less than or equal to -3?
False
Let y = 592.3 + -592.5. Which is greater: -1.3 or y?
y
Let d = 37 + -41. Let q be (-133)/114*(-207)/(-63). Which is bigger: q or d?
q
Let l = 154 - 91. Let c = 63 - l. Is c smaller than 13?
True
Let s be (-122)/183 - 10030/(-15). Is 666 at least as big as s?
False
Let k be 2/((-8)/(-14)) - (-9)/6. Suppose 0 = -4*r + 2*g + 8, -5*g = r - 4*g - k. Which is bigger: 50/21 or r?
r
Let m = -53 + 216. Let x = m + -144. Does 19 = x?
True
Let m(f) = 3*f + 7. Let t be m(-7). Let g be (-4)/(-10) + t/10. Let n = 79/13125 + 26/625. Do n and g have different values?
True
Let p(j) = -j - 5. Let s be p(-9). Suppose -2*d - 2 = 0, u + 3*u - 52 = -s*d. Suppose f = -3*h - u, -3*h = -f + 2*h + 26. Is f at least -1/20?
True
Let z be (-10)/(-3) - (140/21)/(-10). Suppose 2 = -2*t - 8*g + z*g, -t = -g + 13. Which is smaller: t or 14?
t
Let j(b) = -b**3 + 2*b**2 + 9*b - 25. Let p be j(4). Let l be ((-28)/p)/((-2)/(-69)*1). Which is greater: 39 or l?
l
Suppose 96*m - 22*m - 1495 + 15111 = 0. Does -160 = m?
False
Let z = 15 - 78. Let b = 85 + z. Suppose 0 = 2*r + 4*h + 84, h - b = 4*r + 182. Is r greater than -49?
False
Suppose -3*f - 4*u = -172, -42 = -f - 4*u + 18. Let x be 245/f - 3/8. Suppose -4*v = -x*n - 28, 2*n - 58 = -4*v - 0*n. Which is smaller: v or 13?
v
Let g = 1 + -2. Let w = -111598790/639 + 174646. Is g smaller than w?
True
Let k be 2*(25/(-5))/((-4)/(-26)). Let j be k/3 - 16/(-24). Let r be 1/(j/15 + 3). Is r greater than or equal to 1?
False
Let a(q) = q**3 + 5*q**2 + 18*q + 107. Let y be a(-7). Let h be 0*((-4)/(-38) + (-161)/266). Is h < y?
False
Let i = -466.32 - 50.88. Let b = -517 - i. Is 3/161 greater than or equal to b?
False
Let f(h) = 3*h**2 + 85*h + 9. Let a be f(-15). Does -592 = a?
False
Let p be 5/(-5) + (3 - 1) - -6. Let v be p/9 + -1 - 24/(-27). Suppose -d = 4*q - 2, 0*q - 3*q = 4*d + 44. Is v at least d?
True
Let c = 0.8 - -0.2. Suppose 25*q - 29*q - 3*h = -27, 11*q - 5*h = 61. Which is smaller: c or q?
c
Let j be (-7)/(-42)*-2 + (-620)/(-6). Suppose 9*n - j = -5*d + 12*n, -3*d + n + 65 = 0. Let h(c) = c**2 + c + 4. Let t be h(-5). Which is smaller: t or d?
d
Let q be ((-1020)/(-2))/((-14)/(-119)). Let p = q + -86673/20. Let l = 81/10 - p. Are l and 8 unequal?
True
Let r = -179 - -99. Let k = r - -48. Let h = k - -35. Is 0 bigger than h?
False
Let x(h) = -h - 128. Let o be x(-20). Let m be (-45)/o*(-16)/(-70). Let f be ((0/2)/2)/2. Which is smaller: m or f?
f
Let h = 472 - 474. Let m = -14 - -18. Suppose -x + 48 = 2*r, m*x + 96 = 2*r + 2*r. Which is greater: h or r?
r
Suppose -4*m + 69*l = 65*l + 5840, 3*m = -3*l - 4362. Which is bigger: 0.12 or m?
0.12
Let k(p) = p**2 + 11*p + 29. Let z be k(-5). Is 3679 at least as big as z?
True
Let l = 153.34 - 153. Let s be 7/(-21) - -10*(-3)/(-18). Is s <= l?
False
Suppose -601 = -33*v + 158. Suppose -3*i - v = -2*d, 2*d = -2*d + 4*i + 44. Are d and 4 nonequal?
True
Suppose 3*t - 1659 = 5*c, 2212 = 19*t - 15*t + 4*c. Is 1 at least as big as t?
False
Let d be 95/(-20)*-157 - (-1)/2. Let x(n) = n**3 + 13*n**2 - 23*n + 13. Let i be x(-17). Let m = i + d. Which is bigger: m or -6?
m
Suppose 11 = 16*j - 21. Suppose -2 = 2*l, 0 = -j*k + 8*l - 4*l - 172. Is -88 less than or equal to k?
True
Let n be 4 - (-3)/12*0. Let v = -6297/3284 - -2/2463. Let r = v - -425/84. Which is smaller: n or r?
r
Let m be (((-6)/(-9))/(3/(-36)))/(-2). Suppose 0 = -3*f + m*v + 4, 26 = -2*f - 2*v + 10. Are f and -33/10 nonequal?
True
Suppose -5*x - 3*o + 2214 = 0, 20*o = -x + 16*o + 436. Suppose m + x = 595. Is m less than 150?
False
Let s = -4734 - -4734.1. Let z = -48.68 - 1.82. Is s at least z?
True
Let i(w) = 19*w + 113. Let x be i(13). Let v be 47 - 45 - (x/182 + 0). Which is greater: v or 3?
3
Let b = 6377 - 3980. Is 2395 at most b?
True
Let p = -6377 - -6363. Which is smaller: 107 or p?