0475 + -0.1475. Which is greater: -0.0423 or i?
-0.0423
Let y be -24086 + 0/(-3) - 3. Let c = y + 121539/5. Let a = c + -218. Is 4 <= a?
False
Let w = 70 - 63. Let x = 10 + -5. Let j = x - w. Is j bigger than -2/3?
False
Let i(o) = -o**3 - 10*o**2 + o + 13. Let j be i(-10). Suppose -t = -2*p - 15, j*t - 4*p - 56 = -t. Is t at least as big as 12?
True
Let s = 4530 - 1544732/341. Is s not equal to 0?
True
Let n = 7/213 + 185/852. Do n and -500 have different values?
True
Suppose -z = -3*r + 224, r + 25 = -z - 215. Are z and -236 nonequal?
False
Let o(h) = 4*h**3 - 2*h + 1. Let a(q) = q**3 + 5*q**2 - q - 4. Let x be a(-5). Let c be o(x). Suppose 2*r + 5 = c. Is -1 != r?
False
Let q = -1555959/8866 - 133/682. Let s = q + 176. Are -1 and s unequal?
True
Let y be -1 + 3 + 4 + -8. Let z be (y - -5)*(2*-1 - -5). Are z and 5 non-equal?
True
Let b = 2 + 23. Are b and 0 unequal?
True
Let h(a) = a**2 + 4*a + 4. Suppose -5 = 2*q + 1. Let z be h(q). Suppose 4*y = z + 3. Which is bigger: 1/3 or y?
y
Suppose -97*n + 103*n = 0. Is 2/4199 at least n?
True
Suppose 8*g - 7*g = -m - 92, -2*g - 445 = 5*m. Which is greater: m or -86?
-86
Let r(o) = o**2 - 7*o + 11. Let z be r(8). Suppose 4*q - 2*v = -12, -6*v + z = -3*q - 2*v. Which is smaller: 67 or q?
q
Let z(h) = -h + 12. Let b be z(9). Let x be 3/(-12) + 618/168. Which is bigger: b or x?
x
Let v(u) = 7 - 8*u - 7*u - 80 + 28*u. Let j be v(7). Is j greater than or equal to 18?
True
Suppose -18 = -i - 5*t, 2*i + 0*i - 4 = -2*t. Let m = -14/45 - 139/45. Which is smaller: m or i?
m
Let f = -776 - -751. Is -278/11 < f?
True
Let g = 4976 + -15088/3. Which is smaller: g or -52?
g
Let y = 150 - 199. Let o = -50 - y. Is o smaller than 0.054?
True
Let g be 2/2*(-6)/1. Let j be 96/(-3)*(108/(-28) + 4). Is g >= j?
False
Let j = -241 - -242. Are j and -6/85 non-equal?
True
Suppose 241 + 214 = -7*d. Let g = d - -188/3. Which is bigger: g or -1?
-1
Let a = -2491 + 4725426/1897. Is a > 0?
False
Let d = 0 + 10. Let a = -4 + 12. Let z = a - d. Which is smaller: z or 2/7?
z
Let j = -0.077 - 45.923. Let d = 22 - 24. Is d at most as big as j?
False
Let j = -2.4 + 0.4. Let f be -4*(0 - (-11)/(-22)). Which is greater: f or j?
f
Let b = 13 + -9. Suppose -l - b*g + 12 = -3, 0 = -l - 2*g + 9. Suppose l*q - 4 = -q. Is q at least 5?
False
Let x be 363/88 + 2/(-16). Suppose -x*q + 291 = -q. Is q greater than 98?
False
Let q = -4.9 - 15.1. Let g = q - -20.1. Is g greater than 15?
False
Let f = 22 - 24. Let y be 0 + f - 3*(-352)/524. Which is greater: y or 0?
y
Let f = 0 + 10. Let t be (f/(-15)*-3)/(-2). Which is greater: t or 0.018?
0.018
Let y be 4*((-11409)/(-1902) - 6). Which is bigger: 0 or y?
0
Let h be 8/5 - 13/325*15. Is 2/3551 less than or equal to h?
True
Let f = 93/5 + -191/10. Let p = -19.4 + 2.4. Is f greater than p?
True
Let d = -13 + 12. Let l = -139/6 + 4171/180. Is l <= d?
False
Let h(d) = -d + 4. Let x be h(4). Suppose -4*b + 30 - 90 = x. Let q be 5/(-2)*(-9)/b. Is q smaller than -1?
True
Let l be (40/12)/(4/(-6)). Let q be (-2 - l)/((-6)/44). Let v be ((-55)/q)/((-1)/2). Are -4 and v unequal?
True
Suppose 394 = -2*w + 3*w + 2*n, -5*w = 5*n - 1990. Are 400 and w non-equal?
True
Suppose -q + x = -17, x + 4 = -x. Let t be (-10)/q - 2/(-6). Suppose 1 = 2*w + 7. Which is greater: w or t?
t
Let y(w) = 127*w + 447. Let v be y(-6). Is v >= 1?
False
Let t = -88 + 107. Do t and 17 have the same value?
False
Let g = 15 - 9. Let c be (36/(-40))/(g/5). Let j be 1 + 3/10*-2. Which is bigger: j or c?
j
Let f be 158*(-5 + (-168)/(-33)) + 2. Which is bigger: 16 or f?
f
Let g be (-49)/5 - ((-32)/(-10) + -3). Suppose 0 = 4*l - 4*m + 28, -2*l - m = 9 - 1. Let i be l + (3 - 1) - g. Which is greater: i or 8?
8
Let p be (2/30)/(5 - 115/25). Which is bigger: p or -44?
p
Let o(s) = -2*s**2 - 3*s. Let y be o(-3). Let m be (-122)/28 + y/(-6). Let i be ((-1)/(-2))/(4/(-16)). Which is greater: i or m?
i
Let s be 1 + (34/(-10) - -2). Suppose h = -0*q + 2*q - 7, 5 = h. Suppose -2*k = 4*k + q. Do s and k have the same value?
False
Let w = -0.6 - -41.6. Let c = w + -41.1. Which is bigger: -0.069 or c?
-0.069
Suppose -2*k = -5*b - 178 - 187, 3*k = 4*b + 544. Which is smaller: k or 181?
k
Let m(v) = v. Let a be m(2). Suppose 18 = a*d - 8*d. Let o be -2*((-5)/(-2) + d). Is o <= 3?
True
Suppose -160*g + 69 = -157*g. Which is smaller: 26 or g?
g
Let d = -65 + 110. Suppose 37*q = -518 + 2146. Is q greater than d?
False
Let q(f) = 2 + 6*f + 16*f - 11*f. Let y be q(1). Let o = -14 + y. Which is greater: 2/15 or o?
2/15
Let r(y) be the third derivative of 0*y + 1/24*y**4 + 1/120*y**6 + 0 - 6*y**2 - 2/15*y**5 - 3/2*y**3. Let l be r(8). Which is greater: 28 or l?
28
Let r = 1 - -2. Suppose r*c = 2*c - 16. Is c >= -15?
False
Let z be ((-9)/12)/((-312)/1008*(-18)/(-4)). Suppose 0 = 4*r + u - 1 - 1, -4*r - 4 = 4*u. Is z bigger than r?
False
Let u = 1389 - 2514. Which is smaller: u or -2/7?
u
Let d = -33 - -32. Let q be -1 + -3 + d + 12. Let u be 17/(-9) + q/7. Are -1 and u non-equal?
True
Let t be (-2)/(2 + (-66)/12). Which is bigger: 1.3 or t?
1.3
Let a = 2833/1088 + -44/17. Suppose -2*v - 7*h = -2*h + 25, 3*h = 4*v - 15. Does v = a?
False
Let w = -0.23 + -0.17. Let r(i) = i + 2. Let q be r(7). Is q greater than w?
True
Let t be (-9)/1*14580/236. Let a = -556 - t. Which is bigger: a or 1?
1
Suppose x = -5 - 1. Suppose -3*n + 3*w = -9, 5*n + w + 2*w = 7. Suppose -3*g + 3*s - 9 = 0, -n*g + 1 = 3*s + 22. Is x greater than or equal to g?
True
Let q = -52 + 26. Let k be -3*2*(-2)/q. Suppose 0 = -4*d - 4 - 0. Which is greater: d or k?
k
Let h = 228.1 - 228. Which is greater: 0.21 or h?
0.21
Let n(r) = 18*r + 11 - 5 - 48 - r**2. Let q be n(14). Are 14 and q non-equal?
False
Let v(h) = -h**3 + 9*h**2 + 10*h + 2. Let f be v(10). Let i(x) = -9*x - f*x - x**2 + x + 2*x. Let a be i(-8). Is -0.1 < a?
True
Let k = 32.1527 + -0.1527. Which is greater: 21 or k?
k
Let l = 1727 - 1726. Is -6/469 <= l?
True
Let i = 14 + -27. Let g = i + 33. Which is smaller: g or 21?
g
Suppose -12 = -i - 3*z, -z - 3 = i - 3*z. Suppose i*k - 67 = -28. Do k and 13 have the same value?
True
Suppose 2*p = -3*h + 7*h - 28, -5*h - 3*p + 35 = 0. Suppose 4 = 3*j - w, h*j - 3*j + 5*w = -1. Is -1/25 smaller than j?
True
Let t(u) = -2*u - 17. Let k be t(-6). Let q be 4/k + 26/20. Which is greater: 1 or q?
1
Let f(w) = -w**2 - 6*w + 4. Let k be f(-6). Suppose -k*c - 4*i = 24, -2*i - 34 = 5*c + 2*i. Let o be (16/20)/(4/c). Is o not equal to -2?
False
Suppose 3*v = v - 2. Let t(p) be the third derivative of -p**5/60 + p**4/24 + p**3/6 - 27*p**2. Let d be t(v). Which is greater: d or -1/9?
-1/9
Let h = -1 - 3. Let r(k) = 6*k + 5. Let j be r(-2). Let n be 7/14*(j + 1). Which is greater: h or n?
n
Let p be -2*(-7)/14*-16. Does p = -11?
False
Let s = 0.44 - 0.09. Let m = 0.32 - s. Which is smaller: m or -2?
-2
Let y = 23 + 122. Let c = y - 101. Which is bigger: c or 0?
c
Let y = 878 + -533. Which is smaller: 0 or y?
0
Suppose 0 = -4*h + 4*k + 60, 2*k = h - 3*h + 18. Suppose -3*y - 9 = -3*l + 3, 3*y = -h. Let c = 0.3 + 0.1. Which is smaller: l or c?
l
Let g(f) = -f - 4. Let w be g(-9). Let y = -2.3 - 0.7. Which is smaller: y or w?
y
Let v(s) = s**2 - 11*s - 12. Suppose -3*w - r = -5*w + 55, w - r = 29. Suppose -3*a + 10 = -w. Let d be v(a). Are d and -7 equal?
False
Suppose -37392 = -29*t - 9*t. Which is smaller: 983 or t?
983
Let b = 9 - 8. Let y = 7897/10 - 789. Are y and b unequal?
True
Suppose -32 = 5*p - c + 25, 21 = -p + 5*c. Let m = p + 11. Suppose -4*h + m*h = -3*j - 5, 2*h = j + 1. Which is smaller: h or 4/13?
h
Let t(j) = 2*j. Let y be t(4). Suppose -d + 41 + 24 = 2*v, -3*v + 85 = 4*d. Suppose 0 = 14*s - 19*s + v. Which is smaller: y or s?
s
Let s = 595/4 + -148. Let v be (2/(-5))/((-168)/(-210)). Which is bigger: v or s?
s
Let z(s) = s + 3*s**2 - 8 - 13 + 23. Let g be z(2). Let b be (-120)/g*4/6. Are b and -5 non-equal?
False
Let q be ((-46)/(-115))/(2/(-10)). Let i = 47 + q. Are 44 and i nonequal?
True
Suppose 0 = -y + l, 3 + 5 = 4*y - 2*l. Let b = y + -3. Which is bigger: 4/15 or b?
b
Let i = -51.5 - -52. Let c(v) = -v**2 - 11*v - 1. Suppose 4*u + 28 + 16 = 0. Let m be c(u). Which is smaller: m or i?
m
Suppose 16*k - 11*k + 4*g + 1840 = 0, k - 2*g = -368. Is k != -367?
True
Let q = -197 - -171. Are 4 and q