ot equal to j?
True
Let m = -1267/282 + -16/47. Let b(q) = q. Let k be b(-6). Are m and k equal?
False
Let g be 5/3*(-624)/(-65). Suppose -g*t + 12 = -10*t. Let j = -12 + 7. Which is smaller: j or t?
j
Let o = -6.122 - -0.122. Let j = -31/156 - 119/39. Is j not equal to o?
True
Let z(x) = -x**3 - x**2 - 6*x - 3. Let t be z(0). Let v = -27 - -26. Let y be (-13)/v*3/(-15). Which is greater: t or y?
y
Suppose 496*s - 145*s - 5967 = 0. Let t be (2/(-3))/(4/(-102)). Is s > t?
False
Let o = 13 - 26. Let b = -13 - o. Let y = -9.6 - -9.52. Which is greater: b or y?
b
Suppose 5*l = 2*j + 3, 3*j - 4*l = -39 + 59. Let m(p) = -p**3 - 4*p**2 + 10*p + 9. Let g be m(-6). Do g and j have the same value?
False
Let i(d) = 13*d + 131. Let p be i(4). Suppose p = -4*r + r - 5*u, -2*r = u + 122. Is r equal to -59?
False
Let a(m) = -603*m**3 - 13*m**2 - 10*m + 34. Let h be a(2). Which is smaller: h or -4857?
h
Suppose 34*i = 13*i + 84. Let m be (i - 3) + (0 - -5 - 26). Does -14 = m?
False
Let a = 130 - 116. Let t = 14.06 - a. Let j = -6 - -5.6. Which is smaller: j or t?
j
Let c be (3/(-27))/(16/48). Let z = -64.078 - -0.078. Which is smaller: c or z?
z
Let n(o) = -30*o + 11. Let r be n(3). Let h = r + 71. Do -47/5 and h have different values?
True
Let r be (-8)/2 - -27*(-6609)/27. Is r at least as big as -6613?
True
Let p = 355 - 355. Is p greater than or equal to 22/207?
False
Let s(n) = 126*n**2 - 2*n - 2. Let w be s(-1). Let b be w/15*57/(-38). Is b > -14?
True
Suppose 5*o + 8 = -2. Let m be 6/(-27) + -2 + (-13575)/756. Let i = -79/4 - m. Which is smaller: i or o?
o
Let r = 225 - 206. Suppose -8*j + 4 = -4*j. Which is greater: r or j?
r
Let d be (-504)/(-8) + 0/(-2). Let b = d - 51. Let l be -6*2/16 + (-3)/b. Which is smaller: -4/47 or l?
l
Let y(b) = -b**3 - 6*b**2 - 8*b - 15. Let a be y(-5). Suppose a = -2*u - 4*q - 2 + 10, 4*u - 2*q + 4 = 0. Is 2 <= u?
False
Let a be ((-14858)/(-190))/23 - (-2)/(-5). Let u = -6 + 12. Which is bigger: u or a?
u
Let x be (-1)/(-4) + 33337/(-148). Let d = x - -191. Which is bigger: -2/3 or d?
-2/3
Suppose 174*p = -208*p + 96*p - 8866. Which is bigger: -1276/41 or p?
p
Let t = -458395/87952069 - -21/28037. Is -1 at least as big as t?
False
Suppose -2*a + 4 = 4*i - 16, 2*a + 20 = 4*i. Let p be a - ((-14)/(-21))/((-1)/3). Suppose -p*y = -y - 1. Are y and 0.33 non-equal?
True
Suppose 0 = 2*w - 2*q - 598, -65*w + 63*w + 610 = 2*q. Which is smaller: -16 or w?
-16
Let s = 5558 - 5558.3892. Which is bigger: 2 or s?
2
Let k be 0 + 1/(2/50) + 0. Suppose 19*h - 32 = k. Which is smaller: 52 or h?
h
Suppose -37 = 2*o - 6*o - 3*n, 0 = -3*o - 2*n + 28. Let s be ((-2)/(-20) - (-4)/o)*76. Which is smaller: s or 112/3?
112/3
Let c be -17 + (-6)/15*105. Which is greater: -90 or c?
c
Let k = -2.289 + -0.421. Let v = k - -0.81. Is 1 less than or equal to v?
False
Let k = 7648.1 + -7648. Which is smaller: -666 or k?
-666
Suppose -2*m + 5*b - 1 = 0, 5*m - 3*b + 18 = 6. Let n = 22853 + -22857. Which is smaller: m or n?
n
Let c be 3/(12/76) - 3. Let j be c/(-20) + 108/(-15). Let m = -108 + 100. Is j at least as big as m?
True
Let n = 4206 + -1371. Let v = n - 2771.84. Let t = 63 - v. Is t > 1/3?
False
Suppose -5*r + 598 = 3*d, 4*d + 234 = 2*r - 0*d. Which is smaller: 112 or r?
112
Let h be 3/(-3) - (-42)/5. Let a be 28/(-6)*(-2 - 12/21). Let i be a*7/(105/10). Which is bigger: i or h?
i
Suppose -5 = -4*g - g + x, -5 = -5*g + 4*x. Suppose 5 = 3*a + i, -3*i = -4*a - 2*i + 9. Let b be 3/a*-8*6/(-1128). Are b and g unequal?
True
Let x(n) = -n**3 - 39*n**2 + 45*n + 205. Let r be x(-40). Let q = -6 - 28. Is r bigger than q?
True
Let a = 4840 - 4839. Does a = 6/49?
False
Let t = -132.525 + -0.475. Let x = t + 130.5. Do 0.4 and x have different values?
True
Let x be 4*398/16 + 3/(-2). Which is smaller: x or 97?
97
Suppose -4*v = -26 - 10. Suppose 11*c = 5*q + 16*c - 360, -66 = -q + 2*c. Suppose 0 = -13*l + 60 + q. Are v and l unequal?
True
Let g = -59.8 + 52.8. Which is smaller: -5/4 or g?
g
Let d = 20 + 12. Suppose -a - a = d. Let o be a/(-28)*(2 - (-40)/(-6)). Is 1/2 at least o?
True
Let o(u) = -6*u - 13. Let m be o(-3). Suppose -m*a = -c + 1, -6 = -2*a - 3*c - 20. Which is greater: 11 or a?
11
Let n = 8 - 5. Suppose n*y - 8*y + 5 = 0. Let c be (-16200)/(-30240) + 48/28. Which is smaller: c or y?
y
Let v = 247 + -467. Let y = v - -231. Which is smaller: y or 10?
10
Let w = 95491 + -95432. Let b(f) = 21*f - 4. Let r be b(3). Is r not equal to w?
False
Let c = -23995 + 37874. Which is smaller: 13878 or c?
13878
Let s = -467.46 - -473. Let x = s + -83.34. Let i = -78 - x. Are i and -0.28 equal?
False
Suppose -4*n - 4*w - 220 = 0, -w = -5*n - 33 - 212. Let m = n - -651/13. Let f(x) = -724*x + 2173. Let s be f(3). Do m and s have different values?
True
Suppose 20*m = 21*m - 449. Let q = -597 + m. Is q greater than -2?
False
Suppose 0 = 3*v + 104 - 2. Let t be (3/1 - 1) + 2 + 32. Let i = v + t. Are i and 0 equal?
False
Let o = -0.10957 + -0.26043. Which is smaller: o or -34/9?
-34/9
Let p be -2 + ((-78)/39)/(4/(-6)). Is 72/31 < p?
False
Let b = -58.1 + 58.85. Which is bigger: b or 45?
45
Suppose 5*b = -15, 0*m + b - 18 = 3*m. Let v be 20/(-30) - 19/3. Is v smaller than m?
False
Let j be (-1351)/3 - 494/741. Is j != -455?
True
Let t be (-4)/11 - (-1926)/(-693) - 2*-1. Let s(k) = -k**3 + k. Let j be s(0). Let h = j + -2. Which is smaller: t or h?
h
Let l be 16544/134655 + (-2)/15. Suppose 0 = 5*u - 10, -2*u = -4*y - 0*u - 8. Which is smaller: l or y?
y
Suppose -8*u = -27 - 5. Suppose 10 = -0*y - y + 4*h, -5*h - u = -4*y. Suppose 11*k - 35 = y*k. Are 7 and k equal?
True
Let c(x) = x**2 + 117*x + 1409. Let o be c(-133). Which is smaller: o or 3539?
o
Let y = 8 + -8. Let b = -72829/1428 + -871/68. Let d = -574/9 - b. Is y bigger than d?
False
Let t be 7/((-28)/8) - -13. Let f = t + -12. Let m = -1285/7 + 184. Is m less than f?
False
Suppose m - 29 = 5*k, -2*m + 116 - 94 = -4*k. Which is smaller: 4/321 or m?
m
Let u be -3*(0 + 10)*31/(-186). Suppose -u*i = -2*i - 9. Is i not equal to -17/5?
True
Let g be ((-18)/75*-4)/((-5928)/95 + 26). Which is bigger: 0 or g?
0
Let m = -381 - -146. Let s = 234.9 + m. Which is greater: s or 126?
126
Let d(q) = -1471*q + 4397. Let c be d(3). Is -30 < c?
True
Suppose 4*f + 96 = 4*n, -n + 4*f + 18 = 3. Let o(x) = 2*x**3 + 42*x**2 + 72*x + 667. Let i be o(-20). Is n at most i?
True
Let y = -26 - -33. Suppose -2*j - 31 = -y. Let q be j/(-8)*((-136)/66 - -2). Is q less than or equal to 0?
True
Suppose -5*n + 39 = 7*s - 3*s, -5*n = -s - 34. Let i = n + -8. Let r = 389/7287 - 2/347. Which is bigger: r or i?
r
Let r = 334.9 - 307. Let z = 3.1 + r. Is z greater than -3/4?
True
Let v(m) = -7*m - 2. Let k be v(-1). Let s be ((-2)/(-2))/(-3*k/435). Which is greater: s or -30?
s
Let a be (6*(-9)/(-108))/((-2)/(-16)). Suppose a*z - 58 = -j, -3*j = -j + 4*z - 96. Is j at most 3?
False
Let k = -245 + 252. Let h = 8 + 0. Suppose -k*q + h = 1. Is 1/21 <= q?
True
Let o = 10572981/76300 + -15134/109. Let s = 4/175 + o. Does -5 = s?
False
Let g(h) = 39*h - 22 - 3*h**3 + 9 + 6*h**2 + 4*h**3 - 59*h. Let x be g(-8). Is x greater than 21?
False
Let s be ((-1)/(-2))/(2/60*5). Suppose 2*v - 3*c - 43 = 0, -s*v + 4*c + 66 = c. Is 21 at most as big as v?
True
Let o be (-57)/95 + (0 - 184/(-15)). Let g be (-1)/(2/(-30)) + -4. Which is bigger: o or g?
o
Let a = -0.5 - 2.8. Let z = -158.1 + 161.354. Let d = a + z. Which is greater: d or -2/5?
d
Suppose 0 = k - 5*u - 46, 5*k + 6*u = 4*u + 203. Suppose 0*z + p + k = z, 2*z - 85 = 3*p. Which is smaller: 5 or z?
5
Let t(w) = 6*w**2 - 213*w + 582. Let c be t(31). Are -258 and c non-equal?
True
Suppose 5*u - 265 + 60 = 0. Let y(x) = 2*x**3 + 39*x**2 + 58*x + 26. Let d be y(-18). Let i = d + u. Is i < -4?
True
Let i be ((-2)/(-5))/((-1792)/(-10) - 18). Is i smaller than -2/17?
False
Let x = 0.362 - -2.898. Let k = 1.26 - x. Do k and 26 have different values?
True
Let k be -1 + 10/14 + -1. Let s = k - -160/119. Let j be (-2)/(2/(-5) + 4 + 112/(-20)). Which is smaller: s or j?
s
Let u be 17/2 - (129 + -120). Which is smaller: u or 334?
u
Let v = -18 + 38. Let h(o) = 263*o**2 + 14*o + 41. Let d be h(-6). Let s be (-4)/(-14) - d/(-455). Is s at least v?
True
Let i = 1179421/66 - 17870. Is 0 greater than or equal to i?
False
Le