 - 3*z - 1192. Is c != 0.2?
True
Let z be 245/4998*(10 - -2). Is 8 bigger than z?
True
Suppose 5*h = 2*h + 3. Let w = 22990 + -4345111/189. Is w bigger than h?
False
Suppose 23 = -5*d + 23. Let s be (d - 0 - -40) + (2 - 6). Let o(f) = 9*f**2 - 1. Let l be o(2). Is l greater than s?
False
Let i = 4531 - 4087. Is -1/3 >= i?
False
Let u = 105 - 97. Let r be (u/(128/28))/(-1). Is r greater than -3?
True
Let w = 0.041 + -11.841. Let n = 395 - 1184/3. Is n bigger than w?
True
Suppose 0 = -2*j + 5*k + 13, 0 = 4*j - 3*j + 3*k - 1. Let i be j/12*0 + (3 - 0). Suppose -i*d = -5*d - 4*s - 22, 0 = -5*s - 25. Is -2/11 at least d?
True
Suppose 4*z - 2 = -6. Let f be ((-2)/9)/(28/(-252)). Let d be 141*8/(-1728) - f/9. Which is bigger: d or z?
d
Let i be 4/(-22) - -2*47814/(-33). Let b be (-42)/i*(-9)/1. Do -3 and b have different values?
True
Suppose -290 = 2*h - 3*h - 3*r, 4*r + 8 = 0. Let m(u) = 34*u**2 + 9*u + 17. Let v be m(-3). Are v and h unequal?
False
Suppose 0 = 2197*z - 2180*z + 102. Suppose -1 = 2*a - 15. Which is smaller: z or a?
z
Let y(q) = 37*q - 13 - 17 - 15. Let n be y(7). Suppose -5*o = -4*m - n, 5*o - o = 8. Is m smaller than -52?
False
Suppose -3*b - 2*z = -0*z - 122, 5*b + z - 201 = 0. Let s(v) = 28*v - 17. Let y(f) = 6*f - 16. Let t be y(3). Let n be s(t). Which is bigger: b or n?
b
Let c be (-63668)/(-220) - 14/10. Let w = c + -1153/4. Is w equal to 1/79?
False
Let r = -26 - -30. Let z(i) = -7 + r*i - 122*i**2 + 123*i**2 - 9. Let d be z(-7). Which is bigger: d or 4?
d
Let r be 14/8 + (-5)/(-20). Let p = -8 + -16. Let j = p + 29. Is j at most as big as r?
False
Suppose 0 = -3*r + 2 - 20. Let c(p) = 19 - 24 + 6*p + 18. Let l be c(r). Is l greater than -24?
True
Suppose 0 = 24*k + 686 - 11414. Suppose -3*i - l + 1341 = 0, -16*l + 1332 = 3*i - 18*l. Which is smaller: k or i?
i
Let d(m) = m**3 - 45*m**2 - 362*m - 104. Let v be d(52). Which is greater: v or -11/97?
v
Let h = 63.04045 + -0.07045. Let v = -60.6 + -2.4. Let y = v + h. Is y at most as big as 8?
True
Suppose -2*u + s = -0*s - 45, 0 = 4*u - 3*s - 93. Let w = u - 522/25. Let a = -59.58 - -58.58. Which is greater: a or w?
w
Let s(r) = 6*r**2 + 4*r - 7. Let t be s(6). Let y = -579 - -812. Is t smaller than y?
False
Let p = 11 + -20. Suppose 15 = 3*i + 3*j - 2*j, 2*i = -5*j - 3. Suppose -3*l - 33 = 4*q, -4*q + i*l = 2*l + 40. Is p != q?
False
Let w be ((-2)/(-7) + (-385)/(-196))*(6 + -1130). Are -2533 and w unequal?
True
Let d be 3 - ((3 - 6) + -172). Let q = 179 - d. Is q less than or equal to 20/11?
True
Suppose -t + 5*t + 5*n - 25 = 0, 14 = 2*t + 4*n. Suppose 24 = 4*z + t*u, -6*z + 3*z = 4*u - 18. Is z smaller than 4?
False
Suppose 3*r - 3*l = 705, 5*r - 2*l - 193 - 1000 = 0. Is 241 bigger than r?
False
Suppose -2*g = -13*g - 8*g - 2356. Which is bigger: g or -120?
-120
Let u(q) = 3*q + 17*q**2 + 7 - 15 - 16*q**2. Let t be u(-5). Suppose 5*g = t*b, 4*g - 3*b - 12 = b. Which is smaller: g or -3?
-3
Suppose 4*s - 51 = -x, 3*x + 3*s - 154 = -37. Let d(a) = 23*a. Let h be d(2). Let z = x - h. Which is smaller: -12 or z?
-12
Suppose -49*l = -101*l. Is 8/351 != l?
True
Let w be (-379500)/(-100980) + (1 - (-10)/(-9)). Are w and -4/3 non-equal?
True
Let o(w) = 5*w - 18. Let b be o(4). Let l(n) = 208 - 214 + n + 3*n + n**b. Let q be l(-9). Is q less than 38?
False
Let w = -27 + 30. Suppose -w*t = -5*p - 50, -72 = 4*p - 0*p + 4*t. Let q = 15 + p. Is q bigger than 20/9?
False
Let v(w) = -17*w + 17. Let r(x) = 9*x - 8. Let y(q) = 5*r(q) + 3*v(q). Let z be y(-5). Is z < 41?
False
Suppose 3*p + 16 = 2*q, -3*q + 1 = 4*p + 45. Suppose 87 = -y - 5*h, -50*y + 51*y + 2*h = -30. Do p and y have different values?
True
Let z = -3229 - -3294. Which is smaller: z or 51?
51
Suppose -5*o + 1263 = -127. Suppose -92 = 10*t + o. Which is smaller: -35 or t?
t
Suppose 0 = -6*u + 31 - 7. Suppose u*i = 2*l + 92, -4*i - 4*l + 3*l = -86. Let q be -1*(-21 + 0/2). Is i bigger than q?
True
Let k be (-8 + 1080/96)*-16. Which is greater: -670/13 or k?
-670/13
Let y = 76 - 35. Let n(r) = r**3 + 118*r**2 - 236*r + 520. Let m be n(-120). Is y at most as big as m?
False
Let a be 1 + -27 + (-12)/(-16)*-4. Let j(z) = -z**3 - 28*z**2 + 29*z - 49. Let l be j(a). Which is smaller: -46 or l?
l
Let z(n) = 7*n**3 - 25*n**2 - 56*n - 24. Let p be z(-4). Which is bigger: p or -3247/5?
p
Let h be 17 + -14 - 42/11. Let g = -7 + 5. Which is smaller: h or g?
g
Let p = 798435195/8879 + -89924. Are -4 and p equal?
False
Let u = 22750 - 19264. Which is bigger: 3487 or u?
3487
Let j be -43*-1*(0 + (-4)/(-4)). Suppose -5*v - j = -18. Which is bigger: -4 or v?
-4
Suppose 6*m + 28 = -38*r + 40*r, 0 = -4*r - 2*m. Suppose 6 = -v - 2*v. Let y be v/(-3)*12/4. Is r smaller than y?
False
Let l = -9542 - -209707/22. Which is greater: -10 or l?
l
Let a = 0 + 96. Suppose 2*x + a = -88. Let d = -9293/101 - x. Which is smaller: d or 0?
d
Let y = -0.151 + 58.151. Let c = y + -58. Which is greater: 20 or c?
20
Let p = 24442 + -25850. Which is smaller: -1409 or p?
-1409
Let s = -435 + 447. Suppose 6 = 3*g, 10*g - s = 2*q + 5*g. Which is smaller: q or -2/993?
q
Let t be (-65 - (3 + 1))*10/(-10). Does t = 66?
False
Let g be (3/32961)/((-167)/334). Is 1 smaller than g?
False
Let m = 11488 + -11528. Let v = 16 + -55. Which is smaller: m or v?
m
Let d = 270 - 277. Let q be 420/d + -5 - (1 - 2). Which is smaller: q or -63?
q
Let u = -917.2 - -472.2. Which is smaller: u or 6?
u
Let q = -1516/5 + 9101/30. Which is greater: q or -360?
q
Suppose -5*m + 2084 = -4*s - 12251, -3*s = -15. Let o be 28/16*(-32912)/(-20). Let w = o - m. Which is smaller: 9 or w?
w
Let b(z) = -z**3 - 76*z**2 + 76*z - 71. Let o be b(-77). Which is bigger: 527/76 or o?
527/76
Suppose 4*l + 4 = 0, 4*l = 2*y - 5*y - 229. Let u be 6*(-5)/(y/5). Suppose u*q = 3*q - 1. Which is greater: q or 3/8?
q
Let w = 3 - 3.3. Suppose -40*p = -4*u - 35*p - 673, -4*u = -2*p + 670. Which is smaller: u or w?
u
Let r = -256386/5 + 51277. Suppose 0*t - 4*l + 116 = 2*t, 4*t - 5*l = 180. Is t less than r?
False
Let t be (4/8)/(20/(-60)). Which is smaller: t or 902?
t
Let v = 0.2 + 0. Suppose 29 = 3*c + 218. Let f = c + 251/4. Which is bigger: f or v?
v
Let n = 205/84 + -25/12. Let a(g) = -12*g + 112. Let j(o) = 6*o - 55. Let t(v) = -3*a(v) - 7*j(v). Let c be t(8). Is c <= n?
False
Suppose 3*z + 10 - 30 = 2*l, -3*z = 0. Let o be (20/15)/(5/180). Suppose -33*w = -o*w - 105. Which is bigger: w or l?
w
Let x = -17059 + 6465360/379. Which is smaller: 0 or x?
x
Let o be (4/(32/6))/((-18)/48). Let k be -5 + -1 + (5 - o/(-2)). Are 49 and k nonequal?
True
Let t = -211 + 481/2. Let a = 379 + -349. Which is bigger: t or a?
a
Suppose 18*h + 18 = 27*h. Suppose 3*b = 3*o - 306, -h*b = 3*o - 297 - 4. Which is smaller: o or 100?
100
Let o(s) = 164*s - 1990. Let n be o(-42). Is -8879 less than or equal to n?
True
Let g be 22/(-1320)*-84 + 14/(-10). Let c = -1752868/833 + 14730/7. Which is smaller: c or g?
g
Let x = -17487 - -18218. Is 706 greater than or equal to x?
False
Let o be (-18224)/2278*(0 + 1). Let w(z) = z**3 + 2*z**2 + 3*z. Let v be w(-4). Let k be 2/(-6) - v/(-6). Which is bigger: k or o?
k
Let r = 180 - -13. Suppose 8*w + r = -559. Is w bigger than -95?
True
Suppose 2*t - 6*t + 1934 = 2*d, -t = 2*d - 1922. Which is smaller: 961 or d?
d
Let c be (-1 + 55 + 4/(-2))*760/80. Does c = 497?
False
Let n(k) = -k**2 - 20*k - 14. Let t be n(-19). Let o be ((-170)/8)/t + 4. Which is smaller: 3/5 or o?
o
Let o = 2421.5 - 2437. Is -3 <= o?
False
Let r = 462 - 454. Is r smaller than 85.6?
True
Let n = 6910 - 186388/27. Which is greater: n or -3?
n
Let h = -145 + 142. Let b(a) = a**2 - 6*a + 3. Let d be b(8). Which is smaller: d or h?
h
Let d(n) = -635*n + 6986. Let h be d(11). Is 8/1399 smaller than h?
True
Let f be (-3)/(-161)*(-32)/(-144). Let u = 78 - 76. Suppose -3*y - 4*w = u*y + 5, y + 4*w + 1 = 0. Is y less than f?
True
Let j = -766/125 - -5867826/957625. Are j and -1 equal?
False
Suppose -2 + 290 = -6*c. Let a be (c/96)/((-1)/(-2)). Which is greater: a or -29/3?
a
Suppose -9*f + 25 = -29. Let i(o) = o**3 - 4*o**2 - 8*o - 2. Let v be i(f). Let z = 26 - v. Is z at most as big as 4?
True
Suppose 8 = -4*b, -8*p + 6*p = 4*b - 138. Let h = 3430/47 - p. Which is bigger: -1 or h?
h
Let i be ((-10)/(-20))/(2*7/1400). Which is greater: