393329/311 - -297085. Is y bigger than -1?
True
Let l = 3021 + -3008. Is 16 less than l?
False
Suppose 3*g + 3 = -3. Let w(x) = -x**3 - 8*x**2 - 19*x + 6. Let d be w(-6). Suppose d*p - 54*p = -6. Do p and g have different values?
True
Let h be (4 - (-175)/(-20))*10064/(-68). Which is smaller: h or 704?
h
Let q = 6309.1 - 6309. Is -19.06 equal to q?
False
Suppose 158 = 5*j + 148. Suppose -4*b = -2*h + 186, b - 324 = -3*h - j*b. Which is bigger: h or 102?
h
Let c = -701 - -705. Suppose 2*b - 28 = -0*b. Is c smaller than b?
True
Let i = -7590354/173 + 43875. Is 0 bigger than i?
False
Let d = -0.0821 + 1.0821. Which is smaller: 11731 or d?
d
Let j = 18554 - 12684. Is j at most 5870?
True
Let q(l) = -2*l**2 - 17*l - 3. Let m be q(-7). Let j be ((-135)/m)/(6/(-8)). Suppose 19*p - 9 = j*p. Do p and 2 have different values?
True
Suppose 0*m = -2*m - d + 6, -7 = 5*m - 3*d. Let n be (42/25)/(3/((-2)/(24/(-36)))). Which is smaller: n or m?
m
Let n(u) be the first derivative of 35*u**2/2 - 6*u - 23. Let g be n(-2). Are g and -75 nonequal?
True
Let u(h) = h + 11. Let l be (2 - 6)*2/1. Let s be u(l). Let n be (-51)/(-6) + (-2)/(-4)*s. Are 9 and n non-equal?
True
Let v(r) = -r**3 + 12*r**2 - 13*r + 24. Let y be v(11). Suppose 3*f - 3*j = -2*f + 10, -2*j - 8 = -y*f. Let w = 562778/179 + -3144. Which is smaller: f or w?
f
Let q be 5 - (2 - -2) - 27/21. Let y = 676.42 + -677. Which is smaller: q or y?
y
Let w be 305/23800 + -2 - 2 - -4. Let m = 3/680 - w. Are m and 1 unequal?
True
Let a = 51.4 + 246.6. Let g = -298 + a. Is 14 greater than g?
True
Let t(a) = 36*a + 1270. Let x be t(-47). Which is smaller: 0.8 or x?
x
Suppose 19*r - i - 443 = 17*r, -3*i = r - 225. Suppose -22*a + r = -548. Is a != 141/4?
True
Let z = -2/197 + 209/1182. Let y = -134441/194 - -693. Which is smaller: z or y?
y
Let t(d) = -468*d + 5281. Let u be t(15). Are u and -1739 equal?
True
Let w = -47 + 22. Let i(t) = -6 + 26*t**3 - t + 0 + 2*t**2 - 2 + 6. Let l be i(-1). Are w and l equal?
True
Let l(g) = -g**3 - 5*g - 2. Let j be l(-3). Suppose -y = 4*y - j. Suppose 2*z = -y*z - 190. Is z != -21?
True
Suppose -q + 154 = 36. Let s = 67 - q. Let o be (-114)/2 + 6 + 0. Is o at least as big as s?
True
Let r = -488.5 - -549. Let u = -225.5 - r. Which is smaller: u or 1?
u
Let k(r) = r**2 + 2*r - 1. Suppose -b - 2*g - 10 = 0, -5*g = -0*b + 2*b + 24. Let u be k(b). Is u at most -1/53?
True
Suppose -14*t = -18*t. Let o be 72/240*(-90)/24. Which is smaller: t or o?
o
Let u = -11101 - -10335. Which is smaller: u or -775?
-775
Let q = -148 - -148. Suppose 4*y + 5*y + 342 = q. Which is bigger: y or -37?
-37
Let o = -2919 + 14593/5. Let d be ((-8)/(-100))/((-2)/(-3701)). Let c = 148 - d. Which is smaller: c or o?
o
Let v = -555 - -548.4. Let k = -89 + 87. Which is greater: v or k?
k
Suppose 0 = 4*o - 4*q - 20, 5*o + 3*q + 11 - 12 = 0. Suppose p + 2*p = -45. Is o less than or equal to p?
False
Suppose -3*a + 20 = -4. Suppose -a*f + 91 = -4*g - 3*f, 2*g + 53 = f. Let l(c) = c**2 + 5*c + 4. Let t be l(-3). Is g at most as big as t?
True
Let c = -2 + 2. Let n = -395191.8 - -395184. Which is smaller: n or c?
n
Let h(i) = 125*i**3 - i**2 - 6*i + 10. Let r be h(2). Suppose -8*t - r = -10*t + 5*q, t - 3*q - 496 = 0. Is t at least as big as 503?
False
Let b be (17 + 2056/(-120))*-12423. Is 1657 >= b?
True
Let w = -20.4 + -35.6. Which is bigger: 4 or w?
4
Let z = 7.04 - 6.767. Let v = z - 2.073. Which is bigger: v or 0.1?
0.1
Suppose -8*z = -831 + 111. Let h be z/100 - (-4)/40. Which is smaller: h or -12?
-12
Let x = -114 - -120. Suppose -3*o - x = 0, -6 = q + 2*o + 3*o. Let c be (-42)/(-147)*(-1)/q. Which is bigger: c or 0?
0
Let c = -474 + 470. Let x be ((-5334)/(-1326) + c)*6/5. Is 0 < x?
True
Suppose -k = -145 + 46. Suppose 3*a = b + k, b = -0 - 3. Let l = 4533 + -4502. Which is smaller: l or a?
l
Let l be ((-8)/(-40))/((-4)/10180). Let t = l - -497. Which is smaller: t or -180/17?
t
Let c(g) be the first derivative of -g**3/3 + 6*g**2 + 44*g + 49. Let d be c(15). Which is bigger: 2/15 or d?
2/15
Suppose 4*a + 3*v - 27 = 3*a, -3*a - 2*v = -81. Let h(z) = 3*z - 119. Let y be h(a). Which is smaller: y or -40?
-40
Let a be ((-1252)/14)/(((-3)/(-10))/((-6)/10)). Is 179 != a?
True
Suppose 3*d + 4*i + 13 = 0, -2*i + 7 = -389*d + 386*d. Suppose -4*w - 7 - 9 = 0, w + 3 = -j. Which is greater: j or d?
j
Let y = 43 + -103. Let p be (-35)/(-42)*1/(4/y). Are p and -13 unequal?
True
Let p = -380539/486 + 783. Suppose -6*s = -s + 2*s + 7. Is p at most s?
False
Let l = -32871/2 + 103253/6. Let u = l - 795. Do u and -23 have different values?
True
Let d = -11624/3 - -88098299/22737. Which is smaller: d or 0?
0
Suppose 13*h + 304 = 29*h. Let m be (h/(-8) + 2)/((-12549)/188). Is m > 0?
True
Let c = 7423/516 - 9/172. Let l = -60 - -63. Suppose 0 = l*k - k - 26. Which is bigger: k or c?
c
Suppose -23*k + 22*k - 3*g - 734 = 0, -4*g = k + 739. Which is greater: -714 or k?
-714
Let x = -4436 + 4074. Is x bigger than -1085/3?
False
Suppose g - 4*b = 8 - 1, 2*b = -2*g + 4. Suppose -22 + g = 3*d + 4*m, -3*d = m + 7. Let w = 15 + d. Is 7 < w?
True
Suppose 96 = -38*c - 10*c. Let i(v) = 10*v - 41. Let r be i(4). Is c greater than or equal to r?
False
Let t = 460 - 897. Which is smaller: -439 or t?
-439
Suppose 4*b - b = 3*y - 18, 4*y - 5*b = 26. Suppose y*t = w + 3*t + 20, -5*t = -3*w - 50. Which is bigger: -97/4 or w?
-97/4
Let k = -160.786 + 161. Let x = k - -0.986. Do x and 1.2 have different values?
False
Let h be -8 + -173 - (32 + -12). Is h bigger than -1006/5?
True
Let k be 168/(-5882)*-6 - (-43 + (-26244)/(-612)). Which is greater: k or 0?
k
Let p be (-261)/(-116)*(-4)/3. Let m(t) = 43*t + 117. Let a be m(p). Which is bigger: a or -2?
-2
Let y = -0.05 + 0.12. Let b = 269 - 227. Let l = -40 + b. Which is greater: l or y?
l
Let y = 14521781/315 + -46101. Which is bigger: y or 0?
0
Let b be (-1)/(3/(-786)*2). Suppose -q = 4*p - 532, -133 = -256*p + 255*p - 5*q. Which is smaller: p or b?
b
Let f be 12780/(-42770) + -3*4/(-42). Is f greater than 1?
False
Let q = -128 - -65. Let v = -61.073 - -0.073. Let c = q - v. Which is smaller: c or 1/3?
c
Suppose 2 = -9*f + 47. Suppose f*c = 1959 + 76. Is c smaller than 408?
True
Let t = -3732 - -3731.869. Are -4/3 and t equal?
False
Let p = 1538 - 1526. Are p and 336/25 non-equal?
True
Let t be 980/(-294)*(5184/10)/3. Let a = 581 + t. Which is smaller: a or 6?
a
Let y = 1233 + -1228. Let m = 0.03 + -3.03. Which is greater: m or y?
y
Let y = -0.0539 - 83.9461. Let r = 32 - y. Which is smaller: r or 0.1?
0.1
Let f be ((-2)/(-6))/(3/(-9)). Let k(n) be the second derivative of -n**5/20 - 5*n**4/6 + 5*n**3/3 - 6*n**2 - 17*n. Let d be k(-11). Is d smaller than f?
False
Let f be 0 - 56/18 - 0. Suppose 1064*y = -35 + 35. Which is bigger: y or f?
y
Let r = -128 + -10. Let q = -118 - r. Are -3 and q nonequal?
True
Suppose 0*z - c - 6 = -2*z, -3*z + 3*c = -15. Let r be (-2036)/(-1826) + (-10)/415. Is r greater than z?
True
Let n(b) = -b**3 + 2*b**2 + 2*b - 11. Let g be n(3). Let a(s) = 6*s - 323. Let x be a(g). Is -408 greater than or equal to x?
False
Suppose 4*y = -u - 2, 31*y + 14 = 27*y + 5*u. Is -30/281 less than or equal to y?
False
Suppose 0 = -3*q - 2*q. Let y = 46858/23 - 2037. Let w = y + -43/368. Is w less than or equal to q?
False
Suppose -m + 4 = -p + 3, 5*m - 3*p = 7. Let d(b) = 0*b + 0*b + 5 - b**m + 3*b - b. Let z be d(0). Is z > 1?
True
Let n(x) = -x**3 + 1614*x**2 + 9722*x + 12. Let m be n(-6). Let y = -120 - -114.9. Is y != m?
True
Suppose -4*t - 148 = 4*b - 60, 0 = -5*t - 4*b - 107. Let v(l) = l**2 + 83*l + 606. Let j be v(-8). Let f = j - t. Is f less than or equal to 25?
True
Let k(u) = u**3 + 9*u**2 + 22*u + 52. Let n be k(-7). Is n greater than or equal to 19?
False
Let v = 187 + -186. Let x be 308/(-70) + v*(3 - -2). Is 19 equal to x?
False
Let y = -49510/297 + 1751/11. Are y and -8 equal?
False
Suppose -3*i - 186 - 42 = 0. Let f = -49 - i. Which is smaller: 28 or f?
f
Suppose -12 = 2*r + r - 3*b, -2*r - 5*b - 8 = 0. Let n(t) = -t**3 - 4*t**2 - 5*t - 8. Let c be n(r). Is 73/6 > c?
True
Suppose 4*h = 2*v - 10, -105*h = -107*h - 4. Is -37/75 greater than or equal to v?
False
Let r be 5587/1924*13 + (4/2)/8. Let w = -45391/5 + 9115. Which is greater: r or w?
r
Let p(i) = -191*i - 