rue
Suppose 5*q + 9*q = -4*q. Let v be (-9 - -13)/(q + -385). Is v != -1?
True
Let v = 10/27 - 868/2295. Let z = 5 + -5. Which is bigger: v or z?
z
Let n = -0.22 - 2.68. Let h = 5574.6 - 5583.6. Which is bigger: n or h?
n
Let h = -832 + 803. Let u(i) = -3*i**2 - 83*i + 110. Let r be u(h). Is r < 19/2?
True
Let j be 9/(-18)*1/(1/(-56)). Let b = -29 + j. Which is bigger: b or -2?
b
Let n = 18 + -39. Let d = -18106 + 18104. Let z be -3*d/n + 0. Which is smaller: 1 or z?
z
Suppose 0 = 6*c - 7*c + 20. Suppose -2*f + c + 12 = 0. Let q be f/24 - 2/(-6). Which is smaller: -2/167 or q?
-2/167
Let o = 7.55 - 20.55. Do -15/8 and o have different values?
True
Let f be ((-3)/(-2))/((-30)/(-1620)). Let m(g) = -g**2 + 80. Let p be m(0). Is f != p?
True
Let n = -52 + 65.25. Let h = n + -14. Let z = h + 0.8. Which is bigger: -1/4 or z?
z
Let g = 45 + -30. Suppose -g = -5*w, 3*u - 5*w - 27 = -6*w. Let o be (-4)/u*-6 - 3. Which is smaller: o or -5?
-5
Let j = -11.68 - -14.88. Suppose 0 = -0*c - c - 3. Which is greater: j or c?
j
Let x = -313210.27 + 314833. Let w = x + -1547.7. Let r = w - 75. Which is smaller: 3/4 or r?
r
Let r be ((-5)/10)/((-8)/(-55888)). Which is greater: -3491 or r?
-3491
Suppose -3*v = q - 42, 2*v = 3*q - 34 - 37. Suppose 0 = x + j - 25, 0*x + 77 = 3*x + 4*j. Which is bigger: q or x?
q
Let a(b) = -5*b**2 - 5*b - 3. Let u be a(-2). Let i = 21 - u. Let p = i + -46. Which is bigger: p or -13?
p
Let i = 407 + -404.9. Let f = 5.2 - i. Is -0.02 greater than or equal to f?
False
Let x = 13/258 + 17359/258. Suppose -1075*u + 1071*u - 87 = -351. Which is greater: u or x?
x
Let z = 59 - 124. Suppose -2*h = -2, 9*h = 2*j + 8*h + 129. Which is greater: j or z?
j
Suppose 0 = -2*n + 3*v - 4 - 3, -3*v = 5*n - 14. Let h = 1365532/321 + -4254. Which is smaller: n or h?
h
Let z(b) = -b**2 + 40*b + 42. Let g be z(41). Let y be g/(-68)*(-36)/180. Is y < -1?
False
Let y(o) = -o**3 + 2*o**2 + 34*o - 92. Let h be y(5). Is h smaller than 170/69?
False
Let a = -77 + 80. Suppose 8*y - 5 = 3*y - a*t, 5*t = -3*y + 3. Are y and 2/45 non-equal?
True
Let i = -2 + 2.2. Suppose -5*s + 3 = 2*c, -8*c - 4*s = -3*c - 16. Suppose -10 = -c*y + 14. Is i < y?
True
Let n = 1.6 + -1.614. Let j = -9692 + 9673.014. Let g = n + j. Is g <= 0?
True
Suppose -5*b = 4*h - 4680, -5*b - 25 + 5 = 0. Which is smaller: h or 1176?
h
Suppose -4*j + 4*q - 127 = -j, -4*q = j + 53. Let y = j - -48. Suppose 4*h + 4 = 4*m, -y*h = -0*h + 3*m + 27. Which is bigger: h or -4?
-4
Let b be (-989)/230 + 6/20. Let j be b/(((-4)/5)/(58/(-145))). Is -51 not equal to j?
True
Let r be (-2325)/(-20) - 2/8. Let k be (-2)/5 - r/10 - 3. Let l be -4 + (1 - k*(-6)/(-27)). Is l > -5/4?
True
Let c = -206 + 220. Let s = -22 + c. Let p = -19 + 12. Is p greater than s?
True
Let u be (((-4)/(4/(-1)))/(-1))/(7/(-91)). Are u and 81 nonequal?
True
Suppose 73*h + 42*h - 8395 = 0. Let d(r) = 6*r**2 + 5*r - 3. Let n be d(-4). Do h and n have the same value?
True
Let r = -1.241 - -1.31. Let u = 0.031 + r. Let x = 0.06 + -0.11. Is x greater than u?
False
Let h = 10242224701/2895 - 52995907/15. Let i = -4841 + h. Which is bigger: 1 or i?
1
Let l = 5975 + -5974.7. Are l and 4706 nonequal?
True
Let v be (-54)/(-216)*(-316)/102*3. Is -2 smaller than v?
False
Suppose 0 = 10*o - 3*o - 81 - 1018. Is o <= 155?
False
Let n = 123 - -121. Let k = 244 - n. Let u = 31201/29 - 1076. Which is bigger: u or k?
k
Let z(f) be the second derivative of 1/20*f**5 + 1/3*f**3 + 0 - 5/6*f**4 + 21*f - 25/2*f**2. Let d be z(10). Is -7 not equal to d?
True
Let j = -437.2992 + 437.3. Is 1 at least j?
True
Let r = 3733/808 - 50/101. Let l = 4251/8 + -1057/2. Let k = r - l. Do 2 and k have the same value?
False
Let l be (-8 - -397) + 54/45*-5. Is 383 < l?
False
Suppose 0 = 2*i - 9*i + 1407. Let f = i + -202. Are 0 and f unequal?
True
Let q = 572 - 566. Suppose -3*k + q*k - 4*b + 374 = 0, 240 = -2*k + 5*b. Is k > -129?
False
Let b = -147.4 - -306. Let o = b - 153. Which is smaller: 0 or o?
0
Let x(d) = -d**3 - 10*d**2 - 21*d - 1. Let p be x(-7). Are 6.559 and p non-equal?
True
Let f(p) = 3*p + 63. Let a be f(-24). Let x be -153*((-3)/a - (-2 + 3)). Let m = -519/5 + x. Which is smaller: -1 or m?
m
Let o be 4 - (-133)/(-114)*2. Which is bigger: o or 0.0288?
o
Suppose 3*t = -3*v + 1074, -v + 8*t - 12*t + 349 = 0. Suppose 0 = -18*z + 125 + v. Suppose 0 = -4*w - 5*b + 2*b + 94, 2*w - 56 = 3*b. Which is smaller: w or z?
w
Let u = -12989 + 14455. Which is smaller: u or -1/4?
-1/4
Let x = -41 + 942/23. Suppose 0*f - 5*h = 5*f, 0 = h. Let c = -1 + f. Which is smaller: c or x?
c
Let a(s) = -s**3 + 13*s**2 - 12*s + 17. Let t be ((-9)/(-45))/((-3)/(-165)). Let b be a(t). Suppose h + b = -2*r + 6*h, r + 71 = 5*h. Are -56 and r non-equal?
False
Let p(m) = 3*m**3 - 3*m**2 + 6*m - 4. Let f be p(4). Let j = 177 - f. Which is bigger: j or 38/3?
j
Let z = -152 - -174. Suppose 5*i - z + 17 = 0. Which is greater: -1/7 or i?
i
Let y = -10723 - -2262558/211. Which is smaller: -1 or y?
-1
Let p be (330/8)/(3/(-392)). Which is smaller: -5389 or p?
p
Let v be -29 + 2 + 7 + 1. Suppose k + 24 = 2*y, -y = -2*k - 0 - 42. Let d = v - k. Which is smaller: -1/161 or d?
-1/161
Suppose -100 = -4*q + 4*w, 0 = 3*w + 3. Suppose 4*m + q = 64. Suppose 5*p = -5*o + m, 2*p - 2*o = o - 21. Which is bigger: 3 or p?
3
Let c be ((-180)/(-144) - (-513)/(-404))/(-17). Which is bigger: -1 or c?
c
Suppose -16*z + 22*z - 24 = 0. Suppose z*v + 4*h = 46 + 14, -3*v + 2*h = -55. Is v bigger than 15?
True
Suppose 40*z + 41*z - 10287 = 0. Which is smaller: 112 or z?
112
Let b(r) = r**3 + 16*r**2 + 21*r + 10. Let m be b(-13). Suppose 0 = -m*n + 237*n - 91. Let p = -36502/63 + 5104/9. Is n equal to p?
False
Let s be ((-2)/2)/((-4)/(1040/35)). Let c = s - 142/21. Does -63.4 = c?
False
Suppose 8 - 36 = -4*f. Let m = f + -5. Suppose 8 + m = 5*z. Is 1 != z?
True
Let s = 1458 - 1455. Suppose -65 = x + s*m, 5*x + 305 = 5*m - 10*m. Let t be 59*((0 - 2) + 1). Is t at most x?
True
Suppose 33*w - 14*w = -114. Let u be 0 + w + 137 + 0. Which is smaller: u or 130?
130
Suppose 3*z - 60 = -3*y + 33, 0 = -5*z - 40. Which is bigger: y or 9/8?
y
Let z(q) = 91*q + 48. Let g be z(-3). Let t be g/(-21)*10/5. Is 20 at most as big as t?
True
Let x = 80 + -75. Suppose -2*f - s = 48, -x*s = 4*f - 6*s + 102. Suppose -45*u + 10 = -40*u. Which is bigger: f or u?
u
Let k be (-6)/(-1)*(-73474)/68. Is -6483 <= k?
True
Let h be 1 - 1/((-2)/(-12)). Let l = 114 + -136. Let t be (-1 - 1/(-2))/(l/(-308)). Are t and h equal?
False
Suppose -3*h - 3*q - 1 = 2*q, -5*q + 15 = -5*h. Suppose 0 = -y + 2*y + 251. Does y = h?
False
Let n be 185/35 + (-16)/56. Suppose -2*k + 47 = 5*r, -n*k - 3*r + 135 = -8*r. Is 53/2 greater than or equal to k?
True
Let g(t) = t**3 + 16*t**2 - 4. Let d be g(-15). Let x be (-5)/(-52) - (-34)/d. Does x = 0?
False
Let z = 143 + -4718/33. Let t = z + -386/33. Which is greater: t or -11?
-11
Let u = -16826 - -16811. Let h(l) = l**3 - 10*l**2 + 9*l - 5. Let n be h(9). Let a(q) = -q**2 - 3*q - 7. Let z be a(n). Is z at least u?
False
Let k be 16 + 1 - 9*7/21. Suppose -14 = -2*m + 2*t + k, -m = 3*t - 2. Are 9 and m equal?
False
Let y be 184815/407 - (-1 + 3). Let h = -451 + y. Is h less than or equal to 2/9?
False
Let y be 21*20/4620 - (5983/(-979) - -3). Do y and 2 have the same value?
False
Let b be (-101)/1110 - (7/((-588)/(-658)) - 8). Is -1/5 at most as big as b?
True
Let f = -173997 - -77080711/443. Are f and 1 unequal?
True
Suppose -3*z = 65 - 158. Suppose -1770 = -z*p + 41*p. Which is bigger: -178 or p?
p
Let s be (-9 - 256/(-32))/(2/1858). Which is smaller: -930 or s?
-930
Suppose 0 = -15*l + 6*l - 1800. Let x = l + 237. Which is greater: x or 34?
x
Let o be ((-3597)/3)/(-11) - (-5 + -2 + 4). Is o bigger than 15?
True
Let n = -3806.032 - -3806. Is 0.14 bigger than n?
True
Let d(m) = -3*m - 20. Let v be d(-13). Let r = v + -44. Which is bigger: -47/2 or r?
-47/2
Let u = 1999/42054 + -1/978. Which is greater: u or -35?
u
Let k = -7237913/161 + 44956. Let d = 0 - 1. Is k smaller than d?
False
Let t = 1226 - 1266. Let g = -2 - -2. Which is smaller: g or t?
t
Suppose -914 - 549 = -19*g. Suppose -2*x + 109 = -43. Is x at least as big as g?
False
Suppose -31*n + 33*n - 24 = 0. Let t be 81/(-129) + n/18. Which is bigger: t or 1?
1
Let 