 5*d, 4*d + 72416 = -3*y. Is y less than or equal to -0.1?
True
Let f(b) = -b**2 + 14*b - 33. Let p be f(10). Suppose t - p*t = 60. Let s(y) = -y**3 + 4*y**2 - 7. Let w be s(4). Which is smaller: t or w?
t
Let a be (-11)/(44/(-16)) - 2. Suppose -3*z - 2*q = 68, -z - 51 = -q - 4*q. Let o be a + z/6*-6. Are o and 28 equal?
True
Let m = 4164.7 - 4160. Which is smaller: m or 1.4?
1.4
Let o = -299.8 + 300.8. Is 0.01 less than o?
True
Let n = -8136 + 8206.94. Let m = n + -71. Let s = m + 0.09. Which is smaller: s or -1?
-1
Let q = -22541.49 - -22542. Which is smaller: q or 76?
q
Suppose -39*q + 41*q - 28 = n, 3*q - 32 = n. Let c be (42/7665)/(2/n). Which is bigger: c or 0?
0
Let s be (2/8)/((-19)/(-1748)). Suppose -17 - s = 4*c. Suppose 5*h - h - 5*b = 6, b = -4*h - 6. Which is smaller: c or h?
c
Suppose -4*d = -2*j + 9 - 41, -5*j + 10 = 5*d. Suppose -4 = 2*m, 5*m = -d*u + 10*u - 6. Is u != 3/8?
True
Let u = 300 - 297. Suppose 4*d - 264 = -u*c, 5*d - 264 = 11*c - 14*c. Which is smaller: c or 89?
c
Suppose 2*l = c + 56, -5*c = l - 189 + 183. Is l not equal to -54?
True
Let r(x) = 7*x**2 - 11*x + 8. Let y(l) = 12*l**2 - 22*l + 16. Let b(p) = -5*r(p) + 3*y(p). Let d be b(10). Suppose 4 = -m + 2. Is d smaller than m?
False
Let j = 3 - -2. Suppose j*t = -3 - 2. Let a be -16 - ((-3328)/169 + 4). Are a and t nonequal?
True
Let r(v) = -v**2 + 10*v - 12. Let g be r(8). Let n be (-1)/6*g + 50/3. Let o be 8/(-6) + n/1560*85. Which is bigger: o or 0?
0
Let o = -3025634/158861 - -16/6907. Which is smaller: -19 or o?
o
Let c(j) = 3*j + 70. Let g be c(0). Let v be (-2562)/g + ((-6)/(-5))/2. Does -254/7 = v?
False
Let i = 43.798 - 44. Let h = -0.102 - i. Let x = 118 - 68. Is x >= h?
True
Let j = 0.5 + -0.7. Let p = -20729 + 20727.88. Which is bigger: j or p?
j
Let x = 7117 - 9240. Is -2125 <= x?
True
Let a = -2649.9 - -2650. Which is greater: 33 or a?
33
Suppose -j + 3*g = -12050, 0 = -3*j - 4*g + 5*g + 36182. Let c = j + -9396296/779. Which is smaller: 0 or c?
0
Let c(b) = -377*b + 751. Let y be c(-20). Which is smaller: 8290 or y?
8290
Suppose -5*t - 208 = -3*x, 2*t + 4*x = -0*x - 78. Let u = t - -36. Suppose 2*f = 11*f + 54. Which is smaller: f or u?
f
Let t = -112649/12 + 9375. Are -11 and t equal?
False
Suppose 14*i + 1269 = -7201. Let c = 620 + i. Is c > 95/7?
True
Let u = 4722 + -4721. Which is smaller: u or 265?
u
Let k = -2945 + 2804. Is k at least as big as -988/7?
True
Let x(v) = -v**2 - 9*v - 6. Let z be x(-7). Let f be z*5/10*-1. Let i = -3 - f. Is -2/69 != i?
True
Let r be (-2)/(((-1)/(-24))/((-5)/12*4)). Is r greater than 133?
False
Let q be 30/(((-1269)/10)/(9/(-15))). Are -0.1 and q unequal?
True
Let x(f) = 2*f**2 + 10*f + 6. Let u be x(-3). Let a be (u + (-201)/(-36))*3. Which is greater: 0 or a?
0
Suppose -c = 4*c - 6*c. Let v(o) = 6 - 7 - 8*o - 3*o**2 + 4*o**2. Let n be v(8). Which is smaller: c or n?
n
Let w = -78.691 + 0.991. Let j = w - -76. Let d = j + 0.8. Are -2/3 and d equal?
False
Let v = 299 - 1711. Is -4240/3 not equal to v?
True
Let q = -2113 - -2115. Which is bigger: q or -978?
q
Suppose 0*p = p + 21. Let h be ((-303)/(-18) + -1 + -1)*489/(-326). Which is smaller: h or p?
h
Let t be (-6)/(-4) - (-2)/4. Suppose 4*f = y + 199, 3*f - 2*y = -4*y + 141. Suppose 5*r + f = 47*p - 43*p, -12 = 3*p. Which is smaller: t or r?
r
Let n = -1651/5 - -4558/15. Which is smaller: n or 10?
n
Let s be -2*(-3)/(-18) + (-812)/(-306). Let v = 2/153 + s. Suppose 0*t - 5*t = 0. Is t less than or equal to v?
True
Let b(a) = 5*a**2 - 12*a - 10. Let y be b(-7). Let f be (-57)/9 + 6 - y/(-3). Suppose 0 = 5*n + 2*k + 108, -7*n = -2*n + 4*k + f. Which is smaller: -0.1 or n?
n
Let h = 139918259/1749 + -79999. Which is smaller: -1 or h?
-1
Let n be 407/1 - -8*(-11)/(-44). Let z = n - 177. Which is bigger: 233 or z?
233
Let m be (0 + (-6)/(-15))/(-12). Let y(u) = u**2 - 17*u - 20. Let p(f) = 2*f + 1. Let q(r) = 6*p(r) + y(r). Let l be q(7). Are l and m unequal?
True
Let y be (-4)/(-30) + 8/(-60). Suppose y = 14*q + 725 - 3133. Is q at most 2/3?
False
Let m(k) = 2*k**2 - 5*k + 2. Let r be m(1). Let g(d) = 98*d + 2. Let w be g(r). Let p be 8/2*(-114)/w. Which is smaller: 6 or p?
p
Let l = 2 - 2. Let v = -632.3 + 0.3. Let m = v - -637. Which is smaller: l or m?
l
Let z = -0.16 + 0.02. Let d be -2 + (-26)/(-12) + 80/60. Which is greater: d or z?
d
Suppose -4*w + 3*h + 51 = -w, 3*w + h - 71 = 0. Let m = -37 + -62. Let f = m - -98.9. Is w >= f?
True
Let f(n) be the first derivative of -n**4/4 + 3*n**3 - 7*n**2 + 65. Let j be f(7). Is j <= -10/63?
False
Let t be 34/(-85) + 4899/135 + -2. Is 35 at least as big as t?
True
Let q = -134964264/685 + 197028. Which is smaller: q or -1?
-1
Let a = -4111 + 4111. Which is bigger: 1/605 or a?
1/605
Let d(p) = 2*p**2 - 5*p - 7. Let v be d(4). Suppose -3*i + 8*i + v = 0. Let x be 0/(0 - (-2 - i)). Is -1/14 bigger than x?
False
Let m = 149 - 259. Let r = 97 + m. Is 0.5 at most r?
False
Let w be (-918)/204*(-2)/9. Let c be 1192/328 - 2*2. Which is smaller: w or c?
c
Let w be 2/5*(-15)/3. Let s be w/4 - 2/(-4). Let j = -23472.4 + 23464.4. Which is smaller: s or j?
j
Suppose 0 = -2*l + 10*l - 16. Suppose 0 = 5*d + 10, 0 = -l*j - j - d + 1507. Let i be 4 - (-3 - j/(-72)). Is i <= 0?
False
Let u be 1/2 - (-10)/(-25). Let t = -265.1 - -154.2. Let l = t - -111. Is l > u?
False
Let o be (6/(-4))/((-5)/50*3). Let w be (2 - (o + -5))/1. Suppose -a = -4*a - m - 8, -4*m - w = -3*a. Is -1 not equal to a?
True
Suppose -2*l - 15*l - 5610 = 0. Let r = 324 + l. Suppose 0 = z - 2*z - 10. Is r less than or equal to z?
False
Let u = -296 + 209. Let f = -24 + -64. Do u and f have different values?
True
Let d = -35810/33 + 1085. Suppose 6*z - 36 = 2*z. Let t = 9 - z. Is t at most d?
False
Let j be (0 - 3) + (5 - 2) + 2. Suppose 0*l = j*l. Suppose 0*x = -l*x + x. Are 14/13 and x equal?
False
Let a = 390 - 389.815. Let p = 0.205 + a. Is p less than or equal to 0.1?
False
Let r be 5*-2 + -26 + 355824/9882. Which is bigger: 0 or r?
r
Let c = 99 + -100. Which is smaller: c or -2/1895?
c
Let b(h) = 1 - 6*h**2 + 0*h - 3*h + 2*h + 1. Let j be b(1). Let t be (6 - 4) + 1/j*2. Is t < 3?
True
Let z(v) = v**2 + 6*v - 1. Let k be z(-4). Let a(n) = -n**3 + 69*n**2 + 4. Let b be a(69). Is k greater than or equal to b?
False
Suppose q = -j + 10, -2*j - 2*j + 5*q + 31 = 0. Let h = 43 - j. Suppose -110 - 26 = -4*t. Is h equal to t?
True
Suppose 0 = x - 30 + 7. Let l be (213*4/12)/x. Let m = l + -1637/575. Which is smaller: m or 0?
0
Let s(z) = z**3 + 17*z**2 + 17*z + 21. Let b be s(-16). Suppose 4*l + 16 = b*w, 5*w - 4*l - 16 = 9*w. Let o be (-12)/34*(-12)/(-9). Are o and w non-equal?
True
Let i = 209 + -205. Suppose -3*u - i*s = 105, 0 = -3*u - u + 3*s - 165. Is u at most as big as -39?
True
Let p(v) = 6*v**3 - 129*v**2 - 53*v + 20. Let k be p(22). Is 305 < k?
True
Let o be (-3)/(3/(-5))*1. Suppose u - 78 + 0 = w, 0 = -2*u + 3*w + 158. Let l = -74 + u. Which is greater: l or o?
o
Let q(v) = -v**2 + 8*v + 5. Let r be q(6). Let f(m) = -m**3 - 11*m**2 + 30*m - 13. Let s be f(-12). Let k = s + 245. Which is smaller: r or k?
k
Let f = 16649.0116 + -16658. Let m = 0.0116 - f. Which is bigger: m or 12?
12
Suppose -3*o = 40 - 34. Let y = -13757/10530 - 1/810. Is o < y?
True
Let t = 369 + -531. Let x = t - -164. Are x and 0.2 equal?
False
Let v = 6.05 - 5.75. Is v equal to -3661?
False
Let i be (((-2)/(-28))/((-32)/(-192)))/(3/(-2)). Which is greater: i or -1024?
i
Let x = 7730 - 7686. Suppose -l = 16 - 61. Is l < x?
False
Let k = -9357 + 9354. Which is bigger: k or 7/67?
7/67
Suppose 0 = -9*p + 11*p + 90*p. Which is greater: -4/1023 or p?
p
Suppose 3061 = -232*l + 259*l + 10. Is 124 bigger than l?
True
Suppose 2*s - 5*g = 16, -4*s + 7*g = 4*g - 18. Suppose 0 = s*k + 2*o + 9 - 3, 0 = 2*o + 6. Let l = 0.7 + 7.3. Which is greater: l or k?
l
Let f be 125/183 - 4/6. Suppose 30*h - 25*h + 3*p = -39, 4*h + 4 = p. Which is bigger: f or h?
f
Let f be ((-7462)/1968)/(-3 + 4 - (-53)/(-52)). Do 0 and f have the same value?
False
Suppose -3*n - 1211 + 245 = 0. Let m = n + -260. Let y = m + 1727/3. Which is greater: -7 or y?
y
Let i = -214 - -26. Let s = i - -189. Is 0.201 > s?
False
Suppose 3*t = -2*t + 115. Let v = 160/7 - t. Let p(i) = -2*i**3 - 29*i**2 + 50*i + 31. Let d be p(-16). Which i