 Are g and y non-equal?
True
Let d be 3/9*-2*3. Let y = -309 - -306. Which is smaller: y or d?
y
Let r be (-22)/121 + (-13500)/44. Is r greater than -305?
False
Let h be 3/400*10*1/16. Are 0 and h equal?
False
Let p = -0.1 + -13.9. Let d = -15 - p. Let x = -31 + 31.4. Which is smaller: x or d?
d
Let u be 6/9 - ((-8976)/3852 - -3). Is -1 >= u?
False
Suppose -2*x = 3*q + 69 + 65, 65 = -x - q. Which is greater: -63 or x?
x
Let a be -2 + 12/2 - 2. Let p be a/(-960)*-1534 - 3. Let t = -1/16 + p. Which is smaller: 1 or t?
t
Let y = 16306/57 - 286. Which is smaller: 0 or y?
0
Let u be ((-303)/(-30))/(5/20). Let y = u - 40. Let j = -0.1 - 0. Which is greater: y or j?
y
Let z be (2 + 11/(-6))/(-4). Suppose 130 - 133 = 3*k. Is z at most k?
False
Suppose 0 = 39*w - 44*w + 5. Let t be 2 + (-30)/(-3) - w. Is 10 at least as big as t?
False
Suppose 8*y + 9*y = 22*y. Which is smaller: y or -1/85?
-1/85
Let d = 5.65 - 6.1. Let i = 12.25 + -12. Let p = i + d. Which is bigger: 0.8 or p?
0.8
Let m be 138/(-1116)*4 + (-2)/(-6). Which is smaller: m or 0?
m
Let d = 317 - 308. Let a(p) = p**3 + 4*p**2 - 2*p - 4. Let v be a(-4). Suppose -v*i + 55 = 5*b, -2*i + 0*b = 4*b - 32. Does d = i?
False
Suppose -4*n = -18 - 2. Let q be -2 - -2*(-13)/(-4). Do n and q have the same value?
False
Suppose 2*t + 5*b = 7*t, 0 = -3*t - 5*b - 32. Let x be t - 1/((-11)/46). Is -4 smaller than x?
True
Suppose 2*y - 5*k = 99, -2*k + 196 = y + 2*y. Let t = -68 + y. Is 2 at most t?
False
Let y(h) = -h**3 - 8*h**2 + 12*h + 22. Let b be y(-8). Which is smaller: b or -76?
-76
Let h = -3951 + 39469/10. Let t = 1505047 + -255858707/170. Let k = t - h. Does k = 0?
False
Let c(x) = x**2 + 9*x - 37. Let a be c(-12). Which is bigger: a or -2/909?
-2/909
Let s be (-16)/3*(1 - -2). Suppose 5 + 12 = -v. Does s = v?
False
Let y(h) be the second derivative of -h**4/12 + 2*h**3/3 - 3*h**2/2 + h. Suppose 91*d + 15 = 96*d. Let i be y(d). Is i less than or equal to 5/11?
True
Let g = 2 + -2. Let i = 220 - 53. Let v = i + -838/5. Is g not equal to v?
True
Let r(u) = u**2 + 6*u + 6. Let x be r(-8). Suppose x = 5*k + 2. Suppose a + 33 = k*a. Is a at most as big as 11?
True
Suppose -8*x - 433 = 14*x - 455. Let q = 31/315 + 2/45. Is x >= q?
True
Let t be (-13)/(-26) + (2 - 150/55). Which is bigger: 0.3 or t?
0.3
Let r = -1.8 - -16.8. Let c = r - 15.5. Let s = -5.5 - c. Which is smaller: s or 1?
s
Let d be ((-28)/126)/(3/(-30)). Which is smaller: d or 3?
d
Let o(m) = 30*m**2 - m + 19*m**2 - 65*m**2 + 20 - m**3. Let y be o(-16). Is y < 35?
False
Let l = 8.07 - 8. Let c = l + -10.07. Let u = -11 - c. Is u smaller than 1/7?
True
Let h be 1/((-38)/84 + 17/34). Suppose 10*t - 1 = -h. Let d be (2/4)/((-2)/4). Which is greater: t or d?
d
Let v = 113155/13 + -8709. Is -4 equal to v?
False
Let t = 0 - -2. Suppose 2*u + 2*x - 78 = 0, -t*x + 42 = u - 1. Suppose -3*j + u + 10 = 0. Is 16 >= j?
True
Let z = -2/1125 + -11623/1125. Let a = 161/15 + z. Suppose -5*d = -2 - 3. Which is smaller: a or d?
a
Let j = -869 - -874. Which is smaller: 124 or j?
j
Let i be (-8)/(-44) - (1548/44 + 1). Which is smaller: -177/5 or i?
i
Suppose 2*c = -2*c + 12. Suppose -8 = 9*h - 4*h - 3*j, -c*j = 3*h. Which is bigger: 2/49 or h?
2/49
Suppose -4*d - 9 = -0*d - 5*n, 4*n = -4*d. Let y = d - 7. Suppose 39 = 5*t + 3*x + 82, 0 = 4*t - 4*x + 28. Are y and t equal?
True
Let o = -942/715 + 62/65. Which is bigger: 7 or o?
7
Let d = -674.7 - -675. Suppose -4*z + z - r + 32 = 0, 0 = 4*z - 5*r - 49. Which is bigger: d or z?
z
Suppose -d = -o + 674, 670 = -d + 3*o - 0*o. Let r = -69627/103 - d. Is r smaller than -1?
False
Suppose 0 = m + 5*p + 34, p + 25 = -4*m - 35. Let l = 0 - m. Does 15 = l?
False
Let w be (-40)/(-22) - 64/(-352). Suppose -4*t + 2*t + 3*n = w, -3*n + 4 = -4*t. Is t less than or equal to -2/57?
True
Suppose 0 = 2*x - 4*b + 606, -7*x = -8*x - 3*b - 328. Is -313 < x?
False
Let v be 342/66 + -5 - 156/11. Which is smaller: -5 or v?
v
Let t = 0.6 - 0.8. Let l = -31.9 - -32. Is t at most l?
True
Let o = -3 - -3. Let n = -3/176 + -249/880. Which is smaller: n or o?
n
Let x = 874 - 1030. Is -156 at least as big as x?
True
Let f = 29.96 - 23.96. Let h be (2/20*-2)/1. Is h < f?
True
Let a(o) = o. Let x(f) = -4. Let g(b) = -4*a(b) + x(b). Let p be g(-5). Suppose 0*n - 33 = 5*j - 2*n, 0 = 4*j + n + p. Are -6 and j unequal?
True
Let d = -0.119 + -5.781. Let q = -6 - d. Which is smaller: q or 1?
q
Let n(j) = 3*j + 1. Let y be n(1). Let x be (y/(-84))/((-2)/(-4)). Let t = -4/483 - x. Is 1 greater than t?
True
Let r = 87747 - 329665481/3757. Which is bigger: r or -1?
r
Suppose 0 = -x - 4*w + 9, -5*x + 5*w = -4 - 16. Suppose -3*d + 0 - 6 = 0, -3*l - x*d = 7. Are l and 1 unequal?
False
Let k(p) be the second derivative of -5/2*p**2 + 1/20*p**5 + 4*p + 0 - 1/3*p**4 + 1/6*p**3. Let g be k(4). Is g < -3/7?
True
Let q = -499 - -470. Are -4 and q non-equal?
True
Let i = -216 - -190. Is i smaller than -27?
False
Suppose -73*y - 31 = -31. Which is smaller: -2/4315 or y?
-2/4315
Let h(f) = f**2 - 8*f + 13. Let y be 0/(((-2)/(-8))/((-9)/36)). Let b be h(y). Is b <= 63/5?
False
Let i = -2/1367 + -2712/15037. Which is smaller: i or -78/5?
-78/5
Let x = 321 + 44. Suppose -5*d - 385 = x. Let j be (5/d)/((-3)/12). Is j at least as big as -2?
True
Let h = 9606/209 - 31830932/692835. Let p = h + 4/195. Suppose -3*m = -q - 4, 4*m + 3*q = 2*m - 12. Which is smaller: m or p?
m
Let z(t) = -t**2 + 4*t + 2. Let l be z(3). Suppose -6*j + 27 = 9. Which is smaller: l or j?
j
Let q = -0.336 + 0.346. Let u = 1 - 10. Which is greater: q or u?
q
Let y be (-501*4/(-24))/((-2)/(-4)). Let o = y + -116. Which is bigger: 0.1 or o?
o
Let m be 29*(-1)/6 + 4. Let f be (3 + -3)/(-4*(-3)/(-6)). Is m < f?
True
Suppose -265 + 1169 = 8*c. Suppose 8*g - c - 311 = 0. Is g bigger than 52?
True
Let r(x) = -x**2 - 27*x - 27. Let n be r(-26). Which is greater: n or 2/9?
2/9
Suppose -4852 = 7*w - 834. Which is greater: w or -573?
-573
Let b(k) = 14*k**2 + 11 - 12*k + 24*k + k**3 - 17*k**2 + 13*k**2. Let v = -14 - -5. Let y be b(v). Is y equal to -16?
True
Let u be 0 + (20/32)/5. Let g = 19/216 - u. Which is greater: 0 or g?
0
Let k = 1 + -2. Let o = -0.95 + 7.95. Let z = k + o. Which is smaller: -1 or z?
-1
Let u = -3.2 - -48.2. Let v = u + -44. Let d(m) = m**3 + 4*m**2 - 7*m - 2. Let t be d(-5). Which is smaller: v or t?
v
Suppose -12*o + 9*o = -6. Suppose -3*n - 31 = -2*c, o*n + c - 1 = -2*c. Is -9 equal to n?
False
Suppose -2 = 2*t - 0. Let w(g) = g**3 - g**2 - 2*g - 6. Let n be w(0). Let v be (-8)/n*3 - (-319)/(-66). Are t and v nonequal?
True
Let q = -16 + 16. Let w = 14.2 + -13. Let m = 2.1 - w. Is q at most m?
True
Let h(u) = 2*u + 38. Let c be h(-20). Let j(q) = q**3 - 11*q**2 + 11*q - 9. Let o be j(10). Which is greater: c or o?
o
Let b = -117 + 211. Suppose -5*c = 16 + b. Does -23 = c?
False
Let a = -32 + 31.6. Let i = 46 - 47. Are i and a equal?
False
Suppose -9*x - 15 = 6*x. Let c be (-1)/(-5) + 238/10. Suppose -4*f + 0 = c. Does x = f?
False
Let c be 4*1 - (-4)/(-2). Let x be 4 + (c*21)/3. Let s be (-2 - x/(-7)) + 2. Is 4 at least as big as s?
True
Suppose 0 = -4*f - 3*u - 18, 13 = 3*f - 7*u - 29. Let c = -137848/75 + 1838. Are f and c nonequal?
True
Let x = -34 + 44. Let s = -23 - -33. Are x and s unequal?
False
Let c be (4 - 8)*(-680)/32. Is c >= 85?
True
Let r(i) = -i**2 + 4*i - 1. Suppose -3*d - 4*k = -22, 0 + 6 = -5*d + 4*k. Let u be r(d). Let w be -3 - (95/(-7))/5. Which is smaller: u or w?
w
Let h = 15 - 12. Suppose 3*a = 3 + 15. Suppose -c + a = h*w, -4*c - 4*w + 10 = w. Which is smaller: c or 2/17?
c
Let x be ((-20)/7)/4 + 12/(-42). Let r(l) = l**2 - 9*l + 8. Let u be r(8). Let j = u - x. Which is smaller: -1 or j?
-1
Suppose -2*a = 14 + 6. Let r be -4 + 6 - 11*1. Which is greater: a or r?
r
Let f = -239.1 - -239. Is -4.68 <= f?
True
Suppose -d - 1 = 0, 4*u + 0*d + 10 = -2*d. Let y be u/(-12) + 20/(-48). Is y at least as big as 1?
False
Suppose -4*z - 18 = -0*t - 3*t, -5*t + 30 = 4*z. Suppose 3*s + t = y + 2*s, -2*s = 4*y. Suppose -5 = -3*v - f, 2*v + v + 11 = -5*f. Which is smaller: v or y?
y
Let z(h) = h**3 + 7*h**2 + 10*h + 14. Let a be z(-6). Let i be a/(-56)*4/10. Is i > 0?
True
Let b be (-105)/(-14) - (-12)/8. Which is smaller: b or 11?
b
Suppose 10*x - 4*x = 2598. Suppose -